A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
GOE universality for random regular graphs with weak disorder
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Zeta Defense <<<

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

>>> How to Play <<<
GOE bulk universality for regular graphs with weak Anderson disorder. For every fixed degree d ≥ 3, the bulk adjacency-eigenvalue point process of a uniform simple random d-regular graph converges to the Gaussian orthogonal ensemble law, including for cubic graphs. The same fixed-energy universality persists under sufficiently weak fixed iid uniform diagonal disorder, throughout compact bands strictly inside the clean spectral edges.

>>> Level Select <<<
released 2026-10-05  |  2 theorems · 13 lemmas · 25 proofs · 25,978 words  |  PLAY LEVEL 1 »  (pdf)
For every fixed degree d ≥ 3, we prove fixed-energy GOE universality for the adjacency matrix of a uniformly random simple labelled d-regular graph with independent uniform diagonal disorder. The disorder strength is positive, sufficiently small, and fixed as the graph grows. At each fixed energy in a compact subinterval of the clean spectral band, the full microscopic eigenvalue point process converges to the GOE bulk process after rescaling by the positive density of states of the corresponding infinite-tree operator. The permitted disorder strength depends on the degree and the distance from the clean spectral edges.
released 2026-09-23  |  2 theorems · 13 lemmas · 21 proofs · 16,881 words  |  PLAY LEVEL 2 »  (pdf)
We prove the fixed-degree bulk-universality conjecture for random regular graphs. For every fixed integer d ≥ 3 and every fixed energy in the open Kesten–McKay bulk, the unfolded eigenvalue point process of the adjacency matrix of a uniform simple labelled d-regular graph converges to the GOE bulk process. The convergence holds along all admissible graph sizes, without additional conditioning.

More Probability and statistical mechanics Games!
Critical logarithmic corrections and BKT scaling for the planar XY modelThe low-temperature Sherrington–Kirkpatrick fluctuation lawConformal universality for weakly interacting and disordered Ising modelsDirectional zero–one laws and ballisticity in random environments
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

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