蒙特卡罗方法与马尔科夫链
一. 蒙特卡罗方法
蒙特卡罗是什么?
赌城!蒙特卡洛是摩纳哥公国的一座城市,位于欧洲地中海之滨、法国的东南方,属于一个版图很小的国家摩纳哥公国,世人称之为“赌博之国”、“袖珍之国”、“邮票小国”。蒙特卡洛的赌业,海洋博物馆的奇观,格蕾丝王妃的下嫁,都为这个小国增添了许多传奇色彩,作为世界上人口最密集的一个国度,摩纳哥在仅有1.95平方千米的国土上聚集了3.3万的人口,可谓地窄人稠。但相对于法国,摩纳哥的地域实在是微乎其微,这个国中之国就像一小滴不慎滴在法国版图内的墨汁,小得不大会引起人去注意它的存在。蒙特卡罗方法于20世纪40年代美国在第二次世界大战中研制原子弹的曼哈顿计划时首先提出,为保密选择用赌城摩纳哥的蒙特卡洛作为代号,因而得名。
看到这里,你可能似乎已经意识到,这个方法一定和赌博,概率分布,近似数值计算有着千丝万缕的联系。事实的确如此,首先我想引用一段李航老师在《统计学习方法》中关于MCMC的介绍:
蒙特卡罗法(Monte Carlo method),也称为统计模拟方法(statistical simulationmethod),是通过从概率模型的随机抽样进行近似数值计算的方法。
马尔可夫链蒙特卡罗法**(Markov Chain Monte Carlo,MCMC),则是以马尔可夫链(Markovchain)为概率模型的蒙特卡罗法**。马尔可夫链蒙特卡罗法构建一个马尔可夫链,使其平稳分布就是要进行抽样的分布,首先基于该马尔可夫链进行随机游走,产生样本的序列,之后使用该平稳分布的样本进行近似的数值计算。
Metropolis-Hastings 算法是最基本的马尔可夫链蒙特卡罗法,Metropolis 等人在 1953 年提出原始的算法,Hastings 在1970 年对之加以推广,形成了现在的形式。吉布斯抽样(Gibbs sampling)是更简单、使用更广泛的马尔可夫链蒙特卡罗法,1984 年由S. Geman 和D. Geman 提出。
马尔可夫链蒙特卡罗法被应用于概率分布的估计、定积分的近似计算、最优化问题的近似求解等问题,特别是被应用于统计学习中概率模型的学习与推理,是重要的统计学习计算方法。
相信读完这一段大多数人都依然懵逼,我们一个概念一个概念地介绍,对于任何一种方法,我们会先阐明它在生活中的用途,让读者有个总体的认识,再去推导它的数学原理,让它彻底地为你所用。
从蒙特卡洛方法说起
生活中的例子:
- 1.蒙特卡罗估计圆周率 π\piπ 的值
绘制一个单位长度的正方形,并绘制四分之一圆。在正方形上随机采样尽可能多的点,放上 3000 次,就可以得到如下这张图:
蒙特卡罗估计圆周率
洒完这些点以后,圆周率的估计值就很明显了:
π=4N3000\pi = \frac{4N}{3000}π=30004N
其中 NNN 是一个数据点放在圆内部的次数。
- 2.蒙特卡罗估计任意积分的值
蒙特卡罗估计任意积分的值
在该矩形内部,产生大量随机点,可以计算出有多少点落在阴影部分的区域,判断条件为 yi<f(xi)y_i < f(x_i)yi<f(xi) ,这个比重就是所要求的积分值,即:
N阴影Ntotal=S积分S矩形\frac{N_{阴影}}{N_{total}} = \frac{S_{积分}}{S_{矩形}}NtotalN阴影=S矩形S积分
- 3.蒙特卡罗求解三门问题
三门问题(Monty Hall problem)大致出自美国的电视游戏节目Let’s Make a Deal。问题名字来自该节目的主持人蒙提·霍尔(Monty Hall)。参赛者会看见三扇关闭了的门,其中一扇的后面有一辆汽车,选中后面有车的那扇门可赢得该汽车,另外两扇门后面则各藏有一只山羊。当参赛者选定了一扇门,但未去开启它的时候,节目主持人开启剩下两扇门的其中一扇,露出其中一只山羊。主持人其后会问参赛者要不要换另一扇仍然关上的门。问题是:换另一扇门会否增加参赛者赢得汽车的机率吗?如果严格按照上述的条件,即主持人清楚地知道,自己打开的那扇门后是羊,那么答案是会。不换门的话,赢得汽车的几率是1/3。换门的话,赢得汽车的几率是2/3。
在三门问题中,用 0、1、2分别代表三扇门的编号,在 [0,2][0,2][0,2] 之间随机生成一个整数代表奖品所在门的编号 prize,再次在 [0,2][0,2][0,2] 之间随机生成一个整数代表参赛者所选择的门的编号 guess。用变量 change 代表游戏中的换门(turetureture)与不换门(falsefalsefalse):
蒙特卡罗求解三门问题
这样大量重复模拟这个过程(10000次或者100000次)就可以得到换门猜中的概率和不换门猜中的概率。
使用python编程实现(程序太简单就省了,节约版面),结果为:
玩1000000次,每一次都换门:
中奖率为:
0.667383
玩1000000次,每一次都不换门:
中奖率为:
0.333867
发现了吗?蒙特卡罗方法告诉我们,换门的中奖率竟是不换门的2倍。Why?
蒙特卡罗求解三门问题理解
下面这个例子就能够让你理解这个问题:
比如说主持人和你做游戏,你有一个箱子,里面有1个球;主持人一个箱子,里面有 222 个球。他知道每个球的颜色,但你啥也不知道。但是 333 个球里面只有 111 个紫色的球,222 个蓝色的球,谁手里面有紫色的球,谁就获得大奖。
主持人说:你要和我换箱子吗?
当然换,我箱子里只有1个球,中奖率 13\frac{1}{3}31 ,他箱子里有2个球,中奖率 23\frac{2}{3}32,换的中奖率是不换的 2 倍。
这是这个游戏的结论。现在情况变了:
主持人从他的箱子里扔了一个蓝色的球之后说:你要和我换箱子吗?
当然换,我箱子里只有1个球,中奖率 13\frac{1}{3}31,他箱子里有2个球,中奖率 23\frac{2}{3}32。扔了一个蓝色的,中奖率没变还是 , 23\frac{2}{3}32换的中奖率是不换的 2 倍。
这是这个游戏的结论。现在情况又变了:
没有箱子了,3个球之前摆了3扇门,只有一扇门后面是紫色的球,你只有1扇门,主持人有2扇,现在,主持人排除了一扇后面是蓝色球的门,再问你:你要和我换门吗?
这种情况和上一种一模一样,只不过去掉了箱子的概念,换成了门而已,当然这不是重要的,你也可以换成铁门,木门,等等。
所以还是换,我只有1个门,中奖率 13\frac{1}{3}31 ,他有2个门,中奖率 23\frac{2}{3}32。扔了一个没用的门,中奖率没变还是 , 23\frac{2}{3}32换的中奖率是不换的 2 倍。
Over!有点跑偏了,怎么说到三门问题上去了???本文想表达的只是蒙特卡罗方法可以帮助我们求解三门问题。
- 4.蒙特卡罗估计净利润
这个问题来自小学课本。
证券市场有时交易活跃,有时交易冷清。下面是你对市场的预测。
- 如果交易Slow,你会以平均价11元,卖出5万股。
- 如果交易Hot,你会以平均价8元,卖出10万股。
- 如果交易Ok,你会以平均价10元,卖出7.5万股。
- 固定成本12万。
已知你的成本在每股5.5元到7.5元之间,平均是6.5元。请问接下来的交易,你的净利润会是多少?
取1000个随机样本,每个样本有两个数值:一个是证券的成本(5.5元到7.5元之间的均匀分布),另一个是当前市场状态(Slow、Hot、Ok,各有 13\frac{1}{3}31 可能)。
蒙特卡罗估计净利润
模拟计算得到,平均净利润为92, 427美元。
计算方法是:1000次抽样,每次按均匀分布随机选定一个成本值、同时按1/3的概率选中一个市场情境,然后拿这两个参数可计算出净利润、平均利润,千次加总并取均值就是结果。
(4.5×5+1.5×10+3.5×7.5)/3−12=9.25(万)(4.5 \times 5 + 1.5 \times 10 + 3.5 \times 7.5) / 3 - 12 = 9.25(万)(4.5×5+1.5×10+3.5×7.5)/3−12=9.25(万)
问:这些例子的共同点是什么?
答:难度都不超过中学课本(~~~)。最重要的是,它们都是通过大量随机样本,去了解一个系统,进而得到所要计算的值。
正是由于它的这种特性,所以被称为统计模拟方法(statistical simulation method),是通过从概率模型的随机抽样进行近似数值计算的方法。
其实随机算法分为两类:蒙特卡罗方法和拉斯维加斯方法,蒙特卡罗方法指的是算法的时间复杂度固定,然而结果有一定几率失败,采样越多结果越好。拉斯维加斯方法指的是算法一定成功,然而运行时间是概率的。
问:你有没有总结出蒙特卡罗方法的使用场景?
答:有。当所求解的问题是某种随机事件出现的概率,或者是某个随机变量的期望值时,通过某种"实验"(或者说"计算机实验"的方法),以事件出现的频率作为随机事件的概率(落在圆内的概率等),或者得到这个随机变量的某些数字特征(积分值,净利润等),并将其作为问题的解。
你也许忽然间明白了,蒙特卡罗方法应该这么用:
比如说我要求某个参量,直接求解遇到了困难,那我就构造一个合适的概率模型,对这个模型进行大量的采样和统计实验,使它的某些统计参量正好是待求问题的解,那么,只需要把这个参量的值统计出来,那么问题的解就得到了估计值。
随机抽样
通过上面的几个例子我们发现:蒙特卡罗法要解决的问题是:假设概率分布的定义已知,通过
抽样获得概率分布的随机样本,并通过得到的随机样本对概率分布的特征进行分析。比如,从
样本得到经验分布,从而估计总体分布;或者从样本计算出样本均值,从而估计总体期望。所
以蒙特卡罗法的核心是随机抽样(random sampling)。
可是,随机抽样(random sampling)的方法从来都不是一成不变的,在下面的这个例子里面,我会阐明马尔科夫方法的一般形式:
求解积分: S=∫abf(x)dxS = \int_{a}^{b}f(x)dxS=∫abf(x)dx
如果很难求出 f(x)f(x)f(x) 的具体表达式,那么我们就需要用到蒙特卡洛方法。你可以如前文所述在二维空间中洒1000个点,看有多少落在积分区域的内部。也可以换种方式理解这个做法:
S=∫abf(x)dx=∫abp(x)f(x)p(x)dx=Ex→p(x)[f(x)p(x)]S = \int_a^bf(x)dx = \int_a^bp(x)\frac{f(x)}{p(x)}dx = E_{x \to p(x)[\frac{f(x)}{p(x)}]}S=∫abf(x)dx=∫abp(x)p(x)f(x)dx=Ex→p(x)[p(x)f(x)]
注意我们对这个积分表达式进行了一些trick,使它变成了一个对 f(x)p(x)\frac{f(x)}{p(x)}p(x)f(x) 的期望,这个期望服从的分布是 p(x)p(x)p(x)。注意这个分布 可以 p(x)p(x)p(x) 是任何一种概率分布。
下面如果想估计这个期望值,就需要按照概率分布 p(x)p(x)p(x) 独立地抽取n个样本 x1,x2,...,xnx_1, x_2, ..., x_nx1,x2,...,xn。
注意,这里不是胡乱抽取 nnn 个样本,而是按照概率分布 独p(x)p(x)p(x)立地抽取 nnn 个样本。 p(x)p(x)p(x) 不同,抽取样本的方式当然也不会相同。
辛勤大数定律告诉我们,当 n→+∞n \to +\inftyn→+∞ 时,1n∑i=1nf(xi)p(xi)→Ex→p(x)[f(x)p(x)]\frac{1}{n}\sum_{i=1}^{n}\frac{f(x_i)}{p(x_i)} \to E_{x \to p(x)}[\frac{f(x)}{p(x)}]n1∑i=1np(xi)f(xi)→Ex→p(x)[p(x)f(x)]
这句话的意思是说:我按照概率分布 p(x)p(x)p(x) 独立地抽取 nnn 个样本,只要把 1n∑i=1nf(xi)p(xi)\frac{1}{n}\sum_{i=1}^{n}\frac{f(x_i)}{p(x_i)}n1∑i=1np(xi)f(xi) 算出来,Ex→p(x)[f(x)p(x)]E_{x \to p(x)}[\frac{f(x)}{p(x)}]Ex→p(x)[p(x)f(x)] 也就得到了。
一个特殊的情况是当按均匀分布抽取 nnn 个样本时,即 p(x)=1b−ap(x) = \frac{1}{b-a}p(x)=b−a1
1n∑i=1nf(xi)p(xi)=b−an∑i=1nf(xi)\frac{1}{n}\sum_{i=1}^{n}\frac{f(x_i)}{p(x_i)} = \frac{b-a}{n} \sum_{i=1}^{n}f(x_i)n1i=1∑np(xi)f(xi)=nb−ai=1∑nf(xi)
这就是大一高数里面讲的积分的估计方法:
把积分区域等分为 n 份(均匀抽样),每一份取一个点 xix_ixi ,计算出 f(xi)f(x_i)f(xi) 取均值作为这一段积分的函数的均值,最后乘以积分区间的长度即 b−ab-ab−a可。
也就是蒙特卡罗方法的一个特例而已。
说了这么半天,它的基本思想就能用一个公式表达:
1n∑i=1nf(xi)p(xi)→Ex→p(x)[f(x)p(x)]\frac{1}{n}\sum_{i=1}^{n}\frac{f(x_i)}{p(x_i)} \to E_{x \to p(x)}[\frac{f(x)}{p(x)}]n1∑i=1np(xi)f(xi)→Ex→p(x)[p(x)f(x)],注意 nnn 个点要按照 p(x)p(x)p(x) 采样,且越大 nnn,越精确。
现在的问题转到了如何按照 p(x)p(x)p(x) 采样若干个样本上来。但是,按照 p(x)p(x)p(x) 采样绝非易事,因为有些时候我们根本不知道 是p(x)p(x)p(x)什么,或者有时候是一个很复杂的表达式,计算机没法直接抽样。
- 随机抽样方法1:拒绝-接受采样
这种方法适用于 p(x)p(x)p(x) 极度复杂不规则的情况。
因为 p(x)p(x)p(x) 没法直接采样,那我找一个可以直接采样的分布 q(x)q(x)q(x) 作为媒介,这个媒介专业术语叫做建议分布(proposal distribution),这个比如 q(x)q(x)q(x) 说是一个高斯分布,且它的 ccc 倍一定大于等于 p(x)p(x)p(x) ,其中 c>0c > 0c>0 ,如下图所示:
拒绝-接受采样
具体的做法是:首先按照 q(x)q(x)q(x) 进行采样,比如说采样得到 x∗x^*x∗,还有一定的概率舍弃它。那么:
有多大的概率保留下来呢?p(x∗)cq(x∗)\frac{p(x^*)}{cq(x^*)}cq(x∗)p(x∗)
有多大的概率舍弃掉它呢?1−p(x∗)cq(x∗)1 - \frac{p(x^*)}{cq(x^*)}1−cq(x∗)p(x∗)
这样做的结果是:保留下来的每一个 x∗x^*x∗ 都相当于是按照 p(x)p(x)p(x) 采样得到的 x∗x^*x∗ 了,直至得到 nnn 个随机样本,结束。
问:为什么这样可以?
**答:**其实很好理解,如果 p(x)=q(x)p(x) = q(x)p(x)=q(x) ,那么按照 q(x)q(x)q(x) 进行采样之后的保留率为 111,没就相当于根据 p(x)p(x)p(x) 采样 。如果 p(x)≠q(x)p(x) \neq q(x)p(x)=q(x) ,那么按道理如果按照 p(x)p(x)p(x) 采样,这个点 x∗x^*x∗ 不一定被采 样到,所以我们设置了一个保留概率 p(x∗)cq(x∗)\frac{p(x^*)}{cq(x^*)}cq(x∗)p(x∗) ,大于它才会保 留下来。且 p(x∗)p(x^*)p(x∗) 越大,越容易被保 留下来。
随机抽样方法2:重采样技术 reparameterization trick
这个方法在 VAE 中经常使用,可以参考我之前的 Blog,这种方法适用于 p(x)p(x)p(x) 是常见的连续分布,比如正态分布,ttt 分布,FFF 分布,BetaBetaBeta分布,GammaGammaGamma分布等。
在 VAEVAEVAE 中使用重采样技术是为了能让网络能够完成反向传播,具体是这样子:
现在要从 N(μ,σ2)N(\mu, \sigma^2)N(μ,σ2) 中采样一个 ZZZ , 相当于从 N(0,1)N(0, 1)N(0,1) 中采样一个 ϵ\epsilonϵ ,然后让
Z=μ+ϵ×σZ = \mu + \epsilon \times \sigmaZ=μ+ϵ×σ
于是,我们将从 N(μ,σ2)N(\mu, \sigma^2)N(μ,σ2) 采样变成了从 N(0,1)N(0, 1)N(0,1) 中采样,然后通过参数变换得到从 N(μ,σ2)N(\mu, \sigma^2)N(μ,σ2) 中采样的结果。这样一来,“采样”这个操作就不用参与梯度下降了,改为采样的结果参与,使得整个模型可训练了。
重参数技巧还可以这样来理解:
比如我有 KaTeX parse error: Undefined control sequence: \part at position 7: \frac{\̲p̲a̲r̲t̲ ̲L}{\part Z} ,可是 ZZZ 是采样得到的,后向传播无法继续往前面求导了。
现在使用了重参数技巧以后,Z=μ+ϵ×σZ = \mu + \epsilon \times \sigmaZ=μ+ϵ×σ 。 KaTeX parse error: Undefined control sequence: \part at position 7: \frac{\̲p̲a̲r̲t̲ ̲L}{\part \sigma…
这样就可以正常使用反向传播了。
所以说重采样技术的思想就是把复杂分布的采样转化为简单分布的采样,再通过一些变换把采样结果变回去。
再比如我要从二维正态分布中采样得到相互独立的 X,Y→N(μ1,μ2,σ12,σ22)=N(0,0,1,1)X, Y \to N(\mu_1, \mu_2, \sigma^2_1, \sigma_2^2) = N(0, 0, 1, 1)X,Y→N(μ1,μ2,σ12,σ22)=N(0,0,1,1) ,我就可以先从均匀分布中采样两个随机变量 U1,U2→U(0,1)U_1, U_2 \to U(0, 1)U1,U2→U(0,1) ,再通过下面的变换得到 X,YX, YX,Y :
X=cos(2πU1)−2lnU2X = \cos(2\pi U_1) \sqrt{-2lnU_2}X=cos(2πU1)−2lnU2
Y=sin(2πU1)−2lnU2Y = \sin(2\pi U_1)\sqrt{-2ln U_2}Y=sin(2πU1)−2lnU2
这个变换的专业术语叫做 Box-Muller 变换,它的证明如下:
证:假设相互独立的 X,Y→N(0,0,1,1)X, Y \to N(0,0,1,1)X,Y→N(0,0,1,1) ,则:XXX 的概率密度: p(X)=12πe−x22p(X) = \frac{1}{\sqrt{2\pi}}e^{-\frac{x^2}{2}}p(X)=2π1e−2x2 , YYY 的概率密度:p(Y)=12πe−y22p(Y) = \frac{1}{\sqrt{2\pi}}e^{-\frac{y^2}{2}}p(Y)=2π1e−2y2
因为相 互独立,所以联合概率密度为: p(X,Y)=12πe−x2+y22p(X, Y) = \frac{1}{2\pi}e^{-\frac{x^2 + y^2}{2}}p(X,Y)=2π1e−2x2+y2
使用二重积分的经典套路,将 XXX、YYY 作坐标变换,使:X=RcosθX = R\cos \thetaX=Rcosθ
Y=RsinθY = R\sin \thetaY=Rsinθ
得到:p(R,θ)=12πe−r22p(R, \theta) = \frac{1}{2\pi}e^{-\frac{r^2}{2}}p(R,θ)=2π1e−2r2而且:∫−∞+∞∫−∞+∞12πe−x2+y22dXdY=∫02π∫0+∞12πe−r22rdrdθ=1\int_{-\infty}^{+\infty} \int_{-\infty}^{+\infty} \frac{1}{2\pi}e^{-\frac{x^2 + y^2}{2}}dXdY = \int_{0}^{2\pi}\int_{0}^{+\infty} \frac{1}{2\pi}e^{-\frac{r^2}{2}}rdrd\theta = 1∫−∞+∞∫−∞+∞2π1e−2x2+y2dXdY=∫02π∫0+∞2π1e−2r2rdrdθ=1
算到这里要明确我们的目标是什么?
**答:**应该是反推出来随机变量 U1,U2→U(0,1)U_1, U_2 \to U(0, 1)U1,U2→U(0,1) 。先看看 RRR 和 θ\thetaθ 的概率分布和概率密度吧,根据概率论知识有:
FR(r)=∫02π∫0r12πe−r22rdrdθ=1−e−r22F_R(r) = \int_{0}^{2\pi} \int_{0}^{r} \frac{1}{2\pi}e^{-\frac{r^2}{2}}rdrd\theta = 1 - e^{-\frac{r^2}{2}}FR(r)=∫02π∫0r2π1e−2r2rdrdθ=1−e−2r2
Fθ(φ)=∫0φ∫0+∞12πe−r22rdrdθ=φ2πF_{\theta}(\varphi) = \int_{0}^{\varphi} \int_{0}^{+\infty}\frac{1}{2\pi}e^{-\frac{r^2}{2}}rdrd\theta = \frac{\varphi}{2\pi}Fθ(φ)=∫0φ∫0+∞2π1e−2r2rdrdθ=2πφ
一眼就看出来 θ→U(0,2π)\theta \to U(0, 2\pi)θ→U(0,2π) 。所以 θ=2πU1=2πU2\theta = 2\pi U_1 = 2\pi U_2θ=2πU1=2πU2 。
接下来设 Z=1−e−R22Z = 1 - e^{-\frac{R^2}{2}}Z=1−e−2R2 ,不知道 ZZZ 服从什么分布哦。
P(Z<z)=P(1−e−R22<z)=P(R<−2ln(1−z))=FR(−2ln(1−z))=zP(Z < z) = P(1 - e^{-\frac{R^2}{2}} <z) = P(R < \sqrt{-2ln(1-z)}) = F_R(\sqrt{-2ln(1-z)}) = zP(Z<z)=P(1−e−2R2<z)=P(R<−2ln(1−z))=FR(−2ln(1−z))=z
所以 Z=1−e−R22→U(0,1)Z = 1 - e^{-\frac{R^2}{2}} \to U(0, 1)Z=1−e−2R2→U(0,1) ,现在知道了 ZZZ 服从均匀分布。
所以此时有 1−e−R22→U(0,1)1 - e^{-\frac{R^2}{2}} \to U(0, 1)1−e−2R2→U(0,1) ,即 e−R22→U(0,1)e^{-\frac{R^2}{2}} \to U(0, 1)e−2R2→U(0,1) ,即有: R=−2lnU1=−2lnU2R = \sqrt{-2lnU_1} = \sqrt{-2lnU_2}R=−2lnU1=−2lnU2
所以:X=Rcosθ=cos(2πU1)−2lnU2X = R\cos\theta = \cos(2\pi U_1) \sqrt{-2lnU_2}X=Rcosθ=cos(2πU1)−2lnU2
Y=Rsinθ=sin(2πU1)−2lnU2Y = R\sin\theta = \sin(2\pi U_1)\sqrt{-2ln U_2}Y=Rsinθ=sin(2πU1)−2lnU2
Box-Muller变换得证。
至此,我们讲完了蒙特卡洛方法,这个方法非常强大和灵活,也很容易实现。对于许多问题来说,它往往是最简单的计算方法,有时甚至是唯一可行的方法。
从上面可以看出,要想将蒙特卡罗方法作为一个通用的采样模拟求和的方法,必须解决如何方便得到各种复杂概率分布的对应的采样样本集的问题。而马尔科夫链就能帮助你找到这些复杂概率分布的对应的采样样本集。
二. 马尔可夫链
在蒙特卡罗方法中,我们采集大量的样本,构造一个合适的概率模型,对这个模型进行大量的
采样和统计实验,使它的某些统计参量正好是**待求问题的解。**但是,我们需要大量采样,虽然
我们有拒绝-接受采样和重采样技术,但是依旧面临采样困难的问题。巧了,马尔科夫链可以
帮我们解决这个难题。
首先我们看一些基本的定义:
定义(马尔可夫链):考虑一个随机变量的序列 X={X0,X1,...,Xt,...}X = \{X_0, X_1, ..., X_t, ...\}X={X0,X1,...,Xt,...}
这里 XtX_tXt表 示时刻 ttt的随 机变量,t=0,1,2,...t = 0, 1, 2, ...t=0,1,2,... 。每 个随机变量 XtX_tXt的
取值 集合相同,称为状态空间,表示为 SSS 。随机变 量可以是离散的,也可以是连续的。
以上随机变量的序列构成随机过程(stochastic process)。假设在时刻的随机变量 X0X_0X0 遵循概率分布 P(X0)=π0P(X_0) = \pi_0P(X0)=π0 ,称为初始状态分布。在某个时刻 t≥1t \geq 1t≥1 的 随机变量 XtX_tXt 与前一个时刻的随机变量 Xt−1X_{t-1}Xt−1 之间有 条件分布 P(Xt∣Xt−1)P(X_t | X_{t-1})P(Xt∣Xt−1) ,如果 XtX_tXt 只依赖于 Xt−1X_{t-1}Xt−1 ,而不依赖于过去的随机变量 {X0,X1,...,Xt−2}\{X_0, X_1, ..., X_{t-2}\}{X0,X1,...,Xt−2} ,这一性质称为 马尔可夫性,即:
P(Xt∣Xt−1,Xt−2,...,X0)=P(Xt∣Xt−1),t=1,2,...P(X_t|X_{t-1}, X_{t-2}, ..., X_0) = P(X_t| X_{t-1}), t = 1, 2, ...P(Xt∣Xt−1,Xt−2,...,X0)=P(Xt∣Xt−1),t=1,2,...
具有马尔可夫性的随机序列X=X0,X1,...,Xt,...X = {X_0, X_1, ..., X_t, ...}X=X0,X1,...,Xt,... 称为马尔可夫链(Markov
chain),或马尔可夫过程(Markov process)。条件概率分布 P(Xt∣Xt−1)P(X_t | X_{t-1})P(Xt∣Xt−1) 称 为马尔可夫链的转移概率分布。转移概率分布决定了马尔可夫链的特性。
如果这个条件概率分布与具体的时刻 ttt 是无关的,则称这个马尔科夫链为时间齐次的马尔可夫链(time homogenous Markov chain)。
**定义:**转移概率矩阵:
P=[p11p12p13p21p22p23p31p32p33]P = \left[ \begin{matrix} p_{11} & p_{12} & p_{13} \\ p_{21} & p_{22} & p_{23}\\ p_{31} & p_{32} & p_{33}\end{matrix} \right]P=⎣⎡p11p21p31p12p22p32p13p23p33⎦⎤
其中 pij=P(Xt=i∣Xt−1=j)p_{ij} = P(X_t = i | X_{t-1} = j)pij=P(Xt=i∣Xt−1=j) 。
定义:马尔科夫链在 ttt 时刻的概率分布称为 ttt 时刻的状态分布:
π(t)=[π1(t)π2(t)π3(t)]\pi(t) = \left[ \begin{matrix} \pi_1(t)\\ \pi_2(t) \\ \pi_3(t)\end{matrix} \right]π(t)=⎣⎡π1(t)π2(t)π3(t)⎦⎤
其中 πi(t)=P(Xt=i),i=1,2,....\pi_i(t) = P(X_t = i), i = 1, 2, ....πi(t)=P(Xt=i),i=1,2,.... 。
特别地,马尔可夫链的初始状态分布可以表示为:
π(0)=[π1(0)π2(0)π3(0)]\pi(0) = \left[ \begin{matrix} \pi_1(0)\\ \pi_2(0) \\ \pi_3(0)\end{matrix} \right]π(0)=⎣⎡π1(0)π2(0)π3(0)⎦⎤
通常初始分布 π(0)\pi(0)π(0) 向量只有一个分量是 111,其余分量都是 000,表示马尔可夫链从一个具体状态开始。
有限离散状态的马尔可夫链可以由有向图表示。结点表示状态,边表示状态之间的转移,边上的数值表示转移概率。从一个初始状态出发,根据有向边上定义的概率在状态之间随机跳转(或随机转移),就可以产生状态的序列。马尔可夫链实际上是刻画随时间在状态之间转移的模型,假设未来的转移状态只依赖于现在的状态,而与过去的状态无关。
下面通过一个简单的例子给出马尔可夫链的直观解释:如下图王者荣耀玩家选择英雄的职业的转变,转移概率矩阵为:
P=[2.50.50.250.2500.250.250.50.5]P = \left[ \begin{matrix} 2.5 & 0.5 & 0.25 \\ 0.25 & 0 & 0.25\\ 0.25 & 0.5 & 0.5\end{matrix} \right]P=⎣⎡2.50.250.250.500.50.250.250.5⎦⎤
王者荣耀玩家选择英雄的职业的转变
我们试图用程序去模拟这个状态的变化情况,任意假设一个初始状态:设初始的三个概率分别是 [0.5,0.3,0.2][0.5, 0.3, 0.2][0.5,0.3,0.2] ,即 t0t_0t0时 刻,50% 概率选择射手,30% 概率选择辅助,20% 概率选择打野,将此代入转移概率,我们一直计算到 t100t_{100}t100 看看 是什么情况:
import numpy as np
import matplotlib.pyplot as plt
transfer_matrix = np.array([[0.5,0.5,0.25],[0.25,0,0.25],[0.25,0.5,0.5]],dtype='float32')
start_matrix = np.array([[0.5],[0.3],[0.2]],dtype='float32')value1 = []
value2 = []
value3 = []
for i in range(30):start_matrix = np.dot(transfer_matrix, start_matrix)value1.append(start_matrix[0][0])value2.append(start_matrix[1][0])value3.append(start_matrix[2][0])
print(start_matrix)x = np.arange(30)
plt.plot(x,value1,label='Archer')
plt.plot(x,value2,label='Support')
plt.plot(x,value3,label='Assassin')
plt.legend()
plt.show()
可以发现,从5轮左右开始,我们的状态概率分布就不变了,一直保持在:
[[0.4 ][0.19999999][0.39999998]]
从这个实验我们得出了一个结论:这个玩家如果一直把王者荣耀玩下去,他最后选择射手,辅助,打野的概率会趋近于:[0.4,0.2,0.4][0.4, 0.2, 0.4][0.4,0.2,0.4] ,很有意思的结论。
- 问:是不是所有马尔科夫链都有平稳分布?
**答:**不一定,必须满足下面的定理:
**定理:**给定一个马尔科夫链 X={X0,X1,...,Xt,...}X = \{X_0, X_1, ..., X_t, ...\}X={X0,X1,...,Xt,...} ,ttt 时刻的状态分布:π=(π1,π2,...)\pi = (\pi_1, \pi_2, ...)π=(π1,π2,...) 是 XXX 的平稳分布的条件是 是下列π=(π1,π2,...)\pi = (\pi_1, \pi_2, ...)π=(π1,π2,...)方程组的解:
xi=∑jpijxj,i=1,2,...x_i = \sum_j p_{ij}x_j, i = 1, 2, ...xi=j∑pijxj,i=1,2,...
xi≥0,i=1,2,...x_i \geq 0, i = 1, 2, ...xi≥0,i=1,2,...
∑ixi=1\sum_i x_i = 1i∑xi=1
证:
必要性:假设 π=(π1,π2,...)\pi = (\pi_1, \pi_2, ...)π=(π1,π2,...) 是平稳分布,则显然满足后2式,根据平稳分布的性质,πi=∑jpijπj,i=1,2..\pi_i = \sum_j p_{ij}\pi_j, i = 1, 2..πi=∑jpijπj,i=1,2.. ,满足1式,得证。
充分性:假设 π=(π1,π2,...)\pi = (\pi_1, \pi_2, ...)π=(π1,π2,...)为XtX_tXt 的分布, 则:
P(Xt=i)=πi=∑jpijπj=∑jpijP(Xt−1=j),i=1,2P(X_t = i) = \pi_i = \sum_j p_{ij} \pi_j = \sum_j p_{ij}P(X_{t-1} = j), i = 1, 2P(Xt=i)=πi=j∑pijπj=j∑pijP(Xt−1=j),i=1,2
所以 π=(π1,π2,...)\pi = (\pi_1, \pi_2, ...)π=(π1,π2,...)也为 Xt−1X_{t-1}Xt−1的分 布,又因为对任意的 ttt成立, 所以 π=(π1,π2,...)\pi = (\pi_1, \pi_2, ...)π=(π1,π2,...)是平稳分布。
马尔科夫链的性质
- 不可约
**一个不可约的马尔可夫链,从任意状态出发,当经过充分长时间后,可以到达任意状态。**数学语言是:
定义:给定一个马尔科夫链 X={X0,X1,...,Xt,...}X = \{X_0, X_1, ..., X_t, ...\}X={X0,X1,...,Xt,...} ,对于任意的状态 i∈Si \in Si∈S ,如果存在一个时刻 ttt满足 :P(Xt=i∣X0=j)>0P(X_t = i | X_0 = j) > 0P(Xt=i∣X0=j)>0 ,也就是说,时刻 000 从状态 jjj 出发,时刻 ttt 到达状态 iii 的概率大于0,则称此马尔可夫链 XXX是不可约的 (irreducible),否则称马尔可夫链是可约的(reducible)。
可约的马尔科夫链
- 非周期
定义:给定一个马尔科夫链 X={X0,X1,...,Xt,...}X = \{X_0, X_1, ..., X_t, ...\}X={X0,X1,...,Xt,...} ,对于任意的状态 i∈Si \in Si∈S ,如果时刻 000从状 态 iii 出发,ttt 时刻返 回状态的所有时间长 {t:P(Xt=i∣X0=i)>0}\{t : P(X_t = i | X_0 = i) > 0\}{t:P(Xt=i∣X0=i)>0} 的最大公约数是 111,则称此马尔可夫链 XXX 是非周期的, 否则称马尔可夫链是周期的。
周期的马尔科夫链
- 定理:不可约且非周期的有限状态马尔可夫链,有唯一平稳分布存在。
定义:首达时间:
Tij=min{n:n≥1,X0=i,Xn=j}T_{ij} = min\{n : n \geq 1, X_0 = i, X_n = j\}Tij=min{n:n≥1,X0=i,Xn=j} 表示从状态 iii 出发首次到达状态 jjj 的时间。若状态 iii 出发 永远不能到达状态 jjj ,则 Tij=+∞T_{ij} = + \inftyTij=+∞ 。
定义:首达概率:
**
fij(n)=P(Xn=j,Xm≠j,m=1,2,...,n−1∣X0=i)f_{ij}^{(n)} = P(X_n = j, X_m \neq j, m = 1, 2, ..., n-1|X_0 = i)fij(n)=P(Xn=j,Xm=j,m=1,2,...,n−1∣X0=i)
fij(n)f_{ij}^{(n)}fij(n) 为从状态 iii 出发经过 nnn步首 次到达状态 jjj 的概率 。
fij+∞f_{ij}^{+\infty}fij+∞ 为从状态 iii 出发永远不能到达状态 jjj 的 概率。
定义:从状态 iii 出发经过有限步首次到达状态 jjj 的概率:
fij=∑n=1+∞fij(n)=P(Tij<+∞)f_{ij} = \sum_{n=1}^{+\infty}f_{ij}^{(n)} = P(T_{ij} < + \infty)fij=n=1∑+∞fij(n)=P(Tij<+∞)
定义:
状态 iii 为常返态: fii=1f_{ii} = 1fii=1 ,即有限步一定能回来。
状态 iii 为常返态: fii<1f_{ii} < 1fii<1 ,即有限步可能回不来。
定义:平均返回时间:
μi=∑n=1+∞nfiin\mu_i = \sum_{n=1}^{+\infty}nf_{ii}^{n}μi=n=1∑+∞nfiin
- 正常返和零常返
首先 iii 得是常返态,且若 μi<+∞\mu_i < + \inftyμi<+∞ ,称状态 iii 为正常返。若 μi=+∞\mu_i = + \inftyμi=+∞ ,称状态 iii 为零常返。
- 遍历态
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-GltUGE85-1645618205742)(https://www.zhihu.com/equation?tex=i)] 既是正常返又是非周期,就是遍历态。
各种定义汇总
直观上,一个正常返的马尔可夫链,其中任意一个状态,从其他任意一个状态出发,当时间趋于无穷时,首次转移到这个状态的概率不为0。(从任意一个状态出发,走了能回来)
清华大学随机过程期末考试题:这个马尔科夫链是正常返的吗?
如上图所示的马尔科夫链,当 p>qp > qp>q 时是正常返的,当 p<qp < qp<q 时不是正常返的。
证:转移概率矩阵:
若达到了平稳分布,则 Pπ=πP\pi = \piPπ=π ,代入 PPP 化简,且注意 p+q=1p + q = 1p+q=1 。π2=qpπ1,π3=qpπ2,π4=qpπ3,...\pi_2 = \frac{q}{p}\pi_1, \pi_3 = \frac{q}{p}\pi_2, \pi_4 = \frac{q}{p}\pi_3, ...π2=pqπ1,π3=pqπ2,π4=pqπ3,...
π1+π2+π3+...=1\pi_1 + \pi_2 + \pi_3 + ... = 1π1+π2+π3+...=1
当 p>qp > qp>q 时,平稳分布是:πi=(qp)i(p−qp),i=1,2,...\pi_i = (\frac{q}{p})^i(\frac{p-q}{p}), i = 1, 2, ...πi=(pq)i(pp−q),i=1,2,...
当时间趋于无穷时,转移到任何一个状态的概率不为 0,马尔可夫链是正常返的。
当 p<qp < qp<q 时,不存在平稳分布,马尔可夫链不是正常返的。
你看,清华的期末考试也不过如此~
- 遍历定理:不可约、非周期且正常返的马尔可夫链,有唯一平稳分布存在,并且转移概率的极限分布是马尔可夫链的平稳分布。
limt→+∞P(Xt=i∣X0=j)=πi,i=1,2,...;j=1,2,...lim_{t \to + \infty}P(X_t = i|X_0=j)=\pi_i, i = 1, 2, ...; j = 1, 2, ...limt→+∞P(Xt=i∣X0=j)=πi,i=1,2,...;j=1,2,...
你会发现,不可约、非周期且正常返的马尔可夫链,它的转移概率矩阵在 t→+∞t \to + \inftyt→+∞ 时竟然是:
**今后,你如果再遇到某个题目说“一个满足遍历定理的马尔科夫链,…”你就应该立刻意识到这个马尔科夫链只有一个平稳分布,而且它就是转移概率的极限分布。且随机游走的起始点并不影响得到的结果,即从不同的起始点出发,都会收敛到同一平稳分布。**注意这里很重要,一会要考。
说了这么多概念,用大白话做个总结吧:
不可约:每个状态都能去到。
非周期:返回时间公约数是1。
正常返:离开此状态有限步一定能回来。迟早会回来。
零常返:离开此状态能回来,但需要无穷多步。
非常返:离开此状态有限步不一定回得来。
遍历定理:不可约,非周期,正常返 →\rightarrow→ 有唯一的平稳分布。
可逆马尔可夫链
定义:给定一个马尔科夫链 X=X0,X1,...,Xt,...X = {X_0, X_1, ..., X_t, ...}X=X0,X1,...,Xt,... ,如果有状态分布 (π1,π2,π3,...)(\pi_1, \pi_2, \pi_3, ...)(π1,π2,π3,...) 。对于任意的状态 i,j∈Si, j \in Si,j∈S ,对任意一个时刻 ttt 满足 :
P(Xt=i∣Xt−1=j)πj=P(Xt=j∣Xt−1=i)πi,i=1,2,...P(X_t = i|X_{t-1}=j)\pi_j = P(X_t=j|X_{t-1}=i)\pi_i, i = 1, 2, ...P(Xt=i∣Xt−1=j)πj=P(Xt=j∣Xt−1=i)πi,i=1,2,...
或简写为:pijπj=pjiπip_{ij}\pi_j = p_{ji}\pi_ipijπj=pjiπi
则称此马尔可夫链 XXX 为可逆马尔可夫链(reversible Markov chain),上式称为
细致平衡方程(detailed balance equation)。
直观上,如果有可逆的马尔可夫链,那么以该马尔可夫链的平稳分布作为初始分布,进行随机状态转移,无论是面向未来还是面向过去,任何一个时刻的状态分布都是该平稳分布。概率分布 π\piπ 是状态转移矩阵 PPP 的平稳分布。
**定理:**满足细致平衡方程的状态分布 π\piπ 就是该马尔可夫链的平稳分布 Pπ=πP\pi = \piPπ=π 。
证:
(Pπ)i=∑jpijπj=∑jpijπi=πi∑jpij=πi,i=1,2,...(P\pi)_i = \sum_j p_{ij}\pi_j = \sum_j p_{ij}\pi_{i} = \pi_i \sum_{j}p_{ij} = \pi_i, i = 1, 2, ...(Pπ)i=j∑pijπj=j∑pijπi=πij∑pij=πi,i=1,2,...
以上就是关于蒙特卡罗方法和马尔科夫链你分别需要掌握的知识,说了这么久还没有进入正题。本文是为了让你打好基础,那从下一篇文章开始,我们会讲解什么是马尔科夫链蒙特卡罗方法以及它的具体细节。
参考:
《统计学习方法》(李航)
蒙特·卡罗方法_百度百科
蒙特卡罗方法入门 - 阮一峰的网络日志
MCMC(一)蒙特卡罗方法 - 刘建平Pinard
作者:科技猛兽
链接:https://zhuanlan.zhihu.com/p/250146007
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。
蒙特卡罗方法与马尔科夫链相关推荐
- 通过Python实现马尔科夫链蒙特卡罗方法的入门级应用
通过把马尔科夫链蒙特卡罗(MCMC)应用于一个具体问题,本文介绍了 Python 中 MCMC 的入门级应用. GitHub 地址:https://github.com/WillKoehrsen/ai ...
- MCMC+马尔科夫链蒙特卡罗
MCMC+马尔科夫链蒙特卡罗 为了解决什么问题,所以出现了这一种方法? 后来又因为出现了什么新情况,所以产生了对应的变种?
- MCMC原理解析(马尔科夫链蒙特卡洛方法)
马尔科夫链蒙特卡洛方法(Markov Chain Monte Carlo),简称MCMC,MCMC算法的核心思想是我们已知一个概率密度函数,需要从这个概率分布中采样,来分析这个分布的一些统计特性,然而 ...
- 蒙特卡罗 马尔科夫链 与Gibbs采样
这几个概念看了挺多遍都还是含混不清,最近看了几篇博客,才算大致理解了一点点皮毛,所以来总结一下. MCMC概述 从名字我们可以看出,MCMC由两个MC组成,即蒙特卡罗方法(Monte Carlo Si ...
- 第十五课.马尔科夫链蒙特卡洛方法
目录 M-H采样 Metropolis-Hastings采样原理 M-H采样步骤 Gibbs方法 Gibbs核心流程 Gibbs采样的合理性证明 Gibbs采样实验 在 第十四课中讲述了马尔科夫链与其 ...
- 马尔科夫链和马尔科夫链蒙特卡洛方法
前言 译自:<Training Restricted Boltzmann Machines: An Introduction > 马尔科夫链在RBM的训练中占据重要地位,因为它提供了从复杂 ...
- 马尔科夫链与MCMC方法
马尔科夫链概述 基本思想: 过去所有的信息都已经被保存到了现在的状态,基于现在就可以预测未来. Example: 假如每天的天气是一个状态的话,那今天是不是晴天只依赖于昨天的天气,而和前天的天气没有任 ...
- 用马尔科夫链求首达时的一种方法--意料之外,情理之中
一. 定义 马尔科夫链:已知若干种状态,从当前状态转移到下一状态的概率,只取决于当前和上一步的状态,与其他状态无关. 首达时:从某状态i出发,首次到达状态j时经历的时间. 二. 假设条件 已知共有k个 ...
- MCMC(二)马尔科夫链
在MCMC(一)蒙特卡罗方法中,我们讲到了如何用蒙特卡罗方法来随机模拟求解一些复杂的连续积分或者离散求和的方法,但是这个方法需要得到对应的概率分布的样本集,而想得到这样的样本集很困难.因此我们需要本篇 ...
- 【ML算法】马尔科夫链
文档介绍:https://download.csdn.net/download/liudongdong19/10420151 一.马尔可夫链 1.马尔可夫链 设XtXt表示随机变量XX在离散时间tt时 ...
最新文章
- leetcode 310. Minimum Height Trees | 310. 最小高度树(图的邻接矩阵DFS / 拓扑排序)
- Session.Abandon和Session.Clear有何不同?
- 基于机器视觉的电阻焊接质量检测
- php更新用户数据为空,php - 使用PHP更新数据库,而没有来自HTML表单的空值 - SO中文参考 - www.soinside.com...
- Python学习小结---函数
- 基于springboot的药品商城系统
- SQL-实现excel向下填充的功能
- 【数字逻辑设计】电路原理图
- 性别为什么不适合建立索引-值重复率高的字段不适合建索引
- 计算机关闭后桌面文件丢失,win7系统电脑关机重启后桌面文件全部不见了的解决方法...
- 【无线上网】无线网络小常识
- asterisk注册河南联通ims
- SNN系列|学习算法篇(1)Tempotron
- 手机怎么打开f12_如何使用浏览器的F12调试页面?
- 《左手数据,右手图表》
- html 百度天气,百度天气预报api
- Python 和 Web 前端选择哪个比较合适?哪个前景好?
- 新建git分支(歪门邪道)
- Vue+Vant制作单选全选全不选以及删除按钮van-checkbox
- 高等工程数学 —— 第一章 (1)距离与范数