[论文解读] Lower Deviations in $\beta$-ensembles and Law of Iterated Logarithm in Last Passage Percolation

Riddhipratim Basu, Shirshendu Ganguly+2 more|arXiv (Cornell University)|Sep 3, 2019

Random Matrices and Applications参考文献 16被引用 5

一句话总结

本文建立了在 Z² 上具有指数权重的最后通过时间渗流的迭代对数定律，证明了缩放通过时间波动的 lim inf 几乎必然地以 −C₄(log log n)¹ᐟ³ 的速率缩放。通过将点到线的通过时间重新解释为拉盖尔正交系族（LOE），作者推导出 β-拉盖尔特征值的尖锐下尾偏差界限，从而解决了 Ledoux 关于 KPZ 普适类中下偏差正确缩放的猜想。

ABSTRACT

For the last passage percolation (LPP) on $\mathbb{Z}^2$ with exponential passage times, let $T_{n}$ denote the passage time from $(1,1)$ to $(n,n)$. We investigate the law of iterated logarithm of the sequence $\{T_{n}\}_{n\geq 1}$; we show that $\liminf_{n o \infty} \frac{T_{n}-4n}{n^{1/3}(\log \log n)^{1/3}}$ almost surely converges to a deterministic negative constant and obtain some estimates on the same. This settles a conjecture of Ledoux (J. Theor. Probab., 2018) where a related lower bound and similar results for the corresponding upper tail were proved. Our proof relies on a slight shift in perspective from point-to-point passage times to considering point-to-line passage times instead, and exploiting the correspondence of the latter to the largest eigenvalue of the Laguerre Orthogonal Ensemble (LOE). A key technical ingredient, which is of independent interest, is a new lower bound of lower tail deviation probability of the largest eigenvalue of $\beta$-Laguerre ensembles, which extends the results proved in the context of the $\beta$-Hermite ensembles by Ledoux and Rider (Electron. J. Probab., 2010).

研究动机与目标

• 解决 Ledoux 关于 Z² 上指数权重最后通过时间渗流（LPP）中下尾波动正确缩放的猜想。
• 建立 (1+1) 维 KPZ 普适类中缩放通过时间 Tₙ 的几乎必然 lim inf 行为。
• 推导出 β-拉盖尔系族最大特征值的新型下尾偏差概率界限，其指数最优且具有独立兴趣。
• 将点到线的 LPP 与拉盖尔正交系族（LOE）联系起来，并利用随机序关系，规避子加性在分析 lim inf 时的限制。

提出的方法

• 将分析从点到点的通过时间重构为点到线的通过时间，后者通过已知的分布恒等式对应于 LOE 的最大特征值。
• 利用 Tₙ*（点到线 LPP）与 LOE₂ₙ₋₁ 中最大特征值 λ₂ₙ₋₁ 的对应关系，将问题转化为随机矩阵理论的设定。
• 证明 β-拉盖尔系族的新型下尾中等偏差界限：对 x ∈ (1, n²ᐟ³)，有 P(Tₙ* ≤ 4n − x n¹ᐟ³) ≥ exp(−c₀x³)，且该界限在指数上最优。
• 使用类似于 Girsanov 变换的测度变换技术，将 β-拉盖尔测度与伽马测度的乘积进行比较，从而实现尾部概率的估计。
• 利用伽马随机变量之和的中心极限定理近似，控制变换后测度中偏差的可能性。
• 通过 0-1 概率律和 Borel-Cantelli 类似论证，结合尖锐的尾部界限，最终确立结果。

实验结果

研究问题

• RQ1 在 Z² 上的指数 LPP 中，最后通过时间 Tₙ 的下尾波动的正确缩放是什么？
• RQ2 如 Ledoux 所猜想，(Tₙ − 4n)/n¹ᐟ³ 的 lim inf 是否以 (log log n)¹ᐟ³ 缩放？
• RQ3 能否建立 β-拉盖尔系族最大特征值的尖锐下尾界限，使其在中等偏差区域的指数与猜想一致？
• RQ4 如何利用点到线与点到点 LPP 之间的随机序关系，克服子加性在 lim inf 分析中的限制？

主要发现

• 本文证明了：对某个 C₄ > 0，几乎必然有 lim infₙ→∞ (Tₙ − 4n)/(n¹ᐟ³ (log log n)¹ᐟ³) = −C₄，从而证实了 Ledoux 关于下偏差正确缩放的猜想。
• 建立了新的下尾偏差界限：对所有 n > n₀ 及 x ∈ (1, n²ᐟ³)，有 P(Tₙ* ≤ 4n − x n¹ᐟ³) ≥ exp(−c₀x³)，且指数 c₀x³ 为最优。
• LOE₂ₙ₋₁ 的最大特征值与 Tₙ* 同分布，为 LPP 与随机矩阵理论之间建立了关键联系。
• 该证明方法通过转向点到线的通过时间，避免了子加性问题，这些时间在分布上被点到点时间所支配，从而允许更精确的尾部估计。
• β-拉盖尔系族的下尾界限对所有 β ≥ 1 成立，并将 Ledoux 和 Rider 对 β-哈密顿系族的结果推广至 β-拉盖尔系族。
• 该方法还给出了 LOE 特征值左尾大偏差概率的下界，其衰减速度为 e⁻ᶜε²βmn，虽弱于中等偏差界限，但仍具非平凡性。