Strictly Local Tile-Code Architectures on Two-Dimensional Planar Lattices

Résumé technique : Architectures de codes de tuiles strictement locales sur des réseaux plans bidimensionnels

Énoncé du problème
Les codes de contrôle de parité à faible densité (qLDPC) quantiques, particulièrement les codes Bivariate Bicycle (BB), offrent une grande efficacité d'encodage et des seuils élevés, mais reposent sur des conditions aux limites périodiques et une connectivité de qubits non locale. Ces exigences sont incompatibles avec le matériel supraconducteur actuel, qui est intrinsèquement bidimensionnel et restreint aux interactions de plus proches voisins. Bien que des travaux antérieurs aient proposé des schémas de routage ou de nouvelles familles de codes pour combler cet écart, beaucoup supposent encore des architectures multicouches, une connectivité à longue portée, ou ne parviennent pas à maintenir une localité stricte sur les frontières ouvertes. Cet article traite du défi de l'implémentation de quatre familles spécifiques de « codes de tuiles » (tile codes) — des codes qLDPC planaires avec des frontières ouvertes et des stabilisateurs de poids 6 — en utilisant uniquement des interactions de plus proches voisins sur un réseau carré 2D. Le problème central est de déterminer si ces codes peuvent maintenir des seuils de circuit compétitifs et une efficacité de ressources lorsque la localité est strictement contrainte par l'utilisation d'un routage basé sur des SWAP.

Méthodologie
Les auteurs ont développé un algorithme de recherche exhaustive pour trouver des schémas de routage optimaux basés sur les SWAP pour l'extraction de syndromes. La méthodologie comprend :

1. Définition du code : Utilisation de quatre familles de codes de tuiles définies par des paires de polynômes $(f, g)$ sur un anneau de polynômes de Laurent. Ces codes présentent des stabilisateurs de volume (bulk) de poids 6 et des stabilisateurs de bordure avec un poids réduit dû aux frontières ouvertes.
2. Recherche de routage : Une recherche exhaustive en trois phases a été menée pour trouver des mots de routage ($W$) valides composés de directions de SWAP (L, R, U, D).
   • Phase 1 (Couverture) : S'assurer que les qubits ancilles visitent tous les qubits de support de chaque stabilisateur.
   • Phase 2 (Ordre des CNOT) : Vérifier que pour les stabilisateurs X et Z qui se chevauchent, le nombre de qubits partagés où le CNOT X s'exécute avant le CNOT Z est pair (satisfaisant la condition (b') pour les codes CSS).
   • Phase 3 (Empilement de sous-ticks) : Fusionner les opérations CNOT agissant sur des qubits disjoints pour minimiser la profondeur du circuit.
     La recherche a permis des décalages de départ (offsets) indépendants pour les ancilles X et Z afin d'optimiser le planning (schedule).
3. Simulation et décodage : Les circuits d'extraction de syndrome ont été simulés à l'aide du simulateur Stim sous deux modèles de bruit : le modèle de dépolarisation standard basé sur le circuit et le modèle SI1000 (adapté aux processeurs transmon supraconducteurs, traitant le CNOT comme la porte native et le SWAP comme une porte native avec un taux d'erreur de 1,5×). Les taux d'erreur logique ont été estimés à l'aide d'un décodeur de propagation de croyance avec décodage par statistiques ordonnées (BP+OSD).
4. Analyse des seuils et des ressources : Les seuils ont été estimés via une mise à l'échelle de taille finie. L'efficacité des ressources a été évaluée en calculant le nombre de qubits physiques par qubit logique requis pour atteindre un taux d'erreur logique cible ($\epsilon_L = 10^{-9}$), en comparant les codes de tuiles routés au code de surface roté.

Contributions clés

• Schémas de routage exhaustifs : L'article présente des calendriers de routage explicites et optimaux pour quatre familles de codes de tuiles sur un réseau planaire strictement 2D. Ces calendriers garantissent des modèles d'erreur de détecteur déterministes car les opérations SWAP s'annulent sur deux cycles, sans nécessole de suivi de cadre (frame tracking).
• Estimation des seuils sous contraintes de localité : Les auteurs fournissent les premières estimations de seuil au niveau du circuit pour ces codes de tuiles lorsqu'ils sont restreints à une connectivité de plus proches voisins.
• Analyse de l'empreinte des ressources : L'étude quantifie le compromis entre le seuil réduit causé par le routage et l'amélioration de l'efficacité d'encodage des codes de tuiles, démontrant un point de croisement où les codes de tuiles deviennent plus efficaces en termes de ressources que le code de surface roté.

Résultats

• Seuils : Sous le modèle de bruit SI1000, les seuils pour les quatre familles de codes de tuiles sans contraintes de localité se situent entre 0,23 % et 0,31 %. Lorsqu'ils sont contraints à des interactions de plus proches voisins avec un routage par SWAP, les seuils diminuent à 0,11 % – 0,13 %. Cela représente un facteur de réduction d'environ 2 à 3. La réduction est encore plus prononcée (facteur d'environ 3) sous le modèle de dépolarisation standard, attribuée aux erreurs d'inactivité (idle errors) plus élevées dans ce modèle.
• Profondeur de circuit : Les calendriers de routage optimaux nécessitent de 15 à 18 étapes temporelles par cycle (incluant les opérations SWAP et CNOT), ce qui est optimal au sein de la classe des mots de routage invariants par translation.
• Efficacité des ressources : Malgré les seuils plus bas, les auteurs trouvent que les codes de tuiles routés nécessitent moins de qubits physiques par qubit logique que le code de surface roté à des taux d'erreur physique suffisamment bas.
  • Sous le modèle SI1000, un croisement se produit à un taux d'erreur physique de $p^* \approx 0,08 \%$. En dessous de ce taux, les codes de tuiles routés deviennent plus efficaces en termes de qubits, l'avantage croissant de manière monotone à mesure que le taux d'erreur diminue. Par exemple, à $p = 2 \times 10^{-4}$, le code de tuile routé nécessite seulement 48 % des qubits physiques nécessaires au code de surface pour atteindre $\epsilon_L = 10^{-9}$.
  • Sous le modèle de dépolarisation standard, le code de tuile routé est plus efficace que le code de surface même à $p = 10^{-3}$.

Signification et affirmations
L'article affirme que les codes qLDPC planaires, spécifiquement les codes de tuiles, restent des candidats pratiques pour l'informatique quantique tolérante aux fautes, même lorsque des contraintes de localité strictes sont imposées. Bien que la nécessité du routage par SWAP impose une pénalité significative sur le seuil (réduction d'un facteur de 2 à 3), la haute efficacité d'encodage de ces codes compense cette pénalité à de faibles taux d'erreur physique. Les auteurs soutiennent qu'avec un schéma de routage approprié, les codes de tuiles peuvent surpasser le code de surface en termes de surcharge de qubits physiques, offrant une voie viable vers des mémoires quantiques matériellement efficaces sur les architectures supraconductrices 2D standard. Ce travail fournit également un algorithme généralisable pour trouver des calendriers de routage pour d'autres codes invariants par translation sur des réseaux planaires.