DRAG-Compatible Leakage Suppression in Landau--Zener Control via Isoprobability Twins

Cet article introduit le concept de modèles jumeaux d'isoprobabilité pour résoudre l'incompatibilité entre les formes d'impulsion de Landau-Zener analytiquement solubles et les techniques modernes de suppression de fuite, validant expérimentalement leur équivalence sur le matériel IBM et démontrant une réduction de fuite de plus de trois ordres de grandeur en utilisant une implémentation DRAG personnalisée.

L'essentiel

Imaginez que vous essayez de diriger le « bit » d'un ordinateur quantique (un minuscule morceau d'information) d'un état « endormi » vers un état « éveillé ». Pour ce faire, les physiciens utilisent un type spécifique d'impulsion de contrôle, comme une onde radio, pour pousser le bit.

Pour cela, les physiciens utilisent un type spécifique d'impulsion de contrôle, comme une onde radio, pour pousser le bit.

Pendant des décennies, la méthode la plus célèbre et la plus fiable pour le faire consistait à utiliser une recette spécifique appelée le modèle de Landau-Zener (LMSZ). Considérez cette recette comme une instruction de conduite très stricte et à l'ancienne : « Gardez le pied sur l'accélérateur à une vitesse parfaitement constante tout en tournant le volant. »

Le Problème :
Bien que cette méthode à « vitesse constante » soit mathématiquement parfaite pour amener le bit au bon endroit, elle présente un défaut majeur dans le monde réel. Parce que la vitesse est constante, le moteur ne monte pas en régime ni ne ralentit de manière fluide. Cela provoque une « fuite d'huile » — c'est-à-dire que le bit quantique déborde accidentellement vers un troisième état indésirable (comme un état « super-éveillé ») qui gâche le calcul.

La technologie moderne possède un outil pour fixer les fuites appelé DRAG. Cependant, le DRAG fonctionne en lissant les changements de régime du moteur (les changements de vitesse). Si votre moteur fonctionne déjà à une vitesse parfaitement constante, il n'y a rien pour que le DRAG puisse lisser. C'est comme essayer de repasser une chemise qui est déjà parfaitement plate ; l'outil n'a rien à saisir. Ainsi, pendant des années, les scientifiques étaient coincés : ils avaient une recette parfaite, mais elle ne pouvait pas être réparée avec les outils de prévention des fuites modernes.

La Solution : Les « Jumeaux d'Isoprobabilité »
Les auteurs de cet article ont trouvé une astuce ingénieuse. Ils ont réalisé que, bien que le résultat d'une conduite (amener le bit à l'état éveillé) dépende du chemin emprunté, il existe de nombreux chemins différents qui mènent exactement à la même destination.

Ils appellent ces différents chemins des « Jumeaux d'Isoprobabilité ».

Imaginez que vous deviez conduire de la Ville A à la Ville B.

