[論文レビュー] Monotonicity in first-passage percolation

Jean-Baptiste Gouéré|arXiv (Cornell University)|Feb 13, 2012

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

ひとこと要約

本稿は、$ \mathbb{Z}^d $ 上の第一到達時刻過程における期待第一到達時間 $ a(n) = \mathbb{E}[T(0, ne_1)] $ が $ n $ に関して非減少となる十分条件を確立する。補助的通過時間を用いた経路修正技法を用いて、$ 0 < S_- \leq S_+ \leq 2S_- $ のとき $ a(n) \geq a(n-1) + S_- \left[1 - \frac{(S_+ - S_-)^2}{S_-^2}\right] $ を証明し、有界な支持条件のもとで単調性が成立することを確認する。

ABSTRACT

We consider standard first-passage percolation on $\Z^d$. Let $e_1$ be the first coordinate vector. Let $a(n)$ be the expected passage time from the origin to $ne_1$. In this short paper, we note that $a(n)$ is increasing under some strong condition on the support of the law of the passage times on the edges.

研究の動機と目的

• 原点から $ ne_1 $ への期待第一到達時間 $ a(n) $ が $ n $ に関して非減少となる条件を確立すること。
• 特に高次元における通過時間の単調性に関する長年の予想を解決すること。
• 辺通過時間の分布に強い支持制約を課えたもとで、経路修正およびカップリング技法を用いた厳密な証明を提供すること。
• 一次元および平面的モデルにおける既知の単調性結果を一般の $ \mathbb{Z}^d $ に拡張すること。

提案手法

• 各 $ i $ に対して、$ H^i $ 上の辺では $ \tau^i(e) = 0 $、$ V^i $ 上の辺では $ \tau^i(e) = +\infty $ とし、それ以外では $ \tau(e) $ を保持するように変更された通過時間 $ \tau^i(e) $ を導入する。
• 経路修正戦略を用いる：各 $ i $ に対して、$ H^i $ を通る経路に再ルーティングすることで所要時間を短縮するが、$ V^i $ および $ V^{i+1} $ 上の時間増加を補正する。
• カップリングおよび条件付き期待値を用いて、$ \mathbb{E}[T^i(0, ne_1)] $ と $ \mathbb{E}[T(0, ne_1)] $ を比較し、$ T^i(0, ne_1) $ と $ T(0, (n-1)e_1) $ が同じ分布に従うことと対称性を活用する。
• $ i \in \{0, \dots, n-1\} $ について和を取ることで重要な不等式を導出し、$ na(n-1) \leq na(n) - nS_- \left[1 - \frac{(S_+ - S_-)^2}{S_-^2}\right] $ に至る。
• この手法を一般化し、$ \mathbb{E}[\tau(e)] $ を含むより一般的な条件を導出し、$ \left(\frac{a(n)}{nS_-} - 1\right)\left(\frac{\mathbb{E}[\tau(e)]}{S_-} - 1\right) \leq \frac{1}{2} $ が成り立つならば $ a(n) \geq a(n-1) $ を証明する。
• $ a(n)/n \to S_- $ が $ n \to \infty $ のとき成り立つことを利用し、$ S_+ $ が無限大であっても、$ n $ や $ d $ が十分に大きい場合には条件が満たされることを示す。

実験結果

リサーチクエスチョン

• RQ1 辺通過時間分布がどのような条件下で、期待第一到達時間 $ a(n) $ が $ n $ に関して非減少となるか。
• RQ2 一次元または平面的モデルの既知の結果を超えて、一般の $ \mathbb{Z}^d $ において $ a(n) $ の単調性を証明できるか。
• RQ3 平均と支持に関して、$ S_+ $ が大きくあるいは無限大であっても、$ a(n) \geq a(n-1) $ を保証する十分条件は存在するか。
• RQ4 経路修正技法を変更して、$ \mathbb{E}[\tau(e)] $ と $ S_- $ を含む一般の十分条件を導出できるか。
• RQ5 漸近的挙動 $ a(n)/n \to S_- $ は、$ n $ が十分に大きい場合に単調性が最終的に成立することを示唆するか。

主な発見

• 有界な支持条件下で $ 0 < S_- \leq S_+ \leq 2S_- $ のとき、$ a(n) $ は非減少であり、$ a(n) \geq a(n-1) + S_- \left[1 - \frac{(S_+ - S_-)^2}{S_-^2}\right] $ が成り立つ。
• 辺通過時間分布が非退化である一般には単調性は成立せず、ほとんど確実に無限個の $ N $ に対して $ T(0, (N-1)e_1) > T(0, Ne_1) $ が成り立つ。
• 証明手法により、$ T(0, ne_1) $ が $ n $ 個の従属した $ T(0, (n-1)e_1) $ の平均をストキャスティックに支配することが示され、正の相関効果が生じることを示唆する。
• より一般的な十分条件として、$ a(n) \geq a(n-1) $ が成り立つための条件 $ \left(\frac{a(n)}{nS_-} - 1\right)\left(\frac{\mathbb{E}[\tau(e)]}{S_-} - 1\right) \leq \frac{1}{2} $ を導出し、$ S_+ = \infty $ の場合にも成立する。
• $ n $ や $ d $ が十分に大きい場合、$ \mathbb{E}[\tau(e)] \leq (1 + 2^{-1/2})S_- $ ならば単調性が保証され、$ a(n)/n \to S_- $ であることから、不等式は漸近的に満たされる。
• 制限付き通過時間 $ a'(n) $（経路が $ \{0 \leq x_1 \leq n\} $ に制限される場合）に対しても同様の条件で単調性が成立することが確認され、同じ条件下で成立する。