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

Technische Samenvatting: DRAG-compatibele lekonderdrukking in de Landau–Zener-controle via Isoprobabiele Tweelingen

Probleemstelling
Analytisch oplosbare kwantummodellen, specifiek de Landau-Majorana-Stückelberg-Zener (LMSZ) en Allen-Eberly-Hioe (AEH) modellen, zijn fundamenteel voor de implementatie van kwantumgates en populatieoverdrachtsprotocollen. De canonieke pulsvormen van deze modellen vertonen echter aanzienlijke beperkingen voor moderne kwantumhardware. Het meest opvallend is dat de standaard LMSZ-puls een constante Rabi-frequentie-enveloppe ($\Omega(t) = \text{const}$) heeft. Deze vlakke enveloppe resulteert in een afgeleide $\dot{\Omega}(t)$ die nul is, wat de toepassing van Derivative Removal by Adiabatic Gate (DRAG) technieken verhindert. DRAG is een standaardmethode voor lekonderdrukking die steunt op een imaginaire correctie proportioneel aan $\dot{\Omega}(t)$ om niet-adiabatische transities naar niet-computationele toestanden (lekken) te elimineren. Bijgevolg is het analytisch behapbare LMSZ-model structureel incompatibel met standaard lekonderdrukking, wat een afruil dwingt tussen analytische oplosbaarheid en hardwarematige robuustheid.

Methodologie
De auteurs pakken deze beperking aan door het concept van isoprobabiele tweelingmodellen te formaliseren. Met behulp van de Delos-Thorson transformatie identificeren de auteurs onderscheidende paren van Rabi-frequentie $\Omega(t)$ en detuning $\Delta(t)$ die identieke post-puls transitiekansen opleveren.

1. Theoretisch Kader: De methode behelst een verandering van de onafhankelijke variabele in de Schrödinger-vergelijking van tijd $t$ naar de Delos-Thorson variabele $\sigma(t) = \int_0^t \Omega(t') dt'$. Dit herformuleert de dynamica zodanig dat de transitiekans uitsluitend afhangt van de Stückelberg-variabele $\Theta(\sigma) = \Delta(t(\sigma))/\Omega(t(\sigma))$. Elk paar $\{\Omega(t), \Delta(t)\}$ dat dezelfde functie $\Theta(\sigma)$ genereert, behoort tot dezelfde "isoprobabiele klasse" en produceert identieke transitieresultaten.
2. Modelgeneratie: De auteurs genereren systematisch 16 verschillende modellen voor zowel de eindige LMSZ-klasse als de AEH-klasse. Door een gladde puls-enveloppe (bijv. cosinus of hyperboolsecant) te kiezen in plaats van een constante enveloppe, leiden zij een bijbehorende detuningfunctie af die de oorspronkelijke transitiekans behoudt.
3. Experimentele Validatie: De equivalentie van deze tweelingmodellen werd getest op de 127-qubit ibm_kyiv transmon-processor van IBM. Omdat de hardware geen directe tijdsafhankelijke controle over de detuning heeft, hebben de auteurs de vereiste detuningprofielen nagebootst door een tijdsafhankelijke fase toe te passen op de Rabi-frequentie-drive ($\phi(t) = \int \Delta(t) dt$). Zij maten de transitiekanslandschappen voor drie verschillende LMSZ-klasse modellen (constante, cosinus- en hyperboolsecant-Rabi frequenties) en drie AEH-klasse modellen.
4. Demonstratie van Lekonderdrukking: Een numerieke simulatie werd uitgevoerd met een 8-niveau transmon-Hamiltoniaan die is aangepast aan qubit 14 van de ibm_kyiv processor. De auteurs vergeleken de canonieke constante-Rabi LMSZ-puls met zijn "cosinus-Rabi" isoprobabiele tweeling, waarop een DRAG-correctie ($\beta \dot{\Omega}(t)$) werd toegepast.

Belangrijkste Resultaten

• Experimentele Equivalentie: De gemeten transitiekanslandschappen op de kwantumprocessor voor de verschillende isoprobabiele tweelingen waren nagenoeg identiek. De gemiddelde kwadratische fouten (MSE) tussen de experimentele kaarten van de constante-Rabi, cosinus-Rabi en hyperboolsecant-Rabi modellen waren van de orde $10^{-3}$ (bijv. $1,7 \times 10^{-3}$ tussen paren 1 en 4), wat bevestigt dat verschillende pulsvormen dezelfde post-puls populatieoverdracht kunnen produceren.
• Reductie van Lekken: De numerieke simulatie toonde aan dat terwijl de canonieke constante-Rabi LMSZ-puls lekken tot 2,4% accumuleert (gemiddeld 0,53%) vanwege de onmogelijkheid om DRAG toe te passen, de gladde cosinus-Rabi tweeling gecombineerd met DRAG-correctie het lek vermindert tot onder de $1,1 \times 10^{-3}\%$ (gemiddeld $2,8 \times 10^{-4}\%$).
• Onderdrukkingsfactor: Dit vertegenwoordigt een lekonderdrukkingsfactor van ongeveer 2200 (piek) en 1900 (gemiddeld), wat meer dan drie ordes van grootte is, terwijl de transitiekans naar de aangeslagen toestand op $P_1 \approx 0,9998$ blijft.

Betekenis en Claims
Het artikel claimt dat het isoprobabiele kader de keuze van de pulsvorm succesvol ontkoppelt van de keuze van het analytische model. Dit stelt onderzoekers in staat om puls-enveloppes te selecteren die voldoen aan hardwarematige beperkingen (zoals gladheid voor DRAG-compatibiliteit) zonder de exacte analytische transitiekansen van oplosbare modellen zoals LMSZ en AEH op te offeren.

De auteurs benadrukken dat deze aanpak de structurele incompatibiliteit tussen het LMSZ-model en DRAG lekonderdrukking oplost. Door over te schakelen van een constante enveloppe naar een gladde "tweeling" binnen dezelfde isoprobabiele klasse, wordt het model compatibel met standaard afgeleide-gebaseerde correctietools. Het werk valideert dit concept experimenteel op een echte kwantumprocessor en demonstreert het potentieel om de gate-fidelity aanzienlijk te verbeteren door lekken naar niet-computationele toestanden te onderdrukken, een cruciale vereiste voor fouttolerante kwantumcomputers. De methodologie wordt gepresenteerd als toepasbaar op diverse platforms, waaronder Rydberg-atomen, gevangen ionen en NMR/MRI-systemen, waar analytische oplosbaarheid gewenst is maar canonieke pulsvormen onpraktisch zijn.