A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The factor-of-IID threshold for free Ising states on trees
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, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:luck, magnets Levels:1
Category:Probability and statistical mechanics Lean version:YES! ✔
Rate this game! 4.0 out of 5 (5,022 votes)

>>> How to Play <<<
The exact factor-of-IID threshold for free Ising spins on trees. Determines when the free zero-field ferromagnetic Ising state on the infinite d-regular tree is a factor of independent vertex labels: exactly when $\tanh\beta\le(d-1)^{-1/2}$, including equality, for d ≥ 3 and β ≥ 0. The construction uses no root and is almost surely equivariant for each fixed tree automorphism, resolving the ferromagnetic case of Lyons's question.

>>> Level Select <<<
released 2026-09-26  |  1 theorem · 16 lemmas · 23 proofs · 21,168 words  |  PLAY LEVEL 1 »  (pdf)
For every integer d ≥ 3 and inverse temperature β ≥ 0, the free zero-field ferromagnetic Ising measure on the infinite d-regular tree is a factor of IID exactly when $\tanh\beta\le(d-1)^{-1/2}$. We prove the positive implication, including equality, resolving the conjecture of Nam, Sly and Zhang; the strict converse is known. The spin factor can be chosen to commute with every tree automorphism on every label input.

More Probability and statistical mechanics Games!
Conformal universality for weakly interacting and disordered Ising modelsGOE universality for random regular graphs with weak disorderDirectional zero–one laws and ballisticity in random environmentsThe Mézard–Parisi formula for diluted spin glasses
Perceptron free energies and microscopic jammingConformal limits of square-lattice random-cluster interfacesCritical and near-critical universality for Voronoi percolationGaussian free field limits for the balanced six-vertex model

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