All non-locally Realized Continuous Variable Bipartite Gaussian States are Entangled

Technische Zusammenfassung: Alle nicht lokal realisierbaren kontinuierlich variablen bipartiten Gauß-Zustände sind verschränkt

Problemstellung
Obwohl Verschränkung und Quanten-Nichtlokalität distinkte Phänomene sind, bleibt ihre Beziehung innerhalb kontinuierlich variabler (CV) bipartiter Gauß-Zustände ein Bereich, der einer rigorosen Klärung bedarf. Während Verschränkung weithin als Ressource für Quantentechnologien anerkannt ist und Nichtlokalität oft als Beleg für Verschränkung angesehen wird, sind die präzisen Bedingungen, unter denen das eine das andere impliziert, nicht vollständig analytisch etabliert, insbesondere im Heisenberg-Bild. Vorherige Arbeiten haben gezeigt, dass Verschränkung nicht immer die Verletzung von Bell-Ungleichungen (Nichtlokalität) garantiert, und umgekehrt können bestimmte Nicht-Produkt-Zustände in spezifischen Kontexten Bell-Ungleichheiten verletzen, ohne verschränkt zu sein. Ein direkter analytischer Ausdruck zur Quantifizierung der Nichtlokalität für Gauß-Zustände, der spezifisch mit den Kriterien der Verschränkung verknüpft ist, wurde als eine „Grauzone“ in der Literatur identifiziert. Diese Arbeit adresst die Notwendigkeit, einen analytischen Ausdruck für die Verletzung der Bell-Ungleichung in Gauß-Zuständen zu formulieren und die logische Abhängigkeit zwischen Nichtlokalität und Verschränkung für diese spezifische Klasse von Zuständen definitiv zu etablieren.

Methodik
Die Untersuchung nutzt die Wigner-Phasenraum-Repräsentation, um die Bell-Funktion für bipartite CV-Gauß-Zustände zu formulieren. Die Methodik vollzieht die folgenden Schritte:

1. Standardisierung der Korrelationsmatrizen: Die Autoren beginnen damit, den bipartiten Gauß-Zustand über eine $4 \times 4$ reelle symmetrische Korrelationsmatrix ($V'$) darzustellen. Sie wenden einen lokalen linearen unitären Bogoliubov-Operator (LLUBO) an, bestehend aus lokalem Squeezing und Rotation, um diese Matrix in eine Standardform ($V$) zu transformieren. Diese Standardform ist charakterisiert durch Parameter $n, m$ (die lokale Varianzen repräsentieren) und $c_1, c_2$ (die Kreuzkorrelationen repräsentieren), unter Einhaltung der Unschärferelations-Beschränkungen.
2. Formulierung der Bell-Funktion: Nichtlokalität wird durch den Maximalwert der Bell-Funktion ($|B_{max}|$) quantifiziert, der in Abhängigkeit von Wigner-Quasiprobabilitätsfunktionen ausgedrückt wird. Die Bell-Funktion ist definiert als eine Linearkombination von Wigner-Funktionen, die an spezifischen Phasenraumvektoren ausgewertet werden.
3. Analytische Maximierung: Die Autoren leiten einen analytischen Ausdruck für die maximierte Bell-Funktion ($B_{max}$) ab, indem sie den Exponenten der Wigner-Funktion optimieren. Dies beinhaltet die Variation der Phasenwinkel ($\theta_I, \theta_S$) und Amplituden ($\alpha_I, \alpha_S$), um das globale Maximum zu finden. Die Ableitung liefert einen geschlossenen Ausdruck für $B_{max}$, der vom Determinanten der Korrelationsmatrix und den Kreuzkorrelationsparametern abhängt.
4. Vergleichende Analyse: Die abgeleitete Bedingung für Nichtlokalität ($B_{max} \geq 2$) wird mit Simons hinreichenden Kriterien für Verschränkung verglichen. Die Autoren analysieren die mathematischen Ungleichungen, die beide Bedingungen regeln, um zu bestimmen, ob die Erfüllung der einen die andere impliziert.

Wesentliche Beiträge und Ergebnisse

• Analytischer Ausdruck für Nichtlokalität: Die Arbeit liefert einen geschlossenen analytischen Ausdruck für die maximierte Bell-Funktion ($B_{max}$) für allgemeine bipartite CV-Gauß-Zustände (Gl. 9). Dieser Ausdruck wird direkt aus den Elementen der Korrelationsmatrix in Standardform abgeleitet und bietet eine direkte Methode, um auf Nichtlokalität zu testen, ohne rein numerische Maximierung zu verwenden.
• Verifizierung der TMSV-Grenzwerte: Die abgeleitete Formel stellt bekannte Ergebnisse für den Zwei-Moden-Squeezed-Vacuum-Zustand (TMSV) erfolgreich wieder her. Speziell bestätigt sie, dass der Zustand, wenn der Squeezing-Faktor $r \to \infty$, einem maximal nichtlokalen Limit ($B_{max} \approx 2.19$) entgegenstrebt.
• Logische Beziehung zwischen Verschränkung und Nichtlokalität:
  • Nichtlokalität $\implies$ Verschränkung: Die Autoren beweisen, dass für bipartite Gauß-Zustände die Bedingung der Nichtlokalität (Verletzung der Bell-Ungleichung) eine hinreichende Bedingung für Verschränkung ist. Wenn ein Zustand nichtlokal realisierbar ist, ist er notwendigerweise verschränkt.
  • Verschränkung $\nRightarrow$ Nichtlokalität: Umgekehrt zeigt die Arbeit, dass Verschränkung nicht hinreichend ist, um Nichtlokalität zu garantieren. Es existieren verschränkte Gauß-Zustände, die keine Bell-Ungleichheiten verletzen (d. h. sie sind lokal realisierbar).
  • Notwendigkeit: Die Analyse bestätigt, dass Verschränkung eine notwendige Bedingung für Nichtlokalität in diesem Kontext ist; ein nicht-verschränkter (separabler) Zustand kann keine Nichtlokalität aufweisen.

Bedeutung und Ansprüche
Die Arbeit beansprucht, die Mehrdeutigkeit bezüglich der Beziehung zwischen Verschränkung und Nichtlokalität spezifisch für Gauß-Zustände aufzulösen. Durch die Bereitstellung einer analytischen Formulierung etabliert die Arbeit eine klare Grenzbedingung: Während alle nichtlokal realisierbaren bipartiten Gauß-Zustände verschränkt sind, gilt das Umkehrschluss nicht. Die Autoren betonen, dass ihre Analyse eine definitive Verbindung zwischen diesen beiden Phänomenen herstellt und beweist, dass Nichtlokalität als robuster Zeuge für Verschränkung in Gauß-Systemen dient, während Verschränkung allein nicht die Anwesenheit nichtlokalen Verhaltens garantiert. Die Arbeit schlägt keine neuen experimentellen Aufbauten oder zukünftigen Anwendungen vor, sondern konzentriert sich auf die theoretische Klärung dieser fundamentalen Quantenkorrelationen unter Verwendung des Wigner-Phasenraum-Formalismus.