A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Continuum phase transitions for radial pair potentials
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Snaky <<<

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:2
Category:Probability and statistical mechanics Lean version:YES! ✔
Rate this game! 4.8 out of 5 (6,462 votes)

>>> How to Play <<<
Continuum phase transitions for radial pair potentials. Constructs stable distance-dependent pair interactions for three-dimensional classical particles with a first-order phase transition: the canonical free energy has a derivative jump at one inverse temperature throughout an open density interval. One potential has a divergent repulsive core; another is bounded and continuous with an integrable power-law tail, realizing the type of transition sought in Simon's continuum problem.

>>> Level Select <<<
released 2026-09-24  |  1 theorem · 8 lemmas · 16 proofs · 12,567 words  |  PLAY LEVEL 1 »  (pdf)
We construct a stable radial pair potential in three dimensions whose canonical free energy has a strict downward derivative jump at one common finite positive inverse temperature throughout an open interval of positive densities. The potential has a divergent repulsive core, a nontrivial attractive interval, and an integrable tail satisfying $\phi(r)=o(r^{-3})$. Its free-cube canonical free energy is finite at every positive inverse temperature and density.
released 2026-09-24  |  2 theorems · 11 lemmas · 25 proofs · 12,977 words  |  PLAY LEVEL 2 »  (pdf)
We construct a bounded, continuous, stable radial pair potential in three dimensions with $|\phi(r)|\le Cr^{-3-1/32}$ for r ≥ 1. Throughout an open interval of positive densities, its canonical thermodynamic free energy is finite at every positive inverse temperature and has a strict downward derivative jump at one common finite positive inverse temperature.

More Probability and statistical mechanics Games!
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
Gaussian free field limits for the balanced six-vertex modelThe double-dimer $\mathrm{CLE}_4$ conjecture in the half-planeThe dynamical phase transition in the Sherrington–Kirkpatrick modelSharp three- and four-state reconstruction thresholds

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