Stabilization of finite-energy grid states of a quantum harmonic oscillator by reservoir engineering with two dissipation channels

Probleemstelling

Quantum foutcorrectie (QEC) met bosonische codes, zoals de Gottesman-Kitaev-Preskill (GKP) code, belooft de hardware-eisen voor kwantumcomputing drastisch te verlagen door informatie te coderen in de oneindig-dimensionale Hilbertruimte van een enkele harmonische oscillator in plaats van een verzameling qubits. Echter, de bestaande methoden voor het stabiliseren van GKP-toestanden hebben vaak strenge eisen aan hardware en controlecapaciteiten.

De meeste voorgestelde methoden vereisen discrete-tijd controleprotocollen met een hulp-qubit, wat vatbaar is voor fouten die van de hulp naar de gecodeerde qubit worden doorgegeven. Autonome stabilisatie in continue tijd via reservoir-engineering (het koppelen aan een sterk gedempte omgeving) is een veelbelovend alternatief dat de logische levensduur met een orde van grootte kan verbeteren. Eerdere theoretische voorstellen (zoals in referentie [11]) vereisten echter vier dissipatiekanalen en complexe parameterinstellingen, wat experimentele implementatie bemoeilijkt.

Het centrale probleem dat dit paper aanpakt, is het vinden van een vereenvoudigde, experimenteel haalbare dynamiek die GKP-toestanden kan stabiliseren met minder dissipatiekanalen en minder strenge hardware-eisen, zonder de stabiliteit volledig te verliezen.

Methodologie

De auteurs stellen een nieuw Lindblad-mastervergelijking voor die de stabilisatie van GKP-toestanden realiseert met slechts twee dissipatiekanalen in plaats van de gebruikelijke vier.

1. Vereenvoudiging van de Dissipatoren:
   In plaats van vier dissipatoren ($L_1$ tot $L_4$) zoals voorgesteld in eerdere werken, gebruiken ze alleen de eerste twee, maar met een aangepaste parameter $\eta$.

   • De dissipatoren zijn gedefinieerd als:
     $M_1 = \sin(\eta q) + i\epsilon \cos(\eta q)p$
     $M_2 = \sin(\eta p) - i\epsilon \cos(\eta p)q$
   • Voor een GKP-qubit ($d=2$) wordt $\eta = \sqrt{\pi}$ gebruikt (in plaats van $\eta_{\square} = 2\sqrt{\pi}$ in de vier-kanalen versie).
   • Voor een GKP-"qunaught" ($d=1$, voor metrologie) wordt $\eta = \sqrt{\pi/2}$ gebruikt.

2. Intuïtie:
   De auteurs redeneren dat de term $\sin(\theta)=0$ equivalent is aan $\sin(2\theta)=0$ en $\cos(2\theta)=1$ (als perturbaties worden genegeerd). Door $\eta$ te halveren en het aantal kanalen te reduceren, wordt de experimentele complexiteit verminderd.

3. Analytische Benadering:

   • Energiebeperking: Ze leiden a priori schattingen af voor de energie (verwachte waarde van het fotonengetal $N$) van de oplossingen van de Lindblad-vergelijking.
   • Convergentieanalyse: Ze gebruiken de Heisenberg-beweging voor periodieke observabelen om de convergentie naar de code-ruimte te analyseren. Dit wordt gereduceerd tot het bestuderen van de spectrale eigenschappen van een singuliere differentiaaloperator op periodieke functies. Ze bewijzen een gewogen Poincaré-ongelijkheid om de convergentiesnelheid te kwantificeren.
   • Ruisanalyse: Ze introduceren een extra dissipatieterm voor fotonverlies ($\kappa D[a]$) om de robuustheid te testen.

4. Numerieke Simulaties:
   De auteurs voeren simulaties uit (met behulp van JAXQuantum en Dynamiqs) om de stabilisatie te visualiseren en de logische decoherentie te meten in aanwezigheid van fotonverlies.

