This chapter highlights other surprising aspects of QM∞: unlike theories of ordinary QM, theories of QM∞ can traffic in algebras none of whose countably additive states are pure. The chapter sketches and provides simple illustrations of the mathematical basis of this circumstance: atomless von Neumann algebras. It also illustrates the uses to which atomless von Neumann algebras are put in QM∞.
This chapter highlights other surprising aspects of QM∞: unlike theories of ordinary QM, theories of QM∞ can traffic in algebras none of whose countably additive states are pure. The chapter sketches and provides simple illustrations of the mathematical basis of this circumstance: atomless von Neumann algebras. It also illustrates the uses to which atomless von Neumann algebras are put in QM∞.
Quantum theory is the soul of contemporary physics. It was discovered in an adventurous way, under the urge to solve the puzzles posed by atomic spectra and blackbody radiation. But after its invention, it immediately became clear that it was not just a theory of specific physical systems: it was rather a new language of universal applicability. Already in 1928, the theory had received solid mathematical foundations by Hilbert, von Neumann, and Nordheim, and this work was brought to completion in the monumental work of von Neumann, in the form that we still study nowadays. The theory is extraordinarily successful, and its predictions have been confirmed to an astonishing level of precision in a large spectrum of experiments. However, almost 90 years after von Neumann's book, quantum theory remains mysterious. Its mathematical formulation – based on Hilbert spaces and self-adjoint operators – is far from having an intuitive interpretation. The association of physical systems to Hilbert spaces whose unit vectors represent pure states, the representation of transformations by unitary operators and of observables by self-adjoint operators – all such postulates look artificial and ad hoc . A slightly more operational approach is provided by the C * -algebraic formulation of quantum theory – still, this formulation relies on the assumption that observables form an algebra , where the physical meanings of the multiplication and the sum are far from clear. In short, the postulates of quantum theory impose mathematical structures without providing any simple reason for this choice: the mathematics of Hilbert spaces is adopted as a magic blackbox that “works well” at producing experimental predictions. However, in a satisfactory axiomatization of a physical theory the mathematical structures should emerge as a consequence of postulates that have a direct physical interpretation. By this we mean postulates referring, e.g., to primitive notions like physical system, measurement, or process, rather than notions like, e.g., Hilbert space, C * -algebra, unit vector, or selfadjoint operator. The crucial question thus remains unanswered: why quantum theory? Which are the principles at the basis of the theory? A case that is often invoked in contrast is that of Special Relativity theory, which directly follows from the simple understandable principle of relativity.
The aim of this chapter is to present (in a compact way) the fundamentals of conventional quantum theory. We select the for- mulation of QM as an axiomatic theory in the complete accordance with the Hilbert’s program on axiomatization of physical theories. We remark that the first step toward the present formulation of QM was done in the seminal work of Hilbert, Nordheim, and von Neumann [112]. This work was substantially extended, completed, and clarified in the book of von Neumann [296]. Another version of the rigorous mathematical approach to QM was presented in the book of Dirac [74]. From the mathematical viewpoint, the main difference between the approaches of von Neumann and Dirac is that the first one is based on the theory of self-adjoint operators in complex Hilbert space and the second one is based on the theory of self-adjoint operators acting (by using the modern mathematical terminology) in rigged Hilbert spaces. This theory operates with generalized eigenvectors belonging to the spaces of distributions. Although the von Neumann’s formalization of QM became dominant in quantum mathematical physics, the Dirac’s formalization is widely used in the works on the physical level of rigorousness. Moreover, the Dirac’s terminology, bra-and ket- vectors, became the standard for quantum information theory. However, since quantum information is based on the castrated version of QM, namely, QM in finite-dimensional Hilbert spaces, the so-called n-qubit spaces, the basic tool of the Dirac’s formalism, usage of generalized eigenvectors, is useless (since in the finite- dimensional case everything is reduced to manipulation with matrices). During the last 80 years, there were written hundreds of books on QM enlightening its foundational aspects. Unfortunately, the majority of these writings advertise exotic (and some of them really esoteric) views on QM and, in particular, on interpretation of the wave function. They are full of such terms as the collapse of the wave function, quantumnonlocality, manyworlds, thewave function of universe, the preparation of Schro¨dinger cats, influence of the future on the past, quantum teleportation. Of course, manipulations with such terminology create an atmosphere of mystery and a feeling that something unusual and impossible can happen. And this atmosphere plays a positive role in attracting young people to QM and especially to quantum foundations.
Chapter 6 Von Neumann algebras 6.1 The algebras l (X) In this chapter we discuss quantum measure theory. This is formally rather similar to quantum topology; in both cases we treat the given structure (topological or measure theoretic) in terms of the algebra of complex-valued functions which are compatible with that structure. The algebras which arise in the latter case are actually a special case of the former: every von Neumann algebra is a C*-algebra (although this is not always the best way to think about them).
QM∞ includes quantum field theory and the thermodynamic limit of quantum statistical mechanics — theories which, unlike the 'ordinary' quantum theories typically discussed by philosophers, concern infinite systems. The mathematical framework appropriate for the presentation of a theory of ordinary quantum mechanics is essentially unique. For theories of QM∞, this is not so. This prompts interpretive questions—for instance, about what makes a quantum theory the quantum theory it is — this work aims to chronicle. Having introduced a formal apparatus (operator algebra theory) suited to pursue these questions, the book articulates a variety of accounts of the content of quantum theories, accounts responsive to QM∞'s characteristic non-uniqueness. To evaluate these accounts, the book examines QM∞ settings (e.g. spontaneous symmetry breaking, cosmological particle creation, superconductivity) in which that characteristic non-uniqueness seems to matter, with a view toward determining which accounts sustain the uses to which the non-uniqueness is put. This approach not only brings work on the foundations of quantum theories in contact with the foundational investigation of other sorts of physical theories (e.g., thermodynamics, statistical mechanics, solid state physics, general relativity, and cosmology), it also brings the philosophy of physics in contact with other sorts of philosophy of science (e.g., accounts of explanation, reduction, and explanationist defenses of scientific realism). The book concludes that received notions of physical content and physical modality must be revised if they are to apply usefully to particular physical theories.