结果族 220：Directional zero–one laws beyond iid environments and iid ballisticity · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
还是路口红绿灯的城市，这一篇的条件更宽：只要求每个灯对所有方向都”理论可走”——概率严格为正，哪怕某个方向的绿灯短到只有亿万分之一秒。不需要任何统一的时间下界，也不需要任何矩条件，你朝任一方向走出城的概率依然非 0 即 1。
关键词卡片
@@M@@A_\ell=\{X_n\cdot\ell\to+\infty\}@@，路径在该方向上一去不返。看个具体例子
公式卡——假设与结论的数字对照（@@M@@d\ge 3@@）：
条件：@@M@@\mu(\,p(e)>0\ \forall e\,)=1@@（某方向概率仅 @@M@@10^{-9}@@ 也合格）
结论：@@M@@P_0(A_\ell)\in\{0,1\}@@
对比：旧定理需要一致椭圆 @@M@@\min_e p(e)\ge\kappa@@；本文把 @@M@@\kappa@@ 完全撤掉。打个比方：以前要求所有路口都保证”至少每分钟 10 秒绿灯”，现在只要”绿灯时间不为零”即可——尾巴拖得再长，全有全无律照样成立。
为什么值得关心
它把此前只有 Dirichlet 环境靠自身特有的反转恒等式才能处理的现象，推广成对一切 iid 严格正环境都成立的一般定理。值得强调：定理不要求漂移、可逆或任何矩条件，假设清单短得出人意料。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读仍在红绿灯之城，但规矩放宽：只要求每个灯对所有方向”理论可走”——概率严格为正，哪怕某方向绿灯短到近乎为零，也不设统一的绿灯时间下界。换成半数学语言：对象是格点上的游走者与每个格点独立同分布抽取的转移概率行；操作是重访同点即遇同一组概率地走下去。要问的还是：把环境平均后，朝某方向的逃逸概率能否落在零与一之间。
第二级台阶
用本科术语定义概念。独立同分布环境指各格点的转移行独立抽取、同分布，行内各分量不必独立；严格椭圆只要求几乎必然每个方向的概率严格为正，允许下确界为零，这与要求一致正常数下界的一致椭圆有实质差别；退火概率是先固定环境、再对环境平均得到的事件概率；方向逃逸事件指路径在该方向上的投影趋于正无穷。
第三级台阶
定理的语境：维度至少为三，行独立同分布，唯一假设是严格椭圆；方向为任意事先固定的非零实向量。严格正性挡住了游走落入单向陷阱、逃逸事件退化的麻烦；独立性挡住了混合环境下已知的双向逃逸反例；维度要求避开二维靠平面相交几何的既有论证。结论用这些话说：每个这样的方向上，退火逃逸概率只能取零或一；不附加漂移、可逆或任何矩条件——证明中用到的空间半径一阶矩是在两符号共存的反证假设下推导出来的，不是输入。
在 @@M@@\mathbb{Z}^d@@（@@M@@d\ge3@@）上的 iid 最近邻随机环境中，只要每个转移概率几乎必然严格为正——不设一致下界、不设任何矩条件——游走沿任一固定非零方向逃逸的退火概率就只能是 0 或 1：高维方向 0-1 猜想在严格椭圆条件下成立。
随机环境中的随机游走（RWRE）里，环境 @@M@@\omega@@ 给每个格点分配一个转移概率行（row），行按 iid 抽取。方向 0-1 问题问：退火概率 @@M@@P_0(A_\ell)@@（@@M@@A_\ell=\{X_n\cdot\ell\to+\infty\}@@）能否严格介于 0 与 1 之间。经典结果只覆盖符号并 @@M@@P_0(A_\ell\cup A_{-\ell})\in\{0,1\}@@（Kalikow 1981）。二维由 Zerner–Merkl（2001）解决，其后 Slonim（2024）推广到有界跳的平面情形；平面论证的本质是强迫反向路径相交，高维没有这种几何。Berger（2008）证明 @@M@@d\ge5@@ 时 iid 一致椭圆游走至多一个非零极限速度，但允许第二个”速度为零”，留下零速度下双向逃逸的空隙。Bramson–Zeitouni–Zerner（2006）的多项式混合反例则表明独立性是实质条件。Dirichlet 环境这一特殊非一致椭圆情形有 Sabot–Tournier、Bouchet、Tournier 的系列结果，但都依赖该分布特有的反转恒等式。本文对任意 iid 严格正的行证明一般定理。
假设只有严格椭圆（strict ellipticity）：@@M@@\mu(\{p:p(e)>0\ \forall e\in U\})=1@@，即每行每个方向的概率严格正但可任意接近零，无一致下界 @@M@@\kappa@@。定理：@@M@@d\ge3@@、行 iid、任意固定非零实方向 @@M@@\ell@@（可有理化无关），@@M@@P_0(A_\ell)\in\{0,1\}@@。不附加逆转移或对数矩、漂移、平衡、可逆、速度等任何条件；证明中”空间半径的一阶矩”是在假设两个符号都正概率的前提下推导出来的，并非输入。
没有一致下界，惯用的”一致 quenched 下界乘积”论证失效，全文靠两个新鲜行（fresh-row）论证替代：其一，有限宽板逃逸引理用常返格点试验与首次到达新列（承 Zerner–Merkl 的思路）；其二，从倾斜记录出发的脚本（script）使用成对互异、从未用过的行，其退火代价是正的行平均值的乘积。先反设 @@M@@0<P_0(A_\ell)<1@@。板逃逸加新鲜半空间再生首先证明两个逃逸符号几乎必然穷尽。在严格记录处——路径此后不再落到新高度之下——未来与过去因子分解；条件永不回退下再生段独立同分布，且平均高度宽有限，即使方向无理也成立（论文仔细区分实投影高度与整数记录指标）。第一步（半径命题）：共存迫使再生段有有限平均空间半径。一次超大的横向偏移会在倾斜方向造出新记录；从该记录出发的反向符号新鲜延续有与偏移尺度无关的正概率下界，这会给任意大的有限高度最大值以固定正概率，与其分布尾部矛盾。半径界在两个逃逸事件上给出相反的确定性极限射线（反对性由自足论证证明），从而化归为一个坐标方向的共存。然后取两列独立的坐标再生段做对置排布：正向段逐段以终点锚定自上而下放置，负向段按时间顺序向下放；公共高度边界把排布切成独立公共块；接触指两条排布路径从同一格点出发。上界：与指定高度的独立桥（bridge）比较，随机化块数并把侧向对齐代价经一段独立块转化为位移熵增量，在二进尺度上叠加，配合可求和的桥接触概率与相对熵界，得 @@M@@m(J)=O(J/\log J)@@。下界：把正桥按时间顺序看，在其随机端点下方启动负路径并搜索首触；对所有可能端点做联合界代价太高，改为端点后验概率的向量鞅——各可能端点的条件概率是退火鞅，其运行最大值之和有对数尺度上的指数尾；首触前缀先转移到共享环境再按 quenched 出口概率分类，后验函数留在未揭示环境的路径滤流中，从而端点对齐的代价得以控制。一大段无接触的二进高度区间强迫一个很晚的首触，在许多再生边界上应用该估计得到许多接触高度尺度，再用有限平均公共块宽度换算成块指标，得 @@M@@m(J)\ge cJ/\log\log J@@，与上界矛盾。
本文暂无形式化证明，请以社区核验为准。它是族内的架构源头：有限程依赖篇沿用本文的”半径—接触”策略并完成独立性改造，弹道性篇的推论直接引用本文把正概率瞬态升级为概率 1。按 OpenAI 官方声明，未经形式化的结果可能有问题，读者宜以同行评审与独立核验为准。
问 1：撤掉一致下界后，证明靠什么撑住？
（答：两个新鲜行论证顶替了失效的”一致 quenched 下界乘积”。其一，有限宽板逃逸引理用常返格点试验与首次到达新列（承 Zerner–Merkl 思路）；其二，从倾斜记录出发的脚本只用成对互异、从未用过的行，其退火代价是正的行平均值的乘积，与尺度无关地有正下界。这两处是全文技术地基。）
问 2：证明中最脆弱的环节是哪里？
（答：接触计数的对数尺度夹逼——上界 J 比 log J 阶靠桥比较与位移熵增量在二进尺度上叠乘，下界 J 比 log log J 阶靠端点后验向量鞅加首触前缀转移。两者只在渐近不相容，半个对数的余量是闭合的命门；后验鞅必须留在未揭示环境的退火滤流中才保有鞅性，滤流次序用错即塌。）
问 3：严格椭圆还能再弱吗？独立性为什么实质？
（答：若允许某方向概率为零，环境可造出单向陷阱，逃逸事件可以退化，零一律未必成立。独立性则有 Bramson–Zeitouni–Zerner 的多项式混合、一致椭圆反例：双向线性逃逸以正概率共存。严格椭圆加独立同分布已是该方法的自然边界。）
问 4：与 Dirichlet 环境的已有结果相比新意何在？
（答：Sabot–Tournier、Bouchet、Tournier 的非一致椭圆结论全部依赖 Dirichlet 分布特有的反转恒等式；本文对任意严格正行分布成立，只用路径平移。它同时补上 Berger 高维”至多一个非零速度”留下的零速度双向逃逸空隙，并以严格椭圆强化了 BZZ 开放问题三中一致椭圆的提法。）
问 5：无理方向带来什么额外麻烦？
（答：再生结构须仔细区分实投影高度与整数记录指标——无理方向的投影高度不落在整数格上，直接套用会错。证明还自足地证明两条确定性极限射线的反对性，因为 Simenhaus 等既有结果的假设（开集上瞬态）无法从单方向初始假设推出。）
问 6：AI 生成证明最可能出错的模式？
（答：再生段在”永不回退”条件下的独立同分布性与端点条件化是经典暗礁；对置排布中正段按终点锚定倒放、负段按时间正放的混合方向最易搞反；末章把高度尺度换算成块指标时的常数对齐属数值敏感区。）
问 7：谁会用到它？
（答：弹道性姊妹篇直接引用本文把正概率瞬态升级为概率一；有限程依赖篇沿用本文的半径—接触架构完成独立性改造；RWRE 理论中它把方向零一律的椭圆条件压到最弱。）
总评
以最弱椭圆条件解决高维方向零一猜想，fresh-row 论证是真正的技术贡献；最大风险在退火滤流上的鞅次序与末章对数尺度簿记，未经形式化前应按待核验对待。