[논문 리뷰] Large deviations for random walks in a random environment on a strip

Jonathon Peterson|arXiv (Cornell University)|2013. 02. 04.

Stochastic processes and statistical mechanics참고 문헌 24인용 수 3

한 줄 요약

이 논문은 유한한 너비를 가진 스트립 $\mathbb{Z} \times [d]$ 위에서의 랜덤 환경 속에서의 랜덤 워크에 대해 고정된(queched) 및 평균화된(averaged) 대규모 제약 원리들을 수립하며, 고정된 및 평균화된 속도 함수 사이를 연결하는 변분 공식을 증명한다. 이 접근법은 Comets, Gantert, 그리고 Zeitouni의 통합 프레임워크를 고차원 스트립으로 확장하며, 행렬 곱의 구조와 스펙트럼 분석을 사용하여 위치 및 도착 시간에 대한 대규모 제약 점근적 성질을 도출한다.

ABSTRACT

We consider a random walk in a random environment (RWRE) on the strip of finite width $\mathbb{Z} imes \{1,2,\ldots,d\}$. We prove both quenched and averaged large deviation principles for the position and the hitting times of the RWRE. Moreover, we prove a variational formula that relates the quenched and averaged rate functions, thus extending a result of Comets, Gantert, and Zeitouni for nearest-neighbor RWRE on $\mathbb{Z}$

연구 동기 및 목표

• 유한한 너비의 스트립 $\mathbb{Z} \times [d]$ 위에서의 랜덤 환경 속 랜덤 워크의 위치 $X_n/n$ 및 도착 시간 $T_n/n$에 대한 대규모 제약 원리를 수립한다.
• 일반적인 i.i.d. 환경 하에서 워크의 위치 및 도착 시간에 대한 고정 및 평균화된 대규모 제약 속도 함수를 유도한다.
• 이전에 $\mathbb{Z}$ 위의 이웃 이동 랜덤 워크에 대해 알려진 고정 및 평균화된 속도 함수를 연결하는 변분 공식을 스트립 모델으로 확장한다.
• 행렬 곱과 스펙트럼 이론을 사용하여 고차원 상태 공간을 다룰 수 있는 통합 분석 프레임워크를 제공한다.

제안 방법

• 각 위치 $n \in \mathbb{Z}$ 에서의 왼쪽, 오른쪽, 수평 이동을 위한 i.i.d. $d \times d$ 전이 행렬 $q_n, r_n, p_n$ 을 사용하여 스트립 위의 RWRE를 모델링한다.
• 고정된 법칙과 평균화된 법칙을 각각 $P_\omega^{(x,i)}$ 와 $\mathbb{P}_\eta^{(x,i)} = \mathbb{E}_\eta[P_\omega^{(x,i)}]$ 로 정의한다.
• 행렬 곱 표현 $\Phi_k(\lambda)$ 를 사용하여 워크의 모멘트 생성 함수를 표현하며, 이를 블록 $A_k(\lambda)$ 와 $B_k(\lambda)$ 로 분해한다.
• 비판적 값 $\lambda_{\text{crit}}(\eta)$ 이하의 $\lambda$ 에 대해 행렬 원소 $A_k(\lambda), B_k(\lambda)$ 에 대한 균일한 하한 및 상한을 확보하여 스펙트럼 안정성을 확보한다.
• 행렬 곱 $A_{[m,n]}(\lambda)$ 에 대한 수축 원리에 기반하여 왼쪽 및 오른쪽 고유벡터 근사의 상대 오차가 지수적으로 감소함을 증명한다.
• 정규화된 왼쪽 및 오른쪽 고유벡터에 대한 극한 벡터 $\mu_k(\lambda)$ 와 $\nu_k(\lambda)$ 를 구성하며, $L^1$ 과 $L^\infty$ 노름에서의 명시적 오차 한계를 제공한다.

실험 결과

연구 질문

• RQ1 스트립 모델에서 $X_n/n$ 과 $T_n/n$ 의 고정 및 평균화된 대규모 제약 원리 사이에는 어떤 차이가 있는가?
• RQ2 이 고차원 설정에서 고정 및 평균화된 속도 함수를 연결하는 변분 공식을 도출할 수 있는가?
• RQ3 대규모 제약에 관련된 고유벡터의 존재성과 수렴성을 보장하는 스펙트럼 및 행렬 곱의 성질은 무엇인가?
• RQ4 행렬 원소에 대한 균일한 상한이 대규모 제약 속도 함수의 안정성과 수렴성에 어떤 영향을 미치는가?

주요 결과

• 일반적인 i.i.d. 환경 하에서 스트립 위의 $X_n/n$ 과 $T_n/n$ 에 대한 고정 및 평균화된 대규모 제약 원리가 수립된다.
• 고정된 속도 함수에 대한 최소화를 통해 평균화된 속도 함수를 표현하는 변분 공식이 도출되며, 이는 Comets, Gantert, 그리고 Zeitouni의 결과를 스트립 모델으로 확장한다.
• 극한 고유벡터 $\mu_k(\lambda)$ 와 $\nu_k(\lambda)$ 의 존재성이 증명되며, $L^1$ 과 $L^\infty$ 노름에서의 오차 한계가 곱의 길이에 대해 지수적으로 감소함을 보인다.
• 모든 $k$ 와 $\lambda < \lambda_{\text{crit}}(\eta)$ 에 대해 $c_\lambda \leq A_k(\lambda)(i,j), B_k(\lambda)(i,j) \leq 1/c_\lambda$ 라는 균일한 상한이 성립하여 스펙트럼 정규성 보장된다.
• 정규화된 행렬 곱 $\Phi_{[k,n]}(\lambda)\mathbf{1}/\|\cdot\|_1$ 이 극한 $\nu_k(\lambda)$ 로 수렴함을 보이며, 오차 한계가 $O((1 - c_\lambda^4)^{n-k})$ 의 형태를 가진다.