[논문 리뷰] Almost Sure Invariance Principle for Continuous-Space Random Walk in Dynamic Random Environment

Mathew Joseph, Firas Rassoul‐Agha|arXiv (Cornell University)|2010. 04. 06.

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

한 줄 요약

이 논문은 시간 갱신되는 랜덤 환경에 의해 구동되는 연속 공간 랜덤 워크 $\mathbb{R}^d$ 에서의 거의확실한 불변 원리(ASIP)에 대한 필수 및 필요조건을 수립한다. 마팅게일 방법을 사용하여, 점프 분포에 대한 모멘트 조건 하에서 쿼언치드 기능 중심극한정리가 성립함을 증명하며, 평균화된 수준에서 브라운 운동으로 수렴함을 보인다.

ABSTRACT

We consider a random walk on $\R^d$ in a polynomially mixing random environment that is refreshed at each time step. We use a martingale approach to give a necessary and sufficient condition for the almost-sure functional central limit theorem to hold.

연구 동기 및 목표

• 시간 갱신되는 환경에서 $\mathbb{R}^d$ 에서의 랜덤 워크에 대한 거의확실한 불변 원리(ASIP)를 수립하기 위해.
• 이 설정에서 쿼언치드 기능 중심극한정리가 성립하기 위한 필요 및 충분 조건을 규명하기 위해.
• 이산 공간에서의 기능 중심극한정리를 연속 공간으로 확장하면서 거의확실한 수렴을 유지하기 위해.
• 특히 분산 행렬과 스케일링 극한에 중점을 두고, 쿼언치드 및 평균화된 측도 하에서 보행자의 행동을 분석하기 위해.

제안 방법

• 환경를 $\mathbb{R}^d$ 상의 확률측도의 i.i.d. 시간 시퀀스로 모델링하며, 각 환경 성분 $\omega_{n,x}$ 는 시간 $n$ 과 위치 $x$ 에서의 전이 확률을 정의한다.
• 보행자 $X_n$ 에 대한 쿼언치드 측도 $P_x^\omega$ 와 정(stationary), 에르고딕 환경 측도 $\mathbb{P}$ 하에서의 평균화된 측도 $P_x = \int P_x^\omega \, \mathbb{P}(d\omega)$ 를 정의한다.
• 보행자의 변동성을 분석하고 커플링 및 모멘트 추정을 통해 ASIP를 도출하기 위해 마팅게일 분해를 사용한다.
• 성장하는 상자 $B_r = [-r,r]^d$ 에서의 퇴출 시간을 이용한 복수의 재생 유형 추론을 적용하며, 큰 $r$ 에 대해 기대 퇴출 시간을 $Cr^{13}$ 으로 유계화한다.
• 기대값 제어를 가능하게 하기 위해, 무거운 尾 꼬리를 가진 i.i.d. 랜덤 변수 $\eta_j$ 에 의해 산출된 산출 길이의 확률적 지배를 수립한다. 이때 $P(\eta_j \geq a) \geq Ca^{-1/2}$ 를 만족한다.
• Wald의 부등식과 尾 꼬리 추정을 적용하여 크기 $n^\varepsilon$ 의 상자로의 산출 횟수를 유계화하며, 핵심 모멘트 추정 $\sum_k P_0(Y_k \in B_{n^\varepsilon}) \leq C n^{1+13\varepsilon - p\varepsilon/2}$ 을 도출한다.

실험 결과

연구 질문

• RQ1 시간 갱신되는 랜덤 환경에서 연속 공간 랜덤 워크에 대해 쿼언치드 기능 중심극한정리가 성립하는 조건은 무엇인가?
• RQ2 거의확실한 불변 원리가 성립하기 위한 환경의 모멘트 구조에 대한 필수 및 충분 조건은 무엇인가?
• RQ3 이 동적 설정에서 분산 행렬 $\mathcal{D}$ 는 쿼언치드 및 평균화된 측도로부터 어떻게 유도되는가?
• RQ4 다항식 혼합 조건이 있는 연속 공간에서 마팅게일 방법을 사용하여 거의확실한 불변 원리를 수립할 수 있는가?
• RQ5 성장하는 상자에서의 보행자의 점유 시간의 스케일링 행동은 어떻게 되며, 수렴 속도에 어떤 영향을 미치는가?

주요 결과

• 거의확실한 불변 원리가 성립하는 것은 점프 분포의 두 번째 모멘트가 유한할 때, 즉 $E_0[|X_1|^2] < \infty$ 일 때에만 성립한다.
• 극한 분산 행렬은 $\mathcal{D} = \mathbb{E}\left[\int (x - v)(x - v)^T \, \omega_{0,0}(dx)\right]$ 이며, 여기서 $v = \mathbb{E}[X_1]$ 이다.
• 상자 $B_r$ 에서의 기대 퇴출 시간은 $Cr^{13}$ 으로 유계화되며, 이는 보행자의 재귀성과 혼합성을 제어하는 데 핵심적이다.
• 상자로의 산출 길이들은 $1 \leq a \leq n^{p\varepsilon}$ 에 대해 $P(\eta_j \geq a) \geq Ca^{-1/2}$ 를 만족하는 i.i.d. 랜덤 변수 $\eta_j$ 에 의해 확률적으로 지배된다.
• 시간 $n$ 이내의 크기 $n^\varepsilon$ 의 상자로의 산출 횟수의 기대값은 $Cn^{1 - p\varepsilon/2}$ 로 유계화되며, 이는 지수 $1 + 13\varepsilon - p\varepsilon/2$ 를 갖는 모멘트 추정으로 이어진다.
• 평균화된 불변 원리는 동일한 분산 행렬 $\mathcal{D}$ 와 함께 성립하며, 이는 제시된 모멘트 조건 하에서 쿼언치드 및 평균화된 스케일링 극한이 일치함을 확인한다.