Exact Fock-State Preparation with $n^{1/4}$ Circuit Depth

Technische Samenvatting: Exacte Fock-toestandvoorbereiding met $n^{1/4}$ Circuitdiepte

Probleemstelling
De voorbereiding van grote Fock-toestanden (hoge fotonaantal-toestanden $|n\rangle$) in bosonische systemen is een kritieke flessenhals voor het opschalen van kwantumtechnologieën, waaronder kwantumberekening, communicatie, metrologie en sensing. Hoewel er aanzienlijke vooruitgang is geboekt in cavity- en circuit-QED, gevangen ionen en optische platforms, blijft het voorbereiden van toestanden met macroscopische bezetting ($n \gg 100$) een uitdaging. Bestaande benaderingen kampen met specifieke beperkingen:

• Postselectie-methoden lijden onder snel afnemende succespercentages naarmate $n$ toeneemt.
• Deterministische schema's offeren vaak de getrouwheid (fidelity) op of vereisen een controlecomplexiteit die slecht schaalt met de dimensie van de Hilbertruimte.
• Universele optimale controle-methoden vereisen doorgaans lange pulssequenties en numerieke optimalisatie, waarbij de complexiteit snel groeit met het aantal fotonen.
• Omgevingskoppeling induceert een effectieve vervalvoet die lineair schaalt met de bezetting, wat voorbereidingssnelheden vereist die sublineair toenemen met $n$ in plaats van enkel de nauwkeurigheid te verbeteren.

Huidige experimentele limieten zijn over het algemeen beperkt tot $\lesssim 100$ fotonen, wat de noodzaak motiveert voor analytische protocollen met sublineaire runtime, bescheiden controlevereisten en experimenteel eenvoudige operaties.

Methodologie: Het Deterministische Eén-Parameter (D1p) Protocol
De auteur introduceert het Deterministic One-Parameter (D1p) protocol, dat de dynamica van Fock-toestandvoorbereiding in een oneindig-dimensionale Hilbertruimte mapt naar een tweedimensionale invariante subruimte. Deze benadering herformuleert het probleem als een Grover-zoektaak (amplitudeversterking) in plaats van een vereiste voor onafhankelijke controle van elke bezette Fock-laag.

1. Amplitudeversterkingskader:
   Het protocol maakt gebruik van twee gegeneraliseerde fase-rotatie-operatoren:

• Oracle ($S_o$): Brengt een fase-kick toe aan de doeltoestand $|\psi_t\rangle = |n\rangle$.
• Diffusie ($S_r$): Roteert de toestand rond de as gedefinieerd door de initiële toestand $|\psi_0\rangle$.
  In tegen tegenstelling tot conventionele Grover-zoekalgoritmen die vaak vaste hoek-reflecties ($\phi = \pi$) gebruiken die de doeltoestand kunnen missen of overschieten, hanteert het D1p-protocol een deterministische fase-matching voorschrift. Zowel de oracle- als de diffusie-operatoren gebruiken één enkele gematchte faseparameter $\theta$, die in gesloten vorm wordt bepaald voor elke doel $n$ en initiële overlap $\lambda$.

2. Initiële Toestand en Overlap:
   Het protocol begint met een coherente toestand $|\alpha\rangle$ gegenereerd via een verplaatsing (displacement) $D(\alpha)$ vanuit het vacuüm. De doeloverlap is $\lambda = |\langle n | \alpha \rangle|^2$.

• Om de circuitdiepte te minimaliseren, wordt de initiële coherente amplitude geoptimaliseerd naar $|\alpha| \simeq \sqrt{n}$.
• Onder deze conditie schaalt de maximale overlap als $\lambda_{\text{max}} \approx 1/\sqrt{2\pi n}$, wat slechts als $n^{-1/2}$ afneemt in plaats van exponentieel.

3. Circuitconstructie:
   Het protocol vereist slechts natuurlijke bosonische controles:

• Verplaatsingen ($D(\alpha)$): Om de initiële coherente toestand voor te bereiden en de diffusie-operator te mappen.
• Aantal-selectieve Fase-kicks ($S_n(\theta)$): Een SNAP-gate werkend op de doelniveau $|n\rangle$.
  De diffusie-operator wordt geïmplementeerd als $S_r(\theta) = D(\alpha) S_0(\theta) D^\dagger(\alpha)$, wat effectief een fase-kick toepast op het vacuüm in het verplaatste kader.

Belangrijkste Resultaten

