Ground State Energy via Adiabatic Evolution and Phase Measurement for a Molecular Hamiltonian on an Ion-Trap Quantum Computer

Technische Samenvatting: Grondtoestandsenergie via Adiabatische Evolutie en Fase-meting voor een Moleculair Hamiltoniaan op een Ion-Trap Kwantumcomputer

Probleemstelling
Het nauwkeurig schatten van de grondtoestandsenergieën (GSEs) van moleculen is een primaire toepassing voor kwantumcomputing, maar de praktische realisatie wordt gehinderd door de moeilijkheid van het voorbereiden van nauwkeurige kwantumtoestanden, het schatten van observabelen met hoge precisie en het mitigeren van hardwareruis. Klassieke methoden zoals Hartree–Fock (HF) of coupled cluster falen vaak in het vastleggen van essentiële elektroncorrelatie-effecten in sterk gecorreleerde systemen, terwijl meer geavanceerde klassieke methoden exponentieel schalen. Kwantumalgoritmen, specifweg Adiabatische Toestandsvoorbereiding (ASP) gecombineerd met Kwantum Fase-estimatie (QPE), bieden een systematische verbetering, maar kampen met uitdagingen met betrekking tot parameteroptimalisatie, barren plateaus en de hoge circuitdiepte die vereist is voor gecontroleerde-$U^{2^k}$-operaties. Bov�elijk is het onderscheid tussen fouten die gemitigeerd kunnen worden via software en fouten die reductie op hardwareniveau vereisen, cruciaal voor de vooruitgang in dit veld.

Methodologie
De auteurs hebben een puur kwantum, ab initio protocol geïmplementeerd op Quantenium's H1-1 ion-trap kwantumcomputer om de GSE van het $H_3^+$-molecuul (gecodeerd op zes qubits) te schatten. De workflow bestaat uit drie hoofdcomponenten:

1. Adiabatische Toestandsvoorbereiding (ASP): In plaats van de standaard Trotter-Suzuki decompositie, die discretisatiefouten introduceert, gebruikten de auteurs het TETRIS-algoritme (Time Evolution Through Random Independent Sampling). Deze methode genereert gerandomiseerde unitaries die, gemiddeld genomen, de tijdsevolutie-operator exact reproduceren zonder discretisatiefout. Het systeem evolueert van de grondtoestand van een eenvoudige start-Hamiltoniaan ($H_Z$) naar de doel-moleculaire Hamiltoniaan ($H$). Om de efficiëntie te verbeteren, hebben de auteurs de interactienorm ($\mu_I$) van de Hamiltoniaan geoptimaliseerd door termen van behouden grootheden (deeltjesaantal-operatoren) toe te voegen en klassieke pre-processing technieken toegepast, waaronder parity-gebaseerde en bezettingsgetal-gebaseerde operator-reducties om de circuitdiepte te verkorten.
2. Energie-estimatie: De auteurs maakten gebruik van een tegen ruis bestendige variant van Iteratieve Kwantum Fase-estimatie (iQPE). In plaats van direct de verwachtingswaarden te samplen, meet het algoritme het imaginaire deel van de overlap $\rho(s) = \text{Im} \langle \psi(T) | e^{is(E_{\text{trial}} - H)} | \psi(T) \rangle$ met behulp van een Hadamard-test. Door twee trial-energieën ($E_{\text{trial}}^\pm$) te kiezen en $\rho(s)$ te meten bij een vaste centrale tijd $s$, wordt de GSE geëxtraheerd via een arctangens-formule. Deze aanpak maakt gebruik van amplitude-informatie en is robuust tegen depolariserende ruis.
3. Foutmitigatie en Post-processing: Het experiment maakte gebruik van twee klassieke post-selectie technieken:
   • Parity Post-selectie: Het verwerpen van meetresultaten waarbij de totale parity van de fysieke qubits afweek van de verwachte sector, wat duidt op lekkage of fouten.
   • Hartree-Fock (HF) Projectie: Het instellen van de ancilla-verwachtingswaarde op nul voor shots waarbij de niet-ancilla qubits niet terugkeerden naar de initiële HF-toestand, gebaseerd op de theoretische verwachting dat dergelijke bijdragen in een ruisloze setting naar nul zouden middelen.

Belangrijkste Resultaten

• Energie-estimatie: Het experiment leverde een uiteindelijke energie-schatting op met een afwijking van $-25,5 \pm 5,3$ mHa van de exacte GSE. Dit vertegenwoordigt een verbetering ten opzichte van de klassieke Hartree-Fock schatting, die een afwijking van $52,8$ mHa vertoonde. Het kwantumresultaat is statistisch onderscheidbaar van de HF-energie door meer dan 5 standaarddeviaties.
• Ruisanalyse: De auteurs voerden uitgebreide klassieke simulaties uit om de impact van verschillende ruisbronnen te isoleren:
  • Coherente en Incoherente Ruis: Simulaties die realistische rates van coherente (bijv. $Z$-rotaties) en incoherente (depolariserende) fouten incorporeerden, voorspelden energie-afwijkingen dicht bij chemische accuratesse (binnen $\sim 2$ mHa). Dit suggereert dat het algoritme resistent is tegen deze standaard typen ruis.
  • Lekkagefouten: Wanneer lekkagefouten (transities uit de computationele subspace) in simulaties werden geïntroduceerd, ontstond er een significante systematische bias. De omvang van de bias in de simulaties kwam overeen met de experimentele afwijking ($\approx -25,5$ mHa) wanneer de lekkagerates werden meegenomen.
• Lekkage-signaturen: Analyse van de meetstatistieken onthulde een sterke bias naar het meten van de $|1\rangle$ toestand voor zowel de fysieke als de ancilla qubits in de hardware-data vergeleken met de ruisloze simulaties. Deze onbalans is consistent met lekkage-events, waarbij specifiek opgemerkt wordt dat de ancilla qubit, die disproportioneel veel shuttling en gating ondergaat, zeer gevoelig is voor lekkage.

Betekenis en Claims
Het artikel demonstreert een praktische, schaalbare kwantumalgoritme voor grondtoestandsenergie-estimatie dat niet vertrouwt op het verplaatsen van niet-schaalbare taken naar klassieke computers. De primaire bijdrage is de identificatie van lekkagefouten als de dominante hindernis voor het bereiken van chemische accuratesse in huidige ion-trap hardware, in plaats van coherente of incoherente ruis.

De auteurs beweren dat, bij afwezigheid van lekkagefouten, hun experimentele instellingen en het ruisbestendige iQPE-protocol een resultaat dicht bij chemische accuratesse (binnen een factor twee) zouden hebben bereikt, zelfs met shot noise inbegrepen. Bijgevolg benadrukt het werk dat toekomstige vooruitgang in kwantumchemische toepassingen op ion-trap apparaten kritiek afhangt van het richten op lekkage-suppressie door middel van verbeterd hardwareontwerp (bijv. lekkage-detectiecodes voor ancilla qubits) en algoritmische aanpassingen, in plaats van enkel te focussen op het verminderen van standaard gate-infidelities.