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

Technische Zusammenfassung: Exakte Fock-Zustandspräparation mit $n^{1/4}$ Schaltungstiefe

Problemstellung
Die Präparation großer Fock-Zustände (hohe Photonenzahlzustände $|n\rangle$) in bosonischen Systemen ist ein kritischer Engpass für die Skalierung von Quantentechnologien, einschließlich Quantencomputern, Quantenkommunikation, Metrologie und Sensorik. Während signifikante Fortschritte in der Cavity- und Circuit-QED, in Ionenfallen und optischen Plattformen erzielt wurden, bleibt die Präparation von Zuständen mit makroskopischer Besetzung ($n \gg 100$) eine Herausforderung. Bestehende Ansätze stehen vor spezifischen Einschränkungen:

• Postselektive Methoden leiden unter rapide sinkenden Erfolgswahrscheinlichkeiten, wenn $n$ steigt.
• Deterministische Schemata opfern oft die Fidelität oder erfordern eine Kontrollkomplexität, die schlecht mit der Dimension des Hilbert-Raums skaliert.
• Universelle Optimalsteuerungsmethoden verlangen typischerweise lange Pulssequenzen und numerische Optimierung, wobei die Komplexität mit der Photonenzahl rapide ansteigt.
• Umweltkopplung induziert eine effektive Zerfallsrate, die linear mit der Besetzung skaliert, was eine Beschleunigung der Präparationsgeschwindigkeit (sublinear mit $n$) statt lediglich einer Verbesserung der Genauigkeit erforderlich macht.

Die aktuellen experimentellen Grenzen sind im Allgemeinen auf $\lesssim 100$ Photonen beschränkt, was die Notwendigkeit nach analytischen Protokollen mit sublinearer Laufzeit, moderaten Kontrollanforderungen und experimentell einfachen Operationen begründet.

Methodik: Das Deterministische Ein-Parameter (D1p) Protokoll
Der Autor führt das Deterministische Ein-Parameter (D1p) Protokoll ein, welches die Dynamik der Fock-Zustandspräparation in einem unendlich-dimensionalen Hilbert-Raum auf einen zweidimensionalen invarianten Unterraum abbildet. Dieser Ansatz rahmt das Problem als Grover-Suche (Amplitudenverstärkung) um, anstatt eine unabhängige Kontrolle jedes besetzten Fock-Niveaus zu erfordern.

1. Rahmenwerk der Amplitudenverstärkung:
   Das Protokoll nutzt zwei verallgemeinerte Phasenrotationsoperatoren:

• Oracle ($S_o$): Wendet einen Phasen-Kick auf den Zielzustand $|\psi_t\rangle = |n\rangle$ an.
• Diffusion ($S_r$): Rotiert den Zustand um die Achse, die durch den Anfangszustand $|\psi_0\rangle$ definiert ist.
  Im Gegensatz zur konventionellen Grover-Suche, die oft feste Winkel-Reflektionen ($\phi = \pi$) verwendet, die das Ziel unterschreiten oder überschießen können, nutzt das D1p-Protokoll eine deterministische Phasenanpassung (Phase-Matching). Sowohl der Oracle- als auch der Diffusionsoperator verwenden einen einzigen passenden Phasenparameter $\theta$, der in geschlossener Form für jedes $n$ und jedes anfängliche Überlapp $\lambda$ bestimmt wird.

2. Anfangszustand und Überlapp:
   Das Protokoll beginnt mit einem Kohärenzzustand $|\alpha\rangle$, der durch Verschiebung $D(\alpha)$ aus dem Vakuum erzeugt wird. Der Zielüberlapp ist $\lambda = |\langle n | \alpha \rangle|^2$.

• Um die Schaltungstiefe zu minimieren, wird die anfängliche Kohärenzamplitude auf $|\alpha| \simeq \sqrt{n}$ optimiert.
• Unter dieser Bedingung skaliert der maximale Überlapp als $\lambda_{\text{max}} \approx 1/\sqrt{2\pi n}$, was nur als $n^{-1/2}$ abnimmt, statt exponentiell.

3. Schaltungsaufbau:
   Das Protokoll erfordert nur native bosonische Kontrollen:

• Verschiebungen ($D(\alpha)$): Zur Präparation des anfänglichen Kohärenzzustands und zur Abbildung des Diffusionsoperators.
• Zahlenselektive Phasen-Kicks ($S_n(\theta)$): Ein SNAP-Gate, das auf das Zielniveau $|n\rangle$ wirkt.
  Der Diffusionsoperator wird als $S_r(\theta) = D(\alpha) S_0(\theta) D^\dagger(\alpha)$ implementiert, was effektiv einen Phasen-Kick auf das Vakuum im verschobenen Bezugssystem anwendet.

Wichtigste Ergebnisse

