[论文解读] On hitting times and fastest strong stationary times for skip-free chains

James Allen Fill|arXiv (Cornell University)|Aug 31, 2007

Markov Chains and Monte Carlo Methods参考文献 8被引用 6

一句话总结

本文提供了对布朗与邵于1987年关于连续时间无跳过链通过时间分布结果的新证明，表明从状态0到状态d的通过时间服从d个独立指数随机变量之和，其速率等于生成矩阵的非零特征值。该方法为出生-死亡过程提供了更简洁的显式表示，并可扩展至最快强平稳时间及离散时间类比，为随机单调无跳过过程的混合时间提供了新见解。

ABSTRACT

An (upward) skip-free Markov chain with the set of nonnegative integers as state space is a chain for which upward jumps may be only of unit size; there is no restriction on downward jumps. In a 1987 paper, Brown and Shao determined, for an irreducible continuous-time skip-free chain and any d, the passage time distribution from state 0 to state d. When the nonzero eigenvalues nu_j of the generator are all real, their result states that the passage time is distributed as the sum of d independent exponential random variables with rates nu_j. We give another proof of their theorem. In the case of birth-and-death chains, our proof leads to an explicit representation of the passage time as a sum of independent exponential random variables. Diaconis and Miclo recently obtained the first such representation, but our construction is much simpler. We obtain similar (and new) results for a fastest strong stationary time T of an ergodic continuous-time skip-free chain with stochastically monotone time-reversal started in state 0, and we also obtain discrete-time analogs of all our results. In the paper's final section we present extensions of our results to more general chains.

研究动机与目标

• 使用新方法重新证明布朗与邵于1987年关于连续时间无跳过链通过时间分布的结果。
• 为出生-死亡链提供通过时间的更简洁显式构造，将其表示为独立指数随机变量之和。
• 将结果扩展至具有随机单调时间反演的遍历连续时间无跳过链的最快强平稳时间。
• 为更广泛应用性，开发连续时间结果的离散时间类比。
• 将成果推广至无跳过过程之外的更一般马尔可夫链类。

提出的方法

• 利用生成矩阵的谱性质重新表述通过时间问题，重点关注实数非零特征值。
• 将通过时间构造为独立指数随机变量之和，每个随机变量的速率等于非零特征值ν_j。
• 利用无跳过结构确保特征值为实数且非负，从而支持指数和表示。
• 应用强平稳时间框架，为具有随机单调时间反演的遍历链推导最快强平稳时间T。
• 利用时间反演对偶性与谱分解，将结果扩展至离散时间链。
• 在最后一节将框架推广至非无跳过链，识别出类似表示仍成立的条件。

实验结果

研究问题

• RQ1 能否使用谱方法为出生-死亡链导出更简洁的显式通过时间表示？
• RQ2 在何种条件下，从状态0到状态d的通过时间服从速率等于生成矩阵非零特征值的独立指数随机变量之和？
• RQ3 如何表征并构造具有随机单调时间反演的遍历无跳过链的最快强平稳时间？
• RQ4 连续时间通过时间与强平稳时间结果的离散时间类比是什么？
• RQ5 这些结果在多大程度上可推广至无跳过类之外的更一般马尔可夫链？

主要发现

• 在不可约连续时间无跳过链中，从状态0到状态d的通过时间服从d个独立指数随机变量之和，其速率等于生成矩阵的非零特征值ν_j。
• 对于出生-死亡链，所提出的方法相较于戴亚科尼斯与米克罗的先前构造，提供了更简洁、更显式的通过时间表示。
• 对于具有随机单调时间反演的遍历连续时间无跳过链，可使用相同的指数和框架显式构造最快强平稳时间T。
• 推导出连续时间结果的离散时间类比，表明通过时间分布与强平稳时间构造具有类似性质。
• 该框架被扩展至更一般的链，识别出在何种条件下，通过时间与混合时间的类似谱表示仍保持有效。