From estimate to proof: certified ground-state energy bounds for singular Schrödinger operators on $R^3$

Xuefeng Liu

We propose a rigorous computational method that certifies the separator required by Temple's inequality and its Lehmann--Goerisch refinements, and with it unconditional ground-stat…