[논문 리뷰] Quenched invariance principles for random walks on percolation clusters

Pierre Mathieu, Andrey Piatnitski|arXiv (Cornell University)|2005. 05. 31.

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

한 줄 요약

이 논문은 $d \geq 2$ 에서 초임계 베르누이 변간 퍼콜레이션에서의 무한 퍼콜레이션 클러스터 위에서의 단순 대칭 랜덤 워크에 대해 고정된 환경에서의 불변 원리(quenched invariance principle)를 확립한다. 과정를 마르팅글로 만드는 보정 함수를 구성하고, 척도화된 피카르레 부등식 및 2스케일 수렴 기법을 통해 보정 함수의 초선형 성장을 증명함으로써, 저자들은 스케일링된 워크가 거의 확실히 비퇴화된 브라운 운동으로 수렴함을 보여준다. 이 브라운 운동의 공분산 행렬은 $\sigma^2 I_d$이며, $\sigma^2 > 0$ 는 환경 $\omega$ 에 독립적인 결정론적 상수이다. 이는 고차원에서 오랫동안 남아있던 열린 문제를 해결하며, 이전의 안내된 결과들을 고정된 설정으로 확장한다.

ABSTRACT

We prove the almost sure ('quenched') invariance principle for a random walker on an infinite Bernoulli percolation cluster in $\Z^d$ where $d$ is larger or equal than 2.

연구 동기 및 목표

• 초임계 베르누이 퍼콜레이션에서의 무한 클러스터 위에서의 단순 대칭 랜덤 워크에 대해 $\mathbb{Z}^d$, $d \geq 2$ 에서의 고정된 환경에서의 불변 원리를 확립하는 것.
• 랜덤 워크의 스케일링된 경로가 퍼콜레이션 측도 $Q_0$ 에 대해 거의 확실히 비퇴화된 브라운 운동으로 수렴함을 보이는 것.
• 타원성의 부족과 클러스터 측도의 특이성으로 인해 기존의 방법이 실패하는 상황에서, 랜덤하고 특이한 환경에 적합한 보정 함수 기반 방법을 개발하는 것.
• 클라식한 호모지네이션 접근법을 코즐로의 방법에서 퍼콜레이션의 고정된 설정으로 확장하는 것. 이는 비타원형, 랜덤 기하학으로 인해 표준 $L^2$-기능 분석 도구가 실패하기 때문이다.

제안 방법

• 랜덤 워크의 생성자를 $P^\omega_0$ 하에서 마르팅글로 만드는 보정 함수 $\chi(\omega, x)$ 를 구성함으로써, 과정가 마르팅글로 불변 원리를 만족함을 보장한다.
• 작은 상자들에 대한 2스케일 수렴 프레임워크를 사용하여 퍼콜레이션 클러스터 위의 특이하고 랜덤한 측도를 다루며, 고전적 소볼레프 임베딩에 의존하지 않는다.
• 크기 $\delta$ 의 작은 상자들에서 스케일링된 피카르레 부등식을 적용하여 보정 함수의 변동성을 통제하고, 그 초선형 성장을 증명한다. 이 부등식의 상수들은 $\varepsilon$ 에 대해 일관되다.
• 보정 함수의 약한 $L^2$ 수렴을 증명한 후, 스케일링 기법과 공간의 에르고딕성을 이용하여 강한 $L^2$ 수렴으로 강화한다.
• 보정 함수를 기울기 장의 공간에서 $L^2$-포텐셜 공간으로의 수직 투영으로 정의함으로써, 필요한 수직성 및 평균 제로 조건을 보장한다.
• 작은 상자 각각에서 보정 함수의 평균이 0임과 동시에 그 $L^2$-노름이 극한에서 0이 되므로, 스케일링 하에서 보정 함수가 무시할 만큼 작아짐을 결론짓는다.

실험 결과

연구 질문

• RQ1 초임계 베르누이 퍼콜레이션에서의 무한 퍼콜레이션 클러스터 위에서의 단순 대칭 랜덤 워크는 고정된 환경에서의 불변 원리를 만족하는가?
• RQ2 주기적이고 타원적인 호모지네이션에서 사용된 보정 함수 방법은 초임계 퍼콜레이션의 고정된, 비타원형 설정에 적합하게 일반화될 수 있는가?
• RQ3 보정 함수 $\chi$ 는 $\varepsilon \to 0$ 일 때 큰 상자에서 스케일링된 $L^2$-노름이 0으로 수렴하는 방식으로 초선형적인가?
• RQ4 한계 확산 과정의 공분산 행렬 $\sigma^2 I_d$ 는 환경의 실현값에 영향을 받지 않는 결정론적이고 비퇴화된 형태인가?
• RQ5 스케일링 하에서 클러스터 측도의 특이성에도 불구하고 보정 함수의 강한 $L^2$ 수렴을 확보할 수 있는가?

주요 결과

• 스케일링된 과정 $X^\varepsilon(t) = \varepsilon X(t/\varepsilon^2)$ 는 $Q_0$-거의 모든 $\omega$ 에 대해 $P^\omega_0$ 하에서 비퇴화된 브라운 운동으로 수렴한다.
• 한계 확산 과정의 공분산 행렬은 $\sigma^2 I_d$ 이며, $\sigma^2 > 0$ 이며 이 $\sigma^2$ 는 환경 구성 $\omega$ 에 독립적인 결정론적 상수이다.
• 보정 함수 $\chi$ 는 $\varepsilon \to 0$ 일 때 $Q_0$-거의 확실히 $\varepsilon^d \sum_{|x| \leq 1/\varepsilon} (\varepsilon \chi(\omega,x) - a_\varepsilon)^2 \to 0$ 을 만족하며, 이는 그 초선형 성장을 증명한다.
• 증명은 크기 $\delta$ 의 작은 상자들에서의 스케일링된 피카르레 부등식에 의존하며, 이 부등식의 상수들은 $\varepsilon$ 에 대해 독립적이다.
• 보정 함수는 기울기 장의 $L^2$-공간과 포텐셜의 $L^2$-공간에서의 수직 투영을 통해 구성되며, 필요한 수직성 및 평균 제로 조건을 보장한다.
• 2스케일 수렴 기법과 스케일링 기법을 통해 수렴을 확립하였으며, 이는 공간의 에르고딕 정리를 이용해 극한으로 넘어가는 데 허용한다.