L'entropie de Rényi, due à Alfréd Rényi, est une fonction mathématique qui correspond à la quantité d'information contenue dans la probabilité de collision d'une variable aléatoire.

Définition

modifier

Étant donnés une variable aléatoire discrète X à n valeurs possibles (x1,x2,…xn), ainsi qu'un paramètre réel α strictement positif et différent de 1, l'entropie de Rényi d'ordre α de X est définie par la formule :

Hα(X)=11−αlog⁡∑i=1nP(X=xi)α

Cas particuliers

modifier

L'entropie de Rényi généralise d'autres acceptions de la notion d'entropie, qui correspondent chacune à des valeurs particulières de α.

Entropie de Hartley

modifier

Le cas α=0 donne :

H0(X)=log⁡n=log⁡|X|

ce qui correspond au logarithme du cardinal de X, qui correspond à l'entropie de Hartley.

Entropie de Shannon

modifier

D'après la règle de L'Hôpital, on peut trouver une limite à Hα(X) quand α tend vers 1 :

limα→1Hα(X)=−∑i=1npilog⁡pi

Cette expression correspond à l'entropie de Shannon.

Entropie de collision

modifier

Dans le cas où α=2, on trouve l'entropie dite de collision, appelée parfois simplement « entropie de Rényi » :

H2(X)=−log⁡∑i=1npi2=−log⁡P(X=Y)

où Y est une variable aléatoire indépendante et identiquement distribuée par rapport à X.

Entropie min

modifier

En faisant tendre α vers l'infini, on trouve l'entropie min :

H∞(X)=−log⁡supi=1..npi

Propriétés

modifier

Décroissance selon α

modifier

Hα est une fonction décroissante de α.

Soit P={p1,p2,...,pn} une distribution de probabilité

dHαdα=ddα(11−αlog⁡∑i=1nP(X=xi)α)=1(1−α)2∑i=1nqilog⁡(piqi)=−1(1−α)2DKL(Q||P)

avec Q la distribution de probabilité des qi=piα∑j=1npjα et DKL la Divergence de Kullback-Leibler de Q par rapport P.

Puisque cette divergence est positive, la dérivée de l'entropie de Rényi en devient négative et donc Hα est bien décroissante en α.

Preuve alternative

modifier

Soit P={p1,p2,...,pn} une distribution de probabilité,

Hα(X)=11−αlog⁡∑i=1nPX(xi)α=−log⁡𝔼[PX(X)α−1]1α−1=−log⁡𝔼[PX(X)α−1]β−1α−11β−1≥−log⁡𝔼[PX(X)α−1β−1α−1]1β−1=−log⁡𝔼[PX(X)β−1]1β−1=11−βlog⁡∑i=1nPX(xi)β=Hβ(X)

L'inégalité provient de l'Inégalité de Jensen appliquée dans les cas suivants à 𝔼[xc], en notant c=β−1α−1 :

  • Si, c>1 et donc xc est convexe et 1β−1>0.
  • Si, c<0 donc xc est convexe et 1β−1>0.
  • Si, c>0 donc xc est concave 1β−1<0.
  • Si (α=1)∨(β=1)l'application de l'inégalité est immédiate.

Ce qui donne la croissance de α→Hα.

Relations entre les entropies de différents ordres

modifier

L'entropie de Rényi est donc une fonction décroissante de son ordre.

De plus, on remarque que H2≤2H∞ puisque H2=−log⁡(∑i=1npi2)≤−log⁡(supi(pi2))=−2log⁡(supi(pi))=2H∞.

Divergence de Rényi

modifier

Pour deux distributions de probabilités P={p1,p2,...,pn} et Q={q1,q2,...,qn}, la divergence de Rényi de P selon Q est définie comme :

Dα(P‖Q)=1α−1log⁡(∑i=1npiαqiα−1)

La limite D1(P‖Q)existe et correspond à la Divergence de Kullback-Leibler.

Voir aussi

modifier

Articles connexes

modifier

Bibliographie

modifier
  • (en) A. Rényi, « On measures of entropy and information », dans Proc. 4th Berkeley Symposium on Mathematical Statistics and Probability', vol. 1, , p. 547-561.
  • (en) Christian Cachin, Entropy Measures and Unconditional Security in Cryptography, (lire en ligne [PDF])

Liens externes

modifier