Breakeven demonstration of quantum low-density parity-check codes

En tirant parti de la flexibilité d'un ordinateur quantique à ions piégés et d'une nouvelle architecture à état fondamental métastable optique, des chercheurs ont démontré neuf codes de correction d'erreurs quantiques distincts sans reconfiguration matérielle, atteignant une performance de point d'équilibre où le taux d'erreur logique d'un code qLDPC à haut débit a significativement surpassé les démonstrations précédentes sur supraconducteurs tout en égalant ou dépassant la durée de vie des qubits physiques.

L'essentiel

Imaginez que vous essayez d'envoyer un message délicat à travers un océan déchaîné. Le message est votre « qubit logique » (l'information réelle que vous voulez garder en sécurité), mais le bateau qui le transporte est fait de « qubits physiques » (le matériel réel, qui est sujet à être mouillé et endommagé par les vagues).

Pendant longtemps, les scientifiques ont essayé de construire un bateau suffisamment robuste pour que le message survive plus longtemps que le bois du bateau lui-même. C'est ce qu'on appelle atteindre le « point de rupture » (breakeven point). Si le message dure plus longtemps que le bateau, vous avez gagné la course contre l'erreur.

Cet article d'IonQ rapporte une victoire majeure dans cette course en utilisant un ordinateur quantique à ions piégés. Voici ce qu'ils ont fait, expliqué simplement :

1. Le problème : La contrainte du « voisinage »

La plupart des ordinateurs quantiques actuels sont comme un quartier où les maisons (qubits) ne peuvent communiquer qu'avec leurs voisins immédiats. Pour protéger un message, ils utilisent un « Code de Surface », qui revient à construire un mur massif autour du message. Le problème ? Ce mur est gigantesque. Pour protéger une seule pièce d'information, vous pourriez avoir besoin de centaines de briques (qubits physiques). C'est très coûteux et inefficace.

Il existe un nouveau plan plus intelligent appelé codes qLDPC. Ce sont comme un système de sécurité haute technologie où le message est protégé par un réseau de connexions qui ne se contentent pas d'aller aux voisins, mais peuvent atteindre l'ensemble du bâtiment. Cela permet de protéger plus d'informations avec moins de briques. Cependant, construire ces connexions « longue portée » est généralement un cauchemar pour les ingénieurs matériels car la plupart des machines ne peuvent pas communiquer à travers une pièce entière.

2. La solution : La « télécommande magique »

L'équipe d'IonQ a utilisé un ordinateur à ions piégés, qui est unique car il ne repose pas sur des fils physiques connectant les voisins. Au lieu de cela, ils utilisent des lasers (faisceaux Raman) qui agissent comme une télécommande magique.

• Pas de pièces mobiles : Ils n'ont pas besoin de déplacer physiquement les atomes (ions) autour. Les lasers peuvent pointer n'importe quel atome ou n'importe quelle paire d'atomes instantanément, peu importe leur distance dans la ligne.
• L'astuce « OMG » : Pour vérifier si le message est en sécurité, ils doivent jeter un coup d'œil aux « gardes de sécurité » (qubits ancilla) sans déranger les « prisonniers » (qubits de données). Habituellement, cela nécessite de déplacer les gardes dans une autre pièce ou d'utiliser des atomes de « refroidissement » supplémentaires pour maintenir la stabilité.
  • Leur innovation : Ils ont utilisé une astuce ingénieuse appelée architecture Optical-Metastable-Ground (OMG). Imaginez mettre tous les prisonniers dans une salle de « mise à l'écart » (état métastable) où ils sont invisibles pour les lasers. Ensuite, ils font revenir sélectivement les gardes dans la pièce principale pour vérifier leur statut, les refroidir et les renvoyer en mise à l'écart.
  • Le résultat : Ils n'ont pas eu besoin de déplacer des atomes ni d'utiliser des atomes de refroidissement supplémentaires. Ils ont tout fait sur place, économisant ainsi un temps et un espace considérables.

3. L'expérience : Tester différents plans

Parce que leur « télécommande magique » est si flexible, ils n'ont pas eu besoin de reconstruire leur machine pour tester différents plans de sécurité. Ils ont testé neuf plans différents sur le même matériel :

