General Probabilistic Theories with a Gleason-type Theorem

Victoria J Wright1,2 and Stefan Weigert3

1International Centre for Theory of Quantum Technologies, University of Gdańsk, 80-308 Gdańsk, Poland
2ICFO-Institut de Ciencies Fotoniques, The Barcelona Institute of Science and Technology, 08860 Castelldefels, Spain
3Department of Mathematics, University of York, York YO10 5DD, United Kingdom

Find this paper interesting or want to discuss? Scite or leave a comment on SciRate.

Abstract

Gleason-type theorems for quantum theory allow one to recover the quantum state space by assuming that (i) states consistently assign probabilities to measurement outcomes and that (ii) there is a unique state for every such assignment. We identify the class of general probabilistic theories which also admit Gleason-type theorems. It contains theories satisfying the no-restriction hypothesis as well as others which can simulate such an unrestricted theory arbitrarily well when allowing for post-selection on measurement outcomes. Our result also implies that the standard no-restriction hypothesis applied to effects is not equivalent to the dual no-restriction hypothesis applied to states which is found to be less restrictive.

Quantum theory successfully describes our world at a microscopic scale. Traditionally, the theory is formulated in terms of rather abstract postulates. They establish links between physical notions such as the state of an electron and suitable mathematical objects in a Hilbert space.

It is fair to say that the postulates are not intuitive, and many physicists are not entirely satisfied with this situation. In 1957, Andrew Gleason proved that it is possible to remove a significant layer of abstraction from the set of postulates. He did so by showing that the axiom introducing quantum states could be discarded in favour of an intuitive definition which is based on the postulate describing quantum measurements.

After this first step, the search for physically motivated axioms of quantum theory continued. It led to the formulation of the so-called general probabilistic theories, or GPTs. Unlike the traditional approach to quantum theory, the framework for GPTs is based on simple physical ideas, by relating basic probability theory and procedures that can be performed in a laboratory. Quantum theory is, in fact, an example of a GPT but there are also many other wild and wonderful theories in this broad class. The introduction of GPTs gives rise to a new perspective on quantum theory since we can search for additional properties or axioms singling out quantum theory among all other GPTs.

In this paper, we ask whether Gleason's modification of the axiomatic structure is special to quantum theory or whether his result would also apply to other GPTs describing another universe in which we might have lived. We find that GPTs can be divided into two classes, namely those which allow for an analogue of Gleason’s result (including quantum theory) and those which do not. Thus, our contribution brings us one step closer to understanding why quantum theory is special among GPTs.

► BibTeX data

► References

[1] George W Mackey. Quantum mechanics and Hilbert space. Am. Math. Mon., 64:45–57, 1957. doi:10.2307/​2308516.
https:/​/​doi.org/​10.2307/​2308516

[2] Andrew M Gleason. Measures on the closed subspaces of a Hilbert space. J. Math. Mech., 6:885, 1957. doi:10.1007/​978-94-010-1795-4_7.
https:/​/​doi.org/​10.1007/​978-94-010-1795-4_7

[3] Paul Busch. Quantum states and generalized observables: a simple proof of Gleason's theorem. Phys. Rev. Lett., 91:120403, 2003. doi:10.1103/​physrevlett.91.120403.
https:/​/​doi.org/​10.1103/​physrevlett.91.120403

[4] Carlton M Caves, Christopher A Fuchs, Kiran K Manne, and Joseph M Renes. Gleason-type derivations of the quantum probability rule for generalized measurements. Found. Phys., 34:193–209, 2004. doi:10.1023/​b:foop.0000019581.00318.a5.
https:/​/​doi.org/​10.1023/​b:foop.0000019581.00318.a5

[5] Peter Janotta and Haye Hinrichsen. Generalized probability theories: what determines the structure of quantum theory? J. Phys. A, 47:323001, 2014. doi:10.1088/​1751-8113/​47/​32/​323001.
https:/​/​doi.org/​10.1088/​1751-8113/​47/​32/​323001

[6] Jonathan Barrett. Information processing in generalized probabilistic theories. Phys. Rev. A, 75:032304, 2007. doi:10.1103/​PhysRevA.75.032304.
https:/​/​doi.org/​10.1103/​PhysRevA.75.032304

