The possibility of a new quantum mechanical description in which the observables are realized as self-adjoint operators in quaternionic Hilbert spaces is investigated from the point of view of relativistic invariance. The problem is first formulated in the natural language of quantum mechanics, i.e. the one of proposition systems. This is followed by the theory of projective group representation and their reduction to unitary group representations in quaternionic Hilbert spaces. The general theory is then applied to the group of special relativity which leads to the classification of elementary systems in this theory.
The possibility of a new quantum mechanical description in which the observables are realized as self-adjoint operators in quaternionic Hilbert spaces is investigated from the point of view of relativistic invariance. The problem is first formulated in the natural language of quantum mechanics, i.e. the one of proposition systems. This is followed by the theory of projective group representation and their reduction to unitary group representations in quaternionic Hilbert spaces. The general theory is then applied to the group of special relativity which leads to the classification of elementary systems in this theory.
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.
S>The implications of group theory for the foundations of quaternionic quantum mechanics are discussed. It is proved that even in this case a relativistic description is possible. It is shown that the elementary systems for the Poincare group, as they appear in this realization, are in one-to-one correspondence with those of the usual complex quantum mechanics. The occurrence of charge conjugation related to space reflexion is discussed and some consequences on a TCP-relativistic theory are explored. The framework of a general relativistic quaternionic quantum mechanics is developed and the particular ties that exist between this theory and its complex analog are emphasized. The possible adequacy of a mixed complex-quaternionic description for isospin is discussed. (auth)
The study of quantum mechanics in quaternionic Hilbert space is not new in physics; indeed, it goes back to the first attempts in formulating quantum mechanics from an axiomatic point of view, and later, from a more physical viewpoint, to the survey of Finkelstein et al. But recently a new physical motivation for such investigations has been given by the work of Adler in algebraic chromostatics, since it has been pointed out that quaternionic quantum mechanics, as a model of an intrinsically non-Abelian gauge theory, fits the Adler algebraic version of chromostatics. The present paper aims at a critical understanding of quaternionic quantal structure through the examination of the elementary case of a single free particle in non-relativistic space-time. We follow the suggestion by Mackey to exploit the imprimitivity theorem, together with the notion of induced representation, in deriving the theory for the free particle system, starting from the axiomatic standpoint. We show that there exists a unique unitary skew adjoint operator which commutes with all the observables. This operator not only plays the role of the imaginary unit in the complex case, but allows a complexification of the Hilbert space by the choice of any quaternionic unit.
In principle, the lattice of elementary propositions of a generic quantum system admits a representation in real, complex or quaternionic Hilbert spaces as established by Solèr’s theorem (1995) closing a long standing problem that can be traced back to von Neumann’s mathematical formulation of quantum mechanics. However up to now there are no examples of quantum systems described in Hilbert spaces whose scalar field is different from the set of complex numbers. We show that elementary relativistic systems cannot be described by irreducible strongly-continuous unitary representations of SL(2, C) on real or quaternionic Hilbert spaces as a consequence of some peculiarity of the generators related with the theory of polar decomposition of operators. Indeed such a ”naive” attempt leads necessarily to an equivalent formulation on a complex Hilbert space. Although this conclusion seems to give a definitive answer to the real/quaternionic-quantum-mechanics issue, it lacks consistency since it does not derive from more general physical hypotheses as the complex one does. Trying a more solid approach, in both situations we end up with three possibilities: an equivalent description in terms of a Wigner unitary representation in a real, complex or quaternionic Hilbert space. At this point the ”naive” result turns out to be a definitely important technical lemma, for it forbids the two extreme possibilities. \nIn conclusion, the real/quaternionic theory is actually complex. This improved approach is based upon the concept of von Neumann algebra of observables. Unfortunately, while \nthere exists a thorough literature about these algebras on real and complex Hilbert spaces, an analysis on the notion of von Neumann algebra over a quaternionic Hilbert space is \ncompletely absent to our knowledge. There are several issues in trying to define such a mathematical object, first of all the inability to construct linear combination of operators \nwith quaternionic coeffients. Restricting ourselves to unital real *-algebras of operators we are able to prove the von Neumann Double Commutant Theorem also on quaternionc \nHilbert spaces. Clearly, this property turns out to be crucial.
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.
In this paper the physical implications of quaternion quantum mechanics are further explored. In a quanternionic Hilbert space HQ, the lattice of subspaces has a symmetry group which is isomorphic to the group of all co-unitary transformations in HQ. In contrast to the complex space HC (ordinary Hilbert space), this group is connected, while for HC it consists of two disconnected pieces. The subgroup of transformations in HQ which associates with every quaternion q of magnitude 1, the correspondence ψ → qψq−1 for all ψ∈HQ (called Q conjugations), is isomorphic to the three-dimensional rotation group. We postulate the principle of Q covariance: The physical laws are invariant under Q conjugations. The full significance of this postulate is brought to light in localizable systems where it can be generalized to the principle of general Q covariance: Physical laws are invariant under general Q conjugations. Under the latter we understand conjugation transformations which vary continuously from point to point. The implementation of this principle forces us to construct a theory of parallel transport of quaternions. The notions of Q-covariant derivative and Q curvature are natural consequences thereof. There is a further new structure built into the quaternionic frame through the equations of motion. These equations single out a purely imaginary quaternion η(x) which may be a continuous function of the space—time coordinates. It corresponds to the i in the Schrödinger equation of ordinary quantum mechanics. We consider η(x) as a fundamental field, much like the tensor gμν in the general theory of relativity. We give here a classical theory of this field by assuming the simplest invariant Lagrangian which can be constructed out of η and the covariant Q connection. It is shown that this theory describes three vector fields, two of them with mass and charge, and one massless and neutral. The latter is identifiable with the classical electromagnetic field.