Belangrijkste Bijdragen

• Vereenvoudigd Protocol: Het introduceren van een dynamiek met slechts twee dissipatoren die toch GKP-toestanden stabiliseert, wat de hardware-complexiteit en de implementatie-eisen (zoals impedantie-eisen in circuitQED) aanzienlijk verlaagt.
• Analytische Energiegrenzen: Het afleiden van expliciete bovengrenzen voor de energie van de systeemtoestanden, wat garandeert dat de oplossingen fysiek realiseerbaar blijven (beperkte energie).
• Convergentiesnelheid: Het kwantificeren van de convergentiesnelheid naar de code-ruimte via spectrale gap-analyse van een gerelateerde differentiaaloperator.
• Metrologische Toepassing: Het tonen aan dat dezelfde dynamiek, met een kleine parameteraanpassing, kan worden gebruikt om GKP-"qunaught"-toestanden te stabiliseren, die waardevol zijn voor kwantummetrologie (meten van modulaire observabelen).

Resultaten

1. Stabilisatie van GKP-toestanden:
   Simulaties tonen aan dat het systeem, startend vanuit de vacuümtoestand, convergeert naar een stabiele GKP-qubit (of qunaught) toestand. De stabiliteit is robuust, zelfs met de vereenvoudigde dynamiek.

2. Invloed van Fotonverlies (Ruis):

   • Zonder stabilisatie convergeert elk systeem exponentieel naar de vacuümtoestand.
   • Met stabilisatie blijft het systeem dicht bij de code-ruimte, maar treedt er decoherentie op binnen de logische ruimte.
   • Schaalvergelijking: De logische decoherentie-snelheid ($\Gamma$) in dit twee-kanalen model volgt een machtwet: $\Gamma(\kappa, \epsilon) \propto \kappa^n / \epsilon^r$ (met $n \approx 0.88, r \approx 0.57$).
   • Dit is kwantitatief slechter dan het vier-kanalen model uit [11], waar de foutkans exponentieel onderdrukt wordt ($\propto e^{-1/\sigma}$). Het twee-kanalen model biedt dus minder bescherming tegen ruis.

3. Metrologie:
   Voor de GKP-qunaught ($d=1$) blijft de fijne periodieke structuur van de steady-state behouden, zelfs bij fotonverlies, hoewel het contrast afneemt. Dit bevestigt de bruikbaarheid voor metrologische toepassingen.

4. Implementatie:
   Het paper bespreekt haalbare platformen zoals circuitQED en vastgevangen ionen. De reductie van het aantal dissipatoren en de aanpassing van $\eta$ maken de implementatie in circuitQED makkelijker (lagere impedantie-eisen) en in vastgevangen ionen mogelijk via Quantum Signal Processing (QSP) zonder fijne afstemming van parameters.

Betekenis en Conclusie

Dit paper biedt een belangrijke stap in de richting van experimenteel realiseerbare GKP-stabilisatie. Hoewel het twee-kanalen model minder robuust is tegen ruis dan het complexere vier-kanalen model (wat resulteert in een snellere logische decoherentie), wint het op het gebied van implementatie-simpelheid.

De auteurs concluderen dat dit vereenvoudigde protocol een aantrekkelijk eerste experimenteel doel is om de nodige technologie voor reservoir-engineering te valideren. De ontwikkelde technieken en hardware-architecturen voor dit model kunnen direct worden overgedragen naar de complexere, maar robuustere, vier-kanalen benadering. Daarnaast opent het de deur voor het stabiliseren van GKP-toestanden voor metrologische doeleinden in een steady-state, wat een nieuwe toepassing voor deze codes is.

Kortom: het paper biedt een pragmatische afweging tussen theoretische optimaliteit (maximale foutonderdrukking) en praktische haalbaarheid (minder hardware-kanalen), wat essentieel is voor de realisatie van schaalbare kwantumfoutcorrectie.