Quantum measurement occurrence is undecidable

Physical Review Letters

Volumn 108, Issue 26, 2012, Pages

  Eisert, J ^a   Muller M P ^b   Gogolin, C ^a  

^a FREIE UNIVERSITÄT BERLIN   (Germany)

^b PERIMETER INSTITUTE FOR THEORETICAL PHYSICS   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION PROBLEMS; FINITE TIME; MANY-BODY MODEL; MEASUREMENT DEVICE; MEASUREMENT-BASED; QUANTUM COMPUTING; QUANTUM MEASUREMENT; QUANTUM PROPERTIES; UNDECIDABILITY;

QUANTUM COMPUTERS;

MEASUREMENT THEORY;

EID: 84863098352     PISSN: 00319007     EISSN: 10797114     Source Type: Journal    
DOI: 10.1103/PhysRevLett.108.260501     Document Type: Article

References (24)

1. J. Kempe, A. Kitaev, and O. Regev, SIAM J. Comput. SMJCAT 0097-5397 35, 1070 (2006). 10.1137/S0097539704445226 (Pubitemid 44599919)
2. S. Bravyi and B. Terhal, SIAM J. Comput. 39, 1462 (2009). SMJCAT 0097-5397 10.1137/08072689X
3. D. Aharonov, D. Gottesman, S. Irani, and J. Kempe, Commun. Math. Phys. CMPHAY 0010-3616 287, 41 (2009). 10.1007/s00220-008-0710-3
4. T.J. Osborne, arXiv:1106.5875.
5. J. Eisert, M. Cramer, and M.B. Plenio, Rev. Mod. Phys. 82, 277 (2010). RMPHAT 0034-6861 10.1103/RevModPhys.82.277
6. T.S. Cubitt, J. Eisert, and M.M. Wolf, Commun. Math. Phys. CMPHAY 0010-3616 310, 383 (2012). 10.1007/s00220-011-1402-y
7. T.S. Cubitt, "Frustratingly Undecidable (or Undecidably Frustrating)," in Proceedings of IQC Waterloo, (2011).
8. A.M. Turing, Proc. London Math. Soc. s2-42, 230 (1937). PLMTAL 0024-6115 10.1112/plms/s2-42.1.230
9. S.C. Kleene, Mathematical Logic (Wiley, New York, 1967).
10. See Supplemental Material at http://link.aps.org/supplemental/10.1103/ PhysRevLett.108.260501 for the reduction of the MMP to the post correspondence problem.
11. E. Post, Bull. Am. Math. Soc. BAMOAD 0002-9904 52, 264 (1946). 10.1090/S0002-9904-1946-08555-9
12. V.D. Blondel, E. Jeandel, P. Koiran, and N. Portier, SIAM J. Comput. 34, 1464 (2005). SMJCAT 0097-5397 10.1137/S0097539703425861 (Pubitemid 43003151)
13. M.S. Paterson, Stud. Appl. Math. 49, 105 (1970). SAPMB6 0022-2526
14. V. Halava and T. Harju, Am. Math. Mon. AMMYAE 0002-9890 108, 649 (2001). 10.2307/2695274
15. V. Halava, T. Harju, and M. Hirvensalo, Foundations of Computer Science IFCSEN 0129-0541 18, 931 (2007). 10.1142/S0129054107005066
16. M.A. Miller, Mathematics Magazine MAMGA8 0025-570X 67, 210 (1994). 10.2307/2690613
17. G.H. Hardy and E.M. Wright, An Introduction to the Theory of Numbers (Oxford University Press, New York, 1980).
18. V.D. Blondel and J.N. Tsitsiklis, Inf. Proc. Lett. IFPLAT 0020-0190 63, 283 (1997). 10.1016/S0020-0190(97)00123-3
19. M. Sanz, D. Perez-Garcia, M.M. Wolf, and J.I. Cirac, IEEE Trans. Inf. Theory 56, 4668 (2010). IETTAW 0018-9448 10.1109/TIT.2010.2054552
20. D. Gross, J. Eisert, N. Schuch, and D. Perez-Garcia, Phys. Rev. A 76, 052315 (2007); PLRAAN 1050-2947 10.1103/PhysRevA.76.052315 (Pubitemid 350137035)
21. D. Gross and J. Eisert, Phys. Rev. Lett. 98, 220503 (2007); PRLTAO 0031-9007 10.1103/PhysRevLett.98.220503 (Pubitemid 47139735)
22. D. Gross and J. Eisert, Phys. Rev. A 82, 040303(R) (2010). PLRAAN 1050-2947 10.1103/PhysRevA.82.040303
23. D. Perez-Garcia, F. Verstraete, M.M. Wolf, and J.I. Cirac, Quantum Inf. Comput. 7, 401 (2007). QICUAW 1533-7146
24. M.M. Wolf, T.S. Cubitt, and D. Perez-Garcia, arXiv:1111.5425.