• Codes qLDPC : Les codes à haute efficacité et à connexion longue portée.
• Codes Topologiques : Des codes basés sur la forme d'un donut (tore).
• Codes Concatenés : Des codes où l'on enveloppe un petit filet de sécurité à l'intérieur d'un plus grand.

4. Les résultats : Battre la compétition

L'équipe a atteint deux étapes majeures :

• Battre le record précédent : Ils ont testé un code spécifique (BB5) qui encode 4 informations dans 18 qubits physiques. Une expérience précédente sur une puce supraconductrice (utilisant un type de matériel différent) avait tenté ce même code mais avait lutté contre les erreurs. La version d'IonQ était 4 fois meilleure pour arrêter les erreurs « Z » et 9 fois meilleure pour arrêter les erreurs « X ».
• Franchir la ligne du « point de rupture » (Breakeven) : C'est la grande nouvelle. Ils ont mesuré combien de temps l'information « logique » a survécu par rapport aux atomes « physiques ».
  • Dans un code spécifique, l'information logique a survécu pendant 3,95 secondes.
  • Les atomes physiques eux-mêmes n'ont survécu que 3,3 secondes.
  • L'analogie : Le message a survécu plus longtemps que le bateau sur lequel il se trouvait. C'est le « point de rupture ».

Résumé

Considérez cet article comme la démonstration qu'une flotte de bateaux flexibles contrôlée par laser (ions piégés) peut utiliser des filets de sécurité intelligents à longue portée (codes qLDPC) pour garder un message en sécurité plus longtemps que les bateaux eux-mêmes ne le feraient seuls.

Ils ont prouvé qu'il n'est pas nécessaire de construire une machine massive et rigide pour obtenir d'excellents résultats. Au lieu de cela, en utilisant un système flexible capable de « parler » instantanément à n'importe quelle partie de la machine, ils ont atteint un niveau de protection qui est une étape cruciale vers la construction d'ordinateurs quantiques à grande échelle et tolérants aux fautes. Ils ont réussi cela sans déplacer de pièces ni utiliser d'agents de refroidissement supplémentaires, rendant le processus beaucoup plus efficace.

Résumé technique

Résumé Technique : Démonstration du seuil de rentabilité (Breakeven) de codes qLDPC Quantiques

Énoncé du Problème
L'informatique quantique tolérante aux fautes (FTQC) nécessite une correction d'erreurs quantiques (QEC) intensive. Bien que le code de surface soit un choix populaire en raison de sa compatibilité avec les architectures de voisinage proche en 2D, il souffre d'un surcoût massif en qubits, nécessitant des centaines de qubits physiques par qubit logique. Les codes de contrôle de parité à faible densité (qLDPC) offrent une alternative prometteuse en assouplissant les contraintes de localité, permettant des taux de codage plus élevés et un surcoût réduit. Cependant, la réalisation expérimentale des codes qLDPC est entravée par la nécessité de portes non locales et de reconfigurations matérielles complexes. Des démonstrations précédentes, telles qu'un code de bicycle bivariant (BB) spécifique sur des qubits supraconducteurs, nécessitaient un matériel sur mesure avec des coupleurs à longue portée et ont obtenu des taux d'erreur logique qui n'étaient pas encore compétitifs avec la durée de vie des qubits physiques (seuil de rentabilité ou breakeven).

Méthodologie
Les auteurs ont utilisé un ordinateur quantique à ions piégés comprenant une chaîne stationnaire de quarante ions $^{133}\text{Ba}^+$. Le système tire parti de deux avantages architecturaux clés :

