[论文解读] Nonexistence of Bigeodesics in Integrable Models of Last Passage Percolation

Riddhipratim Basu, Christopher Hoffman+1 more|arXiv (Cornell University)|Nov 12, 2018

advanced mathematical theories被引用 9

一句话总结

该论文证明，在具有 i.i.d. 指数权重的 Z² 上定向最后通过渗流可积模型中，几乎必然不存在非平凡的双向无限测地线（双测地线）— 仅存在平凡的水平线和竖直线。证明结合了可积概率中的中等偏差估计与对有限测地线合并行为的精细分析，严格验证了 Newman 基于横向波动指数超过 1/2 的启发式论证。

ABSTRACT

Bi-infinite geodesics are fundamental objects of interest in planar first passage percolation. A longstanding conjecture states that under mild conditions there are almost surely no bigeodesics, however the result has not been proved in any case. For the exactly solvable model of directed last passage percolation on $\mathbb{Z}^2$ with i.i.d. exponential passage times, we study the corresponding question and show that almost surely the only bigeodesics are the trivial ones, i.e., the horizontal and vertical lines. The proof makes use of estimates for last passage time available from the integrable probability literature to study coalescence structure of finite geodesics, thereby making rigorous a heuristic argument due to Newman.

研究动机与目标

• 解决长期存在的猜想：在满足温和条件的平面首通渗流模型中，非平凡双测地线几乎必然不存在。
• 在具有 i.i.d. Exp(1) 权重的 Z² 上定向最后通过渗流的精确可解模型中，建立非平凡双向无限测地线的不存在性。
• 利用可积概率中的精确分布公式与中等偏差估计，分析有限测地线的合并结构。
• 为 Newman 将横向波动指数大于 1/2 与双测地线不存在性相联系的启发式论证提供严格的理论基础。
• 通过证明几乎必然仅存在平凡双测地线（水平线与竖直线），拓展对可积模型中测地线几何结构的理解。

提出的方法

• 使用 Z² 上 i.i.d. Exp(1) 权重的最后通过渗流模型，定义沿向上/向右路径的通过时间。
• 将测地线 Γu,v 定义为在有序点 u ≼ v 之间最大化通过时间 T_u,v 的唯一路径。
• 应用可积概率文献中的中等偏差估计，控制有限测地线在中间高度处的横向波动。
• 在多个长度尺度上采用二进制缩放论证，分析每个尺度上大横向波动的可能性。
• 利用测地线的平面排序性质与类似 Busemann 函数的推理，比较路径并界定偏差事件的概率。
• 通过并集界在二进制尺度上组合边界，利用波动参数 x 的指数衰减性质，得出主要结果。

实验结果

研究问题

• RQ1 在具有 i.i.d. 指数权重的 Z² 上定向最后通过渗流中，非平凡双测地线是否几乎必然存在？
• RQ2 在可积模型中，能否将 Newman 将横向波动指数 ξ > 1/2 与双测地线不存在性相联系的启发式论证严格化？
• RQ3 可积概率中的中等偏差估计在控制有限测地线的合并与波动结构方面起什么作用？
• RQ4 有限测地线的合并行为如何限制双向无限测地线的存在性？
• RQ5 在该模型中，平凡水平线与竖直线是否为唯一的双测地线，若是，其概率条件为何？

主要发现

• 在具有 i.i.d. Exp(1) 权重的 Z² 上定向最后通过渗流中，几乎必然不存在非平凡双测地线。
• 唯一的双测地线是平凡的：即水平线 {x = i} 与竖直线 {y = j}，其中 i, j ∈ Z。
• 有限测地线的横向波动被证明以指数速度衰减，尾部界限为 e^{-c x^{1/3}} 的量级。
• 证明表明，从 (0,0) 到 (εn, n) 的测地线在高度 L 处偏离超过 x(εL)^{2/3} 的概率随 x^{1/3} 指数衰减。
• 分析在二进制尺度上保持一致，且通过限制在 [n/4, n/2] 区间内，该结果可推广至非二进制 n。
• 该方法成功地将 Newman 的启发式论证与可积概率中的精确中等偏差估计相结合，实现了严格证明。