[7] Lluís Masanes and Markus P Müller. A derivation of quantum theory from physical requirements. New J. Phys., 13:063001, 2011. doi:10.1088/​1367-2630/​13/​6/​063001.
https:/​/​doi.org/​10.1088/​1367-2630/​13/​6/​063001

[8] Howard Barnum and Alexander Wilce. Information processing in convex operational theories. Electron. Notes Theor. Comput. Sci., 270(1):3–15, 2011. doi:10.1016/​j.entcs.2011.01.002.
https:/​/​doi.org/​10.1016/​j.entcs.2011.01.002

[9] Lucien Hardy. Quantum theory from five reasonable axioms. arXiv:quant-ph/​0101012, 308, 2001. URL: https:/​/​arxiv.org/​abs/​quant-ph/​0101012.
arXiv:quant-ph/0101012

[10] Giulio Chiribella, Giacomo Mauro D'Ariano, and Paolo Perinotti. Probabilistic theories with purification. Phys. Rev. A, 81:062348, 2010. doi:10.1103/​PhysRevA.81.062348.
https:/​/​doi.org/​10.1103/​PhysRevA.81.062348

[11] Peter Janotta and Raymond Lal. Generalized probabilistic theories without the no-restriction hypothesis. Phys. Rev. A, 87:052131, 2013. doi:10.1103/​PhysRevA.87.052131.
https:/​/​doi.org/​10.1103/​PhysRevA.87.052131

[12] Stanley P Gudder, Sylvia Pulmannová, Sławomir Bugajski, and Enrico Beltrametti. Convex and linear effect algebras. Rep. Math. Phys., 44(3):359–379, 1999. doi:10.1016/​s0034-4877(00)87245-6.
https:/​/​doi.org/​10.1016/​s0034-4877(00)87245-6

[13] Michał Oszmaniec, Filip B. Maciejewski, and Zbigniew Puchała. Simulating all quantum measurements using only projective measurements and postselection. Phys. Rev. A, 100:012351, 2019. doi:10.1103/​PhysRevA.100.012351.
https:/​/​doi.org/​10.1103/​PhysRevA.100.012351

[14] Carlton M Caves, Christopher A Fuchs, and Pranaw Rungta. Entanglement of formation of an arbitrary state of two rebits. Found. Phys. Lett., 14(3):199–212, 2001. doi:10.1023/​A:1012215309321.
https:/​/​doi.org/​10.1023/​A:1012215309321

[15] Lucien Hardy and William K Wootters. Limited holism and real-vector-space quantum theory. Found. Phys., 42(3):454–473, 2012. doi:10.1007/​s10701-011-9616-6.
https:/​/​doi.org/​10.1007/​s10701-011-9616-6

[16] William K Wootters. Entanglement sharing in real-vector-space quantum theory. Found. Phys., 42(1):19–28, 2012. doi:10.1007/​s10701-010-9488-1.
https:/​/​doi.org/​10.1007/​s10701-010-9488-1

[17] Antoniya Aleksandrova, Victoria Borish, and William K Wootters. Real-vector-space quantum theory with a universal quantum bit. Phys. Rev. A, 87(5):052106, 2013. doi:10.1103/​physreva.87.052106.
https:/​/​doi.org/​10.1103/​physreva.87.052106

[18] Koji Nuida, Gen Kimura, and Takayuki Miyadera. Optimal observables for minimum-error state discrimination in general probabilistic theories. J. Math. Phys., 51(9):093505, 2010. doi:10.1063/​1.3479008.
https:/​/​doi.org/​10.1063/​1.3479008

[19] Ludovico Lami, Bartosz Regula, Ryuji Takagi, and Giovanni Ferrari. Framework for resource quantification in infinite-dimensional general probabilistic theories. Phys. Rev. A, 103(3), 2021. doi:10.1103/​physreva.103.032424.
https:/​/​doi.org/​10.1103/​physreva.103.032424

[20] Sergey N Filippov, Stan Gudder, Teiko Heinosaari, and Leevi Leppäjärvi. Operational restrictions in general probabilistic theories. Found. Phys., 50(8):850, 2020. doi:10.1007/​s10701-020-00352-6.
https:/​/​doi.org/​10.1007/​s10701-020-00352-6

