Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:quant-ph/0510022 · Physical Review A

Entanglement verification for quantum-key-distribution systems with an underlying bipartite qubit-mode structure

Johannes Rigas, Otfried Gühne, Norbert Lütkenhaus

Published Jan 30, 2006• 60 citations
arXivHTMLPDF

Abstract

We consider entanglement detection for quantum-key-distribution systems that use two signal states and continuous-variable measurements. This problem can be formulated as a separability problem in a qubit-mode system. To verify entanglement, we introduce an object that combines the covariance matrix of the mode with the density matrix of the qubit. We derive necessary separability criteria for this scenario. These criteria can be readily evaluated using semidefinite programming and we apply them to the specific quantum key distribution protocol.

DOI
10.1103/physreva.73.012341

Related papers

Testing quantum devices: Practical entanglement verification in bipartite optical systems

Hauke Häseler, Tobias Moroder, Norbert Lütkenhaus

We present a method to test quantum behavior of quantum information processing devices, such as quantum memories, teleportation devices, channels, and quantum key distribution protocols. The test of quantum behavior can be phrased as the verification of effective entanglement. Necessary separability criteria are formulated in terms of a matrix of expectation values in conjunction with the partial transposition map. Our method is designed to reduce the resources for entanglement verification. A particular protocol based on coherent states and homodyne detection is used to illustrate the method. A possible test for the quantum nature of memories using two nonorthogonal signal states arises naturally. Furthermore, closer inspection of the measurement process in terms of the Stokes operators reveals a security threat for quantum key distribution involving phase reference beams.

arXiv:0711.2709•Physical Review A•Mar 4, 2008•89 citations

Scalable multipartite entanglement criteria for continuous variables

Xiaoyu Chen

Multipartite entanglement detection is crucial for the develop of quantum information science and quantum computation, communication, simulation and metrology tasks. In contrast to experiments, where several handreds of qubits have been entangled to build a quantum computer or a quantum simulator, theoretically only for lower dimensional quantum system such as two qubit system or two-mode Gaussian state and some special quantum states, efficient criteria have been developed to detect the entanglement. An efficient and practical entanglement detection method is anticipated to appear for current scalable quantum system. Based on the matched entanglement witness scheme and integrated uncertainty relations, we propose a quite general entanglement detection method for all kinds of multipartite entanglement of multimode continuous variable systems. With the covariance matrix of any randomly generated multimode continuous variable quantum state, our criterion can detect entanglement, genuine entanglement and other kinds of inseparabilities almost imidiately.

arXiv:2411.03083•Nov 5, 2024•0 citations

Matched entanglement witness criteria for continuous variables

Xiaoyu Chen, Maoke Miao, Rui Yin +1 more

We use quantum entanglement witnesses derived from Gaussian operators to study the separable criteria of continuous variable states. We transform the validity of a Gaussian witness to a Bosonic Gaussian channel problem. It follows that the maximal means of two-mode and some four-mode Gaussian operators over product pure states are achieved by vacuum (or coherent states and squeezed states) according to the properties of Bosonic Gaussian channels. Then we have necessary and sufficient criteria of separability not only for Gaussian quantum states, but also for non-Gaussian states prepared by photon adding to or/and subtracting from Gaussian states. The criterion can be further explicitly expressed with covariance matrix of the Gaussian state or covariance matrix of Gaussian kernel of the non-Gaussian state. This opens a way for precise detection of non-Gaussian entanglement.

arXiv:2208.12425•Aug 26, 2022•0 citations

Characterizing Entanglement via Uncertainty Relations

Otfried Gühne

We derive a family of necessary separability criteria for finite-dimensional systems based on inequalities for variances of observables. We show that every pure bipartite entangled state violates some of these inequalities. Furthermore, a family of bound entangled states and true multipartite entangled states can be detected. The inequalities also allow us to distinguish between different classes of true tripartite entanglement for qubits. We formulate an equivalent criterion in terms of covariance matrices. This allows us to apply criteria known from the regime of continuous variables to finite-dimensional systems.

arXiv:quant-ph/0306194•Physical Review Letters•Mar 18, 2004•295 citations

Entanglement Detection: Complexity and Shannon Entropic Criteria

Yichen Huang

Entanglement plays a key role in quantum information. The separability problem arises: how to prove that a given quantum state is entangled? Covariance-matrix-based entanglement criteria are the most important and widely used approach to this problem in continuous variable systems. Here, the separability problem is systematically studied in the more experimentally realistic setting that the questioned state is only partly known. A simple general formalism is proposed for this variant of the separability problem. It builds relations between certain classes of criteria and bounds the power of these criteria. In particular, it shows the equivalence of many seemingly different covariance-matrix-based criteria; it offers guidance on the study of and reveals the inherent limitations of covariance-matrix-based criteria. Also, a Shannon entropic criterion is proposed for m ⊕ n-mode states. It unifies and improves many known covariance-matrix-based criteria and Shannon entropic criteria; it is necessary and sufficient for 1 ⊕ n-mode Gaussian states and m ⊕ n-mode bisymmetric Gaussian states.

IEEE Transactions on Information Theory•May 21, 2013•19 citations

Separability criteria based on the Bloch representation of density matrices

