[论文解读] Yaglom limits can depend on the starting state

Robert D. Foley, David McDonald|arXiv (Cornell University)|Sep 22, 2017

Stochastic processes and statistical mechanics参考文献 17被引用 3

一句话总结

本文在可数状态空间上构造了一个简单、不可约、非周期、严格次随机的马尔可夫链，其中Yaglom极限——即给定未吸收条件下的极限条件分布——显式依赖于初始状态。关键贡献在于证明了此类与状态相关的Yaglom极限存在，并且与非平凡的$ R^{-1} $-Martin边界相关联，从而解决了关于Yaglom极限是否必须在所有初始状态下唯一的一个开放问题。

ABSTRACT

We construct a simple example, surely known to Harry Kesten, of an R-transient Markov chain on a countable state space S with cemetery state delta. The transition matrix K on S is irreducible and strictly substochastic. We determine the Yaglom limit, that is, the limiting conditional behavior given non-absorption. Each starting state x in S results in a different Yaglom limit. Each Yaglom limit is an rho-invariant quasi-stationary distribution where rho=1/R and R is the convergence parameter of $K$. Yaglom limits that depend on the starting state are related to a nontrivial rho-Martin entrance boundary.

研究动机与目标

• 解决准平稳分布理论中的一个开放问题：在不可约、非周期、严格次随机的马尔可夫链中，Yaglom极限是否必须与初始状态无关。
• 构造一个具体例子，其中每个初始状态$ x \notin \{\delta\} $均产生一个不同的Yaglom极限$ \pi_x $。
• 建立Yaglom极限对初始状态的依赖性与$ R^{-1} $-Martin边界结构之间的联系，特别是当该边界非平凡时。
• 证明广义强比率极限性质（GSRLP）即使在Yaglom极限随初始状态变化时依然成立，从而扩展了Kesten的SRLP框架。

提出的方法

• 在$ S \cup \{\delta\} $上构造一个马尔可夫链，其中$ S $为可数无穷集，$ \delta $为吸收态，且在$ S $上的转移矩阵$ K $为不可约、非周期且严格次随机。
• 将Yaglom极限定义为$ \pi_x(y) = \lim_{n \to \infty} \mathbb{P}_x(X_n = y \mid X_n \in S) $，显式允许其依赖于初始状态$ x $。
• 利用$ t $-不变测度与$ t $-调和函数之间的对偶性，特别是通过Doob的$ h $-变换与时间反转，分析不变测度与调和函数的结构。
• 刻画$ R^{-1} $-Martin边界，并证明该边界的非平凡性与多个不同Yaglom极限的存在性相对应。
• 应用Poisson-Martin积分表示，将$ R^{-1} $-不变的准平稳分布与由最小$ R^{-1} $-不变测度导出的调和函数联系起来。
• 通过“中心-双臂”示例具体说明构造过程，并验证每个初始状态均导致不同的极限条件分布。

实验结果

研究问题

• RQ1 在不可约、非周期、严格次随机的马尔可夫链中，Yaglom极限是否可以依赖于初始状态？
• RQ2 状态空间或转移核的何种结构条件会导致Yaglom极限依赖于初始状态？
• RQ3 非平凡的$ R^{-1} $-Martin边界与多个Yaglom极限的存在性之间有何关系？
• RQ4 当Yaglom极限随初始状态变化时，广义强比率极限性质（GSRLP）是否仍然成立？
• RQ5 当存在$ \rho $-不变的准平稳分布时，Yaglom极限是否仍可能不存在？

主要发现

• Yaglom极限在不同初始状态下并非唯一：每个初始状态$ x \in S $均产生一个不同的极限条件分布$ \pi_x $。
• 不同Yaglom极限的存在性直接与非平凡的$ R^{-1} $-Martin边界相关联，其中$ R $为转移矩阵$ K $的收敛参数。
• 每个Yaglom极限$ \pi_x $均为$ R^{-1} $-不变的准平稳分布，即满足$ \pi_x K = R^{-1} \pi_x $。
• 即使Yaglom极限依赖于初始状态，广义强比率极限性质（GSRLP）依然成立，尽管经典SRLP可能不成立。
• 所构造的示例是非周期且不可约的，但仍表现出与初始状态相关的Yaglom极限，这与“此类极限应唯一”的直觉相矛盾。
• “中心-双臂”示例明确表明，不同初始状态导致不同的$ \pi_x $，且每个$ \pi_x $均为$ S $上的$ R^{-1} $-不变测度。