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/0409047 · Physical Review A

Detecting two-party quantum correlations in quantum-key-distribution protocols

Marcos Curty, Otfried Gühne, Maciej Lewenstein, Norbert Lütkenhaus

Published Feb 11, 2005• 52 citations
arXivHTMLPDF

Abstract

A necessary precondition for secure quantum key distribution is that sender and receiver can prove the presence of entanglement in a quantum state that is effectively distributed between them. In order to deliver this entanglement proof one can use the class of entanglement witness (EW) operators that can be constructed from the available measurements results. This class of EWs can be used to provide a necessary and sufficient condition for the existence of quantum correlations even when a quantum state cannot be completely reconstructed. The set of optimal EWs for two well-known entanglement-based (EB) schemes, the six-state and the four-state EB protocols, has been obtained recently [M. Curty et al., Phys. Rev. Lett. 92, 217903 (2004).] Here we complete these results, now showing specifically the analysis for the case of prepare and measure (PM) schemes. For this, we investigate the signal states and detection methods of the four-state and the two-state PM schemes. For each of these protocols we obtain a reduced set of EWs. More importantly, each set of EWs can be used to derive a necessary and sufficient condition to prove that quantum correlations are present in these protocols.

DOI
10.1103/physreva.71.022306

Related papers

Quantum Correlations for Quantum Key Distribution Protocols

Marcos Curty

A necessary precondition for secure quantum key distribution (QKD) is that sender and receiver can prove the presence of entanglement in a quantum state that is effectively distributed between them. In order to deliver this entanglement proof one can use the class of entanglement witness operators that can be constructed from the available measurements results. This criterion provides a necessary and sufficient condition for the existence of quantum correlations even when a quantum state cannot be completely reconstructed. We apply such analysis to three well‐known qubit‐based QKD protocols, namely the 6‐state, the 4‐state and the 2‐state protocols.

AIP conference proceedings•Jan 1, 2004•1 citation

Entanglement as a Precondition for Secure Quantum Key Distribution

Marcos Curty, Maciej Lewenstein, Norbert Lütkenhaus

We demonstrate that a necessary precondition for an unconditionally secure quantum key distribution is that both sender and receiver can use the available measurement results to prove the presence of entanglement in a quantum state that is effectively distributed between them. One can thus systematically search for entanglement using the class of entanglement witness operators that can be constructed from the observed data. We apply such analysis to two well-known quantum key distribution protocols, namely, the 4-state protocol and the 6-state protocol. As a special case, we show that, for some asymmetric error patterns, the presence of entanglement can be proven even for error rates above 25% (4-state protocol) and 33% (6-state protocol).

arXiv:quant-ph/0307151•Physical Review Letters•May 27, 2004•330 citations

Optimization of entanglement witnesses

Maciej Lewenstein, Barbara Kraus, J. I. Cirac +1 more

