⚛️ quantum physics

Iterative Linear Quadratic Regulator for Quantum Optimal Control

Dit artikel past de Iterative Linear Quadratic Regulator (ILQR) aan voor optimalisatie van quantum-gates door beperkingen op controles en hun afgeleiden te integreren om vloeiendere, hoog-getrouwe pulssequenties te genereren voor X- en cross-resonantie-gates op transmon-qubits.

Oorspronkelijke auteurs: Dirk Heimann, Felix Wiebe, Tahereh Abad, Elie Mounzer, Tangyou Huang, Frank Kirchner, Shivesh Kumar

Gepubliceerd 2026-08-10

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Dirk Heimann, Felix Wiebe, Tahereh Abad, Elie Mounzer, Tangyou Huang, Frank Kirchner, Shivesh Kumar

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een piepkleine, onzichtbare danser probeert te leren hoe hij een perfecte pirouette moet uitvoeren. Deze danser is niet gemaakt van vlees en botten, maar van pure energie en waarschijnlijkheid, levend in een wereld waar de regels van de fysica even glad zijn als een zeepstuk in een badkuip. Dit is de wereld van quantumcomputing. In dit rijk worden "dansers" qubits genoemd, en de "pirouettes" zijn logische poorten—de fundamentele instructies die een computer laten nadenken. Maar hier komt de crux: deze dansers zijn ongelooflijk gevoelig. Als je ze te hard, te snel of met het verkeerde ritme duwt, struikelen ze, verliezen ze hun evenwicht en verandert de hele uitvoering in een chaotische bende. Dit is waarom wetenschappers behoefte hebben aan "Quantum Optimal Control". Het is de kunst van het ontwerpen van de perfecte sequentie van onzichtbare duwtjes (genaamd pulsen) om deze qubits precies te begeleiden waar ze moeten zijn, zonder dat ze struikelen. Het doel is om deze bewegingen zo precies en betrouwbaar te maken dat we computers kunnen bouwen die in staat zijn problemen op te lossen die de huidige supercomputers duizenden jaren zouden kosten.

Ontmoet dan het team van onderzoekers uit Duitsland en Zweden die besloten een nieuwe dansinstructeur te proberen voor deze quantumdansers. Ze namen een methode genaamd de "Iterative Linear Quadratic Regulator" (of iLQR), die al een superster is in de wereld van de robotica voor het leren aan complexe machines hoe ze moeten lopen of vliegen, en leerden deze methode hoe ze quantumpoorten kunnen choreograferen. In plaats van alleen maar gokken en controleren, behandelt hun nieuwe aanpak het probleem als een spelletje "warm en koud" dat achterstevoren wordt gespeeld. Het begint bij de finishlijn, bepaalt wat de perfecte zet had moeten zijn om daar te landen, en werkt vervolgens stap voor stap terug om de controles aan te passen. Maar ze hebben de robotmethode niet simpelweg gekopieerd; ze hebben het aangepast om de "dansbewegingen" vloeiender te maken. In de echte wereld kunnen de machines die deze pulsen genereren (genaamd Arbitrary Waveform Generators) geen plotselinge, schokkerige veranderingen in snelheid aan. Daarom voegden de onderzoekers een regel toe die abrupte sprongen bestraft, waardoor het algoritme gedwongen wordt een pad te vinden dat stroomt als een rivier in plaats van stort als een waterval.

Wat ze in hun simulaties vonden, is zeer veelbelovend. Door deze nieuwe, vloeiendere versie van iLQR te gebruiken, waren ze in staat om pulssequenties voor één-qubit en twee-qubit poorten te ontwerpen die ongelooflijk nauwkeurig zijn. Voor een enkele qubit die een "X-gate" uitvoert (een basisomdraaiing), bereikten ze een niveau van precisie waarbij de fout zo klein was dat deze bijna onzichtbaar was—slechts ongeveer 4 fouten in een miljard pogingen. Voor een complexere twee-qubit "cross-resonance" gate, die twee dansers aan elkaar koppelt, vonden ze ook oplossingen met een hoge getrouwheid, hoewel de foutmarge iets hoger was, op ongeveer 6 fouten in 100.000 pogingen. Het beste deel? Ze hadden de "juiste" oplossing niet vooraf nodig te weten. In tegen tegenstelling tot andere methoden, die vaak vastlopen als je ze geen goed startpunt geeft, lijkt deze nieuwe methode de perfecte weg te vinden, zelfs wanneer ze begint met willekeurige, rommelige bewegingen.

