[논문 리뷰] Central limit theorem for first-passage percolation time across thin cylinders

Sourav Chatterjee, Partha S. Dey|arXiv (Cornell University)|2009. 11. 30.

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

한 줄 요약

이 논문은 d차원 격자에서 얇은 실린더 $[0,n] \times [-h_n,h_n]^{d-1}$를 가로질러 첫 도착 시간(first-passage percolation)에 대해 중심극한정리(CLT)를 수립하며, $h_n = o(n^{1/(d+1)})$일 때 가우시안 변동을 증명한다. 추가로 변동 및 횡방향 지수에 대한 가정과 한계 형태의 엄밀한 볼록성 조건이 성립할 경우, 2차원 및 3차원에서는 제한 없는 지오데식 높이까지 CLT가 성립하며, 2차원에서의 추측을 지지하는 수치적 증거가 제시된다.

ABSTRACT

We prove that first-passage percolation times across thin cylinders of the form $[0,n] imes [-h_n,h_n]^{d-1}$ obey Gaussian central limit theorems as long as $h_n$ grows slower than $n^{1/(d+1)}$. It is an open question as to what is the fastest that $h_n$ can grow so that a Gaussian CLT still holds. Under the natural but unproven assumption about existence of fluctuation and transversal exponents, and strict convexity of the limiting shape in the direction of $(1,0,...,0)$, we prove that in dimensions 2 and 3 the CLT holds all the way up to the height of the unrestricted geodesic. We also provide some numerical evidence in support of the conjecture in dimension 2.

연구 동기 및 목표

• d차원 격자 $\mathbb{Z}^d$에서 얇은 실린더를 가로질러 첫 도착 시간에 대해 중심극한정리(CLT)를 수립한다.
• CLT가 여전히 성립하는 경우에 대해 실린더 높이 $h_n$의 최대 성장률을 규명한다.
• 2차원 및 3차원에서 변동 및 횡방향 지수의 존재성과 한계 형태의 엄밀한 볼록성 조건을 가정할 경우, 제한 없는 지오데식 높이까지 CLT가 성립하는지 조사한다.
• 2차원에서의 추측인 분산이 $\sim n h_n^{-\gamma}$로 스케일링되며 $\gamma = 1/2$임을 뒷받받는 수치적 증거를 제공한다.

제안 방법

• 실린더의 긴 축을 따라 시간을 블록으로 분해하여 마틴게일 및 농도 불등식을 적용한다.
• 리아푸노프 조건과 중심모멘트의 모멘트 경계를 적용하여 정규성 수렴을 확립한다.
• 재귀적 추정과 등면적 부등식을 활용해 분산의 하한 및 상한을 구해 변동을 제어한다.
• 형태 정리(shape theorem)와 변동 및 횡방향 지수에 대한 가정을 바탕으로 CLT를 더 큰 $h_n$까지 확장한다.
• 베르누이 변두리 가중치를 사용한 수치 시뮬레이션을 통해 분산 스케일링을 추정하고 QQ 플롯을 통해 점근적 정규성을 검증한다.
• 로그 분산에 대한 선형 회귀를 적용하여 추측된 스케일링 $\operatorname{Var}(a_n(h_n)) \approx \beta n h_n^{-\gamma}$에서의 지수 $\gamma$를 추정한다.

실험 결과

연구 질문

• RQ1 실린더 높이 $h_n$이 $n^{1/(d+1)}$보다 느리게 증가할 경우, 얇은 실린더를 가로질러 첫 도착 시간이 중심극한정리(CLT)를 만족하는가?
• RQ2 d차원 격자에서 가우시안 CLT가 여전히 성립하는 경우에 대해 $h_n$의 최대 성장률은 무엇인가?
• RQ3 2차원 및 3차원에서 변동 및 횡방향 지수의 존재성과 한계 형태의 엄밀한 볼록성 조건을 가정할 경우, CLT는 제한 없는 지오데식 높이까지 확장되는가?
• RQ4 2차원에서 첫 도착 시간의 분산이 점근적으로 $n h_n^{-\gamma}$로 비례하며 $\gamma = 1/2$인가?
• RQ5 시뮬레이션 결과는 $h_n = n^{\alpha}$이고 $\alpha \leq 2/3$일 때, 시간의 점근적 정규성이 추측되는 데에 뒷받침되는가?

주요 결과

• 실린더 $[0,n] \times [-h_n,h_n]^{d-1}$를 가로질러 첫 도착 시간에 대해 중심극한정리(CLT)가 $h_n = o(n^{1/(d+1)})$일 때 성립한다.
• 변동 및 횡방향 지수의 존재성과 한계 형태의 엄밀한 볼록성 조건을 가정할 경우, 2차원 및 3차원에서 제한 없는 지오데식 높이까지 CLT가 성립한다.
• 2차원에서의 수치 시뮬레이션은 $h_n = n^{\alpha}$이고 $\alpha \leq 2/3$일 때 분산이 $\sim n h_n^{-1/2}$로 스케일링된다는 추측을 지지하며, 다양한 $p$ 값에서 추정된 $\gamma \approx 1/2$를 얻는다.
• $n = h_n^2 = 3025$ 및 $p \in \{0.6, 0.7, 0.8, 0.9\}$ 조건에서의 시뮬레이션 결과 QQ 플롯은 정규분포와 양호한 일치를 보이며 점근적 정규성을 지지한다.
• 논문은 변동 지수 $\chi > 0$일 경우 $h_n = o(n^{\alpha})$이며 $\alpha < \xi$일 때, $\chi = 0$일 경우 $\alpha < 1/(d-1)$일 때 CLT가 성립함을 증명한다. 이는 모멘트 경계 및 분산 제어에 기반한다.
• 저자들은 $\left\| \frac{a_n(h_n) - \mathbb{E}[a_n(h_n)]}{\sqrt{\operatorname{Var}(a_n(h_n))}} - \frac{\sum_{i=1}^{2m+1}(X_i - \mathbb{E}[X_i])}{\sigma_n(h_n)} \right\|_2 \to 0$ as $n \to \infty$임을 확립하여 $L^2$ 수렴이 정규분포로 성립함을 확인한다.