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

1 AUTOMORPHIC EQUIVALENCE WITHIN GAPPED PHASES OF QUANTUM LATTICE SYSTEMS

Sven Bachmann, Spyridon Michalakis, Bruno Nachtergaele, Robert Sims

Published Feb 4, 2011• 146 citations
OpenAlex

Abstract

Gapped ground states of quantum spin systems have been referred to in the physics\n literature as being `in the same phase' if there exists a family of Hamiltonians H(s), with\n finite range interactions depending continuously on $s \\in [0,1]$, such that for each $s$,\n H(s) has a non-vanishing gap above its ground state and with the two initial states being\n the ground states of H(0) and H(1), respectively. In this work, we give precise conditions\n under which any two gapped ground states of a given quantum spin system that 'belong to the\n same phase' are automorphically equivalent and show that this equivalence can be\n implemented as a flow generated by an $s$-dependent interaction which decays faster than\n any power law (in fact, almost exponentially). The flow is constructed using Hastings'\n 'quasi-adiabatic evolution' technique, of which we give a proof extended to\n infinite-dimensional Hilbert spaces. In addition, we derive a general result about the\n locality properties of the effect of perturbations of the dynamics for quantum systems with\n a quasi-local structure and prove that the flow, which we call the {\\em spectral flow},\n connecting the gapped ground states in the same phase, satisfies a Lieb-Robinson bound. As\n a result, we obtain that, in the thermodynamic limit, the spectral flow converges to a\n co-cycle of automorphisms of the algebra of quasi-local observables of the infinite spin\n system. This proves that the ground state phase structure is preserved along the curve of\n models $H(s), 0\\leq s\\leq 1$.

Related papers

Quasi-locality bounds for quantum lattice systems. I. Lieb-Robinson bounds, quasi-local maps, and spectral flow automorphisms

Bruno Nachtergaele, Robert Sims, Amanda Young

Lieb-Robinson bounds show that the speed of propagation of information under the Heisenberg dynamics in a wide class of nonrelativistic quantum lattice systems is essentially bounded. We review works of the past dozen years that has turned this fundamental result into a powerful tool for analyzing quantum lattice systems. We introduce a unified framework for a wide range of applications by studying quasilocality properties of general classes of maps defined on the algebra of local observables of quantum lattice systems. We also consider a number of generalizations that include systems with an infinite-dimensional Hilbert space at each lattice site and Hamiltonians that may involve unbounded on-site contributions. These generalizations require replacing the operator norm topology with the strong operator topology in a number of basic results for the dynamics of quantum lattice systems. The main results in this paper form the basis for a detailed proof of the stability of gapped ground state phases of frustrationfree models satisfying a local topological quantum order condition, which we present in a sequel to this paper.

arXiv:1810.02428•Journal of Mathematical Physics•Jun 1, 2019•92 citations

Stability of One-Dimensional Gapped Quantum Spin Systems

Samuel Herring

An important class of models studied in quantum statistical mechanics consists of frustration-free interactions whose Hamiltonians exhibit a gap in the spectrum above their ground state energies. This paper discusses recent techniques which dramatically extend the class of models to which stability applies when the perturbations exhibit stretched exponential decay at long distances. We consider a class of initial models satisfying an assumption that prevents splitting of the ground state space. This assumption on the structure on the ground state space is referred to as local topological quantum order. A key tool in our analysis is the quasi-local unitary spectral flow automorphism which allows us to decompose the perturbed Hamiltonian into a perturbation model satisfying a relative form bound. We will present a result for the stability of frustration-free, one-dimensional models of this type in the form of an estimate uniform in the system size. We also present additional conditions ensuring the existence of a pure perturbed ground state whose GNS Hamiltonian remains gapped. As an application, we evaluate the stability of the Heisenberg XXZ spin-1/2 chain. Our work shows a new result on the stability of the XXZ model for perturbations respecting a local gauge symmetry and the stability above the translation invariant ground states in the thermodynamic limit. We also discuss challenges to additional conjectured stability results for the XXZ model.

•Jan 1, 2026•0 citations

Quantum Spin Systems

Amanda Young

This work provides an overview of gapped quantum spin systems, including concepts, techniques, properties, and results. The basic framework and objects of interest for quantum spin systems are introduced, and the main ideas behind methods for proving spectral gaps for frustration-free models are outlined. After reviewing recent progress on several spectral gap conjectures, we discuss quasi-locality of the Heisenberg dynamics and its utility in proving properties of gapped quantum spin systems. Lieb-Robinson bounds have played a central role in establishing exponential decay of ground state correlations, an area law for one-dimensional systems, a many-body adiabatic theorem, and spectral gap stability. They also aided in the development of the quasi-adiabatic continuation, which is a useful for investigating gapped ground state phases, both of which are also discussed.

arXiv:2308.07848•Aug 15, 2023•0 citations

Quasi-Locality Bounds for Quantum Lattice Systems. Part II. Perturbations of Frustration-Free Spin Models with Gapped Ground States

Bruno Nachtergaele, Robert Sims, Amanda Young

Abstract We study the stability with respect to a broad class of perturbations of gapped ground-state phases of quantum spin systems defined by frustration-free Hamiltonians. The core result of this work is a proof using the Bravyi–Hastings–Michalakis (BHM) strategy that under a condition of local topological quantum order (LTQO), the bulk gap is stable under perturbations that decay at long distances faster than a stretched exponential. Compared to previous work, we expand the class of frustration-free quantum spin models that can be handled to include models with more general boundary conditions, and models with discrete symmetry breaking. Detailed estimates allow us to formulate sufficient conditions for the validity of positive lower bounds for the gap that are uniform in the system size and that are explicit to some degree. We provide a survey of the BHM strategy following the approach of Michalakis and Zwolak, with alterations introduced to accommodate more general than just periodic boundary conditions and more general lattices. We express the fundamental condition known as LTQO by means of an indistinguishability radius, which we introduce. Using the uniform finite-volume results, we then proceed to study the thermodynamic limit. We first study the case of a unique limiting ground state and then also consider models with spontaneous breaking of a discrete symmetry. In the latter case, LTQO cannot hold for all local observables. However, for perturbations that preserve the symmetry, we show stability of the gap and the structure of the broken symmetry phases. We prove that the GNS Hamiltonian associated with each pure state has a non-zero spectral gap above the ground state.

arXiv:2010.15337•Annales Henri Poincaré•Aug 14, 2021•30 citations

Adiabatic theorem in the thermodynamic limit. Part I: Systems with a uniform gap

Joscha Henheik, Stefan Teufel

We show that recent results on adiabatic theory for interacting gapped many-body systems on finite lattices remain valid in the thermodynamic limit. More precisely, we prove a generalised super-adiabatic theorem for the automorphism group describing the infinite volume dynamics on the quasi-local algebra of observables. The key assumption is the existence of a sequence of gapped finite volume Hamiltonians which generates the same infinite volume dynamics in the thermodynamic limit. Our adiabatic theorem holds also for certain perturbations of gapped ground states that close the spectral gap (so it is an adiabatic theorem also for resonances and in this sense `generalised'), and it provides an adiabatic approximation to all orders in the adiabatic parameter (a property often called `super-adiabatic'). In addition to existing results for finite lattices, we also perform a resummation of the adiabatic expansion and allow for observables that are not strictly local. Finally, as an application, we prove the validity of linear and higher order response theory for our class of perturbations also for infinite systems. While we consider the result and its proof as new and interesting in itself, they also lay the foundation for the proof of an adiabatic theorem for systems with a gap only in the bulk, which will be presented in a follow-up article.

