[論文レビュー] 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² 上の指数分布重みをもつ最後の通過時間パーコレーション（LPP）について、繰り返し対数法則を確立し、スケーリングされた通過時間の揺らぎのlim inf がほとんど確実に −C₄(log log n)¹ᐟ³ のオーダーでスケーリングされることを証明する。点対線の通過時間はラゲール正規直交系（LOE）を介して再解釈され、β-ラゲール固有値の鋭い下尾確率の下界が得られ、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).

研究の動機と目的

• 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型の議論を用いて最終結果を確立し、鋭い尾確率下界を活用して lim inf のスケーリングを証明する。

実験結果

リサーチクエスチョン

• RQ1 Z² 上の指数分布LPPにおける最後の通過時間 Tₙ の下側尾部揺らぎの正しいスケーリングは何か？
• RQ2 レドゥの予想に従い、(Tₙ − 4n)/n¹ᐟ³ の lim inf は (log log n)¹ᐟ³ のオーダーにスケーリングするか？
• RQ3 中程度偏差領域における指数と一致する、β-ラゲールアンサンブルの最大固有値に対する鋭い下尾確率下界を確立できるか？
• RQ4 点対線LPPと点対点LPPの間の確率的順序関係をどのように活用し、lim inf 分析における劣加法性の制限を克服できるか？

主な発見

• 本稿は、ある C₄ > 0 に対して、lim infₙ→∞ (Tₙ − 4n)/(n¹ᐟ³ (log log n)¹ᐟ³) = −C₄ がほとんど確実に成り立つことを証明し、レドゥの予想における下側逸脱の正しいスケーリングを確認する。
• 新しい下尾確率下界が確立された：すべての n > n₀ および x ∈ (1, n²ᐟ³) に対して P(Tₙ* ≤ 4n − x n¹ᐟ³) ≥ exp(−c₀x³) が成り立ち、指数 c₀x³ において最適である。
• LOE₂ₙ₋₁ の最大固有値は Tₙ* と同一分布をもつため、LPP と確率的行列理論との間の重要な接続が得られる。
• 劣加法性の問題を回避するために、点対点時間から点対線時間に移行し、点対点時間によって確率的に支配されるため、より鋭い尾確率推定が可能になる。
• β-ラゲールアンサンブルの下尾確率下界はすべての β ≥ 1 に対して有効であり、レドゥとライダーによる β-ヘルミートアンサンブルの結果を拡張する。
• この手法により、LOE固有値の左尾における大偏差確率の下界が得られ、e⁻ᶜε²βmn のオーダーで減少するが、これは中程度偏差下界ほど強くはないが、依然として非自明である。