Er is echter een "maar" aan dit verhaal. Deze resultaten zijn momenteel slechts simulaties—digitale repetities op een computer, geen optreden op een echte quantummachine. De onderzoekers geven toe dat de pulsen die ze hebben gevonden nog wat lang zijn, en tot wel 240 nanoseconden in beslag nemen, wat als een slow-motion dans is vergeleken met wat mogelijk zou kunnen zijn. Ze merkten ook op dat hoewel hun methode zeer vloeiende, zachte pulsen produceert die vriendelijk zijn voor de hardware, andere bestaande methoden (zoals L-BFGS-B GRAPE) soms zelfs nauwkeurigere oplossingen kunnen vinden als je ze een zeer specifiek, goed gekozen startpunt geeft. Maar als je het perfecte startpunt niet weet, is deze nieuwe iLQR-methode als een betrouwbare coach die de routine vanuit het niets kan uitwerken.

Het werk van het team suggereert dat deze "robotica-stijl" aanpak een krachtig nieuw instrument kan zijn voor de toekomst van quantumcomputing. Ze lieten zien dat door het controleprobleem te behandelen als een trajectoptimalisatie-taak en de randen af te vlakken, ze heel dicht bij de perfecte gate kunnen komen zonder eerst een kristallen bol nodig te hebben om de oplossing te zien. Hoewel ze nog niet alle problemen hebben opgelost—echte hardware is rommelig en vol verrassingen die simulaties niet altijd kunnen voorspellen—hebben ze een nieuwe deur geopend. Hun volgende stap is om deze digitale choreografie te testen op echte quantumchips, in de hoop te zien of de dansers in de echte wereld net zo mooi kunnen presteren als ze dat deden in de simulatie.

Technische Samenvatting: Iteratieve Lineaire Kwadratische Regelaar voor Kwantum Optimale Controle

