CDJ-Pontryagin Optimal Control for General Continuously Monitored Quantum Systems

Titel: CDJ-Pontryagin Optimal Control voor Algemeen Continu Gemonitorde Kwantumsystemen

Auteurs: Tathagata Karmakar en Andrew N. Jordan
Publicatie: Quantum (geaccepteerd 2026)

---

1. Probleemstelling

Kwantumhardware van de korte termijn vereist hoogwaardige methoden voor het voorbereiden en stabiliseren van kwantumtoestanden, bijvoorbeeld voor foutcorrectiecodes en kwantumalgoritmen. Een veelbelovende aanpak is "dissipatie-engineering", waarbij een zorgvuldig ontworpen interactie tussen systeem en omgeving wordt gebruikt als resource.

Het centrale probleem is het vinden van optimale controleprotocollen voor systemen die continu worden gemonitord (continu kwantummeting).

• Bestaande beperkingen: De bestaande Chantasri-Dressel-Jordan (CDJ) formalisme, dat gebaseerd is op een stochastisch padintegraal, is succesvol geweest voor systemen met een paar qubits of kwantumharmonische oscillatoren in Gaussische toestanden. Dit formalisme vereist echter een expliciete parametrisatie van de toestandsvariabelen (bijv. Bloch-variabelen voor qubits). Dit vormt een ernstige beperking voor veel-deeltjessystemen of systemen in niet-Gaussische toestanden, waar de dimensie te groot is voor een dergelijke parametrisatie.
• Doel: Het generaliseren van de CDJ-aanpak naar willekeurige continu gemonitorde systemen (inclusief niet-Gaussische toestanden) en het afleiden van algemene voorwaarden voor optimale controleprotocollen, zonder afhankelijk te zijn van een specifieke parametrisatie van de toestandsruimte.

2. Methodologie

De auteurs introduceren een nieuwe theoretische raamwerking die de CDJ-stochastische padintegraal combineert met het Pontryagin Maximum Principe (PMP) uit de klassieke optimalisatietheorie.

• Invoering van de Costate-operator: In plaats van te werken met een eindige set van coördinaten, introduceren de auteurs een costate-operator ($\hat{\sigma}$). Deze operator fungeert als een Lagrange-multiplicator die de evolutie van het systeem onder controle beperkt.
• Stochastische Hamiltoniaan: Ze construeren een stochastische Hamiltoniaan $H(\hat{\sigma}, \hat{\rho}, r)$ die afhangt van de dichtheidsmatrix ($\hat{\rho}$), de costate-operator ($\hat{\sigma}$) en de meetuitkomsten ($r$).
• Afleiding van de CDJ-pad: Ze tonen aan dat de "meest waarschijnlijke paden" (Most Likely Paths - MLP) uit het CDJ-formalisme een speciaal geval zijn van het algemene Pontryagin Maximum Principe, wanneer de kostenfunctie overeenkomt met de logaritmische waarschijnlijkheid van de meetuitkomsten.
• Vergelijkingen voor Optimale Pad: Voor een algemeen systeem leiden ze gekoppelde differentiaalvergelijkingen af voor de evolutie van de staat $\hat{\rho}$ en de costate $\hat{\sigma}$:
  • $\partial_t \hat{\rho} = \hat{F}(\hat{\rho}, r^*)$ (Stochastische meestervergelijking met optimale ruis)
  • $\partial_t \hat{\sigma} = -\hat{F}^\dagger(\hat{\sigma}, r^*)$ (Tijd-omgekeerde evolutie, met aanpassingen voor niet-lineaire dynamica)
  • Hierbij is $r^*$ de optimale meetuitkomst die de Hamiltoniaan maximaliseert.
• Toepassing op Harmonische Oscillator: Ze passen deze theorie toe op een kwantumharmonische oscillator met een parametrische kwadratische potentiaal (controleparameter $\lambda_1$) en variabele quadratuurmetingen (controleparameter $\theta$).
  • Door gebruik te maken van symmetrieën en momenten van de operatoren, reduceren ze de evolutie van de costate-operator tot een set van 10 scalaire vergelijkingen ($\Gamma$ en $\kappa$ termen), wat de numerieke simulatie aanzienlijk versnelt.
  • Ze analyseren analytisch de optimale controlewaarden en vinden dat de optimale potentiaalsterkte een "bang-bang" vorm heeft (schakelt tussen de maximale en minimale waarden).

