General Probabilistic Theories with a Gleason-type Theorem
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
Published: | 2021-11-25, volume 5, page 588 |
Eprint: | arXiv:2005.14166v4 |
Doi: | https://doi.org/10.22331/q-2021-11-25-588 |
Citation: | Quantum 5, 588 (2021). |
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.

Featured image: The state and effect space of a GPT system, known as the almost noisy unrestricted bit, which admits a Gleason-type theorem.
Popular summary
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] Victoria J Wright, "Intermediate determinism in general probabilistic theories", Journal of Physics A: Mathematical and Theoretical 55 46, 464002 (2022).
[2] John H. Selby, David Schmid, Elie Wolfe, Ana Belén Sainz, Ravi Kunjwal, and Robert W. Spekkens, "Accessible fragments of generalized probabilistic theories, cone equivalence, and applications to witnessing nonclassicality", Physical Review A 107 6, 062203 (2023).
[3] 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).
The above citations are from Crossref's cited-by service (last updated successfully 2023-08-11 20:26:45) and SAO/NASA ADS (last updated successfully 2023-10-03 03:39:18). The list may be incomplete as not all publishers provide suitable and complete citation data.
Could not fetch Crossref cited-by data during last attempt 2023-10-03 03:39:16: Encountered the unhandled forward link type postedcontent_cite while looking for citations to DOI 10.22331/q-2021-11-25-588.
This Paper is published in Quantum under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. Copyright remains with the original copyright holders such as the authors or their institutions.