•Dec 30, 2020•2 citations

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
Gapped ground states of quantum spin systems have been referred to in the physics\n literature as being `in the same phase' if there exists a family of Hamiltonians H(s), with\n finite range interactions depending continuously on sin[0,1]s \\in [0,1]sin[0,1], such that for each sss,\n H(s) has a non-vanishing gap above its ground state and with the two initial states being\n the ground states of H(0) and H(1), respectively. In this work, we give precise conditions\n under which any two gapped ground states of a given quantum spin system that 'belong to the\n same phase' are automorphically equivalent and show that this equivalence can be\n implemented as a flow generated by an sss-dependent interaction which decays faster than\n any power law (in fact, almost exponentially). The flow is constructed using Hastings'\n 'quasi-adiabatic evolution' technique, of which we give a proof extended to\n infinite-dimensional Hilbert spaces. In addition, we derive a general result about the\n locality properties of the effect of perturbations of the dynamics for quantum systems with\n a quasi-local structure and prove that the flow, which we call the {\em spectral flow},\n connecting the gapped ground states in the same phase, satisfies a Lieb-Robinson bound. As\n a result, we obtain that, in the thermodynamic limit, the spectral flow converges to a\n co-cycle of automorphisms of the algebra of quasi-local observables of the infinite spin\n system. This proves that the ground state phase structure is preserved along the curve of\n models H(s),0leqsleq1H(s), 0\\leq s\\leq 1H(s),0leqsleq1.
Lieb-Robinson bounds show that the speed of propagation of information under the Heisenberg dynamics in a wide class of nonrelativistic quantum lattice systems is essentially bounded. We review works of the past dozen years that has turned this fundamental result into a powerful tool for analyzing quantum lattice systems. We introduce a unified framework for a wide range of applications by studying quasilocality properties of general classes of maps defined on the algebra of local observables of quantum lattice systems. We also consider a number of generalizations that include systems with an infinite-dimensional Hilbert space at each lattice site and Hamiltonians that may involve unbounded on-site contributions. These generalizations require replacing the operator norm topology with the strong operator topology in a number of basic results for the dynamics of quantum lattice systems. The main results in this paper form the basis for a detailed proof of the stability of gapped ground state phases of frustrationfree models satisfying a local topological quantum order condition, which we present in a sequel to this paper.
An important class of models studied in quantum statistical mechanics consists of frustration-free interactions whose Hamiltonians exhibit a gap in the spectrum above their ground state energies. This paper discusses recent techniques which dramatically extend the class of models to which stability applies when the perturbations exhibit stretched exponential decay at long distances. We consider a class of initial models satisfying an assumption that prevents splitting of the ground state space. This assumption on the structure on the ground state space is referred to as local topological quantum order. A key tool in our analysis is the quasi-local unitary spectral flow automorphism which allows us to decompose the perturbed Hamiltonian into a perturbation model satisfying a relative form bound. We will present a result for the stability of frustration-free, one-dimensional models of this type in the form of an estimate uniform in the system size. We also present additional conditions ensuring the existence of a pure perturbed ground state whose GNS Hamiltonian remains gapped. As an application, we evaluate the stability of the Heisenberg XXZ spin-1/2 chain. Our work shows a new result on the stability of the XXZ model for perturbations respecting a local gauge symmetry and the stability above the translation invariant ground states in the thermodynamic limit. We also discuss challenges to additional conjectured stability results for the XXZ model.
This work provides an overview of gapped quantum spin systems, including concepts, techniques, properties, and results. The basic framework and objects of interest for quantum spin systems are introduced, and the main ideas behind methods for proving spectral gaps for frustration-free models are outlined. After reviewing recent progress on several spectral gap conjectures, we discuss quasi-locality of the Heisenberg dynamics and its utility in proving properties of gapped quantum spin systems. Lieb-Robinson bounds have played a central role in establishing exponential decay of ground state correlations, an area law for one-dimensional systems, a many-body adiabatic theorem, and spectral gap stability. They also aided in the development of the quasi-adiabatic continuation, which is a useful for investigating gapped ground state phases, both of which are also discussed.
Abstract We study the stability with respect to a broad class of perturbations of gapped ground-state phases of quantum spin systems defined by frustration-free Hamiltonians. The core result of this work is a proof using the Bravyi–Hastings–Michalakis (BHM) strategy that under a condition of local topological quantum order (LTQO), the bulk gap is stable under perturbations that decay at long distances faster than a stretched exponential. Compared to previous work, we expand the class of frustration-free quantum spin models that can be handled to include models with more general boundary conditions, and models with discrete symmetry breaking. Detailed estimates allow us to formulate sufficient conditions for the validity of positive lower bounds for the gap that are uniform in the system size and that are explicit to some degree. We provide a survey of the BHM strategy following the approach of Michalakis and Zwolak, with alterations introduced to accommodate more general than just periodic boundary conditions and more general lattices. We express the fundamental condition known as LTQO by means of an indistinguishability radius, which we introduce. Using the uniform finite-volume results, we then proceed to study the thermodynamic limit. We first study the case of a unique limiting ground state and then also consider models with spontaneous breaking of a discrete symmetry. In the latter case, LTQO cannot hold for all local observables. However, for perturbations that preserve the symmetry, we show stability of the gap and the structure of the broken symmetry phases. We prove that the GNS Hamiltonian associated with each pure state has a non-zero spectral gap above the ground state.
We show that recent results on adiabatic theory for interacting gapped many-body systems on finite lattices remain valid in the thermodynamic limit. More precisely, we prove a generalised super-adiabatic theorem for the automorphism group describing the infinite volume dynamics on the quasi-local algebra of observables. The key assumption is the existence of a sequence of gapped finite volume Hamiltonians which generates the same infinite volume dynamics in the thermodynamic limit. Our adiabatic theorem holds also for certain perturbations of gapped ground states that close the spectral gap (so it is an adiabatic theorem also for resonances and in this sense `generalised'), and it provides an adiabatic approximation to all orders in the adiabatic parameter (a property often called `super-adiabatic'). In addition to existing results for finite lattices, we also perform a resummation of the adiabatic expansion and allow for observables that are not strictly local. Finally, as an application, we prove the validity of linear and higher order response theory for our class of perturbations also for infinite systems. While we consider the result and its proof as new and interesting in itself, they also lay the foundation for the proof of an adiabatic theorem for systems with a gap only in the bulk, which will be presented in a follow-up article.
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.