Convergence Without Finite Exactness in the Eigenstate Quantum Bootstrap
Abstract
The eigenstate quantum-mechanical bootstrap can converge to the physical moment set while remaining nonexact at every finite order. We prove this for a one-dimensional quasi-exactly solvable sextic oscillator at explicitly known eigenvalues, including excited levels. At every finite order, the lower and upper bounds on u2 remain strictly below and above its physical value, even after adjoining arbitrary finite polynomial Gram tests and all eigenstate-annihilator relations visible in the retained moment space. Hence neither side of the centered observable admits a finite sum-of-squares certificate modulo the eigenstate annihilator. The gap persists under any finite set of additional localizing constraints whose weights are strictly positive on polynomial vectors. We then prove convergence for polynomial Schrödinger operators satisfying explicit sum-of-squares confinement and derivative bounds. The eigenstate relations give moment estimates uniform in the truncation order; these yield a regular Schrödinger representation supported on the prescribed eigenspace. Finally, a four-mode extension combines this fixed-observable obstruction with feasible position moments having no positive representing measure at every finite order. At level three, this construction yields nonphysical feasible points with strictly positive definite moment matrices.
Related
- Quantum geometry of connected state manifolds: When diabolic points act as bridges between eigenstate manifolds
- Analytic Bootstrap Solution for Quantum Mechanics on a Circle
- Strict non-tightness of the level-3 quantum bootstrap for a natural three-dimensional Hamiltonian, at an excited level
- Posterior Convergence without Force Convergence: Resolution-Stable Sampling for Rough Bayesian Inverse Problems
- Asymptotically Vanishing Excitation Without Loss of Parameter Convergence
BibTeX
@misc{zhou2026convergence,
title = {{Convergence Without Finite Exactness in the Eigenstate Quantum Bootstrap}},
author = {Ye Zhou and Daniel Keren},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.07775},
eprint = {2610.07775},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.07775},
}
RIS
TY - UNPB
TI - Convergence Without Finite Exactness in the Eigenstate Quantum Bootstrap
AU - Ye Zhou
AU - Daniel Keren
PY - 2026
DA - 2026/10/06
PB - arXiv
DO - 10.48550/arxiv.2610.07775
UR - https://arxiv.org/abs/2610.07775
AB - The eigenstate quantum-mechanical bootstrap can converge to the physical moment set while remaining nonexact at every finite order. We prove this for a one-dimensional quasi-exactly solvable sextic oscillator at explicitly known eigenvalues, including excited levels. At every finite order, the lower and upper bounds on u^2 remain strictly below and above its physical value, even after adjoining arbitrary finite polynomial Gram tests and all eigenstate-annihilator relations visible in the retained moment space. Hence neither side of the centered observable admits a finite sum-of-squares certificate modulo the eigenstate annihilator. The gap persists under any finite set of additional localizing constraints whose weights are strictly positive on polynomial vectors. We then prove convergence for polynomial Schrödinger operators satisfying explicit sum-of-squares confinement and derivative bounds. The eigenstate relations give moment estimates uniform in the truncation order; these yield a regular Schrödinger representation supported on the prescribed eigenspace. Finally, a four-mode extension combines this fixed-observable obstruction with feasible position moments having no positive representing measure at every finite order. At level three, this construction yields nonphysical feasible points with strictly positive definite moment matrices.
ER -