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.

25 pages, 4 figures, Accepted in Quantum

References in corpus (16)

• Matrix Product States and Projected Entangled Pair States: Concepts, Symmetries, and Theorems
• A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
• Criticality, the area law, and the computational power of PEPS
• Navigator Function for the Conformal Bootstrap
• An area law for 2D frustration-free spin systems
• Bootstrapping More QM Systems
• Improved spectral gaps for random quantum circuits: large local dimensions and all-to-all interactions
• A Semidefinite Programming algorithm for the Quantum Mechanical Bootstrap
• Lower Bounding Ground-State Energies of Local Hamiltonians Through the Renormalization Group
• Preparation and verification of tensor network states
• Certifying ground-state properties of quantum many-body systems
• Gaplessness is not generic for translation-invariant spin chains
• 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