The ballisticity conjecture: directional transience implies ballisticity for random walks in iid uniformly elliptic environments

Lineage and corrections

The ballisticity conjecture: directional transience implies ballisticity for random walks in iid uniformly elliptic environments evidence for this event

VibeMathed record: The ballisticity conjecture: directional transience implies ballisticity for random walks in iid uniformly elliptic environments evidence for this event

This event attributed to Unreleased internal OpenAI model

Theorem 1.1: for $d\ge2$, iid uniformly elliptic nearest-neighbour rows (no independence within a row needed) and a fixed unit $\ell$ with $P_0(A_\ell)=1$, there is a deterministic $v$ with $v\cdot\ell>0$ and $X_n/n\to v$ almost surely, so the walk is ballistic in direction $\ell$. For $d\ge3$ positive probability of $A_\ell$ suffices, the velocity is unique, and the directions with positive transience probability are exactly the open hemisphere $\{u:u\cdot v>0\}$, with probability one there and zero elsewhere. Not shown: the strictly (not uniformly) elliptic case, non-iid environments, or central limit theorems and slowdown estimates. parent of this event

Comparator statement: DirectionalBallisticity.lean evidence for this event

Lean proof (OAI.DirectionalTransience.directional_transience_implies_ballisticity) evidence for this event

The ballisticity conjecture: directional transience implies ballisticity for random walks in iid uniformly elliptic environments parent of this event

Fribergh-Kious, Local trapping for elliptic random walks in random environments (arXiv) evidence for this event

Comparator statement: VelocityHemisphere.lean evidence for this event