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.)
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.
In this introductory chapter, which actually is the core of the entire book, we make a serious effort to bring together a variety of ideas from philosophy and physics. We first lay the epistemological foundations for our approach to particle physics. These philosophical foundations, combined with tools borrowed from the amazingly sophisticated, but still not entirely satisfactory, mathematical apparatus of present-day quantum field theory and augmented by some new ideas, are then employed to develop a mathematical representation of fundamental particles and their interactions. In this process, also the relation between “fundamental particle physics” and “quantum field theory” is going to be clarified. This first chapter consists of two voluminous sections: a number of philosophical contemplations followed by a discussion of mathematical and physical elements . The reader might wonder why these massive sections are not presented as two separate chapters. The reason for keeping them together is the desire to emphasize the intimate relation between these two sections: the selection and construction of the mathematical and physical elements is directly based on our philosophical contemplations. The beauty of the entire approach is a fruit of this intimate relationship. The presentation of the material in this chapter is based on the assumption that the reader has a basic working knowledge of linear algebra and quantum mechanics. If that is not the case, the reader might want to consult the equally entertaining and serious introduction Quantum Mechanics: The Theoretical Minimum by Susskind and Friedman [4]. The book Quantum Mechanics and Experience by Albert [5] offers a fascinating introduction with a strong focus on the measurement problem. An almost equation-free discussion of the history and foundations of quantum mechanics can be found in the book Einstein, Bohr and the Quantum Dilemma: From Quantum Theory to Quantum Information by Whitaker [6]. Complex vector spaces, Hilbert space vectors and density matrices for describing states of quantum systems, bosons and fermions, canonical commutation relations, Heisenberg's uncertainty relation, the Schrodinger and Heisenberg pictures for the time evolution of quantum systems, as well as a basic idea of the measurement process are all referred or alluded to in Section 1.1; these basics of quantum mechanics are recapped only very briefly in Section 1.2. The crucial construct of Fock spaces is explained in a loose way in Section 1.1.3 and later elaborated in full detail in Section 1.2.1.
The mathematical formalism of quantum theory in terms of vectors and operators in infinite-dimensional complex vector spaces is very abstract. The definitions of many mathematical quantities used do not seem to have an intuitive meaning, which makes it difficult to appreciate the mathematical formalism and understand quantum mechanics. This book provides intuition and motivation to the mathematics of quantum theory, introducing the mathematics in its simplest and familiar form, for instance, with three-dimensional vectors and operators, which can be readily understood. Feeling confident about and comfortable with the mathematics used helps readers appreciate and understand the concepts and formalism of quantum mechanics. This book is divided into four parts. Part I is a brief review of the general properties of classical and quantum systems. A general discussion of probability theory is also included which aims to help in understanding the probability theories relevant to quantum mechanics. Part II is a detailed study of the mathematics for quantum mechanics. Part III presents quantum mechanics in a series of postulates. Six groups of postulates are presented to describe orthodox quantum systems. Each statement of a postulate is supplemented with a detailed discussion. To make them easier to understand, the postulates for discrete observables are presented before those for continuous observables. Part IV presents several illustrative applications, which include harmonic and isotropic oscillators, charged particle in external magnetic fields and the Aharonov–Bohm effect. For easy reference, definitions, theorems, examples, comments, properties and results are labelled with section numbers. Various symbols and notations are adopted to distinguish different quantities explicitly and to avoid misrepresentation. Self-contained both mathematically and physically, the book is accessible to a wide readership, including astrophysicists, mathematicians and philosophers of science who are interested in the foundations of quantum mechanics.
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.
As we have seen in Section 8.4, the basis of our perception of an objective reality is statistical mechanics and field theory. These are routinely used in equilibrium and nonequilibrium statistical thermodynamics (see, for example, Calzetta & Hu [59]), which govern the macroscopic laws of everyday life. Thus the quantum theory of fields must be the fundamental description of Nature. Therefore, the simpler quantum mechanics of particles is necessarily a derived description. This chapter discusses the extent to which a particle picture of matter and radiation is appropriate. In relativistic quantum field theory, particles appear only as asymptotic excitations of the fields. The quantum particle concept therefore makes mathematical (and intuitive) sense only under very special circumstances, namely in those where a system actually behaves like particles do: - As quasiparticles, they are useful in the domain, where the geometric optics perspective applies. - Before and after a scattering event in a dilute gas or a particle collider ring, particles can be considered as being essentially free. During the very short interaction time itself, the scattering process cannot be described by a particle picture, but needs a hydromechanical description or a kinetic description via Kadanoff-Baym equations. Already at the very beginning of modern quantum mechanics, when Born found his probability interpretation, the scattering process of single particles in an external classical field was understood (see Section 14.1 of the Appendix) to be a wave process relating initially and finally stationary particles, freely moving in their center of mass frame. It is a historical accident that one continues to use the name particle in the many microscopic situations, where it is grossly inappropriate to think of it with the classical meaning of a tiny bullet moving through space. When we restrict the use of the particle concept to where it is appropriate, or when we do not think of particles as “objects”, in both cases all mystery is gone, and the foundations become fully rational. The inappropriate focus on the particle aspect of quantum mechanics created the appearance of mystery; common sense is restored by focussing instead on the field aspect. To substantiate the above summary view, we give in Section 12.1 an analysis of the photoelectric effect and in Section 12.2 a review of the origin of particle tracks. This leads in Section 12.3 to a discussion about the reality of particles. In the remainder of the chapter, we discuss the relation between fields and particles in more detail. Section 12.4 poses the problem how the nonrelativistic multiparticle description arises from relativistic quantum field theory. Section 12.5 considers the case of free quantum fields, and Section 12.6 the case of interacting quantum fields. Section 12.7, the final section, discusses the semiclassical view of quasiparticles in the approximation familiar from geometric optics.
This chapter contains a brief introduction to mathematical formalism and QM axiomatics. It is oriented to non-physicists. Since QM is a statistical theory it is natural to start with the classical probability model (Kolmogorov [ 191 ], 1933). Then we present the basics of the theory of Hilbert spaces and Hermitian operators and the representation of pure and mixed states by normalized vectors and density operators. This introduction is sufficient to formulate the axiomatics of QM in the form of five postulates. The projection postulate (the most questionable postulate of QM) is presented in a separate section. We sharply distinguish between the cases of quantum observables represented by Hermitian operators with nondegenerate and degenerate spectra, von Neumann’s and Ltiders’s forms of the projection postulate. The axiomatics is completed by a short section on the main interpretations of QM. The projection postulate (LUders’s form) plays a crucial role in the definition of quantum conditional (transition) probability. By operating with the latter we consider interference of probabilities for two incompatible observables as a modification of the formula of total probability by adding the interference term. This viewpoint to interference of probabilities was elaborated in a series of works by Khrennikov. Since classical probability theory is based on the 142 Boolean algebra of events, a violation of the law of total probability can be treated as the probabilistic sign of a violation of the laws of the Boolean logics. From this viewpoint, quantum theory can be considered as representing a new kind of logic, so-called quantum logic. The latter is also briefly presented in a separate section. We continue this review with a new portion of quantum mathematics, namely the notion of the tensor product of Hilbert spaces and the tensor product of operators. After the section on Dirac’s notation with ket and bra vector, we discuss briefly the notion of qubit and entanglement of a few qubits. This chapter concludes with a presentation of the detailed analysis of the probabilistic structure of the two-slit experiment in a bunch of different experimental contexts. This contextual structure leads to a violation of the law of total probability and non-Kolmogorovean probabilistic structure of this experiment.