A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The joint critical Ashkin–Teller scaling limit
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:1
Category:Probability and statistical mechanics Lean version:not yet
Rate this game! 4.6 out of 5 (785 votes)

>>> How to Play <<<
The joint critical Ashkin–Teller current limit. Identifies the joint scaling limit of Ashkin–Teller heights and both complete current-cluster collections throughout the critical line, including the four-state Potts endpoint. In bounded Jordan domains with admissible lattice approximations and wired primal/free dual boundaries, the height converges to the predicted Gaussian free field, and the clusters to canonical recursive sets of that same field, retaining every nesting depth.

>>> Level Select <<<
released 2026-10-06  |  2 theorems · 35 lemmas · 63 proofs · 56,831 words  |  PLAY LEVEL 1 »  (pdf)
For each fixed point on the critical Ashkin–Teller line, including the four-state Potts endpoint, we prove the conjectured joint scaling limit of the height and both current-cluster collections in every bounded Jordan domain, for every admissible polygonal approximation. The height converges to a Gaussian free field with the predicted coupling constant, and the clusters converge to canonical recursive two-valued local sets of that same field. The joint limit includes all nesting depths and the distinguished wired boundary cluster.

More Probability and statistical mechanics Games!
The factor-of-IID threshold for free Ising states on treesThe three-quarter diameter exponent for honeycomb walksOptimal logarithmic mixing of the Thorp shuffleSharp singularity rates for symmetric sign matrices
Geometry, diffusion, and spectra of random planar mapsNo bigeodesics and smooth limit shapes in planar first-passage percolationNo infinite critical clusters on quasi-transitive graphsThe Benjamini–Schramm nonuniqueness conjecture

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