The operator tensor formulation of quantum theory

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

Volumn 370, Issue 1971, 2012, Pages 3385-3417

  Hardy, Lucien ^a  

^a PERIMETER INSTITUTE FOR THEORETICAL PHYSICS   (Canada)

Author keywords

Operator tensors; Quantum circuits; Quantum reformulation

Indexed keywords

EXPERIMENTS; QUANTUM COMPUTERS; QUANTUM ELECTRONICS; QUANTUM OPTICS; WIRE;

COVARIANT; METER READINGS; POSITIVE INPUT; QUANTUM CIRCUIT; QUANTUM REFORMULATION; QUANTUM SYSTEM; TENSOR FORMULATION;

TENSORS;

EID: 84862892388     PISSN: 1364503X     EISSN: None     Source Type: Journal    
DOI: 10.1098/rsta.2011.0326     Document Type: Article

References (50)

1. Hardy, L. 2009 Foliable operational structures for general probabilistic theories. (http://arxiv.org/abs/arxiv:0912.4740)
2. Hardy, L. 2011 Reformulating and reconstructing quantum theory. (http://arxiv.org/abs/arxiv:1104.2066)
3. Chiribella, G., D'Ariano, G. M. & Perinotti, P. 2009 Theoretical framework for quantum networks. Phys. Rev. A 80, 022339. (doi:10.1103/PhysRevA. 80.022339)
4. Aharonov, Y., Bergmann, P. G. & Lebowitz, J. L. 1964 Time symmetry in the quantum process of measurement. Phys. Rev. 134, B1410-B1416. (doi:10.1103/PhysRev. 134. B1410)
5. Aharonov, Y., Popescu, S., Tollaksen, J. & Vaidman, L. 2009 Multiple-time states and multipletime measurements in quantum mechanics. Phys. Rev. A 79, 052110. (doi:10.1103/PhysRevA. 79.052110)
6. Oeckl, R. 2003 A 'general boundary' formulation for quantum mechanics and quantum gravity. Phys. Lett. B 575, 318-324. (doi:10.1016/j.physletb.2003.08. 043)
7. Hardy, L. 2005 Probability theories with dynamic causal structure: a new framework for quantum gravity. (http://arxiv.org/abs/gr-qc/0509120)
8. Hardy, L. 2007 Towards quantum gravity: a framework for probabilistic theories with non-fixed causal structure. J. Phys. A 40, 3081. (doi:10.1088/1751-8113/40/12/S12)
9. Hardy, L. 2009 Quantum gravity computers: on the theory of computation with indefinite causal structure. In Quantum reality, relativistic causality, and closing the epistemic circle: essays in honour of Abner Shimony (eds W. C. Myrvold & J. Christian), pp. 379-402. Berlin, Germany: Springer.
10. Hardy, L. 2010 Formalism locality in quantum theory and quantum gravity. In Philosophy of quantum information and entanglement (eds A. Bokulich & G. Jaeger), pp. 44-61. Cambridge, UK: Cambridge University Press.
11. Gutoski, G. & Watrous, J. 2007 Towards a general theory of quantum games. In Proc. 39th Annu. ACM Symp. on Theory of Computation, vol. 565. New York, NY: American Mathematical Society. (http://arxiv.org/abs/quant-ph/0611234)
12. Leifer, M. S. & Spekkens, R. W. 2011 Formulating quantum theory as a causally neutral theory of Bayesian inference. (http://arxiv.org/abs/arxiv:1107. 5849)
13. Leifer, M. 2006 Quantum causal networks, PIRSA:06060063. See http://pirsa.org/06060063.
14. Markopoulou, F. 2000 Quantum causal histories. Classical Quant. Gravity 17, 2059. (doi:10.1088/0264-9381/17/10/302)
15. Blute, R. F., Ivanov, I. T. & Panangaden, P. 2003 Discrete quantum causal dynamics. Int. J. Theor. Phys. 42, 2025-2041. (doi:10.1023/A: 1027335119549) (Pubitemid 39031557)
16. Abramsky, S. & Coecke, B. 2004 A categorical semantics of quantum protocols. In Proc. 19th Annu. IEEE Symp. on Logic in Computer Science, pp. 415-425. Washington, DC: IEEE Computer Society Press.
17. Coecke, B. 2010 Quantum picturalism. Contemp. Phys. 51, 59-83. (doi:10.1080/00107510903257624)
18. Chiribella, G., D'Ariano, G. M. & Perinotti, P. 2010 Probabilistic theories with purification. Phys. Rev. A 81, 062348. (doi:10.1103/PhysRevA.81. 062348)
19. Hardy, L. 2010 A formalism-local framework for general probabilistic theories including quantum theory. (http://arxiv.org/abs/1005.5164)
20. Penrose, R. 1971 Applications of negative dimensional tensors. In Combinatorial mathematics and its applications (ed. D. J. A. Welsh), pp. 221-244. Waltham, MA: Academic Press.
21. Penrose, R. 2005 The road to reality: a complete guide to the laws of the universe. New York, NY: Vintage Books.
22. Hardy, L. 2010 The duotenzor drawing package. See http://tug.ctan.org/ tex-archive/graphics/duotenzor/.
23. Vidal, G. 2011 A class of quantum many-body states that can be efficiently simulated. (http://arxiv.org/abs/quant-ph/0610099)
24. Verstraete, F., Cirac, J. I. & Murg, V. 2009 Matrix product states, projected entangled pair states, and variational renormalization group methods for quantum spin systems. (http://arxiv.org/abs/0907.2796)
25. Wood, C. J., Biamonte, J. D. & Cory, D. G. 2011 Tensor networks and graphical calculus for open quantum systems. (http://arxiv.org/abs/1111.6950)
26. Sorkin, R. D. 1991 Spacetime and causal sets. In Relativity and gravitation: classical and quantum (eds J. C. Olivo, E. Nahmad-Achar, M. Rosenbaum, M. P. Ryan, L. F. Urrutia & F. Zertuche), pp. 150-173. Singapore: World Scientific.
27. Johnston, S. 2010 Quantum fields on causal sets. PhD thesis, Imperial College London, UK. (http://arxiv.org/abs/1010.5514)
28. Ludwig, G. 1985 and 1987 An axiomatic basis of quantum mechanics, vols. I and II. Berlin, Germany: Springer.
29. Davies, E. B. & Lewis, J. T. 1970 An operational approach to quantum probability. Commun. Math. Phys. 17, 239-260. (doi:10.1007/BF01647093)
30. Gunson, J. 1967 On the algebraic structure of quantum mechanics. Commun. Math. Phys. 6, 262-285. (doi:10.1007/BF01646019)
31. Mielnik, B. 1969 Theory of filters. Commun. Math. Phys. 15, 1-46. (doi:10.1007/BF01645423)
32. Araki, H. 1980 On a characterization of the state space of quantum mechanics. Commun. Math. Phys. 75, 1-24. (doi:10.1007/BF01962588)
33. Gudder, S., Pulmannová, S., Bugajski, S. & Beltrametti, E. 1999 Convex and linear effect algebras. Rep. Math. Phys. 44, 359-379. (doi:10.1016/S0034-4877 (00) 87245-6)
34. Foulis, D. J. & Randall, C. H. 1979 Empirical logic and tensor products. In Interpretations and foundations of quantum theory, vol. 5, pp. 9-20. Mannheim, Germany: Bibliographisches Institut.
35. Fivel, D. I. 1994 How interference effects in mixtures determine the rules of quantum mechanics. Phys. Rev. A 50, 2108-2119. (doi:10.1103/PhysRevA. 50.2108)
36. Hardy, L. 2001 Quantum theory from five reasonable axioms. (http://arxiv.org/abs/quant-ph/0101012)
37. Barrett, J. 2007 Information processing in generalized probabilistic theories. Phys. Rev. A 75, 032304. (doi:10.1103/PhysRevA.75.032304) (Pubitemid 46375513)
38. Barnum, H. & Wilce, A. 2011 Information processing in convex operational theories. Electron. Notes Theor. Comput. Sci. 270, 3-15. (doi:10.1016/j.entcs.2011.01.002)
39. Chiribella, G., D'Ariano, G. M. & Perinotti, P. 2010 Informational derivation of quantum theory. (http://arxiv.org/abs/1011.6451)
40. Hardy, L. 2009 Operational structures as a foundation for probabilistic theories, PIRSA:09080011. See http://pirsa.org/09080011/.
41. Hardy, L. 2009 Operational structures and natural postulates for quantum theory, PIRSA:09080011. See http://pirsa.org/09080011/.
42. Bergia, S., Cannata, F., Cornia, A. & Livi, R. 1980 On the actual measurability of the density matrix of a decaying system by means of measurements on the decay products. Found. Phys. 10, 723-730. (doi:10.1007/BF00708418)
43. Wootters, W. K. 1986 Quantum mechanics without probability amplitudes. Found. Phys. 16, 391-405. (doi:10.1007/BF01882696)
44. Mermin, N. D. 1998 What is quantum mechanics trying to tell us? (http://arxiv.org/abs/quant-ph/9801057)
45. Hardy, L. & Wootters, W. K. 2010 Limited holism and real-vector-space quantum theory. (http://arxiv.org/abs/1005.4870)
46. Dakic, B. & Brukner, C. 2009 Quantum theory and beyond: is entanglement special? (http://arxiv.org/abs/0911.0695)
47. Masanes, L. & Mueller, M. P. 2010 A derivation of quantum theory from physical requirements. (http://arxiv.org/abs/1004.1483)
48. Wigner, E. P. & Griffin, J. J. 1959 Group theory and its application to the quantum mechanics of atomic spectra, vol. 4. New York, NY: Academic Press.
49. Peres, A. 1993 Quantum theory: concepts and methods, vol. 57. Dordrecht, The Netherlands: Kluwer Academic Publishers.
50. Peres, A. 1996 Separability criterion for density matrices. Phys. Rev. Lett. 77, 1413-1415. (doi:10.1103/PhysRevLett.77.1413) (Pubitemid 126625698)