LUCI on IBM Hardware: Error Suppression with Almost Half Syndrome Density

Résumé Technique : LUCI sur le matériel IBM

Énoncé du Problème
Le calcul quantique tolérant aux fautes et évolutif nécessite des qubits logiques capables de préserver leur état sur des temps d'exécution prolongés. Bien que le code de surface soit le protocole de correction d'erreurs quantiques (QEC) le plus pratique pour les processeurs à contraintes locales en raison de son seuil élevé, les implémentations traditionnelles reposent sur des circuits d'extraction de syndromes statiques. Ces circuits rigides imposent des contraintes de connectivité strictes et sont vulnérables aux défauts matériels (par exemple, des qubits ou des coupleurs non fonctionnels). Des cadres théoriques récents, tels que LUCI (Logical Unitary Circuit Implementation), proposent des sous-programmes dynamiques capables de contourner les composants défectueux en modifiant les calendriers de mesure. Cependant, cette flexibilité se fait au prix d'une distance temporelle réduite, nécessitant plusieurs cycles pour extraire un syndrome complet. Crucialement, ces approches dynamiques n'avaient pas été démontrées expérimentalement sur du matériel physique, ni leurs performances évaluées par rapport aux codes statiques standards en l'absence de défauts physiques, particulièrement concernant le compromis de la « densité de syndrome » (le rapport entre les bits de syndrome mesurés et le total des bits possibles par cycle).

Méthodologie
Les auteurs ont testé expérimentalement le cadre LUCI par rapport au code de surface rotatif standard sur un processeur quantique supraconducteur IBM ibm_miami. L'étude a utilisé un scénario « sans réinitialisation » (reset-free), où les opérations de réinitialisation des qubits physiques ont été omises pour éviter les temps d'attente et les problèmes de fuite (leakage), s'appuyant plutôt sur un post-traitement classique pour définir les détecteurs.

Les étapes méthodologiques clés comprenaient :

• Ordonnancement Dynamique : Le cadre LUCI a été implémenté en utilisant des états de milieu de cycle, où le circuit alterne entre deux cycles distincts (une base et une variante) pour extraire le syndrome complet. Cela contraste avec le code de surface standard, qui extrait le syndrome complet en un seul cycle.
• Mise à l'échelle Asymétrique : Pour cibler des erreurs logiques spécifiques, les chercheurs ont mis à l'échelle les patchs QEC de manière asymétrique. Ils ont testé des patchs de distance 3 ($d=3$) et les ont étendus en patchs rectangulaires avec des dimensions $(d_x=5, d_z=3)$ pour supprimer les erreurs logiques X, ou $(d_x=3, d_z=5)$ pour supprimer les erreurs logiques Z.
• Analyse de la Densité de Syndrome : L'étude a quantifié la « densité de syndrome » ($\rho$). Alors que le code de surface standard maintient une densité de 1, le cadre LUCI, nécessitant deux cycles pour une extraction complète, a atteint une densité d'environ 0,6 pour les patchs $d=3$ et de 0,588 pour les patchs agrandis.
• Contraintes Matérielles : Les expériences ont été menées dans une région exempte de défauts du processeur. Cependant, le mappage pour le code de surface standard dans la base X a été contraint d'utiliser un coupleur hautement bruyant (taux d'erreur $\sim15\%$) en raison de contraintes de connectivité rigides, tandis que l'ordonnancement flexible de LUCI a permis d'éviter ce composant spécifique bruyant.
• Décodage : Les taux d'erreurs logiques ont été décodés à l'aide d'un décodeur MWPM (Minimum Weight Perfect Matching) corrélé (PyMatching), pondéré par les données de calibration pour les portes et les mesures.

Résultats Clés
Les auteurs ont comparé les ratios de suppression d'erreurs ($\Lambda_{5/3} = \epsilon^r_{d=3} / \epsilon^r_{d=5}$) entre le code de surface standard et le cadre LUCI :

• Erreurs Logiques X : Le cadre LUCI a démontré une suppression d'erreurs supérieure avec un ratio de 1,75(10), contre 1,58(13) pour le code de surface standard. Cette amélioration est attribuée à la capacité de LUCI à éviter le coupleur hautement bruyant que le code standard était forcé d'utiliser.
• Erreurs Logiques Z : Le code de surface standard a montré une suppression plus élevée pour les erreurs Z (2,44(7)) par rapport à LUCI (1,93(12)).
• Performance Globale : Malgré le fait que le cadre LUCI opère avec presque la moitié de la densité de syndrome en temps (nécessitant deux cycles pour le syndrome complet), il est resté compétitif par rapport au code de surface rotatif standard.
• Inhomogénéité du Bruit : Les résultats ont souligné que les circuits d'extraction de syndrome standard ne sont pas toujours optimaux, même dans les régions sans défauts, lorsque le bruit matériel est inhomogène. L'ordonnancement dynamique de LUCI a réussi à contourner un composant spécifique bruyant, produisant de meilleurs taux d'erreurs logiques pour les erreurs ciblées tout en préservant les limites logiques.

Signification et Revendications
L'article affirme combler le fossé entre les codes dynamiques théoriques et l'implémentation matérielle pratique. Ses principales contributions sont :

1. Vérification Expérimentale : Il fournit la première démonstration expérimentale du cadre LUCI sur du matériel quantique physique, vérifiant sa faisabilité sans défauts physiques.
2. Performance sous Distance Temporelle Réduite : Il remet en question la dépendance conventionnelle aux architectures de tolérance aux fautes statiques en montrant que les codes dynamiques peuvent surpasser les méthodes standard même lorsqu'ils opèrent avec une densité de syndrome temporelle réduite (densité divisée par deux).
3. Compatibilité Matérielle : Ce travail démontre que les codes dynamiques peuvent activement éviter les composants hautement bruyants dans les environnements matériels inhomogènes, offrant une alternative viable pour maximiser les performances sur les processeurs de génération actuelle.
4. Implémentation Sans Réinitialisation : Il implémente avec succès une définition de détecteur sans réinitialisation (reset-free) au sein du cadre LUCI, prouvant qu'une QEC de haute performance est possible sans dépendre des opérations de réinitialisation physique.

Les auteurs concluent que ces découvertes ouvrent la voie à des conceptions de codes hybrides et compatibles avec le matériel, suggérant que l'extraction de syndrome dynamique est une approche pratique pour la préservation des qubits logiques en présence d'une inhomogénéité du bruit matériel.