Résumé technique : Jeux de plateau Bacon-Shor

Énoncé du problème

Le code Bacon-Shor est un code de sous-système de correction d'erreurs quantiques prototypique, défini sur un réseau carré avec des opérateurs de contrôle $XX$ et $ZZ$ de plus proches voisins. Bien qu'il offre des caractéristiques expérimentales attrayantes, telles que des mesures de faible poids et géométriquement locales, il manque historiquement de seuil de tolérance aux fautes.

Le problème fondamental provient du cycle de mesure standard (un cycle de période 2 mesurant tous les contrôles de type $X$, suivi de tous les contrôles de type $Z$). Dans ce régime, les stabilisateurs — qui sont des produits de contrôles s'étendant sur des lignes ou des colonnes entières — ont un poids qui croît linéairement avec la dimension du réseau $d$ ($O(d)$). Par conséquent, les détecteurs (produits de mesures de stabilisateurs à travers les cycles) croissent également en $O(d)$. À mesure que la taille du réseau augmente, la probabilité d'obtenir des mesures de détecteurs erronées augmente, finissant par faire en sorte que le taux d'erreur logique dépasse le taux d'erreur physique. Cela empêche le code de présenter un seuil, une condition préalable indispensable pour un calcul quantique à tolérance de fautes scalable.

Les tentatives précédentes pour remédier à cela impliquaient la concaténation de codes ou la chirurgie de réseau (par exemple, [135]), mais ces approches nécessitaient soit une connectivité complexe, soit résultaient en des poids de détecteurs et des périodes de mesure qui dépendaient toujours de $d$. La question centrale abordée par ce travail est de savoir s'il existe un calendrier de mesure capable de réduire les poids des détecteurs à $O(1)$ tout en maintenant une période de mesure constante, permettant ainsi un seuil pour le code Bacon-Shor sans recours à la concaténation.

Méthodologie

Les auteurs proposent une nouvelle approche pour déterminer le calendrier de mesure en formulant le problème comme un « jeu de coloration » sur une grille carrée.

La formulation du jeu de plateau

Le réseau est traité comme un plateau où chaque plaquette carrée correspond à un qubit de jauge. Le jeu implique une séquence de colorations (états) où chaque plaquette est peinte soit en rouge (fixant l'opérateur $X$ du qubit de jauge), soit en bleu (fixant l'opérateur $Z$).

• Mouvements autorisés : Une coloration $C_{j+1}$ suit $C_j$ si les cases rouges (ou bleues) de $C_j$ peuvent s'étendre en bandes verticales (ou horizontales) dans $C_{j+1}$ au sein de la même colonne (ou ligne). Cette expansion correspond à la mesure des opérateurs de contrôle intermédiaires ($XX$ ou $ZZ$) pour propager la fixation de la jauge.
• Objectifs : L'objectif est de trouver une séquence périodique de colorations de période $R$ telle que :
  1. Chaque colonne et chaque ligne soit entièrement d'une seule couleur (tout rouge ou tout bleu) à au moins une étape du cycle. Cela garantit que les stabilisateurs complets de Bacon-Shor sont mesurés au moins une fois par cycle.
  2. Chaque colonne et chaque ligne contienne au moins une case de la couleur opposée à chaque étape. Cela garantit l'existence de stabilisateurs de poids plus faibles au sein de chaque groupe de stabilisateurs instantanés (ISG).
  3. La taille du réseau $d$ et la période $R$ soient minimisées.

Construction théorique

Les auteurs démontrent qu'une solution à ce jeu sur un petit réseau $d \times d$ peut être généralisée à des réseaux arbitrairement grands via l'empilement (Théorème 3).

