Résumé Technique : Gadgets de Clifford Logiques Automatisés pour Architectures Hétérogènes via les Applications de Chaînes

1. Énoncé du Problème

Les propositions actuelles de calcul quantique tolérant aux fautes à grande échelle reposent de plus en plus sur des architectures hétérogènes, où des codes correcteurs d'erreurs quantiques (QECC) distincts sont adaptés à des tâches spécifiques (par exemple, la mémoire, le calcul de Clifford ou la préparation d'états magiques). Bien que les portes CNOT transversales fournissent un mécanisme naturel pour l'intrication de qubits logiques au sein de blocs de codes CSS identiques, l'extension de ces opérations à des paires arbitraires de codes CSS distincts demeure un défi important.

Les méthodes existantes pour les opérations logiques inter-codes sont largement restreintes à :

• Des familles de codes structurellement liées (par exemple, des codes 2D vers 3D, ou des codes et leurs sous-codes ponctuels).
• Des opérations préservant la symétrie entre des blocs identiques.
• Des adaptateurs universels, qui nécessitent des mesures de Pauli logiques conjointes. Ces adaptateurs imposent souvent des surcoûts spatio-temporels substantiels, de l'ordre de $\tilde{O}(td)$ qubits ancilles et $O(d)$ cycles de mesure pour atteindre la tolérance aux fautes.

Il existe un manque de cadre systématique et automatisé pour la synthèse de circuits CNOT logiques à faible surcoût entre des codes CSS arbitraires qui préservent l'espace de produit et induisent une action logique bien définie.

2. Méthodologie

Les auteurs introduisent un cadre algébrique linéaire basé sur les applications de chaînes (chain maps) entre les complexes de chaînes représentant les codes CSS. La méthodologie se déroule en trois étapes :

2.1 Formalisme : Applications de Chaînes et Espaces Hom

Les codes CSS sont représentés comme des complexes de chaînes de longueur 3 sur $\mathbb{F}_2$. Une application de chaîne de degré 1 $\gamma_1: C^B_1 \to C^A_1$ spécifie un motif de portes CNOT physiques du code $B$ vers le code $A$.

• Conditions de l'Application de Chaîne : L'application doit satisfaire aux conditions de diagramme commutatif avec les applications limites (matrices de contrôle de parité), garantissant que les stabilisateurs sont envoyés vers des stabilisateurs et que l'espace de produit est préservé.
• Espace Hom : L'ensemble de toutes les applications de degré 1 valides, noté $\text{Hom}_1(B, A)$, forme un sous-espace linéaire. Les auteurs montrent que cet espace est isomorphe au noyau d'une matrice binaire explicite construite à partir des matrices de contrôle de parité des deux codes.

2.2 Ciblage Logique comme Contraintes Affines

Pour réaliser une opération logique spécifique (par exemple, un CNOT entre des qubits logiques spécifiques), les auteurs imposent des contraintes sur l'action logique induite.

• Action Induite : Une application de chaîne $\gamma_1$ induit des applications linéaires sur les groupes d'homologie (opérateurs logiques), notées $\Gamma_Z(\gamma_1)$ et $\Gamma_X(\gamma_1)$.
• Sous-espace Affine : Spécifier une action logique cible (par exemple, $\Gamma_Z = \Gamma_{\text{tgt}}$) restreint l'espace linéaire $\text{Hom}_1(B, A)$ à un sous-espace affine. Cela transforme le problème de la recherche d'une application valide en la recherche d'un représentant spécifique au sein d'une famille affine contrainte.

2.3 Optimisation via CP-SAT

La recherche de gadgets physiquement efficaces (faible profondeur, circuits creux) au sein de ce sous-espace affine est formulée comme un problème d'optimisation discrète.

