Computing with many encoded logical qubits beyond break-even

En utilisant le processeur à ions piégés Quantinuum Helios de 98 qubits, cette étude démontre pour la première fois des calculs quantiques surpassant leurs équivalents non encodés grâce à l'application de codes de détection et de correction d'erreurs à haut débit, validant ainsi la viabilité de ces codes pour le calcul à l'échelle post-classique.

L'essentiel

🌊 Le Problème : La Mer de l'Erreur

Imaginez que vous essayez de construire un château de cartes très complexe (un calcul quantique) au milieu d'une tempête. Chaque carte (un qubit physique) est fragile. Si une seule carte bouge ou tombe à cause d'un courant d'air (une erreur), tout le château s'effondre.

Dans les ordinateurs quantiques actuels, ces "courants d'air" sont omniprésents. Pour faire des calculs utiles, il faut que le château reste debout assez longtemps. Jusqu'à présent, les scientifiques utilisaient une méthode lourde : ils prenaient une seule carte logique (l'information utile) et la protégeaient en l'entourant de dizaines de cartes physiques. C'était comme construire un bunker en béton pour protéger une seule pièce de monnaie. C'était efficace, mais cela coûtait trop cher en "briques" (qubits).

🧊 La Solution : Le Code "Iceberg" (Iceberg Code)

Les chercheurs de Quantinuum ont trouvé une astuce géniale. Au lieu de construire un bunker massif pour chaque pièce, ils ont inventé un système appelé Code Iceberg.

