Résumé technique : Intrication de qubits logiques sans opérations physiques

Énoncé du problème

Le calcul quantique tolérant aux fautes et évolutif repose sur la correction d'erreurs quantiques (QEC). Bien que les progrès récents se soient concentrés sur la réduction des surcoûts de la QEC grâce aux codes de contrôle de parité à faible densité (qLDPC) à haut taux, ces conceptions traitent souvent les portes logiques comme une contrainte en aval. En pratique, les portes d'intrication logiques dominent les surcoûts spatio-temporels et les budgets d'erreur, particulièrement dans les circuits présentant une intrication locale dense. Les approches conventionnelles pour implémenter des portes d'intrication logiques (telles que les CNOT) nécessitent généralement des cycles répétés de mesures, des couches denses de portes physiques à deux qubits, ou des blocs de codes ancillaires, autant de méthodes qui introduisent une accumulation d'erreurs et des coûts de ressources significatifs. Le défi fondamental consiste à optimiser la conception conjointe du stockage et du calcul, en adressant spécifiquement la borne inférieure du coût des portes d'intrication logiques.

Méthodologie

Les auteurs introduisent et étudient systématiquement une nouvelle classe de codes QEC nommée codes fantômes (phantom codes). Il s'agit de codes de stabilisateurs CSS où les portes d'intrication logiques entre n'importe quelle paire ordonnée de qubits logiques au sein d'un bloc de code peuvent être implémentées uniquement par la permutation (reétiquetage) des qubits physiques.

La méthodologie repose sur quatre approches complémentaires pour identifier et construire ces codes :

1. Énumération exhaustive : Une recherche systématique de tous les $2,71 \times 10^{10}$ codes CSS inéquivalents avec une longueur de bloc $n \le 14$. Cela a impliqué la génération de groupes de stabilisateurs, le regroupement des codes en classes d'équivalence (sous permutations de qubits et Hadamards globaux), et l'utilisation de solveurs SAT pour vérifier l'existence d'implémentations CNOT basées sur la permutation.
2. Découverte par SAT : Pour $n > 14$, où l'énumération exhaustive est trop coûteuse en calcul, les auteurs ont formulé le problème de la découverte de codes comme un problème de satisfaisabilité booléenne (SAT). En traitant les matrices génératrices de stabilisateurs comme des variables libres, ils ont identifié des codes fantômes jusqu'à $n = 21$ et établi les longueurs de bloc minimales pour des nombres spécifiques de qubits logiques ($k$) et de distances ($d$).
3. Constructions analytiques (Reed–Muller quantique) : Pour accéder à des $k$ plus élevés et à des familles évolutives, les auteurs ont construit des familles infinies de codes fantômes basées sur les codes Reed–Muller quantiques (qRM). Cela implique de « fixer la jauge » (gauge-fixing) de codes qRM parents en promouvant certains opérateurs logiques en stabilisateurs, échangeant ainsi des qubits logiques contre une augmentation de la distance du code.
4. Binarisation et concaténation : Pour atteindre des distances $d > \sqrt{n}$, les auteurs ont développé un schéma de conversion de codes de qudits auto-duaux en GF(4) à haute distance en codes de qubits via la binarisation, suivie d'une concaténation avec le code fantôme $[[4, 2, 2]]$.

L'étude caractérise également les ensembles de portes logiques supportés au-delà des CNOT définissants, incluant les portes de Clifford (via des automorphismes et des portes fold-diagonal) et les portes « magiques » non-Clifford. Enfin, les auteurs réalisent des simulations de bruit de bout en bout comparant un code fantôme représentatif ($[[64, 4, 8]]$) aux références de code de surface.

Contributions clés

