A superconducting surface-code processor with lattice-surgery logical operations

Cet article rapporte la réalisation expérimentale d'opérations de chirurgie de réseau tolérantes aux fautes sur un processeur à code de surface supraconducteur, démontrant la préparation d'un état de Bell logique de haute fidélité, un algorithme de Deutsch-Jozsa logique et la téléportation de porte non-Clifford afin d'établir un paradigme polyvalent pour le calcul quantique à grande échelle.

L'essentiel

Imaginez que vous essayez d'envoyer un message fragile à travers un océan déchaîné. Si vous envoyez un simple bateau en papier, une seule vague le fera couler. Mais si vous construisez un radeau massif et renforcé, composé de nombreux petits bateaux attachés ensemble, le radeau peut survivre aux vagues, même si quelques bateaux individuels sont endommagés. C'est l'idée fondamentale derrière la Correction d'Erreur Quantique : utiliser de nombreux « bateaux » physiques (qubits) pour protéger une seule information (un qubit logique).

Ce document décrit une étape majeure dans la construction de ce radeau, en utilisant spécifiquement un design appelé Code de Surface sur une puce informatique supraconductrice. Voici ce que les chercheurs ont accompli, expliqué simplement :

1. La Mise en Place : Construire le Radeau

L'équipe a construit une grille de 125 minuscules « bateaux » supraconducteurs (qubits) sur une puce. Ils les ont organisés en deux « radeaux » distincts (qubits logiques), chacun composé de 17 bateaux physiques.