[21] Howard Barnum, Markus P Müller, and Cozmin Ududec. Higher-order interference and single-system postulates characterizing quantum theory. New J. Phys., 16(12):123029, 2014. doi:10.1088/​1367-2630/​16/​12/​123029.
https:/​/​doi.org/​10.1088/​1367-2630/​16/​12/​123029

[22] Gen Kimura. The Bloch vector for N-level systems. Phys. Lett. A, 314:339–349, 2003. doi:10.1016/​s0375-9601(03)00941-1.
https:/​/​doi.org/​10.1016/​s0375-9601(03)00941-1

[23] Sandeep K Goyal, B Neethi Simon, Rajeev Singh, and Sudhavathani Simon. Geometry of the generalized Bloch sphere for qutrits. J. Phys. A, 49(16):165203, 2016. doi:10.1088/​1751-8113/​49/​16/​165203.
https:/​/​doi.org/​10.1088/​1751-8113/​49/​16/​165203

[24] Ingemar Bengtsson and Karol Życzkowski. Geometry of quantum states: an introduction to quantum entanglement. Cambridge University Press, 2017. doi:10.1017/​9781139207010.
https:/​/​doi.org/​10.1017/​9781139207010

[25] R Tyrrell Rockafellar. Convex analysis. Princeton University Press, 1970. doi:10.1515/​9781400873173.
https:/​/​doi.org/​10.1515/​9781400873173

[26] Günther Ludwig. An Axiomatic Basis for Quantum Mechanics. Volume 1: Derivation of Hilbert Space Structure. Springer, 1985. doi:10.1007/​978-3-642-70029-3.
https:/​/​doi.org/​10.1007/​978-3-642-70029-3

[27] Anthony J Short and Jonathan Barrett. Strong nonlocality: a trade-off between states and measurements. New Journal of Physics, 12(3):033034, 2010. doi:10.1088/​1367-2630/​12/​3/​033034.
https:/​/​doi.org/​10.1088/​1367-2630/​12/​3/​033034

[28] Ana Belén Sainz, Yelena Guryanova, Antonio Acín, and Miguel Navascués. Almost-quantum correlations violate the no-restriction hypothesis. Phys. Rev. Lett., 120(20):200402, 2018. doi:10.1103/​physrevlett.120.200402.
https:/​/​doi.org/​10.1103/​physrevlett.120.200402

[29] David J Foulis and Charles H Randall. Empirical logic and tensor products. In Interpretations and foundations of quantum mechanics: proceedings of a conference hold in Marburg 28-30 May 1979. 1981. URL: https:/​/​inis.iaea.org/​search/​search.aspx?orig_q=RN:13651556.
https:/​/​inis.iaea.org/​search/​search.aspx?orig_q=RN:13651556

[30] Charles H Randall and David J Foulis. Operational statistics. ii. manuals of operations and their logics. J. Math. Phys., 14:1472–1480, 1973. doi:10.1063/​1.1666208.
https:/​/​doi.org/​10.1063/​1.1666208

[31] David J Foulis, Richard J Greechie, and Gottfried T Rüttimann. Logicoalgebraic structures II. Supports in test spaces. Int. J. Theor. Phys., 32(10):1675–1690, 1993. doi:10.1007/​bf00979494.
https:/​/​doi.org/​10.1007/​bf00979494

[32] Peter Janotta, Christian Gogolin, Jonathan Barrett, and Nicolas Brunner. Limits on nonlocal correlations from the structure of the local state space. New J. Phys., 13(6):063024, 2011. doi:10.1088/​1367-2630/​13/​6/​063024.
https:/​/​doi.org/​10.1088/​1367-2630/​13/​6/​063024

[33] Ludovico Lami. Non-classical correlations in quantum mechanics and beyond. PhD thesis, Universitat Autònoma de Barcelona, arXiv:1803.02902, 2017. URL: https:/​/​arxiv.org/​abs/​1803.02902.
arXiv:1803.02902

[34] Farid Shahandeh. Contextuality of general probabilistic theories. PRX Quantum, 2(1):010330, 2021. doi:10.1103/​prxquantum.2.010330.
https:/​/​doi.org/​10.1103/​prxquantum.2.010330

