[論文レビュー] 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² 上の指向付き最後到達時間パーコレーションの可解モデルにおいて、ほとんど確実に非自明な双方向無限地図（バイジオデシック）は存在しないことを証明している—自明な水平および垂直線のみが存在する。証明は、可解確率論からの中程度の偏差推定と、有限地図の合流に関する洗練された解析を組み合わせており、横方向ゆらぎ指数が 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² 上の方向付き最後到達時間パーコレーションの正確に解けるモデルにおいて、非自明な双方向無限地図が存在しないことを確立すること。
• 可解確率論から得られる正確な分布式と中程度の偏差推定を活用し、有限地図の合流構造を分析すること。
• 横方向ゆらぎ指数が 1/2 を超えることとバイジオデシックの非存在との間の関係を示すニューマンのヒューリスティックな議論を、厳密な基礎づけすること。
• 自明なバイジオデシック（水平および垂直線）のみがほとんど確実に存在することを示すことで、可解モデルにおける地図の幾何的性質を拡張すること。

提案手法

• 各頂点に i.i.d. Exp(1) 重みをもつ Z² 上の最後到達時間パーコレーションモデルを用い、上/右へのパスに沿った通過時間を定義する。
• 順序付き点 u ≼ v 間の通過時間 T_u,v を最大化する一意なパスとして地図 Γu,v を定義する。
• 可解確率論の文献からの中程度の偏差推定を適用し、中間高さにおける有限地図の横方向ゆらぎを制御する。
• 複数のスケールにわたる二分法的スケーリングのアプローチを用い、各スケールにおける大きな横方向ゆらぎの発生確率を分析する。
• 地図の平面的順序とバスマン関数に類似した推論を用いてパスを比較し、逸脱事象の確率を抑え込む。
• 二分スケールにおける境界をユニオンバウンドで統合し、ゆらぎパrameter x における指数的減衰を活用して、主要な結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 i.i.d. 指数分布の重みをもつ Z² 上の指向付き最後到達時間パーコレーションにおいて、非自明なバイジオデシックはほとんど確実に存在するか？
• RQ2 横方向ゆらぎ指数 ξ > 1/2 であることとバイジオデシックの非存在との間の関係を示すニューマンのヒューリスティックな議論が、可解モデルにおいて厳密に証明可能か？
• RQ3 可解確率論から得られる中程度の偏差推定は、有限地図の合流およびゆらぎ構造を制御するために果たす役割は何か？
• RQ4 有限地図の合流行動は、双方向無限地図の存在をどのように制限するか？
• RQ5 このモデルにおいて、自明な水平線 {x = i} および垂直線 {y = j}（i, j ∈ Z）のみがバイジオデシックであり得るか、もしそうならば、どのような確率的条件下で成立するか？

主な発見

• i.i.d. Exp(1) 重みをもつ Z² 上の指向付き最後到達時間パーコレーションにおいて、ほとんど確実に非自明なバイジオデシックは存在しない。
• 唯一のバイジオデシックは自明なものである：i, j ∈ Z に対して水平線 {x = i} および垂直線 {y = j}。
• 有限地図の横方向ゆらぎが、ゆらぎパrameter x に関して指数的に速く減少することが示された。尾確率は e^{-c x^{1/3}} のオーダーである。
• 証明により、(0,0) から (εn, n) への地図が高さ L で x(εL)^{2/3} 以上逸脱する確率が、x^{1/3} に関して指数的に減少することが分かった。
• 解析は二分スケール全体にわたって一様に成り立ち、n が二分スケールでない場合でも、[n/4, n/2] 内の区間への制限により結果が拡張可能である。
• 本手法は、ニューマンのヒューリスティックな議論を、可解確率論からの正確な中程度の偏差推定と組み合わせることで、厳密な証明に適応した成功例である。