[논문 리뷰] Effective Polynomial Ballisticity Condition for Random Walk in Random Environment

Noam Berger, Alexander Drewitz외 1명|arXiv (Cornell University)|2012. 06. 27.

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

한 줄 요약

이 논문은 다항수렴 조건—구체적으로 조건 \/mathcal{P}—가 고차원($d \geq 2$)에서 Sznitman의 능선지수 조건 \/mathcal{T}_\gamma와 관련된 구류 행동과 불변성 원리가 성립함을 보여준다. 주요 기여는 \/mathcal{P}가 유한한 상자에서 확인 가능하고 효과적인 조건임을 증명하여, 모든 $\gamma \in (0,1)$에 대해 \/mathcal{T}_\gamma를 함의함으로써 이러한 조건들 간의 추측된 동치성 관계를 모든 관련 차원으로 확장하는 것이다.

ABSTRACT

The conditions $(T)_γ,$ $γ\in (0,1),$ which have been introduced by Sznitman in 2002, have had a significant impact on research in random walk in random environment. Among others, these conditions entail a ballistic behaviour as well as an invariance principle. They require the stretched exponential decay of certain slab exit probabilities for the random walk under the averaged measure and are asymptotic in nature. The main goal of this paper is to show that in all relevant dimensions (i.e., $d \ge 2$), in order to establish the conditions $(T)_γ$, it is actually enough to check a corresponding condition $(\mathcal{P})$ of polynomial type. In addition to only requiring an a priori weaker decay of the corresponding slab exit probabilities than $(T)_γ,$ another advantage of the condition $(\mathcal{P})$ is that it is effective in the sense that it can be checked on finite boxes. In particular, this extends the conjectured equivalence of the conditions $(T)_γ,$ $γ\in (0,1),$ to all relevant dimensions.

연구 동기 및 목표

• 랜덤 환경 속에서의 랜덤 워크(RWRE)에서의 구류 행동을 보장하는 조건을 효과적이고 유한한 상자에서 검증 가능한 조건으로 설정하는 것.
• 다항형 수렴 조건 \/mathcal{P}가 고차원 $d \geq 2$에서 모든 $\gamma \in (0,1)$에 대해 능선지수 수렴 조건 \/mathcal{T}_\gamma를 함의함을 보이는 것.
• Sznitman의 \/mathcal{T}_\gamma 조건과 다항형 조건 간의 추측된 동치성 관계를 모든 관련 차원으로 확장하여 RWRE 이론에서의 핵심 열린 문제를 해결하는 것.
• 비교적 어려운 점근적 조건인 능선지수 조건을 대체하여, 더 약한 다항형 조건을 통해 구류 행동을 검증할 수 있는 실용적 기준을 제공하는 것.
• 점근적 가정을 유한한 상자에서 검증 가능한 조건으로 대체하여 고차원 RWRE에서의 불변성 원리와 구류 행동에 대한 이론적 기반을 강화하는 것.

제안 방법

• 평균 측도 하에서 판형 출구 확률에 대한 다항수렴 조건인 조건 \/mathcal{P}를 도입하여, 이 조건이 구류 행동을 함의할 수 있음을 제안한다.
• 공간을 이진 분해를 기반으로 한 상자 $\mathcal{R}_n(x)$로 나누고, $D^n_j$를 통한 정지시간 구성 방법을 사용하여 보행자의 이러한 상자들을 통과하는 진전을 추적한다.
• 강한 마코프 성질과 균일 타원성 조건을 활용하여 상자 왼쪽 측면에서의 출구 확률을 유계로 제어하며, $G_{\beta,L}$ 사건을 통해 '나쁜' 상자 수를 제어한다.
• 격자를 $5^d$개의 서로소 가족 $\mathbb{L}_n^j$로 분할하여 확률적 지배를 적용함으로써, 너무 많은 '나쁜' 평행육면체가 존재할 확률을 유계로 제어한다.
• 출구 확률에 대한 지수적 경계와 이항 꼬리 확률에 대한 계승적 감소 추정치를 조합하여 희귀 사건(예: 너무 많은 나쁜 상자)의 확률을 제어한다.
• 불등식 $\mathbb{P}(N_L \geq L^{\beta(L)}) \leq 5^d \frac{e}{\lceil L^{\beta(L)}/5^d \rceil!}$를 사용하여, 많은 수의 나쁜 상자들이 존재할 사건의 확률이 무시할 수 없을 정도로 작음을 보여주며, 이는 최종적으로 출구 확률에 대한 하한을 유도하는 데 기여한다.

실험 결과

연구 질문

• RQ1 다항수렴 조건이 판형 출구 확률에 대해 $d \geq 2$에서 RWRE의 구류 행동을 보장하는 데 있어 점근적 능선지수 조건 \/mathcal{T}_\gamma를 대체할 수 있는가?
• RQ2 유한한 상자에서 검증 가능한 조건 \/mathcal{P}가 모든 $\gamma \in (0,1)$에 대해 전체 \/mathcal{T}_\gamma 조건을 함의하는 데 충분한가?
• RQ3 Sznitman의 \/mathcal{T}_\gamma 조건과 다항형 조건 간의 추측된 동치성 관계가 모든 차원 $d \geq 2$로 확장되는가?
• RQ4 점근적 성격을 띠는 \/mathcal{T}_\gamma 조건을 비점근적 조건으로 대체함으로써 구류 행동과 불변성 원리의 함의를 유지할 수 있는가?
• RQ5 조건 \/mathcal{P}에서의 수렴 속도와 결과적으로 도출되는 \/mathcal{T}_\gamma 지수 $\gamma$ 사이의 정량적 관계는 무엇인가?

주요 결과

• 조건 \/mathcal{P}—판형 출구 확률에 대한 다항수렴 조건—는 고차원 $d \geq 2$에서 모든 $\gamma \in (0,1)$에 대해 능선지수 수렴 조건 \/mathcal{T}_\gamma를 함의함을 보여준다.
• 조건 \/mathcal{P}는 유한한 상자에서 검증 가능하므로, 점근적 성격을 띠는 \/mathcal{T}_\gamma와는 달리 실용적이다.
• 이론적 증명을 통해, $G_{\beta(L),L}$ 사건이 고려될 경우, 큰 $L$에 대해 $P_{0,\omega}(H_{\partial B} = H_{\partial_+ B}) > \frac{1}{2} \exp\{ -c_1 L^{\epsilon(L) + \beta(L)} \}$임을 보였다.
• 너무 많은 '나쁜' 평행육면체가 존재할 확률은 $\mathbb{P}(G_{\beta(L),L}^c) \leq 5^d \frac{e}{\lceil L^{\beta(L)}/5^d \rceil!}$로 유계로 제어되며, 이는 어떤 다항식보다도 더 빠르게 감소한다.
• 저자들은 다항수렴 조건 \/mathcal{P}가 불변성 원리와 구류 행동을 함의함을 증명하였으며, 이는 이전에 \/mathcal{T}_\gamma 조건 하에서만 알려진 결과를 확장한 것이다.
• 결과적으로 이 논문은 $d \geq 2$ 전역에서 \/mathcal{T}_\gamma 조건과 다항형 조건 간의 추측된 동치성 관계를 확인함으로써, RWRE 이론에서 오랫동안 남아있던 열린 문제를 해결하였다.