• Itinéraire 1 (L'ancienne méthode) : Rouler à une vitesse constante de 60 mph sur une autoroute droite. (C'est l'impulsion LMSZ originale).
• Itinéraire 2 (Le jumeau) : Emprunter une route sinueuse où vous accélérez et ralentissez doucement, mais en vous réglant parfaitement pour arriver à la Ville B au même moment et dans le même état que l'Itinéraire 1.

L'article prouve mathématiquement que vous pouvez échanger l'itinéraire à « vitesse constante » contre un itinéraire « fluide, avec des accélérations et des décélérations » (comme une onde cosinus) et obtenir exactement le même résultat.

Le Tour de Magie :
Une fois que nous avons échangé l'itinéraire à vitesse constante pour l'itinéraire ondulé et fluide, nous avons enfin pu utiliser l'outil DRAG.

• Parce que le nouvel itinéraire présente des changements de vitesse fluides, le DRAG peut désormais « lisser » les aspérités.
• Le résultat ? Ils ont réduit la « fuite d'huile » (les erreurs quantiques) de plus de 1 000 fois (spécifiquement, de plus de 3 ordres de grandeur).

Ce qu'ils ont fait pour le prouver :

1. La Mathématique : Ils ont utilisé une transformation mathématique (appelée Delos-Thorson) pour générer une liste de 16 itinéraires « jumeaux » différents pour deux modèles quantiques célèbres.
2. Le Test : Ils ont pris trois de ces itinéraires différents et les ont testés sur un véritable ordinateur quantique construit par IBM (plus précisément, le processeur ibm_kyiv).
3. Le Résultat : L'ordinateur a montré que les trois itinéraires différents produisaient exactement le même taux de réussite. L'itinéraire « fluide » fonctionnait aussi bien que l'itinéraire « constant ».
4. La Correction : Ils ont ensuite appliqué la correction DRAG à l'itinéraire fluide. La simulation a montré que, tandis que l'ancien itinéraire constant fuyait beaucoup d'énergie, le nouvel itinéraire fluide avec DRAG était presque parfaitement propre.

En résumé :
Cet article n'invente pas une nouvelle façon de conduire ; il invente une nouvelle façon de décrire la conduite. Il montre que vous pouvez échanger une impulsion rigide à vitesse constante pour une impulsion ondulée et fluide sans changer le résultat. Ce simple échange permet d'utiliser les outils modernes de correction d'erreurs, rendant les ordinateurs quantiques beaucoup plus fiables et moins sujets aux « fuites » d'informations.

Ils ont démontré cela sur une véritable puce quantique IBM et ont montré qu'en utilisant ce concept de « jumeau », ils pouvaient stopper les fuites presque entièrement.

Résumé technique

Résumé Technique : Suppression de la Fuite Compatible avec le DRAG via les Jumeaux d'Isoprobabilité dans le Contrôle de Landau–Zener

Énoncé du Problème
Les modèles quantiques analytiquement solubles, spécifiquement les modèles de Landau-Majorana-Stückelberg-Zener (LMSZ) et d'Allen-Eberly-Hioe (AEH), sont fondamentaux pour l'implémentation des portes quantiques et les protocoles de transfert de population. Cependant, les formes d'impulsion canoniques de ces modèles présentent des limitations significatives pour le matériel quantique moderne. Notamment, l'impulsion LMSZ standard présente une enveloppe de fréquence de Rabi constante ($\Omega(t) = \text{const}$). Cette enveloppe plate rend la dérivée $\dot{\Omega}(t)$ nulle, ce qui empêche l'application des techniques de DRAG (Derivative Removal by Adiabatic Gate). Le DRAG est une méthode standard de suppression de la fuite qui repose sur une correction imaginaire proportionnelle à $\dot{\Omega}(t)$ pour annuler les transitions non adiabatiques vers des états non computationnels (fuite). Par conséquent, le modèle LMSZ analytiquement traçable est structurellement incompatible avec la suppression de fuite standard, imposant un compromis entre la solubilité analytique et la robustesse matérielle.

Méthodologie
Les auteurs abordent cette limitation en formalisant le concept de modèles jumeaux d'isoprobabilité. En utilisant la transformation de Delos-Thorson, les auteurs identifient des paires distinctes de fréquences de Rabi $\Omega(t)$ et de désaccord (detuning) $\Delta(t)$ qui produisent des probabilités de transition post-impulsion identiques.

1. Cadre Théorique : La méthode implique un changement de la variable indépendante dans l'équation de Schrödinger de $t$ vers la variable de Delos-Thorson $\sigma(t) = \int_0^t \Omega(t') dt'$. Cela reformule la dynamique de sorte que la probabilité de transition dépende uniquement de la variable de Stückelberg $\Theta(\sigma) = \Delta(t(\sigma))/\Omega(t(\sigma))$. Toute paire $\{\Omega(t), \Delta(t)\}$ générant la même fonction $\Theta(\sigma)$ appartient à la même « classe d'isoprobabilité » et produit des résultats de transition identiques.
2. Génération de Modèles : Les auteurs génèrent systématiquement 16 modèles distincts pour la classe LMSZ finie et la classe AEH. En sélectionnant une enveloppe d'impulsion lisse (par exemple, cosinus ou sécante hyperbolique) au lieu de l'enveloppe constante, ils dérivent une fonction de désaccord correspondante qui préserve la probabilité de transition originale.
3. Validation Expérimentale : L'équivalence de ces modèles jumeaux a été testée sur le processeur transmon à 127 qubits ibm_kyiv d'IBM. Étant donné que le matériel ne possède pas de contrôle direct du désaccord dépendant du temps, les auteurs ont simulé les profils de désaccord requis en appliquant une phase dépendante du temps à la commande de la fréquence de Rabi ($\phi(t) = \int \Delta(t) dt$). Ils ont mesuré les paysages de probabilité de transition pour trois modèles de la classe LMSZ (fréquences de Rabi constantes, cosinus et sécante hyperbolique) et trois modèles de la classe AEH.
4. Démonstration de la Suppression de la Fuite : Une simulation numérique a été réalisée à l'aide d'un hamiltonien de transmon à 8 niveaux ajusté au qubit 14 du processeur ibm_kyiv. Les auteurs ont comparé l'impulsion LMSZ canonique à Rabi constante contre son jumeau d'isoprobabilité à « Rabi cosinus », auquel une correction DRAG ($\beta \dot{\Omega}(t)$) a été appliquée.

