---
title: Continuous-Variable Bipartite Gaussian States
url: https://www.emergentmind.com/topics/continuous-variable-bipartite-gaussian-states-4a2177f2-c71c-44c2-97a0-57e020fe9211
type: topic
---

# Continuous-Variable Bipartite Gaussian States

Continuous-variable bipartite Gaussian states are the central family of states for quantum information processing with bosonic modes (e.g., electromagnetic field modes). They are fully characterized by their first- and second-order moments and their structure, quantification, and operational properties underpin nearly all continuous-variable (CV) protocols, including entanglement distribution, teleportation, quantum key distribution, and measurement-based computation.

## 1. Mathematical Structure and Covariance Matrix Formalism

A bipartite Gaussian state describes two subsystems (modes), typically labeled $A$ and $B$, with canonical operators $\hat R = (q_A, p_A, q_B, p_B)^T$. The state is fully determined by its displacement vector $d = \langle \hat R \rangle$ and its $4\times4$ real symmetric covariance matrix (CM) $\sigma$:
\[
\sigma_{ij} = \frac{1}{2} \langle \Delta R_i \Delta R_j + \Delta R_j \Delta R_i \rangle, \quad \Delta R_i = R_i - \langle R_i \rangle
\]
By local phase-space displacements, the mean can be set to zero without loss of generality.

The CM has block structure:
\[
\sigma = \begin{pmatrix}
A & C \\
C^T & B
\end{pmatrix}
\]
where $A,B$ are $2\times2$ local covariance matrices for modes $A$ and $B$, $C$ contains intermodal correlations.

Physicality is guaranteed if $\sigma + i\Omega \geq 0$, where $\Omega = \omega \oplus \omega$ with $\omega = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}$ [1006.0837, 1401.4679].

## 2. Williamson Normal Form and Symplectic Invariants

Any CM can be brought via local symplectic transformations (corresponding to local Gaussian unitaries) to a standard form, particularly useful for entanglement and correlation analysis. Williamson’s theorem states that there exists $S \in \mathrm{Sp}(4,\mathbb{R})$ such that:
\[
\sigma = S^T D S,\qquad D = \operatorname{diag}(\nu_1, \nu_1, \nu_2, \nu_2)
\]
$\nu_1, \nu_2$ are the symplectic eigenvalues, uniquely defined and invariant under symplectic operations.

For bipartite systems, the four key symplectic invariants:
- $I_1 = \det A$
- $I_2 = \det B$
- $I_3 = \det C$
- $I_4 = \det \sigma$

The seralian $\Delta = I_1 + I_2 + 2I_3$ controls the global properties; the physicality constraint demands $\nu_{-} \geq 1$ (using units where $\hbar = 1$) [1401.4679].

## 3. Entanglement, Separability, and Nonlocality

### PPT and Entanglement Criteria

A bipartite Gaussian state is separable if and only if its partial transposed CM $\tilde{\sigma}$ also satisfies the bona fide condition. For partial transpose on mode $B$, replace $p_B \to -p_B$ (matrix $Λ = \operatorname{diag}(1,1,1,-1)$), resulting in:
\[
\tilde \sigma = Λ \sigma Λ
\]
Entanglement is detected if the smallest symplectic eigenvalue $\tilde{\nu}_-$ of $\tilde \sigma$ satisfies $\tilde{\nu}_- < 1$. The explicit algebraic Simon criterion [Simon 2000, 1401.4679, 2507.21264] is:
\[
4(nm-c_1^2)(nm-c_2^2) \leq n^2 + m^2 + 2|c_1c_2| - \frac{1}{4}
\]
where $n,m,c_1,c_2$ are the standard form CM entries.

### Nonlocality in Phase-Space

Nonlocality is analyzed via the Wigner-represented Bell function (Banaszek–Wódkiewicz). The maximal CHSH-type violation $B_{\max}$ is a nonlinear function of the CM. All nonlocally realized CV bipartite Gaussian states (i.e., states for which $B_{\max} > 2$) are entangled; however, not all entangled Gaussian states manifest Bell nonlocality. Entanglement is necessary but not sufficient for phase-space nonlocality [2507.21264].

## 4. Quantum Correlation Measures

### Logarithmic Negativity

For mixed states, the logarithmic negativity
\[
E_N = \max\left[0, -\log_2(2\tilde{\nu}_-)\right]
\]
quantifies the degree of distillable entanglement. For pure symmetric cases, $E_N = 2r$, where $r$ is the squeezing parameter [1006.0837, 1003.3207, 2506.09587, 1401.4679].

