Quantum entanglement in phase space

This paper proposes novel, tight criteria for detecting entanglement in continuous variable systems using Wigner function measurements, offering a practical alternative to quadrature-based methods for platforms where homodyne detection is challenging.

The Gist

Imagine you are trying to figure out if two people, Alice and Bob, are secretly communicating with each other (entangled) or if they are just acting independently. In the quantum world, this is called entanglement.

Usually, scientists check for this connection by measuring specific "coordinates" of their quantum states, like their position and momentum. Think of this like trying to understand a complex dance by only watching the dancers' feet. It works, but it's hard to do in some experimental setups (like trapped ions or superconducting circuits) because you can't easily "see" the feet.

This paper introduces a new, easier way to check for this secret connection. Instead of looking at the feet, the authors suggest looking at the entire dance floor at once using a special map called the Wigner function.

The Problem: The 4D Map is Too Big

The "dance floor" for two quantum particles is actually four-dimensional (two coordinates for Alice, two for Bob). Mapping the whole thing is like trying to photograph a 3D object with a 2D camera; you need to take millions of pictures from every angle to reconstruct the full picture. This is called "full tomography," and it takes a huge amount of time and resources.

The Solution: Looking at a Single Slice

The authors realized you don't need the whole 4D map to know if Alice and Bob are connected. You just need to look at a specific 2D slice of that map.

Imagine the 4D dance floor is a giant, multi-layered cake.

• Old Method: You have to eat the entire cake, layer by layer, to find the hidden message (entanglement).
• New Method: You just need to cut a specific slice of the cake. If that slice looks "weird" (violates a specific rule), you know the whole cake is connected, even without eating the rest.

The Three Rules (The Criteria)

The paper proposes three simple rules to check this slice. Think of these as "traffic laws" for the quantum dance floor. If the dancers break these laws, they must be cheating (entangled).

1. The "Too Bright" Rule (Criterion I):
   Imagine the Wigner function is a photo where brightness represents probability. For normal, unconnected dancers, the photo can never be too bright in any specific spot. If you take a slice of the photo and the brightness exceeds a certain limit, it's impossible for them to be unconnected. They must be entangled.

   • Analogy: If you see a shadow that is brighter than the light source casting it, something is wrong with your assumption that the objects are separate.

2. The "Too Correlated" Rule (Criterion II):
   This rule checks how much the dancers move together. If you look at the slice and the "correlation" (how much they match) is stronger than what is physically possible for two independent people, they are entangled.

   • Analogy: If two people are flipping coins in different rooms, they shouldn't get "Heads" 99% of the time simultaneously. If they do, they are cheating.

3. The "Negative Shadow" Rule (Criterion III):
   In the quantum world, the "Wigner function" can sometimes be negative (which sounds impossible, like a negative amount of sugar). For independent dancers, the total "weight" of their slice should always be positive. If the total weight turns out to be negative, it's a smoking gun for entanglement.

   • Analogy: If you add up the debts and assets of two separate people and the total is a "negative number" that shouldn't exist, they are likely sharing a secret account.

Why This Matters

