A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The Laughlin gap and stability under scalar disorder
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Guess the Hot Spot <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:physics, atoms Levels:2
Category:Mathematical physics Lean version:YES! ✔
Rate this game! 4.0 out of 5 (4,016 votes)

>>> How to Play <<<
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.

>>> Level Select <<<
released 2026-10-05  |  5 theorems · 28 lemmas · 46 proofs · 27,489 words  |  PLAY LEVEL 1 »  (pdf)
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.
released 2026-09-24  |  1 theorem · 8 lemmas · 13 proofs · 7,786 words  |  PLAY LEVEL 2 »  (pdf)
We prove the spherical fermionic Laughlin spectral-gap conjecture for the full V1 interaction. With coefficient one for each pair projector, the gap above the Laughlin state at filling 1/3 on the round sphere is at least 1/25 for all sufficiently large systems. More generally, $H_Q^2\ge\gamma H_Q$ for some fixed $\gamma\gt 1/25$ on the entire lowest-Landau-level Fock space for all sufficiently large flux Q, independently of particle number.

More Mathematical physics Games!
Bloch's law and spontaneous ferromagnetic orderEntanglement without secret key and the PPT-square conjectureThe entropy photon-number inequalityMoore's parity conjecture for $\mathrm{QAC}^0$
QMA-hardness of continuum Coulomb energyThe classical capacity of generalized amplitude dampingThreshold repetition for entangled gamesFailure of Kohn–Sham ensemble representation

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games