Abstract
It is challenging task to detect and measure genuine multipartite entanglement. We investigate the problem by considering the average based positive partial transposition(PPT) criterion and the realignment criterion. Sufficient conditions for detecting genuine tripartite entanglement are presented. We also derive lower bounds for the genuine tripartite entanglement concurrence with respect to the conditions. While the PPT criterion and the realignment criterion are powerful for detecting bipartite entanglement and for providing lower bounds of bipartite concurrences, our results give an effective operational way to detect and measure the genuine tripartite entanglement.
Similar content being viewed by others
Introduction
Quantum entanglement is recognized as a remarkable resource in the rapidly expanding field of quantum information science, with various applications1. A multipartite quantum state that is not separable with respect to any bi-partition is said to be genuinely multipartite entangled(GME)2, which is one of the important type of entanglement, and offers significant advantage in quantum tasks comparing with bipartite entanglement3. In particular, it is the basic ingredient in measurement-based quantum computation4, and is beneficial in various quantum communication protocols, including secret sharing5,6, extreme spin squeezing7, high sensitivity in some general metrology tasks8, quantum computing using cluster states9, and multiparty quantum network10. Although its significance, detecting and measuring such kind of entanglement turns out to be quite difficult. To certify GME, an abundance of linear and nonlinear entanglement witnesses11,12,13,14,15,16,17,18,19, generalized concurrence for multi genuine entanglement20,21,22,23, and Bell-like inequalities24entanglement witnesses were derived (see e.g. reviews2,25) and a characterisation in terms of semi-definite programs (SDP) was developed26,27. Nevertheless, the problem remains far from being satisfactorily solved.
For bipartite systems, Peres in28 has presented a much stronger separability criterion, which is called positive partial transpose (PPT) criterion. It says that if ρ AB is separable, then the partial transposition \({\rho }_{AB}^{{T}_{B}}\) with matrix elements defined as: \({({\rho }_{AB}^{{T}_{B}})}_{ij,kl}={\rho }_{il,kj}\) is a density operator (i.e. has nonnegative spectrum). It has interpretation as a partial time reversal29. There is yet another strong class of criteria based on linear contractions on product states. They stem from the new criterion discovered in30,31 called computable cross norm criterion or matrix realignment criterion(CCNR) which is operational and independent on PPT test28. In terms of matrix elements it can be stated as follows: if the state ρ AB is separable then the matrix \( {\mathcal R} (\rho )\) with elements \( {\mathcal R} {(\rho )}_{ij,kl}\) = ρ ik , jl has trace norm not greater than one, i.e. ||\( {\mathcal R} (\rho )\)|| KF ≤ 1. Quite remarkably, the realignment criterion has been found to be able to detect some PPT entangled states30,31 and to be useful for construction of some nondecomposable maps. It also provides nice lower bound on concurrence32. Further more, a necessary and sufficient criterion of the local unitary equivalence for general multipartite states based on matrix realignment has been presented in33.
In this manuscript, we investigate the detection of GME for arbitrary tripartite quantum systems. We will derive an effective criterion based on PPT and CCNR. A lower bound for GME concurrence will be also obtained. We then compute examples to show the effectiveness of our results.
Results
In the following, we present a criterion to detect GME for tripartite qudits systems by using the PPT and CCNR criteria. A lower bound for GME concurrence of tripartite quantum systems will be also obtained. We start with some definitions and notations.
Let \({H}_{i}^{d}\), i = 1, 2, 3, denote d-dimensional Hilbert spaces. A tripartite state \(\rho \in {H}_{1}^{d}\otimes {H}_{2}^{d}\otimes {H}_{3}^{d}\) can be expressed as \(\rho =\sum {p}_{\alpha }|{\psi }_{\alpha }\rangle \langle {\psi }_{\alpha }|\), where 0 < p α ≤ 1, ∑p α = 1, \(|{\psi }_{\alpha }\rangle \in {H}_{1}^{d}\otimes {H}_{2}^{d}\otimes {H}_{3}^{d}\) are normalized pure states. If all \(|{\psi }_{\alpha }\rangle \) are biseparable, namely, either \(|{\psi }_{\alpha }\rangle =|{\phi }_{\alpha }^{1}\rangle \otimes |{\phi }_{\alpha }^{23}\rangle \) or \(|{\psi }_{\beta }\rangle =|{\phi }_{\beta }^{2}\rangle \otimes |{\phi }_{\beta }^{13}\rangle \) or \(|{\psi }_{\gamma }\rangle =|{\phi }_{\gamma }^{3}\rangle \otimes |{\phi }_{\gamma }^{12}\rangle \), where \(|{\phi }_{\gamma }^{i}\rangle \) and \(|{\phi }_{\gamma }^{ij}\rangle \) denote pure states in \({H}_{i}^{d}\) and \({H}_{i}^{d}\otimes {H}_{j}^{d}\) respectively, then ρ is said to be bipartite separable. Otherwise, ρ is called genuine multipartite entangled.
Define that \(M(\rho )=\frac{1}{3}(\Vert {\rho }^{{T}_{1}}\Vert +\Vert {\rho }^{{T}_{2}}\Vert +\Vert {\rho }^{{T}_{3}}\Vert ),\) \(N(\rho )=\frac{1}{3}(\Vert {R}_{1|23}(\rho )\Vert +\Vert {R}_{2|13}(\rho )\Vert +\Vert {R}_{3|12}(\rho )\Vert ),\) where T i s are the partial transposition over the i th subsystem, i = 1, 2, 3 and R i|jk stands for the bipartite realignment with respect to subsystem i and subsystems jk, i, j, k = 1, 2, 3. \(\Vert \cdot \Vert \) denotes the trace norm of a matrix.
To derive GME criterion, we first obtain the following lemma.
Lemma: Let d = min{m, n}. For a bipartite quantum state \(|\phi \rangle \in {H}_{A}^{m}\otimes {H}_{B}^{n},\) we have \(\Vert {(|\phi \rangle \langle \phi |)}^{{T}_{A}}\Vert \le d\), and \(\Vert {R}_{A|B}(|\phi \rangle \langle \phi |)\Vert \le d\).
Proof. By Schmidt decomposition, we set \(|\phi \rangle =\sum _{i\mathrm{=1}}^{d}\sqrt{{u}_{i}}|ii\rangle \) with \(\sum _{i=1}^{d}{u}_{i}=1,{u}_{i}\ge 0.\) By the Cauchy-Schwarz inequality one computes
Then we are ready to show the theorems. ■
Theorem 1: Let \(\rho \in {H}_{123}={H}_{1}^{d}\otimes {H}_{2}^{d}\otimes {H}_{3}^{d}\) be a tripartite qudits quantum state. If ρ is bipartite separable, then \(\max \,\{M(\rho ),N(\rho )\}\le \frac{1+2d}{3}\) must hold. Or equivalently, if \(\max \,\{M(\rho ),N(\rho )\} > \frac{1+2d}{3},\) then ρ is GME.
See Methods for the proof of theorem 1.
The GME concurrence for tripartite quantum systems, which is defined as follows, is proved to be a well defined measure20,21. For a pure state \(|\psi \rangle \in {H}_{1}^{d}\otimes {H}_{2}^{d}\otimes {H}_{3}^{d}\), the GME concurrence is defined by
where ρ i is the reduced matrix for the i th subsystem. For mixed state \(\rho \in {H}_{1}^{d}\otimes {H}_{2}^{d}\otimes {H}_{3}^{d}\), the GME concurrence is then defined by the convex roof
The minimum is taken over all pure ensemble decompositions of ρ. Since one has to find the optimal ensemble to do the minimization, the GME concurrence is hard to compute. In the following we derive an effective lower bound for GME concurrence in terms of the PPT criterion and the CCNR criterion.
Theorem 2: Let \(\rho \in {H}_{123}={H}_{1}^{d}\otimes {H}_{2}^{d}\otimes {H}_{3}^{d}\) be a tripartite qudits quantum state. Then one has
See Methods for the proof of theorem 2.
Applications
The following two examples show that the criterion and the lower bound of GME concurrence above are much effective for detecting and measuring GME in tripartite quantum systems.
Example 1: Consider quantum state \(\rho \in {H}_{1}^{3}\otimes {H}_{2}^{3}\otimes {H}_{3}^{3},\) \(\rho =\frac{1-x}{27}I+x|\phi \rangle \langle \phi |,\) where \(|\phi \rangle =\frac{1}{\sqrt{3}}(|000\rangle +\) \(|111\rangle +|222\rangle )\) is the GHZ state. By Theorem 1 in13 we can detect GME for 0.894427 < x ≤ 1. Using the Theorem 1 in this manuscript, we compute \(\max \,\{M(\rho ),N(\rho )\}=\frac{1}{9}(8+10x+|10x-1|)\). Thus GME is detected for 0.7< x ≤1.
Example 2: We consider the mixture of the GHZ state and W state in three-qubit quantum systems \(\rho =\frac{1-x-y}{8}I+x|GHZ\rangle \langle GHZ|+y|W\rangle \langle W|\), where \(|GHZ\rangle =\frac{1}{\sqrt{2}}(|000\rangle +|111\rangle )\) and \(|W\rangle =\frac{1}{\sqrt{3}}(|001\rangle +\) \(|010\rangle +|100\rangle )\). As shown in Fig. 1, our criterion detect some GME(blue region) that can not be detected by Vicente criteria.
The lower bound of GME concurrence in Theorem 2 for ρ is computed to be
as ploted in Fig. 2.
Discussions
It is a basic and fundamental question in quantum information theory to detect and measure GME. In this manuscript we have presented a GME criterion based on the PPT and Realignment criteria. A lower bound of GME concurrence for tripartite quantum system has also been obtained. Examples show that our criterion is independent of Vicente criteria and can detect more genuine entangled quantum states. Our results are derived by average based PPT and CCNR criteria. One can construct more effective criteria to detect GME and lower bounds of GME concurrence by taking the average of the correlation matrices or covariance matrices and so on. It is also of interesting to investigate the implementation of the criterion with measurements or to extend the results to systems consisting of more than three parties.
Methods
Proof of Theorem 1 Lets consider a pure state \(\rho =|\psi \rangle \langle \psi |\) first. Assume that \(|\psi \rangle \in {H}_{123}={H}_{1}^{d}\otimes {H}_{2}^{d}\otimes {H}_{3}^{d}\) be bipartite separable, which will be in one of the following three forms: |ψ〉 = |φ 1〉 ⊗ |φ 23〉, |ψ〉 = |φ 2〉 ⊗ |φ 13〉, or \(|\psi \rangle =|{\phi }_{3}\rangle \otimes |{\phi }_{12}\rangle \). If \(|\psi \rangle =|{\phi }_{1}\rangle \otimes |{\phi }_{23}\rangle ,\) then by using the first two equations in (1) we have
Similarly, one has
for \(|\psi \rangle =|{\phi }_{2}\rangle \langle {\phi }_{13}|\) and
for \(|\psi \rangle =|{\phi }_{3}\rangle \langle {\phi }_{12}|\) respectively. Thus for any type bipartite separable pure quantum state, we always have \(M(\rho )\le \frac{1+2d}{3},\) and \(N(\rho )\le \frac{1+2d}{3}.\)
For mixed bipartite separable state ρ, by using the convex property of M(ρ) and N(ρ) we obtain
and
which proves the theorem. ■
Proof of Theorem 2
Still we consider a pure state first. Let \(\rho =|\psi \rangle \langle \psi |\in {H}_{1}^{d}\otimes {H}_{2}^{d}\otimes {H}_{3}^{d}\) be a pure quantum state. From the result in32, we have
One computes
where we have used \(\sqrt{1-tr{\rho }_{1}^{2}}\ge 0\) and \(\sqrt{1-tr{\rho }_{k}^{2}}\le 1-\frac{1}{d}\), k = 2 or 3 to obtain the last inequality above.
Thus we get
Similarly we obtain
Then according to the definition of GME concurrence, we derive
Now we consider a mixed state \(\rho \in {H}_{1}^{d}\otimes {H}_{2}^{d}\otimes {H}_{3}^{d}\) with the optimal ensemble decomposition ρ = ∑ α p α |ψ α 〉〈ψ α | s.t. the GME concurrence attains its minimum. One gets
which ends the proof of the theorem. ■
References
Nielsen, M. A. & Chuang, I. L. Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, England, 2000).
Gühne, O. & Tóth, G. Entanglement detection. Phys. Rep. 474, 1–75 (2009).
Horodecki, R., Horodecki, P., Horodecki, M. & Horodecki, K. Quantum entanglement. Rev. Mod. Phys. 81, 865 (2009).
Briegel, H. J., Browne, D. E., Dür, W., Raussendorf, R. & Van den Nest, M. Measurement-based quantum computation. Nat. Phys. 5, 19 (2009).
Gisin, N., Ribordy, G., Tittel, W. & Zbinden, H. Quantum cryptography. Rev. Mod. Phy. 74, 145 (2002).
Hillery, M., Bužek, V. & Berthiaume, A. Quantum secret sharing. Phys. Rev. A 59, 1829 (1999).
Srensen, A. S. & Mlmer, K. Entanglement and Extreme Spin Squeezing. Phys. Rev. Lett. 86, 4431 (2001).
Tóth, G. Multipartite entanglement and high-precision metrology. Phys. Rev. A 85, 022322 (2012).
Raussendorf, R. & Briegel, H. J. A One-Way Quantum Computer. Phys. Rev. Lett 86, 5188 (2001).
Sen(De), A. & Sen, U. Quantum Advantage in Communication Networks. Phys. News 40, 17–32 (2010).
Huber, M., Mintert, F., Gabriel, A. & Hiesmayr, B. C. Detection of High-Dimensional Genuine Multipartite Entanglement of Mixed States. Phys. Rev. Lett. 104, 210501 (2010).
Huber, M. & Sengupta, R. Witnessing Genuine Multipartite Entanglement with Positive Maps. Phys. Rev. Lett. 113, 100501 (2014).
Vicente, J. I. d. & Huber, M. Multipartite entanglement detection from correlation tensors. Phys. Rev. A 84, 062306 (2011).
Wu, J. Y., Kampermann, H., Bruß, D., Klöckl, C. & Huber, M. Determining lower bounds on a measure of multipartite entanglement from few local observables. Phys. Rev. A 86, 022319 (2012).
Huber, M., Perarnau-Llobet, M. & Vicente, J. Ide Entropy vector formalism and the structure of multidimensional entanglement in multipartite systems. Phys. Rev. A 88, 042328 (2013).
Sperling, J. & Vogel, W. Multipartite Entanglement Witnesses. Phys. Rev. Lett. 111, 110503 (2013).
Eltschka, C. & Siewert, J. Entanglement of Three-Qubit Greenberger-Horne-ZeilingerCSymmetric States. Phys. Rev. Lett. 108, 020502 (2012).
Klöckl, C. & Huber, M. Characterizing multipartite entanglement without shared reference frames. Phys. Rev. A 91, 042339 (2015).
Markiewicz, M., Laskowski, W., Paterek, T. & Żukowski, M. Phys. Rev. A 87, 034301 (2013).
Ma, Z. H. et al. Measure of genuine multipartite entanglement with computable lower bounds. Phys. Rev. A 83, 062325 (2011).
Chen, Z. H., Ma, Z. H., Chen, J. L. & Severini, S. Improved lower bounds on genuine-multipartite-entanglement concurrence. Phys. Rev. A 85, 062320 (2012).
Hong, Y., Gao, T. & Yan, F. L. Measure of multipartite entanglement with computable lower bounds. Phys. Rev. A 86, 062323 (2012).
Gao, T., Yan, F. L. & van Enk, S. J. Permutationally Invariant Part of a Density Matrix and Nonseparability of N-Qubit States. Phys. Rev. Lett. 112, 180501 (2014).
Bancal, J. D., Gisin, N., Liang, Y. C. & Pironio, S. Device-Independent Witnesses of Genuine Multipartite Entanglement. Phys. Rev. Lett. 106, 250404 (2011).
Eltschka, C. & Siewert, J. Quantifying entanglement resources. J. Phys. A: Math.Theor. 47, 424005 (2014).
Jungnitsch, B., Moroder, T. & Gühne, O. Taming Multiparticle Entanglement. Phys. Rev. Lett. 106, 190502 (2011).
Lancien, C., Gühne, O., Sengupta, R. & Huber, M. Relaxations of separability in multipartite systems: Semidefinite programs, witnesses and volumes. J. Phys. A: Math. Theor. 48, 505302 (2015).
Peres, A. Separability Criterion for Density Matrices. Phys. Rev. Lett. 77, 1413 (1996).
Sanpera, A., Tarrach, R. & Vidal, G. Local description of quantum inseparability. Phys. Rev. A 58, 826 (1998).
Rudolph, O. On the cross norm criterion for separability. J. Phys. A: Math. Theor. 36, 5825 (2003).
Chen, K. & Wu, L. A. A matrix realignment method for recognizing entanglement. Quantum Inf. Comput. 3, 193C202 (2003).
Chen, K., Albeverio, S. & Fei, S.-M. Concurrence of Arbitrary Dimensional Bipartite Quantum States. Phys. Rev. Lett. 95, 040504 (2005).
Zhang, T. G., Zhao, M. J., Li, M., Fei, S. M. & Li-Jost, X. Q. Criterion of Local Unitary Equivalence for Multipartite States. Phys. Rev. A 88, 042304 (2013).
Acknowledgements
This work is supported by the NSFC No. 11775306, No. 11675113, No. 11701568; the Fundamental Research Funds for the Central Universities Grants No. 15CX05062A, No. 16CX02049A, and 17CX02033A; the Shandong Provincial Natural Science Foundation No.ZR2016AQ06,ZR2017BA019; Qingdao applied basic research program No. 15-9-1-103-jch, and a project sponsored by SRF for ROCS, SEM.
Author information
Authors and Affiliations
Contributions
M. Li and J. Wang wrote the main manuscript text. All authors reviewed the manuscript.
Corresponding author
Ethics declarations
Competing Interests
The authors declare that they have no competing interests.
Additional information
Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Li, M., Wang, J., Shen, S. et al. Detection and measure of genuine tripartite entanglement with partial transposition and realignment of density matrices. Sci Rep 7, 17274 (2017). https://doi.org/10.1038/s41598-017-17585-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-017-17585-7
This article is cited by
-
One-particle loss detection of genuine multipartite entanglement
Quantum Information Processing (2023)
-
Entanglement transitivity problems
npj Quantum Information (2022)
-
“All-versus-nothing” proof of genuine tripartite steering and entanglement certification in the two-sided device-independent scenario
Quantum Studies: Mathematics and Foundations (2022)
-
Detection of genuine entanglement for multipartite quantum states
Quantum Information Processing (2022)
-
Detection of genuine tripartite entanglement based on Bloch representation of density matrices
Quantum Information Processing (2022)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.