结果族 212：Planar first-passage geometry and the absence of bigeodesics · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
把一座城市每条道路的拥堵程度随机指定，司机自然想知道任意两点之间哪条路最快。这篇论文研究一个更刁钻的问题：会不会存在一条两头都无限延伸的”永远最快”之路——它途经的每一段，都是那段起止点间的最快选择？结论是：在平面方格路网上，这样的路几乎必然不存在。
关键词卡片
看个具体例子
图中从起点 0 到终点 A，红色路径总耗时 2+1+3+1+2+1=10，是所有走法中最省的，它就是一条测地线。定理说的是更强的”全场否定”：几乎必然不存在任何一条向两头无限延伸、且每一段都拿到这种”最快认证”的路线——连例外方向也不许依赖随机路况。证明的卡点正在于量词交换：对每个固定方向成立，不等于对所有随机可选的方向同时成立。
为什么值得关心
这是 Furstenberg 时代遗留、由 Damron–Hanson 表述的平面无测地线猜想，在四条独立边权最小值二阶矩有限这一温和条件下的完全解决，且不需要对极限形状作任何正则性假设。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读用”随机拥堵的路网里找最快路线”打比方。翻译一下：对象是方格网，每条边被独立赋予一个非负的”通行时间”；基本操作是在两点之间找总时间最小的路径。”永远最快之路”就是一条向两头都无限延伸的路径，它的每一段有限片段都拿到”最快认证”。定理要否定的是这种路径的存在。
第二级台阶
精确化三个概念。首达渗流：给 @@M@@\mathbb{Z}^2@@ 最近邻边独立赋同分布非负权 @@M@@t_e@@，两点通行时间 @@M@@T(x,y)@@ 取所有有限路径成本的下确界；取到下确界的路径叫测地线；两端都无限、且任意有限段都测地的顶点序列 @@M@@(v_i)_{i\in\mathbb{Z}}@@ 叫双无穷测地线。研究它的标准工具是 Busemann 函数：沿一条射线 @@M@@p@@ 取极限 @@M@@B_p(x,y)=\lim(T(x,p_j)-T(y,p_j))@@，它有线性渐近泛函 @@M@@\rho_p@@，称为该射线的标签。
第三级台阶
定理在这样的语境下陈述：设权律 @@M@@G@@ 无原子，且四个独立样本的最小值满足 @@M@@\EE[\min\{X_1,\dots,X_4\}^2]<\infty@@，则在一个概率为一的事件上，同时不存在任何双无穷测地线——端方向可以依赖随机环境。两条假设各挡一种麻烦：无原子挡住”并列最省”造成的路径不唯一；最小值二阶矩挡住绕行论证里增益失控，它比”边权有期望”弱得多，允许 @@M@@\EE t_e=\infty@@。结论对极限形状的可微性、严格凸性、曲率一概不作要求，这正是与以往工作的分水岭。
在边权独立同分布、非负、无原子且四条独立边权最小值二阶矩有限的条件下，证明了平面首达渗流几乎必然不存在任何双无穷测地线，一举解决该条件下的平面无测地线猜想，且完全不需要极限形状的正则性假设。
首达渗流（first-passage percolation）由 Hammersley 与 Welsh 于 1965 年引入：给 @@M@@\mathbb{Z}^2@@ 的每条最近邻边独立赋非负通行时间，两点间通行时间 @@M@@T(x,y)@@ 取一切路径成本的下确界。实现下确界的路径叫测地线（geodesic）；两头无限延伸且任意有限段均测地的路径叫双无穷测地线（bigeodesic）。随机度量中是否含双无穷测地线，是 Furstenberg 提出、由 Kesten 转述的老问题，Damron–Hanson 将其表述为平面猜想：连续边权下它几乎必然不存在。此前进展各有代价：Licea–Newman 的方向聚合只排除满测度确定性集合指定的端方向；Newman、Damron–Hanson、Alexander 等的结果需要曲率、可微性或涨落估计。真正的卡点是量词交换：对每个固定方向几乎必然成立，不等于对环境依赖的例外方向同时成立，而双无穷测地线恰恰可能选中这种随机方向。
主定理：设边权法律 @@M@@G@@ 无原子，且独立样本满足 @@M@@\EE[\min\{X_1,X_2,X_3,X_4\}^2]<\infty@@，则几乎必然不存在成对相异的顶点序列 @@M@@(v_i)_{i\in\mathbb{Z}}@@，使对一切 @@M@@i<j@@ 都有 @@M@@\sum_{k=i}^{j-1}t_{\{v_k,v_{k+1}\}}=T(v_i,v_j)@@。即在一个概率一的事件上同时排除全部双无穷测地线，端方向可以依赖环境。结论对 @@M@@G@@ 十分宽容：允许奇异连续分布、有界支撑，甚至 @@M@@\EE t_e=\infty@@；对极限形状（limit shape）不作可微、严格凸或曲率假设。作者明言这是该矩条件下的正面解答，不涵盖完全无矩的表述。
先立结构：每条射线（ray）@@M@@p@@ 都有 Busemann 函数 @@M@@B_p(x,y)=\lim_{j\to\infty}(T(x,p_j)-T(y,p_j))@@，且带线性渐近泛函 @@M@@\rho_p@@，称为标签（label）；双无穷测地线两端标签相反。以 Ahlberg–Hoffman 结构理论为输入：固定标签的射线族唯一、聚合且向后有限，由此先排除一切确定性标签。经可数归约，只需处理上标签落在对偶单位圆一个紧扇区内的情形，用水平坐标 @@M@@r@@ 排序，记扇区宽度为 @@M@@W@@。
核心是一个”标签预算”矛盾。在间距 @@M@@l@@ 的水平网格上标记格点：若被选中的双无穷测地线在有限加重的环境中获得至少 @@M@@M@@ 的额外成本，且相邻标记的标签同落一个小区间，则与区间端点标签处的基准射线比较，Busemann 增量沿直线望远镜式相消，得 @@M@@Mq\le lW@@，@@M@@q@@ 为单点标记概率。该论证只用到各点边际概率相等，完全不需要标记间独立。
要引爆矛盾，需构造 @@M@@q@@ 有正下界、@@M@@l@@ 固定而 @@M@@M@@ 任意大的标记，难点有二。其一，抬高边权后如何保住标记：在每点周围加宽区域内抬高有限条边，替换尺度取 @@M@@\delta_h=\eta/((h+2)\log(h+2))@@，使 @@M@@\sum h\delta_h^2@@ 收敛（换律总误差一致小，即 Bates–Chatterjee 的有界密度扰动技巧），而 @@M@@\sum\delta_j@@ 发散保证路径增益可任意大；路径须从加重后的环境中选出，条件化后隐藏抬升呈显式乘积律，由此 @@M@@q\ge p/8@@。其二，如何不加大间距就分开标签：关键断言是同标签的双无穷测地线共享同一对 Busemann 函数。例外标签在每个环境至多可数；独立重采样互补半平面，把射线平移过远处切口而保持标签与例外见证，可数性与独立性迫使例外标签在另一端聚合，再以一边重采样版预算加有限树计数排除分叉。随后让所有格点共享同一组抬升样本，取两个个体环境的并：若两标记点标签相同，其公共 Busemann 对会在并度量中造出一条额外成本任意小的绕行，回到另一个体度量后严格便宜于所选测地线，矛盾；故不同标记点标签必不同。最后细化标签分割以分开相邻标记，损失概率随加细趋于零；此后才令 @@M@@M@@ 增大，与预算 @@M@@Mq\le lW@@ 矛盾。
本文主结果暂无形式化证明，请以社区核验为准；结构输入取自 Ahlberg–Hoffman 已发表理论，附录中的边界比较取代了原本需要额外可积性的期望步骤。姊妹篇证明指数权极限形状严格凸且 @@M@@C^1@@、Gamma 权时间常数范数可微，与本文互补：那篇把方向固定的测地线结构收缩到单一方向，本文则不依赖任何形状正则性而同时排除所有双无穷测地线。按 OpenAI 官方声明，未经形式化的结果可能有问题，本文结论宜以社区核验为准。
问 1：证明中最关键、最脆弱的一步是哪里？
答：是”标签预算”不等式 @@M@@Mq\le lW@@（标签预算命题）。在间距 @@M@@l@@ 的网格上标记格点，若被选中的双无穷测地线在有限加重环境中获得至少 @@M@@M@@ 的额外成本，Busemann 增量沿直线望远镜式相消后，成本只能记在标签扇区宽度 @@M@@W@@ 的账上，@@M@@q@@ 是单点标记概率。该步只用各点边际概率相等、不需标记独立，设计得干净；但整个矛盾依赖”构造 @@M@@q\ge p/8@@ 且 @@M@@l@@ 固定而 @@M@@M@@ 任意大的标记”，其中条件化后隐藏抬升呈显式乘积律的换律计算是最可能出细节差错的地方。
问 2：矩条件为什么不能去掉？”四条边最小值”是什么来头？
答：论文明言只解决该矩条件下的猜想、不主张无矩表述。假设放在 @@M@@\min\{X_1,\dots,X_4\}@@ 而非 @@M@@t_e@@ 上，是因为抬升与增益论证只经每点近邻的若干条边起作用，四恰与 @@M@@\mathbb{Z}^2@@ 每个顶点的最近邻边数相配；这使 @@M@@G@@ 可以奇异连续、有界支撑甚至 @@M@@\EE t_e=\infty@@。
问 3：与已有工作相比，真正的新意是什么？
答：此前的排除要么只对确定性满测度方向集（Licea–Newman），要么需要局部可微（Damron–Hanson）、指数矩加曲率加涨落估计（Alexander），或只覆盖固定方向构造出的极限图（Brito–Damron–Hanson）。本文在无任何形状正则性假设下，在一个概率一事件上同时排除所有双无穷测地线，允许端方向依赖环境——这正是引言里点明的量词交换难点。
问 4：AI 生成证明最可能在哪里出错？
答：处理”随机例外标签”的一串引理风险最大：同标签双无穷测地线共享同一对 Busemann 函数的推论，依赖互补半平面独立重采样把射线平移过远处切口而保持标签与例外见证，再靠可数性加独立性排除分叉。这里隐含着”不可数个固定标签事件不能直接求交”的陷阱，任何一步把例外集当成可数固定集处理都会悄悄失效。此外换律密度全部相对原边律（含奇异律）计算，系数错误不易察觉。
问 5：为什么 Ahlberg–Hoffman 结构理论不够用？
答：他们的理论给每条射线配线性渐近 Busemann 函数，并对每个固定泛函给出唯一性、聚合与向后有限——但都是”每个固定标签各自概率一”。双无穷测地线若存在，恰好可能选中依赖环境的例外标签，绕开所有固定标签结论；本文必须直接处理随机泛函。
问 6：谁会用到这个结果？
答：它解决了 Damron–Hanson 表述的平面无测地线猜想（矩条件下），与姊妹篇（指数权极限形状严格凸且 @@M@@C^1@@、Gamma 权时间常数可微）互补成对；测地线森林无分叉、树状结构及随机度量几何的研究可直接引用。
总评
这是平面首达渗流一个老猜想的干净解决：假设弱、结论是全场否定，分量十足；最大风险藏在换律扰动与随机标签转移这类”概率一行、验证一页”的细节里，未经形式化核验前宜保持谨慎。