• Le Défi : Dans le monde réel, ces bateaux sont instables. Ils dérivent, perdent de l'énergie et commettent des erreurs.
• La Solution : Ils ont constamment vérifié la « météo » (mesure des syndromes d'erreur) pour voir si certains bateaux commençaient à dériver. Si un bateau commençait à dériver, ils pouvaient le corriger avant que le radeau entier ne coule. Ils ont prouvé que leur radeau pouvait survivre à de nombreux cycles de ces vérifications, avec une probabilité très faible que le message entier soit corrompu.

2. Le Tour de Magie : Fusionner et Séparer les Radeaux (Chirurgie de Réseau)

La partie la plus excitante du document est une technique appelée Chirurgie de Réseau (Lattice Surgery). Considérez cela comme un moyen d'effectuer des calculs sur deux radeaux séparés sans jamais déplacer physiquement les bateaux.

• Fusion : Imaginez deux radeaux distincts flottant côte à côte. Pour effectuer un calcul, vous les attachez temporairement pour former un seul radeau géant et allongé.
• La Mesure : Pendant qu'ils sont attachés, vous mesurez une propriété spécifique du radeau combiné. Cela vous renseigne sur la relation entre les deux radeaux originaux.
• Séparation : Vous les détachez ensuite, les séparant à nouveau en deux radeaux distincts.

En raison de la manière dont la mécanique quantique fonctionne, ce processus de liaison et de séparation ne se contente pas de les mesurer ; il les enchevêtre (entangle). C'est comme prendre deux baguettes magiques séparées, les toucher ensemble, puis les écarter pour qu'elles soient désormais liées par magie : si vous en agitez une, l'autre bouge instantanément, peu importe la distance qui les sépare.

3. Ce Qu'Ils Ont Réellement Fait

Les chercheurs ont utilisé cette méthode de « liaison et séparation » pour réaliser trois choses spécifiques :

• Créer un « Jumeau Quantique » (État de Bell) : Ils ont commencé avec deux radeaux logiques séparés, les ont fusionnés, puis les ont séparés à nouveau. Le résultat était deux qubits logiques parfaitement liés (intriqués). Ils ont prouvé que ce lien était réel et solide, même avec le bruit du système.
• Exécuter un Puzzle Logique (Algorithme de Deutsch-Jozsa) : Ils ont utilisé leurs radeaux liés pour résoudre un puzzle logique spécifique. Dans ce puzzle, vous devez découvrir si une machine cachée donne toujours la même réponse ou si elle donne un mélange de réponses. Leur radeau quantique a résolu cela correctement bien plus souvent qu'un système « brut » (non corrigé) ne le pourrait, montrant que la correction d'erreur a réellement aidé l'ordinateur à mieux réfléchir.
• Le « Tour Impossible » (Portes Non-Clifford) : Les ordinateurs quantiques standards peuvent facilement effectuer certaines rotations, mais ils ont du mal avec un type de rotation spécifique appelé « non-Clifford ». Pour réaliser cela, l'équipe a utilisé une astuce spéciale :
  1. Ils ont préparé un « ingrédient magique » spécial (un état magique) sur un radeau.
  2. Ils ont fusionné les radeaux pour transférer cette magie à l'autre radeau.
  3. Ils ont séparé les radeaux, effectuant ainsi une rotation complexe qui est habituellement très difficile à réaliser.
     Ils ont montré qu'ils pouvaient le faire avec une grande précision (environ 94 % de fidélité) en filtrant les exécutions où des erreurs étaient détectées.

4. L'Essentiel à Retenir

Le document affirme que la Chirurgie de Réseau est une méthode pratique et fonctionnelle pour effectuer des calculs complexes sur un ordinateur quantique.

• Ils n'ont pas seulement construit une clé USB capable de stocker des données ; ils ont construit un processeur capable de faire des mathématiques sur ces données.
• Ils ont prouvé qu'en fusionnant et en séparant ces « radeaux » de correction d'erreurs, ils peuvent créer l'intrication, exécuter des algorithmes et effectuer des rotations complexes.
• Bien que le système ait encore besoin d'être plus grand et plus parfait pour résoudre des problèmes du monde réel, cette expérience prouve que les blocs fondamentaux pour un ordinateur quantique évolutif et tolérant aux fautes fonctionnent comme prévu.

En résumé, ils ont démontré avec succès que l'on peut prendre deux « radeaux » quantiques distincts et corrigés d'erreurs, les attacher ensemble pour effectuer un calcul, puis les séparer pour obtenir un résultat utile et intriqué. Il s'agit d'une étape cruciale sur la voie de la construction d'un ordinateur quantique capable de résoudre de véritables problèmes.

Résumé technique

Résumé Technique : Un processeur à code de surface supraconducteur avec opérations logiques par chirurgie de réseau

Énoncé du problème
Le calcul quantique scalable nécessite des opérations logiques tolérantes aux fautes qui empêchent la propagation d'erreurs physiques de faible poids en échecs logiques incurables. Bien que le code de surface soit un candidat de premier plan pour la correction d'erreurs quantiques (QEC) en raison de son seuil élevé et de sa compatibilité avec les configurations planaires, les progrès expérimentaux se sont largement concentrés sur la démonstration de cycles répétés d'extraction de syndromes (SEC) et de temps de vie de mémoire logique dépassant le point de rupture (break-even). Le défi critique restant est l'implémentation d'opérations logiques qui préservent la tolérance aux fautes dans les contraintes strictes des architectures supraconductrices bidimensionnelles statiques. Si les opérations transversales offrent une tolérance aux fautes, elles nécessitent une connectivité non locale indisponible dans les systèmes planaires. La chirurgie de réseau, qui déforme dynamiquement les patchs de code pour effectuer des opérations, est la solution proposée pour ces plateformes, pourtant la démonstration directe entre des patchs de code de surface entièrement correcteurs d'erreurs et la réalisation de portes logiques non-Clifford demeure un défi expérimental majeur.

Méthodologie
Les auteurs ont réalisé expérimentalement des opérations fondamentales de chirurgie de réseau sur un processeur supraconducteur planaire comprenant 125 qubits transmon accordables. Le système héberge deux qubits logiques, $L_1$ et $L_2$, chacun encodé dans un code de surface rotatif de distance trois (9 qubits de données et 8 qubits de syndrome par patch).

La méthodologie centrale implique :

1. Fusion et division de réseau (Lattice Merge and Split) : Pour effectuer des opérations logiques conjointes, les deux patchs de code disjoints sont fusionnés en un seul code de surface rotatif allongé de $7 \times 3$ ($L_3$) en reconfigurant dynamiquement les circuits d'extraction de syndrome. Cela implique l'extension des stabilisateurs de bordure et l'introduction de qubits de données et de syndrome ancillaires. Les opérateurs Pauli logiques sont mesurés via la parité des enregistrements de syndrome. Les patchs sont ensuite divisés pour redevenir $L_1$ et $L_2$ en mesurant les qubits de données ancillaires dans la base $Z$ et en restaurant les poids de stabilisateurs originaux.
2. Préparation et correction d'état : Des états de Bell logiques sont générés de manière déterministe via un protocole de division de réseau, utilisant des mises à jour de la trame de Pauli conditionnées par les résultats de mesures intermédiaires pour corriger les erreurs induites par la mesure.
3. Exécution algorithmique : Un algorithme de Deutsch-Jozsa à deux qubits est exécuté au niveau logique. L'oracle quantique est implémenté via la chirurgie de réseau, distinguant les fonctions booléennes constantes des fonctions équilibrées.
4. Opérations non-Clifford : Le contrôle universel est réalisé par injection d'états magiques et téléportation de porte. Un état magique de haute fidélité est préparé sur $L_2$ et consommé pour effectuer des rotations logiques $R_X(\theta)$ arbitraires sur $L_1$ via une mesure conjointe $M_{XX}$ (réalisée par des opérations de fusion/division).
5. Gestion des erreurs : L'étude emploie un décodeur de type belief-matching pour la correction d'erreurs et utilise une post-sélection « exempte d'erreurs détectées » (en écartant les exécutions présentant des syndromes non triviaux ou des événements de fuite) pour évaluer les performances limites supérieures.

Contributions clés

• Réalisation expérimentale de la chirurgie de réseau : La première démonstration directe d'opérations de fusion et de division de réseau entre deux qubits de surface de distance trois sur un processeur supraconducteur.
• Intrication logique : Préparation déterministe d'un état de Bell logique ($|\Phi^+\rangle_L$) à travers les deux patchs de code de surface, offrant une protection simultanée contre les erreurs de basculement de bit (bit-flip) et de phase (phase-flip).
• Exécution d'algorithme logique : Implémentation réussie de l'algorithme de Deutsch-Jozsa au niveau logique, démontrant l'utilité algorithmique au sein d'un cadre tolérant aux fautes.
• Implémentation de portes non-Clifford : Réalisation de rotations logiques non-Clifford continues autour de l'axe $X$ logique via l'injection d'états magiques et la téléportation de porte, un composant nécessaire pour le calcul quantique universel.

Résultats

• Performance de la mémoire logique : Après rejet des événements de fuite, les qubits logiques ont présenté des taux d'erreur par cycle de $\epsilon_{L1} = 0,0365(2)$ et $\epsilon_{L2} = 0,0282(1)$.
• Fidélité de l'état de Bell : La fidélité brute de l'état était de $0,372$. En utilisant un décodeur de type belief-matching, la limite inférieure de fidélité s'est améliorée à $F_{dec} = 0,532$, confirmant une véritable intrication bipartite. Sous post-sélection exempte d'erreurs détectées, la fidélité a atteint $F_{pst} = 0,925$.
• Précision de Deutsch-Jozsa : La correction d'erreurs a considérablement amélioré la précision de classification. Pour les fonctions constantes, la précision est passée de $0,886$ (brut) à $0,970$ (décodé). Pour les fonctions équilibrées, elle est passée de $0,623$à$0,716$. La post-sélection a encore augmenté ces valeurs vers l'unité, bien qu'au prix de la conservation de seulement $0,06 \%$ des données pour le cas équilibré.
• Fidélité de la porte non-Clifford : Pour la porte logique $R_X(\pi/4)$, les résultats corrigés par erreur ont montré une amélioration modeste par rapport aux données brutes. Sous post-sélection exempte d'erreurs détectées, la fidélité de la porte logique a atteint $0,943^{+10}_{-9}$.

Signification
Les auteurs affirment que ces résultats établissent la chirurgie de réseau comme un paradigme pratique et polyvalent pour le calcul logique dans les architectures de code de surface à court terme. En démontrant toute la pile d'opérations — de la préservation de la mémoire et de la génération d'intrication à l'exécution d'algorithmes et l'implémentation de portes universelles — ce travail représente une étape critique vers l'avantage quantique tolérant aux fautes et scalable dans les circuits supraconducteurs. L'article positionne ces découvertes comme les blocs de construction essentiels requis pour la transition des mémoires quantiques isolées vers des processeurs programmables tolérants aux fautes.