Étude et conception de mappages structurés (codes) et d'algorithmes associés qui ajoutent une redondance contrôlée aux messages pour détecter, localiser ou corriger les corruptions introduites par le bruit ou des défaillances lors de la transmission ou du stockage, sous des modèles explicites de canal et d'adversaire.

Principe

La redondance, structurée selon des concepts algébriques ou probabilistes, permet la détection et la correction jusqu'à des limites déterminées par les paramètres du code (distance, débit, structure) et le modèle de canal : compromis entre débit (throughput), redondance (surdroit), complexité de décodage et capacité de correction d'erreur.

Démonstration

Scénario illustratif → Sur un canal binaire symétrique avec faible probabilité de basculement par bit, un code en bloc avec distance de Hamming minimale d peut détecter jusqu'à d−1 erreurs et corriger jusqu'à floor((d−1)/2) erreurs par bit avec un décodeur adapté ; l'utilisation d'un tel code augmente le nombre de symboles transmis (redondance) mais réduit la probabilité d'erreur résiduelle par rapport à la transmission non codée.

Mauvaise application

Supposer que toute redondance améliore nécessairement les performances de bout en bout sans tenir compte de la réduction de débit, de la complexité du décodeur, de la latence ou du décalage par rapport au modèle de canal. L'erreur sémantique est de considérer la 'redondance' comme uniformément bénéfique plutôt que comme une ressource à équilibrer avec d'autres exigences.

Conséquence

Le choix des codes conditionne la fiabilité atteignable, le débit, la latence et le coût computationnel ; les systèmes pratiques sélectionnent codes et algorithmes de décodage pour satisfaire ces compromis selon le canal cible et les contraintes d'implémentation.

Inversion

Quand le canal s'écarte du modèle supposé (p. ex. erreurs adversariales, rafales d'erreurs ou effacements), ou quand la latence et les contraintes de longueur de bloc finie priment, les garanties théoriques de correction peuvent échouer et d'autres constructions (intercalage, décodage en liste, codes sans taux fixe) ou méthodes résistantes aux adversaires peuvent être nécessaires.

Limite

Dans le champ : contrôle d'erreur conçu pour des canaux de communication ou de stockage modélisés probabilistiquement ou adversarialement. Cas limite : le codage de source chevauche conceptuellement mais traite de la compression plutôt que des erreurs de canal. Hors du champ : redondance générale pour gestion d'archives non conçue à partir d'un modèle formel d'erreur.

Tension sémantique

Débit (Taux) ↔ Fiabilité ↔ Complexité — améliorer l'un dégrade souvent un autre, imposant des compromis propres au système.

Synthèse

La théorie du codage concrétise l'introduction contrôlée de redondance structurée comme levier d'ingénierie : un code est un mapping choisi pour optimiser le compromis multidimensionnel entre taux, fiabilité, latence et coût computationnel pour un modèle d'erreur donné.