(转载)机器学习知识点(十三)吉布斯采样法(Gibbs Sampling)

3.1 随机模拟

随机模拟(或者统计模拟)方法有一个很酷的别名是蒙特卡罗方法(Monte Carlo Simulation)。这个方法的发展始于20世纪40年代,和原子弹制造的曼哈顿计划密切相关,当时的几个大牛,包括乌拉姆、冯.诺依曼、费米、费曼、Nicholas Metropolis, 在美国洛斯阿拉莫斯国家实验室研究裂变物质的中子连锁反应的时候,开始使用统计模拟的方法,并在最早的计算机上进行编程实现。

simulation随机模拟与计算机

现代的统计模拟方法最早由数学家乌拉姆提出,被Metropolis命名为蒙特卡罗方法,蒙特卡罗是著名的赌场,赌博总是和统计密切关联的,所以这个命名风趣而贴切,很快被大家广泛接受。被不过据说费米之前就已经在实验中使用了,但是没有发表。说起蒙特卡罗方法的源头,可以追溯到18世纪,布丰当年用于计算[Math Processing Error]π的著名的投针实验就是蒙特卡罗模拟实验。统计采样的方法其实数学家们很早就知道,但是在计算机出现以前,随机数生成的成本很高,所以该方法也没有实用价值。随着计算机技术在二十世纪后半叶的迅猛发展,随机模拟技术很快进入实用阶段。对那些用确定算法不可行或不可能解决的问题,蒙特卡罗方法常常为人们带来希望。

monte-carlo-simulation蒙特卡罗方法

统计模拟中有一个重要的问题就是给定一个概率分布[Math Processing Error]p(x),我们如何在计算机中生成它的样本。一般而言均匀分布 [Math Processing Error]Uniform(0,1)的样本是相对容易生成的。 通过线性同余发生器可以生成伪随机数,我们用确定性算法生成[Math Processing Error][0,1]之间的伪随机数序列后,这些序列的各种统计指标和均匀分布 [Math Processing Error]Uniform(0,1) 的理论计算结果非常接近。这样的伪随机序列就有比较好的统计性质,可以被当成真实的随机数使用。

sampling

生成一个概率分布的样本

而我们常见的概率分布,无论是连续的还是离散的分布,都可以基于[Math Processing Error]Uniform(0,1) 的样本生成。例如正态分布可以通过著名的 Box-Muller 变换得到

[Box-Muller 变换]  如果随机变量 [Math Processing Error]U1,U2 独立且[Math Processing Error]U1,U2∼Uniform[0,1]
[Math Processing Error]Z0=−2ln⁡U1cos(2πU2)Z1=−2ln⁡U1sin(2πU2)
则 [Math Processing Error]Z0,Z1 独立且服从标准正态分布。

其它几个著名的连续分布,包括指数分布、Gamma 分布、t 分布、F 分布、Beta 分布、Dirichlet 分布等等,也都可以通过类似的数学变换得到;离散的分布通过均匀分布更加容易生成。更多的统计分布如何通过均匀分布的变换生成出来,大家可以参考统计计算的书,其中 Sheldon M. Ross 的《统计模拟》是写得非常通俗易懂的一本。

不过我们并不是总是这么幸运的,当[Math Processing Error]p(x)的形式很复杂,或者[Math Processing Error]p(x) 是个高维的分布的时候,样本的生成就可能很困难了。 譬如有如下的情况

  • [Math Processing Error]p(x)=p~(x)∫p~(x)dx,而 [Math Processing Error]p~(x) 我们是可以计算的,但是底下的积分式无法显式计算。
  • [Math Processing Error]p(x,y) 是一个二维的分布函数,这个函数本身计算很困难,但是条件分布 [Math Processing Error]p(x|y),p(y|x)的计算相对简单;如果 [Math Processing Error]p(x) 是高维的,这种情形就更加明显。

此时就需要使用一些更加复杂的随机模拟的方法来生成样本。而本节中将要重点介绍的 MCMC(Markov Chain Monte Carlo) 和 Gibbs Sampling算法就是最常用的一种,这两个方法在现代贝叶斯分析中被广泛使用。要了解这两个算法,我们首先要对马氏链的平稳分布的性质有基本的认识。

