A Semidefinite Programming algorithm for the Quantum Mechanical Bootstrap

Abstract

We present a semidefinite program (SDP) algorithm to find eigenvalues of Schrödinger operators within the bootstrap approach to quantum mechanics. The bootstrap approach involves two ingredients: a nonlinear set of constraints on the variables (expectation values of operators in an energy eigenstate), plus positivity constraints (unitarity) that need to be satisfied. By fixing the energy we linearize all the constraints and show that the feasability problem can be presented as an optimization problem for the variables that are not fixed by the constraints and one additional slack variable that measures the failure of positivity. To illustrate the method we are able to obtain high-precision, sharp bounds on eigenenergies for arbitrary confining polynomial potentials in 1-D.

4 pages, 2 figures

References in corpus (10)

• Bootstrap for Lattice Yang-Mills theory
• Analytic and Numerical Bootstrap for One-Matrix Model and "Unsolvable" Two-Matrix Model
• Numerical Bootstrap in Quantum Mechanics
• Bootstrapping More QM Systems
• Bootstrapping Bloch bands
• Bootstrapping Calabi-Yau Quantum Mechanics
• Application of Bootstrap to $\theta$-term
• Bootstrapping PT symmetric Hamiltonians
• Bootstrapping the Kronig-Penney Model
• Anomalous Bootstrap on the half line

Cited by in corpus (12)

• Solving anharmonic oscillator with null states: Hamiltonian bootstrap and Dyson-Schwinger equations
• Feynman Integrals from Positivity Constraints
• ${\varphi }^n$ trajectory bootstrap
• QSlack: A slack-variable approach for variational quantum semi-definite programming
• Analytic trajectory bootstrap for matrix models
• Bootstrapping SU(3) Lattice Yang-Mills Theory
• Bootstrapping Shape Invariance: Numerical Bootstrap as a Detector of Solvable Systems
• A Hierarchy of Spectral Gap Certificates for Frustration-Free Spin Systems
• Bootstrapping periodic quantum systems
• Bootstrapping entanglement in quantum spin systems
• Bootstrapping Flat-band Superconductors: Rigorous Lower Bounds on Superfluid Stiffness
• Bootstrap Method in Theoretical Physics