[35] Robert W Spekkens. Evidence for the epistemic view of quantum states: A toy theory. Phys. Rev. A, 75(3):032110, 2007. doi:10.1103/​physreva.75.032110.
https:/​/​doi.org/​10.1103/​physreva.75.032110

[36] Sandu Popescu and Daniel Rohrlich. Quantum nonlocality as an axiom. Found. Phys., 24(3):379–385, 1994. doi:10.1007/​bf02058098.
https:/​/​doi.org/​10.1007/​bf02058098

[37] Victoria J Wright and Stefan Weigert. A Gleason-type theorem for qubits based on mixtures of projective measurements. J. Phys. A, 52:055301, 2019. doi:10.1088/​1751-8121/​aaf93d.
https:/​/​doi.org/​10.1088/​1751-8121/​aaf93d

[38] Michał Oszmaniec, Leonardo Guerini, Peter Wittek, and Antonio Acín. Simulating positive-operator-valued measures with projective measurements. Phys. Rev. Lett., 119(19):190501, 2017. doi:10.1103/​physrevlett.119.190501.
https:/​/​doi.org/​10.1103/​physrevlett.119.190501

[39] Sergey N Filippov, Teiko Heinosaari, and Leevi Leppäjärvi. Simulability of observables in general probabilistic theories. Phys. Rev. A, 97:062102, 2018. doi:10.1103/​PhysRevA.97.062102.
https:/​/​doi.org/​10.1103/​PhysRevA.97.062102

[40] Stanley P Gudder and Sylvia Pulmannová. Representation theorem for convex effect algebras. Comment. Math. Univ. Carolinae, 39(4):645–659, 1998. URL: https:/​/​dml.cz/​handle/​10338.dmlcz/​119041.
https:/​/​dml.cz/​handle/​10338.dmlcz/​119041

[41] Howard Barnum. Quantum information processing, operational quantum logic, convexity, and the foundations of physics. Stud. Hist. Philos. Sci. A, 34(3):343–379, 2003. doi:10.1016/​s1355-2198(03)00033-9.
https:/​/​doi.org/​10.1016/​s1355-2198(03)00033-9

[42] Lluís Masanes, Thomas D Galley, and Markus P Müller. The measurement postulates of quantum mechanics are operationally redundant. Nat. Commun., 10(1):1–6, 2019. doi:10.1038/​s41467-019-09348-x.
https:/​/​doi.org/​10.1038/​s41467-019-09348-x

[43] Thomas D Galley and Lluís Masanes. Classification of all alternatives to the Born rule in terms of informational properties. Quantum, 1:15, 2017. doi:10.22331/​q-2017-07-14-15.
https:/​/​doi.org/​10.22331/​q-2017-07-14-15

[44] Thomas D Galley and Lluís Masanes. Any modification of the Born rule leads to a violation of the purification and local tomography principles. Quantum, 2:104, 2018. doi:10.22331/​q-2018-11-06-104.
https:/​/​doi.org/​10.22331/​q-2018-11-06-104

[45] Miguel Navascués, Yelena Guryanova, Matty J Hoban, and Antonio Acín. Almost quantum correlations. Nat. Commun., 6(1):1–7, 2015. doi:10.1038/​ncomms7288.
https:/​/​doi.org/​10.1038/​ncomms7288

[46] Lucien Hardy. Disentangling nonlocality and teleportation. arXiv:quant-ph/​9906123, 1999. URL: https:/​/​arxiv.org/​abs/​quant-ph/​9906123.
arXiv:quant-ph/9906123

Cited by

[1] John B. DeBrota, Christopher A. Fuchs, Jacques L. Pienaar, and Blake C. Stacey, "Born's rule as a quantum extension of Bayesian coherence", Physical Review A 104 2, 022207 (2021).

[2] John B. DeBrota, Christopher A. Fuchs, Jacques L. Pienaar, and Blake C. Stacey, "The Born Rule as Dutch-Book Coherence (and only a little more)", arXiv:2012.14397.

The above citations are from SAO/NASA ADS (last updated successfully 2021-12-08 02:47:17). The list may be incomplete as not all publishers provide suitable and complete citation data.

On Crossref's cited-by service no data on citing works was found (last attempt 2021-12-08 02:47:15).