The list of basic axioms of quantum mechanics as it was formulated by von Neumann includes only the mathematical formalism of the Hilbert space and its statistical interpretation. We point out that such an approach is too general to be considered as the foundation of quantum mechanics. In particular in this approach any finite-dimensional Hilbert space describes a quantum system. Though such a treatment might be a convenient approximation it can not be considered as a fundamental description of a quantum system and moreover it leads to some paradoxes like Bell's theorem. I present a list from seven basic postulates of axiomatic quantum mechanics. In particular the list includes the axiom describing spatial properties of quantum system. These axioms do not admit a nontrivial realization in the finite-dimensional Hilbert space. One suggests that the axiomatic quantum mechanics is consistent with local realism.
The list of basic axioms of quantum mechanics as it was formulated by von Neumann includes only the mathematical formalism of the Hilbert space and its statistical interpretation. We point out that such an approach is too general to be considered as the foundation of quantum mechanics. In particular in this approach any finite-dimensional Hilbert space describes a quantum system. Though such a treatment might be a convenient approximation it can not be considered as a fundamental description of a quantum system and moreover it leads to some paradoxes like Bell's theorem. I present a list from seven basic postulates of axiomatic quantum mechanics. In particular the list includes the axiom describing spatial properties of quantum system. These axioms do not admit a nontrivial realization in the finite-dimensional Hilbert space. One suggests that the axiomatic quantum mechanics is consistent with local realism.
Quantum physics consists of a formal core that is universally agreed upon (basically being a piece of mathematics with suggestive names for concepts matching related concepts of experimental culture) and an interpretational halo (trying to make this relation more precise) that remains highly disputed even after more than 90 years of modern quantum physics. The latter is the subject of the interpretation of quantum mechanics (see Part II), where many interpretations coexist and compete for the attention of those interested in what quantum physics really means. In this chapter, an axiomatic introduction to the undisputed formal core of quantum physics is given. The axioms described present nonrelativistic quantum statistical mechanics in the Schrödinger picture. The relativistic case is outside the scope of these axioms, as it must be treated by quantum field theory; see Chapter 7. As in any axiomatic setting (necessary for a formal discipline), there are a number of different but equivalent sets of axioms or postulates that can be used to define formal quantum physics. Since they are equivalent, their choice is a matter of convenience. The choice presented here is a formulation featuring three aspects: It emphasises the similarity of quantum mechanics and classical mechanics, gives most direct access to statistical mechanics, and is free from allusions to measurement. The reason for the first is that this similarity serves as a guide to meaning. From the axiomatic setting for quantum mechanics presented below, classical mechanics (in the Koopman setting discussed in Section 7.10) is obtained by simply restricting the operators to be diagonal, so that all operations happen pointwise on the diagonal elements. Thus, multiplication is commutative, and one can identify operators and functions. In particular, the density operator degenerates into a probability density. Therefore, the quantum case appears as a generalization of the classical case allowing for noncommutativity, so that both q-observables and the density operator are (usually infinite-dimensional) operators. The reason for the second is that statistical mechanics is the main tool for applications of quantum physics to the macroscopic systems we are familiar with. The reason for the third is that realistic measurements constitute a complex process involving macroscopic detectors, hence should be explained by quantum statistical mechanics rather than be part of the axiomatic foundations themselves. (This is in marked contrast to other foundations, and distinguishes the present system of axioms.)
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.
Our purpose in this chapter is to present the key concepts of quantum mechanics in the language of Hilbert spaces. The reader who has not previously met the physical ideas motivating quantum mechanics, and some of the more elementary applications of Schrödinger's equation, is encouraged to read any of a number of excellent texts on the subject such as [1–4]. Otherwise, the statements given here must to a large extent be taken on trust – not an altogether easy thing to do, since the basic assertions of quantum theory are frequently counterintuitive to anyone steeped in the classical view of physics. Quantum mechanics is frequently presented in the form of several postulates, as though it were an axiomatic system such as Euclidean geometry. As often presented, these postulates may not meet the standards of mathematical rigour required for a strictly logical set of axioms, so that little is gained by such an approach. We will do things a little more informally here. For those only interested in the mathematical aspects of quantum mechanics and the role of Hilbert space see [5–8]. Many of the standard applications, such as the hydrogen atom, will be omitted here as they can be found in all standard textbooks, and we leave aside the enormous topic of measurement theory and interpretations of quantum mechanics. This is not to say that we need be totally comfortable with quantum theory as it stands. Undoubtedly, there are some philosophically disquieting features in the theory, often expressed in the form of socalled paradoxes.
I discuss a set of strong, but probabilistically intelligible, axioms from which one can {\em almost} derive the appratus of finite dimensional quantum theory. Stated informally, these require that systems appear completely classical as restricted to a single measurement, that different measurements, and likewise different pure states, be equivalent (up to the action of a compact group of symmetries), and that every state be the marginal of a bipartite non-signaling state perfectly correlating two measurements. This much yields a mathematical representation of measurements and states that is already very suggestive of quantum mechanics. In particular, in any theory satisfying these axioms, measurements can be represented by orthonormal subsets of, and states, by vectors in, an ordered real Hilbert space -- in the quantum case, the space of Hermitian operators, with its usual tracial inner product. One final postulate (a simple minimization principle, still in need of a clear interpretation) forces the positive cone of this space to be homogeneous and self-dual and hence, to be the the state space of a formally real Jordan algebra. From here, the route to the standard framework of finite-dimensional quantum mechanics is quite short.