Complete hierarchies of efficient approximations to problems in entanglement theory

Physical Review A - Atomic, Molecular, and Optical Physics

Volumn 70, Issue 6, 2004, Pages

  Eisert, Jens ^a,b   Hyllus, Philipp ^c   Gühne, Otfried ^c,d   Curty, Marcos ^e  

^a UNIVERSITY OF POTSDAM   (Germany)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

^c LEIBNIZ UNIVERSITY HANNOVER   (Germany)

^d ERICH SCHMID INSTITUTE OF MATERIALS SCIENCE   (Austria)

^e UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; CONSTRAINT THEORY; HIERARCHICAL SYSTEMS; MATRIX ALGEBRA; OPTIMIZATION; POLYNOMIALS; PROBLEM SOLVING; RELAXATION PROCESSES; SIMULATED ANNEALING; VECTORS;

CONVEX OPTIMIZATION; ENTANGLEMENT THEORY; ENTANGLEMENT WITNESSES; HERMITIAN MATRICES;

QUANTUM THEORY;

EID: 37649027712     PISSN: 10502947     EISSN: 10941622     Source Type: Journal    
DOI: 10.1103/PhysRevA.70.062317     Document Type: Article

References (84)

1. L. Gurvits, in Proceedings of the 35th ACM Symposium on Theory of Computing, San Diego, CA, June, 2003 (ACM Press, New York, 2003).
2. R. F. Werner, Phys. Rev. A 40, 4277 (1989).
3. S. L. Woronowicz, Rep. Math. Phys. 10, 165 (1976); A. Peres, Phys. Rev. Lett. 77, 1413 (1996); M. Horodecki, P. Horodecki, and R. Horodecki, Phys. Lett. A 223, 1 (1996); M. Lewenstein, D. Bruß, J. I. Cirac, B. Kraus, M. Kus, J. Samsonowicz, A. Sanpera, and R. Tarrach, J. Mod. Opt. 47, 2481 (2000); O. Rudolph, J. Phys. A 33, 3951 (2000); M. Horodecki, P. Horo decki, and R. Horodecki, in Quantum Information: An Introduction to Basic Theoretical Concepts and Experiments, edited by G. Alber et al. (Springer, Heidelberg, 2001), p. 151; B. M. Terhal, Theor. Comput. Sci. 287, 313 (2002); K. Eckert, O. Gühne, F. Hulpke, P. Hyllus, J. Korbicz, J. Mompart, D. Bruß, M. Lewenstein, and A. Sanpera, in Quantum Information Processing, edited by G. Leuchs and T. Beth (Wiley-VCH, Weinheim, 2003).
4. S. L. Woronowicz, Rep. Math. Phys. 10, 165 (1976); A. Peres, Phys. Rev. Lett. 77, 1413 (1996); M. Horodecki, P. Horodecki, and R. Horodecki, Phys. Lett. A 223, 1 (1996); M. Lewenstein, D. Bruß, J. I. Cirac, B. Kraus, M. Kus, J. Samsonowicz, A. Sanpera, and R. Tarrach, J. Mod. Opt. 47, 2481 (2000); O. Rudolph, J. Phys. A 33, 3951 (2000); M. Horodecki, P. Horo decki, and R. Horodecki, in Quantum Information: An Introduction to Basic Theoretical Concepts and Experiments, edited by G. Alber et al. (Springer, Heidelberg, 2001), p. 151; B. M. Terhal, Theor. Comput. Sci. 287, 313 (2002); K. Eckert, O. Gühne, F. Hulpke, P. Hyllus, J. Korbicz, J. Mompart, D. Bruß, M. Lewenstein, and A. Sanpera, in Quantum Information Processing, edited by G. Leuchs and T. Beth (Wiley-VCH, Weinheim, 2003).
5. S. L. Woronowicz, Rep. Math. Phys. 10, 165 (1976); A. Peres, Phys. Rev. Lett. 77, 1413 (1996); M. Horodecki, P. Horodecki, and R. Horodecki, Phys. Lett. A 223, 1 (1996); M. Lewenstein, D. Bruß, J. I. Cirac, B. Kraus, M. Kus, J. Samsonowicz, A. Sanpera, and R. Tarrach, J. Mod. Opt. 47, 2481 (2000); O. Rudolph, J. Phys. A 33, 3951 (2000); M. Horodecki, P. Horo decki, and R. Horodecki, in Quantum Information: An Introduction to Basic Theoretical Concepts and Experiments, edited by G. Alber et al. (Springer, Heidelberg, 2001), p. 151; B. M. Terhal, Theor. Comput. Sci. 287, 313 (2002); K. Eckert, O. Gühne, F. Hulpke, P. Hyllus, J. Korbicz, J. Mompart, D. Bruß, M. Lewenstein, and A. Sanpera, in Quantum Information Processing, edited by G. Leuchs and T. Beth (Wiley-VCH, Weinheim, 2003).
6. S. L. Woronowicz, Rep. Math. Phys. 10, 165 (1976); A. Peres, Phys. Rev. Lett. 77, 1413 (1996); M. Horodecki, P. Horodecki, and R. Horodecki, Phys. Lett. A 223, 1 (1996); M. Lewenstein, D. Bruß, J. I. Cirac, B. Kraus, M. Kus, J. Samsonowicz, A. Sanpera, and R. Tarrach, J. Mod. Opt. 47, 2481 (2000); O. Rudolph, J. Phys. A 33, 3951 (2000); M. Horodecki, P. Horo decki, and R. Horodecki, in Quantum Information: An Introduction to Basic Theoretical Concepts and Experiments, edited by G. Alber et al. (Springer, Heidelberg, 2001), p. 151; B. M. Terhal, Theor. Comput. Sci. 287, 313 (2002); K. Eckert, O. Gühne, F. Hulpke, P. Hyllus, J. Korbicz, J. Mompart, D. Bruß, M. Lewenstein, and A. Sanpera, in Quantum Information Processing, edited by G. Leuchs and T. Beth (Wiley-VCH, Weinheim, 2003).
7. S. L. Woronowicz, Rep. Math. Phys. 10, 165 (1976); A. Peres, Phys. Rev. Lett. 77, 1413 (1996); M. Horodecki, P. Horodecki, and R. Horodecki, Phys. Lett. A 223, 1 (1996); M. Lewenstein, D. Bruß, J. I. Cirac, B. Kraus, M. Kus, J. Samsonowicz, A. Sanpera, and R. Tarrach, J. Mod. Opt. 47, 2481 (2000); O. Rudolph, J. Phys. A 33, 3951 (2000); M. Horodecki, P. Horo decki, and R. Horodecki, in Quantum Information: An Introduction to Basic Theoretical Concepts and Experiments, edited by G. Alber et al. (Springer, Heidelberg, 2001), p. 151; B. M. Terhal, Theor. Comput. Sci. 287, 313 (2002); K. Eckert, O. Gühne, F. Hulpke, P. Hyllus, J. Korbicz, J. Mompart, D. Bruß, M. Lewenstein, and A. Sanpera, in Quantum Information Processing, edited by G. Leuchs and T. Beth (Wiley-VCH, Weinheim, 2003).
8. S. L. Woronowicz, Rep. Math. Phys. 10, 165 (1976); A. Peres, Phys. Rev. Lett. 77, 1413 (1996); M. Horodecki, P. Horodecki, and R. Horodecki, Phys. Lett. A 223, 1 (1996); M. Lewenstein, D. Bruß, J. I. Cirac, B. Kraus, M. Kus, J. Samsonowicz, A. Sanpera, and R. Tarrach, J. Mod. Opt. 47, 2481 (2000); O. Rudolph, J. Phys. A 33, 3951 (2000); M. Horodecki, P. Horo decki, and R. Horodecki, in Quantum Information: An Introduction to Basic Theoretical Concepts and Experiments, edited by G. Alber et al. (Springer, Heidelberg, 2001), p. 151; B. M. Terhal, Theor. Comput. Sci. 287, 313 (2002); K. Eckert, O. Gühne, F. Hulpke, P. Hyllus, J. Korbicz, J. Mompart, D. Bruß, M. Lewenstein, and A. Sanpera, in Quantum Information Processing, edited by G. Leuchs and T. Beth (Wiley-VCH, Weinheim, 2003).
9. S. L. Woronowicz, Rep. Math. Phys. 10, 165 (1976); A. Peres, Phys. Rev. Lett. 77, 1413 (1996); M. Horodecki, P. Horodecki, and R. Horodecki, Phys. Lett. A 223, 1 (1996); M. Lewenstein, D. Bruß, J. I. Cirac, B. Kraus, M. Kus, J. Samsonowicz, A. Sanpera, and R. Tarrach, J. Mod. Opt. 47, 2481 (2000); O. Rudolph, J. Phys. A 33, 3951 (2000); M. Horodecki, P. Horo decki, and R. Horodecki, in Quantum Information: An Introduction to Basic Theoretical Concepts and Experiments, edited by G. Alber et al. (Springer, Heidelberg, 2001), p. 151; B. M. Terhal, Theor. Comput. Sci. 287, 313 (2002); K. Eckert, O. Gühne, F. Hulpke, P. Hyllus, J. Korbicz, J. Mompart, D. Bruß, M. Lewenstein, and A. Sanpera, in Quantum Information Processing, edited by G. Leuchs and T. Beth (Wiley-VCH, Weinheim, 2003).
10. S. L. Woronowicz, Rep. Math. Phys. 10, 165 (1976); A. Peres, Phys. Rev. Lett. 77, 1413 (1996); M. Horodecki, P. Horodecki, and R. Horodecki, Phys. Lett. A 223, 1 (1996); M. Lewenstein, D. Bruß, J. I. Cirac, B. Kraus, M. Kus, J. Samsonowicz, A. Sanpera, and R. Tarrach, J. Mod. Opt. 47, 2481 (2000); O. Rudolph, J. Phys. A 33, 3951 (2000); M. Horodecki, P. Horo decki, and R. Horodecki, in Quantum Information: An Introduction to Basic Theoretical Concepts and Experiments, edited by G. Alber et al. (Springer, Heidelberg, 2001), p. 151; B. M. Terhal, Theor. Comput. Sci. 287, 313 (2002); K. Eckert, O. Gühne, F. Hulpke, P. Hyllus, J. Korbicz, J. Mompart, D. Bruß, M. Lewenstein, and A. Sanpera, in Quantum Information Processing, edited by G. Leuchs and T. Beth (Wiley-VCH, Weinheim, 2003).
11. K. Audenaert, J. Eisert, E. Jane, M. B. Plenio, S. Virmani, and B. de Moor, Phys. Rev. Lett. 87, 217902 (2001).
12. E. M. Rains, IEEE Trans. Inf. Theory 47, 2921 (2001).
13. M. Jezek, J. Rehacek, and J. Fiurasek, Phys. Rev. A 65, 060301 (2002); K. Audenaert and B. De Moor, ibid. 65, 030302 (2002); F. Verstraete and H. Verschelde, Phys. Rev. Lett. 90, 097901 (2003); K. Audenaert, M. B. Plenio, and J. Eisert, ibid. 90, 027901 (2003); Y. C. Eldar, M. Stojnic, and B. Hassabi, Phys. Rev. A 69, 062318 (2004); B. Synak, K. Horodecki, and M. Horodecki, e-print quant-ph/0405149.
14. M. Jezek, J. Rehacek, and J. Fiurasek, Phys. Rev. A 65, 060301 (2002); K. Audenaert and B. De Moor, ibid. 65, 030302 (2002); F. Verstraete and H. Verschelde, Phys. Rev. Lett. 90, 097901 (2003); K. Audenaert, M. B. Plenio, and J. Eisert, ibid. 90, 027901 (2003); Y. C. Eldar, M. Stojnic, and B. Hassabi, Phys. Rev. A 69, 062318 (2004); B. Synak, K. Horodecki, and M. Horodecki, e-print quant-ph/0405149.
15. M. Jezek, J. Rehacek, and J. Fiurasek, Phys. Rev. A 65, 060301 (2002); K. Audenaert and B. De Moor, ibid. 65, 030302 (2002); F. Verstraete and H. Verschelde, Phys. Rev. Lett. 90, 097901 (2003); K. Audenaert, M. B. Plenio, and J. Eisert, ibid. 90, 027901 (2003); Y. C. Eldar, M. Stojnic, and B. Hassabi, Phys. Rev. A 69, 062318 (2004); B. Synak, K. Horodecki, and M. Horodecki, e-print quant-ph/0405149.
16. M. Jezek, J. Rehacek, and J. Fiurasek, Phys. Rev. A 65, 060301 (2002); K. Audenaert and B. De Moor, ibid. 65, 030302 (2002); F. Verstraete and H. Verschelde, Phys. Rev. Lett. 90, 097901 (2003); K. Audenaert, M. B. Plenio, and J. Eisert, ibid. 90, 027901 (2003); Y. C. Eldar, M. Stojnic, and B. Hassabi, Phys. Rev. A 69, 062318 (2004); B. Synak, K. Horodecki, and M. Horodecki, e-print quant-ph/0405149.
17. M. Jezek, J. Rehacek, and J. Fiurasek, Phys. Rev. A 65, 060301 (2002); K. Audenaert and B. De Moor, ibid. 65, 030302 (2002); F. Verstraete and H. Verschelde, Phys. Rev. Lett. 90, 097901 (2003); K. Audenaert, M. B. Plenio, and J. Eisert, ibid. 90, 027901 (2003); Y. C. Eldar, M. Stojnic, and B. Hassabi, Phys. Rev. A 69, 062318 (2004); B. Synak, K. Horodecki, and M. Horodecki, e-print quant-ph/0405149.
18. M. Jezek, J. Rehacek, and J. Fiurasek, Phys. Rev. A 65, 060301 (2002); K. Audenaert and B. De Moor, ibid. 65, 030302 (2002); F. Verstraete and H. Verschelde, Phys. Rev. Lett. 90, 097901 (2003); K. Audenaert, M. B. Plenio, and J. Eisert, ibid. 90, 027901 (2003); Y. C. Eldar, M. Stojnic, and B. Hassabi, Phys. Rev. A 69, 062318 (2004); B. Synak, K. Horodecki, and M. Horodecki, e-print quant-ph/0405149.
19. K. Audenaert, in Sixteenth International Symposium on Mathematical Theory of Networks and Systems, Mini-Symposium on Quantum Information, Catholic University of Leuven, Belgium, July, 2004, e-print quant-ph/0402076.
20. A. C. Doherty, P. A. Parrilo, and F. M. Spedalieri, Phys. Rev. Lett. 88, 187904 (2002); Phys. Rev. A 69, 022308 (2004).
21. A. C. Doherty, P. A. Parrilo, and F. M. Spedalieri, Phys. Rev. Lett. 88, 187904 (2002); Phys. Rev. A 69, 022308 (2004).
22. F. G. S. L. Brandao and R. O. Vianna, e-print quant-ph/0405008; e-print quant-ph/0405063; e-print quant-ph/0405096.
23. L. M. Ioannou, B. C. Travaglione, D. C. Cheung, and A. K. Ekert, e-print quant-ph/0403041.
24. N. Z. Shor, Sov. Journ. of Circuits Syst. Sci. 25, 1 (1987).
25. M. Kojima and L. Tuncel, Math. Program. 89, 79 (2000); A. Takeda, K. Fujisawa, Y. Fukaya, and M. Kojima, J. Global Optim. 24, 237 (2002); M. Kojima, S. Kim, and H. Waki, J. Oper. Res. Soc. Jpn. 46, 2 (2003).
26. M. Kojima and L. Tuncel, Math. Program. 89, 79 (2000); A. Takeda, K. Fujisawa, Y. Fukaya, and M. Kojima, J. Global Optim. 24, 237 (2002); M. Kojima, S. Kim, and H. Waki, J. Oper. Res. Soc. Jpn. 46, 2 (2003).
27. M. Kojima and L. Tuncel, Math. Program. 89, 79 (2000); A. Takeda, K. Fujisawa, Y. Fukaya, and M. Kojima, J. Global Optim. 24, 237 (2002); M. Kojima, S. Kim, and H. Waki, J. Oper. Res. Soc. Jpn. 46, 2 (2003).
28. J. B. Lasserre, SIAM J. Optim. 11, 796 (2001).
29. D. Henrion and J. B. Lasserre, IEEE Control Syst. Mag. 24, 72 (2004).
30. P. A. Parrilo, Ph.D. thesis, California Institute of Technology, Pasadena, 2000.
31. L. Vandenberghe and S. Boyd, SIAM Rev. 38, 49 (1996); C. Helmberg, Eur. J. Oper. Res. 137, 461 (2002).
32. L. Vandenberghe and S. Boyd, SIAM Rev. 38, 49 (1996); C. Helmberg, Eur. J. Oper. Res. 137, 461 (2002).
33. s>0, the optimal values of the dual and the primal problem are identical. In this case, which is rather the typical one, one refers to strong duality. The idea of Lagrange duality is a powerful tool to formulate rigorous lower bounds to solutions of optimization problems.
34. N. S. Jones and N. Linden, e-print quant-ph/0407117.
35. (i)] for j ∈ I.
36. R. T. Rockefellar, Convex Analysis (Princeton University Press, Princeton, NJ, 1970).
37. m and a rational number δ>0 either (i) assert that x ∈ B(S, δ), or (ii) assert that x ≠ B(S, -δ).
38. M. Grötschel, L. Lovasz, and A. Schrijver, Geometric Algorithms and Combinatorial Optimization (Springer, Heidelberg, 1988).
39. B. M. Terhal, Phys. Lett. A 271, 319 (2000).
40. M. Barbieri, F. De Martini, G. Di Nepi, P. Mataloni, G. M. D'Ariano, and C. Macchiavello, Phys. Rev. Lett. 91, 227901 (2003); M. Bourennane, M. Eibl, C. Kurtsiefer, S. Gaertner, H. Weinfurter, O. Gühne, P. Hyllus, D. Bruß, M. Lewenstein, and A. Sanpera, ibid. 92, 087902 (2004).
41. M. Barbieri, F. De Martini, G. Di Nepi, P. Mataloni, G. M. D'Ariano, and C. Macchiavello, Phys. Rev. Lett. 91, 227901 (2003); M. Bourennane, M. Eibl, C. Kurtsiefer, S. Gaertner, H. Weinfurter, O. Gühne, P. Hyllus, D. Bruß, M. Lewenstein, and A. Sanpera, ibid. 92, 087902 (2004).
42. M. Curty, M. Lewenstein, and N. Lütkenhaus, Phys. Rev. Lett. 92, 217903 (2004);
43. M. Curty, O. Gühne, M. Lewenstein, and N. Lütkenhaus, Phys. Rev. A (to be published), e-print quant-ph/0409047.
44. K. Chen and L. A. Wu, Phys. Rev. A 69, 022312 (2004);
45. G. Tóth, e-print quant-ph/0406061.
46. M. Lewenstein, B. Kraus, J. I. Cirac, and P. Horodecki, Phys. Rev. A 62, 052310 (2000).
47. It was shown in Ref. [29] that those states cannot be destilled, which is why they are referred to as being bound entangled. For more than two parties, there exist states which have a NPPT with respect to some splitting which are nevertheless bound entangled [30].
48. M. Horodecki, P. Horodecki, and R. Horodecki, Phys. Rev. Lett. 80, 5239 (1998).
49. W. Dür, J. I. Cirac, and R. Tarrach, Phys. Rev. Lett. 83, 3562 (1999).
50. G. Kimura, Phys. Lett. A 314, 339 (2003); M. S. Byrd and N. Khaneja, Phys. Rev. A 68, 062322 (2003).
51. G. Kimura, Phys. Lett. A 314, 339 (2003); M. S. Byrd and N. Khaneja, Phys. Rev. A 68, 062322 (2003).
52. P. Hyllus, C. Moura Alves, D. Bruß, and Ch. Macchiavello, Phys. Rev. A 70, 032316 (2004).
53. C. H. Bennett, S. Popescu, D. Rohrlich, J. A. Smolin, and A. V. Thapliyal, Phys. Rev. A 63, 012307 (2001).
54. N. Linden, S. Popescu, B. Schumacher, and M. Westmoreland, quant-ph/9912039; E. F. Galvao, M. B. Plenio, and S. Virmani, J. Phys. A 33, 8809 (2000); S. Wu and Y. Zhang, Phys. Rev. A 63, 012308 (2001); A. Acía, G. Vidal, and J. I. Cirac, Quantum Inf. Comput. 3, 55 (2003).
55. N. Linden, S. Popescu, B. Schumacher, and M. Westmoreland, quant-ph/9912039; E. F. Galvao, M. B. Plenio, and S. Virmani, J. Phys. A 33, 8809 (2000); S. Wu and Y. Zhang, Phys. Rev. A 63, 012308 (2001); A. Acía, G. Vidal, and J. I. Cirac, Quantum Inf. Comput. 3, 55 (2003).
56. N. Linden, S. Popescu, B. Schumacher, and M. Westmoreland, quant-ph/9912039; E. F. Galvao, M. B. Plenio, and S. Virmani, J. Phys. A 33, 8809 (2000); S. Wu and Y. Zhang, Phys. Rev. A 63, 012308 (2001); A. Acía, G. Vidal, and J. I. Cirac, Quantum Inf. Comput. 3, 55 (2003).
57. N. Linden, S. Popescu, B. Schumacher, and M. Westmoreland, quant-ph/9912039; E. F. Galvao, M. B. Plenio, and S. Virmani, J. Phys. A 33, 8809 (2000); S. Wu and Y. Zhang, Phys. Rev. A 63, 012308 (2001); A. Acía, G. Vidal, and J. I. Cirac, Quantum Inf. Comput. 3, 55 (2003).
58. H. Barnum and N. Linden, J. Phys. A 34, 6787 (2001).
59. T.-C. Wei and P. M. Goldbart, Phys. Rev. A 68, 042307 (2003).
60. V. Coffman, J. Kundu, and W. K. Wootters, Phys. Rev. A 61, 052306 (2000) ; J. Eisert and H. J. Briegel, ibid. 64, 022306 (2001); D. A. Meyer and N. R. Wallach, J. Math. Phys. 43, 4273 (2002); F. Verstraete, J. Dehaene, and B. De Moor Phys. Rev. A 68, 012103 (2003); A. J. Scott, ibid. 69, 052330 (2004); M. Hein, J. Eisert, and H. J. Briegel, ibid. 69, 062311 (2004).
61. V. Coffman, J. Kundu, and W. K. Wootters, Phys. Rev. A 61, 052306 (2000) ; J. Eisert and H. J. Briegel, ibid. 64, 022306 (2001); D. A. Meyer and N. R. Wallach, J. Math. Phys. 43, 4273 (2002); F. Verstraete, J. Dehaene, and B. De Moor Phys. Rev. A 68, 012103 (2003); A. J. Scott, ibid. 69, 052330 (2004); M. Hein, J. Eisert, and H. J. Briegel, ibid. 69, 062311 (2004).
62. V. Coffman, J. Kundu, and W. K. Wootters, Phys. Rev. A 61, 052306 (2000) ; J. Eisert and H. J. Briegel, ibid. 64, 022306 (2001); D. A. Meyer and N. R. Wallach, J. Math. Phys. 43, 4273 (2002); F. Verstraete, J. Dehaene, and B. De Moor Phys. Rev. A 68, 012103 (2003); A. J. Scott, ibid. 69, 052330 (2004); M. Hein, J. Eisert, and H. J. Briegel, ibid. 69, 062311 (2004).
63. V. Coffman, J. Kundu, and W. K. Wootters, Phys. Rev. A 61, 052306 (2000) ; J. Eisert and H. J. Briegel, ibid. 64, 022306 (2001); D. A. Meyer and N. R. Wallach, J. Math. Phys. 43, 4273 (2002); F. Verstraete, J. Dehaene, and B. De Moor Phys. Rev. A 68, 012103 (2003); A. J. Scott, ibid. 69, 052330 (2004); M. Hein, J. Eisert, and H. J. Briegel, ibid. 69, 062311 (2004).
64. V. Coffman, J. Kundu, and W. K. Wootters, Phys. Rev. A 61, 052306 (2000) ; J. Eisert and H. J. Briegel, ibid. 64, 022306 (2001); D. A. Meyer and N. R. Wallach, J. Math. Phys. 43, 4273 (2002); F. Verstraete, J. Dehaene, and B. De Moor Phys. Rev. A 68, 012103 (2003); A. J. Scott, ibid. 69, 052330 (2004); M. Hein, J. Eisert, and H. J. Briegel, ibid. 69, 062311 (2004).
65. V. Coffman, J. Kundu, and W. K. Wootters, Phys. Rev. A 61, 052306 (2000) ; J. Eisert and H. J. Briegel, ibid. 64, 022306 (2001); D. A. Meyer and N. R. Wallach, J. Math. Phys. 43, 4273 (2002); F. Verstraete, J. Dehaene, and B. De Moor Phys. Rev. A 68, 012103 (2003); A. J. Scott, ibid. 69, 052330 (2004); M. Hein, J. Eisert, and H. J. Briegel, ibid. 69, 062311 (2004).
66. A. Shimony, Ann. N.Y. Acad. Sci. 755, 675 (1995).
67. L.-M. Duan, G. Giedke, J. I. Cirac, and P. Zoller, Phys. Rev. Lett. 84, 2722 (2000); J. I. Cirac, J. Eisert, G. Giedke, M. Lewenstein, M. B. Plenio, R. F. Werner, and M. M. Wolf, (unpublished).
68. L.-M. Duan, G. Giedke, J. I. Cirac, and P. Zoller, Phys. Rev. Lett. 84, 2722 (2000); J. I. Cirac, J. Eisert, G. Giedke, M. Lewenstein, M. B. Plenio, R. F. Werner, and M. M. Wolf, (unpublished).
69. H. F. Hofmann and S. Takeuchi, Phys. Rev. A 68, 032103 (2003); G. Tóth, ibid. 69, 052327 (2004).
70. H. F. Hofmann and S. Takeuchi, Phys. Rev. A 68, 032103 (2003); G. Tóth, ibid. 69, 052327 (2004).
71. O. Gühne, Phys. Rev. Lett. 92, 117903 (2004).
72. R. Horodecki, P. Horodecki, and M. Horodecki, Phys. Lett. A 210, 377 (1996); R. Horodecki and M. Horodecki, Phys. Rev. A 54, 1838 (1996); K. G. H. Vollbrecht and M. M. Wolf, J. Math. Phys. 43, 4299 (2002); G. Adesso, F. Illuminati, and S. De Siena, Phys. Rev. A 68, 062318 (2003); C. Moura Alves and D. Jaksch, Phys. Rev. Lett. 93, 110501 (2004).
73. R. Horodecki, P. Horodecki, and M. Horodecki, Phys. Lett. A 210, 377 (1996); R. Horodecki and M. Horodecki, Phys. Rev. A 54, 1838 (1996); K. G. H. Vollbrecht and M. M. Wolf, J. Math. Phys. 43, 4299 (2002); G. Adesso, F. Illuminati, and S. De Siena, Phys. Rev. A 68, 062318 (2003); C. Moura Alves and D. Jaksch, Phys. Rev. Lett. 93, 110501 (2004).
74. R. Horodecki, P. Horodecki, and M. Horodecki, Phys. Lett. A 210, 377 (1996); R. Horodecki and M. Horodecki, Phys. Rev. A 54, 1838 (1996); K. G. H. Vollbrecht and M. M. Wolf, J. Math. Phys. 43, 4299 (2002); G. Adesso, F. Illuminati, and S. De Siena, Phys. Rev. A 68, 062318 (2003); C. Moura Alves and D. Jaksch, Phys. Rev. Lett. 93, 110501 (2004).
75. R. Horodecki, P. Horodecki, and M. Horodecki, Phys. Lett. A 210, 377 (1996); R. Horodecki and M. Horodecki, Phys. Rev. A 54, 1838 (1996); K. G. H. Vollbrecht and M. M. Wolf, J. Math. Phys. 43, 4299 (2002); G. Adesso, F. Illuminati, and S. De Siena, Phys. Rev. A 68, 062318 (2003); C. Moura Alves and D. Jaksch, Phys. Rev. Lett. 93, 110501 (2004).
76. R. Horodecki, P. Horodecki, and M. Horodecki, Phys. Lett. A 210, 377 (1996); R. Horodecki and M. Horodecki, Phys. Rev. A 54, 1838 (1996); K. G. H. Vollbrecht and M. M. Wolf, J. Math. Phys. 43, 4299 (2002); G. Adesso, F. Illuminati, and S. De Siena, Phys. Rev. A 68, 062318 (2003); C. Moura Alves and D. Jaksch, Phys. Rev. Lett. 93, 110501 (2004).
77. G. G. Amosov, A. S. Holevo, and R. F. Werner, Probl. Inf. Transm. 36, 25 (2000); C. King and M. B. Ruskai, e-print quant-ph/0401026.
78. G. G. Amosov, A. S. Holevo, and R. F. Werner, Probl. Inf. Transm. 36, 25 (2000); C. King and M. B. Ruskai, e-print quant-ph/0401026.
79. H. D. Sherali and W. P. Adams, SIAM J. Discrete Math. 3, 411 (1990).
80. D. Henrion and J. B. Lasserre, ACM Trans. Math. Softw. 29, 165 (2003). See also the web page www.laas.fr/~henrion/software/gloptipoly/gloptipoly.html
81. J. F. Sturm, Optim. Methods Softw. 11, 625 (1999); see also the documentation of the software on the web page fewcal.kub.nl/sturm/software/sedumi.html
82. W. Dür, G. Vidal, and J. I. Cirac, Phys. Rev. A 62, 062314 (2000).
83. J. Kempe, D. Bacon, D. A. Lidar, and K. B. Whaley, Phys. Rev. A 63, 042307 (2001).
84. A. C. Doherty, P. A. Parrilo, and F. M. Spedalieri, e-print quant-ph/0407143.