3.2 马氏链及其平稳分布

马氏链的数学定义很简单
[Math Processing Error]P(Xt+1=x|Xt,Xt−1,⋯)=P(Xt+1=x|Xt)
也就是状态转移的概率只依赖于前一个状态。

我们先来看马氏链的一个具体的例子。社会学家经常把人按其经济状况分成3类:下层(lower-class)、中层(middle-class)、上层(upper-class),我们用1,2,3 分别代表这三个阶层。社会学家们发现决定一个人的收入阶层的最重要的因素就是其父母的收入阶层。如果一个人的收入属于下层类别,那么他的孩子属于下层收入的概率是 0.65, 属于中层收入的概率是 0.28, 属于上层收入的概率是 0.07。事实上,从父代到子代,收入阶层的变化的转移概率如下

table-1markov-transition

使用矩阵的表示方式,转移概率矩阵记为
[Math Processing Error]P=[0.650.280.070.150.670.180.120.360.52]

假设当前这一代人处在下层、中层、上层的人的比例是概率分布向量 [Math Processing Error]π0=[π0(1),π0(2),π0(3)],那么他们的子女的分布比例将是 [Math Processing Error]π1=π0P, 他们的孙子代的分布比例将是 [Math Processing Error]π2=π1P=π0P2, ……, 第[Math Processing Error]n代子孙的收入分布比例将是 [Math Processing Error]πn=πn−1P=π0Pn

假设初始概率分布为[Math Processing Error]π0=[0.21,0.68,0.11],则我们可以计算前[Math Processing Error]n代人的分布状况如下

table-2

我们发现从第7代人开始,这个分布就稳定不变了,这个是偶然的吗?我们换一个初始概率分布[Math Processing Error]π0=[0.75,0.15,0.1] 试试看,继续计算前[Math Processing Error]n代人的分布状况如下

table-3

我们发现,到第9代人的时候, 分布又收敛了。最为奇特的是,两次给定不同的初始概率分布,最终都收敛到概率分布 [Math Processing Error]π=[0.286,0.489,0.225],也就是说收敛的行为和初始概率分布 [Math Processing Error]π0 无关。这说明这个收敛行为主要是由概率转移矩阵[Math Processing Error]P决定的。我们计算一下 [Math Processing Error]Pn

[Math Processing Error]P20=P21=⋯=P100=⋯=[0.2860.4890.2250.2860.4890.2250.2860.4890.225]

我们发现,当 [Math Processing Error]n 足够大的时候,这个[Math Processing Error]Pn矩阵的每一行都是稳定地收敛到[Math Processing Error]π=[0.286,0.489,0.225] 这个概率分布。自然的,这个收敛现象并非是我们这个马氏链独有的,而是绝大多数马氏链的共同行为,关于马氏链的收敛我们有如下漂亮的定理:

马氏链定理: 如果一个非周期马氏链具有转移概率矩阵[Math Processing Error]P,且它的任何两个状态是连通的,那么 [Math Processing Error]limn→∞Pijn 存在且与[Math Processing Error]i无关,记 [Math Processing Error]limn→∞Pijn=π(j), 我们有

  1. [Math Processing Error]limn→∞Pn=[π(1)π(2)⋯π(j)⋯π(1)π(2)⋯π(j)⋯⋯⋯⋯⋯⋯π(1)π(2)⋯π(j)⋯⋯⋯⋯⋯⋯]
  1.  [Math Processing Error]π(j)=∑i=0∞π(i)Pij
  2.  [Math Processing Error]π 是方程 [Math Processing Error]πP=π 的唯一非负解

其中,
[Math Processing Error]π=[π(1),π(2),⋯,π(j),⋯],∑i=0∞πi=1
[Math Processing Error]π称为马氏链的平稳分布。

