No data available.
Please log in to see this content.
You have no subscription access to this content.
No metrics data to plot.
The attempt to load metrics for this article has failed.
The attempt to plot a graph for these metrics has failed.
Foundations of Quaternion Quantum Mechanics
1.G. Birkhoff and J. von Neumann, Ann. Math. 37, 823 (1936).
1.The first suggestion of quaternion quantum mechanics appears in a footnote of this paper. C. N. Yang has also pointed out the interest of this possibility [Proceedings of the Seventh Rochester Conference on High‐Energy Nuclear Physics 1957 (Interscience Publishers, Inc., New York, 1957), p. IX‐26].
2.We can present the propositional calculus of general quantum mechanics as follows, if we consider finite‐dimensional Hilbert spaces only, thus excluding systems with continuous variables except as limiting cases. The elements (which may indifferently be regarded as representative ensembles, propositions about a physical system, or “operational” rules for testing the truth of statements) are subject to the basic operation of negation and the basic relation of implication In addition, unlike the classical propositional calculus, the propositions make up (are the points of) a topologicai space. The axioms are: 1. The axioms for a complemented lattice. Implication is reflexive, transitive, and antisymmetric (reversible only for equals). Any possess both a g.l.b. (A and B) and a l.u.b. (A or B) with respect to implication. There exists an over‐all g.l.b. O and l.u.b. I. Negation is an involutory anti‐automorphism of the lattice. 2. Axioms of cardinality. To each proposition A may be associated a non‐negative integer such that if then if and then and We assume, without loss of generality, that the least of the positive values assumed by this integer is normalized to be 1; otherwise any positive integral multiple of A would also satisfy these requirements. 3. Axiom of superposition. If then there exists a C with such that 4. Axiom of continuity. is a continuous function of A. Evidently Axioms 1 and 2 are valid for the propositional calculus of a classical system with a finite number of states. Axiom 3 is the very essence of quantum logic; the C whose existence it asserts is a superposition of A and B in the quantum sense. Were the classical distributive law of logic adjoined to Axiom 1, Axiom 3 would be inconsistent. Even without continuity (Axiom 4) it would follow from Axioms 1–3 that the propositions correspond one‐to‐one to substances of some vector space over a skew field. Since every subspace of the vector space is utilized in this one‐to‐one realization, there is no room for superselection principles in what we have called general quantum mechanics; but if Axiom 3 is simply dropped we find a “supersum” (direct sum with superselection rules between addends) of systems for each of which Axiom 3 is satisfied. Thus it is not necessary to go beyond the quaternions until Axioms 1, 2, or 4 are weakened. We have consigned this matter to inferior print and omitted much mathematical beauty; it concerns mostly how one arrives at Q quantum mechanics, and in the final analysis it is more important to know where a theoretical path leads than how one fell upon it.
3.We give here the algebra of quaternions. Every quaternion can be written in the form , where the four coefficients are real. The multiplication of quaternions is associative, distributive, and obeys ; . In the last equation, the anticyclic order of factors might have been taken. Every quaternion q possesses an inverse In Hamilton’s notation a quaternion is regarded as the sum of a “scalar” (real) part and a “vector” (imaginary) part: The quaternions that commute with all other quaternions are just the reals. The quaternions that commute with a given nonreal quaternion form a subset isomorphic to the complex numbers. There exists an operation on the quaternions that is involutory Hermitian definite ( is real, and vanishes only when ), and anti‐automorphic and it is called the quaternion conjugate (Q conjugate): On the other hand, the automorphisms of the quaternions are all of the form (The quaternion a associated with a particular automorphism is not uniquely defined by this equation; by requiring that the norm of a, meaning be unity, the ambiguity is reduced to an extremely important matter of sign.) It is sometimes convenient to represent quaternions by pairs of complex numbers according to , where commute with and are therefore essentially complex numbers. Treating these pairs as vectors in a two‐dimensional complex vector space we find that every linear transformation of Q is represented by a linear transformation of that is by a complex matrix. In particular the left multiplication by a fixed quaternion a, is represented by a matrix the symplectic representation of a, The symplectic representations of left multiplication by are just the Pauli spin operators (times i). But the symplectic representation of right multiplications by quaternions are sums of linear and antilinear operators. Computation yields that where Q denotes the quaternion, and the star the ordinary complex, conjugate. The “scalar product” of two quaternions then becomes (with ) We separated the quaternion with respect to and identified with the complex i. But, of course, we could have used any pair of anticommuting units as well.
4.Usually it is the scalar product that is taken as fundamental, but except with the Dirac notation this leads to a doubling of symbols, and to an ambiguity about which factor is the linear one, which the antilinear. We shall find the Dirac notation extremely convenient for Q quantum mechanics, since it manages automatically certain rules of order that are not important in C quantum mechanics. Equivalent definitions of are given by von Neumann and Birkhoff, (reference 3);
4.E. H. Moore, General Analysis (American Philosophical Society, Philadelphia, Pennsylvania, 1935);
4.and O. Teichmuller, Z. Math. 174, 73 (1935).
5.Again two approaches present themselves, the “synthetic” and the “analytic”; just as the definition of “general quantum mechanics” in footnote 2 is the “synthetic” version of the “analytic” one given in the text of this section for Again we relegate the “synthetic” formulation to a footnote: An automorphism U on the propositional calculus of is a mapping of propositions to propositions, that possesses an inverse and preserves the operation of negation and the relation of implication. It is then a theorem that every such mapping is effected by a mapping of vectors of the kind to be cailed co‐unitary above. Likewise any mapping that preserves implication is represented by a colinear vector transformation.
6.Why unitary and not simply co‐unitary? Since after all the essential requirements from the point of view of the propositional calculus are that implication and negation of propositions (linear dependence and orthogonality of vectors) be preserved by the passage of time, and this is a property of the co‐unitary operators. The reason the unitary operators are sufficient varies slightly for the three cases For the only automorphism of F is the identity all colinear operators are linear, and all co‐unitary operators are unitary. For the automorphisms of F are the identity I and the complex conjugate all colinear operators are either linear, or if not, are called antilinear, the two classes being disconnected. Since a one‐parameter group is connected and is linear, all are necessarily linear. For the automorphisms of F are the conjugations any colinear operator T can be expressed in terms of an associated (nonunique) linear operator L and a quaternion q according to . Now we see that the linear operators (q real) are continuously connected to the other colinear operators (q not real). Thus the continuity argument does not work here. On the other hand the colinear T and the associated linear operator L of define the same correspondence of propositions to propositions (subspaces to subspaces). Therefore, for Q quantum mechanics every such correspondence, being representable by a colinear operator, is representable by a linear operator. By choosing the q in to be of unit norm, it is readily seen, L is determined up to sign and is unitary if T is co‐unitary. We thus obtain a unitary function of time obeying . By continuity, it is always possible to redefine so that the upper sign is chosen.
7.Many of the properties of a system of three anticommuting, anti‐Hermitian unitary operators on like have been discussed by Teichmüller, reference 4.
8.F. Gürsey (private communication).
Article metrics loading...
Full text loading...