Improving the lower bound on the Laughlin gap: An SDP search
Abstract
A recent preprint by OpenAI resolved the spherical fermionic Laughlin spectral-gap conjecture for the full V1 interaction by a Fock-space inequality: HQ2≥ γHQ on the lowest-Landau-level Fock space for all large flux Q and every γ below 0.0461673…, so that the gap above the Laughlin state at filling 1/3 is at least 1/25. That proof, with its original constant, has also been formalized in Lean. We show that the same argument supports a much larger constant. Two sharper estimates, a product-twirl bound for the three-body tail and a staircase price for the four-body allowance, raise the constant above $0.0601$ without changing the original certificate. Treating the auxiliary operators as the variables of a semidefinite program (SDP) and enlarging the finite set of orbital modes on which they act then gives HQ2≥γHQ for every γ<γ*=0.2190037845063196…, certified by exact rational arithmetic. Consequently the gap above the Laughlin state is at least 1/5 for all sufficiently large spheres, and the untruncated planar V1 Hamiltonian has positive spectrum bounded below by γ*, uniformly in particle number and angular momentum. A heuristic extrapolation of the SDP optima suggests that auxiliary operators of the present form can give at most about $0.222$, while exact diagonalization of finite systems places the true gap near $0.4$. A larger family of auxiliary operators could push the bound further towards the true gap, and the SDP formulation makes such families easy to test. The proof of the improvement and the SDP search were completed by the AI model Claude Opus 5.5 (Anthropic) under the author's direction.
Related
- A Hierarchy of Exact Lower Bounds on the Laughlin Spectral Gap
- Strictly positive lower bound on the thermodynamic cost of running a Boolean circuit
- A lower bound on the overhead of addressable surgery on sparse stabiliser codes
- A Universal Lower Bound for the Complexity of Gaussian-Divisible Spin Glasses
- Lower Bound for Region of Non-Distillable Magic States
BibTeX
@misc{gao2026improving,
title = {{Improving the lower bound on the Laughlin gap: An SDP search}},
author = {Qiang Gao},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.12700},
eprint = {2610.12700},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.12700},
}
RIS
TY - UNPB
TI - Improving the lower bound on the Laughlin gap: An SDP search
AU - Qiang Gao
PY - 2026
DA - 2026/10/08
PB - arXiv
DO - 10.48550/arxiv.2610.12700
UR - https://arxiv.org/abs/2610.12700
AB - A recent preprint by OpenAI resolved the spherical fermionic Laughlin spectral-gap conjecture for the full V_1 interaction by a Fock-space inequality: H_Q^2≥ γH_Q on the lowest-Landau-level Fock space for all large flux Q and every γ below 0.0461673…, so that the gap above the Laughlin state at filling 1/3 is at least 1/25. That proof, with its original constant, has also been formalized in Lean. We show that the same argument supports a much larger constant. Two sharper estimates, a product-twirl bound for the three-body tail and a staircase price for the four-body allowance, raise the constant above $0.0601$ without changing the original certificate. Treating the auxiliary operators as the variables of a semidefinite program (SDP) and enlarging the finite set of orbital modes on which they act then gives H_Q^2≥γH_Q for every γ<γ_*=0.2190037845063196…, certified by exact rational arithmetic. Consequently the gap above the Laughlin state is at least 1/5 for all sufficiently large spheres, and the untruncated planar V_1 Hamiltonian has positive spectrum bounded below by γ_*, uniformly in particle number and angular momentum. A heuristic extrapolation of the SDP optima suggests that auxiliary operators of the present form can give at most about $0.222$, while exact diagonalization of finite systems places the true gap near $0.4$. A larger family of auxiliary operators could push the bound further towards the true gap, and the SDP formulation makes such families easy to test. The proof of the improvement and the SDP search were completed by the AI model Claude Opus 5.5 (Anthropic) under the author's direction.
ER -