Imaginez un iceberg dans l'océan. Ce que vous voyez au-dessus de l'eau (les qubits logiques, l'information utile) est énorme, mais il repose sur une structure invisible sous l'eau (les qubits physiques).

• L'astuce : Avec seulement deux qubits physiques supplémentaires, vous pouvez protéger un nombre illimité de qubits logiques. C'est comme si vous pouviez protéger un océan entier de poissons avec seulement deux filets de sécurité !

C'est ce qu'on appelle un code à débit élevé (high-rate) : on encode beaucoup d'information avec très peu de ressources supplémentaires.

🏗️ L'Expérience : Construire avec le "Helios"

Les scientifiques ont utilisé un ordinateur quantique spécial appelé Helios, qui ressemble à un immense orchestre de 98 ions piégés (des atomes chargés) qui peuvent tous se parler entre eux, peu importe où ils sont placés. C'est comme si chaque musicien pouvait entendre n'importe quel autre musicien instantanément.

Ils ont fait deux choses principales :

1. Le Détecteur d'Erreurs (QED) : Ils ont utilisé le code Iceberg pour détecter les erreurs. C'est comme avoir un gardien qui crie "Attention !" si une carte bouge. Si le gardien crie, on rejette le résultat et on recommence.

   • Résultat : Ils ont réussi à faire fonctionner 94 qubits logiques (des cartes protégées) en même temps. Et le plus fou ? Le château de cartes protégé était plus solide que le château non protégé. C'est ce qu'on appelle dépasser le "point de rupture" (break-even). Pour la première fois, la protection a vraiment aidé, même avec beaucoup de qubits.

2. Le Réparateur d'Erreurs (QEC) : Ensuite, ils ont empilé les codes Iceberg les uns sur les autres (comme des poupées russes) pour créer un code encore plus fort capable de réparer les erreurs, pas juste de les voir.

   • Résultat : Ils ont protégé 48 qubits logiques et ont démontré que le système pouvait corriger les erreurs sans s'effondrer.

🎻 L'Analogie du Concert

Pour tester si leur système fonctionnait vraiment, ils ont fait jouer de la musique (une simulation de matériaux magnétiques, un modèle appelé "modèle XY").

• Sans protection : Imaginez un orchestre où chaque musicien joue faux de temps en temps. Plus la symphonie est longue, plus le résultat devient du bruit.
• Avec le code Iceberg : Imaginez que chaque musicien a un chef d'orchestre invisible qui corrige sa note instantanément. Même si le musicien fait une erreur, le chef la corrige avant qu'elle ne gâche la musique.

Les chercheurs ont montré que leur "orchestre protégé" jouait une musique beaucoup plus pure et fidèle que l'orchestre non protégé, même avec des centaines de notes (portes logiques) jouées.

🚀 Pourquoi c'est important ?

Avant cette expérience, on pensait qu'il faudrait des milliers d'années et des millions de qubits pour faire de la correction d'erreurs utile.

Cette étude nous dit : "Non, on peut le faire maintenant !"

• Ils ont prouvé qu'on peut protéger beaucoup d'informations avec peu de ressources.
• Ils ont montré que la protection fonctionne mieux que l'absence de protection, même sur des machines actuelles.
• C'est une étape cruciale vers l'ordinateur quantique "magique" qui pourra résoudre des problèmes que les supercalculateurs classiques ne pourront jamais toucher (comme découvrir de nouveaux médicaments ou matériaux).

En résumé

Les scientifiques ont réussi à transformer un ordinateur quantique fragile en une machine robuste capable de faire des calculs complexes en utilisant une astuce de protection très efficace (le code Iceberg). C'est comme passer d'une maison en papier qui s'effondre au premier souffle de vent, à une forteresse capable de résister à la tempête, tout en utilisant très peu de matériaux de construction.

C'est le début de l'ère où les ordinateurs quantiques commencent vraiment à être utiles pour le monde réel.

Résumé technique

1. Problématique et Contexte

Le principal défi de l'informatique quantique à grande échelle est la correction d'erreurs. Pour réaliser des calculs utiles, il faut encoder des qubits logiques dans un grand nombre de qubits physiques pour supprimer les erreurs. Cependant, les implémentations expérimentales précédentes étaient limitées par :

• Un surcoût important en termes d'espace (mémoire) et de temps (complexité du circuit).
• Une connectivité limitée entre les qubits, empêchant l'utilisation de codes à haut débit (high-rate codes) qui pourraient encoder de nombreux qubits logiques avec peu de qubits physiques supplémentaires.
• L'incapacité à démontrer une performance "au-delà du point d'équilibre" (beyond break-even), c'est-à-dire où un calcul encodé surpasse sa contrepartie non encodée (physique) en termes de fidélité, malgré le surcoût de l'encodage.

L'objectif de ce travail est de démontrer que des codes de détection et de correction d'erreurs à haut débit, spécifiquement les codes "Iceberg", peuvent être mis en œuvre sur un processeur à ions piégés (Quantinuum Helios) pour réaliser des calculs avec jusqu'à 94 qubits logiques, surpassant les performances des qubits physiques bruts.

2. Méthodologie

Les auteurs ont utilisé le processeur Quantinuum Helios (98 qubits d'ions $^{137}\text{Ba}^+$), qui offre une connectivité arbitraire entre tous les qubits, une caractéristique essentielle pour les codes non locaux.

A. Codes Utilisés : Les Codes "Iceberg"

• Codes de détection (QED) : Le code de base $I_k$ encode $k$ qubits logiques avec seulement 2 qubits physiques supplémentaires (distance $d=2$). Il détecte toute erreur d'un seul qubit.
• Concaténation : Pour obtenir une correction d'erreurs (QEC) et une distance supérieure ($d=4$), les auteurs ont concaténé deux niveaux de codes iceberg ($I_{k_2} \circ I_{k_1}$). Cela permet d'augmenter la distance du code tout en maintenant un taux d'encodage élevé.
• Expérimentation : Ils ont testé des codes avec jusqu'à 94 qubits logiques (niveau QED, $d=2$) et jusqu'à 48 qubits logiques (niveau QEC concaténé, $d=4$).

B. Techniques de Mise en Œuvre

• Préparation d'état et Lecture (SPAM) : Développement de nouveaux gadgets de préparation d'état fault-tolérants (FT) utilisant des arbres de portes CX et des mesures de syndromes intermédiaires pour détecter les erreurs de cascade. Utilisation de techniques de mitigation d'erreurs comme les sous-espaces sans décohérence (DFS) et le découplage dynamique (DD).
• Extraction de Syndrômes : Introduction de méthodes optimisées utilisant des états GHZ à 4 qubits pour paralléliser l'extraction des syndrômes, exploitant les zones de portes du processeur Helios.
• Opérations Logiques :
  • Portes partiellement fault-tolérantes (pFT) : Utilisation de rotations de Pauli continues natives pour éviter le coût de synthèse des portes non-Clifford.
  • Portes FT : Implémentation de portes logiques comme le FANOUT global et des portes $U_{ZZ}$ entre blocs de codes.
• Benchmarks :
  • Cycle Benchmarking (CB) : Pour évaluer la fidélité des portes logiques universelles.
  • Préparation d'états GHZ : Création d'états intriqués à grande échelle.
  • Simulation de Modèle XY : Simulation d'un modèle de magnétisme quantique 3D (antiferromagnétique) sur un réseau $4\times4\times4$ utilisant 64 qubits logiques, via un protocole de "Mirror Benchmarking" (réflexion) pour estimer la fidélité globale sans simulation classique coûteuse.

3. Contributions Clés

1. Démonstration "Beyond Break-Even" : C'est la première fois que des calculs avec un grand nombre de qubits logiques (jusqu'à 94) surpassent systématiquement leurs équivalents non encodés en termes de fidélité, même avec des taux de post-sélection raisonnables.
2. Nouveaux Protocoles Fault-Tolérants :
   • Développement de circuits de préparation d'état et de lecture optimisés pour les codes iceberg concaténés.
   • Introduction d'un cycle de correction d'erreurs (QEC) à faible surcoût pour les codes concaténés, utilisant des blocs de code de niveau inférieur comme ancillaires, réduisant considérablement le surcoût spatio-temporel par rapport aux méthodes de style Knill.
3. Échelle et Performance : Réalisation d'expériences avec 48 qubits logiques dans un code QEC concaténé ($d=4$) et 94 qubits dans un code QED ($d=2$), repoussant les limites de la taille des calculs encodés.
4. Analyse de la Distance : Démonstration que l'augmentation de la distance du code via la concaténation améliore les taux d'acceptation (réduction du taux de rejet) sans dégrader la fidélité, prouvant la viabilité de l'augmentation de la distance pour des calculs plus longs.

4. Résultats Principaux

• Fidélité SPAM (Préparation et Mesure) : Les expériences de préparation et de mesure d'états logiques (SPAM) ont montré une infidélité par qubit logique améliorée d'au moins un ordre de grandeur par rapport aux qubits physiques. Le code concaténé $d=4$ a montré des fidélités et des taux d'acceptation supérieurs au code $d=2$.
• Benchmarks de Portes Logiques : Les portes logiques (intra et inter-blocs) ont atteint des infidélités moyennes entre $1.0 \times 10^{-4}$ et $1.2 \times 10^{-4}$. Ces valeurs surpassent significativement les erreurs des portes physiques à deux qubits sur Helios ($\sim 8 \times 10^{-4}$).
• États GHZ : Préparation d'états GHZ logiques avec une fidélité d'environ 95 % pour le code $I_{94}$, et aucun erreur logique enregistrée sur plusieurs milliers de tirs pour les codes $I_{8 \circ I_6}$ et $15 \times I_4$.
• Simulation du Modèle XY :
  • La simulation d'un modèle de magnétisme 3D avec 64 qubits logiques a montré une réduction du taux d'erreur effectif d'environ 30 % par rapport à la simulation non encodée.
  • Le taux d'acceptation global était d'environ 12,5 % pour les circuits les plus profonds, ce qui est considéré comme raisonnable compte tenu de la complexité.
  • Les résultats suggèrent que ces calculs sont à la limite de la simulation classique (en raison de l'intrication rapide et de la haute dimensionnalité), validant l'approche pour le calcul "au-delà du classique".

5. Signification et Perspectives

Ce travail représente un état de l'art pour la fidélité des composants et des états logiques. Il démontre que :

• Les codes à haut débit (comme les codes iceberg) sont viables sur les ordinateurs quantiques actuels à ions piégés.
• Il est possible d'atteindre des performances supérieures à l'encodage physique ("break-even") avec un nombre massif de qubits logiques, une étape cruciale vers le calcul quantique fault-tolérant à grande échelle.
• L'architecture des ions piégés, avec sa connectivité arbitraire, est particulièrement adaptée à ces codes géométriquement non locaux.

Les auteurs suggèrent que cette approche peut être étendue à des modèles de matière condensée plus complexes (comme les modèles de Fermi-Hubbard ou de Kitaev) et que l'augmentation de la distance via la concaténation est une voie prometteuse pour atteindre des taux d'acceptation plus élevés et des calculs fault-tolérants complets. Ce papier pose les bases pour des calculs quantiques utiles à l'échelle pré-classique et post-classique.