Strict non-tightness of the level-3 quantum bootstrap for a natural three-dimensional Hamiltonian, at an excited level

Abstract

For the coupled three-dimensional double well $H=\tfrac12|p|^2+2\sum_i(q_i^2-1)^2-\sum_{i<j}q_i^2q_j^2$ we exhibit, at the first excited energy level (and also at the ground state), a linear functional on polynomials of degree $\le 6$ that satisfies every constraint of the standard level-3 eigenstate bootstrap, has a \emph{strictly} positive definite moment matrix, and nevertheless assigns a negative value to a nonnegative polynomial. It is therefore an interior point of the level-3 relaxation that is realized by no quantum state. The construction reflects a fact that holds at every level: the eigenstate rows never reach the top-degree momentum moments. At level 3, where strictly feasible points exist, this means that the corresponding block of the moment matrix carries no information about which energies admit one. Every algebraic ingredient is an exact rational certificate, and the only numerical ingredients (spectral enclosures of an eigenfunction) are carried out in rigorous ball arithmetic.