A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Critical and near-critical universality for Voronoi percolation
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:3
Category:Probability and statistical mechanics Lean version:not yet
Rate this game! 4.8 out of 5 (5,704 votes)

>>> How to Play <<<
Critical and quenched near-critical universality for Poisson–Voronoi percolation. Proves Cardy's formula for annealed critical Poisson–Voronoi crossing probabilities in every bounded Jordan quadrilateral. With each model normalized by its own expected unit-square pivotal count, the conditional joint near-critical crossing-threshold laws for rational polygonal quads converge in environment probability to the triangular-lattice reference law. This establishes quenched near-critical universality for crossing thresholds.

>>> Level Select <<<
released 2026-10-05  |  1 theorem · 32 lemmas · 38 proofs · 34,888 words  |  PLAY LEVEL 1 »  (pdf)
Taking Cardy's crossing formula for critical Poisson–Voronoi percolation as an input, we prove a universal joint limit for the near-critical crossing thresholds of rational polygonal quadrilaterals under the monotone coupling. Conditional on the Poisson tessellation, the threshold law converges in probability over tessellations to the same law as on the triangular lattice. Each model is normalized by its own expected number of color-pivotal sites for a unit-square crossing.
released 2026-10-05  |  1 theorem · 16 lemmas · 24 proofs · 21,011 words  |  PLAY LEVEL 2 »  (pdf)
Taking Cardy's conformal crossing formula for critical planar Poisson–Voronoi percolation in every bounded Jordan quadrilateral as an input, we prove that the expected number of color-pivotal cells for a unit-square crossing is asymptotic to a positive constant times $\varepsilon ^{-3/4}$, where the point intensity is $\varepsilon ^{-2}$. No rate of convergence in Cardy's formula is required.
released 2026-09-23  |  2 theorems · 30 lemmas · 42 proofs · 37,046 words  |  PLAY LEVEL 3 »  (pdf)
We prove Cardy's formula for annealed crossing probabilities in critical planar Poisson–Voronoi percolation in every bounded Jordan quadrilateral. This proves the annealed crossing-probability form of the conformal-invariance conjecture for this model.

More Probability and statistical mechanics Games!
The three-quarter diameter exponent for honeycomb walksOptimal logarithmic mixing of the Thorp shuffleSharp singularity rates for symmetric sign matricesGeometry, diffusion, and spectra of random planar maps
No bigeodesics and smooth limit shapes in planar first-passage percolationNo infinite critical clusters on quasi-transitive graphsThe Benjamini–Schramm nonuniqueness conjectureMassive continuum limits and exact mass asymptotics for planar $O(n)$ models

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