信息熵，散度

信息熵

  熵是热力学和信息学中的一个概念，在这里我主要要讨论信息熵。信息熵描述了信息的多少，也可以说是不确定性的多少。打个比方，明天太阳从东边升起，这句话的信息量为0。因为太阳一定是从东边升起的，这是概率为1的事件，没有任何的不确定性。
  香农在定义信息熵的时候，考虑了如下几个性质：

• 连续性。 改变事件发生的概率，信息熵也要随之发生变化，信息熵的变化随概率分布的变化是连续的。
• 当事件发生的概率相同时，熵取得最大值，在这种情况下，事件的可能状态越多，熵越大。
• 当事件的发生是确定的，此时熵为0。
  熵的计算式如下：
  $$H(X)=\sum _{i=1}^{n}p(x_i){\log }_2(\frac{1}{p(x_i)})=-\sum _{i=1}^{n}p(x_i){\log }_{2}p(x_i)$$

  熵的大小决定了编码信息所需要的最小比特数，它也是数据无损压缩的极限。熵还有其它的定义，在满足一下条件的情况下，熵函数H的形式是唯一的：

• 对于概率序列$p_1,p_2,...,p_n$, ${\sum }_{i=1}^n{p}_i=1$, $H(p_1,...,p_n)$是连续的。
• 对于正整数n，H满足以下条件：$$H(\frac{1}{n},...,\frac{1}{n})(n项)<H(\frac{1}{n+1},...,\frac{1}{n+1})(n+1项)$$
• 对于正整数$b_i$, ${\sum }_{i=1}^k{b}_i=n$，有
  $$H(\frac{1}{n},...,\frac{1}{n})=H(\frac{b_1}{n},...,\frac{b_k}{n})+\sum _{i=1}^k\frac{b_i}{n}H(\frac{1}{b_i},...,\frac{1}{b_i})$$
  第三点表明系统的熵可以看作它的子系统的熵之和。假设我们有n个球，每个球取到的概率相等，为$\frac{1}{n}$, 系统的熵即为上式的左项；换个方法，我们把这n个球放进k个盒子里，每个盒子的球的数量为$b_i$，每个球取到的概率依然为$\frac{1}{n}$, 球位于第i个盒子的概率为$\frac{b_i}{n}$，在盒子内取到球的概率为$\frac{1}{b_i}$, 系统的熵可以看成每个盒子的熵与盒子组成的子系统的熵之和。

性质

• $H_n(p_1,...,p_n)$对于概率序列$p_1,...,p_n$是连续和对称的。
• $H_{n+1}(p_1,...,p_n,0)=H_n(p_1,...,p_n)$
• 当概率分布为均匀分布的时候，熵取得最大值。即
  $$H_n(p_1,...,p_n)\le H_n(\frac{1}{n},...,\frac{1}{n})$$
  可以用琴生不等式证明
  $$H(X)=E[{\log }_b(\frac{1}{p(X)})]\le {\log }_b(E[\frac{1}{p(X)}])={\log }_b(n)$$

  以上是信息熵的离散形式,信息熵的连续形式如下：
$$h[f]=-{\int }_{-\infty }^{\infty }f(x)\log f(x)\mathrm{d}x$$
其中，f为概率密度函数。
综上，熵的计算式为$H(P)=E_{x\sim P}(-\log \frac{1}{P(x)})$

交叉熵

  在机器学习中，我们经常要用到交叉熵损失函数，交叉熵和信息熵有很深的联系。在机器学习中，我们经常要估计变量的分布，那么我们估计的概率分布和变量的真实分布到底有多接近呢?交叉熵就是用来衡量这个真实概率分布和估计的概率分布的差异的。
  假设真实的概率分布为P，估计的概率分布为Q，熵的估计值为
