Calculation record
Arb certificate of negative Gaussian Ritz subspaces via analytic Laguerre integrals.
The orthogonal radial weight is z^alpha exp(-z)/Gamma(alpha+1).
No numerical quadrature, no probability interpretation of spatial modes.
Research context
Interpret numerical checks within the assumptions and limitations documented in these notes.