An entanglement witness (EW) is an operator that allows the detection of entangled states. We give necessary and sufficient conditions for such operators to be optimal, i.e., to detect entangled states in an optimal way. We show how to optimize general EW, and then we particularize our results to the nondecomposable ones; the latter are those that can detect positive partial transpose entangled states (PPTES's). We also present a method to systematically construct and optimize this last class of operators based on the existence of ``edge'' PPTES's, i.e., states that violate the range separability criterion [Phys. Lett. A 232, 333 (1997)] in an extreme manner. This method also permits a systematic construction of nondecomposable positive maps (PM's). Our results lead to a sufficient condition for entanglement in terms of nondecomposable EW's and PM's. Finally, we illustrate our results by constructing optimal EW acting on $H={C}^{2}\ensuremath{\bigotimes}{C}^{4}.$ The corresponding PM's constitute examples of PM's with minimal ``qubit'' domains, or---equivalently---minimal Hermitian conjugate codomains.

arXiv:quant-ph/0005014•Physical Review A•Oct 16, 2000•684 citations

Detecting quantum correlations for quantum key distribution

Marcos Curty, Otfried Gühne, Maciej Lewenstein +1 more

Practical quantum key distribution can be understood as a two-step procedure: in a first step two parties exchange quantum mechanical signals and perform measurements on them, in a second step auxiliary classical communication protocols are performed over an authenticated public channel to transform the data of the first step into an information-theoretic secure key. In this article we address the question of necessary conditions on the correlated (classical) data of the first step such that there can be a successful second step at all. As it turns out, a necessary condition is that these data, together with the knowledge about the physical set-up of sender and receiver, allow to establish a proof of effective entanglement between the two parties. We then demonstrate methods to systematically search for such a proof in basic settings, involving the 2-, 4-, and 6-state protocols.

Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE•Jan 11, 2005•1 citation

Determining the existence of the common entanglement witnesses for some entangled states

Yu-Chun Wu, Guang‐Can Guo

Entanglement witnesses (EWs) are nonpositive Hermitian operators which can detect the presence of entanglement. In this paper, we prove that for a given pair of entangled states ${\ensuremath{\rho}}_{1}$ and ${\ensuremath{\rho}}_{2}$ an EW, $W$, common to both of them exists if and only if for all $0\ensuremath{\leqslant}\ensuremath{\lambda}\ensuremath{\leqslant}1$, $\ensuremath{\lambda}{\ensuremath{\rho}}_{1}+(1\ensuremath{-}\ensuremath{\lambda}){\ensuremath{\rho}}_{2}$ is an entangled state. Based on this result, we find a sufficient condition for the presence of entanglement. We then show that an EW which can detect all bell states simultaneously does not exist.

Physical Review A•May 24, 2007•13 citations

Accessible nonlinear entanglement witnesses

Juan Miguel Arrazola, Oleg Gittsovich, Norbert Lütkenhaus

Verification of entanglement is an important tool to characterize sources and devices for use in quantum computing and communication applications. In a vast majority of experiments entanglement witnesses (EWs) are used in order to prove the presence of entanglement in a quantum state. EWs can be constructed from available measurement results and do not require a reconstruction of the whole density matrix (full tomography), which is especially valuable for high-dimensional systems. We provide a method to construct accessible nonlinear EWs, which incorporate two important properties. First, they improve on linear EWs in the sense that each nonlinear EW detects more entangled states than its linear counterpart and therefore allows the verification of entanglement without critical dependence on having found the ``right'' linear witness. Second, they can be evaluated using exactly the same data as for the evaluation of the original linear witness. This allows a reanalysis of published experimental data to strengthen statements about entanglement verification without the requirement to perform additional measurements. These particular properties make the accessible nonlinear EWs attractive for the implementations in current experiments, for they can also enhance the statistical significance of the entanglement verification.

arXiv:1203.1239•Physical Review A•Jun 28, 2012•23 citations
A necessary precondition for secure quantum key distribution is that sender and receiver can prove the presence of entanglement in a quantum state that is effectively distributed between them. In order to deliver this entanglement proof one can use the class of entanglement witness (EW) operators that can be constructed from the available measurements results. This class of EWs can be used to provide a necessary and sufficient condition for the existence of quantum correlations even when a quantum state cannot be completely reconstructed. The set of optimal EWs for two well-known entanglement-based (EB) schemes, the six-state and the four-state EB protocols, has been obtained recently [M. Curty et al., Phys. Rev. Lett. 92, 217903 (2004).] Here we complete these results, now showing specifically the analysis for the case of prepare and measure (PM) schemes. For this, we investigate the signal states and detection methods of the four-state and the two-state PM schemes. For each of these protocols we obtain a reduced set of EWs. More importantly, each set of EWs can be used to derive a necessary and sufficient condition to prove that quantum correlations are present in these protocols.
A necessary precondition for secure quantum key distribution (QKD) is that sender and receiver can prove the presence of entanglement in a quantum state that is effectively distributed between them. In order to deliver this entanglement proof one can use the class of entanglement witness operators that can be constructed from the available measurements results. This criterion provides a necessary and sufficient condition for the existence of quantum correlations even when a quantum state cannot be completely reconstructed. We apply such analysis to three well‐known qubit‐based QKD protocols, namely the 6‐state, the 4‐state and the 2‐state protocols.
We demonstrate that a necessary precondition for an unconditionally secure quantum key distribution is that both sender and receiver can use the available measurement results to prove the presence of entanglement in a quantum state that is effectively distributed between them. One can thus systematically search for entanglement using the class of entanglement witness operators that can be constructed from the observed data. We apply such analysis to two well-known quantum key distribution protocols, namely, the 4-state protocol and the 6-state protocol. As a special case, we show that, for some asymmetric error patterns, the presence of entanglement can be proven even for error rates above 25% (4-state protocol) and 33% (6-state protocol).
An entanglement witness (EW) is an operator that allows the detection of entangled states. We give necessary and sufficient conditions for such operators to be optimal, i.e., to detect entangled states in an optimal way. We show how to optimize general EW, and then we particularize our results to the nondecomposable ones; the latter are those that can detect positive partial transpose entangled states (PPTES's). We also present a method to systematically construct and optimize this last class of operators based on the existence of ``edge'' PPTES's, i.e., states that violate the range separability criterion [Phys. Lett. A 232, 333 (1997)] in an extreme manner. This method also permits a systematic construction of nondecomposable positive maps (PM's). Our results lead to a sufficient condition for entanglement in terms of nondecomposable EW's and PM's. Finally, we illustrate our results by constructing optimal EW acting on $H={C}^{2}\ensuremath{\bigotimes}{C}^{4}.$ The corresponding PM's constitute examples of PM's with minimal ``qubit'' domains, or---equivalently---minimal Hermitian conjugate codomains.
Practical quantum key distribution can be understood as a two-step procedure: in a first step two parties exchange quantum mechanical signals and perform measurements on them, in a second step auxiliary classical communication protocols are performed over an authenticated public channel to transform the data of the first step into an information-theoretic secure key. In this article we address the question of necessary conditions on the correlated (classical) data of the first step such that there can be a successful second step at all. As it turns out, a necessary condition is that these data, together with the knowledge about the physical set-up of sender and receiver, allow to establish a proof of effective entanglement between the two parties. We then demonstrate methods to systematically search for such a proof in basic settings, involving the 2-, 4-, and 6-state protocols.
Entanglement witnesses (EWs) are nonpositive Hermitian operators which can detect the presence of entanglement. In this paper, we prove that for a given pair of entangled states ${\ensuremath{\rho}}_{1}$ and ${\ensuremath{\rho}}_{2}$ an EW, WWW, common to both of them exists if and only if for all $0\ensuremath{\leqslant}\ensuremath{\lambda}\ensuremath{\leqslant}1$, $\ensuremath{\lambda}{\ensuremath{\rho}}_{1}+(1\ensuremath{-}\ensuremath{\lambda}){\ensuremath{\rho}}_{2}$ is an entangled state. Based on this result, we find a sufficient condition for the presence of entanglement. We then show that an EW which can detect all bell states simultaneously does not exist.
Verification of entanglement is an important tool to characterize sources and devices for use in quantum computing and communication applications. In a vast majority of experiments entanglement witnesses (EWs) are used in order to prove the presence of entanglement in a quantum state. EWs can be constructed from available measurement results and do not require a reconstruction of the whole density matrix (full tomography), which is especially valuable for high-dimensional systems. We provide a method to construct accessible nonlinear EWs, which incorporate two important properties. First, they improve on linear EWs in the sense that each nonlinear EW detects more entangled states than its linear counterpart and therefore allows the verification of entanglement without critical dependence on having found the ``right'' linear witness. Second, they can be evaluated using exactly the same data as for the evaluation of the original linear witness. This allows a reanalysis of published experimental data to strengthen statements about entanglement verification without the requirement to perform additional measurements. These particular properties make the accessible nonlinear EWs attractive for the implementations in current experiments, for they can also enhance the statistical significance of the entanglement verification.