Spontaneous translation symmetry breakdown for quantum lattice systems

We study the set of equilibrium states for quantum lattice states in the presence of a translation symmetry of the model. We derive a characterization of the spontaneous breaking of this symmetry, i.e., the decomposition of an invariant equilibrium state into a mixture of noninvariant equilibrium states, in terms of the separability in mean energy of these states for a class of perturbed dynamics.