[논문 리뷰] On the Escape of a Random Walk From Two Pieces of a Tripartite Set

Michael Carlisle|arXiv (Cornell University)|2012. 09. 08.

Diffusion and Search Dynamics참고 문헌 1인용 수 3

한 줄 요약

이 논문은 삼분할 상태공간 $\Omega = A \sqcup B \sqcup C$ 상에서 랜덤 워크의 그린 함수 및 기대 도달 시간에 대한 날카운 경계를 도출한다. 여기서 $C$ 는 $A$ 와 $B$ 를 분리한다. 강한 마르코프 성질과 외출 분해를 이용하여 $G_{A\cup B}(x,y)$ 와 $\mathbb{E}^x[T_C]$ 에 대한 상한 및 하한을 확립한다. 이는 $C$ 를 만날 이전에 $A$ 와 $B$ 사이로 점프할 확률에 의해 $A \cup B$ 에서 $C$ 로의 탈출이 제어됨을 보여주며, 핵심 경계는 $\psi_a = \mathbb{P}^a(T_B < T_C)$ 와 $\sigma_b = \mathbb{P}^b(T_A < T_C)$ 에 의존한다.

ABSTRACT

Let $\{A, B, C\}$ be a partition of a sample space $Ω$. For a random walk $S_n = x + \sum_{j=1}^n X_j$ starting at $x \in A$, we find estimates for the Green's function $G_{A \cup B}(x,y)$ and the hitting time $E^x(T_C)$ for $x, y \in A \cup B$, with interest in the case where $C$ "separates" $A$ and $B$ in a sense (e.g. the probability of jumping from $A$ to $B$, or vice versa, before hitting $C$, is small).

연구 동기 및 목표

• 세트 $C$ 가 $A$ 와 $B$ 를 분리할 때, 랜덤 워크가 두 집합의 합집합인 $A \cup B$ 에서의 탈출 행동을 분석하는 것.
• $C$ 를 향한 도달 확률에 따라 $x,y \in A \cup B$ 에 대해 그린 함수 $G_{A\cup B}(x,y)$ 에 대한 정량적 경계를 도출하는 것.
• $A \cup B$ 에서 출발할 때 기대 도달 시간 $\mathbb{E}^x[T_C]$ 를 추정하는 것. 특히 $C$ 를 만날 이전에 $A$ 와 $B$ 사이로의 전이가 희박할 경우에 초점.
• $C$ 와 $C \cup A$ 에서의 도달 분포 간 차이를 $p(b,c,C,A) \leq \sigma_b = \mathbb{P}^b(T_A < T_C)$ 를 통해 정량화하는 것.

제안 방법

• 첫 번째 도달 시간 $T_A$, $T_B$, $T_C$ 에서의 강한 마르코프 성질을 사용하여 $A$, $B$, $C$ 사이의 외출으로 경로를 분해한다.
• 마지막 외출 분해를 적용하여 $A^c$ 에서의 외출 지점에 대한 합으로 도달 분포 $H_A(x,y)$ 를 표현하며, $A^c$ 상의 그린 함수를 사용한다.
• 첫 번째 $B$ 를 향한 도달 및 다시 $A$ 로의 복귀 조건부로 $G_{A\cup B}(x,y)$ 의 재귀적 경계를 유도한다. 여기서 $\rho_a = \mathbb{P}^a(T_B, T^*_A < T_C)$ 와 $\phi_b = \mathbb{P}^b(T_A, T^*_B < T_C)$ 를 사용한다.
• 상한 경계를 위해 $T_{B\cup C}$ 와 이후 $B$ 로부터 외출 후 $T_C$ 로의 도달 시간으로 나누어 기대 도달 시간을 분해한다. 이때 $\psi_a = \mathbb{P}^a(T_B < T_C)$ 와 $\sigma_b = \mathbb{P}^b(T_A < T_C)$ 를 사용한다.
• 기대 도달 시간 경계의 재귀를 해결하기 위해 기하급수 합을 사용하여 $\psi\sigma$ 를 포함하는 닫힌 표현식을 도출한다.
• 스피츠터 및 다른 이들의 고전 결과를 삼분할 설정에 맞게 빌려오고 변형하여 그린 함수 및 도달 분포에 대한 결과를 유도한다.

실험 결과

연구 질문

• RQ1 세트 $C$ 가 $A$ 와 $B$ 를 분리할 때, $x,y \in A \cup B$ 에 대해 그린 함수 $G_{A\cup B}(x,y)$ 는 어떻게 행동하는가?
• RQ2 $C$ 가 $A$ 와 $B$ 를 분리하는 조건에서, $A \cup B$ 에서 출발할 때 $\mathbb{E}^x[T_C]$ 의 날카운 상한 및 하한은 무엇인가?
• RQ3 $B$ 에서 출발할 때, $C$ 에서의 도달 분포와 $C \cup A$ 에서의 도달 분포는 어떻게 다를 수 있으며, 이 차이는 무엇에 의해 제어되는가?
• RQ4 $\psi_a = \mathbb{P}^a(T_B < T_C)$ 와 $\sigma_b = \mathbb{P}^b(T_A < T_C)$ 와 같은 확률들이 $A \cup B$ 에서의 탈출을 어떻게 제어하는가?
• RQ5 외출이 $C$ 에 흡수되기 전에 $A$ 와 $B$ 사이를 오가는 방식으로 기대 도달 시간을 재귀적으로 경계 지을 수 있는가?

주요 결과

• 모든 $a,a' \in A$ 에 대해 $G_{A\cup B}(a,a') \leq G_A(a,a') + \frac{\rho_a}{1 - \rho_{a'}} G_A(a',a')$ 를 만족한다. 여기서 $\rho_a = \mathbb{P}^a(T_B, T^*_A < T_C)$ 이다.
• $x \in A$ 에 대해 기대 도달 시간은 $\mathbb{E}^x[T_C] \leq \mathbb{E}^x[T_{B\cup C}] + \psi_x \left[ \frac{f_B + \sigma f_A}{1 - \psi\sigma} \right]$ 를 만족한다. 여기서 $\psi_x = \mathbb{P}^x(T_B < T_C)$ 이고, $\sigma = \sup_{b \in B} \mathbb{P}^b(T_A < T_C)$ 이다.
• $b \in B$ 에서 출발할 때 $C$ 와 $C \cup A$ 에서의 도달 분포 간의 차이는 $p(b,c,C,A) \leq \sigma_b = \mathbb{P}^b(T_A < T_C)$ 로 경계된다. 이는 $\sigma_b$ 가 작을수록 $H_C(b,c) \approx H_{C\cup A}(b,c)$ 를 의미한다.
• 경계는 $C$ 를 만날 이전에 $A$ 에서 $B$ 로의 탈출 확률과 $B$ 에서 $A$ 로의 탈출 확률에만 의존하며, 수렴은 $\psi\sigma < 1$ 에 의해 제어된다. 이는 경계가 날카로움을 의미한다.
• 기대 도달 시간 경계의 재귀적 구조는 비율 $\psi\sigma$ 를 가진 기하급수 급수로 이어지며, 다수의 외출 확률이 임계 이하일 경우 수렴을 보장한다.
• 논문은 $G_{A\cup B}(a,b) \leq \min\left\{ \frac{\sigma_b}{1 - \rho_a} G_A(a,a), \frac{\psi_a}{1 - \phi_b} G_B(b,b) \right\}$ 를 증명한다. 이는 비대칭 그린 함수가 $C$ 를 만날 이전에 $A$ 와 $B$ 사이를 오가는 확률에 의해 제어됨을 보여준다.