[논문 리뷰] Critical first-passage percolation starting on the boundary

Jianping Jiang, Chang-Long Yao|arXiv (Cornell University)|2016. 12. 06.

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

한 줄 요약

이 논문은 2차원 삼각 격자에서 임계 첫번째 통과 시간(first-passage time)에 대해 원점에서 반지름 $ n $ 인 반디스크의 반원형 경계에 도달할 때의 거의 확실한 한계와 기댓값 한계를 설정한다. 이는 $ c_n^+ / \log n \to \frac{\sqrt{3}}{2\pi} $가 거의 확실하게 및 기댓값으로 수렴함을 보이며, 명시적인 분산 스케일링을 제공함으로써, 유계 도메인에서 첫번째 통과 시간에 대한 보편적 극한 정리들을 가능하게 한다.

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^+ $ 에 대한 거의 확실한 한계와 기댓값 한계를 유도하는 것.
• $ c_n^+ $ 의 점근적 분산 스케일링을 확립하여 평균 성장에 대한 정밀한 이阶 보정을 제공하는 것.
• 첫번째 통과 시간이 경계에서 포함하는 각도에 따라 관련지어 일반적인 유계 도메인(Jordan domains)으로 결과를 확장하고 보편적 극한 정리들을 가능하게 하는 것.
• 정규분포로의 수렴을 보여주는 중심극한정리(Central Limit Theorem)를 $ c_n^+ $ 에 대해 증명하는 것.
• 정규화에서 $ \theta(n) \to 0 $ 이 되는 것이 최적임을 추측하는 것(즉, 한계 상수가 날카롭게 작용함을 의미함)이지만, 이는 아직 증명되지 않음.

제안 방법

• 2차원 삼각 격자 $ \tau $ 에서 임계 첫번째 통과 시간 모델을 설정하고, 각 점에 대해 i.i.d. 베르누이(1/2) 통과 시간를 할당하는 것.
• 원점에서 반원형 경계 $ \Delta_o B^+(0,n) $ 에 도달하는 첫번째 통과 시간 $ c_n^+ $ 를 정의하며, 기하학적 해석을 위해 이중 정육각형 격자를 사용하는 것.
• 퍼콜레이션 클러스터와 탐색 경로 사이의 이중성(duality)을 활용하여 $ c_n^+ $ 를 원점을 둘러싸는 서로소인 노란색 반원형 경로의 최대 개수와 연결하는 것.
• Schramm-Loewner Evolution(SLE) 및 호형 탐색 경로의 결과를 적용하여, 첫번째 통과 시간을 경계에서의 각도(subtended angle)로 표현하는 것.
• 직선(secant) 및 탄성선(tangent)을 이용한 도메인 근사화를 통해, 임계 유계 도메인에서의 첫번째 통과 시간을 극한으로 유도하며, 격자 간격 $ \delta \to 0 $ 으로 갈수록 극한을 취하는 것.
• 분산 스케일링과 모멘트 경계를 이용하여 정규화된 첫번째 통과 시간의 분포 수렴을 확립하는 것.

실험 결과

연구 질문

• RQ1 임계 첫번째 통과 시간에서 삼각 격자에서 원점에서 반지름 $ n $ 인 반디스크의 반원형 경계에 도달하는 첫번째 통과 시간 $ c_n^+ $ 의 거의 확실한 점근적 행동은 무엇인가요?
• RQ2 기댓값 $ \mathbb{E}[c_n^+] $ 는 $ n $ 과 어떻게 스케일링되며, 정확한 한계 상수는 무엇인가요?
• RQ3 분산 $ \mathrm{Var}(c_n^+) $ 의 점근적 성질은 무엇이며, $ \log n $ 과 어떻게 스케일링되나요?
• RQ4 반디스크에 대한 결과를 부드러운 경계를 가진 일반적인 유계 도메인으로 확장할 수 있으며, 경계 각도는 어떤 역할을 하나요?
• RQ5 정규화된 첫번째 통과 시간는 중심극한정리(Central Limit Theorem)를 만족하는가? 그리고 한계 분포는 무엇인가요?

주요 결과

• 첫번째 통과 시간 $ c_n^+ $ 는 $ \lim_{n \to \infty} \frac{c_n^+}{\log n} = \frac{\sqrt{3}}{2\pi} $ 가 거의 확실하게 성립한다.
• 기댓값 $ \mathbb{E}[c_n^+] $ 는 $ \lim_{n \to \infty} \frac{\mathbb{E}[c_n^+]}{\log n} = \frac{\sqrt{3}}{2\pi} $ 를 만족하여 평균에서도 동일한 상수를 확인한다.
• 분산 $ \mathrm{Var}(c_n^+) $ 는 $ \mathrm{Var}(c_n^+) \sim \left( \frac{2\sqrt{3}}{\pi} - \frac{9}{\pi^2} \right) \log n $ 로 스케일링되며, 이는 평균 성장에 대한 두 번째 순서 보정을 제공한다.
• 중심극한정리가 성립한다: $ \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)} $ 가 거의 확실하게 성립한다. 여기서 $ \Theta_D(a) $ 는 점 $ a $ 에서의 경계 각도이다.
• 한계 정리는 원점에서 원점까지, 또는 원점에서 직선까지의 첫번째 통과 시간에 대해 실린더에서의 경우로 확장되며, 기하학적 각도에 따라 명시적인 상수가 존재한다.