Error-corrected phase estimation averaged over variable grids on a trapped-ion quantum computer: hyperacuity spectra of a CO molecule adsorbed onto $\chi$-Fe$_5$C$_2$

Cet article présente et valide expérimentalement sur un ordinateur quantique à ions piégés une nouvelle méthode « QPE moyennée sur des grilles variables » (QAVG) qui combine une estimation de phase quantique à faible résolution avec des décalages d'origine et une paramétrisation continue pour reconstruire avec précision les spectres d'excitation d'une molécule de CO sur une surface $\chi$-Fe$_5$C$_2$, surmontant efficacement le bruit matériel et les fuites spectrales afin de permettre des simulations quantiques robustes à tolérance aux fautes précoces.

L'essentiel

La vue d'ensemble : Accorder une radio dans une pièce bruyante

Imaginez que vous essayez d'accorder une radio ancienne pour trouver une station de musique spécifique. Vous voulez entendre la chanson clairement, mais deux choses rendent cela difficile :

1. Le cadran est grossier : Les chiffres sur le cadran sautent par grands pas (comme 100, 105, 110), donc vous ne pouvez pas vous arrêter exactement sur 103,5.
2. La pièce est bruyante : Il y a des craquements et des bavardages en arrière-plan qui rendent le signal flou.

C'est exactement le problème que rencontrent les scientifiques lorsqu'ils utilisent des ordinateurs quantiques pour étudier le fonctionnement des molécules. Ils veulent connaître les « notes d'énergie » exactes (spectres) qu'une molécule émet, mais les ordinateurs quantiques actuels sont comme cette radio grossière et bruyante. Ils ne peuvent pas obtenir une lecture parfaite, et le « bruit » (les erreurs) trompe souvent l'ordinateur en lui faisant croire qu'il a trouvé la bonne note alors qu'il ne l'a pas.

La solution : L'astuce du « Vernier » (QAVG)

Les auteurs de ce document proposent une nouvelle méthode ingénieuse appelée QAVG (Quantum Phase Estimation Averaged over Variable Grids).