这个马氏链的收敛定理非常重要,所有的 MCMC(Markov Chain Monte Carlo) 方法都是以这个定理作为理论基础的。 定理的证明相对复杂,一般的随机过程课本中也不给证明,所以我们就不用纠结它的证明了,直接用这个定理的结论就好了。我们对这个定理的内容做一些解释说明:

  1. 该定理中马氏链的状态不要求有限,可以是有无穷多个的;
  2. 定理中的“非周期“这个概念我们不打算解释了,因为我们遇到的绝大多数马氏链都是非周期的;
  3. 两个状态[Math Processing Error]i,j是连通并非指[Math Processing Error]i 可以直接一步转移到[Math Processing Error]j([Math Processing Error]Pij>0),而是指 [Math Processing Error]i 可以通过有限的[Math Processing Error]n步转移到达[Math Processing Error]j([Math Processing Error]Pijn>0)。马氏链的任何两个状态是连通的含义是指存在一个[Math Processing Error]n, 使得矩阵[Math Processing Error]Pn 中的任何一个元素的数值都大于零。
  4. 我们用 [Math Processing Error]Xi 表示在马氏链上跳转第[Math Processing Error]i步后所处的状态,如果 [Math Processing Error]limn→∞Pijn=π(j) 存在,很容易证明以上定理的第二个结论。由于
    [Math Processing Error]P(Xn+1=j)=∑i=0∞P(Xn=i)P(Xn+1=j|Xn=i)=∑i=0∞P(Xn=i)Pij
    上式两边取极限就得到 [Math Processing Error]π(j)=∑i=0∞π(i)Pij

从初始概率分布 [Math Processing Error]π0 出发,我们在马氏链上做状态转移,记[Math Processing Error]Xi的概率分布为[Math Processing Error]πi, 则有
[Math Processing Error]X0∼π0(x)Xi∼πi(x),πi(x)=πi−1(x)P=π0(x)Pn
由马氏链收敛的定理, 概率分布[Math Processing Error]πi(x)将收敛到平稳分布 [Math Processing Error]π(x)。假设到第[Math Processing Error]n步的时候马氏链收敛,则有
[Math Processing Error]X0∼π0(x)X1∼π1(x)⋯Xn∼πn(x)=π(x)Xn+1∼π(x)Xn+2∼π(x)⋯
所以 [Math Processing Error]Xn,Xn+1,Xn+2,⋯∼π(x) 都是同分布的随机变量,当然他们并不独立。如果我们从一个具体的初始状态 [Math Processing Error]x0 开始,沿着马氏链按照概率转移矩阵做跳转,那么我们得到一个转移序列 [Math Processing Error]x0,x1,x2,⋯xn,xn+1⋯, 由于马氏链的收敛行为,[Math Processing Error]xn,xn+1,⋯ 都将是平稳分布 [Math Processing Error]π(x) 的样本。

3.3 Markov Chain Monte Carlo

对于给定的概率分布[Math Processing Error]p(x),我们希望能有便捷的方式生成它对应的样本。由于马氏链能收敛到平稳分布, 于是一个很的漂亮想法是:如果我们能构造一个转移矩阵为[Math Processing Error]P的马氏链,使得该马氏链的平稳分布恰好是[Math Processing Error]p(x), 那么我们从任何一个初始状态[Math Processing Error]x0出发沿着马氏链转移, 得到一个转移序列 [Math Processing Error]x0,x1,x2,⋯xn,xn+1⋯,, 如果马氏链在第[Math Processing Error]n步已经收敛了,于是我们就得到了 [Math Processing Error]π(x) 的样本[Math Processing Error]xn,xn+1⋯

这个绝妙的想法在1953年被 Metropolis想到了,为了研究粒子系统的平稳性质, Metropolis 考虑了物理学中常见的波尔兹曼分布的采样问题,首次提出了基于马氏链的蒙特卡罗方法,即Metropolis算法,并在最早的计算机上编程实现。Metropolis 算法是首个普适的采样方法,并启发了一系列 MCMC方法,所以人们把它视为随机模拟技术腾飞的起点。 Metropolis的这篇论文被收录在《统计学中的重大突破》中, Metropolis算法也被遴选为二十世纪的十个最重要的算法之一。

