Quaternion Lorentz Transformations

In special relativity, a Lorentz transformation is a real linear transformation of the spacetime coordinates t, x, y, z that preserves the Minkowski invariant or spacetime interval^[1] $${\displaystyle c^{2}\,t^{2}-x^{2}-y^{2}-z^{2}}$$ Using the 4x4 metric tensor ${\displaystyle \eta }$, this is $${\displaystyle X^{T}\eta \,X={\begin{bmatrix}c\,t&x&y&z\end{bmatrix}}\;{\begin{bmatrix}1&0&0&0\\0&-1&0&0\\0&0&-1&0\\0&0&0&-1\\\end{bmatrix}}\;{\begin{bmatrix}c\,t\\x\\y\\z\\\end{bmatrix}}}$$ Here ${\displaystyle X^{T}}$ is the matrix transpose of ${\displaystyle X}$.

One way to do Lorentz transformations is to let ${\displaystyle X'=A\,X}$^[2][3], where ${\displaystyle A}$ is a 4x4 real matrix that makes $${\displaystyle c^{2}\,t'^{2}-x'^{2}-y'^{2}-z'^{2}=c^{2}\,t^{2}-x^{2}-y^{2}-z^{2}}$$ This is so if ${\displaystyle A^{T}\eta \,A=\eta }$^[4][5][6].

Another way to do Lorentz transformations is to let the spacetime coordinates be represented by a 2x2 hermitian matrix^[7][8]

$${\displaystyle X={\begin{bmatrix}c\,t+z&x-i\,y\\x+i\,y&c\,t-z\end{bmatrix}}}$$ The determinant of ${\displaystyle X}$ is its Minkowski invariant. Let A be a 2x2 matrix with determinant 1 and let ${\displaystyle A^{\dagger }}$ be the hermitian conjugate of A (the complex conjugate of the transpose of A). Then ${\displaystyle X'=A^{\dagger }X\,A}$^[9][10][11] has the same determinant as ${\displaystyle X}$ since the determinant of a product is the product of the determinants. Also, ${\displaystyle X'}$ is hermitian since the hermitian conjugate of a product is the product of the hermitian conjugates in reverse order and since ${\displaystyle X=X^{\dagger }}$. So this is a Lorentz transformation.

The method we will discuss in this article is Lorentz transformations using the complex quaternions. This method is equivalent to the method using 2x2 matrices. We will discuss this later. The complex quaternions have the advantages of being more transparent and simpler to work with.

Definition

The complex quaternions have the form^[12] ${\displaystyle {\textbf {Q}}=a+b\,{\textbf {I}}+c\,{\textbf {J}}+d\,{\textbf {K}}}$  for complex a, b, c, and d. The quaternion basis elements I, J, and K satisfy

$${\displaystyle {\textbf {I}}\;{\textbf {I}}={\textbf {J}}\;{\textbf {J}}={\textbf {K}}\;{\textbf {K}}={\textbf {I}}\;{\textbf {J}}\;{\textbf {K}}=-1}$$ 

From these, using associativity, it follows that $${\displaystyle {\textbf {I}}\;{\textbf {J}}=-{\textbf {J}}\;{\textbf {I}}={\textbf {K}}\quad \;{\textbf {J}}\;{\textbf {K}}=-{\textbf {K}}\;{\textbf {J}}={\textbf {I}}\quad \;{\textbf {K}}\;{\textbf {I}}=-{\textbf {I}}\;{\textbf {K}}={\textbf {J}}\quad }$$ 

The real quaternions can be used to do spatial rotations,^[13] but not to do Lorentz transformations with a boost. But if a, b, c, and d are allowed to be complex, they can.^[14][15]

Minkowski quaternions

A Minkowski quaternion, adopting the convention of P. A. M. Dirac,^[16] has the form:^[17]

$${\displaystyle {\textbf {X}}=t\,+i\,x\,{\textbf {I}}+i\,y\,{\textbf {J}}\,+i\,z\,{\textbf {K}}}$$ 

Here ${\displaystyle i}$  is the square root of -1 and c=1 henceforth.

The reason for this is that its norm is the Minkowski invariant ${\displaystyle t^{2}-x^{2}-y^{2}-z^{2}}$ . The norm is defined as^[18]

$${\displaystyle \mathbf {N} (a+b\,\mathbf {I} +c\,\mathbf {J} +d\,\mathbf {K} )=a^{2}+b^{2}+c^{2}+d^{2}}$$ 

and has the important property that the norm of a product is the product of the norms, making the complex quaternions a composition algebra.^[19] A real non-zero quaternion always has real positive norm, but a non-zero complex quaternion can have a norm with any complex value, including zero.

As discussed in biquaternions, a biquaternion ${\displaystyle {\textbf {Q}}=a\,+b\,{\textbf {I}}+c\,{\textbf {J}}\,+d\,{\textbf {K}}}$  with complex ${\displaystyle a,b,c,d}$  has two kinds of conjugates:

• The biconjugate is

$${\displaystyle Q^{*}=a-b\mathbf {I} -b\mathbf {J} -d\mathbf {K} \!\ ,}$$ 

• The complex conjugate is

$${\displaystyle {\bar {Q}}={\bar {a}}+{\bar {b}}\mathbf {I} +{\bar {c}}\mathbf {J} +{\bar {d}}\mathbf {K} }$$  The overbar ${\displaystyle {\bar {}}}$  denotes complex conjugation. The biconjugate of a product is the product of the biconjugates in reverse order.^[20] The operations denoted by the asterisk superscript and by the overbar are defined as in biquaternions.

For a Minkowski quaternion

$${\displaystyle {\overline {\mathbf {X} }}^{*}=\mathbf {X} }$$ 

As can be seen from the definition, this is a necessary and sufficient condition for a complex quaternion ${\displaystyle \mathbf {X} }$  to be a Minkowski quaternion.

Also needed is the identity $${\displaystyle \mathbf {X} \,\mathbf {X} ^{*}=\mathbf {X} \,{\overline {\mathbf {X} }}=t^{2}-x^{2}-y^{2}-z^{2}}$$ 

Lorentz transformations

General form

Let ${\displaystyle \mathbf {Q} }$  be a complex quaternion of norm one and let ${\displaystyle \mathbf {X} }$  be a Minkowski quaternion. Then^[21]

$${\displaystyle \mathbf {X} '={\overline {\mathbf {Q} }}^{*}\,{\textbf {X}}\,{\textbf {Q}}={\overline {({\overline {\mathbf {Q} }}^{*}\,{\textbf {X}}\,{\textbf {Q}}}})^{*}}$$ 

Because of the second equality, ${\displaystyle \mathbf {X} '}$  is a Minkowski quaternion. And if ${\displaystyle \mathbf {Q} }$  has norm 1, then the norm of ${\displaystyle \mathbf {X} '}$  equals the norm of ${\displaystyle \mathbf {X} }$ . This is then a linear transformation of one Minkowski quaternion into another Minkowski quaternion having the same Minkowsky invariant. Therefore it is a Lorentz transformation.

Spatial rotations and Lorentz boosts

Let ${\displaystyle \mathbf {n} }$  be the real direction quaternion

$${\displaystyle \mathbf {n} =n_{1}\,\mathbf {I} +n_{2}\,\mathbf {J} +n_{3}\,\mathbf {K} \;{\text{ such that }}\,n_{1}^{2}+n_{3}^{2}+n_{3}^{2}=1}$$ 

Spatial rotations are represented by^[22]

$${\displaystyle \mathbf {R} =\exp {\big (}-{\frac {\theta }{2}}\,\mathbf {n} {\big )}=\cos {\big (}{\frac {\theta }{2}}{\big )}\mathbf {-} \mathbf {n} \,\sin {\big (}{\frac {\theta }{2}}{\big )}}$$ 

${\displaystyle \mathbf {R} }$  has norm 1 and so represents a Lorentz transformation. It does not change the scalar part and so must be a rotation.

Boosts are represented by^[23]

$${\displaystyle \mathbf {B} =\exp {\big (}-i\,{\frac {\alpha }{2}}\,\mathbf {n} {\big )}={\text{cosh}}({\frac {\alpha }{2}}{\big )}-i\,\mathbf {n} \,{\text{sinh}}({\frac {\alpha }{2}}{\big )}}$$ 

${\displaystyle \mathbf {B} }$  also has norm 1 and so also represents a Lorentz transformation. It does not change the vector part normal to ${\displaystyle \mathbf {n} }$  and so must be a Lorentz boost.

Expressing the exponentials as circular or hyperbolic trigonometric functions is basically De Moivre's formula.

It is immediately seen that ${\displaystyle \mathbf {B} }$  and ${\displaystyle \mathbf {R} }$  have the conjugate and norm properties

$${\displaystyle R\,R^{*}=1\quad R={\bar {R}}\quad \,N(\mathbf {R} )=1}$$ 

$${\displaystyle B={\bar {B}}^{*}\quad \,B^{*}={\bar {B}}\quad \,B\,B^{*}=1\quad B\,{\bar {B}}=1\quad N(\mathbf {B} )=1}$$ 

Here ${\displaystyle N(\mathbf {R} )}$  and ${\displaystyle N(\mathbf {B} )}$  are the respective norms of ${\displaystyle R}$  and ${\displaystyle B}$ . If a complex quaternion has one of these sets of conjugate and norm properties, it must have the corresponding form given. Also note that ${\displaystyle \mathbf {R} \,\mathbf {R} }$  has the same form as ${\displaystyle \mathbf {R} }$  except that ${\displaystyle \theta /2}$  is replaced by ${\displaystyle \theta }$  and that ${\displaystyle \mathbf {B} \,\mathbf {B} }$  has the same form as ${\displaystyle \mathbf {B} }$  except that ${\displaystyle \alpha /2}$  is replaced by ${\displaystyle \alpha }$ . Useful identities for representing a Lorentz transformation as a boost followed by a rotation or vice versa are

$${\displaystyle (R\,B)({\overline {R\,B}})=R^{2}\quad \,(B\,R)({\overline {B\,R}})^{*}=B^{2}}$$ 

The general spatial rotations and Lorentz boosts can be worked out by letting ${\displaystyle \mathbf {X} =t+i\,\,\mathbf {r} }$  where ${\displaystyle \mathbf {r} =x\,\mathbf {I} +y\,\mathbf {J} +z\,\mathbf {K} }$  and then repeatedly using the identity for the product of vectors^[24]

$${\displaystyle \mathbf {n} \,\mathbf {r} =-(\mathbf {n} ,\mathbf {r} )+\mathbf {n} \,\mathbf {x} \,\mathbf {r} }$$ 

$${\displaystyle \mathbf {r} \,\mathbf {n} =-(\mathbf {n} ,\mathbf {r} )-\mathbf {n} \,\mathbf {x} \,\mathbf {r} }$$ 

$${\displaystyle \mathbf {n} \,\mathbf {r} \,\mathbf {n} =-\mathbf {n} \,(\mathbf {n} ,\mathbf {r} )-\mathbf {n} \,\mathbf {x} (\mathbf {n} \,\mathbf {x} \,\mathbf {r} )}$$ 

Here ${\displaystyle (\mathbf {n} ,\mathbf {r} )}$  is the scalar product of ${\displaystyle \mathbf {n} }$  and ${\displaystyle \mathbf {r} }$  and ${\displaystyle \mathbf {n} \,\mathbf {x} \,\mathbf {r} }$  is their cross product.

Examples

Let ${\displaystyle \mathbf {n} =\mathbf {I} }$ . Then the boost ${\displaystyle \mathbf {B} }$  in the x direction gives the familiar coordinate transformations:^[25] $${\displaystyle t'={\text{cosh}}(\alpha )\,t-{\text{sinh}}(\alpha )\,x}$$  $${\displaystyle x'={\text{cosh}}(\alpha )\,x-{\text{sinh}}(\alpha )\,t\quad y'=y\quad z'=z}$$ 

Now let ${\displaystyle \mathbf {n} =\mathbf {K} }$ . The spatial rotation ${\displaystyle \mathbf {R} }$  is then a rotation about the z axis and gives the again familiar coordinate transformations:^[26]

$${\displaystyle x'=x\,\cos(\theta )-y\,\sin(\theta )}$$ 

$${\displaystyle y'=x\,\sin(\theta )+y\,\cos(\theta )}$$ 

$${\displaystyle t'=t\quad z'=z}$$ 

2x2 matrices

By a simple identification, we show that Lorentz transformations using complex quaternions are equivalent to Lorentz transformations using 2x2 matrices. The complex quaternions have the advantages of being more transparent and simpler to work with.

The quaternion basis elements ${\displaystyle \mathbf {I} ,\,\mathbf {J} ,\,\mathbf {K} }$  can be represented as the 2x2 matrices ${\displaystyle -i\,\sigma _{x},\,-i\,\sigma _{y},\,-i\,\sigma _{z}}$ , respectively.^[27] Here the ${\displaystyle \sigma _{i}}$  are the 2x2 Pauli spin matrices. These have the same multiplication table. This representation is not unique. For instance, without changing the multiplication table, the sign of any two can be reversed, or the ${\displaystyle \sigma _{i}}$  can be cyclically permuted, or a similarity transformation can be done so that the ${\displaystyle \sigma _{i}}$  are replaced by ${\displaystyle S^{-1}\,\sigma _{i}\,S}$ .

Everything that follows is by simple replacement of ${\displaystyle \mathbf {I} ,\,\mathbf {J} ,\,\mathbf {K} }$  by ${\displaystyle -i\,\sigma _{x},\,-i\,\sigma _{y},\,-i\,\sigma _{z}}$ . Except for X, lower case letters q, r, b, and ${\displaystyle \sigma _{i}}$  are used for 2x2 matrices.

The Minkowski 2x2 matrix then has the form^[7][28] $${\displaystyle X=t+x\,\sigma _{x}+y\,\sigma _{y}+z\,\sigma _{z}\,=\,{\begin{pmatrix}t+z&x-i\,y\\x+i\,y&t-z\end{pmatrix}}}$$ 

Let an arbitrary 2x2 matrix have the form ${\displaystyle q=a+b\,\sigma _{x}+c\,\sigma _{y}+d\,\sigma _{z}}$ , where a, b, c, and d are complex.

• The analog of the biconjugate is ${\displaystyle q^{*}=a-b\,\mathbf {\sigma } _{x}-c\,\mathbf {\sigma } _{y}-d\,\mathbf {\sigma } _{z}\!\ ,}$ 
• The analog of the complex conjugate is ${\displaystyle {\bar {q}}={\bar {a}}-{\bar {b}}\,\mathbf {\sigma } _{x}-{\bar {c}}\,\mathbf {\sigma } _{y}-{\bar {d}}\,\mathbf {\sigma } _{z}}$ 
• The analog of the biconjugate of the complex conjugate is the hermitean conjugate (conjugate transpose) since the ${\displaystyle \sigma _{i}}$  are hermitean 2x2 matrices:

$${\displaystyle {\bar {q}}^{*}=q^{\dagger }={\bar {a}}+{\bar {b}}\,\mathbf {\sigma } _{x}+{\bar {c}}\,\mathbf {\sigma } _{y}+{\bar {d}}\,\mathbf {\sigma } _{z}}$$ 

• The analog of the norm is ${\displaystyle N(q)=a^{2}-b^{2}-c^{2}-d^{2}}$ . This is also its determinant ${\displaystyle {\begin{vmatrix}a+d&b-i\,c\\b+i\,c&a-d\end{vmatrix}}}$ 
• The Lorentz transformation is^[9][29][30] ${\displaystyle X'={\bar {q}}^{*}\,X\,q=q^{\dagger }\,X\,q\,\,}$  for a 2x2 matrix q that has norm 1 (determinant 1).

A direction can be represented as ${\displaystyle \mathbf {n} \cdot \mathbf {\sigma } =n_{1}\,\sigma _{x}+n_{2}\,\sigma _{y}+n_{3}\,\sigma _{z}}$  where ${\displaystyle n_{1}^{2}+n_{2}^{2}+n_{3}^{2}=1}$ 

The spatial rotation is^[31] ${\displaystyle r=\exp {\big (}i\,{\frac {\theta }{2}}\,\mathbf {n} \cdot \mathbf {\sigma } {\big )}}$  so ${\displaystyle {\bar {r}}^{*}\equiv r^{\dagger }=\exp {\big (}-i\,{\frac {\theta }{2}}\,\mathbf {n} \cdot \mathbf {\sigma } {\big )}}$ 

The Lorentz boost is^[32] ${\displaystyle b=\exp {\big (}-\,{\frac {\alpha }{2}}\,\mathbf {\mathbf {n} } \cdot \mathbf {\sigma } {\big )}}$  so ${\displaystyle {\bar {b}}^{*}\equiv b^{\dagger }=\exp {\big (}-\,{\frac {\alpha }{2}}\,\mathbf {n} \cdot \mathbf {\sigma } {\big )}}$ 

See also

• Biquaternion
• Quaternion
• Lorentz transformation
• Spacetime algebra

References

1. Streater, R. F.; Wightman, A. S. (1964). PCT, Spin and Statistics, and All That. Princeton and Oxford: Princeton University Press. p. 9. ISBN 0-691-07062-8.
2. Streater 1964, p. 9.
3. "Relativistic Covariance and Kinematics" (PDF).
4. Streater 1964, p. 9.
5. Tsamparlis, Michael (2019). Special Relativity. Undergraduate Lecture Notes in Physics. Springer. p. 555. ISBN 978-3-030-27347-7.
6. Jackson, John (1998). Classical Electrodynamics Third Edition. John Wiley & Sons, Inc. p. 544. ISBN 0-471-30932-X.
7. Carvajal-Gámez, B. E.; Guerrero-Moreno, I. J.; López-Bonilla, J. (2021). "Quaternions, 2x2 complex matrices and Lorentz transformations" (PDF). p. 4.
8. Köhler, Wolfgang (2024). "Matrix Representation of Special Relativity". p. 3.
9. Ryder, Lewis H. (1996). Quantum Field Theory Second Edition. Cambridge New York: Cambridge University Press. p. 34. ISBN 0-521-47242-3.
10. Carvajal-Gámez 2021, p. 2.
11. Köhler 2024, p. 3.
12. Stillwell, John (2010). Mathematics and Its History Third Edition. Undergraduate Texts in Mathematics. New York Dordrecht Heidelberg London: Springer. p. 447. ISBN 978-1-4419-6053-5.
13. Kuipers, Jack B (1999). Quaternions and Rotation Sequences. pp. 127–138.
14. Shah, Alam M; Sabar, Bauk (June 2011). "Quaternion Lorentz Transformation". Physics Essays. 24 (2): 158–162.
15. Synge, J. L. (1972). "Quaternions, Lorentz Transformations, and the Conway-Dirac-Eddington Matrices" (PDF).
16. Dirac, P. A. M. (November 1945). "Application of Quaternions to Lorentz Transformations". Proceedings of the Royal Irish Academy. Section A: Mathematical and Physical Sciences. 50(1944/1945). Royal Irish Academy: 261–270.
17. Carvajal-Gámez, B. E.; Guerrero-Moreno, I. J.; López-Bonilla, J. (2021). "Quaternions, 2x2 complex matrices and Lorentz transformations" (PDF). p. 4.
18. Kudinoor, Arjun; Suryanarayanan, Aswath; Maturana, Mateo (2021). "Quaternion Algebras" (PDF). p. 2.
19. Conway, John H; Smith, Derek A (2003). On Quaternions and Octonions. Boca Raton, Florida: CRC Press. ISBN 978-1-56881-134-5.
20. Alam, Md. Shah; Bauk, Saber (2011). "Quaternion Lorentz transformation". Physics Essays. 24 (2): 158–162.
21. Carvajal-Gámez, B. E.; Guerrero-Moreno, I. J.; López-Bonilla, J. (2014). "Quaternions, 2x2 complex matrices and Lorentz transformations" (PDF). p. 4.
22. Berry, Thomas; Visser, Matt (2021). "Lorentz boosts and Wigner rotations : self-adjoint complexified quaternions". p. 6.
23. Berry 2021, p. 10.
24. Viro, Oleg (2021). "Lecture 5. Quaternions" (PDF). p. 2.
25. Benacquista, Matthew J.; Romanoa, Joseph D. (2017). Classical Mechanics. Undergraduate Lecture Notes in Physics. Springer Nature. p. 376. ISBN 978-3-319-68780-3.
26. Benacquista 2017, p. 375.
27. Stillwell, John (2010). Mathematics and Its History Third Edition. Undergraduate Texts in Mathematics. New York Dordrecht Heidelberg London: Springer. p. 426. ISBN 978-1-4419-6053-5.
28. Köhler, Wolfgang (2024). "Matrix Representation of Special Relativity". p. 3.
29. Carvajal-Gámez 2021, p. 2.
30. Köhler 2024, p. 3.
31. Berkeley Physics 221 AB Notes 36 (1997). "Lorentz Transformations in Quantum Mechanics and the Covariance of the Dirac Equation" (PDF). p. 12.
32. Berkeley Physics 221 AB Notes 36 1997, p. 12.