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:1909.01516 · Physical review. B./Physical review. B

Improved local spectral gap thresholds for lattices of finite size

Anurag Anshu

Published Apr 6, 2020• 18 citations
arXivHTMLPDF

Abstract

Knabe's theorem lower bounds the spectral gap of a one-dimensional frustration-free local Hamiltonian in terms of the local spectral gaps of finite regions. It also provides a local spectral gap threshold for Hamiltonians that are gapless in the thermodynamic limit, showing that the local spectral gap must scale inverse linearly with the length of the region for such systems. Recent works have further improved upon this threshold, tightening it in the one-dimensional case and extending it to higher dimensions. Here, we show a local spectral gap threshold for frustration-free Hamiltonians on a finite-dimensional lattice that is optimal up to a constant factor that depends on the dimension of the lattice. Our proof is based on the detectability lemma framework and uses the notion of a coarse-grained Hamiltonian (introduced in [Anshu et al., Phys. Rev. B 93, 205142]) as a link connecting the (global) spectral gap and the local spectral gap.

DOI
10.1103/physrevb.101.165104

Related papers

Local gap threshold for frustration-free spin systems

David Gosset, Evgeny Mozgunov

We improve Knabe’s spectral gap bound for frustration-free translation-invariant local Hamiltonians in 1D. The bound is based on a relationship between global and local gaps. The global gap is the spectral gap of a size-m chain with periodic boundary conditions, while the local gap is that of a subchain of size n < m with open boundary conditions. Knabe proved that if the local gap is larger than the threshold value 1/(n − 1) for some n > 2, then the global gap is lower bounded by a positive constant in the thermodynamic limit m → ∞. Here we improve the threshold to 6n(n+1), which is better (smaller) for all n > 3 and which is asymptotically optimal. As a corollary we establish a surprising fact about 1D translation-invariant frustration-free systems that are gapless in the thermodynamic limit: for any such system the spectral gap of a size-n chain with open boundary conditions is upper bounded as O(n−2). This contrasts with gapless frustrated systems where the gap can be Θ(n−1). It also limits the extent to which the area law is violated in these frustration-free systems, since it implies that the half-chain entanglement entropy is O(1/ϵ) as a function of spectral gap ϵ. We extend our results to frustration-free systems on a 2D square lattice.

arXiv:1512.00088•Journal of Mathematical Physics•Sep 1, 2016•54 citations

Divide and conquer method for proving gaps of frustration free Hamiltonians

Michael J Kastoryano, Angelo Lucia

Abstract Providing system-size independent lower bounds on the spectral gap of local Hamiltonian is in general a hard problem. For the case of finite-range, frustration free Hamiltonians on a spin lattice of arbitrary dimension, we show that a property of the ground state space is sufficient to obtain such a bound. We furthermore show that such a condition is necessary and equivalent to a constant spectral gap. Thanks to this equivalence, we can prove that for gapless models in any dimension, the spectral gap on regions of diameter n is at most o ( log ⁡ ( n ) 2 + ε n ) for any positive ϵ.

arXiv:1705.09491•Journal of Statistical Mechanics Theory and Experiment•Mar 1, 2018•18 citations

Simple proof of the detectability lemma and spectral gap amplification

Anurag Anshu, Itai Arad, Thomas Vidick

The detectability lemma is a useful tool for probing the structure of gapped ground states of frustration-free Hamiltonians of lattice spin models. The lemma provides an estimate on the error incurred by approximating the ground space projector with a product of local projectors. We provide a simpler proof for the detectability lemma which applies to an arbitrary ordering of the local projectors, and show that it is tight up to a constant factor. As an application, we show how the lemma can be combined with a strong converse by Gao to obtain local spectral gap amplification: We show that by coarse graining a local frustration-free Hamiltonian with a spectral gap $\ensuremath{\gamma}>0$ to a length scale $O\left({\ensuremath{\gamma}}^{\ensuremath{-}1/2}\right)$, one gets a Hamiltonian with an $\mathrm{\ensuremath{\Omega}}\left(1\right)$ spectral gap.

arXiv:1602.01210•Physical review. B./Physical review. B•May 23, 2016•32 citations

Knabe's spectral gap method for open boundary conditions

Marius Lemm

