Gaussian free field limits for the balanced six-vertex model at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

Gaussian free field limits for the balanced six-vertex model

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

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.0 out of 5 (5,950 votes)

>>> How to Play <<<

Gaussian free field limits throughout the balanced six-vertex regime. The balanced square-lattice six-vertex height field with $a=b=1$ and $0\lt c\le2$ converges to a Gaussian free field, including at the endpoint c = 2. The plane state is defined by balanced-torus limits. For unit height increments and Green kernel $-(2\pi)^{-1}\log|x-y|$, the exact variance multiplier is $1/\arcsin(c/2)$.

>>> Level Select <<<

LEVEL 1 The Gaussian free field limit of the balanced six-vertex model with variance multiplier 1/arcsin(c/2)

released 2026-09-23 | 2 theorems · 32 lemmas · 51 proofs · 42,171 words | PLAY LEVEL 1 » (pdf)

We prove that the height function of the square-lattice six-vertex model with weights $a=b=1$ and $0\lt c\le2$, in the plane state obtained from balanced tori, converges to a multiple of the Gaussian free field. For unit height jumps and Green kernel $-(2\pi)^{-1}\log|x-y|$, the squared multiplier is $1/\arcsin(c/2)$.

More Probability and statistical mechanics Games!
All-temperature pressure for orthogonally invariant Ising spin glasses	Random-SAT thresholds, sharp variance and computability	The factor-of-IID threshold for free Ising states on trees	The three-quarter diameter exponent for honeycomb walks
Optimal logarithmic mixing of the Thorp shuffle	Sharp singularity rates for symmetric sign matrices	Geometry, diffusion, and spectra of random planar maps	No bigeodesics and smooth limit shapes in planar first-passage percolation

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

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

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600