最大熵（一）| 最大熵原理+模型 | 《统计学习方法》学习笔记（二十三）

最大熵模型（maximum entropy model ）由最大熵原理推导出来。

1. 最大熵原理

最大熵原理是概率模型学习的一个准则。最大熵原理认为，学习概率模型时，在所有可能的概率模型（分布）中，熵最大的模型是最好的模型。通常用约束条件来确定概率模型的集合，所以，最大熵原理也可以表述为在满足约束条件的模型集合中选取熵最大的模型。

假设离散随机变量X的概率分布是$P(X)$，则其熵是
$$H(P)=-\sum _{x}P(x)logP(x)$$
熵满足下列不等式：
$$0\le H(P)\le log|X|$$
式中，$|X|$是X的取值个数，当且仅当X的分布是均匀分布时右边的等号成立。这就是说，当X服从均匀分布时，熵最大。

直观地说，最大熵原理认为要选择的概率模型首先必须满足已有的事实，即约束条件。在没有更多信息的条件下，那些不确定的部分都是“等可能的”。最大熵原理通过熵的最大化来表示等可能性。“等可能性”不容易操作，而熵则是一个可优化的数值指标。

简单例子介绍最大熵原理：

例 ：假设随机变量X有5个取值 { A , B , C , D , E } \{A,B,C,D,E\} {A,B,C,D,E}，要估计取各个值的概率$P(A),P(B),P(C),P(D),P(E)$.

解：这些概率值满足以下约束条件：
$$P(A)+P(B)+P(C)+P(D)+P(E)=1$$
满足这个约束条件的概率分布有无穷多个。如果没有任何其他信息，仍要对概率分布进行估计，一个办法就是认为这个分布中取各个值的概率是相等的：
$$P(A)=P(B)=P(C)=P(D)=P(E)=\frac{1}{5}$$
等概率表示了对事实的无知。因为没有更多的信息，这种判断是合理的。

有时，能从一些先验知识中得到一些对概率值的约束条件，例如：
$$\begin{gathered} P(A)+P(B)=\frac{3}{10} \\ P(A)+P(B)+P(C)+P(D)+P(E)=1 \end{gathered}$$
满足这两个约束条件的概率分布仍然有无穷多个。在缺少其他信息的情况下，可以认为A与B是等概率的，C，D与E是等概率的，于是，
$$\begin{gathered} P(A)=P(B)=\frac{3}{20} \\ P(C)=P(D)=P(E)=\frac{7}{30} \end{gathered}$$
如果还有第3个约束条件：
$$\begin{gathered} P(A)+P(C)=\frac{1}{2} \\ P(A)+P(B)=\frac{3}{10} \\ P(A)+P(B)+P(C)+P(D)+P(E)=1 \end{gathered}$$
可以继续按照满足约束条件下求等概率的方法估计概率分布。这里不再继续讨论。以上概率模型学习的方法正式遵循了最大熵原理。

下图提供了用最大熵原理进行概率模型选择的几何解释。概率模型集合P可由欧式空间中的单纯形表示，如左图的三角形（2-单纯性）。一个点代表一个模型，整个单存形代表模型集合。一般地，这样的模型仍有无穷多个。学习的目的是在可能的模型集合中选择最优模型，而最大熵原理则给出最优模型选择的一个准则。

2. 最大熵模型的定义

最大熵原理是统计学习的一般原理，将它应用到分类得到最大熵模型。

假设分类模型是一个条件概率分布$P(Y|X),X\in \chi \subset {\mathbf{R}}^n$表示输入，$Y\in \gamma$表示输出，$\chi$和$\gamma$分别是输入和输出的集合。这个模型表示的是对于给定的输入$X$，以条件概率$P(Y|X)$输出Y。

给定一个训练数据集
T = { ( x 1 , y 1 ) , ( x 2 , y 2 ) , ⋅ ⋅ ⋅ , ( x N , y N ) } T=\{(x_1,y_1),(x_2,y_2),···,(x_N,y_N)\} T={(x1​,y1​),(x2​,y2​),⋅⋅⋅,(xN​,yN​)}
学习的目标是用最大熵原理选择最好的分类模型。

首先考虑模型应该满足的条件。给定训练数据集，可以确定联合分布$P(X,Y)$的经验分布和边缘分布$P(X)$的经验分布，分别以$\hat{P}(X,Y)$和$\hat{P}(X)$表示。这里，
$$\begin{gathered} \hat{P}(X=x,Y=y)=\frac{v(X=x,Y=y)}{N} \\ \hat{P}(X=x)=\frac{v(X=x)}{N} \end{gathered}$$
其中，$v(X=x,Y=y)$表示训练数据中样本$(x,y)$出现的频数，$v(X=x)$表示训练数据中输入x出现的频数，N表示训练样本容量。

用特征函数（feature function，可以是任何实值函数）$f(x,y)$描述输入x和输出y之间的某一个事实。其定义是
$$f(x,y)=\{\begin{array}{ll}1,& x与y满足某一事实\\ 0,& 否则\end{array}$$
它是一个二值函数，当x和y满足这个事实时取值为1，否则取值为0.

特征函数$f(x,y)$关于经验分布$\hat{P}(X,Y)$的期望值，用$E_{\hat{P}}(f)$表示。
$$E_{\hat{p}}(f)=\sum _{x,y}\hat{P}(x,y)f(x,y)$$
特征函数$f(x,y)$关于模型$P(Y|X)$与经验分布$\hat{P}(X)$的期望值，用$E_p(f)$表示。
$$E_p(f)=\sum _{x,y}\hat{P}(x)P(y|x)f(x,y)$$
如果模型能够获取训练数据中的信息，那么就可以假设这两个期望值相等，即
$$E_p(f)=E_{\hat{p}}(f)\text{\hspace{1em}(5)}$$
或
$$\sum _{x,y}\hat{P}(x)P(y|x)f(x,y)=\sum _{x,y}\hat{P}(x,y)f(x,y)\text{\hspace{1em}(6)}$$
将式（5）或式（6）作为模型学习的约束条件。假如有n个特征函数$f_i(x,y),i=1,2,\cdot \cdot \cdot ，n$，那么就有n个约束条件。

定义：（最大熵模型）假设满足所有约束条件的模型集合为
C ≡ { P ∈ P ∣ E p ( f i ) = E P ^ ( f i ) , i = 1 , 2 , ⋅ ⋅ ⋅ , n } C\equiv \{P\in \Rho|E_p(f_i)=E_{\hat P}(f_i),\quad i=1,2,···,n\} C≡{P∈P∣Ep​(fi​)=EP^​(fi​),i=1,2,⋅⋅⋅,n}
定义在条件概率分布$P(Y|X)$上的条件熵为
$$H(P)=-\sum _{x,y}\hat{P}(x)P(y|x)logP(y|x)$$
则模型集合C中条件熵$H(P)$最大的模型称为最大熵模型。式中的对数为自然对数。