• Sublineare Skalierung: Die optimale Anzahl der Iterationen $k_{\text{opt}}$, die erforderlich sind, um eine Einheitsfidelität zu erreichen, skaliert als $O(n^{1/4})$. Speziell gilt $k_{\text{opt}} \approx \lceil \frac{\pi}{4}(2\pi n)^{1/4} - \frac{1}{2} \rceil$.
• Effizienz: Für ein Ziel von $|10^6\rangle$ benötigt das Protokoll nur 39 Iterationen. Wenn die Dauer der einzelnen Gates unabhängig von $n$ ist, erbt die gesamte Präparationszeit diese $O(n^{1/4})$ Skalierung.
• Einheitsfidelität: Im idealen Modell garantiert die Phasenanpassung eine Einheitsfidelität und vermeidet die oszillierenden „Überschuss“-Probleme (Overshoot) fester Phasenvarianten.
• Robustheit: Das Protokoll ist erstordnung unempfindlich gegenüber kleinen Fehlern in der anfänglichen Amplitude $\alpha$ und der Phase $\theta$ nahe des Populationsmaximums, was Robustheit gegen Drift und Kalibrierungsschwankungen bietet.

Erweiterungen und Verallgemeinerungen
Das Paper zeigt, dass sich das D1p-Framework über die einfache Fock-Zustandspräparation hinaus erweitert:

1. Zustandstransfer: Ein effizienter Transfer zwischen zwei Fock-Zuständen $|m\rangle \to |n\rangle$ wird durch Optimierung der Verschiebung von $|m\rangle$ erreicht, was oft weniger Iterationen erfordert als die Präparation aus dem Vakuum.
2. Verstimmte Antriebe (Detuned Drives): Das Protokoll passt sich an verstimmte Antriebe an, bei denen die Trajektorien kreisförmig statt linear sind, was modifizierte Inverse-Pulse erfordert, aber die Verstärkungslogik beibehält.
3. Ausgewählte Superpositionen: Ein Multi-Target-Oracle kann einen spezifischen Unterraum verstärken (z. B. benachbarte Fock-Zustände $|n-1\rangle$ und $|n\rangle$) und dabei die relativen Amplituden bewahren, die vom anfänglichen Kohärenzzustand geerbt wurden.
4. Mehrbeinige Katte-Zustände (Multi-legged Cat States): Die Präparation von $L$-beinigen Katte-Zuständen (Superpositionen von $L$ Kohärenzzuständen) erfordert eine Iterationszahl, die ausschließlich durch $L$ bestimmt wird. Für $L \le 10$ sind nur zwei Iterationen nötig, unabhängig von der Kohärenz-Amplitude.
5. Beliebige Superpositionen: Während beliebige Superpositionen theoretisch möglich sind, erfordern sie ein zustandsspezifisches Oracle anstelle eines einfachen Multi-Target-Phasen-Operators, was die Schaltungstiefe potenziell erhöht.
6. Endliche und multipartite Systeme: Das Prinzip lässt sich auf endliche (Qudits) und multipartite verschränkte Systeme anwenden, indem Verschiebungen durch allgemeine Unitaritäten ersetzt und gemeinsame kontrollierte-Phasen-Gates genutzt werden.

Bedeutung und Ansprüche
Das Paper beansprucht, einen breit anwendbaren, skalierbaren Weg zur Präparation hochangeregter bosonischer Zustände auf Plattformen zu bieten, die elementare Kontrollen (Verschiebungen und zahlenselektive Phasen) unterstützen.

• Analytische Einfachheit: Das Protokoll erfordert keine numerische Optimierung über den vollen Hilbert-Raum; alle Parameter werden in geschlossener Form abgeleitet.
• Hardware-Agnostik: Das Design trennt das analytische Zustandspräparationsprotokoll von der hardware-spezifischen Gate-Optimierung, was es plattformunabhängig macht.
• Skalierbarkeit: Durch das Erreichen einer $O(n^{1/4})$ Skalierung adressiert die Methode die kritische Notwendigkeit schnellerer Präparationszeiten, um der besetzungsbedingten Verlustverstärkung in makroskopischen Quantensystemen entgegenzuwirken.
• Praktikabilität: Die Verwendung von Standardoperationen (Verschiebungen und SNAP-Gates) sowie die Robustheit gegenüber Parameterrattern deuten auf eine unmittelbare Anwendbarkeit auf aktuelle supraleitende Schaltkreise, Ionenfallen und optomechanische Plattformen hin.

Der Autor schließt damit, dass die praktische Reichweite zwar durch die Fidelität der zahlenselektiven Kontrolle, kritische Photonenbeschränkungen und Verluste begrenzt ist, das D1p-Protokoll jedoch einen bedeutenden Schritt zur deterministischen, hochfiden Präparation nicht-gaußscher Ressourcen auf makroskopischer Skala darstellt.