Résultats Clés

• Équivalence Expérimentale : Les paysages de probabilité de transition mesurés sur le processeur quantique pour les différents jumeaux d'isoprobabilité étaient presque identiques. Les erreurs quadratiques moyennes (MSE) entre les cartes expérimentales des modèles à Rabi constante, cosinus et sécante hyperbolique étaient de l'ordre de $10^{-3}$ (par exemple, $1,7 \times 10^{-3}$ entre les paires 1 et 4), confirmant que des formes d'impulsion distinctes peuvent produire le même transfert de population post-impulsion.
• Réduction de la Fuite : La simulation numérique a démontré que, tandis que l'impulsion LMSZ canonique à Rabi constante accumule une fuite allant jusqu'à 2,4 % (moyenne de 0,53 %) en raison de l'impossibilité d'appliquer le DRAG, le jumeau à Rabi cosinus lisse combiné à la correction DRAG réduit la fuite à moins de $1,1 \times 10^{-3} \%$ (moyenne de $2,8 \times 10^{-4} \%$).
• Facteur de Suppression : Cela représente un facteur de suppression de la fuite d'environ 2200 (pic) et 1900 (moyenne), dépassant trois ordres de grandeur, tout en maintenant la probabilité de transition vers l'état excité à $P_1 \approx 0,9998$.

Signification et Revendications
L'article affirme que le cadre d'isoprobabilité parvient à découpler le choix de la forme de l'impulsion du choix du modèle analytique. Cela permet aux chercheurs de sélectionner des enveloppes d'impulsion qui satisfont les contraintes matérielles (telles que la lissité pour la compatibilité DRAG) sans sacrifier les probabilités de transition analytiques exactes fournies par des modèles solubles comme LMSZ et AEH.

Les auteurs soulignent que cette approche résout l'incompatibilité structurelle entre le modèle LMSZ et la suppression de fuite par DRAG. En passant d'une enveloppe constante à un « jumeau » lisse au sein de la même classe d'isoprobabilité, le modèle devient compatible avec les outils de correction basés sur la dérivée. Ce travail valide ce concept expérimentalement sur un processeur quantique réel et démontre son potentiel pour améliorer considérablement la fidélité des portes en supprimant la fuite vers les états non computationnels, une exigence critique pour l'informatique quantique tolérante aux fautes. La méthodologie est présentée comme applicable à diverses plateformes, notamment les atomes de Rydberg, les ions piégés et les systèmes RMN/IRM, partout où la solubilité analytique est souhaitée mais que les formes d'impulsion canoniques sont peu pratiques.