Code quantique

Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Les codes quantiques sont l'équivalent quantique des codes correcteurs. La théorie des codes quantiques est donc une branche de l'information quantique qui s'applique à protéger l'information quantique des effets de la décohérence. La correction d'erreur quantique est un élément essentiel du calcul tolérant aux fautes qui doit gérer non seulement les erreurs dans l'information stockée, mais aussi dans l'application des portes quantiques, la préparation de nouveaux états ainsi que dans les opérations de mesure.

De manière analogue aux codes correcteurs classiques utilisant la redondance pour protéger l'information, les codes quantiques utilisent l'intrication pour délocaliser sur plusieurs systèmes physiques l'information encodée.

Définition

Étant donné un système physique dont l'espace des états est ${\displaystyle {\mathcal {H}$, un sous-espace ${\displaystyle {\mathcal {C}\subseteq {\mathcal {H}$ est appelé code quantique pour l'ensemble d'erreurs ${\displaystyle {\mathcal {E}=\{E_{a}\}$, s'il existe une opération quantique ${\displaystyle {\mathcal {R}$, dite de correction ou de décodage, telle que ${\displaystyle ({\mathcal {R}\circ E_{a})(\left|\psi \right\rangle )=\left|\psi \right\rangle }$ pour tout ${\displaystyle E_{a}\in {\mathcal {E}$, ${\displaystyle \left|\psi \right\rangle \in C}$.

De manière opérationnelle, on peut utiliser la condition suivante: un code ${\displaystyle {\mathcal {C}$ corrige les erreurs ${\displaystyle {\mathcal {E}$ si et seulement si

${\displaystyle \left\langle \psi _{i}\right|E_{a}^{\dagger }E_{b}\left|\psi _{j}\right\rangle =C_{ab}\delta _{ij}$

où ${\displaystyle E_{a},E_{b}\in {\mathcal {E}$ et ${\displaystyle \{\left|\psi _{i}\right\rangle \}$ forment une base orthonormée de ${\displaystyle {\mathcal {C}$.

Deux points importants sont à noter. Tout d'abord deux états orthogonaux le sont toujours après l'application d'une erreur. Ensuite, le préfacteur ${\displaystyle C_{ab}$ est indépendant des choix de mots codes ${\displaystyle i}$ et ${\displaystyle j}$.

Le qubit, analogue quantique du bit classique, est souvent utilisé comme unité fondamentale de l'information quantique. C'est pourquoi on note souvent les propriétés d'un code [[n,k,d]], où n est le nombre de qubits physiques, k, le nombre de qubits encodés et d, la distance du code. La distance du code correspond au nombre minimal de qubits devant être affectés pour passer d'un état encodé à un autre.

Histoire

En 1996, deux groupes de recherche découvrent indépendamment d'importants codes quantiques. La classe de codes CSS a été découverte par Calderbank et Shor, puis par Steane (en). Les codes stabilisateurs les ont maintenant remplacés. Ceux-ci ont été développés, encore une fois, indépendamment par Calderbank, Rains, Shor et Sloane, puis Gottesman (en).

Dès 1992, on considère aussi le problème de la protection de bits classiques avec des codes quantiques. C'est ainsi que Bennett et Wiesner développent le codage super-dense.

Construction

Les codes quantiques diffèrent de leurs homologues classiques de par les difficultés particulières au quantique :

1. Impossibilité du clonage quantique
2. Continuité des erreurs quantiques
3. Fragilité de l'information quantique face aux mesures

Néanmoins, l'informatique quantique fournit des outils pour les gérer. Par exemple, pour le canal d'inversion de bit, un code quantique semblable au code de répétition classique existe.

Exemples

Autres codes quantiques :

• Code de Kitaev ;
• code stabilisateur.

Applications

Sécurisation des transactions financières mobiles^[1].

Références

Voir aussi

Bibliographie

(en) Michael Nielsen (en) et Isaac Chuang (en), Quantum Computation and Quantum Information, Cambridge University Press, 2000 (ISBN 978-0-521-63503-5)

• Portail de l'informatique théorique