Deterministic Generation of Arbitrary Fock States via Resonant Subspace Engineering

Probleemstelling

De deterministische voorbereiding van Fock-toestanden (fotonengetal-toestanden) met hoge excitatie is een centrale uitdaging in de bosonische kwantuminformatie. De complexiteit van de controle explodeert doorgaans naarmate de dimensie van de Hilbertruimte groeit. Bestaande methoden hebben twee grote beperkingen:

1. Meetgebaseerde schema's: Deze hebben een exponentieel afnemende succeskans naarmate het aantal fotonen toeneemt.
2. Deterministische protocollen: Deze vereisen een kwantumbesturing die exponentieel complex wordt in de uitdijende Hilbertruimte. Zelfs recente benaderingen die de complexiteit op Hamilton-niveau proberen te verminderen, missen een systematisch mechanisme om de controlecomplexiteit op het niveau van de Hilbertruimte te reduceren, terwijl ze tegelijkertijd analytische oplosbaarheid, hoge efficiëntie en experimentele haalbaarheid garanderen. Het voorbereiden van specifieke superposities met grote fotonengetallen (bijv. $n > 70$) vereist vaak zware numerieke optimalisatie met hoge experimentele overhead.

Methodologie: Resonant Subspace Engineering (RSE)

De auteurs introduceren een nieuw protocol genaamd Resonant Subspace Engineering (RSE). In plaats van alle mogelijke overgangspaden in een oneindig-dimensionale ruimte te engineeren, reduceert RSE de dynamica tot een twee-dimensionale invariantie-ruimte die wordt opgespannen door de initiële coherentetoestand $|\alpha\rangle$ en de doeltoestand $|\psi\rangle$ (bijv. een Fock-toestand $|n\rangle$).

De kernprincipes zijn:

1. Vergeneraliseerde Oracle Unitaries (GOO's): Het protocol maakt gebruik van twee soorten operaties die fasen implanteren op specifieke toestanden:

   • $O(|\alpha\rangle, \phi_0) = e^{-i\phi_0}|\alpha\rangle\langle\alpha|$ (op de referentietoestand).
   • $O(|\psi\rangle, \phi_1) = e^{-i\phi_1}|\psi\rangle\langle\psi|$ (op de doeltoestand).
   • In circuit-QED-systemen worden deze gerealiseerd via verplaatsingspulsen (displacement) en Selective Number-dependent Arbitrary Phase (SNAP) poorten, die fasen kunnen toekennen aan specifieke Fock-componenten.

2. Effectieve Hamiltoniaan: Door deze GOO's afwisselend toe te passen (gebaseerd op de Trotter-Suzuki-decompositie), ontstaat een effectieve Hamiltoniaan:
   $$H \propto \phi_1 |\psi\rangle\langle\psi| + \phi_0 |\alpha\rangle\langle\alpha|$$
   Deze Hamiltoniaan werkt non-triviaal alleen binnen de 2D-ruimte $S = \text{span}\{|\psi\rangle, |\alpha\rangle\}$, terwijl de rest van de oneindig-dimensionale ruimte "donker" blijft.

3. Voorwaarden voor Resonantie: Om een efficiënte overdracht te garanderen die volgt op een geodetische lijn op een synthetische Bloch-sfeer, moeten twee voorwaarden worden vervuld:

   • Resonantievoorwaarde: De diagonale elementen van de Hamiltoniaan in de 2D-basis moeten gelijk zijn ($H_{11} = H_{22}$), wat de detuning elimineert en een zuivere transversale koppeling overlaat.
   • Fase-matching voorwaarde: De fase van de koppeling ($H_{12}$) moet overeenkomen met de relatieve fase tussen de toestanden, zodat de rotatie de initiële toestand precies naar de doeltoestand stuurt.

4. Discretisatie: De continue evolutie wordt omgezet in een discrete reeks van verplaatsings- en SNAP-poorten, wat experimenteel uitvoerbaar is.

Belangrijkste Bijdragen

• Analytische Reductie: Het bewijzen dat de dynamica van een oneindig-dimensionale bosonische mode exact kan worden gereduceerd tot een 2D-probleem (of een $(K+1)$-dimensionaal probleem voor superposities), ongeacht het aantal fotonen.
• Schalingsverbetering: Voor het genereren van een enkele Fock-toestand $|n\rangle$ schalen zowel de evolutietijd als de diepte van de schakeling (gate depth) als $O(n^{1/4})$. Dit is een fundamentele verbetering ten opzichte van bestaande deterministische schema's.
• Generalisatie naar Superposities: Het protocol is uitbreidbaar naar superposities van $K$ componenten via een $(K+1)$-dimensionale invariantie-ruimte met volledige $SU(K+1)$ controleerbaarheid.
• Experimentele Haalbaarheid: Het protocol vereist alleen standaard operaties in circuit-QED (verplaatsing en SNAP), zonder complexe numerieke optimalisatie voor elke nieuwe doeltoestand.

Resultaten

De auteurs hebben het protocol numeriek gesimuleerd en de volgende resultaten behaald:

• Enkele Fock-toestanden: Voor het genereren van $|n=100\rangle$ vanuit een coherentetoestand ($\alpha = \sqrt{100}$) wordt een hoge fideliteit bereikt met een evolutietijd die voldoet aan de $O(n^{1/4})$ schaling.
• Discrete Iteraties: Zelfs met een gediscretiseerde benadering (iteraties van GOO's) is het zeer efficiënt. Voor $|n=100\rangle$ zijn slechts 4 iteraties nodig, en voor $|n=380\rangle$ slechts 5 iteraties.
• Superposities: Het genereren van complexe superposities (bijv. $|\phi_1\rangle = \sqrt{0.3}|70\rangle + \sqrt{0.7}|100\rangle$) vereist slechts 3 tot 5 iteraties voor toestanden met fotonengetallen tussen 70 en 100.
• Robuustheid: Simulaties tonen aan dat afwijkingen van de resonantievoorwaarde (bijv. $H_{11} \neq H_{22}$) leiden tot een snellere oscillatie en een falen om hoge fideliteit te bereiken, wat de noodzaak van de afgeleide voorwaarden onderstreept.

Betekenis en Toekomstperspectief

Dit werk biedt een schaalbaar en analytisch transparant raamwerk voor de engineering van grote bosonische toestanden. De implicaties zijn breed:

1. Foutcorrectie: Het maakt deterministische logica-poorten mogelijk voor bosonische foutcorrectiecodes (zoals kat-codes) zonder herhaalde numerieke optimalisatie bij het veranderen van parameters.
2. Multimode Systemen: De methode kan worden uitgebreid naar multimode architecturen (bijv. meerdere resonatoren gekoppeld aan één qubit), wat de deterministische productie van verstrengelde multimode toestanden (zoals NOON-toestanden) mogelijk maakt.
3. Kwantumvoordeel: Het opent de weg naar het demonstreren van kwantumvoordeel in de regime van hoge excitatie en het verkennen van nieuwe kwantumverschijnselen bij hoge energieniveaus.

Samenvattend transformeert RSE het probleem van het besturen van een oneindig-dimensionale ruimte naar een beheersbaar, analytisch oplosbaar 2D-rotatieprobleem, waardoor de barrière voor het genereren van grote, niet-Gaussische kwantumtoestanden wordt verlaagd.