Pour une source aléatoire X et une mesure de distorsion non négative d(x,\hat{x}) avec contrainte de distorsion moyenne D, le théorème taux‑distorsion caractérise le nombre minimal asymptotique moyen de bits par symbole nécessaire pour encoder X afin que l'espérance de la distorsion soit ≤D. La fonction taux‑distorsion s'écrit R(D)=inf_{p(\hat{x}|x): E[d(X,\hat{X})]≤D} I(X;\hat{X}), et tout débit R>R(D) est réalisable asymptotiquement par des codes en bloc tandis que R

Principe

La limite opérationnelle pour la compression avec perte est donnée par l'information mutuelle minimale entre source et reconstruction sous la contrainte de distorsion ; on ne peut pas compresser jusqu'à une distorsion moyenne D en dessous de cette borne d'information mutuelle.

Démonstration

Scénario illustratif : une source discrète sans mémoire X et la distorsion de Hamming sont codées par blocs de longueur n. En choisissant une loi conditionnelle p(\hat{x}|x) optimale, pour tout R>R(D) il existe, pour n assez grand, des codeurs/décodeurs mappant X^n sur ≈2^{nR} indices et produisant \hat{X}^n avec distorsion moyenne ≤D ; tenter RD quand n→∞.

Mauvaise application

Interpréter R(D) comme un débit exact pour des blocs de taille finie ou comme la description d'un encodeur simple. R(D) est une borne asymptotique cible ; il ne garantit pas l'existence d'un code pratique à faible complexité ou faible latence. Confondre aussi taux‑distorsion et capacité de canal est une erreur courante.

Conséquence

R(D) donne la courbe fondamentale de compromis utilisée pour évaluer et concevoir des systèmes de compression avec perte : elle fixe une borne inférieure non améliorable sur les débits réalisables pour une distorsion moyenne donnée, sous les hypothèses du modèle.

Inversion

La forme du théorème change si les hypothèses de base changent : avec information auxiliaire côté encodeur/décodeur (cas de Wyner–Ziv), sources non stationnaires, réglages one‑shot ou contraintes de complexité/latence, R(D) asymptotique peut ne plus décrire la performance pratique et d'autres bornes s'appliquent.

Limite

Dans le champ : sources i.i.d. ou ergodiques, critère de distorsion en moyenne, longs blocs asymptotiques. Cas limite : sources à mémoire longue où l'expression mono‑lettre peut échouer sans ergodicité. Hors du champ : garanties one‑shot, débits minimaux exacts pour n fini, compression avec perte soumise à contraintes structurelles non modélisées par p(\hat{x}|x).

Tension sémantique

Précision taux‑distorsion versus réalisabilité : minimiser l'information mutuelle peut exiger des encodeurs à grande latence ou complexité, forçant un compromis pratique entre optimalité informationnelle et contraintes de mise en œuvre.

Synthèse

La fonction R(D) traduit une contrainte de distorsion en une borne d'information : elle sert de cible asymptotique que tout schéma de compression doit viser sous les hypothèses du modèle, tandis que les choix pratiques tiennent compte de la longueur de bloc, de la complexité et des informations auxiliaires.