1. Connectivité Tout-à-Tous : Les portes sont implémentées à l'aide de faisceaux Raman directeurs adressant n'importe quel ion ou paire d'ions dans la chaîne, éliminant ainsi le besoin de transport physique des ions.
2. Architecture Optical-Metastable-Ground (OMG) : Une nouvelle implémentation permettant la mesure et la réinitialisation à mi-circuit (MCM) adressables sans ions de refroidissement dédiés.
   • Mécanisme : Les qubits inactifs sont « rangés » (shelved) dans une manifold métastable ($5^2D_{5/2}$) à l'aide d'un faisceau global de 1762 nm. Des « ancilla de lecture » spécifiques sont sélectivement « dérangés » (deshelved) vers l'état fondamental ($6^2S_{1/2}$) pour la mesure.
   • Refroidissement Sympathique : Les ancillas mesurés sont utilisés pour refroidir sympathiquement l'ensemble de la chaîne, supprimant le besoin de espèces de refroidissement séparées (qui consomment typiquement jusqu'à 50 % du nombre d'ions dans les systèmes basés sur le transport).
   • Gestion de la Fuite (Leakage) : Le système détecte la fuite hors de la manifold de qubits via des vérifications de fluorescence. Bien que l'approche principale implique la post-sélection (rejet des clichés avec détection de fuite), les auteurs notent que cela peut être converti en effacements avec des réinitialisations conditionnelles.

Les expériences ont démontré neuf codes de correction d'erreurs quantiques distincts appartenant à trois familles sans aucune reconfiguration matérielle :

• Codes qLDPC : Cinq codes, incluant trois variantes de BB5 et deux codes GB4 (stabilisateurs de poids 4).
• Codes Topologiques : Un code torique standard ($d=3$) et une variante rotée ($d=4$).
• Codes Concatenés : Le code $[[4, 2, 2]]$ concaténé avec lui-même.
  Des expériences de mémoire ont été menées en préparant des états propres logiques ($X_L$ et $Z_L$) et en répétant des cycles de syndrome (jusqu'à 6 cycles). Les données de syndrome ont été décodées à l'aide d'un décodeur à faisceau (beam decoder).

Résultats Clés

• Taux d'Erreur Logique : En utilisant un code BB5 encodant 4 qubits logiques dans 18 qubits physiques, les auteurs ont obtenu des taux d'erreur logique significativement inférieurs à une démonstration supraconductrice antérieure d'un code BB similaire (encodant 4 qubits logiques dans 18 qubits physiques en utilisant 32 transmons). Plus précisément, le taux d'erreur logique était 4 fois plus bas pour les erreurs Z et 9 fois plus bas pour les erreurs X par rapport à la référence supraconductrice.
• Performance de Seuil de Rentabilité (Breakeven) : L'étude rapporte la première démonstration de la performance de breakeven pour les codes qLDPC. Les durées de vie des qubits logiques étaient comparables, et dans certains cas légèrement supérieures, aux durées de vie des qubits physiques sous-jacents.
  • La meilleure instance de code (GB4 $[[26, 2, 5]]$) a présenté une durée de vie de qubit logique de 3,95 $\pm$ 0,68 s, contre 3,3 $\pm$ 0,9 s pour les qubits physiques.
  • Pour le code BB5 $[[18, 4, 3]]$, la durée de vie logique était comparable à la durée de vie physique ($T_2^* \approx 1,1 \pm 0,3$ s pour $X_L$ et $T_1 \approx 3,3 \pm 0,9$ s pour $Z_L$).
• Flexibilité : Le même matériel a implémenté avec succès des codes ayant des exigences de connectivité très différentes (du code torique local aux codes qLDPC hautement non locaux) uniquement par reconfiguration logicielle des séquences de portes et des mappages de qubits.

Signification et Revendications
L'article affirme que ce travail représente un jalon important vers des architectures de calcul tolérantes aux fautes économes en qubits. En tirant parti de la flexibilité des systèmes à ions piégés, les auteurs démontrent que des codes qLDPC à haut taux peuvent être implémentés sans les contraintes matérielles qui ont précédemment limité leur réalisation expérimentale. La démonstration réussie de la performance de breakeven (où les qubits logiques vivent aussi longtemps ou plus longtemps que les qubits physiques) pour les codes qLDach suggère que ces codes sont des candidats viables pour les premières générations de FTQC. L'implémentation de la nouvelle architecture OMG est mise en évidence comme un catalyseur critique, permettant la mesure et le refroidissement à mi-circuit scalables sans le surcoût du transport d'ions ou de l'utilisation d'espèces de refroidissement dédiées. Ce travail souligne que les dispositifs à ions piégés sont une plateforme naturelle pour réaliser la connectivité complexe requise par les codes qLDPC.