• Sublineaire Schaling: Het optimale aantal iteraties $k_{\text{opt}}$ vereist om een getrouwheid van eenheid te bereiken, schaalt als $O(n^{1/4})$. Specifiek: $k_{\text{opt}} \approx \lceil \frac{\pi}{4}(2\pi n)^{1/4} - \frac{1}{2} \rceil$.
• Efficiëntie: Voor een doel van $|10^6\rangle$ vereist het protocol slechts 39 iteraties. Als de duur van individuele gates onafhankelijk is van $n$, erft de totale voorbereidingstijd deze $O(n^{1/4})$ schaling.
• Getrouwheid van eenheid: In het ideale model garandeert fase-matching een getrouwheid van eenheid, waardoor de oscillerende "overshoot"-problemen van varianten met vaste fasen worden vermeden.
• Robuustheid: Het protocol is eerste-orde ongevoelig voor kleine fouten in de initiële amplitude $\alpha$ en de fase $\theta$ nabij de populatiemaxima, wat robuustheid biedt tegen drift en kalibratieschommelingen.

Extensies en Generalisaties
Het artikel demonstreert dat het D1p-kader verder gaat dan enkelvoudige Fock-toestandvoorbereiding:

1. Toestandsoverdracht: Efficiënte overdracht tussen twee Fock-toestanden $|m\rangle \to |n\rangle$ wordt bereikt door de verplaatsing vanaf $|m\rangle$ te optimaliseren, wat vaak minder iteraties vereist dan voorbereiding vanuit het vacuüm.
2. Gedetuneerde Drives: Het protocol past zich aan gedetuneerde drives waarbij trajecten circulair zijn in plaats van lineair, wat aangepaste inverse pulsen vereist maar de amplitudeversterkingslogica behoudt.
3. Geselecteerde Superposities: Een multi-target oracle kan een specifieke subruimte versterken (bijv. aangrenzende Fock-toestanden $|n-1\rangle$ en $|n\rangle$), waarbij de relatieve amplitudes die door de initiële coherente toestand zijn geërfd, behouden blijven.
4. Multi-legged Cat States: Het voorbereiden van $L$-legged cat-toestanden (superposities van $L$ coherente toestanden) vereist een iteratie-aantal dat uitsluitend wordt bepaald door $L$. Voor $L \le 10$ zijn slechts twee iteraties nodig, onafhankelijk van de amplitude van de coherente toestand.
5. Willekeurige Superposities: Hoewel willekeurige superposities theoretisch mogelijk zijn, vereisen ze een toestand-selectieve oracle in plaats van een eenvoudige multi-target fase, wat potentieel de circuitdiepte verhoogt.
6. Eindige-dimensionele en Multipartite Systemen: Het principe is toepasbaar op eindige-dimensionele systemen (qudits) en multipartite verstrengelde toestanden door verplaatsingen te vervangen door algemene unitaire transformaties en gebruik te maken van gezamenlijke gecontroleerde-fase gates.

Betekenis en Claims
Het artikel claimt een breed toepasbare, schaalbare route te bieden naar hoog-geëxciteerde bosonische toestanden op platforms die basale controles ondersteunen (verplaatsingen en aantal-selectieve fasen).

• Analytische Eenvoud: Het protocol vereist geen numerieke optimalisatie over de volledige Hilbertruimte; alle parameters worden in gesloten vorm afgeleid.
• Hardware-agnostisch: Het ontwerp scheidt het analytische toestandvoorbereidingsprotocol van de hardware-specifieke gate-optimalisatie, waardoor het platform-onafhankelijk is.
• Schaalbaarheid: Door een $O(n^{1/4})$ schaling te bereiken, adresseert de methode de kritieke behoefte aan snellere voorbereidingstijden om de door bezetting versterkte verliezen in macroscopische kwantumsystemen tegen te gaan.
• Praktische Bruikbaarheid: Het gebruik van standaard operaties (verplaatsingen en SNAP-gates) en de robuustheid tegen parametervariaties suggereren directe toepasbaarheid op huidige supergeleidende circuits, gevangen ionen en optomechanische platforms.

De auteur concludeert dat hoewel de praktische reikwijdte beperkt wordt door de getrouwheid van aantal-selectieve controle, kritieke-foton beperkingen en verlies, het D1p-protocol een significante stap biedt naar de deterministische, hoog-getrouwe voorbereiding van niet-Gaussische bronnen op macroscopische schaal.