oai-math-revised beta

Browse › Mathematical physics › 269 Uniform Laughlin gap and stability under bounded scalar disorder

Uniform Stability of the Spherical Laughlin Gap

OpenAI · October 5, 2026

Lean

Open PDFCite Report a problem Add a reference or comment Interested in working on this Start a discussion

Edit NOTES.md · Existing issues · Source on GitHub

Abstract

We prove that the fermionic Laughlin V1 Hamiltonian at filling 1/3 on expanding round spheres retains a unique ground state and a uniform spectral gap under sufficiently weak bounded real scalar one-body potentials projected to the lowest Landau level. With coefficient one for each pair projector and Laughlin flux $q=3(N-1)$, the gap and perturbation threshold are uniform for all sufficiently large particle numbers and all potential profiles of supremum norm at most one. The result uses the uniform unperturbed Fock-space gap and gives existential constants.

If the PDF does not display here, open it directly: Open PDF.

Notes

No notes yet. Add a reference, a comment or your name with the buttons above, or edit NOTES.md on GitHub.

Automatically collected notes (unreviewed)

work in progress

Collected automatically by AI tools (Claude Opus 5.5 and GPT-6 Astra, 2026-10-21) and not checked by a person. May be wrong or incomplete. Report an error.

Follow-up works

Formalization

  • Nicolas Rougerie, On the Laughlin function and its perturbations (arXiv:1906.11656, 2019-06-27). Gao's follow-up cites Appendix A as a formulation of the spectral-gap conjecture addressed by this family's unperturbed result; the survey also discusses the response of Laughlin correlations to perturbations. [family-level]

Possibly relevant literature (found by the agent, not checked)

News and blogs

Elsewhere

Independent sites; their content is not reviewed here.

Cite

@misc{OAI:Uniform-Stability-of-the-Spherical-Laughlin-Gap-October-5-2026,
  author = {{OpenAI}},
  title = {{Uniform Stability of the Spherical Laughlin Gap}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Uniform-Stability-of-the-Spherical-Laughlin-Gap-October-5-2026/uniform-stability-spherical-laughlin-gap.pdf}{OAI:Uniform-Stability-of-the-Spherical-Laughlin-Gap-October-5-2026}},
  year = {2026}
}

Lean formalization

OpenAI provides Lean files for this family: lean/docs/269.md. The Lean statements have not been checked by people against the paper's claims.

Family 269: Uniform Laughlin gap and stability under bounded scalar disorder

Proves the fermionic Laughlin spectral-gap conjecture for the full V1 interaction at filling 1/3 on the round sphere. The unique ground state remains uniformly gapped under sufficiently weak bounded real scalar one-body potentials projected to the lowest Landau level. Both the gap and disorder threshold are uniform over all sufficiently large particle numbers and all normalized potential profiles.

Other papers in this family: