[논문 리뷰] Limit theorems for random walks in dynamic random environment

Frank Redig, Florian Völlering|arXiv (Cornell University)|2011. 06. 21.

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

한 줄 요약

이 논문은 환경의 혼합 성질에 대한 커플링 기반 조건을 도입하여 동적 랜덤 환경 내에서의 랜덤 워크에 대한 극한 정리들을 수립한다. 이 조건 하에서 환경 과정은 강한 에르고딕성과 농도 성질을 물려받으며, 이는 보행자의 위치에 대한 대수법칙, 중심극한정리, 아인슈타인 관계, 그리고 재귀/비재귀 기준에 대한 엄밀한 증명을 가능하게 한다. 이 모든 결과들은 점프 비율에 대해 연속적으로 의존한다.

ABSTRACT

We study a general class of random walks driven by a uniquely ergodic Markovian environment. Under a coupling condition on the environment we obtain strong ergodicity properties and concentration inequalities for the environment as seen from the position of the walker, i.e the environment process. We also obtain ergodicity of the uniquely ergodic measure of the environment process as well as continuity as a function of the jump rates of the walker. As a consequence we obtain several limit theorems, such as law of large numbers, Einstein relation, central limit theorem and concentration properties for the position of the walker.

연구 동기 및 목표

• 환경가 유일한 에르고딕성과 충분히 빠른 혼합 속도를 가지는 경우, 동적 랜덤 환경 내 랜덤 워크에 대한 극한 정리들을 수립하는 것.
• 환경의 에르고딕성과 혼합 성질을 보행자 위치에서 관측하는 환경 과정으로 이전시키는 것.
• 보행자 위치에 대한 농도 부등식을 유도하기 위해 역행 마르코프 과정 기반의 새로운 형식을 개발하는 것.
• 점근적 속도와 공분산 행렬이 점프 비율에 대해 연속적으로 의존하는 것을 증명하는 것.
• 1차원에서 점근적 속도의 부호에 기반하여 재귀성과 비재귀성을 결정하는 기준을 도출하는 것.

제안 방법

• 환경에 대해 $ t^d $ 배수의 감쇠가 시간에 대해 적분 가능하도록 충분히 빠르게 감쇠하는 커플링 조건을 도입한다.
• 이 커플링 조건을 사용하여 환경 과정도 유사한 감쇠 성질을 가지며, 최대 $ t^d $ 배수의 손실을 고려해 적분 가능함을 증명한다.
• 비시간 동질성의 역행 마르코프 과정 형식을 도입하여 환경 과정의 가속 기능에 대한 지수 모멘트 상한과 농도 부등식을 도출한다.
• 환경 과정이 마르코프 과정임을 확립하고, 그 에르고딕성을 활용하여 보행자 위치를 마르코프 과정과 제어 가능한 가속 기능의 합으로 분해한다.
• 부록에서 마르코프 과정 기법을 사용하여 보행자 위치에 대한 기능적 중심극한정리와 분산 제어를 증명한다.
• 농도 부등식을 활용하여 1차원에서 점근적 속도가 0이면 재귀성, 비0이면 비재귀성을 도출한다.

실험 결과

연구 질문

• RQ1 동적 환경에 어떤 조건이 성립할 경우 환경 과정이 강한 에르고딕성과 혼합 성질을 물려받는가?
• RQ2 보행자 위치가 환경 과정의 표준 가속 기능이 아니므로, 보행자 위치에 대한 농도 부등식을 어떻게 엄밀하게 도출할 수 있는가?
• RQ3 동적 환경 내 랜덤 워크에 대해 대수법칙과 중심극한정리가 성립하기 위한 조건은 무엇인가?
• RQ4 보행자의 점근적 속도가 보행의 점프 비율에 대해 연속적으로 의존하는 방식은 어떠한가?
• RQ5 1차원에서 보행의 재귀성 또는 비재귀성은 무엇에 의해 결정되며, 이는 환경의 혼합성과 에르고딕 성질과 어떻게 연결되는가?

주요 결과

• 커플링 조건 하에서 환경 과정은 환경의 에르고딕성과 혼합 성질을 물려받으며, 감쇠 속도는 최대 $ t^d $ 배수의 손실을 고려한다.
• 보행자 위치에 대해 대수법칙이 성립하며, 점근적 속도는 보행의 점프 비율에 대해 연속적으로 의존한다.
• 기능적 중심극한정리가 확립되었으며, 환경 과정의 분산으로부터 제어 가능한 점근적 공분산 행렬이 유도된다.
• 아인슈타인 관계가 증명되었으며, 속도의 환경에 대한 편미분과 분산 행렬 간의 관계를 연결한다.
• 역행 마르코프 과정을 활용한 농도 부등식을 통해 보행자 위치에 대한 엄밀한 재귀 및 비재귀 결과를 도출한다. 이는 1차원에서 성립한다.
• 1차원에서 점근적 속도가 0이면 보행은 재귀적이며, 비0이면 비재귀적이다. 이는 주어진 커플링 및 에르고딕성 조건 하에서 성립한다.