跳到主要内容

Markov 链 Monte Carlo

阐述​

给定 μ\mu 是一个有限状态 X\mathcal X 上的分布,我们可以找到一个不可约的、非周期的 Markov 链 PP 使得它的稳态分布是 μ\mu,则我们可以运行一段时间,等它接近 μ\mu 之后开始采样。

Metropolis-Hasting Markov 链​

给定 PP 是一个 Markov 链,μ(x)>0\mu(x)>0 是一个 X\mathcal X 上的分布,则构造相应的 Markov 链

P^(x,y)=P(x,y)min⁡(1,μ(y)P(y,x)μ(x)P(x,y))\hat P(x,y)=P(x,y)\min\left(1,\frac{\mu(y)P(y,x)}{\mu(x)P(x,y)}\right)

且 P^(x,x)\hat P(x,x) 的定义使得每行之和为 1。这样定义的 P^\hat P 对 μ\mu 是可逆的,因此 μ\mu 是此 Markov 链的一个稳态分布。

此外,如果 PP 是不可约的,且 P(x,y)>0⇔P^(y,x)>0P(x,y)>0\Leftrightarrow\hat P(y,x)>0,这说明 P^\hat P 也是不可约的。非周期性可以通过以一定概率暂停 PP 来实现。

Gibbs 采样​

设 X=Sn\mathcal X=S^n,SS 是某个集合,n>0n>0。μ\mu 是一个 X\mathcal X 上的分布。则从 (x1,⋯ ,xn)(x_1,\cdots,x_n) 出发,选定一个指标 xix_i 进行如下随机移动:

P(X=x)=μ(x1,⋯ ,x,⋯ ,xn)∑yμ(x1,⋯ ,y,⋯ ,xn)\mathbb P(X=x)=\frac{\mu(x_1,\cdots,x,\cdots,x_n)}{\sum_y\mu(x_1,\cdots,y,\cdots,x_n)}

这个 Markov 链显然对 μ\mu 也是可约的。

实例​

对 Ising 模型 的 Gibbs 采样​

  1. 随机选择一个 v∈Vv\in V
  2. 将 σ(v)\sigma(v) 设置成一个 ±1\pm 1 的 Bernoulli 随机变量,其中为 1 的概率为
exp⁡(β∑wσ(w))exp⁡(−β∑wσ(w))+exp⁡(β∑wσ(w))\frac{\exp\left(\beta\sum_w\sigma(w)\right)}{\exp(-\beta\sum_w\sigma(w))+\exp(\beta\sum_w\sigma(w))}

其中对 ww 的求和可以仅对与 vv 相连的节点完成。

性质​

相关内容​

参考文献​