$$H(Q)=E_{x\sim Q}(\log \frac{1}{Q(x)})$$
如果Q和P非常接近的话，那么H(Q)也会接近H(P）。但是X的真实分布是P而不是Q，所以这样计算出来的期望值并不准确，于是我们用交叉熵来表示这个期望值：
$$H(P,Q)=E_{x\sim P}(\log \frac{1}{Q(x)})$$
这和我们根据样本计算变量的方差有点类似，由于样本的均值不是变量的均值，所以前面的系数为$\frac{1}{n-1}$而不是$\frac{1}{n}$。
  交叉熵利用概率分布P和编码大小$\log \frac{1}{Q}$来计算熵的期望值。交叉熵不是对称的，一般地，$H(P,Q)̸=H(Q,P)$。当P=Q，有$H(P,Q)=H(P,P)=H(P)$。
$$H(P,Q)\ge H(P)$$
当P=Q时，上式取等号。
  在做分类任务的时候，我们经常使用交叉熵作为损失函数，进行分类的时候，训练数据一般采用的是one-hot编码。比如$[0,1,0,0,0]$表示样本的类别为第二类，这就是损失函数中的概率分布P。假设我们的模型最后输出的分类结果是$[0.5,0.2,0.1,0.1,0.1]$，那么计算得到的交叉熵为
$$H(P,Q)=0+\log \frac{1}{0.2}+0+0+0=1.609$$
我用的是底数为e的对数函数，这里底数并不重要，因为对数可以用换底公式进行变形，所以相对大小不会有影响。
假设模型经过训练后，分类正确率得到提高，分类结果变为$[0.1,0.9,0,0,0]$,再次计算交叉熵，得到
$$H(P,Q)=0+\log \frac{1}{0.9}+0+0+0=0.105$$
交叉熵的数值减少了，这和我们的直觉是相符合的，因为分类结果变好了。

KL散度

  衡量两个分布之间的相似性，还可以用KL散度。KL散度的定义如下：
$$\begin{array}{rl}{D}_{KL}(P||Q)& =H(P,Q)-H(P)\\ & =E_{x\sim P}(-\log Q(x))-E_{x\sim P}(-\log P(x))\\ & =E_{x\sim P}(\log P(x)-\log Q(x))\\ & =E_{x\sim P}(\log \frac{P(x)}{Q(x)})\end{array}$$
KL散度有离散和连续两种情况:
$$D_{KL}(P||Q)=\sum _i{P}_i\log \frac{P(i)}{Q(i)}$$
$$D_{KL}(P||Q)=\int P(x)\log \frac{P(x)}{Q(x)}\mathrm{d}x$$

性质

• KL散度是非负的。前面我们已经提到$H(P,Q)\ge H(P)$
• KL散度是非对称的。$D_{KL}(P||Q)̸=D_{KL}(Q||P)$

JS散度

  JS散度也可以衡量两个概率分布的相似性。对于两个分布P，Q，它们的JS散度定义如下：
$$JSD(P||Q)=\frac{1}{2}{D}_{KL}(P||M)+\frac{1}{2}{D}_{KL}(Q||M)$$
其中，$M=\frac{1}{2}(P+Q)$.
  JS散度有以下性质：

• 对称性。 $JSD(P||Q)=JSD(Q||P)$
• 有界性。$0\le JSD(P||Q)\le 1$
  证明如下：前面我们知道，$D(P,Q)\ge 0$,所以$JSD(P,Q)\ge 0$。
  J S D ( P , Q ) = 1 2 D K L ( P ∣ ∣ 1 2 ( P + Q ) ) + 1 2 D K L ( Q ∣ ∣ 1 2 ( P + Q ) ) = 1 2 { H ( P , 1 2 ( P + Q ) ) − H ( P ) + H ( Q , 1 2 ( P + Q ) ) − H ( Q ) } = 1 2 { E x ∼ P log ⁡ 2 P ( x ) P ( x ) + Q ( x ) + E x ∼ Q log ⁡ 2 Q ( x ) P ( x ) + Q ( x ) } ≤ 1 2 ( log ⁡ 2 + log ⁡ 2 ) = log ⁡ 2 \begin{aligned} JSD(P,Q)&amp;=\frac{1}{2}D_{KL}(P||\frac{1}{2}(P+Q))+\frac{1}{2}D_{KL}(Q||\frac{1}{2}(P+Q))\\&amp;=\frac{1}{2}\{H(P,\frac{1}{2}(P+Q))-H(P)+H(Q,\frac{1}{2}(P+Q))-H(Q)\}\\&amp;=\frac{1}{2}\{{E_{x\sim P}\log \frac{2P(x)}{P(x)+Q(x)}}+E_{x\sim Q}\log \frac{2Q(x)}{P(x)+Q(x)}\}\\&amp;\leq \frac{1}{2}(\log 2+\log 2)\\&amp;=\log 2 \end{aligned} JSD(P,Q)​=21​DKL​(P∣∣21​(P+Q))+21​DKL​(Q∣∣21​(P+Q))=21​{H(P,21​(P+Q))−H(P)+H(Q,21​(P+Q))−H(Q)}=21​{Ex∼P​logP(x)+Q(x)2P(x)​+Ex∼Q​logP(x)+Q(x)2Q(x)​}≤21​(log2+log2)=log2​
  如果以2为底数，则上界为1；如果以e为底，则上界为$\ln 2$。

互信息

  介绍互信息之前，我们先来介绍一下条件熵。条件熵的定义如下：
$$\begin{array}{rl}H(X|Y)& =\sum _y{P}_Y(y)[-\sum _x{P}_{X|Y}(x|y)\log (P_{X|Y}(x|y))]\\ & =E_{P_Y}(-E_{P_{X|Y}}\log P_{X|Y})\end{array}$$
其中，$P_{X|Y}(x|y)=\frac{P_{XY}(x,y)}{P_Y(y)}$，是给定y以后x的概率。熵描述了变量的不确定性，条件熵则描述了在给定变量y的条件下，变量x的不确定性。
  互信息的定义如下：
$$\begin{array}{rl}I(X;Y)& =\sum _{x,y}{P}_{XY}(x,y)\log \frac{P_{XY}(x,y)}{P_X(x)P_Y(y)}\\ & =E_{P_{XY}}\log \frac{P_{XY}}{P_X{P}_Y}\end{array}$$
互信息与熵的关系如下：
$$I(X;Y)=H(X)-H(X|Y)$$
证明如下：
$$\begin{array}{rl}I(X;Y)& =\sum _{x,y}{P}_{XY}(x,y)\log \frac{P_{XY}(x,y)}{P_X(x)P_Y(y)}\\ & =\sum _{x,y}{P}_{XY}(x,y)\log P_{XY}(x,y)-\sum _{x,y}{P}_{XY}(x,y)\log P_X(x)-\sum _{x,y}{P}_{XY}(x,y)\log P_Y(y)\end{array}$$
$$\begin{array}{rl}\sum _{x,y}{P}_{XY}(x,y)\log P_X(x)& =\sum _x[\sum _y{P}_{XY}(x,y)\log P_X(x)]\\ & =\sum _x[\log P_X(x)\sum _y{P}_{XY}(x,y)]\\ & =\sum _x{P}_X(x)\log P_X(x)\\ & =-H(X)\end{array}\text{\hspace{1em}(1)}$$
$$\begin{array}{r}\sum _{x,y}{P}_{XY}(x,y)\log P_{XY}(x,y)-\sum _{x,y}{P}_{XY}(x,y)\log P_Y(y)\\ =\sum _y[\sum _x{P}_{XY}(x,y)\log P_{XY}(x,y)]-\sum _y[\sum _x{P}_{XY}(x,y)\log P_Y(y)]\\ =\sum _y[\sum _x{P}_{XY}(x,y)\log P_{XY}(x,y)]-\sum _y{P}_Y(y)\log P_Y(y)\\ =\sum _y{P}_Y(y)[\sum _x{P}_{X|Y}(x|y)\log P_{XY}(x,y)]-\sum _y{P}_Y(y)\log P_Y(y)\\ =\sum _y{P}_Y(y)[\sum _x{P}_{X|Y}(x|y)\log P_{XY}(x,y)]-\sum _y{P}_Y(y)[\sum _x{P}_{X|Y}(x|y)\log P_Y(y)]\\ =\sum _y{P}_Y(y)[\sum _x{P}_{X|Y}(x|y)[\log P_{XY}(x,y)-\log P_Y(y)]]\\ =\sum _y{P}_Y(y)[\sum _x{P}_{X|Y}(x|y)\log P_{X|Y}(x|y)]\\ =-H(X|Y)\end{array}\text{\hspace{1em}(2)}$$
(2)中有个地方说明一下，$$\begin{array}{rl}\sum _y{P}_Y(y)\log P_Y(y)& =\sum _{y}1\ast \log P_Y(y)\\ & =\sum _y[\log P_Y(y)\sum _x{P}_{X|Y}(x|y)]\\ & =\sum _y[\sum _x{P}_{X|Y}(x|y)\log P_{X|Y}(x|y)]\end{array}$$
在给定y的条件下，${\sum }_x{P}_{X|Y}(x|y)=1$
(2)式还有一种简单的证法，
$$\begin{array}{r}\sum _{x,y}{P}_{XY}(x,y)\log P_{XY}(x,y)-\sum _{x,y}{P}_{XY}P(x,y)\log P_Y(y)\\ =\sum _{x,y}{P}_{XY}(x,y)\log P_{X|Y}(x|y)\\ =\sum _y[\sum _x{P}_{XY}(x,y)\log P_{X|Y}(x|y)]\\ =\sum _y[\sum _x{P}_{X|Y}(x|y)P_Y(y)\log P_{X|Y}(x|y)]\\ =\sum _y{P}_Y(y)[\sum _x{P}_{X|Y}(x|y)\log P_{X|Y}(x|y)]\\ =-H(X|Y)\end{array}\text{\hspace{1em}(3)}$$
上式得证。

互信息可以表示给定Y的条件下，X的不确定性的减少量，如果互信息越大，说明X和Y的相关性越大，如果互信息为0,则X和Y相互独立。

性质

• 互信息是非负的
• 对称性 $I(X;Y)=H(X)-H(X|Y)=H(Y)-H(Y|X)=I(Y;X)$