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

Technische Samenvatting: Alle niet-lokaal gerealiseerde continue variabele bipartiete Gaussische toestanden zijn verstrengeld

Probleemstelling
Hoewel verstrengeling en kwantum-niet-lokaliteit onderscheidende fenomenen zijn, blijft de relatie tussen beide binnen continue variabele (CV) bipartiete Gaussische toestanden een gebied dat behoefte heeft aan rigoureuze verheldering. Hoewel verstrengeling breed wordt erkend als een hulpbron voor kwantumtechnologieën, en niet-lokaliteit vaak wordt beschouwd als bewijs van verstrengeling, zijn de precieze condities waaronder het ene het andere impliceert niet volledig analytisch vastgesteld, met name in de Heisenberg-representatie. Eerder werk heeft aangetoond dat verstrengeling niet altijd een schending van Bell-ongelijkheid (niet-lokaliteit) garandeert, en omgekeerd kunnen bepaalde niet-producttoestanden Bell-ongelijkheden schenden zonder verstrengeld te zijn in specifieke contexten. Een directe analytische uitdrukking die niet-lokaliteit kwantificeert voor Gaussische toestanden, specifiek gekoppeld aan verstrengelingscriteria, is geïdentificeerd als een "grijs gebied" in de literatuur. Dit artikel adresseert de noodzaak om een analytische uitdrukking voor de schending van de Bell-ongelijkheid in Gaussische toestanden te formuleren en om de logische afhankelijkheid tussen niet-lokaliteit en verstrengeling voor deze specifieke klasse van toestanden definitief vast te stellen.

Methodologie
Het onderzoek maakt gebruik van de fase-ruimte Wigner-representatie om de Bell-functie voor bipartiete CV Gaussische toestanden te formuleren. De methodologie verloopt via de volgende stappen:

1. Standaardisatie van correlatiematrices: De auteurs beginnen met het representeren van de bipartiete Gaussische toestand via een $4 \times 4$ reële symmetrische correlatiematrix ($V'$). Zij passen een lokale lineaire unitaire Bogoliubov-operator (LLUBO) toe, bestaande uit lokale squeezing en rotatie, om deze matrix te transformeren naar een standaardvorm ($V$). Deze standaardvorm wordt gekenmerd door parameters $n, m$ (die lokale varianties vertegenwoordigen) en $c_1, c_2$ (die kruiscorrelaties vertegenwoordigen), onderworpen aan de onzekerheidsprincipe-beperkingen.
2. Formulering van de Bell-functie: Niet-lokaliteit wordt gekwantificeerd door de maximale waarde van de Bell-functie ($|B_{max}|$), uitgedrukt in termen van Wigner-kwasikansfuncties. De Bell-functie wordt gedefinieerd als een lineaire combinatie van Wigner-functies geëvalueerd op specifieke fase-ruimte vectoren.
3. Analytische Maximale: De auteurs leiden een analytische uitdrukking af voor de gemaximaliseerde Bell-functie ($B_{max}$) door de exponent van de Wigner-functie te optimaliseren. Dit omvat het variëren van fasehoeken ($\theta_I, \theta_S$) en amplitudes ($\alpha_I, \alpha_S$) om het globale maximum te vinden. De afleiding levert een gesloten vorm uitdrukking voor $B_{max}$ op, afhankelijk van de determinant van de correlatiematrix en de kruiscorrelatieparameters.
4. Vergelijkende Analyse: De afgeleide conditie voor niet-lokaliteit ($B_{max} \geq 2$) wordt vergeleken met Simon's voldoende criteria voor verstrengeling. De auteurs analyseren de wiskundige ongelijkheden die beide condities beheersen om te bepalen of de bevrediging van de één de ander impliceert.

Belangrijkste Bijdragen en Resultaten

• Analytische Uitdrukking voor Niet-lokaliteit: Het artikel biedt een gesloten vorm analytische uitdrukking voor de gemaximaliseerde Bell-functie ($B_{max}$) voor algemene bipartiete CV Gaussische toestanden (Vergelijking 9). Deze uitdrukking is rechtstreeks afgeleid van de elementen van de correlatiematrix in standaardvorm, wat een directe methode biedt om op niet-lokaliteit te testen zonder louter numerieke maximalisatie.
• Verificatie van TMSV-limieten: De afgeleide formule herstelt succesvol bekende resultaten voor de Two-Mode Squeezed Vacuum (TMSV) toestand. Specifiek bevestigt het dat naarmate de squeezing-factor $r \to \infty$, de toestand een maximaal niet-lokale limiet benadert ($B_{max} \approx 2.19$).
• Logische Relatie tussen Verstrengeling en Niet-lokaliteit:
  • Niet-lokaliteit $\implies$ Verstrengeling: De auteurs bewijzen dat voor bipartiete Gaussische toestanden de conditie van niet-lokaliteit (schending van de Bell-ongelijkheid) een voldoende voorwaarde is voor verstrengeling. Als een toestand niet-lokaal realiseerbaar is, is deze noodzakelijkerwijs verstrengeld.
  • Verstrengeling $\nRightarrow$ Niet-lokaliteit: Omgekeerd demonstreert het artikel dat verstrengeling niet voldoende is om niet-lokaliteit te garanderen. Er bestaan verstrengelde Gaussische toestanden die geen Bell-ongelijkheden schenden (dat wil zeggen, ze zijn lokaal realiseerbaar).
  • Noodzakelijkheid: De analyse bevestigt dat verstrengeling een noodzakelijke voorwaarde is voor niet-lokaliteit in deze context; een niet-verstrengelde (gescheiden) toestand kan geen niet-lokaliteit vertonen.

Betekenis en Claims
Het artikel claimt de ambiguïteit met betrekking tot de relatie tussen verstrengeling en niet-lokaliteit specifiek voor Gaussische toestanden op te lossen. Door een analytische formulering te bieden, stelt het werk een duidelijke grensconditie vast: hoewel alle niet-lokaal gerealiseerde bipartiete Gaussische toestanden verstrengeld zijn, is het omgekeerde niet waar. De auteurs benadrukken dat hun analyse een definitieve verbinding legt tussen deze twee fenomenen, waarbij bewezen wordt dat niet-lokaliteit dient als een robuuste getuige (witness) voor verstrengeling in Gaussische systemen, terwijl verstrengeling alleen niet de aanwezigheid van niet-lokaal gedrag garandeert. Het werk stelt geen nieuwe experimentele opstellingen of toekomstige toepassingen voor, maar richt zich op de theoretische verheldering van deze fundamentele kwantumcorrelaties met behulp van de Wigner fase-ruimte formalisme.