[논문 리뷰] Quenched exit times for random walk on dynamical percolation

Yuval Peres, Perla Sousi외 1명|arXiv (Cornell University)|2017. 07. 24.

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

한 줄 요약

이 논문은 $ℤ_n^d$ 토러스 위의 동적 퍼콜레이션에서 단순 랜덤 워크의 퇴출 시간에 대해 모든 $p \in (0,1)$ 에 대해 고정된 상한을 확립한다. 이 상한은 하향 경계와 일치하며, 하향 경계가 알려진 하위임계 영역($p < p_c(ℤ^d)$)에서 성립한다. 진동 집합과 마팅게일 기법을 사용하여, $p$ 에 대해 일관되게 $O(n^2 / \mu)$ 로 상한이 존재함을 증명하며, 이는 이전의 안네일드 결과를 고정된 설정으로 확장하고, 동적 환경의 일반적인 실현에서 혼합 행동에 대한 이해의 격차를 해소한다.

ABSTRACT

We consider random walk on dynamical percolation on the discrete torus $\mathbb{Z}_n^d$. In previous work, mixing times of this process for $p

연구 동기 및 목표

• 동적 퍼콜레이션에서의 고정된 혼합 및 퇴출 시간에 대한 이해의 격차를 메우기 위해, 이전 결과가 안네일드 설정으로 국한되어 있었음을 해결한다.
• 모든 간선 개방 확률 $p$ 에 대해 일관되게 성립하는 고정된 퇴출 시간 상한을 확립한다. 이는 하위임계 및 초임계 영역을 포함한다.
• 동적 환경에서 유래하는 시간 비균일 마코프 체인에 대해 진동 집합 방법을 확장하여, 혼합 및 퇴출 시간에 대한 고정된 상한을 가능하게 한다.
• 특히 안네일드 상한이 고정된 행동을 의미하지 않는 영역에서, 안네일드 상한과 고정된 행동 간의 괴리 문제를 해결한다.

제안 방법

• 동적 퍼콜레이션에 의해 유도되는 시간 비균일 마코프 체인에 진동 집합 과정을 적응하여 환경에 의존하는 전이 핵심을 사용한다.
• 진동 집합의 $Z_n = \pi(S_n)^{-1}$ 형태의 수정된 마팅게일을 도입하며, 여기서 $\pi(S_n)$ 은 집합 $S_n$ 의 정적 측도이다. 그리고 $\mathbb{E}[Z_{n+1} \mid Z_n] \leq Z_n(1 - f_0(Z_n))$ 을 증명한다.
• 함수 $f_0(z) = \psi(1/z^2)$ 를 사용하여 $\mathbb{E}[Z_n]$ 의 감쇠를 제어하며, 여기서 $\psi$ 는 환경 과정의 스펙트럴 갭이다.
• 스펙트럴 갭 $\psi(S)$ 와 도전도 $\varphi(S)$ 를 비교하여, 모든 $r$ 에 대해 $\psi(r) \geq \frac{\gamma^2}{2(1-\gamma)^2}\varphi^2(r)$ 를 확립한다.
• 마르코프 부등식과 $\chi(\mathbb{P}_{x,\eta}(Y_n=\cdot), \pi) \leq \widehat{\mathbb{E}}_{\{x\},\zeta}[Z_n]$ 의 유계를 사용하여 고정된 설정에서의 총 변화 거리 제어를 수행한다.
• 적분 조건 $n \geq 1 + \frac{2(1-\gamma)^2}{\gamma^2}\int_{4\pi(x)}^{4/\varepsilon} \frac{du}{u\varphi^2(u)}$ 를 통해 퇴출 시간에 대한 일관된 상한을 유도하며, 이는 $\mathbb{E}[Z_n] \leq \sqrt{\varepsilon}$ 를 보장한다.

실험 결과

연구 질문

• RQ1 모든 $p \in (0,1)$ 에 대해 동적 퍼콜레이션에서의 랜덤 워크에 대해 고정된 퇴출 시간 상한을 일관되게 확립할 수 있는가?
• RQ2 진동 집합 방법은 동적 환경에서 유래하는 시간 비균일 체인으로 확장 가능한가? 이는 고정된 혼합 시간 상한을 가능하게 하는가?
• RQ3 고정된 퇴출 시간 행동은 안네일드 혼합 시간 상한과 어떻게 비교되는가? 특히 초임계 영역에서의 비교는 어떻게 되는가?
• RQ4 환경에 대한 조건부 기대값 프레임워크를 사용하여 안네일드와 고정된 혼합 행동 간의 괴리를 해결할 수 있는가?

주요 결과

• 모든 $p \in (0,1)$ 에 대해 고정된 퇴출 시간은 $O(n^2 / \mu)$ 로 상한이 존재하며, 이는 하위임계 영역($p < p_c(\mathbb{Z}^d)$)에서 알려진 하향 경계와 일치한다.
• 상한은 $p$ 에 대해 일관되게 성립하며, 이는 이전 결과가 하위임계 영역에 국한되어 있었던 것을 초월한다.
• 증명 과정에서 모든 $n \geq 1 + \frac{2(1-\gamma)^2}{\gamma^2}\int_{4\pi(x)}^{4/\varepsilon} \frac{du}{u\varphi^2(u)}$ 에 대해 $\mathbb{E}[Z_n] \leq \sqrt{\varepsilon}$ 를 확보함으로써 고정된 총 변화 거리가 최대 $\varepsilon^{1/4}$ 가 되도록 보장한다.
• 진동 집합 과정은 시간 비균일 체인에 적응되었으며, 동적 환경 하에서 $\pi(S_n)$ 의 마팅게일 성질이 유지된다.
• 환경 과정의 스펙트럴 갭 $\psi$ 는 도전도 $\varphi$ 와 $\psi(r) \geq \frac{\gamma^2}{2(1-\gamma)^2}\varphi^2(r)$ 관계를 통해 연결되며, 이는 혼합 시간에 대한 적분 상한을 가능하게 한다.
• 이 결과는 이전 방법이 하위임계 상한 $n^2/\mu$ 조차 도출하지 못했던 초임계 영역에서 고정된 상한의 부재 문제를 해결한다.