[논문 리뷰] Arbitrary many walkers meet infinitely often in a subballistic random environment

Alexis Devulder, Nina Gantert외 1명|arXiv (Cornell University)|2018. 11. 29.

Stochastic processes and statistical mechanics참고 문헌 43인용 수 6

한 줄 요약

이 논문은 Z 위의 부분구속성 임의의 환경에서, 임의의 유한 개의 독립적인 랜덤 워크가 거의 확실히 무한번 만남을 이룹니다. 이는 개별 워크가 영속성과 영속성 속도를 가지지만, 환경의 구조와 워크들의 공통된 부분구속성 스케일링 덕분에 연속적인 경로 분해와 커플링 기법을 통해 공동 프로세스가 원점으로 다시 자주 돌아오는 데 기인합니다.

ABSTRACT

We consider $d$ independent walkers in the same random environment in $\\mathbb{Z}$. Our assumption on the law of the environment is such that a single walker is transient to the right but subballistic. We show that - no matter what $d$ is - the $d$ walkers meet infinitely often, i.e. there are almost surely infinitely many times for which all the random walkers are at the same location.

연구 동기 및 목표

• Z 위의 동일한 부분구속성, 영속성 랜덤 환경에서 다수의 독립적인 랜덤 워크가 무한번 만나는지 조사하기.
• 개별 워크의 영속성(영속성 속도 0)과 만남 사건에서의 집단적 재귀성 간의 갈등을 해결하기.
• 이전의 재귀적 환경에서의 충돌 결과를 영속성, 부분구속성 영역으로 확장하기.
• 두 명 이상의 보행자(d ≥ 2)가 무한번 만나는 것이 항상 성립함을 입증하기.

제안 방법

• 공통된 랜덤 환경 ω에서 d개의 독립적인 랜덤 워크의 공동 행동을 분석하기 위해 쿼런스 및 앤넬링 법칙을 사용하기.
• 특히 m₁(h)과 관련된 정지 시간에서 강한 마코프 성질을 적용하여 경로를 분해하기.
• E[ρ₀^κ] = 1 를 만족하는 유일한 κ ∈ (0,1) 가 존재함을 이용하여 단일 워크의 부분구속성 스케일링을 특성화하기.
• 고수준 h에 도달하기 전후의 워크 행동을 환경의 i.i.d. 성질과 경로 분해를 활용해 조건부 커플링하기.
• 전이 확률이 비퇴화됨을 보장하기 위해 환경의 타원성 조건 P[ω₀ ∈ [ε₀,1−ε₀]] = 1 를 사용하기.
• 경로 도달 후 행동과 조건부 랜덤 워크 사이의 법칙 동일성을 이용하여 재귀 분석을 수행하는 증명.

실험 결과

연구 질문

• RQ1 d ≥ 2개의 독립적인 랜덤 워크가 동일한 부분구속성, 영속성 랜덤 환경에서 무한번 만나는가?
• RQ2 개별 워크의 영속성에도 불구하고, 공동 프로세스가 구성 공간에서 재귀적 행동을 보이는가?
• RQ3 단일 워크의 부분구속성 스케일링이 집단적 만남의 빈도와 성격에 어떻게 영향을 미치는가?
• RQ4 만남의 수가 거의 확실히 무한한가, d에 관계없이?

주요 결과

• 모든 d ≥ 2에 대해, 동일한 부분구속성 랜덤 환경에서 d개의 독립적인 랜덤 워크는 거의 확실히 무한번 만나며.
• 각 개별 워크가 영속성과 영속성 속도 0을 가지므로, limₙ→∞ Sₙ / n = 0 a.s. 이지만 결과는 성립한다.
• 핵심 메커니즘은 E[ρ₀^κ] = 1 를 만족하는 유일한 κ ∈ (0,1) 가 존재함을 이용하여 단일 워크의 부분구속성 스케일링을 특성화하는 것임.
• 경로 분해와 커플링 추론에 기반하여, 고수준 h에 도달한 후의 워크 행동이 (−∞,0]보다 [h,∞)에 먼저 도달하도록 조건부로 설정된 랜덤 워크와 법칙적으로 동일함을 보여주는 증명임.
• 공동 프로세스는 Z^d에서 영속적이지만, 환경의 구조와 워크들의 공통 스케일링 덕분에 대각선 집합 {(x,…,x) : x ∈ Z}로 무한번 돌아옴.