A systematic study of additive isometries on a quaternionic Hilbert space is presented. A number of new results describing the properties of such operators are proved. The work culminates in the first mathematical proof of Wigner’s theorem for quaternionic Hilbert spaces of dimension other than 2 which asserts that any operator which preserves the absolute value of the inner product on a quaternionic Hilbert space is equivalent, in the sense of differing pointwise by a mere phase factor, to a linear isometry. A complete and concise description of the exceptional situation in a two-dimensional quaternionic Hilbert space is given.
A systematic study of additive isometries on a quaternionic Hilbert space is presented. A number of new results describing the properties of such operators are proved. The work culminates in the first mathematical proof of Wigner’s theorem for quaternionic Hilbert spaces of dimension other than 2 which asserts that any operator which preserves the absolute value of the inner product on a quaternionic Hilbert space is equivalent, in the sense of differing pointwise by a mere phase factor, to a linear isometry. A complete and concise description of the exceptional situation in a two-dimensional quaternionic Hilbert space is given.
The orthodox formulation of quantum theory invokes the mathematical apparatus of complex Hilbert space. In this thesis, we consider a quaternionic quantum formalism for the description of quantum states, quantum channels, and quantum measurements. We prove that probabilities for outcomes of quaternionic quantum measurements arise from canonical inner products of the corresponding quaternionic quantum effects and a unique quaternionic quantum state. We embed quaternionic quantum theory into the framework of usual complex quantum information theory. We prove that quaternionic quantum measurements can be simulated by usual complex positive operator valued measures. Furthermore, we prove that quaternionic quantum channels can be simulated by completely positive trace preserving maps on complex quantum states. We also derive a lower bound on an orthonormality measure for sets of positive semi-definite quaternionic linear operators. We prove that sets of operators saturating the aforementioned lower bound facilitate a reconciliation of quaternionic quantum theory with a generalized Quantum Bayesian framework for reconstructing quantum state spaces.
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.
Let H be a complex Hilbert space and let P ( H ) be the associated projective space (the set of rank-one projections). Suppose dim H ⩾ 3 . We prove the following Wigner-type theorem: if H is finite dimensional, then every orthogonality preserving transformation of P ( H ) is induced by a unitary or anti-unitary operator. This statement will be obtained as a consequence of the following result: every orthogonality preserving lineation of P ( H ) to itself is induced by a linear or conjugate-linear isometry ( H is not assumed to be finite-dimensional). As an application, we describe (not necessarily injective) transformations of Grassmannians preserving some types of principal angles.
The relations between several different forms of Wigner′s theorem are investigated,the descriptions of the theorem in terms of physics and geometry are given.By using operator theory and operator algebra,the equivalence between these different forms of propositions is proved.The results show that if the surjection T:R1(H)→R1(K) preserves the inner product between unit rays,the surjection S:R(H)→R(K) preserves the inner product between rays,the surjection Φ:P1(H)→P1(K) preserves the trace of the product of rank-one projections,and the surjection W:H→K preserves the inner product between vectors,then there exists unit or anti-unitary operators U:H→K,such that Uy∈Tx,r(Uy)=Sx,Φ(Px)=UPx U* and W(x)=φ(x)U(x),in which φ:H→C satisfies |φ(x)|=1.
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.