Un code de correction d'erreurs quantiques défini par un ensemble d'opérateurs commutants qui stabilisent les états logiques.Un code stabilisateur est un code de correction d'erreurs quantiques qui protège l'information quantique en l'encodant dans un sous-espace défini par un ensemble d'opérateurs commutants, appelés stabilisateurs. Ces opérateurs agissent sur les qubits physiques et laissent les états logiques inchangés, ce qui épingle efficacement l'information à un sous-espace spécifique et protégé de l'espace de Hilbert plus vaste. Ce cadre est central dans l'informatique quantique moderne car il fournit une méthode systématique pour détecter et corriger les erreurs sans perturber l'information encodée.
Les codes stabilisateurs ont été introduits au milieu des années 1990, avec des contributions clés de Peter Shor et Andrew Steane, puis formalisés par Daniel Gottesman en 1997.
Le code fonctionne en choisissant un ensemble d'opérateurs de Pauli commutants (les stabilisateurs) dont les valeurs propres définissent l'espace du code. Les qubits logiques sont encodés dans des états qui sont simultanément des états propres de valeur propre +1 pour tous les stabilisateurs. Lorsqu'une erreur se produit, elle anticommute avec certains stabilisateurs, ce qui fait basculer leurs valeurs propres à -1. La mesure des stabilisateurs révèle un syndrome qui identifie l'erreur, laquelle peut ensuite être corrigée en appliquant l'opération de récupération appropriée.
Les codes stabilisateurs sont le fondement de la plupart des schémas actuels de correction d'erreurs quantiques, y compris les codes de surface et les codes de couleur, qui sont mis en œuvre dans les processeurs quantiques supraconducteurs et à ions piégés.
Le formalisme des stabilisateurs sous-tend également le partage de secret quantique et certains protocoles de communication quantique, ce qui en fait un outil polyvalent au-delà de la correction d'erreurs.

















