Parts of quantum states

Physical Review A - Atomic, Molecular, and Optical Physics

Volumn 71, Issue 1, 2005, Pages

  Jones, Nick S ^a   Linden, Noah ^a  

^a UNIVERSITY OF BRISTOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC DECOMPOSITION; ENTANGLEMENTS; HILBERT SPACE; QUANTUM STATES;

ALGEBRA; ALGORITHMS; CORRELATION METHODS; GEOMETRY; INFORMATION ANALYSIS; OPTIMIZATION; POLYNOMIALS;

QUANTUM THEORY;

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

References (23)

1. N. Linden, S. Popescu, and W. K. Wootters, Phys. Rev. Lett. 89, 207901 (2002).
2. N. Linden and W. K. Wootters, Phys. Rev. Lett. 89, 277906 (2002).
3. A. Higuchi, A. Sudbery, and J. Szulc, Phys. Rev. Lett. 90, 107902 (2003).
4. A. Higuchi, e-print quant-ph/0309186.
5. Y. Han, Y. Zhang, and G. Guo, e-print quant-ph/0403151.
6. S. Bravyi, e-print quant-ph/0301014.
7. S. Basu, R. Pollack, and M.-F. Roy, Algorithms in Real Algebraic Geometry (Springer-Verlag, New York, 2003).
8. F. Rouillier, in Algorithmic and Quantitative Real Algebraic Geometry, edited by S. Basu and L. Gonzalez-Vega (AMS, Boston, 2003), p. 123.
9. P. Aubry, F. Rouillier, and M. S. El Din, J. Symb. Comput. 34, 543 (2002).
10. M.-F. Roy, in Lectures in Real Geometry edited by F. Broglia (de Gruyter, Berlin, 1996), p. 1.
11. L. Gonzalez-Vega, F. Rouillier, M.-F. Roy, and G. Trujillo, in Some Tapas of Computer Algebra, edited by A. Cohen et al. (Springer-Verlag, Berlin, 1999), p. 121.
12. J. Renegar, J. Symb. Comput. 13, 255 (1992).
13. L. Blum, F. Cucker, M. Shub, and S. Smale, Complexity and Real Computation (Springer-Verlag, Berlin, 1998).
14. L. Blum, M. Shub, and S. Smale, Bull., New Ser., Am. Math. Soc. 21, 1 (1989).
15. G. E. Collins, in Second GI Conference on Automata Theory and Formal Languages, edited by H. Barkhage (Springer-Verlag, Berlin, 1975), p. 134.
16. S. Basu, R. Pollack, and M.-F. Roy, J. ACM 43, 1002 (1996).
17. G. E. Collins and H. Hong, J. Symb. Comput. 12, 299 (1991); www.cs.usna.edu/qepcad/B/QEPCAD.html
18. On a 2 GHz Pentium 4 with 500 Mbytes RAM this took seconds.
19. Algorithmically, it is exponentially easier to derive sufficient compatibility conditions than necessary ones (though it is still very hard). By asking questions like "Does there exist a compatible state of kind X?" rather than "Does there exist any compatible state?" one puts constraints on the variable to be eliminated and this reduces the complexity of the task.
20. L. Diosi, e-print quant-ph/0403200.
21. ABC and so cannot tell us if higher-order correlations in pure quantum states are independent of lower-order correlations. The analysis in Sees. II and III is required for this.
22. C. H. Bennett, S. Popescu, D. Rohrlich, J. A. Smolin, and A. V. Thapliyal, Phys. Rev. A 63, 012307 (2000).
23. N. Linden, S. Popescu, B. Schumacher, and M. Westmoreland, e-print quant-ph/9912039.