[논문 리뷰] Large deviation principle for one-dimensional random walk in dynamic random environment: attractive spin-flips and simple symmetric exclusion

Luca Avena, Frank den Hollander외 1명|ArXiv.org|2009. 11. 30.

Stochastic processes and statistical mechanics참고 문헌 33인용 수 11

한 줄 요약

이 논문은 매력적인 스핀-뒤집기 체계 또는 단순 대칭 배제 과정에 의해 구동되는 동적 랜덤 환경에서의 1차원 랜덤 워크에 대해 대수적 원리(LDP)를 수립한다. 지수적 공간-시간 혼합 조건 하에서, 캐논리컬 및 쿠엔치드 속도 함수가 유일한 영점을 가지며, 정적 환경에서 관찰되는 느린 현상이 제거됨을 보여준다; 그러나 비-콘-혼합 조건을 만족하지 않는 단순 대칭 배제 과정에서는 느린 현상이 지속됨을 확인한다.

ABSTRACT

Consider a one-dimensional shift-invariant attractive spin-flip system in equilibrium, constituting a dynamic random environment, together with a nearest-neighbor random walk that on occupied sites has a local drift to the right but on vacant sites has a local drift to the left. In previous work we proved a law of large numbers for dynamic random environments satisfying a space-time mixing property called cone-mixing. If an attractive spin-flip system has a finite average coupling time at the origin for two copies starting from the all-occupied and the all-vacant configuration, respectively, then it is cone-mixing. In the present paper we prove a large deviation principle for the empirical speed of the random walk, both quenched and annealed, and exhibit some properties of the associated rate functions. Under an exponential space-time mixing condition for the spin-flip system, which is stronger than cone-mixing, the two rate functions have a unique zero, i.e., the slow-down phenomenon known to be possible in a static random environment does not survive in a fast mixing dynamic random environment. In contrast, we show that for the simple symmetric exclusion dynamics, which is not cone-mixing (and which is not a spin-flip system either), slow-down does occur.

연구 동기 및 목표

• 매력적인 스핀-뒤집기 체계에 의해 구동되는 1차원 이웃-근처 랜덤 워크에 대해 쿠엔치드 및 캐논리컬 대수적 원리(LDP)를 수립하기.
• 정적 랜덤 환경에서 흔히 나타나는 느린 현상이, 빠른 혼합 조건을 만족하는 동적 환경에서도 지속되는지 조사하기.
• 특히 콘-혼합 스핀-뒤집기 체계와 비-콘-혼합 단순 대칭 배제 과정을 비교하여, 다양한 동적 환경의 역학에서 랜덤 워크의 경험적 속도 행동 분석하기.
• 쿠엔치드 및 캐논리컬 LDP의 속도 함수가 유일한 영점을 가지는 조건을 규명하여, 느린 현상이 없음을 의미하기.
• 특히 지수적 혼합 조건을 포함한 공간-시간 혼합 성질이 랜덤 워크의 대수적 행동에 미치는 영향 분석하기.

제안 방법

• 동적 랜덤 환경을 ℤ 위에서의 이동 불변성과 매력적인 스핀-뒤집기 체계로 형식화하고, 국소 뒤집기 비율 c(x,η)로 정의된 생성자 L을 사용하여 확률적 안정성과 에르고딕성을 보장한다.
• 상태에 따라 이동 비율이 달라지는 랜덤 워크 X_t를 정의: 점유된 자리에서는 오른쪽으로 비율 α, 빈 자리에서는 왼쪽으로 비율 β로 이동하며, 0 < β < α 이므로 밀도가 높은 곳으로의 이동 경향이 있다.
• 환경 조건부 확률 측도 P⁰_ξ(쿠엔치드 측도)와 평형 측도 μ에 대한 평균화된 측도 ℙ_μ,0(캐논리컬 측도)를 정의하여 쿠엔치드 및 캐논리컬 LDP 유도하기.
• 쿠엔치드 자유 에너지와 환경의 공간-시간 혼합 성질을 포함하는 변분 공식을 통해 캐논리컬 LDP 수립하기.
• 환경의 콘-혼합 성질에 기반하여 커플링 기법과 지수적 모멘트 추정을 사용해 쿠엔치드 LDP 증명하기.
• 비-콘-혼합 환경으로서의 단순 대칭 배제 과정을 분석하여, 빠른 혼합 조건이더라도 느린 현상이 여전히 발생할 수 있음을 보여주기.

실험 결과

연구 질문

• RQ1 랜덤 워크의 경험적 속도에 대한 캐논리컬 LDP가 유일한 영점을 가지는 동적 환경의 조건은 무엇인가?
• RQ2 정적 환경에서 흔히 나타나는 느린 현상—즉, 갇힘으로 인해 평균보다 느리게 이동하는 현상—이 빠른 혼합 조건을 만족하는 동적 환경에서도 지속되는가?
• RQ3 쿠엔치드 및 캐논리컬 속도 함수의 형태와 정의역은 어떻게 다른가? 이는 랜덤 워크의 일반적인 행동에 어떤 의미를 갖는가?
• RQ4 단순 대칭 배제 과정처럼 콘-혼합 조건을 만족하지 않는 동적 환경에서도 느린 현상 효과가 지속될 수 있는가?
• RQ5 지수적 공간-시간 혼합 조건이 속도 함수의 영점 유일성과 느린 현상의 부재를 보장하는 데 어떤 역할을 하는가?

주요 결과

• 캐논리컬 LDP는 볼록 속도 함수 I^ann(θ)를 가지며, 이는 구간 [v⁻_ann, v⁺_ann] 내에서 0이고, 그 외부에서는 양수이며, 이는 일반적인 속도가 비퇴화된 구간에 집중되어 있음을 나타낸다.
• 지수적 공간-시간 혼합 조건(콘-혼합보다 더 강한 조건) 하에서, 쿠엔치드 및 캐논리컬 속도 함수가 모두 유일한 영점을 가지며, 이는 장기적으로 느린 현상이 발생하지 않음을 의미한다.
• 콘-혼합 조건을 만족하지 않는 단순 대칭 배제 과정에서는 느린 현상이 여전히 발생함을 보여주며, 이는 모든 동적 환경에서 느린 현상의 부재가 보장되지 않음을 시사한다.
• 쿠엔치드 LDP는 커플링 기법과 모멘트 추정을 통해 수립되었으며, 콘-혼합 조건 하에서 쿠엔치드 속도가 거의 확실히 특정한 결정론적 값 v로 수렴함을 보여준다.
• 랜덤 워크가 √(t log t)의 변동 스케일 내에 머무를 확률은 로그적 점근적 확률이 0임을 보여주며, 이는 일반적인 변동이 부분확산적임을 의미한다.
• 캐논리컬 LDP의 속도 함수는 구간 [v⁻_ann, v⁺_ann] 외부에서는 엄밀히 양수이며, 이 구간은 [−(α−β), α−β] 내에 포함되어 있으며, 이는 가능한 최대의 이동 경향을 반영한다.