irreducible

不可约性 (Irreducibility)

不可约性 (Irreducibility) 是马尔可夫链理论与矩阵分析中的核心概念，描述一个系统在任何两个状态之间是否存在"相互可达"的连通路径。在马尔可夫链中，不可约性保证链的长期行为不依赖于初始状态，为平稳分布的存在唯一性及MCMC方法的收敛性提供理论根基；在非负矩阵理论中，不可约性是Perron-Frobenius定理的关键前提，深刻影响着投入产出分析与网络经济学的模型性质。

马尔可夫链的不可约性

设 $\{X_t\}_{t \geq 0}$ 为定义在可数状态空间 $\mathcal{S}$ 上的马尔可夫链，转移概率为 $P_{ij} = P(X_{t+1} = j \mid X_t = i)$。称状态 $j$ 可达 (Accessible) 状态 $i$，若存在 $n \geq 0$ 使得 $P^n_{ij} > 0$，记作 $i \to j$。若 $i \to j$ 且 $j \to i$，则称 $i$ 与 $j$ 互通 (Communicate)，记作 $i \leftrightarrow j$。

定义：若马尔可夫链中所有状态均属于同一个互通类——即对任意 $i, j \in \mathcal{S}$ 均有 $i \leftrightarrow j$——则该链称为不可约 (Irreducible)。反之，若状态空间可分解为多个互不连通的闭集，则链为可约 (Reducible)。

不可约性的核心推论是：无论从哪个状态出发，链都能以正概率访问任意其他状态。这一性质排除了"陷阱状态"（如吸收马尔可夫链中的吸收态）和"分隔区域"（如两个永不交互的子群体），确保整个状态空间构成一个有机整体。

有限状态不可约链的判定

对于有限状态空间 $\mathcal{S} = \{1, 2, \ldots, K\}$，可通过转移概率矩阵 $P$ 的邻接图 (Adjacency Graph) 直观判断：将状态视为节点，若 $P_{ij} > 0$ 则从 $i$ 到 $j$ 连一条有向边。链不可约等价于该有向图是强连通的——任意两个节点间存在有向路径。

等价地，检验矩阵 $(I + P)^{K-1}$ 的所有元素是否严格为正，其中 $I$ 为单位矩阵。

不可约性与平稳分布

不可约性是马尔可夫链长期行为分析的基础。结合正常返 (Positive Recurrence) 与非周期性 (Aperiodicity)，不可约链满足以下关键定理：

若马尔可夫链不可约且正常返，则存在唯一的平稳分布 $\pi$，满足 $\pi = \pi P$ 且 $\sum_i \pi_i = 1$。若进一步满足非周期性，则链是遍历 (Ergodic) 的，即无论初始分布如何，均有：

这一收敛性质是马尔可夫链蒙特卡洛 (MCMC) 方法的理论基础。在贝叶斯计量经济学中，MCMC算法（如Metropolis-Hastings算法、Gibbs采样）通过构造以目标后验分布为平稳分布的不可约马尔可夫链，实现对高维积分的数值逼近。不可约性确保采样器能够探索参数空间的全部区域，避免陷入局部模式。

非负矩阵中的不可约性

在矩阵理论中，一个 $n \times n$ 非负矩阵 $A = (a_{ij})_{n \times n}$ 称为不可约，若不存在置换矩阵 $Q$ 使得：

其中 $B$ 和 $D$ 为方阵。简言之，不可约矩阵无法通过行列重排化为分块上三角形式。

不可约非负矩阵是Perron-Frobenius定理的核心适用对象：若 $A \geq 0$ 不可约，则其谱半径 $\rho(A) > 0$ 是一个单重正特征值（称为Perron根），对应的特征向量可选取为严格正向量。该结论在投入产出分析中至关重要：Leontief逆矩阵 $(I - A)^{-1} = I + A + A^2 + \cdots$ 的收敛性依赖技术系数矩阵 $A$ 的不可约性与谱半径条件，不可约性保证各产业部门之间存在完全的前向或后向关联，不存在孤立产业群。

经济应用场景

1. 收入分布的动态演化：若社会流动性矩阵不可约，则长期收入分布唯一且与初始不平等程度无关，为代际流动研究提供基准模型。
2. 信用评级迁移：评级转移矩阵的不可约性意味着任何评级的企业最终可能迁移至任意其他评级（包括违约），是信用风险模型中估计违约概率的基础假设。
3. 产业网络分析：不可约性等价于经济中不存在"孤岛产业"，是分析冲击在产业链中传导与放大的前提条件。
4. 博弈论中的随机演化：在演化博弈的随机稳定策略分析中，随机扰动下的转移矩阵不可约保证唯一遍历分布存在，从而能够识别长期主导策略。

不可约性虽是一个形式化的数学条件，但其经济直觉清晰：它描述了系统不存在不可逾越的壁垒或封闭子群，是"长期均衡唯一且可达"这一核心命题的数学表达。