In this Letter I stress the role of causal reversibility (time symmetry), together with causality and locality, in the justification of the quantum formalism. First, in the algebraic quantum formalism, I show that the assumption of reversibility implies that the observables of a quantum theory form an abstract real C^{⋆} algebra, and can be represented as an algebra of operators on a real Hilbert space. Second, in the quantum logic formalism, I emphasize which axioms for the lattice of propositions (the existence of an orthocomplementation and the covering property) derive from reversibility. A new argument based on locality and Soler's theorem is used to derive the representation as projectors on a regular Hilbert space from the general quantum logic formalism. In both cases it is recalled that the restriction to complex algebras and Hilbert spaces comes from the constraints of locality and separability.
In this Letter I stress the role of causal reversibility (time symmetry), together with causality and locality, in the justification of the quantum formalism. First, in the algebraic quantum formalism, I show that the assumption of reversibility implies that the observables of a quantum theory form an abstract real C^{⋆} algebra, and can be represented as an algebra of operators on a real Hilbert space. Second, in the quantum logic formalism, I emphasize which axioms for the lattice of propositions (the existence of an orthocomplementation and the covering property) derive from reversibility. A new argument based on locality and Soler's theorem is used to derive the representation as projectors on a regular Hilbert space from the general quantum logic formalism. In both cases it is recalled that the restriction to complex algebras and Hilbert spaces comes from the constraints of locality and separability.
As earlier conjectured by several authors and much later established by Solèr (relying on partial results by Piron, Maeda–Maeda and other authors), from the lattice theory point of view, Quantum Mechanics may be formulated in real, complex or quaternionic Hilbert spaces only. Stückelberg provided some physical, but not mathematically rigorous, reasons for ruling out the real Hilbert space formulation, assuming that any formulation should encompass a statement of Heisenberg principle. Focusing on this issue from another — in our opinion, deeper — viewpoint, we argue that there is a general fundamental reason why elementary quantum systems are not described in real Hilbert spaces. It is their basic symmetry group. In the first part of the paper, we consider an elementary relativistic system within Wigner’s approach defined as a locally-faithful irreducible strongly-continuous unitary representation of the Poincaré group in a real Hilbert space. We prove that, if the squared-mass operator is non-negative, the system admits a natural, Poincaré invariant and unique up to sign, complex structure which commutes with the whole algebra of observables generated by the representation itself. This complex structure leads to a physically equivalent reformulation of the theory in a complex Hilbert space. Within this complex formulation, differently from what happens in the real one, all selfadjoint operators represent observables in accordance with Solèr’s thesis, and the standard quantum version of Noether theorem may be formulated. In the second part of this work, we focus on the physical hypotheses adopted to define a quantum elementary relativistic system relaxing them on the one hand, and making our model physically more general on the other hand. We use a physically more accurate notion of irreducibility regarding the algebra of observables only, we describe the symmetries in terms of automorphisms of the restricted lattice of elementary propositions of the quantum system and we adopt a notion of continuity referred to the states viewed as probability measures on the elementary propositions. Also in this case, the final result proves that there exists a unique (up to sign) Poincaré invariant complex structure making the theory complex and completely fitting into Solèr’s picture. This complex structure reveals a nice interplay of Poincaré symmetry and the classification of the commutant of irreducible real von Neumann algebras.
These notes are an elaboration on: (i) a short course that I gave at the IPhT-Saclay in May-June 2012; (ii) a previous letter on reversibility in quantum mechanics. They present an introductory, but hopefully coherent, view of the main formalizations of quantum mechanics, of their interrelations and of their common physical underpinnings: causality, reversibility and locality/separability. The approaches covered are mainly: (ii) the canonical formalism; (ii) the algebraic formalism; (iii) the quantum logic formulation. Other subjects: quantum information approaches, quantum correlations, contextuality and non-locality issues, quantum measurements, interpretations and alternate theories, quantum gravity, are only very briefly and superficially discussed. Most of the material is not new, but is presented in an original, homogeneous and hopefully not technical or abstract way. I try to define simply all the mathematical concepts used and to justify them physically. These notes should be accessible to young physicists (graduate level) with a good knowledge of the standard formalism of quantum mechanics, and some interest for theoretical physics (and mathematics). These notes do not cover the historical and philosophical aspects of quantum physics.
As earlier conjectured by several authors and much later established by Solèr, from the lattice-theory point of view, Quantum Mechanics may be formulated in real, complex or quaternionic Hilbert spaces only. On the other hand, no quantum systems seem to exist that are naturally described in a real or quaternionic Hilbert space. In a previous paper [23], we showed that any quantum system which is elementary from the viewpoint of the Poincaré symmetry group and it is initially described in a real Hilbert space, it can also be described within the standard complex Hilbert space framework. This complex description is unique and more precise than the real one as, for instance, in the complex description, all self-adjoint operators represent observables defined by the symmetry group. The complex picture fulfils the thesis of Solér’s theorem and permits the standard formulation of the quantum Noether’s theorem. The present work is devoted to investigate the remaining case, namely, the possibility of a description of a relativistic elementary quantum system in a quaternionic Hilbert space. Everything is done exploiting recent results of the quaternionic spectral theory that were independently developed. In the initial part of this work, we extend some results of group representation theory and von Neumann algebra theory from the real and complex cases to the quaternionic Hilbert space case. We prove the double commutant theorem also for quaternionic von Neumann algebras (whose proof requires a different procedure with respect to the real and complex cases) and we extend to the quaternionic case a result established in the previous paper concerning the classification of irreducible von Neumann algebras into three categories. In the second part of the paper, we consider an elementary relativistic system within Wigner’s approach defined as a locally-faithful irreducible strongly-continuous unitary representation of the Poincaré group in a quaternionic Hilbert space. We prove that, if the squared-mass operator is non-negative, the system admits a natural, Poincaré invariant and unique up to sign, complex structure which commutes with the whole algebra of observables generated by the representation itself. This complex structure leads to a physically equivalent reformulation of the theory in a complex Hilbert space. Within this complex formulation, differently from what happens in the quaternionic one, all self-adjoint operators represent observables in agreement with Solèr’s thesis, the standard quantum version of Noether theorem may be formulated and the notion of composite system may be given in terms of tensor product of elementary systems. In the third part of the paper, we focus on the physical hypotheses adopted to define a quantum elementary relativistic system relaxing them on the one hand, and making our model physically more general on the other hand. We use a physically more accurate notion of irreducibility regarding the algebra of observables only, we describe the symmetries in terms of automorphisms of the restricted lattice of elementary propositions of the quantum system and we adopt a notion of continuity referred to the states viewed as probability measures on the elementary propositions. Also in this case, the final result proves that there exists a unique (up to sign) Poincaré invariant complex structure making the theory complex and completely fitting into Solèr’s picture. The overall conclusion is that relativistic elementary systems are naturally and better described in complex Hilbert spaces even if starting from a real or quaternionic Hilbert space formulation and this complex description is uniquely fixed by physics.
An introduction is given to an algebraic formulation and generalisation of the consistent histories approach to quantum theory. The main technical tool in this theory is an orthoalgebra of history propositions that serves as a generalised temporal analogue of the lattice of propositions of standard quantum logic. Particular emphasis is placed on those cases in which the history propositions can be represented by projection operators in a Hilbert space, and on the associated concept of a `history group'.
We propose a system of information-theoretic axioms from which we derive the formalism of quantum theory. Part I is devoted to the conceptual foundations of the information-theoretic approach. We argue that this approach belongs to the epistemological framework depicted as a loop of existences. In Part II we derive the quantum formalism from information-theoretic axioms and we analyze the twofold role of observer as physical system and as informational agent. Quantum logical techniques are then introduced, and we prove theorems reconstructing elements of the formalism. In Part III, we introduce the formalism of C*-algebras and give it an information theoretic interpretation. We analyze the conceptual underpinnings of the theory of modular automorphisms and we give an information-theoretic justification for the emergence of time in the algebraic approach. We conclude by giving a list of open questions, including topics in cognitive science, decision theory, and information technology.
The received view in the philosophy of physics is that a quantum theory is given its mathematical formulation in a so-called Hilbert space, with the states of a quantum system given by the elements of this space and observables—measurable quantities of the system—given by so-called operators on this space. But the status of this fundamental postulate becomes threatened when one moves to complex systems, like the quantum fields underlying fundamental particle physics or statistical systems composed of infinite collections of quantum particles. In these more complex cases, one finds many inequivalent Hilbert space representations that appear to be competing quantum theories. In looking for a mathematical structure of the theory to interpret as representing the physical world, one is faced with a choice: either arbitrarily pick one Hilbert space representation (out of the many competing representations) as a Hilbert Space Conservative, or else look for the abstract algebraic structure that all of these competing representations have in common as an Algebraic Imperialist. This dissertation provides an extended argument for the second route.