| Duan criterion | |
|---|---|
| Name | Duan criterion |
| Field | Quantum optics; quantum information |
| Introduced | 2000 |
| Introduced by | Lu-Ming Duan |
| Related | Peres–Horodecki criterion, Entanglement, Squeezed state |
Duan criterion
The Duan criterion is an inseparability criterion for detecting bipartite continuous-variable entanglement in Gaussian and non-Gaussian quantum states. Formulated in 2000 by Lu-Ming Duan and collaborators, it provides experimentally accessible inequalities based on combined quadrature variances and is widely used in quantum optics and continuous-variable quantum information to certify correlations that cannot be produced by any separable state.
The Duan criterion was introduced in the paper "Inseparability Criterion for Continuous Variable Systems" by Lu-Ming Duan, G. Giedke, J. I. Cirac and P. Zoller in 2000, contemporaneously with related work by R. Simon and later tied to the Peres–Horodecki criterion for continuous variables. It arose from efforts in the late 1990s to generalize discrete-variable entanglement tests (such as the Bell inequality and positive partial transpose) to systems described by canonical position and momentum-like operators. The criterion was immediately important for analyzing entanglement produced by optical devices such as optical parametric amplifiers and for proposals in quantum teleportation by Samuel L. Braunstein and H. J. Kimble and others using continuous-variable encodings.
The Duan criterion is expressed in terms of quadrature operators. For two modes A and B with canonical operators \hat{x}_A,\hat{p}_A,\hat{x}_B,\hat{p}_B (often implemented as amplitude and phase quadratures in optical modes), define collective operators u = \hat{x}_A - \hat{x}_B and v = \hat{p}_A + \hat{p}_B (or more generally weighted combinations). The Duan inequality states that for any separable state the sum of variances satisfies σ(u)^2 + σ(v)^2 ≥ 2, with units set by the vacuum noise normalization (ħ = 1/2 convention differences appear across literature). Violation of this bound implies inseparability. The criterion can be generalized by introducing real scaling parameters g to minimize variances: σ(\hat{x}_A - g\hat{x}_B)^2 + σ(\hat{p}_A + g^{-1}\hat{p}_B)^2 < (g^2 + g^{-2})/2, which yields an optimized test for asymmetric mode amplitudes. The derivation uses properties of separable density operators and the Heisenberg uncertainty principle; it is equivalent to a sufficient condition derived from the positivity of partial transpose for Gaussian states.
The Duan criterion is tailored for continuous-variable quantum information where information is encoded in quadratures rather than qubits. For two-mode Gaussian states such as two-mode squeezed vacuum produced by optical parametric down-conversion or parametric oscillators, the Duan inequality is necessary and sufficient for entanglement detection when restricted to Gaussian states and local symplectic operations. It relates closely to the covariance matrix formalism and symplectic eigenvalues: violation corresponds to a symplectic eigenvalue of the partially transposed covariance matrix falling below 1/2. The criterion therefore connects to theoretical tools like the Williamson's theorem used to diagonalize Gaussian covariance matrices and to entanglement measures such as the logarithmic negativity.
Compared to the Peres–Horodecki criterion (positive partial transpose, PPT), Duan is an experimentally friendly sufficient condition; for Gaussian states it is effectively equivalent to PPT, while for general non-Gaussian states it remains sufficient but not necessary. The Duan test is often contrasted with the Reid criterion for Einstein–Podolsky–Rosen (EPR) steering, with Reid inequalities addressing directional EPR steering via conditional variances. Other operational criteria include entropic inequalities based on Shannon entropy or criteria using higher-order moments (e.g., Hillery–Zubairy inequalities). In practice, Duan offers a compact variance-based witness compared with full state tomography or covariance matrix reconstruction.
The Duan criterion is routinely evaluated in laboratory setups using homodyne detection to measure optical quadratures. Experiments at institutions like Caltech, Max Planck Institute for the Science of Light, and University of Innsbruck have implemented two-mode squeezing and verified Duan violations. Typical platforms include continuous-wave and pulsed optical parametric oscillators, fiber-based squeezing, and optomechanical systems where mechanical motion couples to light. Homodyne or heterodyne detectors produce variance estimates; experimental protocols often apply local calibrations referencing the vacuum state noise and account for losses, detector inefficiency, and classical noise. The criterion's simplicity makes it attractive for real-time entanglement verification in quantum communication links such as those pursued by projects like continuous-variable quantum key distribution demonstrations.
Duan-verified entanglement underpins many continuous-variable protocols: quantum teleportation of coherent states, entanglement-assisted quantum cryptography (CV-QKD), entanglement swapping for quantum repeater proposals, and cluster-state generation for continuous-variable measurement-based quantum computation. The criterion is used in benchmarking sources for bosonic channel experiments and in validating entanglement resource states for protocols developed by researchers such as Samuel L. Braunstein, H. J. Kimble, and groups working on Gaussian quantum information.
Limitations include that Duan is sufficient but not always necessary for non-Gaussian states; some entangled states evade detection by second-moment inequalities. Losses and finite detection efficiency can mask violations, requiring careful correction or use of entanglement witnesses robust to imperfections. Extensions include multi-mode generalizations, incorporation into covariance-matrix-based entanglement criteria, and development of higher-moment witnesses and entropic criteria to capture non-Gaussian correlations. Theoretical work has connected Duan-type inequalities to resource-theoretic measures and to criteria for EPR steering and Bell nonlocality in continuous-variable systems.
Category:Quantum optics Category:Quantum information theory Category:Entanglement