[论文解读] 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

一句话总结

本文確立了在邊權 i.i.d. 且滿足 $F(0) = p_c = 1/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$ 而導致時間常數消失時，二維臨界首達時間傳播行為的開放問題。
• 確定在 $n \to \infty$ 時，首達時間 $T(\mathbf{0}, \partial B(n))$ 的期望或變異數保持有界或發散的確切條件。
• 推翻張的猜想，即 $\sup\{a > 0 : \rho(F_a) < \infty\}$ 為有限值，證明對任意小的 $a > 0$，均有 $\rho(F_a) < \infty$。
• 在最小矩假設下，建立當變異數發散時，首達時間的中心極限定理。

提出的方法

• 引入首達時間傳播與入侵滲透的耦合，證明首達時間的增長模式與入侵簇內最優路徑的增長模式至多相差一個常數因子。
• 使用空間的二元分解，定義 $Y(x)$ 為從 $\mathbf{0}$ 和 $x$ 分別出發、半徑為 $2^{q-1}$ 的兩個不相交方塊邊界之首達時間之和。
• 利用對隨機簇 $\mathcal{C}_{q+2}$ 的首達時間估計，控制 $|T(\mathbf{0},x) - Y(x)|$ 的差異，該簇捕捉了入侵簇的影響。
• 透過引理 5.10 和引理 5.14 應用誤差項的矩估計，以控制地圖時間與邊界時間之間差異的 $L^r$-範數。
• 利用不相交方塊中首達時間的獨立性，推導出收斂於分佈，並在條件 $\sum_{k=2}^\infty [F^{-1}(p_c + 2^{-k})]^2 = \infty$ 下建立中心極限定理。
• 使用反向分佈函數 $F^{-1}(p_c + 2^{-k})$ 作為關鍵尺度參數，以描述邊權的尾部行為，並推導出期望與變異數發散的必要與充分條件。

实验结果

研究问题

• RQ1 在邊權分佈 $F$ 的何種條件下，首達時間 $T(\mathbf{0}, \partial B(n))$ 的期望或變異數在 $n \to \infty$ 時保持一致有界？
• RQ2 張的猜想，即 $\sup\{a > 0 : \rho(F_a) < \infty\}$ 為有限值，是否正確？還是 $\rho(F_a) < \infty$ 几乎必然對任意小的 $a > 0$ 成立？
• 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$ 時，首達時間滿足中心極限定理：$\frac{T(\mathbf{0},x) - \mathbb{E}[T(\mathbf{0},x)]}{\operatorname{Var}(T(\mathbf{0},x))^{1/2}} \Rightarrow N(0,1)$ 當 $\|x\|_\infty \to \infty$ 時，且在最小矩假設下成立。
• 首達時間 $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$ 時，顯示出普遍的尺度行為。
• 主要技術進展在於證明臨界首達時間傳播中首達時間的增長受限於入侵簇內的最優路徑，至多相差一個常數因子，從而實現精確的漸近分析。