[論文レビュー] Speed of convergence in first passage percolation and geodesicity of the average distance

Romain Tessera|arXiv (Cornell University)|Oct 7, 2014

Stochastic processes and statistical mechanics参考文献 14被引用数 12

ひとこと要約

本稿は、Talagrandの部分ガウス型濃縮不等式が、$ℤ^d$のカイリー群上の第一通過時間確率的過程における極限形状定理を示すことを初等的に示している。収束速度は$≈ \left(\frac{\log n}{n}\right)^{1/2}$であり、Alexanderの境界をわずかに改善している。この手法の根幹は、平均距離$¯{d}$が強く漸近的に測地的であることを示すことであり、$¯{d}$の収束速度とその測地的性質との間の明確な同等性を確立している。

ABSTRACT

We give an elementary proof that Talagrand's sub-Gaussian concentration inequality implies a limit shape theorem for first passage percolation on any Cayley graph of Z^d, with a bound on the speed of convergence that slightly improves Alexander's bounds. Our approach, which does not use the subadditive theorem, is based on proving that the average distance is close to being geodesic. Our key observation, of independent interest, is that the problem of estimating the rate of convergence for the average distance is equivalent (in a precise sense) to estimating its "level of geodesicity".

研究の動機と目的

• Cayley群$ℤ^d$上の第一通過時間確率的過程に対して、収束速度を改善した定量的極限形状定理を確立すること。
• 平均距離$¯{d}$が強く漸近的に測地的であることを示すこと、すなわちスケールが大きくなるにつれて、$¯{d}$が測地的距離に類似した振る舞いを示すこと。
• $¯{d}$の極限ノルムへの収束速度が、その測地的性質と正確に同等であることを示すこと。
• 部分加法的エルゴード定理に依存せず、濃縮と幾何的制御に基づく自己完結的な証明を提供すること。

提案手法

• Talagrandの部分ガウス型濃縮不等式を用いて、平均$¯{d}$の周りでの確率的距離$d_\omega$の変動を制御する。
• 平均距離$¯{d}$のための強漸近的測地的性質（SAG）の定義と分析を行い、それが測地的経路をどの程度正確に近似するかを定量化する。
• $¯{d}$の収束速度とSAG性質との間の明確な同等性を確立し、主問題を測地的偏差の推定に還元する。
• 重み分布$ν$に指数モーメントと下限付きの仮定を課した下で、平均距離$¯{d}$がSAGを満たすことを証明する。
• 離散的経路$ℤ^d$と$Ω^d$内の連続的測地線との間の幾何的近似を用い、誤差項を関数$φ(\alpha)$で制御する。
• Stirlingの公式に基づく摂動論法と経路数え上げを用いて、異常に短い経路の確率を抑え、$¯{d}$の下界を得る。

実験結果

リサーチクエスチョン

• RQ1 第一通過時間確率的過程のスケーリングされた球が$ℤ^d$における極限形状に収束する際の最適な収束速度は何か？
• RQ2 平均距離$¯{d}$の収束速度は、その測地的性質とどのように関係しているか？
• RQ3 部分加法的エルゴード定理に依存せずに極限形状定理を証明できるか？
• RQ4 大規模極限において、平均距離$¯{d}$はどの程度測地的距離に類似しているか？
• RQ5 重み分布$ν$にどのような条件を課すと、$¯{d}$がグラフ距離$d$と双リプシッツ同値になるか？

主な発見

• 本稿は、$ℤ^d$上での第一通過時間確率的過程における極限形状定理の収束速度を$≈ \left(\frac{\log n}{n}\right)^{1/2}$に確立し、Alexanderの$O(n^{1/2}\log n)$の境界をわずかに改善した。
• 平均距離$¯{d}$が強く漸近的に測地的（SAG）であることが示され、大規模な距離では$¯{d}$-測地線が$Ω^d$内の直線路をよく近似することを意味する。
• $¯{d}$の極限ノルムへの収束速度が、その測地的性質と正確に同等であることが示され、収束速度と測地的性質の間の深い双対性が確立された。
• 指数モーメントと$ν(\{0\}) < 1/k$（次数$k$）の仮定の下で、ある$a > 0$が存在し、$¯{d}(x,y) \geq a d(x,y)$が成り立つことが示され、グラフ距離と双リプシッツ同値であることが保証された。
• 証明は自己完結的であり、部分加法的エルゴード定理に依存せず、濃縮不等式と経路数え上げの議論に依拠している。
• Stirlingの公式を用いた確率的経路数え上げの議論により、$¯{d}$の下界が導出され、異常に短い経路が指数的にまれであることが示された。