Gibbs variational formula for thermal equilibrium states in terms of quantum relative entropy density

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.