  We prove the Gibbs variational formula in terms of quantum relative entropy
density that characterizes translation invariant thermal equilibrium states in
quantum lattice systems. It is a natural quantum extension of the similar
statement established by F\"ollmer for classical systems. In this work we
advocate the viewpoint: Avoid the unique-phase assumption if it is not
essential.
