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

Résumé Technique : Tous les états bipartites gaussiens à variables continues non localement réalisables sont enchevêtrés

Énoncé du Problème
Bien que l'enchevêtrement et la non-localité quantique soient des phénomènes distincts, leur relation au sein des états gaussiens bipartites à variables continues (CV) demeure un domaine nécessitant une clarification rigoureuse. Bien que l'enchevêtrement soit largement reconnu comme une ressource pour les technologies quantiques, et la non-localité souvent perçue comme une preuve d'enchevêtrement, les conditions précises sous lesquelles l'un implique l'autre ne sont pas pleinement établies de manière analytique, particulièrement dans le portrait de Heisenberg. Des travaux antérieurs ont montré que l'enchevêtrement ne garantit pas toujours la violation des inégalités de Bell (non-localité), et inversement, certains états non produits peuvent violer les inégalités de Bell sans être enchevêtrés dans des contextes spécifiques. Une expression analytique directe quantifiant la non-localité pour les états gaussiens, liant spécifiquement aux critères d'enchevêtrement, a été identifiée comme une « zone grise » dans la littérature. Cet article répond à la nécessité de formuler une expression analytique pour la violation de l'inégalité de Bell dans les états gaussiens et d'établir définitivement la dépendance logique entre la non-localité et l'enchevêtrement pour cette classe spécifique d'états.

Méthodologie
L'investigation utilise la représentation de l'espace des phases de Wigner pour formuler la fonction de Bell pour les états gaussiens bipartites CV. La méthodologie procède par les étapes suivantes :

1. Standardisation des matrices de corrélation : Les auteurs commencent par représenter l'état gaussien bipartite via une matrice de corrélation réelle symétrique $4 \times 4$ ($V'$). Ils appliquent un opérateur de Bogoliubov unitaire linéaire local (LLUBO), consistant en un resserrement (squeezing) et une rotation locale, pour transformer cette matrice en une forme standard ($V$). Cette forme standard est caractérisée par les paramètres $n, m$ (représentant les variances locales) et $c_1, c_2$ (représentant les corrélations croisées), soumis aux contraintes du principe d'incertitude.
2. Formulation de la fonction de Bell : La non-localité est quantifiée par la valeur maximale de la fonction de Bell ($|B_{max}|$), exprimée en termes de fonctions de quasi-probabilité de Wigner. La fonction de Bell est définie comme une combinaison linéaire de fonctions de Wigner évaluées à des vecteurs spécifiques de l'espace des phases.
3. Maximisation Analytique : Les auteurs dérivent une expression analytique pour la fonction de Bell maximisée ($B_{max}$) en optimisant l'exposant de la fonction de Wigner. Cela implique de varier les angles de phase ($\theta_I, \theta_S$) et les amplitudes ($\alpha_I, \alpha_S$) pour trouver le maximum global. La dérivation produit une expression en forme fermée pour $B_{max}$ dépendant du déterminant de la matrice de corrélation et des paramètres de corrélation croisée.
4. Analyse Comparative : La condition dérivée pour la non-localité ($B_{max} \geq 2$) est comparée aux critères suffisants de Simon pour l'enchevêtrement. Les auteurs analysent les inégalités mathématiques régissant les deux conditions pour déterminer si la satisfaction de l'une implique l'autre.

Contributions Clés et Résultats

• Expression Analytique pour la Non-Localité : L'article fournit une expression analytique en forme fermée pour la fonction de Bell maximisée ($B_{max}$) pour les états gaussiens bipartites CV généraux (Éq. 9). Cette expression est dérivée directement des éléments de la matrice de corrélation sous forme standard, offrant une méthode directe pour tester la non-localité sans recours à une maximisation purement numérique.
• Vérification des Limites TMSV : La formule dérivée récupère avec succès les résultats connus pour l'état de vide à deux modes resserrés (TMSV). Spécifiquement, elle confirme qu'à mesure que le facteur de resserrement $r \to \infty$, l'état approche une limite de non-localité maximale ($B_{max} \approx 2.19$).
• Relation Logique entre Enchevêtrement et Non-Localité :
  • Non-Localité $\implies$ Enchevêtrement : Les auteurs prouvent que pour les états gaussiens bipartites, la condition de non-localité (violation de l'inégalité de Bell) est une condition suffisante pour l'enchevêtrement. Si un état est réalisable de manière non-locale, il est nécessairement enchevêtré.
  • Enchevêtrement $\nRightarrow$ Non-Localité : Inversement, l'article démontre que l'enchevêtrement n'est pas suffisant pour garantir la non-localité. Il existe des états gausiens enchevêtrés qui ne violent pas les inégalités de Bell (c'est-à-dire qui sont localement réalisables).
  • Nécessité : L'analyse confirme que l'enchevêtrement est une condition nécessaire pour la non-localité dans ce contexte ; un état séparable (non enchevêtré) ne peut présenter de non-localité.

Signification et Revendications
L'article prétend résoudre l'ambiguïté concernant la relation entre l'enchevêtrement et la non-localité spécifiquement pour les états gausiens. En fournissant une formulation analytique, le travail établit une condition limite claire : bien que tous les états gausiens bipartites réalisés de manière non-locale soient enchevêtrés, la réciproque n'est pas vraie. Les auteurs soulignent que leur analyse construit un lien définitif entre ces deux phénomènes, prouvant que la non-localité sert de témoin robuste pour l'enchevêtrement dans les systèmes gausiens, tandis que l'enchevêtrement seul ne garantit pas la présence d'un comportement non-local. Le travail ne propose pas de nouveaux dispositifs expérimentaux ou de futures applications, mais se concentre sur la clarification théorique de ces corrélations quantiques fondamentales en utilisant le formalisme de l'espace des phases de Wigner.