[论文解读] 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

一句话总结

本文推导了三元状态空间 $\Omega = A \sqcup B \sqcup C$ 上随机游走的格林函数及期望 hitting 时间的精确界限，其中 $C$ 将 $A$ 和 $B$ 分离。利用强马氏性与穿越分解，本文建立了 $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$ 的概率，推导 $G_{A\cup B}(x,y)$（$x,y \in A \cup B$）的定量界限。
• 估计从 $A \cup B$ 出发时 $\mathbb{E}^x[T_C]$ 的期望 hitting 时间，尤其当在命中 $C$ 前 $A$ 与 $B$ 之间的转移稀少时。
• 通过项 $p(b,c,C,A) \leq \sigma_b = \mathbb{P}^b(T_A < T_C)$ 量化从 $B$ 出发时在 $C$ 与在 $C \cup A$ 上的 hitting 分布之间的差异。

提出的方法

• 利用首次命中时间 $T_A$、$T_B$ 与 $T_C$ 的强马氏性，将路径分解为在 $A$、$B$ 与 $C$ 之间的穿越。
• 应用最后退出分解，将 hitting 分布 $H_A(x,y)$ 表示为从 $A^c$ 退出点的求和，使用 $A^c$ 上的格林函数。
• 通过条件于从 $A$ 首次到达 $B$ 后再返回的路径，推导 $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)$。
• 通过将 hitting 时间分解为阶段 $T_{B\cup C}$ 与从 $B$ 退出后命中 $C$ 的时间，建立 $\mathbb{E}^x[T_C]$ 的上界，使用 $\psi_a = \mathbb{P}^a(T_B < T_C)$ 与 $\sigma_b = \mathbb{P}^b(T_A < T_C)$。
• 使用几何级数求和求解 hitting 时间界限中的递推关系，得到包含 $\psi\sigma$ 的闭式表达。
• 借用并改编了关于格林函数与 hitting 分布的经典结果，特别是来自 Spitzer 等人的工作，以适用于三元设置。

实验结果

研究问题

• RQ1 当 $C$ 分离 $A$ 与 $B$ 时，$x,y \in A \cup B$ 的格林函数 $G_{A\cup B}(x,y)$ 如何表现？
• RQ2 当游走从 $A \cup B$ 开始且 $C$ 作为分隔器时，$\mathbb{E}^x[T_C]$ 的紧致上下界是什么？
• RQ3 从 $B$ 出发时，$C$ 上的 hitting 分布与 $C \cup A$ 上的 hitting 分布有何不同？这种差异由什么控制？
• 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$，有 $\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$ 上 hitting 分布的差异满足 $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$ 控制。
• hitting 时间界限中的递推结构导致一个公比为 $\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$ 的概率控制。