Recovering the Quantum Formalism from Physically Realist Axioms (Orale)

Philippe Grangier

Philippe Grangier

We present a heuristic derivation of Born's rule and unitary transforms in Quantum Mechanics, from a simple set of axioms built upon a physical phenomenology of quantization. This approach naturally leads to the usual quantum formalism, within a new realistic conceptual framework that is discussed in details. Physically, the structure of Quantum Mechanics appears as a result of the interplay between the quantized number of "modalities" accessible to a quantum system, and the continuum of "contexts" that are required to define these modalities. Mathematically, the Hilbert space structure appears as a consequence of a specific "extra-contextuality" of modalities, closely related to the hypothesis of Gleason's theorem, and consistent with its conclusions.

Andrei Yu. Khrennikov

Alexia Auffèves, Philippe Grangier

We present a heuristic derivation of Born's rule and unitary transforms in Quantum Mechanics, from a simple set of axioms built upon a physical phenomenology of quantization. This approach naturally leads to the usual quantum formalism, within a new realistic conceptual framework that is discussed in details. Physically, the structure of Quantum Mechanics appears as a result of the interplay between the quantized number of "modalities" accessible to a quantum system, and the continuum of "contexts" that are required to define these modalities. Mathematically, the Hilbert space structure appears as a consequence of a specific "extra-contextuality" of modalities, closely related to the hypothesis of Gleason's theorem, and consistent with its conclusions.

François David

Arnold Neumaier

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.)