Probleemstelling
Kwantum optimale controle (QOC) streeft naar het ontwerpen van precieze externe veldpulssequenties om hoge-fideliteit gate-operaties op kwantumsystemen te bereiken, specifiek met als doel fideliteiten onder de foutcorrectiedrempel te realiseren. Hoewel gevestigde methoden zoals GRAPE (Gradient Ascent Pulse Engineering) en de Krotov-methode breed worden gebruikt, vertrouwen ze vaak op specifieke initialisatiestrategieën of hebben ze beperkingen met betrekking tot convergentiegaranties en het afhandelen van complexe restricties. De auteurs identificeren een gat in het toepassen van de Iteratieve Lineaire Kwadratische Regelaar (iLQR) — een state-of-the-art trajectoptimalisatiemethode uit de robotica — op het domein van kwantum gate-synthese. De uitdaging ligt in het aanpassen van iLQR aan de niet-lineaire dynamica van kwantumsystemen (geregeerd door de Schrödinger-vergelijking) terwijl hardware-specifieke restricties worden geïntegreerd, zoals vloeiende envelopvormen en randvoorwaarden van nul die vereist zijn voor Arbitrary Waveform Generators (AWG's).

Methodologie
Het artikel stelt een adaptatie van het iLQR-algoritme voor kwantum gate-optimalisatie voor, specifiek gericht op vaste-frequentie transmon-qubits. De methodologie omvat verschillende belangrijke technische componenten:

Isomorfe Representatie: Om de complex-waardige unitaire matrices van kwantumevolutie te verwerken, vectoriseren de auteurs de toestandsruimte. Complex-waardige matrices $U \in \mathbb{C}^{d \times d}$ worden in kaart gebracht naar reële vectoren en matrices van dimensie $2d^2$ , waardoor het gebruik van standaard reële optimalisatietechnieken mogelijk wordt.
Padé-benadering: In plaats van exacte matrix-exponenten te berekenen (wat computationeel duur kan zijn voor systemen met hogere niveaus), maken de auteurs gebruik van een Padé-benadering (specifiek een achtste-orde machtreeks) om de matrix-exponent $\exp(-iH(u_k)\Delta t)$ te benaderen die nodig is voor de voorwaartse propagatie.
iLQR Formulering: Het QOC-probleem wordt geformuleerd als een trajectoptimalisatieprobleem waarbij een kostenfunctionaal $J$ wordt geminimaliseerd, bestaande uit een lopende kostenfunctie en een eindkostenfunctie. Het algoritme maakt gebruik van een achterwaartse pass om de afgeleiden van de waardefunctie en feedback-gains ( $\kappa_k, K_k$ ) te berekenen met behulp van een Gauss-Newton-benadering (waarbij tweede-orde afgeleiden van de dynamica worden genegeerd), gevolgd door een voorwaartse pass om de controle-trajectorie bij te werken. Levenberg-Marquardt regularisatie wordt gebruikt om de inverseerbaarheid van de Hessiaan-benadering te waarborgen.
Vloeiende Controle-restricties: Om hardwarebeperkingen aan te pakken waarbij abrupte amplitudeveranderingen ongewenst zijn, modificeren de auteurs de controle-variabelen. In plaats van de puls-amplitudes $u_k$ direct te optimaliseren, optimaliseren zij de afgeleiden van de puls-enveloppes ( $\dot{u}_k$ ). De werkelijke controles worden bijgewerkt via $u_{k+1} = u_k + \dot{u}_k \Delta t$ . Deze formulering stelt de kostenfunctie in staat om de veranderingssnelheid, de puls-amplitudes en de eindwaarden te bestraffen, wat ervoor zorgt dat pulsen met nul beginnen en eindigen.
Systeemmodellen: De methode wordt getest op:
- Eén-qubit systemen: Gemodelleerd als Duffing-oscillatoren met twee en drie energieniveaus.
- Twee-qubit systemen: Gemodelleerd als gekoppelde transmons in het dispersieve regime met behulp van een effectieve Hamiltoniaan afgeleid via de Schrieffer-Wolf transformatie. Zowel twee-niveau als drie-niveau modellen zijn gesimuleerd.

Belangrijkste Bijdragen

Algoritme Adaptatie: De succesvolle aanpassing van iLQR aan kwantum gate-optimalisatie, wat een verbinding legt tussen robotica trajectoptimalisatie en QOC.
Vloeiende Puls Synthese: De introductie van een afgeleide-gebaseerde controle-formulering die inherent vloeiende puls-vormen en nul-randvoorwaarden afdwingt zonder dat complexe ongelijkheidsrestricties nodig zijn.
Uitgebreide Simulatie: Hoge-fideliteit simulatieresultaten voor $X$ -gates (single-qubit) en Cross-Resonance (CR) gates (two-qubit) op vaste-frequentie transmons, rekening houdend met zowel twee-niveau als drie-niveau (leakage) modellen.
Vergelijkende Analyse: Een directe vergelijking met L-BFGS-B GRAPE, waarbij verschillen in convergentiegedrag en gevoeligheid voor initiële puls-vormen worden belicht.

Resultaten
De auteurs simuleerden gate-synthese met parameters van de IBM Eagle processor (ibm_brisbane):

Eén-Qubit (2-Level): Voor de $X$ -gate bereikte de iLQR-methode met afgeleide-controles een infidelity van $4.0 \times 10^{-9}$ met vloeiende, parabool-achtige puls-vormen. Dit werd vergeleken met een L-BFGS-B GRAPE oplossing met een infidelity van $1.9 \times 10^{-13}$ met een Gaussische initiële gok.
Eén-Qubit (3-Level): Inclusief leakage naar de $|2\rangle$ staat, bereikte iLQR een infidelity van $2.1 \times 10^{-7}$ . De resulterende pulsen vertoonden van nature kenmerken die vergelijkbaar zijn met de DRAG (Derivative Removal by Adiabatic Gate) procedure, waarbij de off-phase kwadratuur proportioneel is aan de afgeleide van de in-phase kwadratuur.
Twee-Qubit (2-Level): Voor de Cross-Resonance gate (240 ns duur) bereikte iLQR een infidelity van $1.1 \times 10^{-8}$ .
Twee-Qubit (3-Level): Met leakage in overweging genomen, was de infidelity $5.9 \times 10^{-5}$ .
Hyperparameter Gevoeligheid: De studie vond dat het ontwerp van de kwadratische kostenmatrices ( $Q_f, R_d, R_c, R_f$ ) een grotere impact had op de uiteindelijke fideliteit en vloeiendheid dan de initiële puls-vormen.

Betekenis en Claims
Het artikel claimt dat iLQR een robuust alternatief biedt voor bestaande QOC-methoden, met name voor scenario's waarin geen analytische oplossing a priori bekend is.

Onafhankelijkheid van Initialisatie: In tegen tegenstelling tot L-BFGS-B GRAPE, dat de neiging heeft om oplossingen te produceren die dicht bij de initiële puls-vorm blijven (bijv. Gaussisch), vindt de iLQR-aanpak vloeiende, hoge-fideliteit oplossingen ongeacht de willekeurige initialisatie, mits de kostenfunctie goed is afgestemd.
Hardware Compatibiliteit: Door afgeleiden te optimaliseren, produceert de methode van nature pulsen die de AWG-restricties respecteren (vloeiendheid, start/einde op nul), wat cruciaal is voor experimentele implementatie.
Toekomstige Richtingen: De auteurs merken bescheiden op dat hoewel de huidige gates een hoge fideliteit hebben, ze relatief lang zijn (bijv. 240 ns). Toekomstig werk beoogt kortere pulsen te optimaliseren met behulp van tijd-afhankelijke kostenfuncties en om hardware-feedback te integreren om modelonnauwkeurigheden te mitigeren die inherent zijn aan supergeleidende systemen. De methode wordt gepresenteerd als toepasbaar op diverse supergeleidende architecturen, inclusief die met instelbare transmons.

Technische Samenvatting: Iteratieve Lineaire Kwadratische Regelaar voor Kwantum Optimale Controle

Meer zoals dit