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

Resumen Técnico: Todos los estados gaussianos bipartitos de variables continuas no realizados localmente están entrelazados

Planteamiento del problema
Si bien el entrelazamiento y la no-localidad cuántica son fenómenos distintos, su relación dentro de los estados gaussianos bipartitos de variables continuas (CV) sigue siendo un área que requiere una clarificación rigurosa. Aunque el entrelazamiento es ampliamente reconocido como un recurso para las tecnologías cuánticas, y la no-localidad suele verse como evidencia de entrelazamiento, las condiciones precisas bajo las cuales uno implica al otro no están plenamente establecidas de forma analítica, particularmente en la imagen de Heisenberg. Trabajos previos han demostrado que el entrelazamiento no siempre garantiza la violación de las desigualdades de Bell (no-localidad) y, por el contrario, ciertos estados no producto pueden violar las desigualdades de Bell sin estar entrelazados en contextos específicos. Se ha identificado como un "área gris" en la literatura la falta de una expresión analítica directa que cuantifique la no-localidad para estados gaussianos, específicamente vinculándola con los criterios de entrelazamiento. Este artículo aborda la necesidad de formular una expresión analítica para la violación de la desigualdad de Bell en estados gaussianos y de establecer definitivamente la dependencia lógica entre la no-localidad y el entrelazamiento para esta clase específica de estados.

Metodología
La investigación utiliza la representación de fase Wigner para formular la función de Bell para estados gaussianos bipartitos de CV. La metodología procede a través de los siguientes pasos:

1. Estandarización de las matrices de correlación: Los autores comienzan representando el estado gaussiano bipartito mediante una matriz de correlación simétrica real de $4 \times 4$ ($V'$). Aplican un operador de Bogoliubov unitario lineal local (LLUBO), que consiste en un estiramiento (squeezing) y una rotación local, para transformar esta matriz en una forma estándar ($V$). Esta forma estándar se caracteriza por los parámetros $n, m$ (que representan las varianzas locales) y $c_1, c_2$ (que representan las correlaciones cruzadas), sujetos a las restricciones del principio de incertidumbre.
2. Formulación de la función de Bell: La no-localidad se cuantifica mediante el valor máximo de la función de Bell ($|B_{max}|$), expresado en términos de funciones de cuasiprobabilidad Wigner. La función de Bell se define como una combinación lineal de funciones Wigner evaluadas en vectores de fase específicos.
3. Maximización analítica: Los autores derivan una expresión analítica para la función de Bell maximizada ($B_{max}$) optimizando el exponente de la función Wigner. Esto implica variar los ángulos de fase ($\theta_I, \theta_S$) y las amplitudes ($\alpha_I, \alpha_S$) para encontrar el máximo global. La derivación produce una expresión de forma cerrada para $B_{max}$ que depende del determinante de la matriz de correlación y de los parámetros de correlación cruzada.
4. Análisis comparativo: La condición derivada de no-localidad ($B_{max} \geq 2$) se compara con los criterios suficientes de Simon para el entrelazamiento. Los autores analizan las desigualdades matemáticas que gobiernan ambas condiciones para determinar si la satisfacción de una implica la otra.

Contribuciones clave y resultados

• Expresión analítica para la no-localidad: El artículo proporciona una expresión analítica de forma cerrada para la función de Bell maximizada ($B_{max}$) para estados gaussianos bipartitos de CV generales (Ec. 9). Esta expresión se deriva directamente de los elementos de la matriz de correlación en forma estándar, ofreciendo un método directo para probar la no-localidad sin recurrir a una maximización puramente numérica.
• Verificación de los límites de TMSV: La fórmula derivada recupera con éxito los resultados conocidos para el estado de Vacío de Dos Modos Estirados (TMSV). Específicamente, confirma que a medida que el factor de estiramiento $r \to \infty$, el estado se aproxima a un límite de no-localidad máxima ($B_{max} \approx 2.19$).
• Relación lógica entre entrelazamiento y no-localidad:
  • No-localidad $\implies$ Entrelazamiento: Los autores demuestran que, para estados gaussianos bipartitos, la condición de no-localidad (violación de la desigualdad de Bell) es una condición suficiente para el entrelazamiento. Si un estado es realizable no-localmente, es necesariamente entrelazado.
  • Entrelazamiento $\nRightarrow$ No-localidad: Por el contrario, el artículo demuestra que el entrelazamiento no es suficiente para garantizar la no-localidad. Existen estados gaussianos entrelazados que no violan las desigualdades de Bell (es decir, son realizables localmente).
  • Necesidad: El análisis confirma que el entrelazamiento es una condición necesaria para la no-localidad en este contexto; un estado no entrelazado (separable) no puede exhibir no-localidad.

Significado y alegatos
El artículo afirma resolver la ambigüedad respecto a la relación entre el entrelazamiento y la no-localidad específicamente para los estados gaussianos. Al proporcionar una formulación analítica, el trabajo establece una condición de frontera clara: si bien todos los estados gaussianos bipartitos realizados no-localmente están entrelazados, la inversa no es cierta. Los autores enfatizan que su análisis construye una conexión definitiva entre estos dos fenómenos, demostrando que la no-localidad sirve como un testigo robusto del entrelazamiento en sistemas gaussianos, mientras que el entrelazamiento por sí solo no garantiza la presencia de un comportamiento no-local. El trabajo no propone nuevos montajes experimentales o aplicaciones futuras, sino que se centra en la clarificación teórica de estas correlaciones cuánticas fundamentales utilizando el formalismo de fase-Wigner.