Disproof of the proposed fixed-time hydrogen Trotter lower bound
Recorded by the registry's curators from GitHub; the authors did not submit it here.
No author is named in the source.
No: ||S_n psi_0 - e^{iH} psi_0|| <= C n^{-3/8}, so n^{1/4} times the error tends to zero and no eventual lower bound c n^{-1/4} holds..
Claims
Files and sources
- Paper
- AIM @ a153f46, 562-hydrogen-trotter-disproof/PROOF.md ↗
- Posted on GitHub
- 2 October 2026
No verification run is on record for this version.