我们接下来介绍的MCMC 算法是 Metropolis 算法的一个改进变种,即常用的 Metropolis-Hastings 算法。由上一节的例子和定理我们看到了,马氏链的收敛性质主要由转移矩阵[Math Processing Error]P 决定, 所以基于马氏链做采样的关键问题是如何构造转移矩阵[Math Processing Error]P,使得平稳分布恰好是我们要的分布[Math Processing Error]p(x)。如何能做到这一点呢?我们主要使用如下的定理。

定理:[细致平稳条件] 如果非周期马氏链的转移矩阵[Math Processing Error]P和分布[Math Processing Error]π(x) 满足
[Math Processing Error](1)π(i)Pij=π(j)Pjifor alli,j
则 [Math Processing Error]π(x) 是马氏链的平稳分布,上式被称为细致平稳条件(detailed balance condition)。

其实这个定理是显而易见的,因为细致平稳条件的物理含义就是对于任何两个状态[Math Processing Error]i,j, 从 [Math Processing Error]i 转移出去到[Math Processing Error]j 而丢失的概率质量,恰好会被从 [Math Processing Error]j 转移回[Math Processing Error]i 的概率质量补充回来,所以状态[Math Processing Error]i上的概率质量[Math Processing Error]π(i)是稳定的,从而[Math Processing Error]π(x)是马氏链的平稳分布。数学上的证明也很简单,由细致平稳条件可得
[Math Processing Error]∑i=1∞π(i)Pij=∑i=1∞π(j)Pji=π(j)∑i=1∞Pji=π(j)⇒πP=π
由于[Math Processing Error]π 是方程 [Math Processing Error]πP=π的解,所以[Math Processing Error]π是平稳分布。

假设我们已经有一个转移矩阵为[Math Processing Error]Q马氏链([Math Processing Error]q(i,j)表示从状态 [Math Processing Error]i转移到状态[Math Processing Error]j的概率,也可以写为 [Math Processing Error]q(j|i)或者[Math Processing Error]q(i→j)), 显然,通常情况下 [Math Processing Error]p(i)q(i,j)≠p(j)q(j,i) 也就是细致平稳条件不成立,所以 [Math Processing Error]p(x) 不太可能是这个马氏链的平稳分布。我们可否对马氏链做一个改造,使得细致平稳条件成立呢?譬如,我们引入一个 [Math Processing Error]α(i,j), 我们希望
[Math Processing Error](2)p(i)q(i,j)α(i,j)=p(j)q(j,i)α(j,i)(∗)
取什么样的 [Math Processing Error]α(i,j) 以上等式能成立呢?最简单的,按照对称性,我们可以取
[Math Processing Error]α(i,j)=p(j)q(j,i),α(j,i)=p(i)q(i,j)
于是(*)式就成立了。所以有
[Math Processing Error](3)p(i)q(i,j)α(i,j)⏟Q′(i,j)=p(j)q(j,i)α(j,i)⏟Q′(j,i)(∗∗)
于是我们把原来具有转移矩阵[Math Processing Error]Q的一个很普通的马氏链,改造为了具有转移矩阵[Math Processing Error]Q′的马氏链,而 [Math Processing Error]Q′恰好满足细致平稳条件,由此马氏链[Math Processing Error]Q′的平稳分布就是[Math Processing Error]p(x)

在改造 [Math Processing Error]Q 的过程中引入的 [Math Processing Error]α(i,j)称为接受率,物理意义可以理解为在原来的马氏链上,从状态 [Math Processing Error]i 以[Math Processing Error]q(i,j) 的概率转跳转到状态[Math Processing Error]j 的时候,我们以[Math Processing Error]α(i,j)的概率接受这个转移,于是得到新的马氏链[Math Processing Error]Q′的转移概率为[Math Processing Error]q(i,j)α(i,j)

mcmc-transition马氏链转移和接受概率

