Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2609.31858

Locality of KMS states for infinite fermionic lattice systems

Lennart Becker

math-phquant-phSubmitted Sep 25, 2026• Announced Sep 29, 2026• 0 citations
arXivHTMLPDF

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.

Comments
47 pages

Related papers

Locality in Quantum Lattice Systems

Tom Wessel

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.

•May 11, 2026•0 citations

From Decay of Correlations to Locality and Stability of the Gibbs State

Ángela Capel, Massimo Moscolari, Stefan Teufel +1 more

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.

arXiv:2310.09182•Communications in Mathematical Physics•Jan 18, 2025•8 citations

Stability of thermal equilibrium in long-range quantum systems

Tim Möbus, Jorge Sánchez-Segovia, Alvaro Martin Alhambra +1 more

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.

arXiv:2506.16451•Physical Review Research•Jan 20, 2026•1 citation

Finite group velocity implies locality of interactions

Henrik Wilming, Albert H. Werner

Spin systems with exponentially decaying k-body interactions have an effective finite group velocity for the propagation of correlations due to Lieb-Robinson bounds. We show that a finite group velocity conversely implies the locality of the underlying Hamiltonian: a system fulfills Lieb-Robinson bounds in exponential form if and only if the underlying interactions decay exponentially in space. Our result already follows from the behaviour of two-point correlation functions for single-site observables and generalizes to different decay behaviours. As a side-result, we thus find that Lieb-Robinson bounds for single-site observables imply Lieb-Robinson bounds for arbitrary bounded observables. In addition we show that our results generalize to fermionic lattice models.

arXiv:2006.10062•Jun 17, 2020•1 citation

Adiabatic Evolution of Low-Temperature Many-Body Systems

Rafael L. Greenblatt, Markus Lange, Giovanna Marcelli +1 more

We consider finite-range, many-body fermionic lattice models and we study the evolution of their thermal equilibrium state after introducing a weak and slowly varying time-dependent perturbation. Under suitable assumptions on the external driving, we derive a representation for the average of the evolution of local observables via a convergent expansion in the perturbation, for small enough temperatures. Convergence holds for a range of parameters that is uniform in the size of the system. Under a spectral gap assumption on the unperturbed Hamiltonian, convergence is also uniform in temperature. As an application, our expansion allows us to prove closeness of the time-evolved state to the instantaneous Gibbs state of the perturbed system, in the sense of expectation of local observables, at zero and at small temperatures. As a corollary, we also establish the validity of linear response. Our strategy is based on a rigorous version of the Wick rotation, which allows us to represent the Duhamel expansion for the real-time dynamics in terms of Euclidean correlation functions, for which precise decay estimates are proved using fermionic cluster expansion.

arXiv:2211.16836•Communications in Mathematical Physics•Mar 1, 2024•3 citations

Long-Range Free Fermions: Lieb-Robinson Bound, Clustering Properties, and Topological Phases

Zongping Gong, Tommaso Guaita, J. I. Cirac

We consider free fermions living on lattices in arbitrary dimensions, where hopping amplitudes follow a power-law decay with respect to the distance. We focus on the regime where this power is larger than the spatial dimension (i.e., where the single particle energies are guaranteed to be bounded) for which we provide a comprehensive series of fundamental constraints on their equilibrium and nonequilibrium properties. First, we derive a Lieb-Robinson bound which is optimal in the spatial tail. This bound then implies a clustering property with essentially the same power law for the Green's function, whenever its variable lies outside the energy spectrum. The widely believed (but yet unproven in this regime) clustering property for the ground-state correlation function follows as a corollary among other implications. Finally, we discuss the impact of these results on topological phases in long-range free-fermion systems: they justify the equivalence between Hamiltonian and state-based definitions and the extension of the short-range phase classification to systems with decay power larger than the spatial dimension. Additionally, we argue that all the short-range topological phases are unified whenever this power is allowed to be smaller.

arXiv:2210.05389•Physical Review Letters•Feb 17, 2023•22 citations
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∗C^*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.
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.
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.
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.
Spin systems with exponentially decaying k-body interactions have an effective finite group velocity for the propagation of correlations due to Lieb-Robinson bounds. We show that a finite group velocity conversely implies the locality of the underlying Hamiltonian: a system fulfills Lieb-Robinson bounds in exponential form if and only if the underlying interactions decay exponentially in space. Our result already follows from the behaviour of two-point correlation functions for single-site observables and generalizes to different decay behaviours. As a side-result, we thus find that Lieb-Robinson bounds for single-site observables imply Lieb-Robinson bounds for arbitrary bounded observables. In addition we show that our results generalize to fermionic lattice models.
We consider finite-range, many-body fermionic lattice models and we study the evolution of their thermal equilibrium state after introducing a weak and slowly varying time-dependent perturbation. Under suitable assumptions on the external driving, we derive a representation for the average of the evolution of local observables via a convergent expansion in the perturbation, for small enough temperatures. Convergence holds for a range of parameters that is uniform in the size of the system. Under a spectral gap assumption on the unperturbed Hamiltonian, convergence is also uniform in temperature. As an application, our expansion allows us to prove closeness of the time-evolved state to the instantaneous Gibbs state of the perturbed system, in the sense of expectation of local observables, at zero and at small temperatures. As a corollary, we also establish the validity of linear response. Our strategy is based on a rigorous version of the Wick rotation, which allows us to represent the Duhamel expansion for the real-time dynamics in terms of Euclidean correlation functions, for which precise decay estimates are proved using fermionic cluster expansion.
We consider free fermions living on lattices in arbitrary dimensions, where hopping amplitudes follow a power-law decay with respect to the distance. We focus on the regime where this power is larger than the spatial dimension (i.e., where the single particle energies are guaranteed to be bounded) for which we provide a comprehensive series of fundamental constraints on their equilibrium and nonequilibrium properties. First, we derive a Lieb-Robinson bound which is optimal in the spatial tail. This bound then implies a clustering property with essentially the same power law for the Green's function, whenever its variable lies outside the energy spectrum. The widely believed (but yet unproven in this regime) clustering property for the ground-state correlation function follows as a corollary among other implications. Finally, we discuss the impact of these results on topological phases in long-range free-fermion systems: they justify the equivalence between Hamiltonian and state-based definitions and the extension of the short-range phase classification to systems with decay power larger than the spatial dimension. Additionally, we argue that all the short-range topological phases are unified whenever this power is allowed to be smaller.