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

Abstract: 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.