Introduction

Dans la leçon précédente, nous avons eu un premier aperçu de la correction d'erreurs quantiques, en nous concentrant spécifiquement sur le code de Shor à 9 qubits. Dans cette leçon, nous allons introduire le formalisme des stabilisateurs, un cadre mathématique permettant de spécifier et d'analyser une large classe de codes correcteurs d'erreurs quantiques, appelés codes stabilisateurs. Cela inclut le code de Shor à 9 qubits ainsi que de nombreux autres exemples, notamment des codes qui semblent bien adaptés aux dispositifs quantiques réels. Tous les codes correcteurs d'erreurs quantiques ne sont pas des codes stabilisateurs, mais beaucoup le sont, y compris tous les exemples que nous verrons dans ce cours.

La leçon commence par une courte présentation des matrices de Pauli, et plus généralement des produits tensoriels de matrices de Pauli, qui peuvent représenter non seulement des opérations sur des qubits, mais aussi des mesures de qubits — auquel cas on les appelle généralement des observables. Nous reviendrons ensuite sur le code à répétition et verrons comment il peut être décrit en termes d'observables de matrices de Pauli. Cela nous amènera à une discussion générale des codes stabilisateurs, avec plusieurs exemples, leurs propriétés fondamentales, et la façon dont les tâches essentielles que sont l'encodage, la détection des erreurs et leur correction peuvent être réalisées.

Vidéo de la leçon

Dans la vidéo suivante, John Watrous te guide à travers le contenu de cette leçon sur le formalisme des stabilisateurs. Tu peux aussi ouvrir la vidéo YouTube de cette leçon dans une fenêtre séparée. Télécharge les diapositives de cette leçon.