### Quantum (Gaussian) Discord and Maximal Correlation

Gaussian quantum discord quantifies quantum correlations that are not necessarily entanglement. For a bipartite Gaussian state, it can be computed analytically in terms of the symplectic invariants using closed-form expressions, particularly for squeezed thermal states [1003.3207, 1401.4679]. Discord is nonzero for all nonproduct Gaussian states, including some that are separable.

A computable correlation monotone is
\[
M^{(2)}(\rho_{AB}) = 1 - \frac{\det \sigma_{AB}}{\det \sigma_A \det \sigma_B}
\]
which is zero only for product states and efficiently computable from the CM [2001.01244]. Quantum maximal correlation for Gaussian states admits the closed-form
\[
\mu(\rho_{AB}) = \left\|\Gamma_A^{-1/2} \Gamma_{AB} \Gamma_B^{-1/2}\right\|_{\mathrm{op}}
\]
and can be further restricted to Hermitian linear observables (Gaussian maximal correlation), serving as resource measures for local Gaussian operations [2303.07155].

## 5. Experimental Preparation and Characterization

Bipartite Gaussian states are typically prepared in CV optics via:
- Sub-threshold or above-threshold optical parametric amplification (type-II OPO) [1006.0837, 2506.09587]
- Multiport interferometers and local squeezers [1904.11748]

Characterization is achieved via full CM reconstruction. Single-mode and joint homodyne measurements, pattern-function tomography, and ancilla-assisted phase evolution schemes can be used to recover all CM elements with statistical control [1006.0837, 1707.01966].

## 6. Robustness, Decoherence, and Bound Entanglement

Gaussian entanglement is susceptible to losses and decoherence. Robustness classes (fully, partially, and fragile) can be determined analytically using CM witnesses and explicit loss models:
\[
\sigma' = L[\sigma - I]L + I,\quad L = \operatorname{diag}(\sqrt{\eta_1},\sqrt{\eta_1},\sqrt{\eta_2},\sqrt{\eta_2})
\]
where $\eta_j$ are channel transmissivities. Entanglement sudden death occurs when attenuation pushes $\tilde{\nu}_-$ above unity, even if the initial state is highly squeezed [1009.4255, 2506.09587].

Bound entangled CV Gaussian states (PPT yet nonseparable) exist in $2 \times 2$-mode systems and can be constructed with multiport interferometers and controlled squeezing [1904.11748]. The phase diagram in the $(squeezing, thermal~occupancy)$ plane identifies separable, bound entangled, and freely entangled regimes.

## 7. Operational Role in Quantum Information and Computation

Bipartite Gaussian states are the building blocks for CV quantum communication, computation, and sensing:
- Resource states for continuous-variable cluster states in measurement-based computation and for optimal teleportation and dense coding [1008.4855]
- EPR steering: bipartite Gaussian states show rich steering structure, with regimes where non-Gaussian measurements (pseudospins) outperform Gaussian (quadrature) measurements in steering detection [1707.07192]
- Device-independent tasks: only sufficiently strongly entangled (and pure) Gaussian states exhibit Bell nonlocality, essential for secure protocols [2507.21264]

Maximal bipartite entanglement extraction from multimode squeezed light requires finding the optimal measurement mode basis. The maximally-squeezed (MSq) basis, determined directly from the global CM by minimizing the smallest symplectic eigenvalue, yields maximal entanglement in the extracted bipartite state, outperforming first-order coherence or Williamson–Euler bases, especially in the presence of multimode structure and loss [2506.09587].

---

For references to foundational methods and representative experimental strategies, see [1006.0837], [1707.01966], [1904.11748], [2506.09587]. For quantum correlation quantifiers and their operational significance, see [1003.3207], [1401.4679], [2001.01244], [2303.07155]. The entanglement-nonlocality relationship and resource-theoretic context are addressed in [2507.21264]. Robustness and decoherence analyses are treated in [1009.4255], while cluster-state entanglement and computational implications are covered in [1008.4855]. EPR steering subtleties, including non-Gaussian witness approaches, are outlined in [1707.07192]. For Gaussian bound entanglement and protocols, see [1904.11748].

Source: https://www.emergentmind.com/topics/continuous-variable-bipartite-gaussian-states-4a2177f2-c71c-44c2-97a0-57e020fe9211