• Définition et découverte des codes fantômes : L'article définit formellement les codes fantômes et élargit le paysage connu de deux exemples existants à plus de 100 000 nouvelles instances et plusieurs familles correctrices d'erreurs.
• Intrication à surcoût nul : Il démontre que pour ces codes, toutes les portes d'intrication logiques intra-bloc peuvent être « compilées » en absorbant les permutations de qubits physiques dans l'étape de compilation du circuit. Cela produit une fidélité parfaite pour ces portes spécifiques avec un surcoût spatial ou temporel nul.
• Bornes théoriques et propriétés : Les auteurs dérivent une borne de Hamming pour les codes fantômes CSS et prouvent que la propriété fantôme est indépendante de la base logique. Ils établissent également que les portes logiques strictement transversales ne commutant pas avec les permutations (telles que le Hadamard transversal ou les portes magiques) sont exclues, nécessitant des stratégies de tolérance aux fautes alternatives.
• Outils de mise en œuvre pratique : Le travail développe des protocoles spécifiques pour les codes fantômes non-LDPC, incluant la préparation d'états tolérante aux fautes (utilisant la correction d'erreurs de type Steane et la présélection) et des décodeurs à fenêtre glissante spatio-temporelle qui suivent les corrélations d'erreurs.

Résultats

• Paysage des codes : Les auteurs ont identifié des codes fantômes à travers une large gamme de paramètres. Des exemples notables incluent le code qRM $[[64, 4, 8]]$ et divers codes jusqu'à $n=21$ trouvés via recherche SAT.
• Ensembles de portes logiques : Au-delà des CNOT, les codes identifiés supportent diverses portes de Clifford (ex: $H^{\otimes k}$, $CZ$, $S$) et des portes magiques diagonales (ex: $T$, $C^kZ$) via des Cliffords locaux, des permutations et des interactions fold-diagonal.
• Évaluation de performance (Benchmarking) : Les simulations de bout en bout avec des taux d'erreur physiques réalistes ($p=10^{-3}$ et projeté à $5 \times 10^{-4}$) montrent des avantages significatifs pour les codes fantômes dans les tâches à intrication locale dense :
  • Préparation d'états GHZ : Pour 4 à 64 qubits logiques, le code fantôme a atteint une réduction d'environ $56\times$ de l'infidélité logique par rapport aux codes de surface avec un nombre comparable de qubits physiques (à un taux d'acceptation de présélection de $\sim 24\%$).
  • Simulation de corps multiples Trotterisée : Pour des Hamiltoniens avec des termes à 8 corps et 8 à 64 qubits logiques, le code fantôme a montré une réduction d'environ $94\times$ de l'infidélité logique par rapport aux codes de surface.
  • Circuits CNOT à bloc unique : Dans les régimes dominés par les CNOT intra-bloc, le taux d'échec logique du code fantôme est resté constant à mesure que la profondeur du circuit augmentait (puisque les CNOT ne coûtent rien), tandis que les taux d'échec des codes de surface croissaient linéairement.

Signification et affirmations

L'article affirme que les codes fantômes offrent une voie viable vers le calcul quantique tolérant aux fautes, spécifiquement pour les charges de travail caractérisées par des structures d'intrication locale denses (ex: simulations fermioniques, préparation de phases corrélées). En plaçant les opérations logiques au centre de la conception, ces codes atteignent un « extrême à surcoût nul » pour l'intrication, surpassant les architectures de pointe (comme le code de surface) sur des tâches ciblées, malgré le fait qu'ils ne soient pas LDPC et possèdent des taux d'encodage plus faibles ($k = O(\log n)$).

Les auteurs soulignent que leur travail fournit des outils généraux pour explorer systématiquement le paysage des codes correcteurs d'erreurs quantiques, incluant une base de données complète de codes CSS à faible empreinte et des pipelines automatisés pour extraire les opérations logiques. Ils suggèrent que, bien que les codes fantômes imposent des contraintes pratiques (nécessitant une QEC de type Steane et une présélection), ils démontrent que les codes non-LDPC peuvent surpasser les codes LDPC sur des applications spécifiques lorsqu'ils sont co-conçus pour un calcul logique efficace. Le travail motive une exploration plus large des compromis entre taux d'encodage, distance de code et efficacité des portes logiques.