# Information mutuelle

Dans la théorie des probabilités et la théorie de l'information, l'information mutuelle de deux variables aléatoires est une quantité mesurant la dépendance statistique de ces variables. Elle se mesure souvent en bit.
L'information mutuelle d'un couple $(X,Y)$ de variables représente leur degré de dépendance au sens probabiliste. Ce concept de dépendance logique ne doit pas être confondu avec celui de causalité physique, bien qu'en pratique l'un implique souvent l'autre.
Informellement, on dit que deux variables sont indépendantes si la réalisation de l'une n'apporte aucune information sur la réalisation de l'autre. Le coefficient de corrélation est une mesure du cas particulier de dépendance dans lequel la relation entre les deux variables est strictement linéaire.
L'information mutuelle est nulle si et seulement si les variables sont indépendantes, et croît lorsque la dépendance augmente.

## Définition

Soit $(X,Y)$ un couple de variables aléatoires de densité de probabilité jointe données par $P(x,y)$ (on fait, dans cet article, l'abus de notation $P(x)$ pour représenter la probabilité de l'événement $X=x$). On note les distributions marginales $P(x)$ et $P(y)$. Alors l'information mutuelle est dans le cas discret :
    $I(X;Y)=\sum _{x,y}P(x,y)\log {\frac {P(x,y)}{P(x)\,P(y)}},\!$
et, dans le cas continu :
    $I(X;Y)=\int _{\mathbb {R} }\int _{\mathbb {R} }p(x,y)\log {\frac {p(x,y)}{p(x)\,p(y)}}\;\mathrm {d} x\mathrm {d} y.\!$
où $p(x,y)$, $p(x)$ et $p(y)$ sont respectivement les densités des lois de $(X,Y)$, $X$ et $Y$.

### Cas gaussien

L'information mutuelle dans le cas d'une distribution gaussienne s'écrit sous la forme suivante:
    $I(X;Y)={\dfrac {1}{2}}\log {\dfrac {|K_{X}||K_{Y}|}{|K_{XY}|}}$
avec $|K_{XY}|$ le déterminant de la matrice de covariance de X et Y, $|K_{X}|$ le déterminant de la matrice de covariance de X et $|K_{Y}|$ le déterminant de la matrice de covariance de Y.

## Propriétés

* $I(X;Y)=0$ si et seulement si X et Y sont des variables aléatoires indépendantes.
* L'information mutuelle est positive ou nulle.
* L'information mutuelle est symétrique.
* Data processing theorem: si $g_{1}$ et $g_{2}$ sont deux fonctions mesurables alors $I(g_{1}(X),g_{2}(Y))\leq I(X,Y)$. Ceci signifie qu'aucune transformation sur les données brutes ne peut faire apparaître de l'information.
* Lorsque la distribution jointe des variables aléatoires $\ X$ et $\ Y$ suit une loi normale multidimensionnelle ${\mathcal {N}}(\mu ,\,\Sigma )$, il a été montré que l'information mutuelle est directement reliée au coefficient de corrélation $\ \rho$ entre ces deux variables : $I(X;Y)=-{\frac {1}{2}}\log(1-\rho ^{2})$
Plusieurs généralisations de cette quantité à un nombre plus grand de variables ont été proposées, mais aucun consensus n'a encore émergé.

## Liens avec la théorie de l'information
### Entropie

L'information mutuelle mesure la quantité d'information apportée en moyenne par une réalisation de X sur les probabilités de réalisation de Y. En considérant qu'une distribution de probabilité représente notre connaissance sur un phénomène aléatoire, on mesure l'absence d'information par l'entropie de cette distribution. En ces termes, l'information mutuelle s'exprime par:
    $I(X;Y)=H(X)-H(X|Y)=H(Y)-H(Y|X)=H(X)+H(Y)-H(X,Y).$
où H(X) et H(Y) sont des entropies, H(X|Y) et H(Y|X) sont des entropies conditionnelles, et H(X, Y) est l'entropie conjointe entre X et Y.
Ainsi on voit que $I(X;Y)=0$ si et seulement si le nombre de bits nécessaires pour coder une réalisation du couple est égal à la somme du nombre de bits pour coder une réalisation de X et du nombre de bits pour coder une réalisation de Y.

### Divergence de Kullback-Leibler

L'information mutuelle peut aussi être exprimée par la divergence de Kullback-Leibler. On a
    $I(X;Y)={\mathit {KL}}(P(X,Y),P(X)P(Y))=\sum P(X,Y)\log {\frac {P(X,Y)}{P(X)P(Y)}}.$
Ainsi $I(X;Y)$ mesure une sorte de "distance" entre les distributions $P(X,Y)$ et $P(X)*P(Y)$. Comme, par définition, deux variables sont indépendantes ssi ces deux distributions sont égales, et comme ${\mathit {KL}}(p,q)=0$ ssi $p=q$, on retrouve l'équivalence entre $I(X,Y)=0$ et indépendance.
Intuitivement $P(X,Y)$ porte plus d'information lorsque les variables sont dépendantes que lorsqu'elles ne le sont pas. Si les deux variables sont discrètes à N cas, il faut, au pire, $N^{2}-1$ coefficients pour spécifier $P(X,Y)$, contre seulement $2N-1$ si $P(X,Y)=P(X)P(Y)$.
La divergence ${\mathit {KL}}$ donne le nombre de bits d'information apportés par la connaissance de $P(X,Y)$ lorsqu'on connait déjà $P(X)$ et $P(Y)$.