3. Belangrijkste Bijdragen

1. Generalisatie van CDJ: De eerste algemene formulering van het CDJ-formalisme voor willekeurige kwantumsystemen (niet beperkt tot Gaussische toestanden) door middel van een costate-operator.
2. Verbinding met PMP: Het aantonen dat het CDJ-formalisme een speciaal geval is van het Pontryagin Maximum Principe voor kwantumsystemen. Dit biedt een systematische methode om optimale controle te vinden voor niet-lineaire, stochastische dynamica.
3. Analytische Oplossing voor Bang-Bang: Het analytisch bewijzen dat de optimale parametrische potentiaal voor een gemonitorde oscillator een "bang-bang" structuur heeft, wat betekent dat de controle altijd op de rand van het toegestane bereik werkt.
4. Dimensionaliteitsreductie: Voor de specifieke case van een oscillator met kwadratische controle, tonen ze aan dat het probleem kan worden gereduceerd tot het integreren van 10 scalaire variabelen in plaats van volledige operatoren, wat numeriek zeer efficiënt is.

4. Resultaten en Simulaties

De auteurs testen hun theorie op drie specifieke voorbeelden relevant voor Bosonische kwantumcomputing:

1. Voorbereiding van een Binomiale Code: Transformatie van een foutwoord ($|0\rangle - |4\rangle$) naar een logisch codewoord ($|0\rangle + |4\rangle$).
2. Koeling naar Grondtoestand: Afkoeling van een "even cat state" naar de grondtoestand $|0\rangle$.
3. Cat State naar Cat State Evolutie: Overgang tussen twee verschillende cat states.

Vergelijking: Voor elk voorbeeld genereren ze 10.000 stochastische trajecten onder zowel de optimale controle (afgeleid via PMP) als een steekproefcontrole (een willekeurig gekozen controle die wel het doel bereikt, maar niet geoptimaliseerd is).

Kernbevindingen:

• De optimale controle leidt tot een significante toename in het aantal trajecten dat een hoge fideliteit (>95%) bereikt ten opzichte van de doeltoestand.
• De toename varieert tussen 40% en 196% afhankelijk van het specifieke voorbeeld, vergeleken met de steekproefcontrole.
• Hoewel de optimalisatie is uitgevoerd onder de aanname van vaste eindpunten (fixed-endpoint), blijkt dat deze protocollen ook zeer effectief zijn voor het bereiken van de doeltoestand in een stochastische omgeving zonder expliciete feedback op de meetuitkomsten tijdens de simulatie.

5. Betekenis en Toekomstperspectief

• Systematische Aanpak: Dit werk biedt een systematische receptuur voor het vinden van optimale controle voor continu gemonitorde systemen, wat een belangrijke stap is voor robuuste kwantumfoutcorrectie en toestandsvoorbereiding.
• Toepasbaarheid: Hoewel de voorbeelden beperkt zijn tot een oscillator, is de onderliggende theorie (costate-operator en PMP) van toepassing op veel-deeltjessystemen, niet-Gaussische toestanden en systemen met feedback.
• Beperkingen en Uitdagingen:
  • De huidige simulaties bereiken fideliteiten rond de 95-97%. Voor perfecte kwantumfoutcorrectie zijn fideliteiten >99% vereist. De auteurs suggereren dat het introduceren van anharmonische potentialen (bijv. kubische termen) nodig is om dit te bereiken.
  • Het Pontryagin Maximum Principe levert noodzakelijke, maar niet altijd voldoende voorwaarden voor optimaliteit. Er kunnen meerdere lokale optima bestaan.
  • De huidige analyse is Markoviaans; uitbreiding naar niet-Markoviaanse dynamica is een interessante toekomstige richting.

Conclusie:
Dit artikel markeert een doorbraak in de theorie van kwantumoptimalisatie voor open systemen. Door de CDJ-methode te koppelen aan het Pontryagin Maximum Principe en een costate-operator in te voeren, overwinnen de auteurs de beperkingen van eerdere methoden die afhankelijk waren van Gaussische benaderingen. De resultaten tonen aan dat deze theoretisch afgeleide protocollen aanzienlijk beter presteren dan standaard benaderingen, wat cruciaal is voor de realisatie van schaalbare en fouttolerante kwantumcomputers.