High-fidelity neutral atom gates leveraging low-rank Hessian optimization

Cet article présente une méthode de calibration basée sur le hessien qui exploite la structure de bas rang des paysages de contrôle quantique pour optimiser efficacement des formes d'onde de haute dimension pour les portes d'atomes neutres, démontrant expérimentalement une convergence rapide et une fidélité élevée (0,99902) pour une porte Controlled-Z robuste sur des qubits 171Yb.

L'essentiel

Imaginez que vous essayez d'enseigner une danse très précise à une paire d'atomes. Dans le monde de l'informatique quantique, ces atomes sont les « danseurs » (qubits), et les pas de danse sont les portes logiques qui effectuent les calculs. Pour les faire danser parfaitement, les scientifiques utilisent des impulsions laser pour guider leurs mouvements.

Le problème est que les lasers ne sont pas parfaits. Ils vacillent, se déforment, et la « musique » (la forme d'onde de contrôle) qu'ils jouent est souvent désordonnée. Si vous essayez de corriger une danse désordonnée en modifiant aléatoirement la musique, vous devez chercher parmi des millions de changements possibles. C'est comme essayer de trouver une aiguille spécifique dans une botte de foin de la taille d'une ville, et vous pourriez ne jamais la trouver.

La Grande Idée : Le Raccourci « Bas Rang »

Cette publication introduit un raccourci ingénieux. Les chercheurs ont découvert que même si la forme d'onde du laser possède des millions de façons possibles d'être déformée, seule une poignée de ces déformations réellement gâche la danse.

Considérez la forme d'onde du laser comme un immense et complexe morceau d'argile. Vous pourriez le presser, l'étirer ou le tordre de manières infinies. Cependant, les chercheurs ont découvert que la « danse » (la porte quantique) ne se soucie que de cinq à dix façons spécifiques de presser cette argile. Toutes les autres façons de tordre l'argile sont « invisibles » pour la danse ; elles ne changent pas le résultat du tout.

Ils appellent cela l'« Optimisation de l'Hessienne à Bas Rang ».

• Hessienne : Un mot mathématique sophistiqué pour une carte qui montre quelles directions sont sensibles (gâchent la danse) et lesquelles ne le sont pas.
• Bas Rang : La carte montre que seules un petit nombre de directions (l'« espace principal ») comptent.

Comment ils ont procédé

Au lieu de deviner au hasard, l'équipe a utilisé cette carte pour trouver les « directions sensibles ».

1. Identifier les points critiques : Ils ont calculé quelles déformations spécifiques dans l'impulsion laser causeraient des erreurs aux atomes (comme sortir de la piste de danse ou se marcher sur les pieds).
2. Se concentrer uniquement sur celles-ci : Ils ont ignoré les millions de changements non pertinents et n'ont ajusté le laser que le long de ces quelques directions critiques.
3. Boucle de rétroaction fermée : Ils ont mené l'expérience, mesuré la qualité de la danse des atomes, et ont utilisé ce résultat pour pousser le laser dans la bonne direction. Parce qu'ils ne regardaient que les quelques boutons importants, le système a appris incroyablement vite.

Les Résultats

Ils ont testé cette méthode sur un type spécifique d'atome (l'Ytterbium) et un mouvement de danse spécifique (une porte Controlled-Z).

• Vitesse : L'optimisation a convergé (trouvé le réglage parfait) très rapidement, ne prenant que quelques étapes au lieu de milliers.
• Précision : Ils ont atteint un taux de réussite de 99,59 % (et 99,9 % s'ils ignoraient les cas rares où un atome se perdait).
• Robustesse : Le plus beau dans tout cela ? Même s'ils augmentaient ou diminuait la puissance du laser de 20 % (un changement énorme), la danse fonctionnait toujours parfaitement. L'impulsion optimisée était si bien réglée qu'elle ne se souciait pas des petites erreurs de puissance du laser.

Pourquoi c'est important

Cette méthode est comparable à avoir un GPS qui vous indique exactement les quelques routes qui mènent à votre destination, plutôt que de vous laisser conduire aléatoirement dans chaque rue du pays.

La publication affirme que cette approche est :

• Efficace : Elle résout le problème du calibrage de portes quantiques complexes sans nécessiter des millions d'expériences.
• Motivée par la physique : Elle est basée sur la physique réelle de la façon dont les erreurs se produisent (fuite et erreurs de phase), et non sur des suppositions aléatoires.
• Largement applicable : Bien qu'ils l'aient testée sur des atomes neutres, la logique s'applique à de nombreux autres types d'ordinateurs quantiques.

En bref, ils ont trouvé un moyen de régler une machine quantique très complexe et de haute dimension en se concentrant uniquement sur les quelques « boutons » qui comptent réellement, ce qui a permis d'obtenir une porte quantique hautement précise et robuste.

Résumé technique

Résumé technique : Portes d'atomes neutres à haute fidélité exploitant l'optimisation hessienne de bas rang

Énoncé du problème
Le contrôle optimal quantique offre une voie vers des portes multi-qubits rapides et robustes en façonnant des champs de contrôle dépendants du temps. Cependant, le calibrage expérimental des formes d'onde de haute dimension qui en résultent constitue un goulot d'étranglement significatif. Les recherches directes dans de grands espaces de paramètres convergent lentement, et les approches d'optimisation existantes (par exemple, les ansatzs paramétrés, l'apprentissage automatique, les algorithmes génétiques) nécessitent souvent un nombre excessif d'échantillons expérimentaux, ne parviennent pas à converger vers une fidélité optimale, ou dépendent étroitement de caractérisations indépendantes du hamiltonien du système ou des fonctions de transfert du dispositif. De plus, la précision des impulsions optimisées est limitée par la fidélité du modèle hamiltonien utilisé pour les concevoir et par la fonction de transfert physique du matériel de contrôle.

Méthodologie : Optimisation hessienne de bas rang
Les auteurs développent une stratégie de calibrage basée sur l'observation que le paysage de fidélité autour d'une porte est robuste, ce qui signifie que la fidélité de la porte est insensible à la plupart des perturbations. Ils proposent que l'espace des perturbations de la forme d'onde de contrôle affectant la fidélité est de bas rang.

1. Cadre théorique :

   • La forme d'onde de la porte $\Omega(t)$ est décomposée en une base de haute dimension de fonctions à valeurs réelles.
   • L'infidélité de la porte ($1-F$) est exprimée sous la forme d'une forme quadratique impliquant la matrice Hessienne $H$ de la fidélité par rapport aux paramètres de contrôle : $1 - F \approx \frac{1}{2} \delta\vec{\Omega}^T H \delta\vec{\Omega}$.
   • Les auteurs démontrent que le rang de $H$ n'est pas déterminé par la dimension de la base de contrôle, mais par le nombre de canaux d'erreur accessibles dans l'unitaire cible. Plus précisément, le rang est borné par le nombre de canaux de fuite indépendants (transitions vers des états non computationnels) et de canaux d'erreurs cohérentes (erreurs de phase et de mélange au sein du sous-espace computationnel).
   • Pour une porte CZ médiée par Rydberg symétrique, le rang de l'espace de contrôle pertinent est montré comme étant seulement de 5 (pour un modèle simplifié à trois niveaux) ou de 10 (pour un modèle plus complexe à quatre niveaux impliquant des états de Rydberg indésirables).
   • Les vecteurs propres correspondant aux valeurs propres non nulles définissent un « espace principal ». Les perturbations orthogonales à cet espace (l'espace nul) n'affectent pas la fidélité au premier ordre.

2. Protocole expérimental :

   • L'optimisation procède en balayant de manière itérative les coefficients de la forme d'onde de contrôle le long des vecteurs propres principaux de la Hessienne.
   • Il s'agit d'un processus en boucle fermée utilisant un retour expérimental (mesures de la fidélité de la porte) plutôt que de s'appuyer sur une caractérisation préalable d'un modèle des distorsions matérielles.
   • La méthode corrige la projection de l'erreur de la porte sur l'espace principal tout en ignorant l'espace nul, réduisant ainsi considérablement la dimensionnalité de la recherche.

Mise en œuvre expérimentale et résultats
Les auteurs ont appliqué cette méthode à une porte CZ (Controlled-Z) robuste en amplitude (AR) sur des qubits de spin nucléaire de l'isotope $^{171}\text{Yb}$ dans un état métastable.

• Système : Les qubits sont encodés dans le collecteur métastable $3P_0$. La porte utilise le blocage de Rydberg avec un manifold spécifique ($\nu=52.3$) où les contraintes de division Zeeman introduisent un couplage indésirable avec un second état de Rydberg, augmentant le rang de la Hessienne à 10.
• Vérification de la structure de bas rang : L'équipe a mesuré la sensibilité de la fidélité de la porte le long de 10 directions principales et de 4 directions aléatoires de l'espace nul. Les sensibilités expérimentales correspondaient aux prédictions théoriques, distinguant clairement la haute sensibilité des vecteurs propres principaux de la sensibilité négligeable des modes de l'espace nul.
• Performance d'optimisation :
  • En partant de formes d'onde significativement déformées par la bande passante du modulateur acousto-optique (AOD), le protocole d'optimisation a convergé vers l'erreur de porte attendue après une seule itération.
  • Fidélité brute : La porte optimisée a atteint une fidélité brute de $F = 0.9959(2)$.
  • Fidélité post-sélectionnée : Après post-sélection sur les événements sans détection de perte d'atome, la fidélité a augmenté à $F_{ps} = 0.99902(7)$.
  • Robustesse : La performance de la porte est restée essentiellement inchangée sous des variations de puissance laser allant jusqu'à 20 %, démontاrant la robustesse de la conception robuste en amplitude.
  • Stabilité : La porte optimisée a maintenu une performance stable sur une période de 10 heures sans ré-optimisation.
• Correction d'erreur de Hamiltonien : Les auteurs ont démontré que les mêmes directions sensibles à la Hessienne pouvaient corriger les erreurs dans le modèle Hamiltonien. En modifiant délibérément la division Zeeman (un paramètre d'erreur), ils ont montré qu'un seul cycle d'optimisation le long des vecteurs propres de la Hessienne originale permettait de récupérer la majeure partie de la fidélité perdue, même si la forme de la forme d'onde optimale changeait considérablement.

Signification et revendications
Cet article établit l'optimisation hessienne de bas rang comme une stratégie de calibrage efficace et physiquement motivée pour les portes de contrôle optimal de haute dimension. Les principales revendications sont :

1. Efficacité : En restreignant l'optimisation à l'espace principal défini par les mécanismes d'erreur accessibles, la méthode évite le coût prohibitif de la recherche dans des espaces de haute dimension, permettant une convergence rapide.
2. Motivation physique : Le nombre de directions d'optimisation requises est explicitement lié aux mécanismes d'erreur physiques (fuite et erreurs cohérentes), fournissant une limite théorique claire sur la complexité du calibrage.
3. Généralité : L'approche est largement applicable à de nombreux types de qubits et est particulièrement pertinente pour les systèmes où les signaux de contrôle sont déformés (par exemple, les qubits à l'état solide avec de longues chaînes cryogéniques) ou lorsque les paramètres du Hamiltonien varient en raison d'incertitudes de fabrication.
4. Complémentarité : Les auteurs suggèrent que cette méthode complète les techniques de pré-compensation ; l'optimisation hessienne de bas rang peut corriger efficacement les erreurs résiduelles après qu'une impulsion déformée a été amenée dans le régime perturbatif.

Le travail ne prétend pas résoudre tous les défis de calibrage (il note, par exemple, que les distorsions initiales importantes peuvent nécessiter plusieurs cycles ou que la méthode repose sur la théorie des perturbations au premier ordre), mais il fournit un modèle rigoureux pour réduire la dimensionnalité du problème d'optimisation expérimentale pour les portes multi-qubits.