假设我们已经有一个转移矩阵Q(对应元素为[Math Processing Error]q(i,j)), 把以上的过程整理一下,我们就得到了如下的用于采样概率分布[Math Processing Error]p(x)的算法。

mcmc-algo-1

上述过程中 [Math Processing Error]p(x),q(x|y) 说的都是离散的情形,事实上即便这两个分布是连续的,以上算法仍然是有效,于是就得到更一般的连续概率分布 [Math Processing Error]p(x)的采样算法,而 [Math Processing Error]q(x|y) 就是任意一个连续二元概率分布对应的条件分布。

以上的 MCMC 采样算法已经能很漂亮的工作了,不过它有一个小的问题:马氏链[Math Processing Error]Q在转移的过程中的接受率 [Math Processing Error]α(i,j) 可能偏小,这样采样过程中马氏链容易原地踏步,拒绝大量的跳转,这使得马氏链遍历所有的状态空间要花费太长的时间,收敛到平稳分布[Math Processing Error]p(x)的速度太慢。有没有办法提升一些接受率呢?

假设 [Math Processing Error]α(i,j)=0.1,α(j,i)=0.2, 此时满足细致平稳条件,于是
[Math Processing Error]p(i)q(i,j)×0.1=p(j)q(j,i)×0.2
上式两边扩大5倍,我们改写为
[Math Processing Error]p(i)q(i,j)×0.5=p(j)q(j,i)×1
看,我们提高了接受率,而细致平稳条件并没有打破!这启发我们可以把细致平稳条件(**) 式中的[Math Processing Error]α(i,j),α(j,i) 同比例放大,使得两数中最大的一个放大到1,这样我们就提高了采样中的跳转接受率。所以我们可以取
[Math Processing Error]α(i,j)=min{p(j)q(j,i)p(i)q(i,j),1}
于是,经过对上述MCMC 采样算法中接受率的微小改造,我们就得到了如下教科书中最常见的 Metropolis-Hastings 算法。

mcmc-algo-2

对于分布 [Math Processing Error]p(x),我们构造转移矩阵 [Math Processing Error]Q′ 使其满足细致平稳条件
[Math Processing Error]p(x)Q′(x→y)=p(y)Q′(y→x)
此处 [Math Processing Error]x 并不要求是一维的,对于高维空间的 [Math Processing Error]p(x),如果满足细致平稳条件
[Math Processing Error]p(x)Q′(x→y)=p(y)Q′(y→x)
那么以上的 Metropolis-Hastings 算法一样有效。

3.2 Gibbs Sampling

对于高维的情形,由于接受率 [Math Processing Error]α的存在(通常 [Math Processing Error]α<1), 以上 Metropolis-Hastings 算法的效率不够高。能否找到一个转移矩阵Q使得接受率 [Math Processing Error]α=1 呢?我们先看看二维的情形,假设有一个概率分布[Math Processing Error]p(x,y), 考察[Math Processing Error]x坐标相同的两个点[Math Processing Error]A(x1,y1),B(x1,y2),我们发现
[Math Processing Error]p(x1,y1)p(y2|x1)=p(x1)p(y1|x1)p(y2|x1)p(x1,y2)p(y1|x1)=p(x1)p(y2|x1)p(y1|x1)
所以得到
[Math Processing Error](4)p(x1,y1)p(y2|x1)=p(x1,y2)p(y1|x1)(∗∗∗)

[Math Processing Error]p(A)p(y2|x1)=p(B)p(y1|x1)
基于以上等式,我们发现,在 [Math Processing Error]x=x1 这条平行于 [Math Processing Error]y轴的直线上,如果使用条件分布 [Math Processing Error]p(y|x1)做为任何两个点之间的转移概率,那么任何两个点之间的转移满足细致平稳条件。同样的,如果我们在[Math Processing Error]y=y1 这条直线上任意取两个点 [Math Processing Error]A(x1,y1),C(x2,y1),也有如下等式
[Math Processing Error]p(A)p(x2|y1)=p(C)p(x1|y1).

gibbs-transition平面上马氏链转移矩阵的构造

