A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
QAOA optimality for the SK model
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Hamilton's Revenge <<<

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.1 out of 5 (6,044 votes)

>>> How to Play <<<
QAOA attains the SK optimum in the thermodynamic-first limit. Proves that QAOA approaches the ground-state energy of the Gaussian zero-field Sherrington–Kirkpatrick model when system size tends to infinity before circuit depth. For every accuracy, finite depth and deterministic angles independent of size and disorder achieve the required limiting expected energy per spin. This also yields leading-order optimal expected MaxCut values on large-degree random regular graphs, with size tending to infinity before degree.

>>> Level Select <<<
released 2026-09-25  |  4 theorems · 22 lemmas · 33 proofs · 33,879 words  |  PLAY LEVEL 1 »  (pdf)
We prove that the Quantum Approximate Optimization Algorithm (QAOA) approaches the ground-state energy per spin of the Gaussian zero-field Sherrington–Kirkpatrick model when system size tends to infinity first and circuit depth then increases. For every accuracy, some finite depth and deterministic angles, independent of system size and disorder, achieve that accuracy in the limiting expected energy per spin using the standard cost Hamiltonian and transverse-field mixer. This proves the eventual Parisi-optimality conjecture of Basso, Farhi, Marwaha, Villalonga, and Zhou in its fixed-parameter thermodynamic formulation. We give no quantitative bound on the required depth or efficient angle-selection procedure.
released 2026-09-27  |  1 theorem · 11 lemmas · 18 proofs · 10,957 words  |  PLAY LEVEL 2 »  (pdf)
We prove that every admissible integrable minimizer of the zero-temperature Parisi functional for the pure, zero-field Sherrington–Kirkpatrick model has full relative Stieltjes support on $[0,1)$. Thus its support has no gaps at any overlap scale below one. We use the covariance normalization $\xi(t)=t^2/2$.

More Mathematical physics Games!
Entanglement without secret key and the PPT-square conjectureThe entropy photon-number inequalityMoore's parity conjecture for $\mathrm{QAC}^0$QMA-hardness of continuum Coulomb energy
The classical capacity of generalized amplitude dampingThreshold repetition for entangled gamesFailure of Kohn–Sham ensemble representationExact quantum factoring over a fixed finite gate set HOT!

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