-
Causal Fermion Systems and the ETH Approach to Quantum Theory
Authors:
Felix Finster,
Jürg Fröhlich,
Marco Oppio,
Claudio F. Paganini
Abstract:
After reviewing the theory of "causal fermion systems" (CFS theory) and the "Events, Trees, and Histories Approach" to quantum theory (ETH approach), we compare some of the mathematical structures underlying these two general frameworks and discuss similarities and differences. For causal fermion systems, we introduce future algebras based on causal relations inherent to a causal fermion system. T…
▽ More
After reviewing the theory of "causal fermion systems" (CFS theory) and the "Events, Trees, and Histories Approach" to quantum theory (ETH approach), we compare some of the mathematical structures underlying these two general frameworks and discuss similarities and differences. For causal fermion systems, we introduce future algebras based on causal relations inherent to a causal fermion system. These algebras are analogous to the algebras previously introduced in the ETH approach. We then show that the spacetime points of a causal fermion system have properties similar to those of "events", as defined in the ETH approach. Our discussion is underpinned by a survey of results on causal fermion systems describing Minkowski space that show that an operator representing a spacetime point commutes with the algebra in its causal future, up to tiny corrections that depend on a regularization length.
△ Less
Submitted 1 September, 2020; v1 submitted 24 April, 2020;
originally announced April 2020.
-
The correct formulation of Gleason's theorem in quaternionic Hilbert spaces
Authors:
Valter Moretti,
Marco Oppio
Abstract:
From the viewpoint of the theory of orthomodular lattices of elementary propositions, Quantum Theories can be formulated in real, complex or quaternionic Hilbert spaces as established in Solér's theorem. The said lattice eventually coincides with the lattice of all orthogonal projectors on a separable Hilbert space over R, C, or over the algebra of quaternions H. Quantum states are $σ$-additive pr…
▽ More
From the viewpoint of the theory of orthomodular lattices of elementary propositions, Quantum Theories can be formulated in real, complex or quaternionic Hilbert spaces as established in Solér's theorem. The said lattice eventually coincides with the lattice of all orthogonal projectors on a separable Hilbert space over R, C, or over the algebra of quaternions H. Quantum states are $σ$-additive probability measures on that non-Boolean lattice. Gleason's theorem proves that, if the Hilbert space is separable with dimension >2 and the Hilbert space is either real or complex, then states are one-to-one with standard density matrices (self-adjoint, positive, unit-trace, trace-class operators). The extension of this result to quaternionic Hilbert spaces was obtained by Varadarajan in 1968. Unfortunately, even if the hard part of the proof is correct, the formulation of this extension is mathematically incorrect. This is due to some peculiarities of the notion of trace in quaternionic Hilbert spaces, e.g., basis dependence, making the theory of trace-class operators in quaternionic Hilbert spaces different from the standard theory in real and complex Hilbert spaces. A minor issue also affects Varadarajan's statement for real Hilbert space formulation. This paper is mainly devoted to present Gleason-Varadarajan's theorem into a technically correct form valid for the three types of Hilbert spaces. After having develped part of the general mathematical technology of trace-class operators in (generally non-separable) quaternionic Hilbert spaces, we prove that only the {\em real part} of the trace enters the formalism of quantum theories (also dealing with unbounded observables and symmetries) and it can be safely used to formulate and prove a common statement of Gleason's theorem.
△ Less
Submitted 10 September, 2018; v1 submitted 19 March, 2018;
originally announced March 2018.
-
Quantum theory in real Hilbert space: How the complex Hilbert space structure emerges from Poincaré symmetry
Authors:
Valter Moretti,
Marco Oppio
Abstract:
As established by Solèr, Quantum Theories may be formulated in real, complex or quaternionic Hilbert spaces only. Stückelberg provided physical reasons for ruling out real Hilbert spaces relying on Heisenberg principle. Focusing on this issue from another viewpoint, we argue that there is a fundamental reason why elementary quantum systems are not described in real Hilbert spaces: their symmetry g…
▽ More
As established by Solèr, Quantum Theories may be formulated in real, complex or quaternionic Hilbert spaces only. Stückelberg provided physical reasons for ruling out real Hilbert spaces relying on Heisenberg principle. Focusing on this issue from another viewpoint, we argue that there is a fundamental reason why elementary quantum systems are not described in real Hilbert spaces: their symmetry group. We consider an elementary relativistic system within Wigner's approach defined as a locally-faithful irreducible 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. All that leads to a physically equivalent formulation in a complex Hilbert space. Differently from what happens in the real picture, here all selfadjoint operators are observables in accordance with Solèr's thesis, and the standard quantum version of Noether theorem holds. We next focus on the physical hypotheses adopted to define a quantum elementary relativistic system relaxing them and making our model physically more general. 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 and we adopt a notion of continuity referred to the states. Also in this case, the final result proves that there exist 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.
△ Less
Submitted 5 June, 2017; v1 submitted 28 November, 2016;
originally announced November 2016.
