Quaternion Transformation

Because we need a quaternion transformation to diagonalize a matrix over a basis that follows case 1 above, and the resulting matrix is a quaternion matrix, the corresponding irrep can be called a quaternion irrep. In the same vein, a case 2 irrep is called a complex irrep, while case 3 yields a real irrep. 

The only remaining case to consider is that of the quaternion groups with N odd. The Hamiltonian matrix may be blocked by the quaternion transformation given previously. 

The generation of invariants in the Lorentz transformation of four-vectors has been interpreted to mean that the transformation is equivalent to a rotation. The most general rotation of a four-vector, defined as the quaternion q = w + ix + jy + kz is given by [39]... 

Table 4. The isotropic indirect spin-spin coupling constant of calculated at various levels of theory. LL refers to the Levy-Leblond Hamiltonian, std refers to a full relativistic calculation using restricted (RKB) or unrestricted (UKB) kinetic balance, spf refers to calculations based on a spin-free relativistic Hamiltonian. Columns F, G and whether quaternion imaginary parts are deleted (0) or not (1) from the regular Fock matrix F prior to one-index transformation, from the two-electron Fock matrix G...

In 1843, during a flash of inspiration while walking with his wife, Hamilton realized that it took four (not three) numbers to accomplish a 3-D transformation of one vector into another. In that instant, Hamilton saw that one number was needed to adjust the length, another to specify the amount of rotation, and two more to specify the plane in which rotation takes place. This physical insight led Hamilton to study hypercomplex numbers (or quaternions) with four components, sometimes written with the form Q = + ad + a + aji where the as are... 

Exercise 1.15 (Used in Section 4.1) Show that the product of two unit quaternions is a unit quaternion. (Hint Brute calculation will suffice, but the geometry ofSf may provide more insight think of the right-hand quaternion in the multiplication as a unit vector in R", think of the left-hand quaternion as a linear transformation of. )... 

In the previous section we used quaternions to construct a convenient parameterization of the hybridization manifold, using the fact that it can be supplied by the 50(4) group structure. However, the strictly local HOs allow for the quaternion representation for themselves. Indeed, the quaternion was previously characterized as an entity comprising a scalar and a 3-vector part h = (h0, h) = (s, v). This notation reflects the symmetry properties of the quaternion under spatial rotation its first component ho = s does not change under spatial rotation i.e. is a scalar, whereas the vector part h — v — (hx,hy,hz) expectedly transforms as a 3-vector. These are precisely the features which can be easily found by the strictly local HOs the coefficient of the s-orbital in the HO s expansion over AOs does not change under the spatial rotation of the molecule, whereas the coefficients at the p-functions transform as if they were the components of a 3-dimensional vector. Thus each of the HOs located at a heavy atom and assigned to the m-th bond can be presented as a quaternion ... 

According to this matrix formulation the quaternion, also known as a rotation operator or spinor transformation, becomes... 

The local frame for rigid molecules, once chosen, will always be clearly defined. The necessary transformation of the separation vector from the laboratory to the local frame is usually accomplished by multiplication by the rotation matrix of the central molecule. The construction of this rotation matrix is usually a straightforward task. In fact, it will already be available in any program that describes molecular orientations in terms of quaternions (coordinate-transformed eulerian angles) [3,24]. 

Since the quaternion qv is a 4-vector, the product <7 must be invariant under the continuous spacetime transformations and the reflections in space-time. It then follows that the covariant derivatives and the second covariant derivatives of the quaternion fields must vanish. Since tp ( / / ), it follows that (with ot, (3 = 1,2)... 

As a side step, we will briefly discuss two topics not directly related to our primary objective, perturbation theory. Both the inverse map and the Birkhoff Transformation in three dimensions allow for an elegant treatment in terms of quaternions. 

Here we will first revisit the classical Birkhoff Transformation (the same conformal map is known in aerodynamics as the Joukowsky transformation) and represent it as the composition of three conformal mappings this will then readily generalize to the spatial situation by means of quaternions. 

This property has a simple consequence on the differentiation of the quaternion representation (42) of the KS transformation. Considering the noncommutative multiplication of quaternions, the differential of equation (42) becomes... 

The DIRAC package [55,56], devised by Saue and collaborators, rather than exploiting the group theoretical properties of Dirac spherical 4-spinors as in BERTHA, treats each component in terms of a conventional quantum chemical basis of real-valued Cartesian functions. The approach used in DIRAC, building on earlier work by Rosch [80] for semi-empirical models, uses a quaternion matrix representation of one electron operators in a basis of Kramers pairs. The transformation properties of these matrices, analysed in [55], are used to build point group transformation properties into the Fock matrix. 

The space S [...] is the direct product of a straight line and the three-space Sq, defined by = 0 and So obtained from a space R of constant curvature.[...] This definition of Sq also leads to an elegant presentation of its group of transformations. To this end we map the points of R on the hyperbolic quaternions uo + Uiji + W2J2 + ush [ ] by means of projective coordinates... 

Although Hopf (1940) showed that it is not possible to represent the rotation group in a one-to-one global manner with less than five parameters, quaternions are usually used to parametrize the rotation in a two-to-one way. In general no difficulties arise with such a parametrization, because the correspondence between the quaternions of unit length and the elements of the rotation matrix is a local homeomorphism. Using the smallest number for a one-to-one correspondence, i.e. five parameters, does not lead not to simple equations and thus there is no apparent advantage in the reduction of the parameters by this method. Another convenient method is to use six parameters, e.g. the elements of the first two columns of the transformation matrix. 

Hence, the relativistic analog of the spin-restriction in nonrelativistic closed-shell Hartree-Fock theory is Kramers-restricted Dirac-Hartree-Fock theory. We should emphasize that our derivation of the Roothaan equation above is the pedestrian way chosen in order to produce this matrix-SCF equation step by step. The most sophisticated formulations are the Kramers-restricted quaternion Dirac-Hartree-Fock implementations [286,318,319]. A basis of Kramers pairs, i.e., one adapted to time-reversal s)mimetry, transforms into another basis under quatemionic unitary transformation [589]. This can be exploited not only for the optimization of Dirac-Hartree-Fock spinors, but also for MCSCF spinors. In a Kramers one-electron basis, an operator O invariant under time reversal possesses a specific block structure. 

It should be noted that the transformation matrix becomes unbounded for / 7t/2. This is the reason for taking other parameterizations of the rotation matrix if /3 tends towards tt/2. Such a reparameterization introduces discontinuities which can be avoided when using a redundant set of rotation coordinates. One typically uses quaternions often also called Euler parameters. These are four coordinates instead of the three angles and one additional normalizing equation, see Ex. 5.1.10. This normalizing equation describes a property of the motion, a so-called solution invariant. Differential equations with invariants will be discussed in Sec. 5.3. 

In the 4D equation, space and time coordinates are inextricably entangled. Its mathematical solutions are hypercomplex functions, or quaternions, without a commutative algebra. Quaternions are used to describe what is known as spherical rotation, also called the spin function, and the complex rotation known as the Lorentz transformation of special relativity. 

The demonstration [1] that both Lorentz transformation and quantum spin are the direct result of quaternion rotation implies that aU relativistic and quantum structures must have the same symmetry. This is the basis of cosmic self-similarity. The observation that the golden mean features in many known self-similarities confirms that r represents a fundamental characteristic of space-time curvature. The existence of antimatter and the implied CPT symmetry of space-time favors... 

---