结果族 220：Directional zero–one laws beyond iid environments and iid ballisticity · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
在陌生城市散步，每个路口的红绿灯配时各不相同，而且相邻路口的灯还互相牵连（隔远了才互不干扰）。你最终会不会整体上朝某个指定方向走出城？本文证明：只要灯的影响范围有限，你朝任一方向”走出去”的概率非 0 即 1，绝不会一半对一半——此前这只在完全独立的红绿灯下成立。
关键词卡片
@@M@@P_0(A_\ell)@@。@@M@@\kappa>0@@。看个具体例子
（示意图：三维格点取一个二维截面）
定理要求维度 @@M@@d\ge 3@@；方向 @@M@@\ell@@ 可以任意”歪”（无理方向也行），逃逸概率只有全有全无两种结局。图中把格点画成平面网格只是示意，论证真正发生在高维；环境的相互牵连也只允许局限在固定半径的小圈子内。
为什么值得关心
多项式混合的环境曾被构造出”双向都正概率逃逸”的反例，有限程依赖恰是安全的分界线——本文把方向 0-1 律推进到这条自然边界上。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读把环境比作路口红绿灯：配时各不相同、近处互相牵连、隔远才互不干扰。换成半数学语言：对象是一个在格点上逐步移动的游走者，加一套”每个格点自带转移概率”的随机环境——环境的统计规律平移不变，位置相距超过固定半径的环境块才独立；操作是走一步看一步、重访同一格点遇到同一组概率。要问的是：整条路径最终朝某指定方向走出去的事件，把环境平均掉之后，概率能否取零与一之间的值。
第二级台阶
用本科术语定义概念。随机环境中的游走指固定环境下按该环境转移的马尔可夫链；退火概率是再对环境取平均后的事件概率；平稳遍历指环境分布平移不变且平移不变事件平凡；一致椭圆要求几乎每处各方向转移概率不低于一个正常数；有限程依赖指相距超过固定距离的（包括无穷的）确定性行集合所生成的西格玛域相互独立。
第三级台阶
定理的语境：维度至少为三，方向是事先固定的任意非零实向量。一致椭圆挡住游走被局部堵死的退化；有限程依赖挡住多项式混合情形下已知的反例——那里双向正概率逃逸真的可以共存；维度要求避开二维特有的平面相交几何论证。结论用这些话说：三个环境假设下，每个固定方向的退火逃逸概率只能取零或一，方向可无理；证明只直接使用平稳性与有限程独立性，不借助独立标签表示，也不附加速度或矩条件。
证明了 @@M@@\mathbb{Z}^d@@（@@M@@d\ge3@@）上平稳、遍历、有限程依赖（finite-range-dependent）且一致椭圆的环境中，最近邻随机游走沿任一固定非零方向逃逸的退火概率只能是 0 或 1，把此前仅在独立环境成立的方向 0-1 律推广到了相依环境。
随机环境中的随机游走（random walk in random environment, RWRE）每到一个格点就按该点自带的转移概率跳步；重访同一格点会遇到同一组概率，这种环境的”记忆”使模型远比普通马尔可夫链难处理。1981 年 Kalikow 与 Sznitman–Zerner 的再生表述证明了符号并 0-1 律 @@M@@P_0(A_\ell\cup A_{-\ell})\in\{0,1\}@@（@@M@@A_\ell=\{X_n\cdot\ell\to+\infty\}@@），但它回答不了单一方向 @@M@@P_0(A_\ell)@@ 能否取 0 与 1 之间的值。二维情形由 Zerner–Merkl（2001）解决，其论证依赖平面上反向路径必然相交的几何；高维中这一几何失效，问题悬置多年。依赖性更使问题微妙：Bramson–Zeitouni–Zerner（2006）构造了平稳、多项式混合、一致椭圆的环境，游走竟以正概率沿两个相反方向逃逸。因此”独立性要多少才够”是实质问题，而有限程依赖正是自然的门槛；此前 Comets–Zeitouni、Rassoul-Agha、Guo 等在混合条件下只得到速度类结论，未判定两个逃逸事件的概率。
环境测度 @@M@@Q@@ 需满足三条：(i) 平稳遍历（stationary ergodic）——平移不变且平移不变事件平凡；(ii) 一致椭圆（uniform ellipticity）——几乎所有环境中每步转移概率 @@M@@\omega(x,e)\ge\kappa>0@@；(iii) 有限程依赖——对 @@M@@\ell^\infty@@ 距离超过固定 @@M@@R@@ 的任意确定性集合 @@M@@A,B@@（包括无穷集合），由转移行生成的 @@M@@\sigma@@-域 @@M@@\mathcal F_A@@ 与 @@M@@\mathcal F_B@@ 独立。主定理：在此假设下，对每个固定 @@M@@\ell\in\mathbb R^d\setminus\{0\}@@（方向可无理），退火概率 @@M@@P_0(A_\ell)\in\{0,1\}@@。证明只直接使用平稳性与有限程独立性，不借助独立标签表示，也不附加速度或再生时间矩条件。
全文用反证法排除”两个相反符号以正概率共存”。先在固定方向上构造独立的再生段（regeneration pieces）：以新的高度记录结尾、此后路径永不再下穿该高度的有路径段；在”永不回退”条件下它们独立同分布，这说明正概率逃逸时两个符号穷尽。有限程依赖带来两个 iid 情形没有的障碍：不相交的路径可能使用相关的行，而已观察的路径会改变附近未观察行的条件分布。绕行的办法是把每个转移拆成两个固定权重的”标记”选择与一个剩余选择：一段预先写好的固定权重脚本不需要任何行信息就能走出依赖范围，把路径送进一片行真正独立的区域，在那里接上不再回落的延续；不同脚本互不重叠，保证再生段有唯一的拼接法则，端点处的条件化靠枚举有限前缀完成。接着证明共存迫使再生段有有限平均空间半径：一次很大的横向偏移会在倾斜方向产生新记录，用一张倾斜超平面和一个短标记连接器就能拼接一段反向符号的延续；反复构造会在互不相交的窗口内放入一致正概率，与游走最终方向上确界的分布矛盾。半径界进而给出两条相反的确定性极限射线，把一般实方向化归为坐标方向。最后把正、负两列独立再生段放入”对置排布”（opposed arrangement），接触（contact）指两条排布路径的出发格点距离不超过 @@M@@R@@；公共再生高度把排布切成独立同分布的块。上界一边用桥（bridge，即按指定总宽条件化的再生段串）作比较、以有限空间矩控制侧向位移的熵，得到接触统计 @@M@@m(J)=O(J/\log J)@@；下界一边用端点对齐与后验概率向量鞅（其运行最大值之和在端点个数的对数尺度上有指数尾），并把被停止的路径边缘律跨过”活动行间隙”转移，得到 @@M@@m(J)\ge cJ/\log\log J@@。两个界不相容，矛盾完成证明。
本文暂无形式化证明，请以社区核验为准。它与族内另两篇姊妹作互为支撑：作者明确说明本文沿用 iid 严格椭圆姊妹篇的”半径—接触”架构并完成有限程环境所需的全部改造；而弹道性一篇的推论又以严格椭圆 0-1 律为输入把”正概率瞬态”升级为”概率 1”。按 OpenAI 官方声明，未经形式化的结果可能有问题，本篇结论宜待同行评审与独立核验。
问 1：证明中最脆弱的一步是哪里？
（答：最后的不相容夹逼。接触统计上界为 J 比 log J 阶（桥比较加熵控制），下界为 J 比 log log J 阶（端点对齐、后验鞅向量与切平均论证，其中间隔参数 G 取 log log J 尺度）。二者只在渐近意义下矛盾——中间那半个对数的缝隙正是证明得以闭合的地方；上界熵估计或 G 的选取任何一处失准，矛盾就消失。）
问 2：有限程依赖为什么不能放宽到多项式混合？
（答：Bramson–Zeitouni–Zerner 已构造出平稳、多项式混合、一致椭圆环境中双向正概率逃逸的例子，说明混合足够慢时结论必假；有限程恰是安全分界线。本文证明只用平稳性与有限程独立性——题设中的遍历性实际未被直接动用。）
问 3：维度为何要求至少三？
（答：二维情形 Zerner–Merkl 已解决，靠的是平面上两条反向路径必然相交的平面几何；高维中该几何失效。本文的”半径—接触”架构（再生段有限平均半径、对置排布接触计数）正是为绕开相交几何而造的高维替代。）
问 4：与已有工作相比真正的新意是什么？
（答：此前只有符号并零一律（Kalikow、Sznitman–Zerner 的再生表述）；相依环境下 Comets–Zeitouni 等只得到速度类结论。本文首次在相依环境判定单一方向概率，且不附加速度或再生时间矩条件，也不把环境表成独立标签。）
问 5：AI 生成证明最可能出错的模式？
（答：再生段的构造依赖”用未来选端点”的条件化，须靠枚举有限前缀补正——次序错误极隐蔽；把每次转移拆成固定权重标记选择与剩余选择、让预写脚本不耗行信息走出依赖范围，这一新构造的拼接唯一性声明是审稿重点；末章对 log log 尺度的常数簿记亦属易错区。）
问 6：无理方向是如何归约的？
（答：先证坐标方向不共存，再用半径界得出相反的确定性极限射线，把任意实方向化归到坐标情形。若这步归约不严格，定理只对有理方向成立。）
问 7：谁会用到它？
（答：弹道性姊妹篇以零一律为输入把”正概率瞬态”升级为”概率一”；它同时为 RWRE 理论划出依赖性门槛：有限程之内零一律成立，多项式混合之外有反例。）
总评
把方向零一律推到有限程依赖这条自然边界，方法上”标记分离加对置排布接触计数”是为相依环境新造的器械；最大风险在最后夹逼的对数尺度簿记与再生段条件化细节，未经形式化前应视为待核验。