• It's Easier: You don't need to map the whole 4D universe. You just need to measure a 2D slice. This saves a massive amount of time and data.
• It Works Everywhere: This method works for "Gaussian" states (smooth, bell-curve shapes) and "Non-Gaussian" states (weird, jagged shapes like Schrödinger's cat states).
• It's Stronger: For some tricky quantum states, old methods said "I don't know," but this new method says "Yes, they are definitely entangled."

The Bottom Line

The authors have found a shortcut. Instead of trying to solve a massive 4D puzzle to prove two quantum particles are linked, they showed you can solve a tiny 2D puzzle instead. If that tiny puzzle breaks the rules of physics, you know the particles are entangled. This makes it much easier for scientists to build and test future quantum computers and sensors.

Technical Summary

Here is a detailed technical summary of the paper "Quantum entanglement in phase space" by Liu et al.

1. Problem Statement

Detecting entanglement in continuous variable (CV) quantum systems is a fundamental task in quantum information. The standard approach relies on quadrature measurements (position $\hat{x}$ and momentum $\hat{p}$), leading to criteria such as the Simon and Duan criteria. These methods require measuring the full covariance matrix or specific linear combinations of quadratures.

However, many prominent CV platforms—such as trapped ions, circuit QED, and cavity QED—do not naturally support direct homodyne quadrature measurements. Instead, these systems typically allow for displaced parity measurements, which directly yield values of the Wigner function $W(\xi)$ in phase space. While the joint Wigner function $W_{AB}$ contains complete information about a bipartite system, reconstructing it fully (quantum tomography) is experimentally expensive and resource-intensive.

The Core Challenge: Can entanglement be detected efficiently using only a partial slice of the joint Wigner function, without requiring full state tomography or quadrature measurements?

2. Methodology

The authors propose a framework for entanglement detection based on linear transformations of phase-space coordinates applied to the joint Wigner function.

• Coordinate Transformation: They consider a linear transformation of the coordinates of subsystem $B$:
  $$\begin{pmatrix} x' \\ p' \end{pmatrix} = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \begin{pmatrix} x \\ p \end{pmatrix} + \begin{pmatrix} x_0 \\ p_0 \end{pmatrix}$$
  where the determinant $\Delta = ad - bc = \pm 1$.

  • $\Delta = +1$: Represents a symplectic (unitary) transformation.
  • $\Delta = -1$: Represents a mirror reflection (anti-unitary, equivalent to partial transposition in the density matrix formalism).

• Entanglement Witnesses: The authors derive three distinct criteria based on integrals over a 2D slice of the 4D joint Wigner function $W_{AB}(x_A, p_A, x_B, p_B)$, where the coordinates of $B$ are constrained to be linear functions of $A$ (specifically $x' = x \cos \theta, p' = p \cos \theta$ and $x'' = x \sin \theta, p'' = p \sin \theta$).

  The three criteria are:

  1. Criterion (I): Based on the upper bound of the Wigner function for physical states.
     $$\int_{-\infty}^{\infty} W_{AB}(x \cos \theta, p \cos \theta, x' \sin \theta, p' \sin \theta) \, dx dp \leq \frac{1}{2\pi}$$
     Requires $\Delta = -1$ (partial transposition).
  2. Criterion (II): Based on the Cauchy-Schwarz inequality and the purity of reduced states.
     $$\int_{R} |W_{AB}(x \cos \theta, p \cos \theta, x' \sin \theta, p' \sin \theta)| \, dx dp \leq \frac{1}{2\pi |\sin 2\theta|}$$
     Requires $\Delta = -1$.
  3. Criterion (III): Based on the non-negativity of the overlap (fidelity) between modes for separable states.
     $$\int_{-\infty}^{\infty} W_{AB}(x, p, x', p') \, dx dp \geq 0$$
     Requires $\Delta = +1$ (unitary transformation).

• Optimization: The authors provide a method to optimize the transformation parameters ($a,b,c,d$) and the angle $\theta$ to maximize the violation of these inequalities, thereby detecting entanglement with the highest sensitivity.

3. Key Contributions

• Novel Detection Mechanism: The paper establishes that entanglement can be certified directly from Wigner function measurements (displaced parity), bypassing the need for homodyne detection.
• Reduction of Measurement Complexity: Unlike full tomography which requires characterizing the entire 4D phase space, these criteria only require measuring a 2D slice (or even a single point in specific cases), significantly reducing experimental overhead.
• Theoretical Unification:
  • Criterion (I) is proven to be necessary and sufficient for Gaussian states, mathematically equivalent to the Simon/Duan criteria and the Peres-Horodecki (PPT) criterion. It provides a lower bound on entanglement negativity.
  • Criterion (II) is linked to the Computable Cross Norm or Realignment (CCNR) criterion.
  • Criterion (III) connects to the detection of Wigner negativity in reduced states after beam-splitter transformations.
• Experimental Feasibility: The authors demonstrate that these criteria are robust against discretization errors (sampling grid spacing) and propose a randomized measurement protocol (scanning displacements) that reduces the number of required measurement rounds ($M$) to just 1 or 2, compared to $D^4$ for full tomography.

4. Results

The authors validated their criteria on several experimentally relevant states:

• Two-Mode Squeezed Thermal (TMST) States (Gaussian):

  • Criterion (I) is necessary and sufficient, detecting entanglement for all entangled TMST states (matching the Simon criterion).
  • Criterion (II) detects a subset of these states but is strictly weaker than (I) for Gaussian states.
  • Existing criteria based on Wigner negativity (e.g., Refs [11, 12]) fail to detect entanglement in Gaussian states because their Wigner functions are always positive.

• Werner States (Non-Gaussian/Mixed):

  • For the state $\rho(\Phi^+)$, Criteria (I) and (II) detect entanglement for mixing parameter $\epsilon > 1/3$, matching the tight PPT bound.
  • For the state $\rho(\Psi^+)$, Criterion (III) detects entanglement for $\epsilon > 1/3$, also matching the PPT bound.
  • The criteria successfully detect entanglement where other Wigner-based criteria (like those relying solely on negativity) might be less tight or require full state knowledge.

• Dephased Two-Mode Cat States (Non-Gaussian):

  • Criteria (I) and (II) successfully detect entanglement for any non-zero dephasing and coherent amplitude ($\gamma, \epsilon > 0$).
  • These criteria outperform previous Wigner-based entanglement witnesses for these states.
  • The authors show that for Criterion (II), the integration region $R$ can be restricted to a small area (e.g., the central "yellow circle" in Fig 3a) where the Wigner function is concentrated, further reducing measurement time.

5. Significance

• Platform Independence: This work bridges the gap between theoretical entanglement detection and experimental realities in platforms like circuit QED and trapped ions, where homodyne detection is difficult but parity measurements are standard.
• Resource Efficiency: By requiring only partial information (a slice of the Wigner function) rather than full tomography, the method offers a two-order-of-magnitude reduction in measurement resources compared to Bell inequality tests or full state reconstruction.
• Robustness: The criteria are shown to be robust against finite sampling resolution and statistical noise, making them practical for current experimental setups.
• Theoretical Insight: The work clarifies the deep connections between phase-space representations (Wigner functions), partial transposition, and established entanglement measures (Negativity, CCNR), providing a unified geometric view of entanglement detection.

In summary, the paper provides a practical, experimentally friendly, and theoretically rigorous toolkit for detecting entanglement in continuous variable systems using direct phase-space measurements, applicable to both Gaussian and non-Gaussian states.