Complete family of separability criteria

Physical Review A - Atomic, Molecular, and Optical Physics

Volumn 69, Issue 2, 2004, Pages 223081-2230820

  Doherty, Andrew C ^a   Parrilo, Pablo A ^b   Spedalieri, Federico M ^a  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; DATA PROCESSING; ENTROPY; MATHEMATICAL OPERATORS; MATRIX ALGEBRA; OPTIMIZATION; POLYNOMIALS; PROBLEM SOLVING; TENSORS; VECTORS;

POSITIVE PARTIAL TRANSPOSE (PPT); QUANTUM COMMUNICATION;

QUANTUM THEORY;

EID: 1942476085     PISSN: 10502947     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (54)

1. A. Einstein, B. Podolsky, and N. Rosen, Phys. Rev. 47, 777 (1935).
2. J. S. Bell, Physics (Long Island City, N.Y.) 1, 195 (1964).
3. M. N. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, 2000).
4. M. Lewenstein et al., J. Mod. Opt. 47, 2841 (2000).
5. B. M. Terhal, Theor. Comput. Sci. 287, 313 (2002).
6. D. Bruss et al., J. Mod. Opt. 49, 1399 (2002).
7. M. Horodecki, P. Horodecki, and R. Horodecki, in Quantum Information: An Introduction to Basic Theoretical Concepts and Experiments, edited by G. Alber et al., Springer Tracts in Modern Physics Vol. 173 (Springer Verlag, Berlin, 2001), pp. 151-195.
8. R. F. Werner, Phys. Rev. A 40, 4277 (1989).
9. L. Gurvits, in Proceedings of the Thirty-fifth ACM Symposium on Theory of Computing (ACM Press, New York, 2003), pp. 10-19.
10. A. Peres, Phys. Rev. Lett. 77, 1413 (1996).
11. M. Horodecki, P. Horodecki, and R. Horodecki, Phys. Lett. A 223, 1 (1996).
12. S. L. Woronowicz, Rep. Math. Phys. 10, 165 (1976).
13. P. Horodecki, Phys. Lett. A 232, 333 (1997).
14. M. Horodecki, P. Horodecki, and R. Horodecki, Phys. Rev. Lett. 80, 5239 (1998).
15. M. Horodecki and P. Horodecki, Phys. Rev. A 59, 4206 (1999).
16. N. J. Cerf, C. Adami, and R. M. Gingrich, Phys. Rev. A 60, 898 (1999).
17. M. A. Nielsen and J. Kempe, Phys. Rev. Lett. 86, 5184 (2001).
18. B. M. Terhal, Phys. Lett. A 271, 319 (2000).
19. A. Jamiołkowski, Rep. Math. Phys. 3, 275 (1972).
20. M.-D. Choi, Linear Algebr. Appl. 12, 95 (1975).
21. A. Jamiołkowski, Rep. Math. Phys. 5, 415 (1974).
22. J. Bochnak, M. Coste, and M.-F. Roy, Real Algebraic Geometry (Springer, Berlin, 1998).
23. P. Parrilo, Math. Program. B 96, 293 (2003).
24. M. Lewenstein, B. Kraus, J. I. Cirac, and P. Horodecki, Phys. Rev. A 62, 052310 (2000).
25. M. Lewenstein, B. Kraus, P. Horodecki, and J. I. Cirac, Phys. Rev. A 63, 044304 (2001).
26. L. Vandenberghe and S. Boyd, URL http://www.standford.edu/~boyd/cvxbook. html
27. D. Jonathan and M. B. Plenio, Phys. Rev. Lett. 83, 1455 (1999).
28. L. Vandenberghe and S. Boyd, SIAM Rev. 38, 49 (1996).
29. A. Y. Kitaev, URL http://www.msri.org/publications/In/msri/2002/qip/ kitaev/1/
30. A. Ambainis, H. Buhrman, Y. Dodis, and H. Roehrig, e-print quant-ph/0304112.
31. K. Audenaert et al., Phys. Rev. Lett. 87, 217902 (2002).
32. E. M. Rains, IEEE Trans. Inf. Theory 47, 2921 (2001).
33. K. Audenaert and B. D. Moor, Phys. Rev. A 65, 030302 (2002).
34. A. C. Doherty, P. A. Parrilo, and F. M. Spedalieri, Phys. Rev. Lett. 88, 187904 (2002).
35. M. Fannes, J. T. Lewis, and A. Verbeure, Lett. Math. Phys. 15, 255 (1988).
36. G. A. Raggio and R. F. Werner, Helv. Phys. Acta 62, 980 (1989).
37. R. F. Werner, Lett. Math. Phys. 17, 359 (1989).
38. B. Schumacher (private communication).
39. C. M. Caves, C. A. Fuchs, and R. Schack, J. Math. Phys. 43, 4537 (2002).
40. To see why this is possible, consider the basis of positive semidefinite operators introduced in Sec. IV of Ref. [39] Since these operators are PSD each one can be made positive by adding an arbitrarily small multiple of the identity. But performing arbitrarily small changes to a set of linearly independent vectors does not affect its linear independence. Hence, we can replace each PSD operator of the set by a positive definite (but non-orthogonal) one and still have a basis of the whole vector space.
41. B. M. Terhal, A. C. Doherty, and D. Schwab, Phys. Rev. Lett. 90, 157903 (2003).
42. R. T. Rockafellar, Convex Analysis (Princeton University Press, Princeton, NJ, 1970).
43. C. H. Bennett et al., Phys. Rev. Lett. 82, 5385 (1999).
44. W. Dür and J. I. Cirac, Phys. Rev. A 61, 042314 (2000).
45. A. C. Doherty, P. A. Parrilo, and F. M. Spedalieri (unpublished).
46. J. Sturm, SeDuMi version 1.05, available from URL http://fewcal.kub.nl/ sturm/software/sedumi.html
47. F. M. Spedalieri, P. A. Parrilo, and A. C. Doherty, MATLAB Code for Separability Tests, URL http://www.iqi.caltech.edu/publications.html
48. N. Gisin (private communication). For the intuition behind this state, see N. Gisin and S. Wolf, Lect. Notes Comput. Sci. 1880, 482 (2000); R. Renner and S. Wolf ibid. 2656, 562 (2003).
49. N. Gisin (private communication). For the intuition behind this state, see N. Gisin and S. Wolf, Lect. Notes Comput. Sci. 1880, 482 (2000); R. Renner and S. Wolf ibid. 2656, 562 (2003).
50. N. Gisin (private communication). For the intuition behind this state, see N. Gisin and S. Wolf, Lect. Notes Comput. Sci. 1880, 482 (2000); R. Renner and S. Wolf ibid. 2656, 562 (2003).
51. B. Reznick (private communication).
52. K. Życzowski, P. Horodecki, A. Sanpera, and M. Lewenstein, Phys. Rev. A 58, 883 (1998).
53. A. C. Doherty, P. A. Parrilo, and F. M. Spedalieri, in Proceedings of QCMC 2002, edited by J. H. Shapiro and O. Hirota (Rinton Press, Princeton, 2003).
54. H. J. Woerdeman, Phys. Rev. A 67, 010303 (2003).