Partner-mode overlap as a symplectic-invariant measure of correlations in Gaussian quantum field theories

Problem Statement

Quantifying entanglement and correlations in Quantum Field Theory (QFT) presents significant challenges due to the infinite number of degrees of freedom and the absence of a preferred tensor-product decomposition of the Hilbert space into localized subsystems. While Gaussian states (characterized by first and second moments) offer a tractable framework for continuous-variable systems, existing methods for identifying and quantifying correlations between localized modes often lack a clear geometric interpretation or rely on specific basis choices.

A key intuition in QFT is that the spatial support of a "purification partner" of a localized mode encodes where that mode's correlations and entanglement with the rest of the field are located. However, this intuition has lacked a rigorous, quantitative, and basis-independent formulation. Specifically, there was a need for a symplectic-invariant measure that directly links the geometric overlap of modes to their entanglement status, particularly for localized modes in non-overlapping spatial regions where entanglement is typically weak.

Methodology

The authors develop a framework based on the complexified phase space and complex structures associated with Gaussian states. This approach shifts the focus from the covariance matrix to a linear map $J$ (the complex structure), which offers a manifestly coordinate-independent and symplectic-invariant description.

1. Complex Phase Space Formalism:

   • The classical phase space $\Gamma$ is extended to a complex vector space $\Gamma_C$.
   • A Gaussian state defines a linear map $J$ on $\Gamma_C$. For pure states, $J^2 = -I$ (a complex structure); for mixed states, $J^2 < -I$ (a restricted complex structure).
   • Subsystems are defined by symplectic subspaces. The "partner mode" $A_p$ of a subsystem $A$ is defined geometrically as the subspace $\Gamma_{A_p} = \Pi_A^\perp (J \Gamma_A)$, where $\Pi_A^\perp$ is the projector onto the symplectic orthogonal complement of $A$. This partner captures all correlations of $A$ with the rest of the system.

2. Definition of Symmetric Overlap ($D_{sym}$):

   • The authors define a geometric overlap $D_{XY}$ between two modes $X$ and $Y$ as the symplectic norm of the projection of one mode's basis vector onto the other's subspace.
   • To quantify correlations between two independent modes $A$ and $B$, they introduce the symmetric overlap:
     $$D_{sym} := D_{A_p B} + D_{B_p A}$$
     This measures the overlap between mode $B$ and the partner of $A$, plus the overlap between mode $A$ and the partner of $B$.
   • $D_{sym}$ is proven to be invariant under local symplectic transformations (local unitaries) and is expressed explicitly in terms of symplectic invariants ($\det J_A, \det J_B, \det J_C$).

3. Extension to QFT:

   • The formalism is extended to quantum fields by treating field modes as linear functionals (smeared fields) over Cauchy hypersurfaces. The infinite-dimensional phase space is handled using the Klein-Gordon product as the symplectic product.
   • The reduced state of any two-mode subsystem is computed to determine the relevant complex structure matrices.

Key Contributions and Results

1. Necessary and Sufficient Entanglement Criterion:
The paper derives a necessary and sufficient condition for two-mode Gaussian entanglement in terms of $D_{sym}$.

• Theorem: Modes $A$ and $B$ are entangled if and only if:
  $$D_{sym} > D_c$$
  where $D_c$ is a critical threshold value determined by the purities of the individual modes and the combined system ($A, B$).
• This result places the intuition that "entanglement is encoded in the spatial support of the partner" on a firm quantitative footing. It demonstrates that entanglement requires not just a geometric overlap between a mode and its partner, but that this overlap must exceed a threshold dictated by the mixedness of the system (reflecting entanglement monogamy).

2. Geometric Interpretation of Correlations:

• $D_{sym}$ provides a direct geometric characterization of how correlations are distributed. If the partner of a localized mode is highly localized in a specific region, the correlations of that mode are predominantly encoded in that region.
• The measure is shown to be a symmetrized version of a previously proposed correlation measure, rendering it invariant under the exchange of modes $A$ and $B$.

3. Relation to Logarithmic Negativity in Weak Entanglement:

• In the regime of weak entanglement (typical for localized modes in QFT with non-overlapping supports), the authors show that the Logarithmic Negativity ($E_N$) is linearly proportional to the difference between the symmetric overlap and the threshold:
  $$E_N \approx w(\Delta) (D_{sym} - D_c)$$
  where $w(\Delta)$ is a positive factor depending on the purities of the subsystems.
• This establishes $D_{sym} - D_c$ as a useful proxy for entanglement in the weak-correlation regime.

4. Numerical Illustration (Ball-Shell Example):

• The framework is applied to a massive scalar field in Minkowski spacetime.
• Setup: Mode $A$ is supported in a ball of radius $R_A$, and Mode $B$ is supported in a concentric spherical shell.
• Findings:
  • The purification partner of the ball mode ($A$) is found to be non-compactly supported, decaying as a power law ($1/r^2$ and $1/r^4$), consistent with the Reeh-Schlieder theorem.
  • Numerical calculations confirm that $D_{sym} > D_c$ precisely when the Logarithmic Negativity is non-zero.
  • The entanglement decreases with increasing field mass and radial separation, and the linear approximation $E_N \approx w(\Delta)(D_{sym} - D_c)$ holds accurately for weak entanglement.

Significance and Claims

The authors claim that this work:

• Formalizes Intuition: It provides a rigorous, quantitative definition for the idea that the spatial structure of purification partners reveals the spatial distribution of entanglement.
• Unifies Geometry and Entanglement: It links the geometric overlap of modes (via their partners) directly to the algebraic condition for entanglement, offering a new perspective on entanglement in many-body systems and QFT.
• Offers a Practical Tool: The measure $D_{sym}$ is computationally accessible (requiring only the reduced state of the two modes) and serves as an effective indicator of entanglement, particularly in the weakly entangled regime common in QFT.
• Promotes Complex Phase Space Methods: The paper advocates for the use of complex structures and symplectic invariants as a powerful, basis-independent tool for analyzing correlations, arguing that this approach simplifies the verification of invariance under local unitaries.

The authors remain modest regarding applications, stating that the results apply to both quantum mechanical systems and quantum fields, and that the primary contribution is the theoretical framework and its validation through specific examples, rather than proposing new experimental protocols.