[논문 리뷰] Law of the Iterated Logarithm for the random walk on the infinite percolation cluster

Hugo Duminil‐Copin|ArXiv.org|2008. 09. 25.

Stochastic processes and statistical mechanics인용 수 7

한 줄 요약

이 논문은 $d \geq 2$ 인 $\mathbb{Z}^d$ 에서의 무한 초임계 percolation 클러스터 상에서 연속시간 단순 랜덤 워크에 대한 반복로그법칙(Law of the Iterated Logarithm, LIL)을 확립한다. Barlow의 가우시안 열핵 추정과 Berger 및 Biskup가 도출한 환경 마코프 체인의 유클리드성(ergodicity)을 조합함으로써, 저자들은 보행자의 $L^1$-노름을 $\sqrt{t \log \log t}$ 로 스케일링한 경우의 상한극한(limsup)이 거의 확실히 $p$와 $d$에 따라 달라지는 양의 유한 상수 $c(p,d)$로 수렴함을 증명한다. 이 결과는 LIL, 즉 중요한 거의 확실 경로 행동이 정규 격자에서와 마찬가지로 무작위 percolation 클러스터에서도 유지됨을 확인한다.

ABSTRACT

We show that random walks on the infinite supercritical percolation clusters in Z^d satisfy the usual Law of the Iterated Logarithm. The proof combines Barlow's Gaussian heat kernel estimates and the ergodicity of the random walk on the environment viewed from the random walker as derived by Berger and Biskup.

연구 동기 및 목표

• 초임계 결합 percolation의 무한 클러스터 상에서의 연속시간 단순 랜덤 워크의 거의 확실 점근적 행동을 확립하는 것.
• 정규 격자에서 유효한 고전적 반복로그법칙(Law of the Iterated Logarithm, LIL)이 무작위 기하학적 구조인 무한 percolation 클러스터로 확장되는지 여부를 규명하는 것.
• 보행자의 $L^1$-노름을 $\sqrt{t \log \log t}$ 로 스케일링한 경우의 상한극한(limsup)이 거의 확실히 유한하고 양의 상수 $c(p,d)$로 수렴함을 증명하는 것.
• 결정론적 격자 행동과 무작위 그래프 행동 사이의 격차를 메우기 위해 고전적 확률 도구를 쿠엔치드(quenched), 무작위 환경인 percolation 클러스터에 적응시키는 것.

제안 방법

• 무한 percolation 클러스터 상에서 Barlow의 가우시안 열핵 추정을 활용하여 보행자의 이동 거리 尾확률를 제어한다.
• Borel-Cantelli 보조정리를 적용하여, 가우시안 尾확률 감소 특성을 활용해 보행자 이동 거리의 상한극한에 대한 상계를 도출한다.
• 마코프 성질과 큰 구역에서의 균일한 가우시안 추정을 활용하여 상한극한에 대한 하한을 확립함으로써, 비퇴화된 변동성을 보장한다.
• Berger 및 Biskup가 증명한 환경을 보는 보행자에 따른 이동 $T$ 의 유클리드성(ergodicity)을 이용하여, 이산시간 보행자의 상한극한에 대한 0-1 법칙을 유도한다.
• 연속시간 랜덤 워크 $X_t^\omega$ 와 이른바 '맹목적' 이산시간 랜덤 워크 $Z_n^\omega$ 사이의 쌍방향 연결(coupling)을 수립하며, 평균 체류시간 $\alpha_p^{-1}$ 을 통해 이들의 시간 척도가 점점 유사해짐을 보인다.
• 연속시간 워크와 이른바 '맹목적' 이산시간 워크 사이의 스케일링 등가성을 활용하여, LIL 결과를 이산 설정에서 연속 설정으로 이전시키며, $1/\sqrt{\alpha_p}$ 의 보정 인자를 적용한다.

실험 결과

연구 질문

• RQ1 연속시간 단순 랜덤 워크가 $\mathbb{Z}^d$ 의 무한 초임계 percolation 클러스터에서 반복로그법칙(Law of the Iterated Logarithm)을 만족하는가?
• RQ2 고전적 LIL 행동이 $\sqrt{t \log \log t}$ 스케일링을 특징으로 하며, 무작위이고 비균일한 환경인 percolation 클러스터에서도 유지되는가?
• RQ3 LIL의 상수 $c(p,d)$ 는 percolation 매개변수 $p$ 와 차원 $d$ 에 어떻게 의존하는가?
• RQ4 가우시안 열핵 추정과 환경 과정의 유클리드성은 정규 격자에서의 경로 성질을 무작위 클러스터로 이전시키는 데 얼마나 기여하는가?

주요 결과

• 모든 $d \geq 2$ 와 $p > p_c(d)$ 에 대해, 연속시간 랜덤 워크 $X_t^\omega$ 의 $L^1$-노름을 $\sqrt{t \log \log t}$ 로 스케일링한 경우의 상한극한(limsup)이 거의 확실히 양의 유한 상수 $c(p,d)$ 로 수렴한다.
• 상수 $c(p,d)$ 는 엄밀히 양이며 유한하며, 오직 percolation 매개변수 $p$ 와 차원 $d$ 에만 의존하며, 클러스터의 특정 실현값에 영향을 받지 않는다.
• 증명 과정에서 Barlow의 가우시안 추정과 마코프 성질을 활용해 약한 LIL의 상하한을 확립하였으며, 이는 이후 유클리드성에서 유도된 0-1 법칙을 통해 정밀화된다.
• 이른바 '맹목적' 이산시간 보행자에 대한 0-1 법칙은 그 스케일링된 이동 거리의 상한극한이 거의 확실히 일정함을 시사하며, 이는 시간 척도 쌍방향 연결을 통해 연속시간 보행자로 전이된다.
• 연속시간 보행자와 이른바 '맹목적' 이산시간 보행자 간의 시간 척도가 점점 유사함을 보였으며, 연속시간 보행자는 이산 단계의 $\alpha_p^{-1}$ 배 속도로 진행된다.
• 결과는 맹목적 및 이른바 '맹목적' 랜덤 워크로도 확장되며, 이들 관련 과정들에 대해서도 LIL 이 성립함을 확인한다.