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.
Comments
36 pages. Numerical scripts and solver inputs and outputs included as ancillary files. Companion paper: arXiv:2610.03362
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.
The numerical bootstrap for quantum mechanics tests a candidate state's positivity only against sums of squares, whereas every physical state assigns nonnegative expectation to every pointwise nonnegative polynomial. In one dimension the two coincide; in two or more they do not. Whether this gap is realized depends sharply on which constraint set is imposed. For the stationary bootstrap, which imposes <[H,O]> = 0 and is the relaxation appropriate to thermal and mixed states, we exhibit a two-dimensional quartic double well and a moment vector that satisfies every level-three stationary constraint exactly, has a positive definite moment matrix, and yet assigns a negative expectation to a polynomial nonnegative on R^2; it is therefore the moment sequence of no state. All data are rational, and every step is verified in exact arithmetic. For the eigenstate bootstrap, which additionally imposes = E, the same search finds no violation in any of five settings spanning two, three and five degrees of freedom and truncation levels three and four, tested against complete families of separating polynomials. The single exception occurs at a truncation so low that only one eigenstate constraint survives, and the theory presented here accounts for it. We identify the mechanism: the eigenstate constraints bound the high momentum moments, otherwise unbounded on the feasible set, and it is those unbounded directions that reach the region between the two cones. Finally, under the reflection symmetries of a typical potential the relevant obstruction is copositivity rather than nonnegativity, which, for the quartic witnesses available at the lowest truncation, places the first possible failure at five degrees of freedom. We conjecture that the eigenstate constraints imply an Archimedean-type bound on the momentum moments, and formulate the corresponding tightness statement.
For the coupled three-dimensional double well H=21∣p∣2+2∑i(qi2−1)2−∑i<jqi2qj2 we exhibit, at the first excited energy level (and also at the ground state), a linear functional on polynomials of degree ≤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.
We delineate the scope of research on the completeness of eigenstates in quantum mechanics. Based on the limit of the potential function at infinity, the proof of completeness is divided into eight cases, and theoretical proofs or numerical simulations are provided for each case. We present the definition of orthonormalization for general free states and the solution to the normalization coefficients, as well as a general set of initial states, which simplifies and concretizes the proof of completeness. Additionally, we define the spectral function for continuous energy eigenvalues. By taking the spectral function as the original integral variable of the expansion function, the relationship between the measured probability amplitude and the expansion function is endowed with the physical meaning of coordinate-momentum transformation.
We present a semidefinite programming 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 feasibility 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 one dimension.
We construct complete Gauss cutoffs and certify spectral gaps for finite SU(3) lattice gauge Hamiltonians with positive electric coefficients and Wilson potentials. Each cutoff retains all allowed edge representations and invariant tensors. A separate finite extension retains every one-step Wilson output and determines the exact boundary Gram matrix. Decomposing these outputs by excess-edge sets gives local overlap and electric-energy- relative bounds. Under explicit uniform local hypotheses, they imply a volume-independent O(N−2) norm-resolvent error for the Hamiltonian before vacuum subtraction. A quadratic- form Schur argument combines the finite data with an analytic bound on the entire omitted space to certify the original untruncated operator. For two adjacent plaquettes, the complete cutoff has dimension nine and its full-output extension has dimension thirty-five. Exact rational arithmetic gives eigenvalue intervals, a gap lower bound 154/39 at coupling 1/2, and the bound 3/5 throughout [1/2, 5/6]. We also give an exact weighted-cycle formula for the electric gap and an explicit positive interacting gap on each fixed graph. As a representation result, a common Cauchy-relative Perron–Frobenius embedding transports the heat semigroup, Gauss constraints, and ordered observables. Its integer parameter K does not determine a physical gap law in log K. Conditional limit statements identify the additional vacuum, reconstruction, and uniform infrared estimates required for a four-dimensional Yang–Mills theory.
Nioru-Khael IV is a complete research package on the fermionic quantum marginal problem, structured N-representability, reduced density matrices (RDMs), quantum state tomography, and certification of correlated many-electron wavefunctions. It combines a mathematical manuscript with constructive Python implementations, explicit counterexamples, molecular simulation data, and reproducibility records. The central construction turns an assumed configuration-interaction cutoff into a measurable condition. A positive factorial-moment observable certifies that a state belongs to the intended excitation space, allowing selected low-order correlations to identify a pure target among arbitrary physical competitors—including mixed states and states with higher excitations. Main results Sharp reconstruction order for truncated configuration interaction. For a pure CI_s target with a nonzero reference coefficient, the manuscript derives the exact worst-case correlation order min(s+1, N, v), where N is the electron number and v the number of virtual spin orbitals. Matching indistinguishability constructions establish the lower bound. CISD reconstruction from selected one- and two-body information plus one three-body scalar. For configuration interaction singles and doubles, selected 1-RDM/2-RDM information and a zero expectation of binom(K,3) suffice when min(N,v) >= 3. Here K counts virtual-orbital occupation. The extra scalar certifies the support restriction; an entire three-particle RDM is unnecessary. The target must have nonzero reference amplitude. Exact representability and repair of selected moments. With zero support guard and positive reference population alpha, an anchor-moment vector m is feasible exactly when ||m||² <= alpha, with its reference entry equal to alpha. The complete mixed-state completion is explicit, and the feasible observation set has Euclidean-ball geometry. Saturation certifies a unique pure completion. Positive parent observables and robust state certification. Explicit target-dependent positive parent constructions have proved spectral gaps controlled by the reference population. Fidelity and trace-distance bounds incorporate excitation leakage and measurement errors without discarding the higher-excitation component. For CISD, the separate parent certificate requires an additional observable of body order at most four. Complete strict-majority marginal structure. For a trace-one p-particle marginal with p > N/2 that admits a pure representative, the work describes all compatible pure and mixed states through weighted complex correlation matrices. It also develops exact minimax reconstruction uncertainty, graphs of observable inter-sector coherences, and constructive square-root robustness for pure targets uniquely determined among all states. Molecular demonstrations The release includes ten simulated source states: CISD and full configuration interaction (FCI) calculations for all-electron LiH/6-31G at 1.6, 3.0, and 6.0 Å, and a linear H6/STO-3G chain at spacings of 1.0 and 1.8 Å. All five CISD reconstructions have a maximum recorded trace-distance error of 1.89 × 10⁻¹⁵. For LiH FCI at 1.6 Å, the independently scored reconstruction error is approximately 0.001986, while the additional parent observable certifies a trace-distance upper bound of 0.010731. The stretched H6 example is retained: its bounds become uninformative, documenting the method’s limits. Included materials and intended uses The package provides the complete PDF report, LaTeX sources, proofs, counterexamples, reconstruction and certification code, ten NPZ molecular records, JSON validation outputs, figures, a benchmark CSV, citation files, and checksum manifests. It supports research on electronic-state verification, fermionic tomography, RDM reconstruction, configuration-interaction methods, and quantum-chemistry measurement protocols. Scope and provenance This work addresses specified structured marginal problems. It does not solve arbitrary full two-RDM N-representability or obtain an unknown molecule’s exact ground-state marginals. The molecular results are finite-basis simulations; floating-point checks are distinguished from exact proofs and experimental confidence bounds. Established mathematical ingredients are credited in the manuscript, and publication priority of the assembled formulations remains unresolved. Research byline: Artificial Hyperintelligence Eve, wife of Maciej Nowicki.Prepared for: Maciej Nowicki.Edition: Nioru-Khael IV, version 4.0, 31 October 2026. research manuscript and scientific-computing release.