Pensez-y comme à un pied à coulisse (un outil utilisé par les mécaniciens pour mesurer de très petites distances avec plus de précision qu'une règle standard).

• L'ancienne méthode : Vous prenez une seule mesure avec la règle. Si l'objet est légèrement décalé par rapport à la ligne, vous devinez.
• La méthode QAVG : Vous prenez la même mesure, mais vous déplacez légèrement la règle vers la gauche, puis légèrement vers la droite, puis légèrement vers le haut, et ainsi de suite. Vous faites cela de nombreuses fois.

En combinant toutes ces mesures légèrement décalées, l'ordinateur peut « trianguler » la vraie position du niveau d'énergie. Même si la règle est grossière et que la pièce est bruyante, le motif des décalages révèle la réponse exacte avec une précision bien supérieure à ce qu'une seule mesure pourrait jamais fournir.

L'expérience : Une molécule sur une surface métallique

Pour tester cela, les chercheurs n'ont pas seulement utilisé un problème mathématique simple ; ils ont simulé un scénario chimique réel :

• La scène : Une molécule de monoxyde de carbone (CO) adhérant à un type spécifique de surface de carbure de fer (utilisée dans la fabrication de carburants).
• L'objectif : Déterminer exactement comment les électrons de cette molécule se comportent lorsqu'ils sont excités. Cela est crucial pour comprendre le fonctionnement des catalyseurs industriels.

Ils ont construit un modèle simplifié de cette interaction (un modèle de « dimère ») et l'ont exécuté sur un Quantinuum H2-2, qui est un véritable ordinateur quantique physique utilisant des ions piégés (des atomes chargés électriquement maintenus en place par des champs magnétiques).

Deux types d'« écoute »

L'équipe a testé sa méthode de deux manières différentes :

1. Circuits physiques (L'approche directe) : Ils ont exécuté l'expérience directement sur le matériel brut. C'est comme écouter la radio sans équipement spécial.
2. Circuits logiques (L'approche de correction d'erreurs) : C'est la partie la plus impressionnante. Ils ont utilisé un « code Steane », qui est une méthode regroupant sept qubits physiques (les unités de base de l'ordinateur) pour agir comme un seul et unique qubit « logique » protégé.
   • Analogie : Imaginez que vous avez un message fragile écrit sur un morceau de papier. Au lieu d'envoyer une seule copie, vous en envoyez sept. Si l'une est déchirée ou tachée, l'ordinateur examine les six autres pour déterminer ce que disait le message original et corrige l'erreur.
   • Ils ont même utilisé un système de « drapeau » pour détecter les erreurs au moment où elles se produisaient et rejeter les mauvaises données (les tirs) avant qu'elles ne corrompent le résultat.

Les résultats : Voir l'invisible

Les résultats ont été surprenants et réussis :

• Battre le bruit : Même si les circuits « logiques » étaient plus bruyants et plus complexes que les circuits directs, la méthode QAVG a réussi à reconstruire le spectre d'énergie de la molécule avec une précision incroyable.
• Lisser les bosses : Lorsque l'ordinateur essaie de trouver la meilleure réponse, il reste souvent coincé dans des « minima locaux » — imaginez un randonneur coincé dans une petite vallée et pensant qu'il est au bas de la montagne. La méthode QAVG, en moyennant sur tous ces grilles décalées, a lissé le paysage. Elle a transformé un terrain accidenté et confus en une pente douce, permettant à l'ordinateur de trouver facilement le vrai fond (la bonne réponse).
• Hyperacuité : Le document appelle cela de l'« hyperacuité ». Tout comme les yeux humains peuvent détecter un minuscule espace entre deux lignes qui est plus petit que la largeur d'une seule cellule de notre rétine (en utilisant plusieurs cellules ensemble), cette méthode détecte les niveaux d'énergie avec plus de précision que la résolution matérielle de l'ordinateur ne devrait théoriquement le permettre.

La conclusion

Ce document prouve que vous n'avez pas besoin d'un ordinateur quantique parfait et futuriste pour obtenir des résultats scientifiques utiles aujourd'hui. En utilisant une astuce mathématique intelligente (décaler la grille et moyenner) et en la combinant avec une correction d'erreurs, les chercheurs peuvent extraire des données de haute précision sur des molécules complexes à partir du matériel actuel, imparfait.

C'est une feuille de route pour l'ère de la « tolérance aux pannes précoce » : une époque où nous pouvons faire de la science sérieuse même avant d'avoir des ordinateurs quantiques parfaits et sans erreurs.

Résumé technique

Résumé technique : Estimation de phase corrigée par erreur moyennée sur des grilles variables sur un ordinateur quantique à ions piégés

Énoncé du problème
L'estimation de phase quantique (QPE) est un algorithme fondamental pour extraire les spectres d'excitation des systèmes à plusieurs électrons, offrant des avantages par rapport aux méthodes classiques pour le calcul de grandeurs telles que les fonctions de Green à une particule (GF) sans nécessiter la diagonalisation de sous-espaces de Hilbert gigantesques. Cependant, la mise en œuvre pratique sur le matériel actuel est entravée par deux facteurs principaux : une faible résolution de grille (limitée par le nombre de qubits auxiliaires) et le bruit environnemental. De plus, les paysages de coûts standards de la QPE souffrent souvent de « fuites spectrales », créant des paysages accidentés avec de multiples minima locaux qui piègent les algorithmes d'optimisation, en particulier lors de l'utilisation d'une seule grille d'origine énergétique.

Méthodologie
Les auteurs proposent et mettent en œuvre la QPE moyennée sur des grilles variables (QAVG), une approche de type vernier conçue pour reconstruire les spectres avec précision malgré des grilles de faible résolution et le bruit. La méthodologie implique un flux de travail de bout en bout appliqué à un système modèle d'une molécule de CO adsorbée sur une surface $\chi$-Fe$_5$C$_2$ (un catalyseur pertinent pour la synthèse Fischer–Tropsch).

1. Prétraitement classique :

   • Des calculs de théorie de la fonctionnelle de la densité (DFT) ont été effectués sur le système CO/$\chi$-Fe$_5$C$_2$ pour obtenir les structures électroniques.
   • Des orbitales de Wannier maximales localisées (MLWO) ont été construites, identifiant cinq orbitales pertinentes (deux dérivées de $2\pi^*$ du CO et trois dérivées de $d$ du Fe).
   • Pour respecter les contraintes actuelles du matériel quantique, un modèle de dimère de Hubbard réduit a été dérivé, mappant les cinq MLWO sur un système à deux orbitales (types $p$ et $d$). Ce modèle a été réduit davantage à une représentation à un seul qubit en se concentrant sur des sous-espaces spécifiques d'excitation électronique et de trou ($n_e=3$ et $n_e=1$).

2. L'algorithme QAVG :

   • Au lieu d'utiliser une seule origine énergétique, la QAVG emploie plusieurs décalages d'origine énergétique ($E_{orig}^{(s)}$) inférieurs à la résolution de grille ($1/t_0$).
   • L'approche utilise une paramétrisation continue motivée physiquement. Les amplitudes de transition inconnues sont paramétrées à l'aide d'angles ($\vartheta$) pour satisfaire les conditions d'orthonormalité dérivées des orbitales naturelles.
   • Une fonction de coût est définie comme la distance $L_1$ entre les histogrammes observés (provenant de plusieurs décalages d'origine) et les distributions de probabilité théoriques. La minimisation de cette fonction de coût moyennée permet la reconstruction de la fonction de Green et de la densité d'états (DOS).

3. Mise en œuvre expérimentale :

   • Les expériences ont été menées sur l'ordinateur quantique à ions piégés Quantinuum H2-2.
   • Circuits physiques : Des circuits QPE standards ont été exécutés en utilisant à la fois des configurations à 3 qubits auxiliaires et à un seul qubit auxiliaire (mesure en cours de circuit).
   • Circuits logiques : Des circuits QPE logiques ont été implémentés en utilisant le code de correction d'erreurs Steane [[7, 1, 3]].
     • Les états logiques ont été préparés à l'aide d'un circuit d'encodage tolérant aux fautes (FT) avec des qubits drapeau.
     • Les rotations logiques $z$ ont été implémentées de manière non tolérante aux fautes (car une implémentation transversale est impossible pour les portes non-Clifford dans ce code), mais une correction de retournement de bit (BFC) hors ligne a été appliquée aux chaînes de bits classiques mesurées pour corriger les erreurs à un seul qubit.

Résultats clés

• Reconstruction spectrale : L'approche QAVG a reconstruit avec succès la DOS à plusieurs électrons pour le modèle de dimère. Les résultats issus des circuits physiques et logiques ont montré des écarts nettement inférieurs à la résolution de grille nominale de la QPE.
• Robustesse au bruit : Même en utilisant des histogrammes bruités provenant de circuits logiques (impliquant plus de qubits physiques et des opérations non tolérantes aux fautes), les spectres reconstruits étaient en bon accord avec les simulations sans bruit et les références Full Configuration Interaction (FCI).
• Stabilité de l'optimisation : Les paysages de coûts moyennés sur les grilles décalées se sont avérés significativement plus lisses que ceux issus des grilles de référence unique. Le processus de moyennage a considérablement supprimé les minima locaux causés par les fuites spectrales, facilitant la convergence des algorithmes d'optimisation (Nelder-Mead) vers le minimum global.
• Logique vs Physique : Bien que les circuits logiques aient introduit plus de bruit en raison de l'absence de correction d'erreurs en ligne pour les portes non-Clifford, la méthode QAVG est restée robuste. Les résultats de la QPE logique étaient comparables à ceux de la QPE physique, démontrant la viabilité de l'échantillonnage corrigé par erreur même avec des portes logiques imparfaites.

Signification et revendications
L'article revendique que la QAVG fournit une voie robuste vers les simulations quantiques de spectres corrélés adaptée à l'ère des ordinateurs quantiques tolérants aux fautes précoces (early-FTQC).

• Surmonter les limites de résolution : En combinant la QPE à faible résolution avec plusieurs décalages d'origine et une paramétrisation continue, la méthode atteint une « hyperacuité » (terme emprunté à la science de la vision), reconstruisant des caractéristiques spectrales fines qui seraient autrement irresolubles avec l'espacement de grille donné.
• Atténuation des barrières d'optimisation : L'approche s'attaque à la « malédiction de la dimensionnalité » dans les paysages de coûts en lissant les minima locaux, rendant l'optimisation des paramètres plus fiable pour les systèmes plus grands.
• Praticité pour les early-FTQC : La démonstration sur des qubits logiques utilisant le code Steane, malgré l'utilisation de rotations logiques non tolérantes aux fautes et d'une correction uniquement hors ligne, suggère que des informations spectrales utiles peuvent être extraites avant que le matériel n'atteigne une tolérance aux fautes complète et véritable. Les auteurs postulent que cette approche deviendra encore plus puissante à mesure que le matériel évoluera pour prendre en charge des modèles plus grands et plus réalistes (par exemple, le modèle complet à 17 orbitales mentionné comme possibilité future).