A Variational Surrogate Approach to Finite-Horizon Quantum Control via Hardware-Efficient Ansatz

Technische Samenvatting: Een Variationale Surrogaatbenadering voor Eindige-Horizon Quantumcontrole via een Hardware-Efficiënt Ansatz

Probleemstelling
Het artikel behandelt het eindige-horizon quantumoptimalisatiecontroleprobleem, specifiek de taak om een geslotenend systeem te sturen van een gegeven initiële toestand $|\psi_{in}\rangle$ naar een gewenste doeltoestand $|\psi_{tar}\rangle$ binnen een vaste tijd $T$. Traditionele benaderingen van dit probleem vertrouwen doorgaans op het expliciet parametriseren van tijdafhankelijke controlevelden $u(t)$ en het oplossen van de optimale traject via gradiëntgebaseerde methoden of Pontryagin's Minimum Principe. Echter, deze klassieke methoden kunnen computationeel prohibitief worden voor hoogdimensionale systemen en vereisen vaak gedetailleerde kennis van de drift- en controle-Hamiltonianen van het systeem, wat hun directe compatibiliteit met nabije quantumhardware beperkt.

Methodologie
De auteurs stellen een variationeel quantumframework voor dat het controle-doel herformuleert als een variaal optimalisatieprobleem. In plaats van tijdafhankelijke controlevelden te synthetiseren of Hamiltonian reachability-restricties af te dwingen, behandelt de methode de terminale evolutie-operator als een trainbaar parametriserend quantumcircuit (PQC).

• Surrogaat Parametrisering: De kerninnovatie is het gebruik van een hardware-efficiënt ansatz als surrogaat voor de terminale evolutie. Het circuit $U(\theta)$ brengt de initiële toestand in kaart naar de terminale toestand $|\psi(\theta)\rangle = U(\theta)|\psi_{in}\rangle$.
• Circuitstructuur: Het ansatz bestaat uit alternerende lagen van single-qubit rotaties ($R_z$ en $R_x$) en nearest-neighbor verstrengelingspoorten (CNOT). Deze structuur is ontworpen voor compatibiliteit met huidige Noisy Intermediate-Scale Quantum (NISQ) apparaten, waarbij de noodzaak voor natuurkundig geïnspireerde constructies zoals Trotterized Hamiltonian-evoluties wordt vermeden.
• Optimalisatielus: De controletaak wordt gereduceerd tot het minimaliseren van een terminale kostenfunctie gedefinieerd door de infidelity: $J(\theta) = 1 - |\langle \psi_{tar} | U(\theta) | \psi_{in} \rangle|^2$. Dit wordt opgelost via een hybride quantum-klassieke lus waarbij een klassieke optimizer (SLSQP) de circuitparameters $\theta$ bijwerkt op basis van fidelity-evaluaties uitgevoerd op een quantumsimulator.
• Theoretische Basis: Het artikel stelt vast dat de variationele formulering een globale minimizer toelaat op compacte parameterdomeinen en dat elke unitaire gegenereerd door het ansatz overeenkomt met een geldige eindige-horizon Hamiltonian-evolutie, wat garandeert dat de surrogaat in principe fysiek realiseerbaar is.

Belangrijkste Bijdragen

1. Control-Theoretische Formulering: De auteurs presenteren een variationele formulering van eindige-horizon quantumcontrole die gebruikmaakt van hardware-efficiënte ansätze, waarbij de zoekruimte verschuift van controlefuncties naar circuitparameters.
2. Surrogaat Controlestrategie: Het werk introduceert een hardware-efficiënte surrogaat controleformulering waarbij trainbare circuitparameters expliciete tijdafhankelijke controlevelden vervangen. Dit onderscheidt de benadering van Hamiltonian-geïnspireerde variationele methoden, en biedt een flexibel, implementatievriendelijk alternatief dat geen probleem-specifieke ansätze vereist.
3. Numerieke Investigatie: Het artikel biedt een numerieke analyse van de convergentie, expressiviteit en robuustheid van het framework, waarbij specifiek de trade-offs tussen circuitdiepte, systeemgrootte en optimalisatiecomplexiteit worden onderzocht.

Resultaten
Numerieke experimenten werden uitgevoerd op multi-qubit state-transfer benchmarks (het overbrengen van een enkele excitatie van één uiteinde van een register naar het andere) met behulp van ruisloze state-vector simulators en diverse Azure Quantum backends.

• Systeemgrootte en Convergentie: Voor kleine systemen ($N=3$) bereikte de methode hoge fidelities ($>0.999$) met stabiele convergentie. Naarmate de systeemgrootte toenam ($N=5, 7$), werd optimalisatie uitdagender, met een uiteindelijke fidelity die daalde naar ongeveer respectievelijk $0.996$ en $0.955$, wat de groei van de Hilbertruimte en het ontstaan van barren plateau-fenomenen weerspiegelt.
• Circuitdiepte vs. Expressiviteit: Het verhogen van de circuitdiepte $L$ verbeterde over het algemeen de haalbare fidelity, met name voor grotere systemen ($N=7$), waar diepere circuits ($L \ge 8$) nodig waren om high-fidelity oplossingen te herstellen. Diepere circuits verhoogden echter ook het aantal trainbare parameters en de gevoeligheid voor random initialisatie.
• Robuustheid en Initialisatie: De optimalisatie toonde stabiliteit voor kleine en matige systeemgroottes. Voor grotere systemen ($N=7$) werd de distributie van de oplossingen breder, wat duidt op meerdere lokale minima en een verhoogde gevoeligheid voor initialisatie, consistent met de theoretische verwachtingen voor grootschalige variationele circuits.
• Hardware Compatibiliteit: De geoptimaliseerde circuits werden succesvol uitgevoerd op Azure Quantum simulator backends (IonQ, Rigetti, en Quantinuum H2 emulator). De resultaten toonden aan dat de geoptimaliseerde parameters effectief over platforms worden getransfereerd, waarbij target-state waarschijnlijkheden boven de $0.99$ werden bereikt op ideale simulators en boven de $0.94$ op een ruis-inclusieve emulator.

Betekenis en Claims
Het artikel claimt een flexibele en implementatievriendelijke benadering te bieden voor quantumcontrole die van nature compatibel is met nabije quantumhardware. Door de afhankelijkheid van probleem-specifieke of natuurkundig geïnspireerde ansätze te vermijden, biedt de methode een generiek framework voor eindige-horizon state transfer. De auteurs benadrukken dat hoewel de benadering succesvol een high-fidelity state transfer heeft gedemonstreerd voor kleine- tot matige multi-qubit systemen, het ook de inherente trade-off tussen ansatz expressiviteit en optimalisatiecomplexiteit belicht. Het werk wordt gepresenteerd als een open-loop controleframework; de auteurs merken bescheiden op dat het uitbreiden hiervan naar closed-loop controle met tussenliggende metingen een richting is voor toekomstig onderzoek. De betekenis ligt in het demonstreren dat hardware-efficiënte circuits effectieve variationele surrogaten kunnen dienen voor terminale evolutie, waardoor de noodzaak voor expliciete synthese van controlevelden tijdens de optimalisatiefase wordt omzeild.