• Objectif : Minimiser la profondeur du circuit (définie par le degré maximal du graphe d'interaction biparti) et/ou le nombre de portes CNOT physiques (poids).
• Solveur : Les auteurs emploient un solveur CP-SAT (Programmation par Contraintes - Satisfiabilité).
• Heuristiques : Pour améliorer les performances du solveur, ils introduisent une heuristique de remplacement de base creuse. Celle-ci remplace les générateurs denses du noyau par des matrices de rang 1 structurées et creuses dérivées de la structure de contrôle de parité (par exemple, coupler un qubit à un support de stabilisateur spécifique), effectuant ainsi une décomposition de l'espace de recherche.

2.4 Tolérance aux Fautes et Marquage (Flagging)

Bien que les conditions de l'application de chaîne garantissent la correction logique, elles ne garantissent pas automatiquement la tolérance aux fautes (préservation de la distance).

• Solutions Partiellement Tolérantes aux Fautes : L'optimiseur trouve souvent des circuits qui ne sont pas totalement préservateurs de la distance.
• Marquage (Flagging) : Les auteurs démontrent que ces circuits partiellement tolérants aux fautes peuvent être promus à une pleine tolérance aux fautes en ajoutant un petit nombre de qubits de marquage (flags) et des mesures de stabilisateurs à coup unique (single-shot). Cette approche récupère la distance complète du code avec un surcoût temporel minimal par rapport aux méthodes de chirurgie générale.

3. Contributions Clés

1. Cadre de Synthèse Automatisée : Un pipeline entièrement automatisé qui prend les matrices de contrôle de parité de deux codes CSS arbitraires et un réseau CNOT logique souhaité, pour produire un circuit CноT physique.
2. Caractérisation Affine : Une caractérisation rigoureuse de l'espace des couplages inter-codes en tant que sous-espace affine défini par des contraintes de ciblage logique.
3. Heuristique de Base Creuse : Une nouvelle méthode pour re-paramétrer l'espace de recherche afin d'améliorer l'efficacité des optimiseurs discrets (CP-SAT) dans la recherche de solutions à faible profondeur.
4. Construction de Circuits avec Marquage : Une démonstration pratique que des applications de chaînes "imparfaites" peuvent être rendues pleinement tolérantes aux fautes avec un nombre modeste de flags, évitant ainsi le lourd surcoût des adaptateurs universels.

4. Résultats et Benchmarks

Le cadre a été testé sur une gamme d'architectures de paires de codes CSS hétérogènes, incluant les codes de surface, les codes de couleur, les codes Bivariate Bicycle (BB) et les codes Many-Hypercubes.

• Récupération de Constructions Connues : La méthode récupère avec succès les constructions transversales connues pour les codes structurellement liés.
• Nouvelles Solutions à Faible Profondeur : Pour des paires arbitraires, l'optimiseur trouve de nouveaux circuits avec des compromis espace-temps favorables.
  • Injection d'États Magiques : La méthode identifie des applications pour l'injection d'états magiques qui évitent les adaptateurs universels coûteux, offrant des réductions significatives de surcoût.
  • CNOT Inter-Blocs : Pour le code [[16, 4, 4]] many-hypercubes, la méthode trouve des circuits de profondeur 2 pour des CNOT inter-blocs ciblés, contre une profondeur de 6 pour le schéma ConiQ AHA (une réduction de 4,5$\times$ du surcoût spatio-temporel).
  • Mesures de Produit de Pauli (PPM) : Le cadre permet des PPM efficaces pour les codes qLDPC. Par exemple, mesurer les opérateurs de graine sur un code GB [[62, 10, 6]] utilisant un ancilla de code de couleur nécessite moins de qubits ancilles que les approches précédentes basées sur la chirurgie.
  • PPM de Grille (Grid PPMs) : Pour les codes HGP, des applications de chaînes sur mesure peuvent mesurer des qubits logiques spécifiques en utilisant un seul bloc ancilla, éliminant le besoin d'ancillas secondaires requis par les Grid Pauli Product Measurements (GPPM), tout en maintenant une profondeur de 2.
• Simulations de Performance : Les simulations numériques utilisant le simulateur Stim montrent que les portes CNOT homomorphes résultantes présentent des taux d'erreur logique comparables aux bases de référence d'attente (idling memory) et aux CNOT transversaux des codes respectifs.
  • Circuits avec Marquage : Les simulations de CNOT homomorphes marqués (par exemple, entre un code de surface de distance 7 et un code BB [[72, 12, 6]]) démontrent qu'ajouter un petit nombre de flags (ex: 5) restaure la pleine distance du code, atteignant des performances équivalentes aux portes transversales.

5. Signification et Revendications

L'article affirme que ce cadre fournit un outil flexible et systématique pour concevoir des opérations logiques adaptées aux architectures hétérogènes.

• Généralité : Contra irement aux méthodes précédentes restreintes à des familles de codes spécifiques, cette approche s'applique à des paires de codes CSS arbitraires.
• Efficacité : Elle offre une voie vers l'intrication inter-codes avec des surcoûts spatio-temporels plus proches des portes transversales que des adaptateurs universels, tout en maintenant la tolérance aux fautes via le marquage.
• Scalabilité : La méthode est informatiquement réalisable pour des codes de taille modérée pertinents pour les propositions d'architectures actuelles (ex: codes BB, codes de surface).
• Extensibilité : Les auteurs notent que le cadre s'étend naturellement à d'autres portes logiques, telles que les portes CZ logiques, et peut être adapté pour d'autres primitives comme la préparation d'états GHZ ou les gadgets de Clifford multi-blocs.

Les auteurs restent modestes quant à la complexité computationnelle, reconnaissant que l'optimisation sur l'espace affine est un problème discret sans solution polynomiale connue dans le cas général, et que les résultats actuels servent de démonstrations de principe pour des instances à échelle modérée. Ils soulignent que l'espace affine contient intrinsèquement de nombreux candidats partiellement tolérants aux fautes qui peuvent être promus à une pleine tolérance aux fautes, offrant une voie pratique pour les architectures hétérogènes à court terme.