Desigualtat de Gibbs

Josiah Willard Gibbs

En teoria de la informació, la desigualtat de Gibbs és una declaració sobre l'entropia de la informació d'una distribució de probabilitat discreta. Moltes altres cotes en l'entropia de les distribucions de probabilitat deriven de la desigualtat de Gibbs, inclosa la desigualtat de Fano. Va ser presentada per primer cop per J. Willard Gibbs en el segle XIX.

Desigualtat de Gibbs

Sigui

$P=\{p_1,\dots ,p_n\}$

una distribució de probabilitat discreta. Llavors per qualsevol altra distribució de probabilitat

$Q=\{q_1,\dots ,q_n\}$

La desigualtat següent entre quant_itats positives (des de pi i qi és entre zero i un) controls:Plantilla:Rp

$-\sum _{i=1}^n{p}_i\log p_i\le -\sum _{i=1}^n{p}_i\log q_i$

amb igualtat si i només si

$p_i=q_i$

per tot i. En paraules, l'entropia de Shannon d'una distribució P és menor o igual a la seva entropia creuada amb qualsevol altra distribució Q.

La diferència entre dues quantitats és la divergència de Kullback-Leibler o l'entropia relativa, així doncs també es pot escriure la desigualtat com:Plantilla:Rp

$D_{\mathrm{K}\mathrm{L}}(P\Vert Q)\equiv \sum _{i=1}^n{p}_i\log \frac{p_i}{q_i}\ge 0.$

Noti's que l'ús de logaritmes de base 2 és opcional i que permet referir-se a la quantitat en cada costat de la desigualtat com la quantitat d'informació en bits.

Demostració

Per simplicitat, s'utilitza el logaritme natural (ln), ja que

$\log a=\frac{\ln a}{\ln 2},$

El logaritme en particular que s'utilitzi només escala la relació.

Sigui $I$ el conjunt de tots els índexs $i$ pels quals p_i és diferent a zero. Llavors, com que $\ln x\le x-1$ per tot x > 0, amb igualtat si i només si x=1, es té:

$-\sum _{i\in I}{p}_i\ln \frac{q_i}{p_i}\ge -\sum _{i\in I}{p}_i(\frac{q_i}{p_i}-1)$$=-\sum _{i\in I}{q}_i+\sum _{i\in I}{p}_i=-\sum _{i\in I}{q}_i+1\ge 0$

L'última desigultat és una conseqüència del fet que p_i i q_i formen part d'una distribució de probabilitat. En particular, la suma de tots els valors diferents de zero és 1. Alguns termes no-zeros q_i, tanmateix, poden haver estat exclosos ja que la tria d'índexs depèn dels termes p_i diferents a zero. Per tant, la suma dels q_i pot ser inferior a 1.

Fins aquí, en el conjunt d'índexs $I$, es té:

$-\sum _{i\in I}{p}_i\ln \frac{q_i}{p_i}\ge 0$,

o equivalentment

$-\sum _{i\in I}{p}_i\ln q_i\ge -\sum _{i\in I}{p}_i\ln p_i$.

Tots dos sumatoris poden ser estesos a tots els índexs $i=1,\dots ,n$, és a dir, incloent $p_i=0$, recordant que l'expressió $p\ln p$ tendeix a 0 a mesura que $p$ tendeix a 0, i $(-\ln q)$ tendeix a $\mathrm{\infty }$ a mesura que $q$ tendeix a 0. S'arriba a

$-\sum _{i=1}^n{p}_i\ln q_i\ge -\sum _{i=1}^n{p}_i\ln p_i$

Per tal que hi hagi igualtat, cal que

1. $\frac{q_i}{p_i}=1$ per tot $i\in I$ perquè apliqui l'igualtat $\ln \frac{q_i}{p_i}=\frac{q_i}{p_i}-1$,
2. i $\sum _{i\in I}{q}_i=1$ que significa que $q_i=0$ si $i\notin I$, és a dir, $q_i=0$ si $p_i=0$.

Això pot passar si i només si $p_i=q_i$ per $i=1,\dots ,n$.

Demostracions alternatives

Alternativament, el resultat pot ser demostrat usant la desigualtat de Jensen, la desigualtat de la suma de logaritmes, o el fet que la divergència de Kullback-Leibler és una forma de divergència de Bregman. A continuació es mostra una demostració basada en la desigualtat de Jensen:

Com que el logaritme és una funció còncava, es té que:

$\sum _i{p}_i\log \frac{q_i}{p_i}\le \log \sum _i{p}_i\frac{q_i}{p_i}=\log \sum _i{q}_i\le 0$

On la primera desigualtat és deguda a la desigualtat de Jensen, i la darrera igualtat és deguda a la mateixa raó que es dona en la demostració principal, més amunt.

A més, com que $\log$ és estrictament còncava, per la condició d'igualtat de la desigualtat de Jensen es té igualtat com

$\frac{q_1}{p_1}=\frac{q_2}{p_2}=\cdots =\frac{q_n}{p_n}$

i

$\sum _i{q}_i=1$

Suposi's que aquest ràtio és $\sigma$, llavors es té que

$1=\sum _i{q}_i=\sum _i\sigma p_i=\sigma$

On s'ha usat el fet que $p,q$ són distribucions de probabilitat. Per tant, la igualtat es dona quan $p=q$.

Corol·lari

L'entropia de $P$ és fitada per:Plantilla:Rp

$H(p_1,\dots ,p_n)\le \log n.$

La demostració és trivial - agafi's $q_i=1/n$ per tot i.

Vegeu també

• Entropia d'informació