A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The dynamical phase transition in the Sherrington–Kirkpatrick model
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Gaussian Moat Hopper <<<

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:luck, magnets Levels:8
Category:Probability and statistical mechanics Lean version:YES! ✔
Rate this game! 4.0 out of 5 (244 votes)

>>> How to Play <<<
Critical SK autocorrelation processes and dynamics across the temperature transition. For zero-field Gaussian SK heat-bath dynamics with rate-one updates per spin, proves worst-start cutoff on the $\log n$ scale for fixed $0\le\beta\lt 1$, mixing time $n^{2/3+o(1)}$ at β = 1, and stretched-exponential mixing from a Gibbs-sampled fixed starting configuration for β > 1, in probability over disorder. At criticality, rescaled stationary and quench autocorrelation processes have universal random limits for Gaussian and Rademacher disorder; the quench limit relaxes to the stationary limit.

>>> Level Select <<<
released 2026-10-05  |  3 theorems · 36 lemmas · 45 proofs · 49,577 words  |  PLAY LEVEL 1 »  (pdf)
We prove joint functional convergence of the stationary and quench autocorrelations of zero-field Sherrington–Kirkpatrick heat-bath dynamics at inverse temperature β = 1, with the same random limit for Gaussian and Rademacher couplings. Each site has a rate-one clock, mean spin autocorrelations are multiplied by n1/3, and waiting times and lags are measured in units n2/3. The quench starts from independent fair spins, and convergence is uniform on compact sets of positive waiting times and lags. The quench limit is selected by these initial states and relaxes to the stationary limiting autocorrelation as the waiting time tends to infinity.
released 2026-10-05  |  3 theorems · 28 lemmas · 46 proofs · 29,652 words  |  PLAY LEVEL 2 »  (pdf)
We prove that the stationary spin autocorrelation of the zero-field Sherrington–Kirkpatrick model at inverse temperature β = 1 has a common functional scaling limit for Gaussian and Rademacher couplings. With rate-one heat-bath clocks at every site, time is scaled by n2/3 and the mean spin autocorrelation is multiplied by n1/3. The functions converge in law uniformly on compact positive-time intervals. Their limiting law is not a point mass: it retains sample-to-sample randomness, and its functions decay to zero at large times.
released 2026-09-24  |  1 theorem · 20 lemmas · 25 proofs · 26,827 words  |  PLAY LEVEL 3 »  (pdf)
For every fixed inverse temperature $0\lt \beta\lt 1$, we prove that the unscaled spectral gap of single-site heat-bath dynamics for the zero-field Gaussian Sherrington–Kirkpatrick model is bounded away from zero with probability tending to one over the disorder. Equivalently, the Gibbs law satisfies a dimension-free Poincaré inequality for all functions.
released 2026-09-24  |  10 theorems · 58 lemmas · 93 proofs · 70,854 words  |  PLAY LEVEL 4 »  (pdf)
We prove worst-case total-variation cutoff for the zero-field Gaussian Sherrington–Kirkpatrick heat-bath dynamics at every fixed inverse temperature $0\leq\beta\lt 1$. With rate-one refresh at each spin, the cutoff location is $\log n/(2\lambda(\beta))$ for a positive deterministic rate $\lambda(\beta)$. The location for uniformly chosen single-site update attempts is n times as large. Convergence is in probability over the disorder.
released 2026-09-24  |  5 theorems · 12 lemmas · 25 proofs · 14,184 words  |  PLAY LEVEL 5 »  (pdf)
At the critical inverse temperature β = 1, we prove slow mixing for zero-field Gaussian Sherrington–Kirkpatrick heat-bath dynamics from typical equilibrium configurations held fixed as initial states. For every deterministic sequence $t_n=o(n^{2/3})$ in rate-one-per-site time, the Gibbs mass of initial states whose time-tn total-variation distance from equilibrium exceeds 1/4 tends to one in probability over the disorder. The same statement holds for every deterministic integer sequence $k_n=o(n^{5/3})$ of uniform-site update attempts.
released 2026-09-24  |  3 theorems · 16 lemmas · 25 proofs · 24,706 words  |  PLAY LEVEL 6 »  (pdf)
At every fixed inverse temperature β > 1, we prove a stretched-exponential obstruction to mixing for the zero-field Sherrington–Kirkpatrick model from typical equilibrium configurations held fixed as initial states. The Gibbs mass of states whose total-variation distance from equilibrium at time $\exp(n^{1/10000})$ exceeds 1/4 tends to one in probability over the disorder. This holds for rate-one-per-site heat-bath dynamics and after the same stated number of discrete update attempts.
released 2026-09-24  |  1 theorem · 3 lemmas · 8 proofs · 9,050 words  |  PLAY LEVEL 7 »  (pdf)
For every fixed inverse temperature β > 1, we prove subexponential mixing for rate-one-per-site heat-bath dynamics in the zero-field Gaussian Sherrington–Kirkpatrick model from a typical equilibrium configuration. If one Gibbs-sampled configuration is held fixed as the initial state, its total-variation distance from equilibrium is at most 1/4 by time $\exp(n^{1-1/40000000})$, with joint probability tending to one over the disorder and the sampled state.
released 2026-09-25  |  5 theorems · 27 lemmas · 49 proofs · 90,449 words  |  PLAY LEVEL 8 »  (pdf)
At the critical inverse temperature β = 1, we determine the worst-start total-variation mixing exponent for single-site heat-bath dynamics in the zero-field Gaussian Sherrington–Kirkpatrick model. The mixing time is $n^{2/3+o(1)}$ when every site has rate one, or $n^{5/3+o(1)}$ attempted uniform-site updates, in probability over the disorder.

More Probability and statistical mechanics Games!
No bigeodesics and smooth limit shapes in planar first-passage percolationNo infinite critical clusters on quasi-transitive graphsThe Benjamini–Schramm nonuniqueness conjectureMassive continuum limits and exact mass asymptotics for planar $O(n)$ models
Critical logarithmic corrections and BKT scaling for the planar XY modelThe low-temperature Sherrington–Kirkpatrick fluctuation lawConformal universality for weakly interacting and disordered Ising modelsGOE universality for random regular graphs with weak disorder

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