Abstract
Quantum mechanics (QM) predicts probabilities on the fundamental level which are, via Born probability law, connected to the formal randomness of infinite sequences of QM outcomes. Recently it has been shown that QM is algorithmic 1-random in the sense of Martin–Löf. We extend this result and demonstrate that QM is algorithmic \(\omega\)-random and generic, precisely as described by the ’miniaturisation’ of the Solovay forcing to arithmetic. This is extended further to the result that QM becomes Zermelo–Fraenkel Solovay random on infinite-dimensional Hilbert spaces. Moreover, it is more likely that there exists a standard transitive ZFC model M, where QM is expressed in reality, than in the universe V of sets. Then every generic quantum measurement adds to M the infinite sequence, i.e. random real \(r\in 2^{\omega }\), and the model undergoes random forcing extensions M[r]. The entire process of forcing becomes the structural ingredient of QM and parallels similar constructions applied to spacetime in the quantum limit, therefore showing the structural resemblance of both in this limit. We discuss several questions regarding measurability and possible practical applications of the extended Solovay randomness of QM. The method applied is the formalization based on models of ZFC; however, this is particularly well-suited technique to recognising randomness questions of QM. When one works in a constant model of ZFC or in axiomatic ZFC itself, the issues considered here remain hidden to a great extent.
Similar content being viewed by others
Notes
We thank the Reviewer of FS for turning our attention to this scenario.
References
Abbott, A. A., Calude, C. S., Dinneen, M. J., & Huang, N. (2019). Experimentally probing the algorithmic randomness and incomputability of quantum randomness. Physica Scripta, 94, 045103. https://doi.org/10.1088/1402-4896/aaf36a.
Abbott, A. A., Calude, C. S., & Svozil, K. (2015). A variant of the Kochen–Specker theorem localising value indefiniteness. Journal of Mathematical Physics, 56(10), 102201. https://doi.org/10.1063/1.4931658.
Agüero Trejo, J. M., & Calude, C. S. (2020). A new quantum random number generator certified by value indefiniteness. Theoretical Computer Science. https://doi.org/10.1016/j.tcs.2020.08.014.
Anastopoulos, C., & Hu, B. L. (2013). A master equation for gravitational decoherence: Probing the textures of spacetime. Classical and Quantum Gravity, 30, 165007. https://doi.org/10.1088/0264-9381/30/16/165007.
Asselmeyer-Maluga, T., & Król, J. (2018). How to obtain a cosmological constant from small exotic \({R}^4\). Physics of the Dark Universe, 19, 66–77. https://doi.org/10.1016/j.dark.2017.12.002.
Bartoszyński, T., & Judah, H. (1995). Set theory. On the structure of the real line. A K Peters.
Bell, J. L. (2005). Set theory. Boolean-valued models and independence proofs. Clarendon Press.
Beltrametti, E., & Cassinelli, G. (1981). The logic of quantum mechanics. Addison-Wesley.
Benioff, P. A. (1976a). Models of Zermelo Frankel set theory as carriers for the mathematics of physics. I. Journal of Mathematical Physics, 17(5), 618. https://doi.org/10.1063/1.522953.
Benioff, P. A. (1976b). Models of Zermelo Frankel set theory as carriers for the mathematics of physics. II. Journal of Mathematical Physics, 17(5), 629. https://doi.org/10.1063/1.522954.
Bera, N. N., Acin, A., Kuś, M., Mitchell, M., & Lewenstein, M. (2017). Randomness in quantum mechanics: Philosophy, physics and technology. Reports on Progress in Physics, 80(12), 124001. https://doi.org/10.1088/1361-6633/aa8731.
Bielas, K., Klimasara, P., & Król, J. (2015). The structure of the real line in quantum mechanics and cosmology. Acta Physica Polonica B, 46, 2375. https://doi.org/10.5506/APhysPolB.46.2375.
Bierhorst, P., Knill, E., Glancy, S., Zhang, Y., Mink, A., Jordan, S., et al. (2018). Experimentally generated randomness certified by the impossibility of superluminal signals. Nature, 556, 223–226. https://doi.org/10.1038/s41586-018-0019-0.
Blencowe, M. P. (2013). Effective field theory approach to gravitationally induced decoherence. Physical Review Letters, 111, 021302. https://doi.org/10.1103/PhysRevLett.111.021302.
Bohm, D. (1951). Quantum Theory. Prentice-Hall.
Bohm, D. (1952). A suggested interpretation of the quantum theory in terms of “hidden’’ variables. I. Physical Review, 85, 166–179. https://doi.org/10.1103/PhysRev.85.166.
Bohm, D. (1952). A suggested interpretation of the quantum theory in terms of “hidden’’ variables. II. Physical Review, 85(2), 180–193. https://doi.org/10.1103/physrev.85.180.
Bongaarts, P. (2015). Quantum theory: A mathematical approach. Springer.
Boos, W. (1996). Mathematical quantum theory I: Random ultrafilters as hidden variables. Synthese, 107, 83–143. https://doi.org/10.1007/BF00413903.
Bose, S., Mazumdar, A., Morley, G. W., Ulbricht, H., Toros, M., Paternostro, M., et al. (2017). A spin entanglement witness for quantum gravity. Physical Review Letters, 119, 240401. https://doi.org/10.1103/PhysRevLett.119.240401.
Brassard, G., Buhrman, H., Linden, N., Méthot, A. A., Tapp, A., & Unger, F. (2006). Limit on nonlocality in any world in which communication complexity is not trivial. Physical Review Letters, 96, 250401. https://doi.org/10.1103/PhysRevLett.96.250401.
Brendle, J. (1999). Mutual generics and perfect free subsets. Acta Mathematica Hungarica, 82, 143–161. https://doi.org/10.1023/A:1026458210592.
Brunner, N., Pironio, S., Acin, A., Gisin, N., Méthot, A. A., & Scarani, V. (2008). Testing the dimension of Hilbert spaces. Physical Review Letters. https://doi.org/10.1103/physrevlett.100.210503.
Calude, C. S. (2005). Algorithmic randomness, quantum physics, and incompleteness. In: M. Margenstern (Ed.), Machines, Computations, and Universality, MCU 2004. Lecture notes in computer science (Vol. 3354). Springer. https://doi.org/10.1007/978-3-540-31834-7-1
Calude, C. S. (2017). Quantum randomness: From practice to theory and back (pp. 169–181). Springer.
Calude, C. S., Hertling, P. H., & Svozil, K. (1999). Embedding quantum universes into classical ones. Foundations of Physics, 29(3), 349–390.
Calude, C. S., & Jürgensen, H. (2004). Is complexity a source of incompleteness? Centre for discrete mathematics and theoretical computer science, CDMTCS Research Report 241, (2004). Available online: http://arxiv.org/abs/math.LO/0408144
Coladangelo, A., & Stark, J. (2020). An inherently infinite-dimensional quantum correlation. Nature Communications, 11, 3335. https://doi.org/10.1038/s41467-020-17077-9.
Dalla Chiara, M. L., Giuntini, R., & Greechie, R. (2015). Reasoning in quantum theory: Sharp and unsharp quantum logics, trends in logic (Vol. 22). Springer.
de Groote, H. F. (2005). Stone spectra. Observables I. Available online: arXiv:math-ph/0509020
Downey, R. G., & Hirschfeldt, D. R. (2010). Algorithmic randomness and complexity. Springer.
Dudley, R. D. (2002). Real analysis and probability. Cambridge studies in advanced mathematics (Vol. 74). Cambridge University Press.
Duranda, B., Kanovei, V., Uspensky, V. A., & Vereshchagin, N. (2003). Do stronger definitions of randomness exist? Theoretical Computer Science, 290, 1987–1996. https://doi.org/10.1016/S0304-3975(02)00040-3.
Etesi, G. (2017). Exotica and the status of the strong cosmic censor conjecture in four dimensions. Classical and Quantum Gravity, 34, 245010. https://doi.org/10.1088/1361-6382/aa945b.
Etesi, G. (2020). On a possibly pure set-theoretic contribution to black hole entropy. Foundations of Science, 25(2), 327–340. https://doi.org/10.1007/s10699-019-09625-4.
Etesi, G. (2021). Global solvability of the vacuum Einstein equation and the strong cosmic censor conjecture in four dimensions. Journal of Geometry and Physics, 164, 104164. https://doi.org/10.1016/j.geomphys.2021.104164.
Farah, I., & Wofsey, E. (2012). Set theory and operator algebras. In Appalachian set theory: 2006–2012 (pp. 63–120). Cambridge University Press, Cambridge (2012)
Farhi, E., Goldstone, J., & Gutmann, S. (1989). How probability arises in quantum mechanics. Annals of Physics (New York), 192, 368–382. https://doi.org/10.1016/0003-4916(89)90141-3.
Galley, T. D., & Masanes, L. (2018). Any modification of the Born rule leads to a violation of the purification and local tomography principles. Quantum, 2, 104 ArXiv:1801.06414v4 [quant-ph].
Gudder, S. P. (1970). On hidden variable theories. Journal of Mathematical Physics, 11, 431. https://doi.org/10.1063/1.1665156.
Hajek, P. (1979). Arithmetic hierarchy and complexity of computation. Theoretical Computer Science, 8, 227–237.
Halvorson, H., & Clifton, R. (1999). Maximal beable subalgebras of quantum mechanical observables. International Journal of Theoretical Physics, 38, 2441–2484. https://doi.org/10.1023/A:1026628407645.
Hamkins, J. D. (2015). Upward closure and amalgamation in the generic multiverse of a countable model of set theory. Presented at: Recent developments in axiomatic set theory. Research Institute for Mathematical Sciences (RIMS), Kyoto University, Japan. Available online: arXiv:1511.01074
Harding, J., & Navara, M. (2011). Subalgebras of orthomodular lattices. Order, 28, 549–563. https://doi.org/10.1007/s11083-010-9191-z.
Heunen, C., Landsman, N. P., & Spitters, B. (2012). Bohrification of operator algebras and quantum logic. Synthese, 186, 719–752. https://doi.org/10.1007/s11229-011-9918-4.
Jaeger, G. S. (2007) Quantum and super-quantum correlations. In Beyond the quantum (pp. 146–151). World Scientific, Singapore
Jech, T. (1986). Multiple forcing. Cambridge tracts in mathematics (Vol. 88). Cambridge University Press.
Jech, T. (2003). Set theory. Springer, Berlin (Third millennium edition).
Jennewein, T., Achleitner, U., Weihs, G., Weinfurter, H., A. Z. U. of Vienna, U. of Innsbruck, & U. of Munich. (2000). A fast and compact quantum random number generator. Review of Scientific Instruments, 71, 1675–1680
Judah, H., & Repický, M. (1999). Amoeba reals. Journal of Symbolic Logic, 60, 1168–1185. https://doi.org/10.2307/2275880.
Kadison, R. V., & Ringrose, J. R. (1997). Fundamentals of the theory of operator algebras II. AMS.
Kautz, S. M. (1991). Degrees of random sets. Ph.D. thesis, Cornell University.
Kavulich, J. T., Van Deren, B. P., & Schlosshauer, M. (2021). Searching for evidence of algorithmic randomness and incomputability in the output of quantum random number generators. Physics Letters A, 388, 127032. https://doi.org/10.1016/j.physleta.2020.127032.
Kelsey, J., Schneier, B., Wagner, D., & Hall, C. (1998). Cryptanalytic attacks on pseudorandom number generators. In S. Vaudenay (Ed.), Fast software encryption (pp. 168–188). Springer.
Kochen, S., & Specker, E. P. (1967). The problem of hidden variables in quantum mechanics. Journal of Mathematics and Mechanics, 17, 59–87.
Kovalsky, M. G., Hnilo, A. A., & Agüero, M. B. (2018). Kolmogorov complexity of sequences of random numbers generated in Bell’s experiments. Physical Review A, 98, 042131. https://doi.org/10.1103/PhysRevA.98.042131.
Król, J. (2004). Background independence in quantum gravity and forcing constructions. Foundations of Physics, 34, 361–403. https://doi.org/10.1023/B:FOOP.0000019620.04821.a2.
Król, J. (2016). Model and set-theoretic aspects of exotic smoothness structures on \(\mathbb{R}^4\). Fundamental Theories of Physics, 183, 217–240. https://doi.org/10.1007/978-3-319-31299-6_13.
Król, J., & Asselmeyer-Maluga, T. (2020). Quantum mechanics, formalization and the cosmological constant problem. Foundations of Science, 25, 879–904. https://doi.org/10.1007/s10699-019-09646-z.
Król, J., Asselmeyer-Maluga, T., Bielas, K., & Klimasara, P. (2017). From quantum to cosmological regime. The role of forcing and exotic 4-smoothness. Universe, 3(2), 31. https://doi.org/10.3390/universe3020031.
Król, J., & Klimasara, P. (2020). Black holes and complexity via constructible universe. Universe, 6(11), 198. https://doi.org/10.3390/universe6110198.
Kulikov, A., Jerger, M., Potočnik, A., Wallraff, A., & Fedorov, A. (2017). Realization of a quantum random generator certified with the Kochen–Specker theorem. Physical Review Letters. https://doi.org/10.1103/physrevlett.119.240501.
Kunen, K. (1984). Random and Cohen reals. In Handbook of set-theoretic topology (pp. 887–911). North-Holland, Amsterdam.
Kunen, K. (2013). Set theory. Studies in logic mathematical logic and foundations (Vol. 34, p. 2013). College Publications.
Landsman, K. (2017). Foundations of quantum theory. From classical concepts to operator algebras. Springer.
Landsman, K. (2020). Randomness? What randomness? Foundations of Physics, 50, 61–104. https://doi.org/10.1007/s10701-020-00318-8.
Lenstra, A. K., Hughes, J. P., Augier, M., Bos, J. W., Kleinjung, T., & Wachter, C. (2012). Ron was wrong, whit is right. IACR Cryptology ePrint Archive, 2012, 64.
Marangon, D. G., Vallone, G., & Villoresi, P. (2017). Source-device-independent ultrafast quantum random number generation. Physical Review Letters. https://doi.org/10.1103/physrevlett.118.060503.
Menezes, A. J., Vanstone, S. A., & Oorschot, P. C. V. (1996). Handbook of applied cryptography (1st ed.). CRC Press Inc.
Nies, A. (2009). Computability and randomness. Oxford logic guides (Vol. 51). Oxford University Press. https://doi.org/10.1142/1524.
Oxtoby, J. C. (1980). Measure and category. A survey of the analogies between topological and measure spaces. Graduate texts in mathematics. Springer.
Paterek, T., Kofler, J., Prevedel, R., Klimek, P., Aspelmeyer, M., Zeilinger, A., & Brukner, C. (2010). Logical independence and quantum randomness. New Journal of Physics, 12, 013019. https://doi.org/10.1088/1367-2630/12/1/013019.
Pawlowski, M., Paterek, T., Kaszlikowski, D., Scarani, V., Winter, A., & Zukowski, M. (2010). Information causality as a physical principle. Nature, 461, 1101–1104. https://doi.org/10.1038/nature08400.
Pironio, S., Acín, A., Massar, S., Boyer de la Giroday, A., Matsukevich, D. N., Maunz, P., et al. (2010). Random numbers certified by Bell’s theorem. Nature, 464, 1021–1024. https://doi.org/10.1038/nature09008.
Planat, M., Aschheim, R., Amaral, M. M., & Irwin, K. (2020). Quantum computation and measurements from an exotic space-time \({R}^4\). Universe, 12, 736. https://doi.org/10.3390/sym12050736.
Popescu, S., & Rohrlich, D. (1994). Nonlocality as an axiom for quantum theory. Foundations of Physics, 24(3), 379. https://doi.org/10.1007/BF02058098.
Ramanathan, R., Banacki, M., Rodriguez, R. R., & Horodecki, P. (2020). Single trusted qubit is necessary and sufficient for quantum realisation of extremal no-signaling correlations. Available online: arXiv:2004.14782
Roitman, J. (1979). Adding random or a Cohen real: Topological consequences and the effect on Martin’s axiom. Fundamenta Mathematicae, 103, 47–60. https://doi.org/10.4064/fm-103-1-47-60.
Sanz, A. S. (2019). Bohm’s approach to quantum mechanics: Alternative theory or practical picture? Frontiers in Physics, 14, 11301. https://doi.org/10.1007/s11467-018-0853-4.
Schmöle, J., Dragosits, M., Hepach, H., & Aspelmeyer, M. (2016). A micromechanical proof-of-principle experiment for measuring the gravitational force of milligram masses. Classical and Quantum Gravity, 33, 125031. https://doi.org/10.1088/0264-9381/33/12/125031.
Singh, A., & Carroll, S. M. (2018). Modeling position and momentum in finite-dimensional Hilbert spaces via generalized Pauli operators. arXiv e-prints arXiv:1806.10134
Solovay, R. M. (1970). A model of set theory in which every set of reals is Lebesgue measurable. Annales of Mathematics, 92(1), 1–56. https://doi.org/10.2307/1970696.
Susskind, L. (2020). Three lectures on complexity and black holes. Springer.
Svozil, K. (1993). Randomness and undecidability in physics. World Scientific. https://doi.org/10.1142/1524.
Svozil, K. (1998). Quantum logic. Springer.
Takeuti, G. (1978). Two Applications of Logic to Mathematics. Princeton University Press.
Vaidman, L. (2014). Quantum theory and determinism. Quantum Studies: Mathematics and Foundations, 1, 5–38. https://doi.org/10.1007/s40509-014-0008-4.
van Dam, W. (2000). Nonlocality and communication complexity. Ph.D. thesis, University of Oxford. See also arXiv:quant-ph/0501159
van Lambalgen, M. (1987). Random sequences. Ph.D. thesis, Universiteit van Amsterdam.
Van Wesep, R. A. (2006). Hidden variables in quantum mechanics: Generic models, set-theoretic forcing, and the emergence of probability. Annals of Physics, 321, 2453–2490.
Viale, M., Audrito, G., & Steila, S. (2019). Iterated forcing, category forcings, generic ultrapowers, generic absoluteness. Available online (access on 16.06.2021) http://www.logicatorino.altervista.org/matteoviale/book.pdf
von Neumann, J. (1951). Various techniques used in connection with random digits. In A. S. Householder, G. E. Forsythe, H. H. Germond (Eds.), Monte Carlo Method, National Bureau of Standards Applied Mathematics Series (Vol. 12, chap. 13, pp. 36–38). US Government Printing Office, Washington, DC.
von Neumann, J. (1955). Mathematical foundations of quantum mechanics. Princeton University Press.
Yang, J. M. (2018). A relational formulation of quantum mechanics. Scientific Reports, 8, 13305. https://doi.org/10.1038/s41598-018-31481-8.
Yurtsever, U. (2000). Quantum mechanics and algorithmic randomness. Complexity, 6(1), 27–34.
Żurek, W. H. (2005). Probabilities from entanglement, Born’s rule \(p_k = |\psi _k |^2\) from envariance. Physical Review A, 71, 052105. https://doi.org/10.1103/PhysRevA.71.052105.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix 1: Arithmetic Hierarchy
-
(1)
An arbitrary set A is in \(\sum ^0_0\) (\(\prod ^0_0\)) if the characteristic function of A is computable by a Turing machine.
-
(2)
2. \(A\in \sum ^0_n\), \(n\ge 1\), if there exists a computable relation \(R(x,y_1,y_2,\ldots ,y_n)\) such that
$$\begin{aligned} x\in A \Longleftrightarrow \exists _{y_1}\forall _{y_2}\exists _{y_3}\ldots \exists _{y_n,(n\text { is odd})}(\forall _{y_n, (n\text { is even})})R(x,y_1,y_2,\ldots ,y_n) \end{aligned}$$where the last quantifier is \(\exists\) (an existential one) whenever n is odd or \(\forall\) (an universal one) if n is even. Similarly \(A\in \prod ^0_n,n\ge 1\) when
$$\begin{aligned} x\in A \Longleftrightarrow \forall _{y_1}\exists _{y_2}\forall _{y_3}\ldots \forall _{y_n, (n \text { is odd})}(\exists _{y_n, (n\text { is even})})R(x,y_1,y_2,\ldots ,y_n)\,. \end{aligned}$$Now the last quantifier remains \(\exists\) if n is even and \(\forall\) otherwise.
-
(3)
If \(A\in \sum ^0_n\cap \prod ^0_n\) then \(A\in \varDelta ^0_n\).
-
(4)
If \(A\in \bigcup _n(\sum ^0_n \cup \prod ^0_n)\) then A is arithmetical.
Given an infinite binary sequence \(\sigma \in 2^{\omega }\) and the product measure \(\mu\) on the Cantor space \(2^{\omega }\), the randomness of \(\sigma\) can be defined as (Martin–Löf e.g. Downey and Hirschfeldt 2010):
1. ML test: A sequence \(\{A_n, n\in \mathbb {N}\}\) of uniformly computably enumerable (c.e.) [i.e. c.e. together with the set of its indices (Downey and Hirschfeldt 2010, p. 11)] of \({\sum }^0_1\) classes (\({\sum }^0_1\) subsets of sequences from \(2^{\omega }\)) such that \(\forall _{n\in \mathbb {N}}\,\left( \mu (A_n)<2^{-n}\right)\).
2. \(A\subset 2^{\omega }\) is ML-null when there exists a ML test \(\{A_n, n\in \mathbb {N}\}\) such that \(A\subseteq \bigcap _{n\in \mathbb {N}}A_n\).
3. \(\sigma \in 2^{\omega }\) is ML-random if \(\{\sigma \}\) is not ML-null (for each ML test).
4. A ML test \(\{A_n,n\in \mathbb {N}\}\) is universal when \(\bigcap _{n\in \mathbb {N}}B_n \subset \bigcap _{n\in \mathbb {N}}A_n\) for all ML-tests \(\{B_n,n\in \mathbb {N}\}\).
Lemma 15
There exists a universal ML test.
ML-random sequence \(\sigma \in 2^{\omega }\) is known to be 1-random. The following modification of the above definition of ML randomness explains the hierarchy of n-random sets, for all \(n\ge 1\).
i. \(\text {ML}_{n}\) test: A sequence \(\{A_k,\ k\in \mathbb {N}\}\) of uniformly c.e. of \({\sum }^0_n\) classes (\({\sum }^0_n\) subsets of sequences from \(2^{\omega }\)) such that \(\forall _{k\in \mathbb {N}}\,\left( \mu (A_k)<2^{-k}\right)\).
ii. \(A\subset 2^{\omega }\) is \(\text {ML}_{n}\)-null when there exists a \(\text {ML}_{n}\) test \(\{A_k,\ k\in \mathbb {N}\}\) such that \(A\subseteq \bigcap _{k\in \mathbb {N}}A_k\).
iii. \(\sigma \in 2^{\omega }\) is n-random if \(\{\sigma \}\) is not \(\text {ML}_{n}\)-null (for each \(\text {ML}_{n}\) test).
Appendix 2: Borel Sets, Infinite Binary Sequences and Polish Spaces
Borel sets BOR(X) on a topological space X comprises the smallest \(\sigma\)-algebra containing all open subsets of X. (A \(\sigma\)-algebra of subsets of X is a family \({{\mathcal {F}}}\) of subsets of X (\({{\mathcal {F}}}\subset {{\mathcal {P}}}(X)\)) such that (1) \(\emptyset , X\in {{\mathcal {F}}}\); (2) if \(A\in {{\mathcal {F}}}\) then \(X\setminus A\in {{\mathcal {F}}}\); (3) if \(A_n\in {{\mathcal {F}}}, n\in \mathbb {N}\) then \(\bigcup _{n\in \mathbb {N}}A_n\in {{\mathcal {F}}}\).)
A function \(\mu :BOR(X)\rightarrow [0,1]\subset \mathbb {R}\) is a (probability) measure if (1) \(\mu (\emptyset )=0, \mu (X)=1\); (2) if \(A_n\in BOR(X), n\in \mathbb {N}\) are Borel sets which are pairwise disjoint, i.e. \(\forall _{i\ne j, i,j\in \mathbb {N}}\,\left( A_i\cap A_j=\emptyset \right)\), then \(\mu (\bigcup _{n\in \mathbb {N}})=\sum _{n\in \mathbb {N}}\mu (A_n)\); we also require \(\mu\) to be nonatomic i.e. (4) for every set \(A\in BOR(X)\) with \(\mu (A)>0\) there exists \(B\in BOR(X)\) such that \(B\subset A\) and \(0<\mu (B)<\mu (A)\). If X is a topological group, e.g. in the case \(X=(\mathbb {R},+)\), the translational invariance is additionally required: (5) \(\mu (A)=\mu (A+t)\) for all \(A\in BOR(X)\) and \(t\in X\). An example for such a measure is the Lebesgue measure on \(\mathbb {R}\) i.e. on \(BOR(\mathbb {R})\). We call a subset \(A\subset X\) to be measurable if there exists a Borel set \(B\in BOR(X)\) such that \(A\triangle B :=(A\setminus B)\cup (B\setminus A)\) is a set of measure zero, i.e. \(\mu (A\triangle B)=0\).
Mathematicians found a suitable representation for \((\mathbb {R}, BOR(\mathbb {R}))\) by another topological spaces and their Borel subsets, that have simplified proofs and have allowed to grasp important properties of subsets of \(\mathbb {R}\). This is precisely analogous to set theory, where working in different models of ZF(C) has exhibited deep invariant properties of the line of real numbers (real line) along with its regularity properties (e.g. Bartoszyński & Judah, 1995; Jech, 2003). Choosing suitable model of ZF(C) leads to in a sense minimal representations for \(\mathbb {R}\), where important and demanded properties of reals are highlighted and formally grasped. At the same time one does not loose any important information about objects under studies. Such possibility is based on Borel isomorphism of topological spaces. Given two topological spaces X and Y, we say they are Borel isomorphic if there exists a function \(f:X\rightarrow Y\) such that for each Borel set \(B\in BOR(Y)\) the set \(f^{-1}(B)\) is Borel in X, i.e. \(f^{-1}(B)\in BOR(X)\). The Borel isomorphism between spaces allows to work with any such space when dealing with regularity properties, such as Lebesgue measurability, Baire property, measure zero sets and others, due to the following
Lemma 16
Let \(f:X\rightarrow Y\) be a Borel isomorphism of X and Y. A set A is Lebesgue measurable in X (of first category, with Baire property, measure zero) \(\iff\) f(A) is Lebesgue measurable (of first category, with Baire property, measure zero) in Y.
In fact, all Polish spaces (i.e. topological spaces homeomorphic to a complete metric space with no isolated points) are pairwise Borel isomorphic up to certain measure zero sets (Bartoszyński and Judah 1995, Th. 1.3.19). An example of a Polish space could be the real line \(\mathbb {R}\), and to replace it by another Polish space, we need a rather strict Borel isomorphism of \(\mathbb {R}\).
Appendix 3: Generic Ultrafilters in Models of ZFC
One defines topology on a poset by taking open sets to be \(O \subseteq P\), for which if \(p\in O\), \(q\in P\) and \(q\leqslant p\), then \(q\in O\). A subset \(D\subseteq P\) is dense if for every \(p\in P\) there exists \(d \in D\) such that \(d\leqslant p\). A filter on \(\langle P,\leqslant \rangle\) is a subset \(F\subset P\) which is (1) nonempty; (2) If \(p\in F\) and \(q \in F\), then there is \(r\in F\) such that \(r\leqslant p\) and \(r\leqslant q\); (3) if \(p\in F\), \(q\in P\) and \(p\leqslant q\), then \(q\in F\). Two elements (called conditions) \(p,q\in P\) of a partial order P are compatible, if there exists \(r\in P\) such that \(r\leqslant p \wedge r\leqslant q\). Otherwise we say p, q are incompatible. An antichain in P is a set of pairwise incompatible elements. Partial order \(\langle P, \leqslant \rangle\) fulfills the countable chain condition (CCC) if every antichain in P is countable.
Recall that \(\aleph _0\) is the cardinality (cardinal number) of \(\omega\) (or \(\mathbb {N}\)). Then the forcing axiom (Martin axiom) states that for a partial order P satisfying the countable chain condition and for any family \({{\mathcal {D}}}\subset {{\mathcal {P}}}(P)\) of fewer than \(2^{\aleph _0}\) of dense subsets of P, there exists a filter \(G\subset P\) such that \(G\cap D\ne \emptyset\) for all \(D\in {{\mathcal {D}}}\) (here \({{\mathcal {P}}}(P)\) is the power set of P). The forcing axiom has to be assumed for higher cardinalities, although for countable families of dense subsets it holds
Lemma 17
For any partially ordered set \(\langle P, \leqslant \rangle\) and for a family \({{\mathcal {D}}}\) of countably many dense subsets of P and \(p\in P\), there exists a filter G on P such that \(p\in G\) and \(G\cap D \ne \emptyset\) for every \(D\in {{\mathcal {D}}}\).
Such filters G are called generic ultrafilters and their existence is crucial for forcing procedure.
Let us see that Cohen forcing is of this type. The elements of P are finite \(\{0,1 \}\)-sequences, hence they are the members of \(2^{<\omega }\). The condition p is stronger than the condition q (written \(p<q\)), if p extends q. Let M be a ground model, \(\langle P,\leqslant \rangle \in M\) and let \(G\subset P\) be generic over M (G intersects all subsets of P that are dense in M. For every \(n\in \mathbb {N}\) the sets \(D_n=\{p\in P\,|\, n\in \mathrm {dom}(p) \}\) (p is a finite sequence, thus a function, and \(\mathrm {dom}(p)\) is its domain) are dense in P and hence they intersect G. Crucially, the function \(\bigcup G\) is now in \(2^{\omega }\) which is not in M (Theorem 2) and it is a characteristic function of a certain subset of \(\mathbb {N}\). Thus it is represented by an infinite \(\{0,1\}\)-sequence, hence a real number r. This r is contained in M[G], although it is not present in M, and it is precisely a Cohen generic real.
Appendix 4: Boolean-Valued Models and Forcing Extensions
A model \(M^B\) is constructed in M, where B is a complete Boolean algebra B in the model M. Let \({{\mathcal {U}}}\) be an ultrafilter in B and let \(P\subset B\) be a partial order completed to B; thus \({{\mathcal {U}}}\) is also a generic ultrafilter G in P (in M). The model \(M^B\) assigns Boolean values \(\Vert \phi (x)\Vert \in B\) to formulas of the ZFC language interpreted in \(M^B\). Given the ultrafilter G, one defines the equivalence relation \(\equiv _G\) on the B-terms \(x,y\in M^B\) by
so that the corresponding \(\in\)-relation E on equivalence classes \([x], [y]\in M^B/G\) emerges
1.1 Measure Algebra as Maximal Boolean Subalgebra of Projections in \(\mathbb {L}(\mathcal {H})\)
Theorem 9
(Kadison & Ringrose, 1997, Th. 9.4.1) Let \(\dim {\mathcal {H}}=\infty\), let \(\mu\) be the Lebesgue measure on the \(\sigma\)-algebra of Borel subsets on [0, 1] and let \(\mathcal {L}(\mathcal {H})\) be the extension of the space of bounded linear operators on \(\mathcal {H}\) containing also unbounded operators. Maximal abelian von Neumann subalgebras (MASA’s) of \(\mathcal {L}(\mathcal {H})\) are unitarily equivalent to
Thus maximal complete Boolean subalgebras in \(\mathbb {L}\) (for \(\dim {\mathcal {H}}=\infty\)) have the general form of
Lemma 18
\(B= B_a\oplus B_c\), where \(B_a\) is the atomic Boolean algebra and \(B_c\) is the measure algebra B.
B is the algebra of Borel subsets of [0, 1] modulo the ideal \(\mathcal {N}\) of \(\mu\)-measure zero Borel subsets
Lemma 19
(de Groote, 2005; Kadison & Ringrose, 1997) B is atomless Boolean algebra.
The above property really distinguishes infinite-dimensional case, since
Corollary 3
(de Groote, 2005; Kadison & Ringrose, 1997) If \(\dim {\mathcal {H}} < \infty\) then maximal complete Boolean algebras of projections chosen from the lattice \(\mathbb {L}\) are atomic.
Due to the atomless property of B the nontrivial random forcing is an inherent part of the QM formalism (e.g. Jech, 1986, Proposition 2.1). This is also responsible for some random Solovay generic phenomena in QM and helps understanding the enhancement of random infinite binary sequences on infinite-dimensional Hilbert spaces of states. In terms of measurement procedure in Sect. 3.1 the binary random sequences r which are irreducible to sequences in M come from random extensions M[r] and the measurement procedures accessible in M. Namely \(r\notin M\) and the relation \(V^B/U_r=M[r]\) holds (\(V^B\) is the Boolean-valued model of ZFC and M[r] is the 2-valued model) such that r represents the result of quantum measurement performed on infinite-dimensional Hilbert space in M[r]. This Hilbert space in M[r] is not any tensor product of finite-dimensional state spaces in M (cf. also the Theorem 5.1 in Landsman, 2020).
Appendix 5: QM is 1-Random
The method of showing that QM is random in a strict mathematical sense relies on formalization as defined in Król and Asselmeyer-Maluga (2020) and follows the argumentation that QM is 1-random from Landsman (2020) which we present here briefly.
Let A be a self-adjoint operator in the space \(\mathcal {B}(\mathcal {H})\) of bounded operators on \(\mathcal {H}\). The extension of the Born measure \(\mu _A\) over \(2^{\omega }\) follows the general procedure of extending a measure \(\mu\) on a measurable space \((X,\mu )\) onto the measure \(\mu ^{\infty }\) on \(X^{\omega }\). At first one considers cylindrical \(\sigma\)-algebra S of subsets of \(X^{\omega }\) generated by sets of the form
where \(X_k=X\) for all \(k\ge N+1\) and \(C_i\in Bor(X)\) for all \(i=1,2,\ldots ,N\). Then the measure on all sets \(\mathbf {C}\in S\) is given by
The probability measure \(\mu ^{\infty }_S\) on S (\(\mu (X)=1\)) extends uniquely to the probability measure \(\mu ^{\infty }\) on \(X^{\omega }\), which is essentially the \(N\rightarrow \infty\) case of Eq. (23). The uniqueness follows from Dudley (2002, Th. 8.2.2).
Thus given the Born measure \(\mu _A\) on the spectrum \(\sigma _A\) of a self-adjoint operator A in the state \(\psi\), we are looking for the induced measure on \(\sigma _A^{\omega }\) where infinite sequences of the outcomes of repeating measurements of A in the state \(\psi\) live. This is essentially \(\mu ^{\infty }=\mu ^{\infty }_A\) on \(X=\sigma _A\) generated by \(N\rightarrow \infty\) limit of Eqs. (24) and (23) as discussed above.
Let us consider now \(X=2=\{0,1\}\) and take the product measure \(\mu ^{\infty }\) on \(2^{\omega }\). The infinite binary sequence of QM outcomes can be obtained by repeating measurements of an elementary projection P in a state \(\psi\), where the process is suitably prepared by making reset on a system every time each measurement has been performed (e.g. Benioff, 1976a). Note that \(\sigma _P=\{0,1\}\) for any projection P. Also in this case the Born measure \(\mu _P\) determines uniquely the measure \(\mu _P^{\infty }\) on \(2^{\omega }\) and this elementary case is sufficient to capture randomness of binary sequences in QM. Namely it holds (Landsman, 2020, Th. 4.1, Cor. 5.2)
Lemma 20
According to the measure \(\mu _P^{\infty }\), the set of 1-random sequences in \(2^{\omega }\) has measure 1. The measure of the set of nonrandom binary infinite sequences generated by the Born measure \(\mu _P\) in QM vanishes.
It follows that the Born’s probability of occurrence of infinite binary sequence of outcomes in QM which is nonrandom is zero. Given the definition of n-randomness, [n-RAND], of \({\text {QM}^{\star }}\) and hence QM in Sect. 3.2, we conclude that
Corollary 4
QM is 1-random.
This is extended to n-randomness via Solovay generic forcing extensions assigned inherently to QM in the main body of the paper (see Sect. 3.2).
Rights and permissions
About this article
Cite this article
Król, J., Bielas, K. & Asselmeyer-Maluga, T. Random World and Quantum Mechanics. Found Sci 28, 575–625 (2023). https://doi.org/10.1007/s10699-022-09852-2
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10699-022-09852-2