[论文解读] The critical Branching Markov Chain is transient

Nina Gantert, Sebastian Mueller|arXiv (Cornell University)|Oct 26, 2005

Stochastic processes and statistical mechanics参考文献 6被引用 31

一句话总结

本文证明了临界分支马尔可夫链（BMC）是瞬时的，即几乎必然不会无限次访问任何状态。该文通过谱半径分析与超调和函数证明了瞬时性，表明当平均后代数等于谱半径的倒数时，即使在不可约运动与恒定分支率下，过程仍无法无限次返回任一状态。

ABSTRACT

We investigate recurrence and transience of Branching Markov Chains (BMC) in discrete time. Branching Markov Chains are clouds of particles which move (according to an irreducible underlying Markov Chain) and produce offspring independently. The offspring distribution can depend on the location of the particle. If the offspring distribution is constant for all locations, these are Tree-Indexed Markov chains in the sense of \cite{benjamini94}. Starting with one particle at location $x$, we denote by $α(x)$ the probability that $x$ is visited infinitely often by the cloud. Due to the irreducibility of the underlying Markov Chain, there are three regimes: either $α(x) = 0$ for all $x$ (transient regime), or $0 < α(x) < 1$ for all $x$ (weakly recurrent regime) or $α(x) = 1$ for all $x$ (strongly recurrent regime). We give classification results, including a sufficient condition for transience in the general case. If the mean of the offspring distribution is constant, we give a criterion for transience involving the spectral radius of the underlying Markov Chain and the mean of the offspring distribution.

研究动机与目标

• 对具有普遍位置依赖后代分布的分支马尔可夫链（BMC）的常返与瞬时行为进行分类。
• 确定临界BMC——即平均后代数等于谱半径倒数时——是否表现出常返或瞬时行为。
• 利用超调和函数与谱半径理论，为一般BMC建立瞬时性的充分条件。
• 证明在准传递或一致收敛假设下，弱常返态不会出现，且常返性蕴含强常返性。

提出的方法

• 将底层不可约马尔可夫链 $P$ 的谱半径 $\rho(P)$ 定义为 $\limsup_{n\to\infty} p^{(n)}(x,y)^{1/n}$，该值表征返回概率的衰减速率。
• 利用满足 $Pf \leq t f$ 的 $t$-超调和函数 $f$，将 $\rho(P)$ 表征为使得此类正函数存在的最小 $t > 0$。
• 通过在返回概率 $p^{(k_i)}(x_{s_i},x_{s_i})$ 超过 $m^{-k_i}$ 的规则时间间隔 $k_i$ 处观察BMC，构造一系列嵌入的Galton-Watson过程，确保其超临界性。
• 通过利用准传递性下有限个轨道的性质，证明这些嵌入过程的灭绝概率均匀地远离1，从而保证无限次返回的正概率。
• 应用Perron-Frobenius定理，计算 $\mathbb{Z}^d$ 上对称随机游动的 $\rho(P)$，得到 $\rho(P) = 2\sum_{i=1}^d \sqrt{p_i^+ p_i^-}$。
• 推导出临界阈值 $m_c = 1 / \rho(P)$，使得当 $m \leq m_c$ 时BMC为瞬时，当 $m > m_c$ 时为强常返。

实验结果

研究问题

• RQ1 当平均后代数等于 $1/\rho(P)$ 时，临界分支马尔可夫链是否为瞬时或常返？
• RQ2 在后代分布与底层马尔可夫链满足何种一般条件下，可保证瞬时性？
• RQ3 弱常返态——即对所有 $x$ 有 $0 < \alpha(x) < 1$——是否实际存在，或在对称性或一致性假设下被排除？
• RQ4 当后代均值为常数时，能否将常返/瞬时分类简化为谱半径条件？
• RQ5 底层马尔可夫链的结构（如 $\mathbb{Z}^d$ 上的对称随机游动）如何影响临界分支强度？

主要发现

• 临界分支马尔可夫链是瞬时的：当平均后代数 $m = 1/\rho(P)$ 时，任意状态 $x$ 被无限次访问的概率 $\alpha(x)$ 对所有 $x$ 均为零。
• 对于 $\mathbb{Z}^d$ 上的对称随机游动，当 $m > 1 / \left(2 \sum_{i=1}^d \sqrt{p_i^+ p_i^-} \right)$ 时BMC为强常返，否则为瞬时。
• 在 $\mathbb{Z}$ 上具有漂移 $p \in (0,1)$ 的随机游动情况下，当 $m \leq 1 / (2\sqrt{p(1-p)})$ 时BMC为瞬时，当 $m > 1 / (2\sqrt{p(1-p)})$ 时为强常返。
• 在准传递性条件下，弱常返态不会出现：若底层链为准传递且后代均值为常数，则对所有 $x$ 有 $\alpha(x) = 0$（瞬时）或 $\alpha(x) = 1$（强常返）。
• 当满足谱半径条件时，所构造的在返回时刻嵌入的Galton-Watson过程的灭绝概率均匀地远离1，从而确保若瞬时性不成立，则存在无限次返回的正概率。
• 该结果解决了先前研究中的矛盾：文献[3]定理4.3中的不等式应为 $\leq$ 而非 $<$，确认临界阈值下瞬时性依然成立。