Juan de Vicente

We study the separability of bipartite quantum systems in arbitrary dimensions using the Bloch representation of their density matrix. This approach enables us to find an alternative characterization of the separability problem, from which we derive a necessary condition and sufficient conditions for separability. For a certain class of states the necessary condition and a sufficient condition turn out to be equivalent, therefore yielding a necessary and sufficient condition. The proofs of the sufficient conditions are constructive, thus providing decompositions in pure product states for the states that satisfy them. We provide examples that show the ability of these conditions to detect entanglement. In particular, the necessary condition is proved to be strong enough to detect bound entangled states.

arXiv:quant-ph/0607195•Quantum Information and Computation•Sep 1, 2007•99 citations
We consider entanglement detection for quantum-key-distribution systems that use two signal states and continuous-variable measurements. This problem can be formulated as a separability problem in a qubit-mode system. To verify entanglement, we introduce an object that combines the covariance matrix of the mode with the density matrix of the qubit. We derive necessary separability criteria for this scenario. These criteria can be readily evaluated using semidefinite programming and we apply them to the specific quantum key distribution protocol.
We present a method to test quantum behavior of quantum information processing devices, such as quantum memories, teleportation devices, channels, and quantum key distribution protocols. The test of quantum behavior can be phrased as the verification of effective entanglement. Necessary separability criteria are formulated in terms of a matrix of expectation values in conjunction with the partial transposition map. Our method is designed to reduce the resources for entanglement verification. A particular protocol based on coherent states and homodyne detection is used to illustrate the method. A possible test for the quantum nature of memories using two nonorthogonal signal states arises naturally. Furthermore, closer inspection of the measurement process in terms of the Stokes operators reveals a security threat for quantum key distribution involving phase reference beams.
Multipartite entanglement detection is crucial for the develop of quantum information science and quantum computation, communication, simulation and metrology tasks. In contrast to experiments, where several handreds of qubits have been entangled to build a quantum computer or a quantum simulator, theoretically only for lower dimensional quantum system such as two qubit system or two-mode Gaussian state and some special quantum states, efficient criteria have been developed to detect the entanglement. An efficient and practical entanglement detection method is anticipated to appear for current scalable quantum system. Based on the matched entanglement witness scheme and integrated uncertainty relations, we propose a quite general entanglement detection method for all kinds of multipartite entanglement of multimode continuous variable systems. With the covariance matrix of any randomly generated multimode continuous variable quantum state, our criterion can detect entanglement, genuine entanglement and other kinds of inseparabilities almost imidiately.
We use quantum entanglement witnesses derived from Gaussian operators to study the separable criteria of continuous variable states. We transform the validity of a Gaussian witness to a Bosonic Gaussian channel problem. It follows that the maximal means of two-mode and some four-mode Gaussian operators over product pure states are achieved by vacuum (or coherent states and squeezed states) according to the properties of Bosonic Gaussian channels. Then we have necessary and sufficient criteria of separability not only for Gaussian quantum states, but also for non-Gaussian states prepared by photon adding to or/and subtracting from Gaussian states. The criterion can be further explicitly expressed with covariance matrix of the Gaussian state or covariance matrix of Gaussian kernel of the non-Gaussian state. This opens a way for precise detection of non-Gaussian entanglement.
We derive a family of necessary separability criteria for finite-dimensional systems based on inequalities for variances of observables. We show that every pure bipartite entangled state violates some of these inequalities. Furthermore, a family of bound entangled states and true multipartite entangled states can be detected. The inequalities also allow us to distinguish between different classes of true tripartite entanglement for qubits. We formulate an equivalent criterion in terms of covariance matrices. This allows us to apply criteria known from the regime of continuous variables to finite-dimensional systems.
Entanglement plays a key role in quantum information. The separability problem arises: how to prove that a given quantum state is entangled? Covariance-matrix-based entanglement criteria are the most important and widely used approach to this problem in continuous variable systems. Here, the separability problem is systematically studied in the more experimentally realistic setting that the questioned state is only partly known. A simple general formalism is proposed for this variant of the separability problem. It builds relations between certain classes of criteria and bounds the power of these criteria. In particular, it shows the equivalence of many seemingly different covariance-matrix-based criteria; it offers guidance on the study of and reveals the inherent limitations of covariance-matrix-based criteria. Also, a Shannon entropic criterion is proposed for m ⊕ n-mode states. It unifies and improves many known covariance-matrix-based criteria and Shannon entropic criteria; it is necessary and sufficient for 1 ⊕ n-mode Gaussian states and m ⊕ n-mode bisymmetric Gaussian states.
We study the separability of bipartite quantum systems in arbitrary dimensions using the Bloch representation of their density matrix. This approach enables us to find an alternative characterization of the separability problem, from which we derive a necessary condition and sufficient conditions for separability. For a certain class of states the necessary condition and a sufficient condition turn out to be equivalent, therefore yielding a necessary and sufficient condition. The proofs of the sufficient conditions are constructive, thus providing decompositions in pure product states for the states that satisfy them. We provide examples that show the ability of these conditions to detect entanglement. In particular, the necessary condition is proved to be strong enough to detect bound entangled states.