[논문 리뷰] Asymptotics for $2D$ Critical First Passage Percolation

Michael Damron, Wai‐Kit Lam외 1명|arXiv (Cornell University)|2015. 05. 28.

Stochastic processes and statistical mechanics참고 문헌 16인용 수 3

한 줄 요약

이 논문은 $F(0) = p_c = 1/2$를 만족하는 i.i.d. 간선 가중치를 가진 2차원 임계 제1통과 확산에서 통과 시간의 점근적 행동에 대해 날카로운 조건을 확립한다. 제1통과 확산과 침식 확산 사이의 새로운 연결 고리를 도입하여, 통과 시간의 증가가 침식 클러스터 내에 제약을 받는 최적 경로의 증가와 일치함을 보여준다. 주요 결과는 장기간에 걸쳐 제기된 Zhang과 Kesten의 추측을 해결하며, 최소한의 모멘트 조건 하에서 중심극한정리가 성립하고 평균 또는 분산이 발산하는지의 조건을 규명한다.

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차원 임계 제1통과 확산에서 통과 시간 행동에 관한 미해결 문제를 해결하기 위해.
• 통과 시간 $T(\mathbf{0}, \partial B(n))$의 평균 또는 분산이 $n \to \infty$일 때 유계로 유지되거나 발산하는 데 필요한 정확한 조건을 규명하기 위해.
• Zhang의 추측, 즉 $\sup\{a > 0 : \rho(F_a) < \infty\}$가 유한하다는 것의 부정을 입증하여, 임의로 작은 $a > 0$에 대해 $\rho(F_a) < \infty$가 거의 확실히 성립함을 보여주기 위해.
• 분산이 발산할 경우 최소한의 모멘트 조건 하에서 통과 시간에 대해 중심극한정리를 확립하기 위해.

제안 방법

• 제1통과 확산과 침식 확산 사이의 결합을 도입하여, 통과 시간의 증가가 침식 클러스터 내 최적 경로의 증가와 상수 인자 이내로 일치함을 보여준다.
• 공간의 이진 분해를 사용하여, $\mathbf{0}$과 $x$를 중심으로 하는 반지름 $2^{q-1}$인 두 개의 서로소 상자에 대한 통과 시간의 합을 $Y(x)$로 정의한다.
• 침식 클러스터의 영향을 포괄하는 무작위 클러스터 $\mathcal{C}_{q+2}$에 대한 통과 시간 추정을 통해 $|T(\mathbf{0},x) - Y(x)|$의 차이를 제한한다.
• 오차 항의 모멘트 bound를 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$ 에 대해 통과 시간 $T(\mathbf{0}, \partial B(n))$ 이 $n \to \infty$일 때 평균 또는 분산이 일관되게 유계로 유지되는 조건은 무엇인가?
• RQ2 Zhang의 추측, 즉 $\sup\{a > 0 : \rho(F_a) < \infty\}$ 가 유한한가? 아니면 임의로 작은 $a > 0$ 에 대해 $\rho(F_a) < \infty$ 가 거의 확실히 성립하는가?
• RQ3 통과 시간 $T(\mathbf{0}, \partial B(n))$ 가 중심극한정리를 만족하는 조건은 무엇이며, 이를 위해 필요한 최소한의 모멘트 조건은 무엇인가?
• RQ4 임계 제1통과 확산에서 통과 시간의 증가 양상은 침식 확산 과정과 어떻게 관련이 있는가?

주요 결과

• 통과 시간 $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$ 이며, 이는 분산이 유계로 유지되는 정확한 기준을 설정한다.
• Zhang의 추측, 즉 $\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$ 로 수렴하며, 이는 보편적인 스케일링 행동을 나타낸다.
• 주요 기술적 진전은 임계 제1통과 확산에서 통과 시간의 증가가 상수 인자 이내로 침식 클러스터 내 최적 경로에 의해 결정됨을 증명한 것으로, 정밀한 점근적 분석이 가능하게 하였다.