Locality of KMS states for infinite fermionic lattice systems

Abstract

We study how thermal equilibrium states of infinite fermionic lattices respond to perturbations of the Hamiltonian. Our main result concerns extensive perturbations of a chosen KMS state. We show that exponential decay of correlations and exponential local indistinguishability under the extensive perturbation yield stretched-exponential decay of correlations for the perturbed state. Neither the initial nor the perturbed state is required to be unique, allowing stability to be studied in the presence of phase coexistence. Our approach uses Quantum Belief Propagation (QBP), which we establish directly on the underlying $C^*$-algebra. Combining QBP with Lieb--Robinson bounds, we show implications between decay of correlations, the principle that local perturbations perturb locally, and local indistinguishability, closing the cycle for perturbations of the tracial state under the stated decay, support and uniformity assumptions. For extensive perturbations under uniform clustering conditions, we also obtain a differentiable path of local equilibrium expectations and bound their change linearly in the interaction norm of the perturbation.