Abstract We show that whenever the Gibbs state of a quantum spin system satisfies decay of correlations, then it is stable, in the sense that local perturbations affect the Gibbs state only locally, and it satisfies local indistinguishability, i.e. it exhibits local insensitivity to system size. These implications hold in any dimension, require only locality of the Hamiltonian, and are based on Lieb–Robinson bounds and on a detailed analysis of the locality properties of the quantum belief propagation for Gibbs states. To demonstrate the versatility of our approach, we explicitly apply our results to several physically relevant models in which the decay of correlations is either known to hold or is proved by us. These include Gibbs states of one-dimensional spin chains with polynomially decaying interactions at any temperature, and high-temperature Gibbs states of quantum spin systems with finite-range interactions in any dimension. We also prove exponential decay of correlations above a threshold temperature for Gibbs states of one-dimensional finite spin chains with translation-invariant and exponentially decaying interactions, and then apply our general results.
Abstract We show that whenever the Gibbs state of a quantum spin system satisfies decay of correlations, then it is stable, in the sense that local perturbations affect the Gibbs state only locally, and it satisfies local indistinguishability, i.e. it exhibits local insensitivity to system size. These implications hold in any dimension, require only locality of the Hamiltonian, and are based on Lieb–Robinson bounds and on a detailed analysis of the locality properties of the quantum belief propagation for Gibbs states. To demonstrate the versatility of our approach, we explicitly apply our results to several physically relevant models in which the decay of correlations is either known to hold or is proved by us. These include Gibbs states of one-dimensional spin chains with polynomially decaying interactions at any temperature, and high-temperature Gibbs states of quantum spin systems with finite-range interactions in any dimension. We also prove exponential decay of correlations above a threshold temperature for Gibbs states of one-dimensional finite spin chains with translation-invariant and exponentially decaying interactions, and then apply our general results.
This thesis analyses several locality properties of extended quantum lattice systems, considering both spins and fermions. We begin by assuming locality of the Hamiltonian and then discuss how this translates into locality of the time evolution and the thermal states. Starting from a local Hamiltonian, it is well known that the Heisenberg time evolution satisfies Lieb-Robinson bounds, which quantify its locality. We strengthen these bounds for long-range interacting fermions and for commuting interactions. Furthermore, we establish the first Lieb-Robinson bounds for Hamiltonians whose local terms can grow linearly away from the origin. We also prove stability of Lieb-Robinson bounds with respect to local perturbations in the Hamiltonian. For the thermal states we focus on three types of locality known as decay of correlations, the local perturbations perturb locally (LPPL) principle and local indistinguishability. As a key tool we use spectral filters, which were introduced by Hastings in the 2000s for various applications. It enable us to use Lieb-Robinson bounds to obtain information about locality properties of states. In particular, we use quantum belief propagation to prove an equivalence of decay of correlations, LPPL and local indistinguishability for Gibbs states at any positive temperature. Using the improved Lieb-Robinson bounds mentioned before, we obtain improvements for decay of correlations in the ground state, the locality of the spectral flow and LPPL for long-range interacting systems and commuting Hamiltonians. Furthermore, we adjust the filter functions to achieve exponential decay for certain applications that were previously limited to stretched exponential decay. Spectral filters are also used to rigorously justify response theory, which usually requires a gapped system to begin with. To relax this assumption, we introduce various notions of local gaps, discuss their relations and use one to justify response theory and Kubo’s formula in the absence of a global gap. In another result we use local indistinguishability as an input to prove bulk-edge correspondence at finite temperature, in the sense that the bulk magnetisation is equal to the edge current. This result has mostly been studied for non-interacting models or at zero temperature before. Finally, we present a class of weakly interacting spin systems with an on-site gap and prove that the ground state satisfies a strong form of LPPL. Moreover, we show that these systems satisfy decay of correlations and local indistinguishability uniformly in temperature.
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.
Abstract Quantum systems in thermal equilibrium are described using Gibbs states. The correlations in such states determine how difficult it is to describe or simulate them. In this article, we show that if the Gibbs state of a quantum system satisfies that each of its marginals admits a local effective Hamiltonian with short-range interactions, then it satisfies a mixing condition, that is, for any regions A , C the distance of the reduced state ρAC ρ AC on these regions to the product of its marginals, $$ \left\| \rho _{AC} \rho _A^{-1} \otimes \rho _C^{-1} - \mathbbm {1}_{AC} \right\| \, , $$ ρ AC ρ A - 1 ⊗ ρ C - 1 - 1 AC , decays exponentially with the distance between regions A and C . This mixing condition is stronger than other commonly studied measures of correlation. In particular, it implies the exponential decay of the mutual information between distant regions. The mixing condition has been used, for example, to prove positive log-Sobolev constants. On the way, we prove that the the condition regarding local effective Hamiltonian is satisfied if the Hamiltonian only has commuting interactions which also commute with every marginal of their products. The proof of these results employs a variety of tools such as Araki’s expansionals, quantum belief propagation and cluster expansions.
We establish improved locally Markovian properties of quantum Gibbs states at every fixed positive temperature. For finite-range interactions of bounded interaction degree, the conditional mutual information (CMI) decays exponentially with separation, with a prefactor exponential in the boundary size of only one of the two regions and independent of the size of the other region and the total system. This improves the exponential volume dependence of the local Markov bounds established by Chen and Rouzé \cite{Chen2025}. For exponentially and stretched-exponentially decaying interactions, we obtain stretched-exponential CMI decay with a boundary-dependent prefactor. For power-law interactions, we prove inverse-logarithmic or algebraic decay with polynomial region-size dependence. Our proof is static, in contrast to the dynamical approach of Chen and Rouzé. We compare the Gibbs state with a product state obtained by removing boundary interactions, reducing the CMI bound to a relative-entropy loss that we control using locality estimates.
At high temperature, quantum Gibbs states retain several classical features of the maximally mixed state: the absence of entanglement, the absence of magic, analyticity of the partition function, correlation decay, and algorithmic tractability. We prove new and sharp bounds showing that these features persist down to finite temperatures independent of system size, but fail at distinct inverse-temperature scales, forming a hierarchy of classical-to-quantum transitions. Our results hold for long-range Pauli interactions with bounded strength at every site. Despite such all-to-all interactions, we show that the death of entanglement occurs at constant temperature, resolving an open question of Rouze, Franca and Alhambra (STOC'25). We give a polynomial-time classical algorithm that prepares Gibbs states up to the death of entanglement transition. Notably, this is asymptotically colder than temperatures at which quantum Gibbs samplers are known to mix quickly, as well as the original separability temperature of Bakshi et al. (FOCS'24), which we improve to be tight up to constants. At asymptotically even colder temperatures, we show that the Gibbs state remains in the thermodynamic infinite-temperature phase. We give polynomial-time classical algorithms for estimating thermal expectations up to the phase transition (despite both entanglement and magic), and as a corollary resolve a correlation decay conjecture of Harrow, Mehraban and Soleimanifar (STOC'20).
Experimental realizations of spin models are irremediably prone to errors, which can propagate through the system corrupting experimental signals. We study how such errors affect the measurement of local observables in systems with long-range interactions, where perturbations can spread more rapidly. Specifically, we focus on the stability of thermal equilibrium and investigate its relation to the correlation structure of the system, both analytically and numerically. As a main result, we prove that the stability of local expectation values follows from the decay of correlations on the Gibbs state and the Lieb-Robinson bound. We also provide numerical evidence that this stability extends to an even larger regime of interacting long-range systems. Our results support the robustness of analog simulation platforms for long-range models and provide further evidence that computing physical quantities of interest can be significantly easier than performing arbitrary quantum computations.