[論文レビュー] On the Escape of a Random Walk From Two Pieces of a Tripartite Set

Michael Carlisle|arXiv (Cornell University)|Sep 8, 2012

Diffusion and Search Dynamics参考文献 1被引用数 3

ひとこと要約

この論文は、$C$ が $A$ と $B$ を分離する三部集合状態空間 $ abla = A \sqcup B \sqcup C$ 上のランダムウォークのグリーン関数および期待到達時間の鋭い上限・下限を導出する。強マークフ過程とエクスカージョン分解を用い、$G_{A\cup B}(x,y)$ および $\mathbb{E}^x[T_C]$ の上限・下限を確立する。$A \cup B$ から $C$ への脱出は、$C$ に到達する前に $A$ と $B$ を往復する確率に支配され、主要な境界は $\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$ に戻る条件付き確率を用い、$\rho_a = \mathbb{P}^a(T_B, T^*_A < T_C)$ および $\phi_b = \mathbb{P}^b(T_A, T^*_B < T_C)$ を用いて、$G_{A\cup B}(x,y)$ の再帰的境界を導出する。
• 到達時間の上限を、$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 \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$ 間を往復するエクスカージョンを用いて、$C$ に到達するまでの期待時間を再帰的に境界づけることは可能か？

主な発見

• 任意の $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$ に対して、$C$ への期待到達時間は $\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$ の幾何級数を形成し、$A$ と $B$ 間の複数回のエクスカージョンの確率がサブクリティカルである場合に収束を保証する。
• 本論文は、$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$ 間を往復する確率によって制御されることを示している。