[論文レビュー] First Passage Percolation with nonidentical passage times

Ghurumuruhan Ganesan|arXiv (Cornell University)|Sep 9, 2014

Stochastic processes and statistical mechanics参考文献 1被引用数 4

ひとこと要約

本稿は、$\mathbb{Z}^d$ 上の第一到達時刻確率論において、$p > 6(1+d)$ を満たす有界な $p$-次のモーメントを持つ独立で同一分布でない通過時間に対して、スケーリングされた第一到達時刻 $\frac{1}{n}(T(0,n) - \mathbb{E}T(0,n))$ がほとんど確実かつ $L^2$ 収束して 0 に収束することを確立する。主な貢献は、i.i.d. 通過時間のもとで $T(0,n)/n$ が定数 $\mu$ にほとんど確実に収束することを示したことであり、古典的結果をモーメント条件のもとで非 i.i.d. 情報に拡張した点にある。

ABSTRACT

In this paper we consider first passage percolation on the square lattice \(\mathbb{Z}^d\) with passage times that are independent and have bounded \(p^{th}\) moment for some \(p > 6(1+d),\) but not necessarily identically distributed. For integer \(n \geq 1,\) let \(T(0,n)\) be the minimum time needed to reach the point \((n,\mathbf{0})\) from the origin. We prove that \(\frac{1}{n}\left(T(0,n) - \mathbb{E}T(0,n) ight)\) converges to zero in \(L^2\) and use a subsequence argument to obtain almost sure convergence. As a corollary, for i.i.d. passage times, we also obtain the usual almost sure convergence of \(\frac{T(0,n)}{n}\) to a constant \(μ.\)

研究の動機と目的

• 非同一分布の通過時間分布のもとで、$\frac{1}{n}(T(0,n) - \mathbb{E}T(0,n))$ が 0 にほとんど確実かつ $L^2$ 収束することを確立すること。
• 第一到達時刻確率論における古典的ほとんど確実極限定理を、$p > 6(1+d)$ を満たす有界な $p$-次のモーメントを持つ非 i.i.d. 通過時間に拡張すること。
• モーメントバウンドと Borel-Cantelli 論法を用いて、経路長および通過時間の集中を厳密に分析すること。
• 複数の最小通過時間経路が存在する状況における経路選択の問題を、反復的手順によって解決すること。

提案手法

• 多くの辺を持つ経路が低通過時間を持つ確率を制御するために、モーメントバウンドと指数的尾部推定を用いる。
• チェビシェフの不等式と四次のモーメント制御を適用して、直接経路に沿った通過時間がその平均から逸脱する確率をバウンドする。
• $F_n = E_n^c \cap A_n$ という事象に Borel-Cantelli 論法を適用する。ここで $E_n$ は長大な経路が低通過時間を持つ事象であり、$A_n$ は直接経路の通過時間が平均に近い事象である。
• $X_l = \mathbb{E}(\hat{T}_n^{(n)} \mid \mathcal{F}_l) - \mathbb{E}(\hat{T}_n^{(n)} \mid \mathcal{F}_{l-1})$ というマルティングル・差分列を用いて、$T(0,n)$ の分散を分析する。
• コーシー＝シュワルツと条件付き確率バウンドを適用して、$\mathbb{E}X_l^2$ をエッジ $e_l$ が最小経路上にある確率を用いて制御する。
• 同一の最小通過時間を持つ複数の経路が存在する場合に一意な最小通過時間経路が選ばれるように、経路選択手続きを導入する。

実験結果

リサーチクエスチョン

• RQ1 有界な $p$-次のモーメント（$p > 6(1+d)$）を持つ非 i.i.d. 通過時間のもとで、$\frac{1}{n}(T(0,n) - \mathbb{E}T(0,n))$ はほとんど確実かつ $L^2$ で 0 に収束するか？
• RQ2 通過時間が i.i.d. であっても同一分布でない場合でも、$T(0,n)/n$ が定数 $\mu$ にほとんど確実に収束することは示せるか？
• RQ3 通過時間のモーメント条件のもとで、最小通過時間経路の長さとエッジ依存性の挙動はいかなるものか？
• RQ4 複数の経路が同じ最小通過時間を達成する場合、第一到達時刻確率論において経路の一意性をどのように保証できるか？
• RQ5 通過時間 $T(0,n)$ がその平均のまわりに集中するための十分なモーメント条件は何か？

主な発見

• 与えられたモーメントおよび尾部条件のもとで、スケーリング中心化通過時間 $\frac{1}{n}(T(0,n) - \mathbb{E}T(0,n))$ は $n \to \infty$ のとき $L^2$ 収束およびほとんど確実収束で 0 に収束する。
• i.i.d. 通過時間のもとで、$\frac{T(0,n)}{n}$ はほとんど確実かつ $L^2$ で正の定数 $\mu$（時間定数）に収束する。
• $r \geq \frac{8\mu}{\beta_1}k$ 個の辺を持つ任意の経路が通過時間 $\beta_1 r$ 未満である確率は、ある $\beta_2 > 0$ を用いて $e^{-\beta_2 k}$ のように指数的に減少し、これにより経路長の集中が保証される。
• モーメント条件のもとで、最小通過時間経路 $\pi_n$ の期待長さは $C_1 n^{1+\alpha}$ でバウンドされる（$C_1 > 0$、$\alpha < 1$）。
• マルティングル・差分分解を用いて $T(0,n)$ の分散を制御し、$\mathbb{E}(T(0,n) - \mathbb{E}T(0,n))^2 \leq C n^{2\alpha + 1}$（$C > 0$）が得られる。これにより、スケーリング中心化時間の $L^2$ 収束が導かれる。
• 反復的経路選択手順により、複数の経路が同じ最小通過時間を達成する場合でも、一意な最小通過時間経路が選ばれる。