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

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

Problem Statement
While entanglement and quantum non-locality are distinct phenomena, their relationship within continuous-variable (CV) bipartite Gaussian states remains an area requiring rigorous clarification. Although entanglement is widely recognized as a resource for quantum technologies, and non-locality is often viewed as evidence of entanglement, the precise conditions under which one implies the other are not fully analytically established, particularly in the Heisenberg picture. Previous work has shown that entanglement does not always guarantee the violation of Bell's inequalities (non-locality), and conversely, certain non-product states can violate Bell's inequalities without being entangled in specific contexts. A direct analytical expression quantifying non-locality for Gaussian states, specifically linking it to entanglement criteria, has been identified as a "gray area" in the literature. This paper addresses the need to formulate an analytical expression for Bell's inequality violation in Gaussian states and to definitively establish the logical dependency between non-locality and entanglement for this specific class of states.

Methodology
The investigation utilizes the phase-space Wigner representation to formulate Bell's function for bipartite CV Gaussian states. The methodology proceeds through the following steps:

1. Standardization of Correlation Matrices: The authors begin by representing the bipartite Gaussian state via a $4 \times 4$ real symmetric correlation matrix ($V'$). They apply a local linear unitary Bogoliubov operator (LLUBO), consisting of local squeezing and rotation, to transform this matrix into a standard form ($V$). This standard form is characterized by parameters $n, m$ (representing local variances) and $c_1, c_2$ (representing cross-correlations), subject to the uncertainty principle constraints.
2. Formulation of Bell's Function: Non-locality is quantified by the maximum value of Bell's function ($|B_{max}|$), expressed in terms of Wigner quasiprobability functions. The Bell function is defined as a linear combination of Wigner functions evaluated at specific phase-space vectors.
3. Analytical Maximization: The authors derive an analytical expression for the maximized Bell function ($B_{max}$) by optimizing the exponent of the Wigner function. This involves varying phase angles ($\theta_I, \theta_S$) and amplitudes ($\alpha_I, \alpha_S$) to find the global maximum. The derivation yields a closed-form expression for $B_{max}$ dependent on the determinant of the correlation matrix and the cross-correlation parameters.
4. Comparative Analysis: The derived condition for non-locality ($B_{max} \geq 2$) is compared against Simon's sufficient criteria for entanglement. The authors analyze the mathematical inequalities governing both conditions to determine if the satisfaction of one implies the other.

Key Contributions and Results

• Analytical Expression for Non-Locality: The paper provides a closed-form analytical expression for the maximized Bell function ($B_{max}$) for general bipartite CV Gaussian states (Eq. 9). This expression is derived directly from the elements of the standard-form correlation matrix, offering a direct method to test for non-locality without purely numerical maximization.
• Verification of TMSV Limits: The derived formula successfully recovers known results for the Two-Mode Squeezed Vacuum (TMSV) state. Specifically, it confirms that as the squeezing factor $r \to \infty$, the state approaches a maximally non-local limit ($B_{max} \approx 2.19$).
• Logical Relationship between Entanglement and Non-Locality:
  • Non-Locality $\implies$ Entanglement: The authors prove that for bipartite Gaussian states, the condition of non-locality (violation of Bell's inequality) is a sufficient condition for entanglement. If a state is non-locally realizable, it is necessarily entangled.
  • Entanglement $\nRightarrow$ Non-Locality: Conversely, the paper demonstrates that entanglement is not sufficient to guarantee non-locality. There exist entangled Gaussian states that do not violate Bell's inequalities (i.e., they are locally realizable).
  • Necessity: The analysis confirms that entanglement is a necessary condition for non-locality in this context; a non-entangled (separable) state cannot exhibit non-locality.

Significance and Claims
The paper claims to resolve the ambiguity regarding the relationship between entanglement and non-locality specifically for Gaussian states. By providing an analytical formulation, the work establishes a clear boundary condition: while all non-locally realized bipartite Gaussian states are entangled, the converse is not true. The authors emphasize that their analysis builds a definitive connection between these two phenomena, proving that non-locality serves as a robust witness for entanglement in Gaussian systems, whereas entanglement alone does not guarantee the presence of non-local behavior. The work does not propose new experimental setups or future applications but focuses on the theoretical clarification of these fundamental quantum correlations using the Wigner phase-space formalism.