指数族分布|机器学习推导系列(九)

一、介绍

  1. 一般形式

指数族分布有:高斯分布、伯努利分布、二项分布、泊松分布、beta分布、Dirichlet分布、gamma分布等。

指数族分布的一般形式:

P ( x ∣ η ) = h ( x ) e x p { η T ϕ ( x ) − A ( η ) } P(x|\eta )=h(x)exp\left \{\eta ^{T}\phi (x)-A(\eta )\right \} P(xη)=h(x)exp{ηTϕ(x)A(η)}

其中:
η \eta η:参数向量;
ϕ ( x ) \phi (x) ϕ(x):充分统计量,Sufficient statistic;
A ( η ) A(\eta ) A(η):log partition function(log配分函数)
h ( x ) h(x) h(x):不很重要,通常取1。

  1. 配分函数

P ( x ∣ θ ) = 1 z P ^ ( x ∣ θ ) P(x|\theta )=\frac{1}{z}\hat{P}(x|\theta ) P(xθ)=z1P^(xθ)

通常如果我们得到一个可以表达分布的函数 P ^ ( x ∣ θ ) \hat{P}(x|\theta ) P^(xθ)但是其积分不为1,需要除以一个归一化因子 z z z来将其归一,这个归一化因子 z z z就是配分函数, z z z取值为 P ^ ( x ∣ θ ) \hat{P}(x|\theta ) P^(xθ)的积分:

∫ P ( x ∣ θ ) d x = ∫ 1 z P ^ ( x ∣ θ ) d x ⇒ 1 = 1 z ∫ P ^ ( x ∣ θ ) d x ⇒ z = ∫ P ^ ( x ∣ θ ) d x \int P(x|\theta )\mathrm{d}x=\int \frac{1}{z}\hat{P}(x|\theta )\mathrm{d}x\\ \Rightarrow 1=\frac{1}{z}\int \hat{P}(x|\theta )\mathrm{d}x\\ \Rightarrow z=\int \hat{P}(x|\theta )\mathrm{d}x P(xθ)dx=z1P^(xθ)dx1=z1P^(xθ)dxz=P^(xθ)dx

解释一下为什么 A ( η ) A(\eta ) A(η)叫log配分函数:

P ( x ∣ η ) = P ( x ∣ η ) = h ( x ) e x p { η T ϕ ( x ) } e x p { − A ( η ) } = 1 e x p { A ( η ) } h ( x ) e x p { η T ϕ ( x ) } ⏟ P ^ ( x ∣ θ ) P(x|\eta )=P(x|\eta )=h(x)exp\left \{\eta ^{T}\phi (x)\right \}exp\left \{-A(\eta )\right \}\\ =\frac{1}{exp\left \{A(\eta )\right \}}\underset{\hat{P}(x|\theta )}{\underbrace{h(x)exp\left \{\eta ^{T}\phi (x)\right \}}} P(xη)=P(xη)=h(x)exp{ηTϕ(x)}exp{A(η)}=exp{A(η)}1P^(xθ) h(x)exp{ηTϕ(x)}

因此 e x p { A ( η ) } exp\left \{A(\eta )\right \} exp{A(η)}就是配分函数, A ( η ) A(\eta ) A(η)就是log配分函数。

  1. 指数族分布的特点、模型和应用