• Détecteurs dynamiques : Contrairement aux codes stabilisateurs standards où les détecteurs sont de simples répétitions de mesures du même opérateur, le calendrier proposé crée des « détecteurs dynamiques ». Ce sont des produits de mesures d'opérateurs différents à travers plusieurs tours qui commutent avec les mesures du tour actuel et valent $+1$ en l'absence d'erreurs.
• Réduction du poids : En garantissant que des opérateurs à jauge fixée (et leurs compléments par rapport au stabilisateur complet) existent dans chaque ISG, les auteurs construisent des détecteurs dont les poids ne croissent pas avec la taille du réseau.

Principales contributions

1. Calendrier de mesure de période 4 : Les auteurs identifient un calendrier de mesure spécifique de période 4 pour le code Bacon-Shor qui couvre entièrement l'espace-temps avec des détecteurs de poids constant.
2. Détecteurs à poids constant : Le calendrier proposé réduit le poids du détecteur de $O(d)$ à une constante (observée numériquement comme étant $\le 20$ pour la solution généralisée), indépendamment de la taille du réseau.
3. Découverte d'un seuil : Par des simulations numériques, les auteurs démontrent que ce calendrier modifié confère au code Bacon-Shor un seuil de tolérance aux fautes, une propriété auparavant absente du code non modifié.
4. Solution par théorie des jeux : Le papier introduit un nouveau cadre de « jeu de plateau » pour résoudre les calendriers de mesure optimaux, fournissant une méthode constructive pour trouver des séquences de détecteurs à faible poids.

Résultats numériques

La performance du code modifié a été évaluée à l'aide de simulations de Monte Carlo avec un modèle de bruit de niveau de circuit uniforme.

• Estimation du seuil : En utilisant un décodeur d'appariement parfait de poids minimum (PyMatching), les auteurs ont observé un seuil d'environ 0,3 % ($p_{th} \approx 3 \times 10^{-3}$).
• Suppression des erreurs : Le taux d'erreur logique diminue exponentiellement avec l'augmentation de la taille du réseau $d$ (de $d=5$ à $d=35$), confirmant la présence d'un seuil.
• Comparaison : Le code modifié atteint des taux d'erreur logique deux ordres de grandeur inférieurs à l'approche de l'auto-concaténation décrite dans [135].
• Limitations du décodeur : Les auteurs notent que bien que PyMatching ait bien fonctionné, les détecteurs forment des hyperarêtes dans le graphe de décodage plutôt que de simples arêtes par paires. Ils conjecturent qu'un décodeur basé sur les hypergraphes, plus adapté, pourrait encore améliorer le seuil.

Signification et affirmations

Le papier affirme que le code Bacon-Shor, considéré auparavant comme dépourvu de seuil en raison de ses stabilisateurs de poids $O(d)$, peut devenir tolérant aux fautes grâce à un ajustement mineur de son calendrier de mesure.

• Compétitivité du seuil : Le seuil observé de ~0,3 % est compétitif avec les codes de surface et se situe dans la portée des taux de bruit réalisables sur les plateformes matérielles actuelles.
• Structure de sous-système : Ce travail souligne que l'aspect dynamique des calendriers de mesure est un degré de liberté critique, souvent négligé, dans les codes de sous-systèmes. Il démontète que le même ensemble d'opérateurs de contrôle peut produire des propriétés de correction d'erreurs radicalement différentes selon l'ordre temporel de la mesure.
• Pas de concaténation requise : Contrairement aux solutions précédentes, cette méthode atteint un seuil sans concaténation de code, en s'appuyant plutôt sur la structure de sous-système intrinsèque et un calendrier à période constante.
• Directions futures : Les auteurs suggèrent modestement que leur solution n'est pas nécessairement optimale. Ils notent que d'autres stratégies de fixation de jauge (au-delà des mouvements spécifiques du « jeu de plateau ») et des décodeurs plus sophistiqués pourraient potentiellement produire des seuils plus élevés. Ils soulignent la nécessité d'un cadre théorique plus large pour unifier les aspects temporels et algébriques de la correction d'erreurs quantiques.