[논문 리뷰] Cutoff and mixing time for transient random walks in random environments

Nina Gantert, Thomas Kochler|arXiv (Cornell University)|2012. 10. 08.

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

한 줄 요약

이 논문은 유한 구간 [0,n]에서의 비정상적인 랜덤 환경에서의 게으른 랜덤 워크의 커프오프 및 혼합 시간을 조사하며, 궤도가 비선형인 영역(κ > 1)에서는 커프오프가 발생하지만, 부분선형 영역(κ ≤ 1)에서는 발생하지 않음을 보여준다. 주요 기여는 부분선형 영역(κ ≤ 1)에서 혼합 시간의 정확한 로그 성장률이 ln t_mix^ω(n) / ln n → 1/κ임을 규명한 것이며, 궤도가 비선형인 영역(κ > 1)에서는 도달 시간의 정밀한 농도를 통해 커프오프가 발생함을 증명한 것이다.

ABSTRACT

We show that a sequence of birth-and-death chains, given by lazy random walks in a (transient) environment (RWRE) on [0; n], exhibits a cutoff in the ballistic regime but does not exhibit a cutoff in the (interior of) the subballistic regime. We investigate the growth of the mixing times for this model. As an important step in the proof, we derive bounds for the quenched expectation and the quenched variance of the hitting times of the RWRE, which are of independent interest.

연구 동기 및 목표

• 유한 구간 [0,n]에서의 비정상적인 랜덤 환경 내 게으른 랜덤 워크의 수열이 커프오프 현상(phenomenon)을 보이는지 여부를 규명하는 것.
• 궤도가 비선형인 영역(κ > 1)과 부분선형 영역(κ ≤ 1)에서 혼합 시간의 渐近적 행동을 분석하는 것.
• 도달 시간 기대값과 분산에 대한 날카운 쿼런스 경계를 유도하는 것. 이는 분석의 핵심 요소이다.
• 부분선형 워크(κ ≤ 1)에 대해 혼합 시간의 정확한 로그 성장률을 확립하는 것.
• 혼합 시간이 잘 정의되어 있음에도 불구하고 부분선형 영역(κ ≤ 1)에서 커프오프가 발생하지 않는 이유를 밝히는 것.

제안 방법

• 분석은 {0,…,n}에서의 게으른 RWRE에 대한 쿼런스 법칙 P_ω^n에 초점을 맞추며, 0과 n에서 반사 경계 조건이 있는 환경에서의 도달 시간 T_n 및 그 기대값을 사용한다.
• 핵심 기법은 환경에 따라 달라지는 이동성(드라이프)을 반영한 ρ_i = (1−ω_i)/ω_i를 활용하여 E_ω[T_n] 및 Var_ω(T_n)에 대한 쿼런스 경계를 유도하는 것이다.
• 증명은 마르코프 부등식과 경로 분해를 사용하여, 마르코프 체인의 분포와 정적 분포 사이의 총 변동 거리 d_n(l)을 유계로 제한한다.
• 부분선형 케이스(κ ≤ 1)의 경우, 혼합을 늦추기 위해 고층 블록(B_4(m))을 이용한 환경를 구성함으로써 t_mix^ω(n)에 대한 하한을 도출한다.
• 궤도가 비선형인 케이스(κ > 1)의 경우, T_n가 평균 주위에 집중되어 있음을 보이고, 창 크기 f_n이 t_n보다 작게(즉, o(t_n)) 되므로 커프오프 조건을 만족함을 보인다.
• 특히 [FGP10]과 [So75]의 결과를 통합하여 도달 시간의 모멘트와 재귀 기준에 관한 분석을 바탕으로 점근적 척도를 유도한다.

실험 결과

연구 질문

• RQ1 구간 [0,n]에서의 게으른 RWRE 수열이 부분선형 영역(κ ≤ 1)에서 커프오프 현상(phenomenon)을 보이는가?
• RQ2 부분선형 워크에 대해 쿼런스 혼합 시간 t_mix^ω(n)의 정확한 점근적 성장률은 무엇인가?
• RQ3 커프오프 행동은 환경 매개수 κ에 따라 어떻게 달라지며, 특히 궤도가 비선형인 영역(κ > 1)과 부분선형 영역(κ ≤ 1)과의 관계는 어떠한가?
• RQ4 annealed 평균과 무관하게 도달 시간 모멘트에 대한 날카운 쿼런스 경계를 유도할 수 있으며, 이는 혼합 시간 추정에 어떤 영향을 미치는가?
• RQ5 커프오프의 맥락에서 창 크기 f_n과 혼합 시간 t_n 간의 관계는 무엇이며, 왜 κ ≤ 1일 경우 f_n = o(t_n) 조건을 만족하지 못하는가?

주요 결과

• κ ≤ 1일 때, 쿼런스 혼합 시간은 P-거의 확실하게 lim_{n→∞} ln t_mix^ω(n) / ln n = 1/κ 를 만족하며, 정확한 로그 성장률이 규명된다.
• κ > 1일 때, 수열은 커프오프를 보이며, 커프오프 시간은 t_n ∼ 2𝔼T_1 n 으로 표현되며 창 크기 f_n이 t_n보다 작게(o(t_n)) 되어 공식적인 커프오프 정의를 충족한다.
• 부분선형 영역(κ ≤ 1)에서는 커프오프가 발생하지 않으며, 창 크기가 E_ω[T_n]의 순서여야 하므로 혼합 시간과 일치하여 f_n = o(t_n) 조건을 위반하기 때문이다.
• 환경에 따라 달라지는 블록 구조와 ρ_i 비율을 활용하여 도달 시간의 기대값과 분산을 경계함으로써, 본 연구 외적 관심사로도 유의미한 결과를 도출하였다.
• d_n(l)의 하한은 체인이 l ≈ c n^{1/κ} (ln n)^{-4/κ} 단계 이후에도 상한 구간 [n−2(ln n)^2, n]에 도달할 확률이 충분히 높지 않음을 보여 이를 유도한다.
• κ ≤ 1일 경우 혼합 시간은 n의 어떤 거듭제곱보다도 느리게 증가하지만, 커프오프의 날카운 전이 특성이 성립하는 것은 κ > 1일 때에만 가능하다.