充 分 统 计 量 共 轭 最 大 熵 } 指 数 族 分 布 { 广 义 线 性 模 型 概 率 图 模 型 变 分 推 断 \left.\begin{matrix} 充分统计量\\ 共轭\\ 最大熵 \end{matrix}\right\}指数族分布\left\{\begin{matrix} 广义线性模型\\ 概率图模型\\ 变分推断 \end{matrix}\right. 广线

  • 充分统计量

ϕ ( x ) \phi (x) ϕ(x)是充分统计量。

什么是充分统计量?举例来说,对于从一些从高斯分布中抽取出来的样本 x 1 , x 2 , ⋯   , x N x_{1},x_{2},\cdots ,x_{N} x1,x2,,xN,以下统计量就是充分统计量:

ϕ ( x ) = ( ∑ i = 1 N x i ∑ i = 1 N x i 2 ) \phi (x)=\begin{pmatrix} \sum_{i=1}^{N}x_{i}\\ \sum_{i=1}^{N}x_{i}^{2} \end{pmatrix} ϕ(x)=(i=1Nxii=1Nxi2)

因为通过上述统计量可以计算样本的均值和方差进而得到其明确的分布。

有了充分统计量就可以将样本丢掉,从而节省了空间,对online learning有重要意义。

  • 共轭

P ( z ∣ x ) = P ( x ∣ z ) P ( z ) ∫ z P ( x ∣ z ) P ( z ) d z P(z|x)=\frac{P(x|z)P(z)}{\int _{z}P(x|z)P(z)\mathrm{d}z} P(zx)=zP(xz)P(z)dzP(xz)P(z)

在上面的贝叶斯公式中由于分母 ∫ z P ( x ∣ z ) P ( z ) d z \int _{z}P(x|z)P(z)\mathrm{d}z zP(xz)P(z)dz积分难或者 P ( z ∣ x ) P(z|x) P(zx)的形式太复杂,因此直接求 P ( z ∣ x ) P(z|x) P(zx)是很困难的,因此求 E P ( z ∣ x ) [ f ( z ) ] E_{P(z|x)}[f(z)] EP(zx)[f(z)]也是很困难的,所以人们想了很多办法比如近似推断(变分推断、MCMC等),这些方法的提出都是因为上述积分难的问题。

共轭的概念是指在给定一个特殊的似然( P ( x ∣ z ) P(x|z) P(xz))的情况下,后验( P ( z ∣ x ) P(z|x) P(zx))与先验( P ( z ) P(z) P(z))会有一个形式相同的分布,这也就解决了上述积分困难的问题,避免了就分母上的积分项常数。

举个例子:

P ( z ∣ x ) ⏟ B e t a ∝ P ( x ∣ z ) ⏟ 二 项 式 分 布 P ( z ) ⏟ B e t a \underset{Beta}{\underbrace{P(z|x)}}\propto \underset{二项式分布}{\underbrace{P(x|z)}}\underset{Beta}{\underbrace{P(z)}} Beta P(zx) P(xz)Beta P(z)

  • 最大熵

给出先验 P ( z ) P(z) P(z)的一些方法包括:
①共轭 → \rightarrow 计算上的方便;
②最大熵 → \rightarrow 无信息先验;
③Jerrif。

最大熵原理给出了一种定义先验的方式,可以使得参数更加地随机。

  • 广义线性模型

广义线性模型中出现的一些概念:

{ 线 性 组 合 w T x l i n k    f u n c t i o n → ( 激 活 函 数 ) − 1 指 数 族 分 布 : y ∣ x ∼ 指 数 族 分 布 { 线 性 回 归 : y ∣ x ∼ N ( μ , Σ ) 分 类 : y ∣ x ∼ B e r n o u l l i 泊 松 回 归 : y ∣ x ∼ P o s s i o n \left\{\begin{matrix} 线性组合w^{T}x\\ link\; function\rightarrow (激活函数)^{-1}\\ 指数族分布:y|x\sim 指数族分布\left\{\begin{matrix} 线性回归:y|x\sim N(\mu ,\Sigma )\\ 分类:y|x\sim Bernoulli\\ 泊松回归:y|x\sim Possion \end{matrix}\right. \end{matrix}\right. 线wTxlinkfunction()1yx线yxN(μ,Σ)yxBernoulliyxPossion

  • 概率图模型

无向图中的RBM(限制玻尔兹曼机)应用到了指数族分布。

二、高斯分布的指数族分布形式

以一维高斯分布为例,将高斯分布整理成指数族分布的形式:

P ( x ∣ θ ) = 1 2 π σ e x p { − ( x − μ ) 2 2 σ 2 }      θ = ( u , σ 2 ) = 1 2 π σ 2 e x p { − 1 2 σ 2 ( x 2 − 2 μ x + μ 2 ) } = e x p { l o g ( 2 π σ 2 ) − 1 2 } e x p { − 1 2 σ 2 ( x 2 − 2 μ x ) − μ 2 2 σ 2 } = e x p { l o g ( 2 π σ 2 ) − 1 2 } e x p { − 1 2 σ 2 ( − 2 μ 1 ) ( x x 2 ) − μ 2 2 σ 2 } = e x p { ( μ σ 2 − 1 2 σ 2 ) ⏟ η T ( x x 2 ) ⏟ ϕ ( x ) − ( μ 2 2 σ 2 + 1 2 l o g 2 π σ 2 ) ⏟ A ( η ) } P(x|\theta )=\frac{1}{\sqrt{2\pi }\sigma }exp\left \{-\frac{(x-\mu )^{2}}{2\sigma ^{2}}\right \}\; \; \theta =(u,\sigma ^{2})\\ =\frac{1}{\sqrt{2\pi \sigma ^{2}}}exp\left \{-\frac{1}{2\sigma ^{2}}(x^{2}-2\mu x+\mu ^{2})\right \}\\ =exp\left \{log(2\pi \sigma ^{2})^{-\frac{1}{2}}\right \}exp\left \{-\frac{1}{2\sigma ^{2}}(x^{2}-2\mu x)-\frac{\mu ^{2}}{2\sigma ^{2}}\right \}\\ =exp\left \{log(2\pi \sigma ^{2})^{-\frac{1}{2}}\right \}exp\left \{-\frac{1}{2\sigma ^{2}}\begin{pmatrix} -2\mu & 1 \end{pmatrix}\begin{pmatrix} x\\ x^{2} \end{pmatrix}-\frac{\mu ^{2}}{2\sigma ^{2}}\right \}\\ =exp\left \{\underset{\eta ^{T}}{\underbrace{\begin{pmatrix} \frac{\mu }{\sigma ^{2}} & -\frac{1}{2\sigma ^{2}} \end{pmatrix}}}\underset{\phi (x)}{\underbrace{\begin{pmatrix} x\\ x^{2} \end{pmatrix}}}-\underset{A(\eta )}{\underbrace{(\frac{\mu ^{2}}{2\sigma ^{2}}+\frac{1}{2}log2\pi \sigma ^{2})}}\right \} P(xθ)=2π σ1exp{2σ2(xμ)2}θ=(u,σ2)=2πσ2 1exp{2σ21(x22μx+μ2)}=exp{log(2πσ2)21}exp{2σ21(x22μx)2σ2μ2}=exp{log(2πσ2)21}exp{2σ21(2μ1)(xx2)2σ2μ2}=expηT (σ2μ2σ21)ϕ(x) (xx2)A(η) (2σ2μ2+21log2πσ2)

然后即可获得 η \eta η θ \theta θ的关系:

η = ( η 1 η 2 ) = ( μ σ 2 − 1 2 σ 2 ) { η 1 = μ σ 2 η 2 = − 1 2 σ 2 ⇒ { μ = − η 1 2 η 2 σ 2 = − 1 2 η 2 \eta =\begin{pmatrix} \eta _{1}\\ \eta _{2} \end{pmatrix}=\begin{pmatrix} \frac{\mu }{\sigma ^{2}}\\ -\frac{1}{2\sigma ^{2}} \end{pmatrix}\\ \left\{\begin{matrix} \eta _{1}=\frac{\mu }{\sigma ^{2}}\\ \eta _{2}=-\frac{1}{2\sigma ^{2}} \end{matrix}\right.\Rightarrow \left\{\begin{matrix} \mu =-\frac{\eta _{1}}{2\eta _{2}}\\ \sigma ^{2}=-\frac{1}{2\eta _{2}} \end{matrix}\right. η=(η1η2)=(σ2μ2σ21){η1=σ2μη2=2σ21{μ=2η2η1σ2=2η21

η \eta η代入 A ( η ) A(\eta ) A(η)可以得到如下结果:

A ( η ) = − η 1 2 4 η 2 + 1 2 l o g ( 2 π ⋅ − 1 2 η 2 ) = η 1 2 4 η 2 + 1 2 l o g ( − π 2 η 2 ) A(\eta )=-\frac{\eta _{1}^{2}}{4\eta _{2}}+\frac{1}{2}log(2\pi \cdot -\frac{1}{2\eta _{2}})\\ =\frac{\eta _{1}^{2}}{4\eta _{2}}+\frac{1}{2}log(-\frac{\pi }{2\eta _{2}}) A(η)=4η2η12+21log(2π2η21)=4η2η12+21log(2η2π)

由此就将高斯分布整理成了指数族分布的形式:

P ( x ∣ θ ) = h ( x ) e x p { η T ϕ ( x ) − A ( η ) } h ( x ) = 1      η = ( η 1 η 2 ) = ( μ σ 2 − 1 2 σ 2 )      ϕ ( x ) = ( x x 2 )      A ( η ) = η 1 2 4 η 2 + 1 2 l o g ( − π 2 η 2 ) P(x|\theta )=h(x)exp\left \{\eta ^{T}\phi (x)-A(\eta )\right \}\\ h(x)=1\; \; \eta =\begin{pmatrix} \eta _{1}\\ \eta _{2} \end{pmatrix}=\begin{pmatrix} \frac{\mu }{\sigma ^{2}}\\ -\frac{1}{2\sigma ^{2}} \end{pmatrix}\; \; \phi (x)=\begin{pmatrix} x\\ x^{2} \end{pmatrix}\; \; A(\eta )=\frac{\eta _{1}^{2}}{4\eta _{2}}+\frac{1}{2}log(-\frac{\pi }{2\eta _{2}}) P(xθ)=h(x)exp{ηTϕ(x)A(η)}h(x)=1η=(η1η2)=(σ2μ2σ21)ϕ(x)=(xx2)A(η)=4η2η12+21log(2η2π)

三、对数配分函数与充分统计量

通过对指数族分布的通用形式进行整理,可以得出对数配分函数与充分统计量
的特定关系:

P ( x ∣ η ) = h ( x ) e x p { η T ϕ ( x ) − A ( η ) } = 1 e x p { A ( η ) } h ( x ) e x p { η T ϕ ( x ) } 由 前 面 介 绍 的 内 容 可 知 配 分 函 数 e x p { A ( η ) } = ∫ h ( x ) e x p { η T ϕ ( x ) } d x ⇒ ∂ e x p { A ( η ) } ∂ η = ∂ ( ∫ h ( x ) e x p { η T ϕ ( x ) } d x ) ∂ η ⇒ e x p { A ( η ) } A ′ ( η ) = ∫ h ( x ) e x p { η T ϕ ( x ) } ϕ ( x ) d x ⇒ A ′ ( η ) = ∫ h ( x ) e x p { η T ϕ ( x ) } ϕ ( x ) d x e x p { A ( η ) } = ∫ h ( x ) e x p { η T ϕ ( x ) − A ( η ) } ⏟ P ( x ∣ η ) ϕ ( x ) d x = ∫ P ( x ∣ η ) ϕ ( x ) d x = E P ( x ∣ η ) [ ϕ ( x ) ] P(x|\eta )=h(x)exp\left \{\eta ^{T}\phi (x)-A(\eta )\right \}\\ =\frac{1}{exp\left \{A(\eta )\right \}}h(x)exp\left \{\eta ^{T}\phi (x)\right \}\\ 由前面介绍的内容可知配分函数exp\left \{A(\eta )\right \}=\int h(x)exp\left \{\eta ^{T}\phi (x)\right \}\mathrm{d}x\\ \Rightarrow \frac{\partial exp\left \{A(\eta )\right \}}{\partial \eta }=\frac{\partial (\int h(x)exp\left \{\eta ^{T}\phi (x)\right \}\mathrm{d}x)}{\partial \eta }\\ \Rightarrow exp\left \{A(\eta )\right \}A^{'}(\eta )=\int h(x)exp\left \{\eta ^{T}\phi (x)\right \}\phi (x)\mathrm{d}x\\ \Rightarrow A^{'}(\eta )=\frac{\int h(x)exp\left \{\eta ^{T}\phi (x)\right \}\phi (x)\mathrm{d}x}{exp\left \{A(\eta )\right \}}\\ =\int \underset{P(x|\eta )}{\underbrace{h(x)exp\left \{\eta ^{T}\phi (x)-A(\eta )\right \}}}\phi (x)\mathrm{d}x\\ =\int P(x|\eta )\phi (x)\mathrm{d}x\\ =E_{P(x|\eta )}[\phi (x)] P(xη)=h(x)exp{ηTϕ(x)A(η)}=exp{A(η)}1h(x)exp{ηTϕ(x)}exp{A(η)}=h(x)exp{ηTϕ(x)}dxηexp{A(η)}=η(h(x)exp{ηTϕ(x)}dx)exp{A(η)}A(η)=h(x)exp{ηTϕ(x)}ϕ(x)dxA(η)=exp{A(η)}h(x)exp{ηTϕ(x)}ϕ(x)dx=P(xη) h(x)exp{ηTϕ(x)A(η)}ϕ(x)dx=P(xη)ϕ(x)dx=EP(xη)[ϕ(x)]

类似地,继续对 A ( η ) A(\eta ) A(η)求二阶导数:

A ′ ′ ( η ) = ∂ ( ∫ h ( x ) e x p { η T ϕ ( x ) − A ( η ) } ϕ ( x ) d x ) ∂ η = ∫ h ( x ) e x p { η T ϕ ( x ) − A ( η ) } ⏟ P ( x ∣ η ) ( ϕ ( x ) − A ′ ( η ) ) ϕ ( x ) d x = ∫ P ( x ∣ η ) ( ϕ ( x ) − E P ( x ∣ η ) [ ϕ ( x ) ] ) ϕ ( x ) d x = ∫ P ( x ∣ η ) ϕ 2 ( x ) − E P ( x ∣ η ) [ ϕ ( x ) ] P ( x ∣ η ) ϕ ( x ) d x = ∫ P ( x ∣ η ) ϕ 2 ( x ) d x − E P ( x ∣ η ) [ ϕ ( x ) ] ∫ P ( x ∣ η ) ϕ ( x ) d x = E P ( x ∣ η ) [ ϕ 2 ( x ) ] − E P ( x ∣ η ) 2 [ ϕ ( x ) ] = V a r P ( x ∣ η ) [ ϕ ( x ) ] 由 于 方 差 ≥ 0 , 则 A ′ ′ ( η ) ≥ 0 , 因 此 A ( η ) 是 凸 函 数 。 A^{''}(\eta )=\frac{\partial (\int h(x)exp\left \{\eta ^{T}\phi (x)-A(\eta )\right \}\phi (x)\mathrm{d}x)}{\partial \eta }\\ =\int \underset{P(x|\eta )}{\underbrace{h(x)exp\left \{\eta ^{T}\phi (x)-A(\eta )\right \}}}(\phi (x)-A^{'}(\eta ))\phi (x)\mathrm{d}x\\ =\int P(x|\eta )(\phi (x)-E_{P(x|\eta )}[\phi (x)])\phi (x)\mathrm{d}x\\ =\int P(x|\eta )\phi ^{2}(x)-E_{P(x|\eta )}[\phi (x)]P(x|\eta )\phi (x)\mathrm{d}x\\ =\int P(x|\eta )\phi ^{2}(x)\mathrm{d}x-E_{P(x|\eta )}[\phi (x)]\int P(x|\eta )\phi (x)\mathrm{d}x\\ =E_{P(x|\eta )}[\phi ^{2}(x)]-E_{P(x|\eta )}^{2}[\phi (x)]\\ =Var_{P(x|\eta )}[\phi (x)]\\ 由于方差\geq 0,则A^{''}(\eta )\geq 0,因此A(\eta )是凸函数。 A(η)=η(h(x)exp{ηTϕ(x)A(η)}ϕ(x)dx)=P(xη) h(x)exp{ηTϕ(x)A(η)}(ϕ(x)A(η))ϕ(x)dx=P(xη)(ϕ(x)EP(xη)[ϕ(x)])ϕ(x)dx=P(xη)ϕ2(x)EP(xη)[ϕ(x)]P(xη)ϕ(x)dx=P(xη)ϕ2(x)dxEP(xη)[ϕ(x)]P(xη)ϕ(x)dx=EP(xη)[ϕ2(x)]EP(xη)2[ϕ(x)]=VarP(xη)[ϕ(x)]0A(η)0A(η)

四、极大似然估计与充分统计量

上述推导都是在无样本条件下进行的,在有样本的情况下我们也可以通过极大似然估计法来获得一些特定的关系,假设有如下数据:

D = { x 1 , x 2 , ⋯   , x N } D=\left \{x_{1},x_{2},\cdots ,x_{N}\right \} D={x1,x2,,xN}

然后使用极大似然估计法求解 η \eta η

η M L E = a r g m a x η    l o g P ( D ∣ η ) = a r g m a x η    l o g ∏ i = 1 N P ( x i ∣ η ) = a r g m a x η ∑ i = 1 N l o g P ( x i ∣ η ) = a r g m a x η ∑ i = 1 N l o g [ h ( x i ) e x p { η T ϕ ( x i ) − A ( η ) } ] = a r g m a x η ∑ i = 1 N [ l o g    h ( x i ) ⏟ 与 η 无 关 + η T ϕ ( x i ) − A ( η ) ] = a r g m a x η ∑ i = 1 N [ η T ϕ ( x i ) − A ( η ) ] ∂ ∑ i = 1 N [ η T ϕ ( x i ) − A ( η ) ] ∂ η = ∑ i = 1 N ∂ [ η T ϕ ( x i ) − A ( η ) ] ∂ η = ∑ i = 1 N [ ϕ ( x i ) − A ′ ( η ) ] = ∑ i = 1 N ϕ ( x i ) − N A ′ ( η ) = 0 ⇒ A ′ ( η M L E ) = 1 N ∑ i = 1 N ϕ ( x i ) \eta _{MLE}=\underset{\eta }{argmax}\; logP(D|\eta )\\ =\underset{\eta }{argmax}\; log\prod_{i=1}^{N}P(x_{i}|\eta )\\ =\underset{\eta }{argmax}\sum_{i=1}^{N}logP(x_{i}|\eta )\\ =\underset{\eta }{argmax}\sum_{i=1}^{N}log[h(x_{i})exp\left \{\eta ^{T}\phi (x_{i})-A(\eta )\right \}]\\ =\underset{\eta }{argmax}\sum_{i=1}^{N}[\underset{与\eta 无关}{\underbrace{log\; h(x_{i})}}+\eta ^{T}\phi (x_{i})-A(\eta )]\\ =\underset{\eta }{argmax}\sum_{i=1}^{N}[\eta ^{T}\phi (x_{i})-A(\eta )]\\ \frac{\partial \sum_{i=1}^{N}[\eta ^{T}\phi (x_{i})-A(\eta )]}{\partial \eta }\\ =\sum_{i=1}^{N}\frac{\partial [\eta ^{T}\phi (x_{i})-A(\eta )]}{\partial \eta }\\ =\sum_{i=1}^{N}[\phi (x_{i})-A^{'}(\eta )]\\ =\sum_{i=1}^{N}\phi (x_{i})-NA^{'}(\eta )\\ =0\\ \Rightarrow A^{'}(\eta _{MLE})=\frac{1}{N}\sum_{i=1}^{N}\phi (x_{i}) ηMLE=ηargmaxlogP(Dη)=ηargmaxlogi=1NP(xiη)=ηargmaxi=1NlogP(xiη)=ηargmaxi=1Nlog[h(xi)exp{ηTϕ(xi)A(η)}]=ηargmaxi=1N[η logh(xi)+ηTϕ(xi)A(η)]=ηargmaxi=1N[ηTϕ(xi)A(η)]ηi=1N[ηTϕ(xi)A(η)]=i=1Nη[ηTϕ(xi)A(η)]=i=1N[ϕ(xi)A(η)]=i=1Nϕ(xi)NA(η)=0A(ηMLE)=N1i=1Nϕ(xi)

η M L E \eta _{MLE} ηMLE就可以通过求 A ′ ( η ) A^{'}(\eta ) A(η)的反函数求出来。这说明 ϕ ( x i ) \phi (x_{i}) ϕ(xi)是充分统计量,因为只需要记录 1 N ∑ i = 1 N ϕ ( x i ) \frac{1}{N}\sum_{i=1}^{N}\phi (x_{i}) N1i=1Nϕ(xi)这一个值就可以求出 η \eta η,进而通过 η \eta η求出所有的参数。

五、最大熵

  1. 概述

首先定义信息量和熵:

信 息 量 : − l o g    p ( x ) 熵 : H [ P ] = E [ − l o g    p ( x ) ] = ∫ − p ( x ) l o g    p ( x ) d x ( 连 续 ) H [ P ] = E [ − l o g    p ( x ) ] = − ∑ i = 1 N p ( x ) l o g    p ( x ) ( 离 散 ) 信息量:-log\; p(x)\\ 熵:\\ H[P]=E[-log\; p(x)]=\int -p(x)log\; p(x)\mathrm{d}x(连续)\\ H[P]=E[-log\; p(x)]=-\sum_{i=1}^{N}p(x)log\; p(x)(离散) logp(x)H[P]=E[logp(x)]=p(x)logp(x)dx()H[P]=E[logp(x)]=i=1Np(x)logp(x)()

  1. 离散情况下的最大熵

假设 x x x是离散的:

x12 ⋯ \cdots k
P p 1 p_{1} p1 p 2 p_{2} p2 ⋯ \cdots p k p_{k } pk

通过求解以下约束优化问题可以求得使得离散情况下熵最大的分布:

{ m a x    H [ P ] = m a x − ∑ i = 1 k p i l o g    p i s . t .    ∑ i = 1 k p i = 1 ⇔ { m i n ∑ i = 1 k p i l o g    p i s . t .    ∑ i = 1 k p i = 1 \left\{\begin{matrix} max\; H[P]=max-\sum_{i=1}^{k}p_{i}log\; p_{i}\\ s.t.\; \sum_{i=1}^{k}p_{i}=1 \end{matrix}\right.\Leftrightarrow \left\{\begin{matrix} min\sum_{i=1}^{k}p_{i}log\; p_{i}\\ s.t.\; \sum_{i=1}^{k}p_{i}=1 \end{matrix}\right. {maxH[P]=maxi=1kpilogpis.t.i=1kpi=1{mini=1kpilogpis.t.i=1kpi=1

使用拉格朗日乘子法进行求解:

L ( P , λ ) = ∑ i = 1 k p i l o g    p i + λ ( 1 − ∑ i = 1 k p i ) ∂ L ∂ p i = l o g    p i + p i 1 p i − λ = l o g    p i + 1 − λ = 0 ⇒ p ^ i = e x p ( λ − 1 ) 也 就 是 说 每 个 p ^ i 都 等 于 e x p ( λ − 1 ) , 由 ∑ i = 1 k p i = 1 可 以 得 到 : p ^ 1 = p ^ 2 = ⋯ = p ^ k = 1 k ∴ P ( x ) 是 均 匀 分 布 。 L(P,\lambda )=\sum_{i=1}^{k}p_{i}log\; p_{i}+\lambda (1-\sum_{i=1}^{k}p_{i})\\ \frac{\partial L}{\partial p_{i}}=log\; p_{i}+p_{i}\frac{1}{p_{i}}-\lambda =log\; p_{i}+1-\lambda =0\\ \Rightarrow \hat{p}_{i}=exp(\lambda -1)\\ 也就是说每个\hat{p}_{i}都等于exp(\lambda -1),由\sum_{i=1}^{k}p_{i}=1可以得到:\\ \hat{p}_{1}=\hat{p}_{2}=\cdots =\hat{p}_{k}=\frac{1}{k}\\ \therefore P(x)是均匀分布。 L(P,λ)=i=1kpilogpi+λ(1i=1kpi)piL=logpi+pipi1λ=logpi+1λ=0p^i=exp(λ1)p^iexp(λ1)i=1kpi=1p^1=p^2==p^k=k1P(x)

离散情况下均匀分布会使得熵最大。也就是说在没有任何已知条件约束的情况下均匀分布的熵最大。

  1. 最大熵原理

上一部分得出在无任何已知的情况下的最大熵对应的分布为均匀分布,而在满足一定的约束(已知事实)的条件下就要使用最大熵原理来进行求解。

首先要说明已知事实指的就是我们已经有了一部分数据:

D a t a = { x 1 , x 2 , ⋯   , x N } Data=\left \{x_{1},x_{2},\cdots ,x_{N}\right \} Data={x1,x2,,xN}

然后根据数据我们可以定义其经验分布:

p ^ ( x = n ) = p ^ ( n ) = c o u n t ( n ) N \hat{p}(x=n)=\hat{p}(n)=\frac{count(n)}{N} p^(x=n)=p^(n)=Ncount(n)

通过该分布可以获得数据的一些属性,比如 E p ^ [ x ] , V a r p ^ [ x ] , ⋯ E_{\hat{p}}[x],Var_{\hat{p}}[x],\cdots Ep^[x],Varp^[x],。另外我们假设 f ( x ) f(x) f(x)是任意关于 x x x的函数向量,满足:

E p ^ [ f ( x ) ] = Δ 其 中 f ( x ) = ( f 1 ( x ) f 2 ( x ) ⋮ f Q ( x ) )      Δ = ( Δ 1 Δ 2 ⋮ Δ Q ) E_{\hat{p}}[f(x)]=\Delta \\ 其中f(x)=\begin{pmatrix} f_{1}(x)\\ f_{2}(x)\\ \vdots \\ f_{Q}(x) \end{pmatrix}\; \; \Delta =\begin{pmatrix} \Delta _{1}\\ \Delta _{2}\\ \vdots \\ \Delta _{Q} \end{pmatrix} Ep^[f(x)]=Δf(x)=f1(x)f2(x)fQ(x)Δ=Δ1Δ2ΔQ

也就是说现在需要满足上述约束条件,于是在该约束下求解最大熵的分布就转换成了一个约束优化问题:

{ m i n    ∑ x p ( x ) l o g    p ( x ) s . t .    ∑ x p ( x ) = 1 E p [ f ( x ) ] = E p ^ [ f ( x ) ] = Δ \left\{\begin{matrix} min\; \sum _{x}p(x)log\; p(x)\\ s.t.\; \sum _{x}p(x)=1\\ E_{p}[f(x)]=E_{\hat{p}}[f(x)]=\Delta \end{matrix}\right. minxp(x)logp(x)s.t.xp(x)=1Ep[f(x)]=Ep^[f(x)]=Δ

然后就可以使用拉格朗日乘子法进行求解,首先定义拉格朗日函数:

L ( P , λ 0 , λ ) = ∑ x p ( x ) l o g    p ( x ) + λ 0 ( 1 − ∑ x p ( x ) ) + λ T ( Δ − E p [ f ( x ) ] ) L(P,\lambda _{0},\lambda )=\sum _{x}p(x)log\; p(x)+\lambda _{0}(1-\sum _{x}p(x))+\lambda ^{T}(\Delta -E_{p}[f(x)]) L(P,λ0,λ)=xp(x)logp(x)+λ0(1xp(x))+λT(ΔEp[f(x)])

接着对 p ( x ) p(x) p(x)进行求导,这里指的是对每个 p ( x i ) 进 行 求 导 p(x_{i})进行求导 p(xi)

∂ L ∂ p ( x ) = l o g    p ( x ) + p ( x ) 1 p ( x ) − λ 0 − λ T ∂ ∑ x p ( x ) f ( x ) ∂ p ( x ) = l o g    p ( x ) + 1 − λ 0 − λ T f ( x ) = 0 ⇒ l o g    p ( x ) = λ T f ( x ) + λ 0 − 1 ⇒ p ( x ) = e x p { λ T f ( x ) − ( 1 − λ 0 ) } \frac{\partial L}{\partial p(x)}=log\; p(x)+p(x)\frac{1}{p(x)}-\lambda _{0}-\lambda ^{T}\frac{\partial \sum _{x}p(x)f(x)}{\partial p(x)}\\ =log\; p(x)+1-\lambda _{0}-\lambda ^{T}f(x)\\ =0\\ \Rightarrow log\; p(x)=\lambda ^{T}f(x)+\lambda _{0}-1\\ \Rightarrow p(x)=exp\left \{\lambda ^{T}f(x)-(1-\lambda _{0})\right \} p(x)L=logp(x)+p(x)p(x)1λ0λTp(x)xp(x)f(x)=logp(x)+1λ0λTf(x)=0logp(x)=λTf(x)+λ01p(x)=exp{λTf(x)(1λ0)}

显示 p ( x ) p(x) p(x)是一个指数族分布,因此对于连续变量 x x x,其在满足既定事实的条件下对应的最大熵的分布是一个指数族分布。

公众号同步更新


微信公众号


  • 0
    点赞
  • 8
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值