[論文レビュー] Asymptotics for $2D$ Critical First Passage Percolation

Michael Damron, Wai‐Kit Lam+1 more|arXiv (Cornell University)|May 28, 2015

Stochastic processes and statistical mechanics参考文献 16被引用数 3

ひとこと要約

本稿は、$F(0) = p_c = 1/2$ を満たす i.i.d. 辺重みを有する2次元臨界最初の通過時間確率過程における通過時間の漸近的挙動について、鋭い条件を確立する。最初の通過時間確率過程と侵入確率過程の間の新しい接続を導入し、通過時間の成長が侵入クラスタ内に制約された最適パスの成長と一致することを示す。主な結果は、張とケーセンの長年の予想を解決し、最小のモーメント仮定の下で中心極限定理を証明するとともに、平均または分散が発散するかどうかの条件を特定する。

ABSTRACT

We consider first-passage percolation on $\mathbb{Z}^2$ with i.i.d. weights, whose distribution function satisfies $F(0) = p_c = 1/2$. This is sometimes known as the "critical case" because large clusters of zero-weight edges force passage times to grow at most logarithmically, giving zero time constant. Denote $T(\mathbf{0}, \partial B(n))$ as the passage time from the origin to the boundary of the box $[-n,n] imes [-n,n]$. We characterize the limit behavior of $T(\mathbf{0}, \partial B(n))$ by conditions on the distribution function $F$. We also give exact conditions under which $T(\mathbf{0}, \partial B(n))$ will have uniformly bounded mean or variance. These results answer several questions of Kesten and Zhang from the '90s and, in particular, disprove a conjecture of Zhang from '99. In the case when both the mean and the variance go to infinity as $n o \infty$, we prove a CLT under a minimal moment assumption. The main tool involves a new relation between first-passage percolation and invasion percolation: up to a constant factor, the passage time in critical first-passage percolation has the same first-order behavior as the passage time of an optimal path constrained to lie in an embedded invasion cluster.

研究の動機と目的

• 時間定数が $F(0) = p_c = 1/2$ のために消える2次元臨界最初の通過時間確率過程における通過時間挙動に関する未解決の問題を解消すること。
• 通過時間 $T(\mathbf{0}, \partial B(n))$ の平均または分散が $n \to \infty$ の際に一様に有界または発散するかどうかの正確な条件を特定すること。
• 張の予想である $\sup\{a > 0 : \rho(F_a) < \infty\}$ が有限であるという仮説を反証し、任意に小さい $a > 0$ に対し $\rho(F_a) < \infty$ がほとんど確実に成り立つことを示すこと。
• 分散が発散する場合の通過時間に対して、最小のモーメント仮定の下で中心極限定理を確立すること。

提案手法

• 最初の通過時間確率過程と侵入確率過程との間の結合を導入し、通過時間の成長が侵入クラスタ内での最適パスの成長と定数倍の違いを除いて一致することを示す。
• 空間の二重分解を用い、$\mathbf{0}$ および $x$ を中心とする半径 $2^{q-1}$ の2つの互いに素なボックスの境界への最初の通過時間を合算した $Y(x)$ を定義する。
• 通過時間のランダムクラスタ $\mathcal{C}_{q+2}$ への推定値を用いて、$|T(\mathbf{0},x) - Y(x)|$ の差を制限する。このクラスタは侵入クラスタの影響を捉える。
• 誤差項のモーメントの上限を Lemma 5.10 および Lemma 5.14 を用いて適用し、測地線時間と境界時間の差の $L^r$-ノルムを制御する。
• 互いに素なボックス内の通過時間の独立性を活用し、分布収束を導出し、条件 $\sum_{k=2}^\infty [F^{-1}(p_c + 2^{-k})]^2 = \infty$ の下で中心極限定理を確立する。
• 逆分布関数 $F^{-1}(p_c + 2^{-k})$ を、辺重みの尾部挙動を特徴づける主要なスケールパラメータとして用い、平均および分散の発散の必要十分条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 辺重み分布 $F$ に対して、$n \to \infty$ の際に通過時間 $T(\mathbf{0}, \partial B(n))$ の平均または分散が一様に有界となる条件は何か？
• RQ2 張の予想である $\sup\{a > 0 : \rho(F_a) < \infty\}$ が有限であるかどうか。あるいは、任意に小さい $a > 0$ に対し $\rho(F_a) < \infty$ がほとんど確実に成り立つか？
• RQ3 通過時間 $T(\mathbf{0}, \partial B(n))$ が中心極限定理を満たすのはいつか？また、必要な最小のモーメント仮定は何か？
• RQ4 臨界最初の通過時間確率過程における通過時間の成長は、侵入確率過程とどのように関係するか？

主な発見

• 通過時間 $T(\mathbf{0}, \partial B(n))$ の平均が一様に有界であるための必要十分条件は $\sum_{k=2}^\infty [F^{-1}(p_c + 2^{-k})] < \infty$ であり、平均が有界であるための鋭い条件を提供する。
• 通過時間の分散が一様に有界であるための必要十分条件は $\sum_{k=2}^\infty [F^{-1}(p_c + 2^{-k})]^2 < \infty$ であり、分散が有界であるための明確な基準を確立する。
• 張の予想である $\sup\{a > 0 : \rho(F_a) < \infty\}$ が有限であるという仮説は反証された。任意の $a > 0$ に対して、$\rho(F_a) < \infty$ がほとんど確実に成り立ち、$a \to 0^+$ のときでさえも成り立つ。
• 条件 $\sum_{k=2}^\infty [F^{-1}(p_c + 2^{-k})]^2 = \infty$ の下で、通過時間は中心極限定理を満たす：$\|x\|_\infty \to \infty$ のとき $\frac{T(\mathbf{0},x) - \mathbb{E}[T(\mathbf{0},x)]}{\operatorname{Var}(T(\mathbf{0},x))^{1/2}} \Rightarrow N(0,1)$ が成り立ち、最小のモーメント仮定の下で成立する。
• $T(\mathbf{0},x)$ の漸近的分散について、$\frac{\operatorname{Var}(T(\mathbf{0},x))}{\operatorname{Var}(T(\mathbf{0},\partial B(2^{q(x)})))} \to 2$ が $\|x\|_\infty \to \infty$ のとき成り立ち、普遍的なスケーリング挙動を示す。
• 主な技術的進展は、臨界最初の通過時間確率過程における通過時間の成長が、定数倍の違いを除いて侵入クラスタ内に制約された最適パスに支配されることを証明したことであり、これにより厳密な漸近的解析が可能になった。