A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The low-temperature Sherrington–Kirkpatrick fluctuation law
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, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:luck, magnets Levels:2
Category:Probability and statistical mechanics Lean version:not yet
Rate this game! 4.2 out of 5 (4,109 votes)

>>> How to Play <<<
The low-temperature Sherrington–Kirkpatrick fluctuation law. For every fixed inverse temperature β > 1, determines the fluctuation scale and limiting law of the zero-field Gaussian Sherrington–Kirkpatrick log partition function. Its variance is asymptotic to $c_\beta n^{1/3}$, with $c_\beta\gt 0$, confirming the predicted n1/6 standard-deviation scale. Exact centering and standardization give full-sequence convergence to a uniquely characterized nondegenerate law.

>>> Level Select <<<
released 2026-09-24  |  2 theorems · 32 lemmas · 50 proofs · 62,168 words  |  PLAY LEVEL 1 »  (pdf)
For every fixed inverse temperature β > 1, we prove that the zero-field Gaussian Ising Sherrington–Kirkpatrick free energy, centered by its expectation and divided by its standard deviation, converges in distribution to a nondegenerate law as the system size tends to infinity through all integers. We also prove that its variance divided by n1/3 converges to a finite positive constant.
released 2026-09-24  |  2 theorems · 41 lemmas · 54 proofs · 36,777 words  |  PLAY LEVEL 2 »  (pdf)
For the zero-field Gaussian Sherrington–Kirkpatrick model at every fixed inverse temperature β > 1, we prove that the standard deviation of the log partition function is $n^{1/6+o(1)}$. The same exponent describes its typical centered absolute fluctuations, establishing the predicted one-sixth exponent in this regime.

More Probability and statistical mechanics Games!
The Mézard–Parisi formula for diluted spin glassesPerceptron free energies and microscopic jammingConformal limits of square-lattice random-cluster interfacesCritical and near-critical universality for Voronoi percolation
Gaussian free field limits for the balanced six-vertex modelThe double-dimer $\mathrm{CLE}_4$ conjecture in the half-planeThe dynamical phase transition in the Sherrington–Kirkpatrick modelContinuum phase transitions for radial pair potentials

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