[論文レビュー] Critical first-passage percolation starting on the boundary

Jianping Jiang, Chang-Long Yao|arXiv (Cornell University)|Dec 6, 2016

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

ひとこと要約

本稿は、2次元の三角格子上における臨界第一通過時間過程について、原点から半径 $ n $ の半円形境界に至る第一通過時間を、確率1収束および期待値収束の観点から分析する。$ c_n^+ / \log n \to \frac{\sqrt{3}}{2\pi} $ が確率1で成り立ち、期待値としても成立し、明示的な分散スケーリングが得られることにより、ジョルダン領域における第一通過時間の普遍的極限定理が可能になる。

ABSTRACT

We consider first-passage percolation on the two-dimensional triangular lattice $\mathcal{T}$. Each site $v\in\mathcal{T}$ is assigned independently a passage time of either $0$ or $1$ with probability $1/2$. Denote by $B^+(0,n)$ the upper half-disk with radius $n$ centered at $0$, and by $c_n^+$ the first-passage time in $B^+(0,n)$ from $0$ to the half-circular boundary of $B^+(0,n)$. We prove \[\lim_{n ightarrow\infty}\frac{c_n^+}{\log n}=\frac{\sqrt{3}}{2π}~ a.s.,~\lim_{n ightarrow\infty}\frac{E c_n^+}{\log n}=\frac{\sqrt{3}}{2π},~\lim_{n ightarrow\infty}\frac{\mathrm{Var}(c_n^+)}{\log n}=\frac{2\sqrt{3}}π-\frac{9}{π^2}.\] These results enable us to prove limit theorems with explicit constants for any first-passage time between boundary points of Jordan domains. In particular, we find the explicit limit theorems for the cylinder point to point and cylinder point to line first-passage times.

研究の動機と目的

• 2次元の三角格子上における臨界第一通過時間過程において、原点から半径 $ n $ の半円形境界に至る第一通過時間 $ c_n^+ $ の確率1収束および期待値収束を導出すること。
• $ c_n^+ $ の漸近的分散スケーリングを確立し、平均成長に対する明確な2次補正を提供すること。
• 第一通過時間を境界点における角度に結びつけることにより、一般のジョルダン領域への結果の拡張を図り、普遍的極限定理を構築すること。
• 第一通過時間 $ c_n^+ $ に対して中心極限定理を証明し、適切な中心化およびスケーリングを施した後、正規分布への収束を示すこと。
• 正規化における極限定数が鋭い（すなわち、$ \theta(n) \to 0 $）と予想されるが、これは未解決のままである。

提案手法

• 2次元の三角格子 $ \tau $ 上に臨界第一通過時間過程を定義し、各格子点に独立同一分布のベルヌーイ(1/2)通過時間を割り当てる。
• 原点から半円形境界 $ \Delta_o B^+(0,n) $ への第一通過時間 $ c_n^+ $ を定義し、幾何的解釈のため双対のヘキサゴナル格子を用いる。
• 確率的クラスタと探索経路の双対性を用い、$ c_n^+ $ を原点を取り囲む互いに素なイエローハーフサーキットの最大数に関連付ける。
• シュラム-ロエヴェル方程式(SLE)およびチャードアル探索経路の結果を応用し、第一通過時間を境界における角度に依存する形で表現する。
• セカント線および接線による領域近似を用い、ジョルダン領域における第一通過時間を評価し、格子間隔 $ \delta \to 0 $ の極限をとる。
• 分散スケーリングおよびモーメントバウンドを用いて、正規化第一通過時間の分布収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 2次元の三角格子上における臨界第一通過時間過程において、原点から半径 $ n $ の半円形境界に至る第一通過時間 $ c_n^+ $ の確率1漸近的挙動は何か？
• RQ2 期待値 $ \mathbb{E}[c_n^+] $ は $ n $ に対してどのようにスケーリングされ、正確な極限定数は何か？
• RQ3 第一通過時間 $ c_n^+ $ の漸近的分散は何か？また、$ \log n $ に対してどのようにスケーリングされるか？
• RQ4 半円盤に対する結果を、滑らかな境界を持つ一般のジョルダン領域へ拡張できるか？境界における角度は果たす役割は何か？
• RQ5 正規化第一通過時間は中心極限定理を満たすか？極限分布は何か？

主な発見

• 第一通過時間 $ c_n^+ $ は、$ \lim_{n \to \infty} \frac{c_n^+}{\log n} = \frac{\sqrt{3}}{2\pi} $ を確率1で満たす。
• 期待値についても $ \lim_{n \to \infty} \frac{\mathbb{E}[c_n^+]}{\log n} = \frac{\sqrt{3}}{2\pi} $ が成り立ち、平均においても同じ定数が得られる。
• 分散は $ \mathrm{Var}(c_n^+) \sim \left( \frac{2\sqrt{3}}{\pi} - \frac{9}{\pi^2} \right) \log n $ とスケーリングされ、2次補正が明示的に得られる。
• 中心極限定理が成立：$ \frac{c_n^+ - \mathbb{E}[c_n^+]}{\sqrt{\mathrm{Var}(c_n^+)}} \to N(0,1) $ が $ n \to \infty $ のとき分布収束する。
• 一般のジョルダン領域において、境界点 $ a $ から曲線 $ \Gamma $ への第一通過時間は、$ \lim_{\delta \to 0} \frac{T_{D_\delta}(a_\delta, \Gamma_\delta)}{-\log \delta} = \frac{\sqrt{3}}{2\Theta_D(a)} $ を確率1で満たす。ここで $ \Theta_D(a) $ は点 $ a $ における境界角を表す。
• 極限定理は、円筒上における点対点および点対直線の第一通過時間に対しても拡張可能であり、幾何的角に依存する明示的な定数を伴う。