于是我们可以如下构造平面上任意两点之间的转移概率矩阵Q
[Math Processing Error]Q(A→B)=p(yB|x1)如果xA=xB=x1Q(A→C)=p(xC|y1)如果yA=yC=y1Q(A→D)=0其它

有了如上的转移矩阵 Q, 我们很容易验证对平面上任意两点 [Math Processing Error]X,Y, 满足细致平稳条件
[Math Processing Error]p(X)Q(X→Y)=p(Y)Q(Y→X)
于是这个二维空间上的马氏链将收敛到平稳分布 [Math Processing Error]p(x,y)。而这个算法就称为 Gibbs Sampling 算法,是 Stuart Geman 和Donald Geman 这两兄弟于1984年提出来的,之所以叫做Gibbs Sampling 是因为他们研究了Gibbs random field, 这个算法在现代贝叶斯分析中占据重要位置。

gibbs-algo-1

two-stage-gibbsGibbs Sampling 算法中的马氏链转移

以上采样过程中,如图所示,马氏链的转移只是轮换的沿着坐标轴 [Math Processing Error]x轴和[Math Processing Error]y轴做转移,于是得到样本 [Math Processing Error](x0,y0),(x0,y1),(x1,y1),(x1,y2),(x2,y2),⋯马氏链收敛后,最终得到的样本就是 [Math Processing Error]p(x,y) 的样本,而收敛之前的阶段称为 burn-in period。额外说明一下,我们看到教科书上的 Gibbs Sampling 算法大都是坐标轴轮换采样的,但是这其实是不强制要求的。最一般的情形可以是,在[Math Processing Error]t时刻,可以在[Math Processing Error]x轴和[Math Processing Error]y轴之间随机的选一个坐标轴,然后按条件概率做转移,马氏链也是一样收敛的。轮换两个坐标轴只是一种方便的形式。

以上的过程我们很容易推广到高维的情形,对于(***) 式,如果[Math Processing Error]x1变为多维情形[Math Processing Error]x1,可以看出推导过程不变,所以细致平稳条件同样是成立的
[Math Processing Error](5)p(x1,y1)p(y2|x1)=p(x1,y2)p(y1|x1)
此时转移矩阵 Q 由条件分布 [Math Processing Error]p(y|x1) 定义。上式只是说明了一根坐标轴的情形,和二维情形类似,很容易验证对所有坐标轴都有类似的结论。所以[Math Processing Error]n维空间中对于概率分布 [Math Processing Error]p(x1,x2,⋯,xn) 可以如下定义转移矩阵

  1. 如果当前状态为[Math Processing Error](x1,x2,⋯,xn),马氏链转移的过程中,只能沿着坐标轴做转移。沿着 [Math Processing Error]xi 这根坐标轴做转移的时候,转移概率由条件概率 [Math Processing Error]p(xi|x1,⋯,xi−1,xi+1,⋯,xn) 定义;
  2.  其它无法沿着单根坐标轴进行的跳转,转移概率都设置为 0。

于是我们可以把Gibbs Smapling 算法从采样二维的 [Math Processing Error]p(x,y) 推广到采样[Math Processing Error]n 维的 [Math Processing Error]p(x1,x2,⋯,xn)

gibbs-algo-2

以上算法收敛后,得到的就是概率分布[Math Processing Error]p(x1,x2,⋯,xn)的样本,当然这些样本并不独立,但是我们此处要求的是采样得到的样本符合给定的概率分布,并不要求独立。同样的,在以上算法中,坐标轴轮换采样不是必须的,可以在坐标轴轮换中引入随机性,这时候转移矩阵 [Math Processing Error]Q 中任何两个点的转移概率中就会包含坐标轴选择的概率,而在通常的 Gibbs Sampling 算法中,坐标轴轮换是一个确定性的过程,也就是在给定时刻[Math Processing Error]t,在一根固定的坐标轴上转移的概率是1。

转载地址:https://cos.name/2013/01/lda-math-mcmc-and-gibbs-sampling/

这篇链接http://www.myexception.cn/cloud/2100158.html也值得学习。

没有更多推荐了,返回首页