正则马尔可夫矩阵与极限分布：正则转移矩阵核心问题问询

好问题！这两个问题刚好触及了马尔可夫链转移矩阵性质的关键边界，我来逐个拆解说明：

1. 所有正则转移矩阵是否都存在极限分布？ #

答案是肯定的。

首先回顾正则转移矩阵的定义：存在某个正整数 ( n \geq 1 )，使得 ( P^n ) 是全正矩阵（所有元素都大于0）。这个性质等价于对应的马尔可夫链是不可约且非周期的：

• 不可约：任意两个状态之间都能通过有限步转移到达（因为 ( P^n ) 全正，意味着从任何状态i到j，n步内都有正概率）；
• 非周期：没有状态存在大于1的周期（若 ( P^n ) 全正，则对任意状态i，( P^n(i,i) > 0 )，同时结合不可约性可推导出回到该状态的步数最大公约数为1，即非周期）。

根据有限状态马尔可夫链的极限定理：不可约非周期的有限马尔可夫链存在唯一的平稳分布 ( \pi )，并且当 ( n \to \infty ) 时，转移矩阵的幂 ( P^n ) 的每一行都收敛到 ( \pi )——这个 ( \pi ) 就是我们说的极限分布。

所以所有正则转移矩阵必然存在极限分布，而且是唯一的、全局收敛的。

2. 所有存在极限分布的矩阵是否均为正则矩阵？ #

答案是否定的，存在很多存在极限分布但不是正则矩阵的情况，我举两个典型例子：

例子1：可约的分块对角转移矩阵 #

考虑如下4状态的转移矩阵：

P = [
    [0.5, 0.5, 0, 0],
    [0.5, 0.5, 0, 0],
    [0, 0, 0.8, 0.2],
    [0, 0, 0.2, 0.8]
]

这个矩阵是分块对角的，前两个状态构成一个正则子链，后两个状态构成另一个正则子链。当 ( n \to \infty ) 时，( P^n ) 的极限是：

P^∞ = [
    [0.5, 0.5, 0, 0],
    [0.5, 0.5, 0, 0],
    [0, 0, 0.5, 0.5],
    [0, 0, 0.5, 0.5]
]

显然极限存在，但这个矩阵永远不可能是正则的——因为无论n取多大，( P^n ) 的(1,3)、(3,1)等位置始终是0，无法变成全正矩阵。

例子2：吸收态构成的转移矩阵 #

更简单的例子是单位矩阵：

P = [
    [1, 0],
    [0, 1]
]

此时 ( P^n = P ) 对所有n成立，极限就是它本身，但显然 ( P^n ) 永远不是全正矩阵，所以不是正则矩阵，但极限分布是存在的（每个状态自己就是平稳分布）。

总结一下：存在极限分布的转移矩阵只需要满足“每个不可约分支都是非周期的”，但正则矩阵要求的是整个链不可约且非周期，所以范围更小。

内容的提问来源于stack exchange，提问作者conums