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

Abstract

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 comment25 pages, 4 figures, Accepted in Quantum

References in corpus (40)

• An Area Law for One Dimensional Quantum Systems
• Matrix Product States and Projected Entangled Pair States: Concepts, Symmetries, and Theorems
• A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
• Lieb-Schultz-Mattis in Higher Dimensions
• Criticality, the area law, and the computational power of PEPS
• Spectral Gap and Exponential Decay of Correlations
• Local random quantum circuits are approximate polynomial-designs
• Undecidability of the Spectral Gap (short version)
• Automorphic Equivalence within Gapped Phases of Quantum Lattice Systems
• Power law violation of the area law in quantum spin chains
• The spectral gap for some spin chains with discrete symmetry breaking
• Elementary excitations in gapped quantum spin systems
• Rapid adiabatic preparation of injective PEPS and Gibbs states
• Local gap threshold for frustration-free spin systems
• Navigator Function for the Conformal Bootstrap
• An area law for 2D frustration-free spin systems
• Spectral gaps of frustration-free spin systems with boundary
• Demonstrating the AKLT spectral gap on 2D degree-3 lattices
• Spectral gaps of AKLT Hamiltonians using Tensor Network methods
• Existence of a Spectral Gap in the Affleck-Kennedy-Lieb-Tasaki Model on the Hexagonal Lattice
• Bootstrapping More QM Systems
• Improved spectral gaps for random quantum circuits: large local dimensions and all-to-all interactions
• Undecidability of the Spectral Gap in One Dimension
• Correlation length in random MPS and PEPS
• A Semidefinite Programming algorithm for the Quantum Mechanical Bootstrap
• A class of two-dimensional AKLT models with a gap
• Lower Bounding Ground-State Energies of Local Hamiltonians Through the Renormalization Group
• Improved local spectral gap thresholds for lattices of finite dimension
• Spectral Gaps and Incompressibility in a $\nu =1/3$ Fractional Quantum Hall System
• Divide and conquer method for proving gaps of frustration free Hamiltonians
• Preparation and verification of tensor network states
• Certifying ground-state properties of quantum many-body systems
• Quantum kinetic Ising models
• Gaplessness is not generic for translation-invariant spin chains
• Undecidability of the Spectral Gap (full version)
• Entropy Constraints for Ground Energy Optimization
• The spectral gap of a fractional quantum Hall system on a thin torus
• Quantitatively improved finite-size criteria for spectral gaps
• Undecidability in Physics: a Review
• The AKLT model on a hexagonal chain is gapped