Abstract
The basic purpose of this essay, the first of an intended pair, is to interpret standard von Neumann quantum theory in a framework of iterated measure algebraic ‘truth’ for mathematical (and thus mathematical-physical) assertions — a framework, that is, in which the ‘truth-values’ for such assertions are elements of iterated boolean measure-algebras \(\mathbb{A}\) (cf. Sections 2.2.9, 5.2.1–5.2.6 and 5.3 below).
The essay itself employs constructions of Takeuti's boolean-valued analysis (whose origins lay in work of Scott, Solovay, Krauss and others) to provide a metamathematical interpretation of ideas sometimes considered disparate, ‘heuristic’, or simply ill-defined: the ‘collapse of the wave function’, for example; Everett's many worlds'-construal of quantum measurement; and a ‘natural’ product space of contextual (nonlocal) ‘hidden variables’.
More precisely, these constructions permit us to write down a category-theoretically natural correlation between ‘ideal outcomes’ of quantum measurements u of a ‘universal wave function’, and possible ‘worlds’ of an Everett-Wheeler-like many-worlds-theory.
The ‘universal wave function’, first, is simply a pure state of the Hilbert space (L 2([0, 1])M in a model M an appropriate mathematical-physical theory T, where T includes enough set-theory to derive all the analysis needed for von Neumann-algebraic formulations of quantum theory.
The ‘worlds’ of this framework can then be given a genuine model-theoretic construal: they are ‘random’ models M(u) determined by M-random elements u of the unit interval [0, 1], where M is again a fixed model of T.
Each choice of a fixed basis for a Hilbert space H in a model of M of T then assigns ‘ideal’ spectral values for observables A on H (random ultrafilters on the range \(\mathbb{A}\) of A regarded as a projection-valued measure) to such M-random reals u. If \(\mathbb{L}\) is the ‘universal’ Lebesgue measure-algebra on [0, 1], these assignments are interrelated by the spectral functional calculus with value 1 in the boolean extension (V(\(\mathbb{L}\)))M, and therefore in each M(u).
Finally, each such M-random u also generates a corresponding extension M(u) of M, in which ‘ideal outcomes’ of measurements of all observables A in states are determined by the assignments just mentioned from the random spectral values u for the ‘universal’ ‘position’-observable on L 2([0, 1]) in M.
At the suggestion of the essay's referee, I plan to draw on its ideas in the projected sequel to examine more recent ‘modal’ and ‘decoherence’-interpretations of quantum theory, as well as Schrödinger's traditional construal of time-evolution. A preliminary account of the latter — an obvious prerequisite for any serious ‘many-worlds’-theory, given that Everett's original intention was to integrate time-evolution and wave-function collapse — is sketched briefly in Section 5.3. The basic idea is to apply results from the theory of iterated measure-algebras to reinterpret time-ordered processes of measurements (determined, for example, by a given Hamiltonian observable H in M) as individual measurements in somewhat more complexly defined extensions M(u) of M.
In plainer English: if one takes a little care to distinguish boolean- from measure-algebraic tensor-products of the ‘universal’ measure-algebra L, one can reinterpret formal time-evolution so that it becomes ‘internal’ to the ‘universal’ random models M(u).
Similar content being viewed by others
References
Akhiezer, N. I., and I. M. Glazman: 1981, Theory of Linear Operators in Hilbert Space, Pitman, London.
Barrow, J. D. and F. J. Tipler: 1988, The Anthropic Cosmological Principle, Oxford University Press, Oxford.
Belinfante, F. J.: 1971, A Survey of Hidden-Variables Theories, Pergamon, Oxford.
Bell, J. L.: 1985, Boolean-Valued Models and Independence Proofs in Set Theory, Clarendon, Oxford.
Bell, J. L. and M. Machover: 1977, A Course in Mathematical Logic, North Holland, Amsterdam.
Beltrametti, E. G. and G. Cassinelli: 1981, The Logic of Quantum Mechanics, Addison Wesley, Reading, MA.
Benioff, P. A.: 1972, ‘Operator Valued Measures in Quantum Mechanics: Finite and Infinite Processes’, Journal of Mathematical Physics 13, 2.
Benioff, P. A.: 1976a, ‘Models of Zermelo Fraenkel Set Theory as Carriers for the Mathematics of Physics. I’, Journal of Mathematical Physics 17(5), 618–28.
Benioff, P. A.: 1976b, ‘Models of Zermelo Fraenkel Set Theory as Carriers for the Mathematics of Physics, II’, Journal of Mathematical Physics 17(5), 629–40.
Bohr, N.: 1934, Atomic Theory and the Description of Nature, Cambridge University Press, Cambridge.
Bohr, N.: 1985, Naturbeskrivelse og Menneskelig Erkendelse, Rhodos, Copenhagen.
Boos, W.: 1983, ‘Limits of Inquiry’, Erkenntnis 20, 157–94.
Born, M. and H., and A. Einstein: 1969, Briefwechsel 1916–1955, Nymphenburger, München.
Davies, E. B.: 1976, Quantum Theory of Open Systems, Academic, New York.
Davies, P.: 1990, Other Worlds, Simon and Schuster, New York.
Davis, M.: 1977, ‘A Relativity Principle in Quantum Mechanics’, International Journal of Theoretical Physics 16(11), 867–74.
DeWitt, B. S. and N. Graham (eds.): 1973, The Many-Worlds Interpretation of Quantum Mechanics, Princeton University Press, Princeton.
Fremlin, D. H.: 1989, ‘Measure Algebras’, in J. D. Monk and R. Bonnet (eds.), Handbook of Boolean Algebras, volume 3, Amsterdam, North Holland, pp. 877–980.
Gleason, A. M.: 1975, ‘Measures on the Closed Subspaces of a Hilbert Space’, in [Hooker 1975], Hooker, C. A. (ed.): 1975, The Logico-Algebraic Approach to Quantum Mechanics, Volume I. Reidel, Dordrecht. 123–34.
Gudder, S. P.: 1975, Stochastic Methods in Quantum Mechanics, North Holland, Amsterdam.
Halmos, P. R.: 1950, Measure Theory, Van Nostrand, New York.
Halmos, P. R.: 1963, Lectures in Boolean Algebras, Van Nostrand, Princeton.
Holevo, A. S.: 1982, Probabilistic and Statistical Aspects of Quantum Theory, North Holland, Amsterdam.
Hooker, C. A. (ed.): 1975, The Logico-Algebraic Approach to Quantum Mechanics, Volume I. Reidel, Dordrecht.
Hume, D.: 1975, Enquiries Concerning Human Understanding and Concerning the Principles of Morals, P. H. Nidditch (ed.), Clarendon, Oxford.
Hume, D.: 1978, A Treatise of Human Nature, P. H. Nidditch (ed.), Clarendon, Oxford.
Jammer, M.: 1974, The Philosophy of Quantum Mechanics, Wiley, New York.
Jauch, J. M.: 1968, Foundations of Quantum Mechanics, Addison Wesley, Reading, MA.
Jech, T.: 1978, Set Theory, Academic, New York.
Keats, John: 1959, Selected Poems and Letters, D. Bush (ed.), Houghton Mifflin, Boston.
Kappos, D. A.: 1969, Probability Algebras and Stochastic Spaces, Academic, New York.
Kochen, S. and E. P. Specker: 1975, ‘The Problem of Hidden Variables in Quantum Mechanics’, in [Hooker 1975], Hooker, C. A. (ed.): 1975, The Logico-Algebraic Approach to Quantum Mechanics, Volume I. Reidel, Dordrecht. 293–328.
Krauss, P.: 1986, Probability Logic, Dissertation, University of California, Berkeley, (University Microfilms 67-8591).
Kunen, K.: 1980, Set Theory, North Holland, Amsterdam.
Mackey, G. W.: 1976, The Theory of Unitary Group Representations, Chicago, Chicago.
Martin, D. A., and R. M. Solovay: 1970, ‘Internal Cohen Extensions’, Annals of Mathematical Logic 2, 143–78.
Moschovakis, Y. N.: 1980, Descriptive Set Theory, North Holland, Amsterdam.
Pascal, Blaise: 1963, Oeuvres Complètes, Seuil, Paris.
Prugovecki, E.: 1981, Quantum Mechanics in Hilbert Space, Academic, New York.
Riesz, F., and Bela Sz.-Nagy: 1978, Functional Analysis, Ungar, New York.
Reed, M. and B. Simon: 1980, Functional Analysis, Academic Press, New York.
Royden, H. L.: 1988, Real Analysis, Macmillan, New York.
Rucker, R. v. B.: 1974, ‘Undefinable Sets’, Annals of Mathematical Logic 6, 395–419.
Rudin, W.: 1973, Functional Analysis, McGraw-Hill, New York.
Rudin, W.: 1974, Real and Complex Analysis, McGraw-Hill New York.
Segal, I. E. and R. A. Kunze: 1978, Integrals and Operators, Springer, New York.
Shimony, A.: 1989, ‘Conceptual Foundations of Quantum Mechanics’, in P. Davies (ed.), The New Physics, Cambridge, Cambridge, pp. 373–95.
Shoenfield, F. R.: 1967, Mathematical Logic, Addison Wesley, Reading, MA.
Solovay, R. M.: 1970, ‘A Model of Set Theory in which Every Set of Reals is Lebesgue Measurable’, Annals of Mathematics 92, 1–56.
Solovay, R. M., and S. Tennenbaum: 1971, ‘Iterated Cohen Extensions and Souslin's Problem’, Annals of Mathematics 94, 201–245.
Sudbery, A.: 1986, Quantum Mechanics and the Particles of Nature, Cambridge, Cambridge.
Takesaki, M.: 1979, Theory of Operator Algebras I, Springer, New York.
Takeuti, G.: 1978, Two Applications of Logic to Mathematics, Princeton, Princeton, 1978.
Takeuti, G.: 1979, ‘Boolean Valued Analysis’, in Fourman, Mulvaney and Scott (eds.), Applications of Sheaves, Lecture Notes in Mathematics 753. Springer, New York.
Takeuti, G.: 1981, ‘Quantum Set Theory’, Current Issues in Quantum Logic, Plenum, New York, pp. 303–22.
Takeuti, G.: 1983, ‘Von Neumann Algebras and Boolean Valued Analysis’, Journal of the Mathematical Society of Japan 35, 1.
Takeuti, G.: 1984, ‘Quantum Logic and Quantization’, Foundations of Quantum Mechanics in the Light of New Technology, Tokyo, Physical Society of Japan, pp. 256–60.
Takeuti, G., and W. Zaring: 1973, Axiomatic Set Theory, Springer, New York.
Varadarajan, V. S.: 1968, Geometry of Quantum Theory, I and II, Van Nostrand, Princeton, Princeton.
von Neumann, J.: 1955, Mathematical Foundations of Quantum Mechanics, Princeton, Princeton.
Yamasaki, Y.: 1985, Measures on Infinite Dimensional Spaces, World, Singapore.
Yosida, K.: 1974, Functional Analysis, Springer, New York.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Boos, W. Mathematical quantum theory I: Random ultrafilters as hidden variables. Synthese 107, 83–143 (1996). https://doi.org/10.1007/BF00413903
Issue Date:
DOI: https://doi.org/10.1007/BF00413903