马尔科夫链概述

• 基本思想： 过去所有的信息都已经被保存到了现在的状态，基于现在就可以预测未来。
• Example： 假如每天的天气是一个状态的话，那今天是不是晴天只依赖于昨天的天气，而和前天的天气没有任何关系。当然这么说可能有些武断，但是这样做可以大大简化模型的复杂度。因此马尔科夫链在很多时间序列模型中得到广泛的应用，比如循环神经网络$RNN$，隐式马尔科夫模型$HMM$等，当然$MCMC$也需要它。
• 文字定义： 马尔科夫链为状态空间中经过从一个状态到另一个状态的转换的随机过程，该过程要求具备“无记忆性 ”，即下一状态的概率分布只能由当前状态决定，在时间序列中它前面的事件均与之无关，这种特定类型的“无记忆性”称作马尔科夫性质。
• 数学定义： 假设我们的序列状态是$...Xt-2,Xt-1,Xt,Xt+1,...$,那么我们的在时刻$X_{t+1}$的状态的条件概率仅仅依赖于时刻$X_t$，即：$$P(X_{t+1}|...X_{t-2},X_{t-1},X_t)=P(X_{t+1}|X_t)$$
• 既然某一时刻状态转移的概率只依赖于它的前一个状态，那么我们只要能求出系统中任意两个状态之间的转换概率，这个马尔科夫链的模型就定了。这就引出了我们的状态转移矩阵$P$

状态转移矩阵的性质

• 状态转移矩阵的定义：$P_{ij}=从状态i转移到状态j的概率$
• 平稳分布的判定：
  • 平稳分布：设马尔可夫链$X$有转移概率矩阵$P$，一个概率分布 π = { π 1 , π 2 , π 3 , . . . , π n } \pi=\{\pi_1,\pi_2,\pi_3,...,\pi_n\} π={π1​,π2​,π3​,...,πn​}如果满足${\pi }_j={\sum }_{i=1}^n{\pi }_i{p}_{ij}$，则称$\pi$为该马尔可夫链的平稳分布
  • 唯一平稳分布的判定： 满足不可约、正常返和非周期的马氏链存在唯一的平稳分布
    • 不可约： 从任意状态出发总可以到达其它状态
    • 正常返： 从某一状态出发，经过有限步转移后又可以回到该状态
    • 非周期： 保证马氏链不会陷入循环
  • 细致平稳条件： 设有马尔可夫链$X$，状态分布 π = { π 1 , π 2 , π 3 , . . . , π n } \pi=\{\pi_1,\pi_2,\pi_3,...,\pi_n\} π={π1​,π2​,π3​,...,πn​}，对于任意时刻 $t$ 都满足${\pi }_i{P}_{ij}={\pi }_j{P}_{ji}$，则称状态分布$\pi$满足马尔科夫链的细致平稳条件，该状态分布$\pi$就是该马尔科夫链的平稳分布
  • 细致平稳条件是判断平稳分布的充分而非必要条件
• 然而，随便找一个状态转移矩阵，是无法满足细致平稳条件的，即假设这个随机的状态转移矩阵为$Q$，会有${\pi }_i{Q}_{ij}\ne {\pi }_j{Q}_{ji}$。但在$MCMC$采样方法中对这个问题进行了巧妙的解决。

马氏链的极限定理

• 马氏链的收敛定理： 设 { X n , n ≥ 0 } \{X_n,n\ge0\} {Xn​,n≥0}为一具有可数状态空间$S$的马氏链，其状态转移矩阵为$P$，且它存在唯一平稳分布$\pi$，则在合适的条件下，当$n\to \infty$时，无论$X_n$的初始分布是什么，$X_n$的分布都将收敛到$\pi$
• 马氏链的大数定律： 设 { X n , n ≥ 0 } \{X_n,n\ge0\} {Xn​,n≥0}为一具有状态空间$S$的马氏链，其状态转移矩阵为$P$，且它存在唯一平稳分布$\pi$，对任何有界函数$h(x)$，当状态空间可数时，有$$\frac{1}{n}\sum _{i=0}^{n-1}h(X_i)\to \sum _{j=0}^{n-1}h(X_j){\pi }_j$$当状态空间连续，即不可数时，有$$\frac{1}{n}\sum _{i=0}^{n-1}h(X_i)\to {\int }_{S}h(x)\pi (x)dx$$这个结论实际上就是在说当$n$分大时，与马氏链$X_n$相关的函数$h(X_n)$的均值趋近于它的期望，通过这个结论，我们就可以应用马尔科夫链去近似计算复杂积分了。具体而言，假设我们要计算积分$$\mu ={\int }_{S}h(\theta )\pi (\theta |x)d\theta$$如果后验分布$\pi (\theta |x)$难以直接抽样，那么我们就可以构造一条马氏链$\theta$，使其状态空间为$S$且其平稳分布就是$\pi (\theta |x)$，将此马氏链运行一段时间使其收敛于平稳分布后，将产生一系列服从平稳分布的随机样本${\theta }_0,{\theta }_1,{\theta }_2,...,{\theta }_{n-1}$，由该定理可得$$\mu \approx \frac{1}{n}\sum _{i=0}^{n-1}h({\theta }_i)$$这种计算复杂积分的方法就称为$MCMC$方法

References

• https://www.zhihu.com/question/63305712
• https://zhuanlan.zhihu.com/p/38764470