L'inégalité de Fano est un résultat de théorie de l'information.

Énoncé

modifier

Pour deux variables aléatoires X et Y prenant r+1 valeurs possibles, on a :

H(X|Y)≤H(Pe)+Pelog⁡r

où Pe=ℙ(X≠Y) est la probabilité d'erreur et H(Pe) est l'entropie de Shannon de la loi de Bernoulli de paramètre Pe.

Démonstration

modifier

Considérons E=δXY où δ est le symbole de Kronecker. E suit une loi de Bernoulli de paramètre 1−Pe. En appliquant deux fois la règle de la chaîne pour l'entropie conditionnelle, on a :

H(X|Y)=H(XE|Y)−H(E|XY)⏟0=H(E|Y)+H(X|EY)

La donnée de X,Y permet de calculer E donc le terme H(E|XY) est nul. On observe ensuite que H(E|Y)≤H(E)=H(Pe). Le terme restant est décomposé selon la valeur de E :

  • Quand E=0, on majore simplement l'entropie H((X|E=0)|Y) (entropie de la variable aléatoire X|E=0 conditionnellement à Y) par log⁡r, puisqu'il n'y a que r valeurs disponibles pour X une fois la valeur de Y exclue ;
  • Quand E=1, la donnée de Y détermine X dont l'entropie est nulle.

On a donc :

H(X|Y)=H(E|Y)+H(X|EY)≤H(Pe)+Pelog⁡r

Interprétation en statistique

modifier

L'inégalité de Fano est fréquemment utilisée en statistique bayésienne pour montrer une borne inférieure sur l'erreur de l'estimateur d'un paramètre.

Par exemple, on considère une variable de Bernouilli Z∼ℬ(θ) pour un paramètre θ∈{1/3,2/3}, que l'on suppose choisi uniformément parmi ces deux valeurs (c'est la distribution à priori). On veut prouver que l'estimateur θ̂(Z)={1/3si Z=02/3si Z=1 dont la probabilité d'erreur est de Pe=ℙ(θ≠θ̂)=1/3 n'est pas améliorable.

On utilise pour cela l'inégalité de Fano, qui donne le résultat suivant H(θ|θ̂)≤H(Pe)+Pelog⁡2. Or, en explicitant la loi de (θ,Z) on obtientH(θ|θ̂)≥H(θ|Z)=H(1/3). Cela donne l'inégalité H(1/3)≤H(Pe)+Pelog⁡2, qui est légèrement plus faible que le résultat attendu. Le résultat exact pourrait en fait être obtenu en utilisant une version plus forte de l'inégalité de Fano[1].

Notes et références

modifier