A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Directional zero–one laws and ballisticity in random environments
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:3
Category:Probability and statistical mechanics Lean version:YES! ✔
Rate this game! 4.9 out of 5 (2,627 votes)

>>> How to Play <<<
Directional zero–one laws beyond iid environments and iid ballisticity. On ℤd, d ≥ 3, directional escape has probability zero or one for iid strictly elliptic nearest-neighbor environments, and for stationary ergodic finite-range-dependent environments under uniform ellipticity. In iid uniformly elliptic environments with d ≥ 2, almost-sure directional transience implies a deterministic limiting velocity with positive projection in that direction, resolving the ballisticity conjecture.

>>> Level Select <<<
released 2026-10-05  |  1 theorem · 5 lemmas · 18 proofs · 15,729 words  |  PLAY LEVEL 1 »  (pdf)
We prove a directional zero–one law for uniformly elliptic nearest-neighbor random walks in stationary, ergodic, finite-range-dependent environments on ℤd, d ≥ 3. For every fixed nonzero real direction, the probability of escape in that direction, averaged over the environment, is either zero or one. Finite-range dependence is imposed on the full transition rows: collections of rows at distance greater than a fixed range are independent, including collections indexed by infinite deterministic sets.
released 2026-09-23  |  1 theorem · 13 lemmas · 19 proofs · 14,929 words  |  PLAY LEVEL 2 »  (pdf)
We prove the directional zero–one conjecture for nearest-neighbor random walks in independent and identically distributed strictly elliptic environments on ℤd, d ≥ 3: the probability of escape in each fixed nonzero real direction is zero or one. Only strict positivity of the transition probabilities is required; no uniform lower bound or moment assumption is imposed.
released 2026-09-23  |  1 theorem · 21 lemmas · 37 proofs · 27,523 words  |  PLAY LEVEL 3 »  (pdf)
We prove that almost-sure transience in a fixed direction implies a deterministic limiting velocity with positive projection in that direction for nearest-neighbor random walks in independent and identically distributed uniformly elliptic environments on ℤd, d ≥ 2. This resolves the ballisticity conjecture positively.

More Probability and statistical mechanics Games!
GOE universality for random regular graphs with weak disorderThe Mézard–Parisi formula for diluted spin glassesPerceptron free energies and microscopic jammingConformal limits of square-lattice random-cluster interfaces
Critical and near-critical universality for Voronoi percolationGaussian 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 model

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