可逆链与细致平衡

平稳性只要求每个状态的总流入等于总流出，像一座水池的水位不变；细致平衡要求每一对状态之间的正反流量分别相等，因此连局部环流也不存在。后者更强，却常把一个全局线性方程组拆成容易检查的逐边等式。

从时间方向看，观察一条已经处于稳态的可逆链，录像倒放后仍遵循同一转移规律。这个对称性让转移算子在以 $\pi$ 加权的内积下自伴，从而可以使用实谱与正交展开分析收敛。

在无向加权图上，令边权满足 $w_{xy}=w_{yx}\ge 0$，并取

则 $\pi (x)P(x,y)=w_{xy}/\sum _z{w}_z$，显然对换 $x,y$ 不变。普通无向图随机游走的度数平稳分布正是这一例子。

平稳不必可逆。三状态定向环按同一方向确定移动，均匀分布平稳，但某条正向边有正流量而反向边流量为零，细致平衡失败。可逆性也总是相对于指定的 $\pi$；当 $\pi (x)=0$ 时，不能随意用 $\pi (y)P(y,x)/\pi (x)$ 定义反向概率。不可约有限链的平稳分布处处为正，才避开这个除零问题。

细致平衡是构造 MCMC 的常用设计准则：先指定目标分布，再让提议与接受规则逐边配平。它是充分条件而非必要条件，非可逆链同样可以拥有所需平稳分布，甚至可能混合更快。

在混合时间公理库混合时间Mixing time · Markov chain mixing timeMarkov 链从最坏初态接近平稳分布到指定总变差精度所需的步数。分析中，可逆性把转移算子变成加权 $L^2(\pi )$ 上的自伴算子，谱隙、Dirichlet 形式与 conductance 因而获得清晰关系。定义层面仍应先区分平稳性、不可约性与可逆性，再按证明需要选择这些额外结构。