In 1988, Knabe found a "finite-size criterion" to determine whether a frustration-free quantum spin chain with periodic boundary conditions is uniformly gapped in the thermodynamic limit. The criterion provides a threshold for the spectral gap at a finite system size such that, if the threshold is exceeded for a fixed system size, then the chain with periodic boundary conditions is uniformly gapped. We extend Knabe's result to frustration-free spin chains equipped with open boundary conditions. We now obtain two finite-size criteria: The first one is identical to Knabe's criterion and we interpret it as a bulk criterion. The second one controls the spectral gaps at smaller system sizes and can be interpreted as a new edge criterion. Heuristically, it excludes the presence of thermodynamically gapless excitations living near the edge.

arXiv:1709.02756•Sep 8, 2017•0 citations

A Hierarchy of Spectral Gap Certificates for Frustration-Free Spin Systems

Kshiti Sneh Rai, Ilya Kull, Patrick Emonts +3 more

Estimating spectral gaps of quantum many-body Hamiltonians is a highly challenging computational task, even under assumptions of locality and translation-invariance. Yet, the quest for rigorous gap certificates is motivated by their broad applicability, ranging from many-body physics to quantum computing and classical sampling techniques. Here we present a general method for obtaining lower bounds on the spectral gap of frustration-free quantum Hamiltonians in the thermodynamic limit. We formulate the gap certification problem as a hierarchy of optimization problems (semidefinite programs) in which the certificate – a proof of a lower bound on the gap – is improved with increasing levels. Our approach encompasses existing finite-size methods, such as Knabe's bound and its subsequent improvements, as those appear as particular possible solutions in our optimization, which is thus guaranteed to either match or surpass them. We demonstrate the power of the method on one-dimensional spin-chain models where we observe an improvement by several orders of magnitude over existing finite size criteria in both the accuracy of the lower bound on the gap, as well as the range of parameters in which a gap is detected.

arXiv:2411.03680•Quantum•Apr 13, 2026•1 citation

Simple proofs for the detectability lemma and its converse

Anurag Anshu, Itai Arad, Thomas Vidick

The detectability lemma is a useful tool for probing the structure of gapped ground states of frustration-free Hamiltonians of lattice spin models. The lemma provides an estimate on the error incurred by approximating the ground space projector with a product of local projectors. We provide a new, simpler proof for the detectability lemma, which applies to an arbitrary ordering of the local projectors, and show that it is tight up to a constant factor. As an application we show how the lemma can be combined with a strong converse by Gao to obtain local spectral gap amplification: we show that by coarse-graining a local frustration-free Hamiltonian with a spectral gap $\gamma>0$ to a length scale $O(\gamma^{-1/2})$, one gets an Hamiltonian with an $\Omega(1)$ spectral gap.

