Abstract
In previous articles we presented a simple set of axioms named “Contexts, Systems and Modalities” (CSM), where the structure of quantum mechanics appears as a result of the interplay between the quantized number of modalities accessible to a quantum system, and the continuum of contexts that are required to define these modalities. In the present article we discuss further how to obtain (or rather infer) Born’s rule within this framework. Our approach is compared with other former and recent derivations, and its strong links with Gleason’s theorem are particularly emphasized.
Similar content being viewed by others
Notes
The word “context” includes the actual settings of the device, e.g. measurement of \(S_z\) rather than \(S_x\): the context must be factual, not contrafactual. On the other hand all devices able to measure \(S_z\) are equivalent as a context, in a (Bohrian) sense that they all define the same conditions for predicting the future behaviour of the system.
We omit the free evolution of the system; if it is present, the result of a new measurement can still be predicted with certainty, but in another context that can be deduced from the free evolution. Mutatis mutandis, this is equivalent to full repeatability.
In [10] extravalent modalities in different contexts are considered to be the same modality, transferred from a context to another. This is however not satisfactory, since a modality belongs to a specific context and system. The notions of extracontextuality and extravalence are thus more suitable, as explained in [12].
Note that extravalent modalities appear only if \(N \ge 3\), this has an obvious geometrical interpretation in relation with Gleason’s theorem (see below).
In order to make sense of Theorem 2, it is essential to distinguish between modalities and vectors in an Hilbert space, that will correspond to extravalence classes of modalities (see below). This issue is also essential for a good understanding of Gleason’s hypotheses.
A density operator is a positive semidefinite Hermitian operator with unit trace. It describes a pure state if it is a rank one projector.
In the general case in \(\mathcal{{R}}_{\text {3}}\), the maximum (resp. minimum) value of f is \(0 \le M \le 1\) (resp. \(0 \le m \le 1\)), and one shows [15] that there exist an orthonormal basis \(\{ p, q, r \}\) such that \(f(u) = M \cos ^2(u, p) + m \cos ^2(u, q) + (1-M-m) \cos ^2(u, r)\) with \(M+m \le 1\).
A detailed review on quantum measurements (including the algebraic framework) is presented in Landsman [22]. Note however that the ontological views expressed in this article are quite different from ours.
A real-valued monotone function on [a,b] is continuous, except in an at most countable set of discontinuities (Froda–Darboux theorem).
References
Adesso, G., Lo Franco, R., Parigi, V. (eds.): Foundations of quantum mechanics and their impact on contemporary society. Philos. Trans. R. Soc. A 376, 2123 (2018) (See also [16–18].)
Khrennikov, A., Summhammer, J.: Dialogue on Classical and Quantum between mathematician and experimenter. arXiv:quant-ph/0111130 (2001)
Laloë, F.: Do We Really Understand Quantum Mechanics?. Cambridge University Press, Cambridge (2012)
Motl, L.: What Born’s rule can’t be derived from https://motls.blogspot.com/2014/07/what-borns-rule-cant-be-derived-from.html
Lipton, P.: Inference to the Best Explanation, 2nd edn. Routledge (2004) ([11])
Aspect, A.: Closing the door on Einstein’s and Bohr’s quantum debate. Physics 8, 123 (2015)
Nielsen, M., Chuang, I.: Quantum Computation & Quantum Information. Cambridge University Press, Cambridge (2010)
Auffèves, A., Grangier, P.: Contexts, systems and modalities: a new ontology for quantum mechanics. Found. Phys. 46, 121 (2016)
Auffèves, A., Grangier, P.: Violation of Bell’s inequalities in a quantum realistic framework. Int. J. Quant. Inf. 14, 1640002 (2016)
Auffèves, A., Grangier, P.: Recovering the quantum formalism from physically realist axioms. Sci. Rep. 7, 43365 (2017)
Grangier, P., Auffèves, A.: What is quantum in quantum randomness? Philos. Trans. R. Soc. A 376, 20170322 (2018)
Auffèves, A., Grangier, P.: Extracontextuality and extravalence in quantum mechanics. Philos. Trans. R. Soc. A 376, 20170311 (2018)
Auffèves, A., Grangier, P.: A generic model for quantum measurements. Entropy 21, 904 (2019) https://www.mdpi.com/1099-4300/21/9/904. arXiv:1907.11261
Gleason, A.M.: Measures on the closed subspaces of a Hilbert space. J. Math. Mech. 6, 885 (1957)
Cooke, R., Keanes, M., Moran, W.: An elementary proof of Gleason’s theorem. Math. Proc. Camb. Philos. Soc. 98, 117 (1985)
Clauser, J.F.: Von Neumann’s informal hidden-variable argument. Am. J. Phys. 39, 1095 (1971). See also comment by E.P. Wigner and reply in the same issue
Zurek, W.H.: Quantum theory of the classical: quantum jumps, Born’s rule, and objective classical reality via quantum Darwinism. Philos. Trans. R. Soc. A 376, 20180107 (2018)
Cabello, A.: Quantum correlations from simple assumptions, Phys. Rev. A 100, 032120 (2019). arxiv:1801.06347
Masanes, L., Galley, T.D., Müller, M.P.: The Measurement Postulates of Quantum Mechanics are Redundant. Nature Comm. 10, 1361 (2019). arxiv:1811.11060
Murray, F.J., von Neumann, J.: On rings of operators. Ann. Math. 37, 116 (1935)
von Neumann, J.: On infinite direct products. Compos. Math. 6, 1–77 (1939)
Landsman, N.P.: Between classical and quantum. In: Earman, J., Butterfield, J. (eds.) Philosophy of Physics. Elsevier, Amsterdam (2006)
Coles, P.J.: Unification of different views of decoherence and discord. Phys. Rev. A 85, 042103 (2012)
Piron, C.: Foundations of Quantum Physics. Addison-Wesley, Boston (1976)
Acknowledgements
The authors thank Franck Laloë and Roger Balian for many useful discussions, and Nayla Farouki for continuous support.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Auffèves, A., Grangier, P. Deriving Born’s Rule from an Inference to the Best Explanation. Found Phys 50, 1781–1793 (2020). https://doi.org/10.1007/s10701-020-00326-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10701-020-00326-8