•Feb 3, 2016•0 citations
Knabe's theorem lower bounds the spectral gap of a one-dimensional frustration-free local Hamiltonian in terms of the local spectral gaps of finite regions. It also provides a local spectral gap threshold for Hamiltonians that are gapless in the thermodynamic limit, showing that the local spectral gap must scale inverse linearly with the length of the region for such systems. Recent works have further improved upon this threshold, tightening it in the one-dimensional case and extending it to higher dimensions. Here, we show a local spectral gap threshold for frustration-free Hamiltonians on a finite-dimensional lattice that is optimal up to a constant factor that depends on the dimension of the lattice. Our proof is based on the detectability lemma framework and uses the notion of a coarse-grained Hamiltonian (introduced in [Anshu et al., Phys. Rev. B 93, 205142]) as a link connecting the (global) spectral gap and the local spectral gap.
We improve Knabe’s spectral gap bound for frustration-free translation-invariant local Hamiltonians in 1D. The bound is based on a relationship between global and local gaps. The global gap is the spectral gap of a size-m chain with periodic boundary conditions, while the local gap is that of a subchain of size n < m with open boundary conditions. Knabe proved that if the local gap is larger than the threshold value 1/(n − 1) for some n > 2, then the global gap is lower bounded by a positive constant in the thermodynamic limit m → ∞. Here we improve the threshold to 6n(n+1), which is better (smaller) for all n > 3 and which is asymptotically optimal. As a corollary we establish a surprising fact about 1D translation-invariant frustration-free systems that are gapless in the thermodynamic limit: for any such system the spectral gap of a size-n chain with open boundary conditions is upper bounded as O(n−2). This contrasts with gapless frustrated systems where the gap can be Θ(n−1). It also limits the extent to which the area law is violated in these frustration-free systems, since it implies that the half-chain entanglement entropy is O(1/ϵ) as a function of spectral gap ϵ. We extend our results to frustration-free systems on a 2D square lattice.
Abstract Providing system-size independent lower bounds on the spectral gap of local Hamiltonian is in general a hard problem. For the case of finite-range, frustration free Hamiltonians on a spin lattice of arbitrary dimension, we show that a property of the ground state space is sufficient to obtain such a bound. We furthermore show that such a condition is necessary and equivalent to a constant spectral gap. Thanks to this equivalence, we can prove that for gapless models in any dimension, the spectral gap on regions of diameter n is at most o ( log ⁡ ( n ) 2 + ε n ) for any positive ϵ.
The detectability lemma is a useful tool for probing the structure of gapped ground states of frustration-free Hamiltonians of lattice spin models. The lemma provides an estimate on the error incurred by approximating the ground space projector with a product of local projectors. We provide a simpler proof for the detectability lemma which applies to an arbitrary ordering of the local projectors, and show that it is tight up to a constant factor. As an application, we show how the lemma can be combined with a strong converse by Gao to obtain local spectral gap amplification: We show that by coarse graining a local frustration-free Hamiltonian with a spectral gap $\ensuremath{\gamma}>0$ to a length scale $O\left({\ensuremath{\gamma}}^{\ensuremath{-}1/2}\right)$, one gets a Hamiltonian with an $\mathrm{\ensuremath{\Omega}}\left(1\right)$ spectral gap.
In 1988, Knabe found a "finite-size criterion" to determine whether a frustration-free quantum spin chain with periodic boundary conditions is uniformly gapped in the thermodynamic limit. The criterion provides a threshold for the spectral gap at a finite system size such that, if the threshold is exceeded for a fixed system size, then the chain with periodic boundary conditions is uniformly gapped. We extend Knabe's result to frustration-free spin chains equipped with open boundary conditions. We now obtain two finite-size criteria: The first one is identical to Knabe's criterion and we interpret it as a bulk criterion. The second one controls the spectral gaps at smaller system sizes and can be interpreted as a new edge criterion. Heuristically, it excludes the presence of thermodynamically gapless excitations living near the edge.
Estimating spectral gaps of quantum many-body Hamiltonians is a highly challenging computational task, even under assumptions of locality and translation-invariance. Yet, the quest for rigorous gap certificates is motivated by their broad applicability, ranging from many-body physics to quantum computing and classical sampling techniques. Here we present a general method for obtaining lower bounds on the spectral gap of frustration-free quantum Hamiltonians in the thermodynamic limit. We formulate the gap certification problem as a hierarchy of optimization problems (semidefinite programs) in which the certificate – a proof of a lower bound on the gap – is improved with increasing levels. Our approach encompasses existing finite-size methods, such as Knabe's bound and its subsequent improvements, as those appear as particular possible solutions in our optimization, which is thus guaranteed to either match or surpass them. We demonstrate the power of the method on one-dimensional spin-chain models where we observe an improvement by several orders of magnitude over existing finite size criteria in both the accuracy of the lower bound on the gap, as well as the range of parameters in which a gap is detected.
The detectability lemma is a useful tool for probing the structure of gapped ground states of frustration-free Hamiltonians of lattice spin models. The lemma provides an estimate on the error incurred by approximating the ground space projector with a product of local projectors. We provide a new, simpler proof for the detectability lemma, which applies to an arbitrary ordering of the local projectors, and show that it is tight up to a constant factor. As an application we show how the lemma can be combined with a strong converse by Gao to obtain local spectral gap amplification: we show that by coarse-graining a local frustration-free Hamiltonian with a spectral gap γ>0\gamma>0γ>0 to a length scale O(γ−1/2)O(\gamma^{-1/2})O(γ−1/2), one gets an Hamiltonian with an Ω(1)\Omega(1)Ω(1) spectral gap.