Explicit Form for the Most General Lorentz Transformation Revisited

Abstract

Explicit formulae for the $4\times 4$ Lorentz transformation matrices corresponding to a pure boost and a pure three-dimensional rotation are very well known. Significantly less well known is the explicit formula for a general Lorentz transformation with arbitrary non-zero boost and rotation parameters. We revisit this more general formula by presenting two different derivations. The first derivation (which is somewhat simpler than previous ones appearing in the literature) evaluates the exponential of a $4\times 4$ real matrix A, where A is a product of the diagonal matrix $\mathrm{diag}(+1,-1,-1,-1)$ and an arbitrary $4\times 4$ real antisymmetric matrix. The formula for $\exp A$ depends only on the eigenvalues of A and makes use of the Lagrange interpolating polynomial. The second derivation exploits the observation that the spinor product ${\eta }^{†}{\overline{\sigma }}^{\mu }\chi$ transforms as a Lorentz four-vector, where $\chi$ and $\eta$ are two-component spinors. The advantage of the latter derivation is that the corresponding formula for a general Lorentz transformation $\Lambda$ reduces to the computation of the trace of a product of $2\times 2$ matrices. Both computations are shown to yield equivalent expressions for $\Lambda$.

1. Introduction

In the theory of special relativity, space and time are combined into Minkowski spacetime (e.g., see Ref. [1]). Two different inertial reference frames (with coinciding origins fixed) are related through a Lorentz transformation. Equivalently, consider a four-vector, $\mathit{x}=(x^0;\overrightarrow{\mathit{x}})$, with squared-length ${\parallel \mathit{x}\parallel }^2\equiv {\eta }_{\mu \nu }{x}^{\mu }{x}^{\nu }={\left(x^0\right)}^2-{\left|\overrightarrow{\mathit{x}}\right|}^2$ (with an implied double sum over the repeated indices $\mu ,\nu \in \{0,1,2,3\}$), where ${\eta }_{\mu \nu }=\mathrm{diag}(+1,-1,-1,-1)$ is the Minkowski spacetime metric. One can also define the Lorentz transformation $\Lambda$ as a symmetry transformation of a four-vector, ${\mathit{x}}^{\prime }=\Lambda \mathit{x}$, that preserves the length of $\mathit{x}$. Since the length of a four-vector is a scalar quantity and thus invariant under a Lorentz transformation, it follows that ${\eta }_{\alpha \beta }={{\Lambda }^{\mu }}_{\alpha }{{\Lambda }^{\nu }}_{\beta }{\eta }_{\mu \nu }$, which serves as the general definition of the $4\times 4$ Lorentz transformation matrix [cf. Equations (30)–(32)]. Moreover, this same equation implies that ${\eta }_{\mu \nu }$ is an invariant tensor. Indeed, the Lorentz transformations (along with spacetime translations) are the maximally allowed symmetry transformations of Minkowski spacetime in which the spacetime metric is left invariant (e.g., see Ref. [2]).

Consider two inertial reference frames with coinciding origins, where one reference frame is moving with respect to the other with three-vector velocity $\overrightarrow{\mathit{v}}$. The corresponding Lorentz transformation is called a Lorentz boost. The boost parameters are defined by the components of the three-vector $\overrightarrow{\mathit{\zeta }}\equiv (\overrightarrow{\mathit{v}}/v){\tanh }^{-1}(v/c)$, where $v\equiv |\overrightarrow{\mathit{v}}|$ and c is the speed of light. However, this is not the most general Lorentz transformation. For example, let R be an arbitrary $3\times 3$ orthogonal matrix of unit determinant, i.e., a proper rotation matrix parametrized by the components of the three-vector $\overrightarrow{\mathit{\theta }}\equiv \theta \widehat{\mathit{n}}$ (such that $\theta$ is the angle of rotation, counterclockwise, about a fixed axis that lies along the unit vector $\widehat{\mathit{n}}$). Then, the transformation $x^{\prime 0}=x^0$ and ${\overrightarrow{\mathit{x}}}^{\prime }=R\overrightarrow{\mathit{x}}$ is also a Lorentz transformation as it leaves the Minkowski spacetime metric invariant. The corresponding matrix representations of the general Lorentz boost and three-dimensional rotation are quite well known [see Equations (22) and (26), respectively] and are reviewed in Section 2.

A more general Lorentz transformation matrix, which shall henceforth be denoted by $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})$, corresponds to a simultaneous boost and rotation. As shown in Section 3, $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})$ can be expressed as the exponential of a $4\times 4$ matrix,

$$\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})=\exp \left(\begin{array}{cccc}0& \phantom{-}{\zeta }^1& \phantom{-}{\zeta }^2& \phantom{-}{\zeta }^3\\ {\zeta }^1& \phantom{-}0& -{\theta }^3& \phantom{-}{\theta }^2\\ {\zeta }^2& \phantom{-}{\theta }^3& \phantom{-}0& -{\theta }^1\\ {\zeta }^3& -{\theta }^2& \phantom{-}{\theta }^1& \phantom{-}0\end{array}\right).$$

(1)

In contrast to $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathbf{0}})$ and $\Lambda (\overrightarrow{\mathbf{0}},\overrightarrow{\mathit{\theta }})$, which correspond to a Lorentz boost matrix and a three-dimensional rotation, respectively, an explicit form for $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})$ is much less well known.

The first published formula for $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})$ appeared in Ref. [3]. Subsequent derivations have also been given in Refs. [4,5,6]. These derivations are based on the Cayley–Hamilton theorem of linear algebra (e.g., see Section 8.4 of Ref. [7]), which asserts that any $n\times n$ matrix A satisfies its own characteristic equation, $p\left(x\right)=\det (A-x{\mathit{I}}_n)=0$, where ${\mathit{I}}_n$ is the $n\times n$ identity matrix and $p\left(x\right)$ is an nth-order polynomial whose roots are the eigenvalues of A. That is, $p\left(A\right)$ is equal to the zero matrix. It follows that for any integer $k\ge n$, the matrix $A^k$ can be expressed as a linear combination of ${\mathit{I}}_n$, A, $A^2,\dots A^{k-1}$. In particular,

$$\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})\equiv \exp A=\sum _{k=0}^{\infty }{\displaystyle \frac{A^k}{k!}}=c_0{\mathit{I}}_4+c_{1}A+c_2{A}^2+c_3{A}^3,$$

(2)

where each of the coefficients $c_k$ is an infinite series whose terms depend on the eigenvalues of A. Note that by setting either $\overrightarrow{\mathit{\theta }}=\overrightarrow{\mathbf{0}}$ or $\overrightarrow{\mathit{\zeta }}=\overrightarrow{\mathbf{0}}$ in Equation (1), one can easily compute the resulting matrix exponential to derive the well-known expressions given in Equations (22) and (26), respectively. In contrast, if both the boost vector and the rotation vector are non-zero, then the corresponding computation of the matrix exponential, which is carried out in Refs. [3,4], is significantly more difficult. In Ref. [5], this computation is performed by showing that a Lorentz transformation matrix g exists such that the $4\times 4$ matrix $\tilde{A}\equiv gA{g}^{-1}$ in block matrix form is made up of very simple $2\times 2$ matrix blocks. The exponential $\exp \tilde{A}$ is then easy to evaluate directly via its Taylor series to obtain the coefficients $c_k$, and

$$\exp A=g^{-1}\left(\exp \tilde{A}\right)g=g^{-1}\left[c_0{\mathit{I}}_4+c_1\tilde{A}+c_2{\tilde{A}}^2+c_3{\tilde{A}}^3\right]g=c_0{\mathit{I}}_4+c_{1}A+c_2{A}^2+c_3{A}^3.$$

(3)

Finally, Ref. [6] derives a system of four linear equations for the coefficients $c_k$ in Equation (2), whose solution provides the desired expression for $\exp A$.

In this paper, we shall provide a somewhat simpler and more straightforward evaluation of $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})$ as compared to the derivations given in Refs. [3,4,5,6]. In Section 2, we first exhibit the explicit forms for the general Lorentz boost and the three-dimensional rotation matrices of Minkowski spacetime, which correspond to special cases of the more general $4\times 4$ Lorentz transformation matrix, as noted above. In Section 3, an expression for the most general Lorentz transformation is then derived. Indeed, it is sufficient to consider the set of all Lorentz transformations that are continuously connected to the identity, known as the proper orthochronous Lorentz transformations (e.g., see Ref. [1]). The matrix representation of any element of this latter set can be expressed in the form given by Equation (1), as discussed below Equation (40). In Section 4, we explicitly evaluate Equation (1) for arbitrary boost and rotation parameters. We then demonstrate that an alternative derivation of $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})$ can be given that only involves the manipulation of $2\times 2$ matrices, by making use of two-component spinors. In particular, we show in Section 5 that the most general proper orthochronous Lorentz transformation matrix can be expressed as a trace of the product of four $2\times 2$ matrices, which is then explicitly evaluated. Both methods for computing $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})$ are carried out in pedagogical detail. In Section 6, we check that both computations yield the same expression for $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})$. Final remarks are presented in Section 7, and some related discussions are relegated to the appendices.

2. Lorentz Transformations—Special Cases

In a first encounter with special relativity, a student learns how the spacetime coordinates change between two inertial reference frames K and $K^{\prime }$. If the spacetime coordinates with respect to K are $(ct;x,y,z)$ and the spacetime coordinates with respect to $K^{\prime }$ are $(c{t}^{\prime };x^{\prime },y^{\prime },z^{\prime })$, where $K^{\prime }$ is moving relative to K with velocity $\overrightarrow{\mathit{v}}=v\widehat{\mathit{x}}$ in the x direction, then

$$\begin{array}{ccc}\hfill c{t}^{\prime }& =& \gamma (ct-\beta x),\hfill \end{array}$$

(4)

$$\begin{array}{ccc}\hfill x^{\prime }& =& \gamma (x-\beta ct),\hfill \end{array}$$

(5)

$$\begin{array}{ccc}\hfill y^{\prime }& =& y,\hfill \end{array}$$

(6)

$$\begin{array}{ccc}\hfill z^{\prime }& =& z,\hfill \end{array}$$

(7)

where c is the speed of light and

$$\beta \equiv {\displaystyle \frac{v}{c}},\gamma \equiv {(1-{\beta }^2)}^{-1/2}.$$

(8)

It is straightforward to generalize the above results for an arbitrary velocity $\overrightarrow{\mathit{v}}$ by writing

$$\overrightarrow{\mathit{x}}={\overrightarrow{\mathit{x}}}_{\Vert }+{\overrightarrow{\mathit{x}}}_{\perp },$$

(9)

where ${\overrightarrow{\mathit{x}}}_{\Vert }$ is the projection of $\overrightarrow{\mathit{x}}$ along the direction of $\overrightarrow{\mathit{v}}\equiv c\overrightarrow{\mathit{\beta }}$, and ${\overrightarrow{\mathit{x}}}_{\perp }$ is perpendicular to $\overrightarrow{\mathit{v}}$ (so that ${\overrightarrow{\mathit{x}}}_{\Vert }·{\overrightarrow{\mathit{x}}}_{\perp }=0$). The definition of ${\overrightarrow{\mathit{x}}}_{\Vert }$ implies that

$$\begin{array}{c}\hfill {\displaystyle \frac{{\overrightarrow{\mathit{x}}}_{\Vert }}{|{\overrightarrow{\mathit{x}}}_{\Vert }|}}={\displaystyle \frac{\overrightarrow{\mathit{\beta }}}{\beta }},\end{array}$$

(10)

where $\beta \equiv \left|\overrightarrow{\mathit{\beta }}\right|$. Note that 0 ≤ β < 1 for any particle of non-zero mass.

In light of Equation (10), Equations (4)–(7) are equivalent to

$$\begin{array}{ccc}\hfill c{t}^{\prime }& =& \gamma (ct-\overrightarrow{\mathit{\beta }}·{\overrightarrow{\mathit{x}}}_{\Vert }),\hfill \end{array}$$

(11)

$$\begin{array}{ccc}\hfill {\displaystyle {\overrightarrow{\mathit{x}}}_{\Vert }^{\prime }}& =& \gamma ({\overrightarrow{\mathit{x}}}_{\Vert }-\overrightarrow{\mathit{\beta }}ct),\hfill \end{array}$$

(12)

$$\begin{array}{ccc}\hfill {\displaystyle {\overrightarrow{\mathit{x}}}_{\perp }^{\prime }}& =& {\overrightarrow{\mathit{x}}}_{\perp },\hfill \end{array}$$

(13)

where $\gamma \equiv (1-|\overrightarrow{\mathit{\beta }}{{|}^2)}^{-1/2}$. Note that $1\le \gamma <\infty$ for any particle of non-zero mass. More explicitly,

$$\overrightarrow{{\mathit{x}}_{\Vert }}=\left({\displaystyle \frac{\overrightarrow{\mathit{\beta }}·\overrightarrow{\mathit{x}}}{{\beta }^2}}\right)\overrightarrow{\mathit{\beta }},{\overrightarrow{\mathit{x}}}_{\perp }=\overrightarrow{\mathit{x}}-\left({\displaystyle \frac{\overrightarrow{\mathit{\beta }}·\overrightarrow{\mathit{x}}}{{\beta }^2}}\right)\overrightarrow{\mathit{\beta }},$$

(14)

which yield $\overrightarrow{\mathit{\beta }}·{\overrightarrow{\mathit{x}}}_{\Vert }=\overrightarrow{\mathit{\beta }}·\overrightarrow{\mathit{x}}$ and $\overrightarrow{\mathit{\beta }}·{\overrightarrow{\mathit{x}}}_{\perp }$ = 0 as required. Inserting the expressions given in Equation (14) back into Equations (11)–(13), we end up with the well-known result (e.g., see Equation (11.19) of Ref. [8]):

$$c{t}^{\prime }=\gamma (ct-\overrightarrow{\mathit{\beta }}·\overrightarrow{\mathit{x}}),$$

(15)

$${\overrightarrow{\mathit{x}}}^{\prime }=\overrightarrow{\mathit{x}}+{\displaystyle \frac{(\gamma -1)}{{\beta }^2}}(\overrightarrow{\mathit{\beta }}·\overrightarrow{\mathit{x}})\overrightarrow{\mathit{\beta }}-\gamma \overrightarrow{\mathit{\beta }}ct.$$

(16)

Following Equation (11.20) of Ref. [8], it is convenient to introduce the boost parameter $\zeta$ (also called the rapidity),

$$\gamma =\cosh \zeta ,\gamma \beta =\sinh \zeta ,$$

(17)

since the definitions of $\beta$ and $\gamma$ are consistent with the relation ${\cosh }^2\zeta -{\sinh }^2\zeta =1$. In particular, note that $0\le \zeta <\infty$. We then define the boost vector $\overrightarrow{\mathit{\zeta }}$ to be the vector of magnitude $\zeta$ that points in the direction of $\overrightarrow{\mathit{\beta }}$. Since Equation (17) yields $\beta =\tanh \zeta$, it follows that

$$\overrightarrow{\mathit{\zeta }}\equiv {\displaystyle \frac{\overrightarrow{\mathit{\beta }}}{\beta }}{\tanh }^{-1}\beta .$$

(18)

In terms of the boost vector $\overrightarrow{\mathit{\zeta }}$ and its magnitude $\zeta \equiv |\overrightarrow{\mathit{\zeta }}|$, Equations (15) and (16) yield

$$\begin{array}{ccc}\hfill c{t}^{\prime }& =& ct\cosh \zeta -{\displaystyle \frac{\overrightarrow{\mathit{\zeta }}·\overrightarrow{\mathit{x}}}{\zeta }}\sinh \zeta ,\hfill \end{array}$$

(19)

$$\begin{array}{ccc}\hfill {\overrightarrow{\mathit{x}}}^{\prime }& =& \overrightarrow{\mathit{x}}-{\displaystyle \frac{\overrightarrow{\mathit{\zeta }}}{\zeta }}\left[ct\sinh \zeta -{\displaystyle \frac{\overrightarrow{\mathit{\zeta }}·\overrightarrow{\mathit{x}}}{\zeta }}(\cosh \zeta -1)\right].\hfill \end{array}$$

(20)

Before proceeding, it is instructive to distinguish between active and passive Lorentz transformations (e.g., see Ref. [1]). The Lorentz transformation discussed above is a passive transformation, since the reference frame K (specified by the coordinate axes) is transformed into $K^{\prime }$, while leaving the observer fixed. Equivalently, one can consider an active transformation, in which the coordinate axes are held fixed while the location of the observer in spacetime is boosted using the inverse of the transformation specified by Equations (19) and (20). That is, a spacetime point of the observer located at $(ct;\overrightarrow{\mathit{x}})$ is transformed by the boost to $(c{t}^{\prime };{\overrightarrow{\mathit{x}}}^{\prime })$ using Equations (19) and (20) with $\overrightarrow{\mathit{\zeta }}$ replaced by $-\overrightarrow{\mathit{\zeta }}$. Henceforth, all Lorentz transformations treated in this paper will correspond to active transformations.

The transformation that boosts the spacetime point $(ct;\overrightarrow{\mathit{x}})$ to $(c{t}^{\prime };{\overrightarrow{\mathit{x}}}^{\prime })$ is given by

$$\left(\begin{array}{c}c{t}^{\prime }\\ x^{\prime i}\end{array}\right)=\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathbf{0}})\left(\begin{array}{c}ct\\ x^j\end{array}\right),$$

(21)

where the $4\times 4$ matrix $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathbf{0}})$ can be written in block matrix form as

$$\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathbf{0}})=\left(\begin{array}{cc}\cosh \zeta & {\displaystyle \frac{{\zeta }^j}{\zeta }\sinh \zeta }\\ {\displaystyle \frac{{\zeta }^i}{\zeta }\sinh \zeta \phantom{-}}& {\displaystyle {\delta }^{ij}+\frac{{\zeta }^i{\zeta }^j}{|\overrightarrow{\mathit{\zeta }}{|}^2}(\cosh \zeta -1)}\end{array}\right),$$

(22)

after converting Equations (19) and (20) to an active transformation via $\overrightarrow{\mathit{\zeta }}\to -\overrightarrow{\mathit{\zeta }}$. In Equation (22),

$${\delta }^{ij}=\left\{\begin{array}{cc}1,\hfill & \mathrm{if}i=j,\hfill \\ 0,\hfill & \mathrm{if}i\ne j,\hfill \end{array}\right.$$

(23)

where the Latin indices $i,j\in \{1,2,3\}$ refer to the x, y, and z components of the three-vector $\overrightarrow{\mathit{\zeta }}$, and there is an implicit sum over the repeated index j on the right hand side of Equation (21).

The matrix $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathbf{0}})$ is sometimes inaccurately called the Lorentz transformation matrix. In fact, this matrix represents a special type of Lorentz transformation consisting of a boost without rotation [the latter is indicated by the second argument of $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathbf{0}})$]. Furthermore, note that $\Lambda (\overrightarrow{\mathbf{0}},\overrightarrow{\mathbf{0}})={\mathit{I}}_4$ is the $4\times 4$ identity matrix. Any Lorentz transformation of the form $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathbf{0}})$ can be continuously deformed into the identity matrix by continuously shrinking the vector $\overrightarrow{\mathit{\zeta }}$ to the zero vector.

Another example of a Lorentz transformation is a three-dimensional proper rotation of the vector $\overrightarrow{\mathit{x}}$ into the vector ${\overrightarrow{\mathit{x}}}^{\prime }=R\overrightarrow{\mathit{x}}$ by an angle $\theta$, counterclockwise, about a fixed axis $\widehat{\mathit{n}}$, where R is a $3\times 3$ orthogonal matrix of unit determinant, and the time coordinate is not transformed. In this notation, $\widehat{\mathit{n}}=(n^1,n^2,n^3)$ is a unit vector (i.e., $\widehat{\mathit{n}}·\widehat{\mathit{n}}=1$). It is then convenient to define a three-vector quantity called the rotation vector,

$$\overrightarrow{\mathit{\theta }}\equiv \theta \widehat{\mathit{n}},$$

(24)

where $0\le \theta \le \pi$. In the case of a proper three-dimensional rotation, the transformation of the spacetime point $(ct;\overrightarrow{\mathit{x}})$ to $(c{t}^{\prime };{\overrightarrow{\mathit{x}}}^{\prime })$ is given by

$$\left(\begin{array}{c}c{t}^{\prime }\\ x^{\prime i}\end{array}\right)=\Lambda (\overrightarrow{\mathbf{0}},\overrightarrow{\mathit{\theta }})\left(\begin{array}{c}ct\\ x^j\end{array}\right),$$

(25)

where the $4\times 4$ matrix $\Lambda (\overrightarrow{\mathbf{0}},\overrightarrow{\mathit{\theta }})$ can be written in block matrix form as

$$\Lambda (\overrightarrow{\mathbf{0}},\overrightarrow{\mathit{\theta }})=\left(\begin{array}{cc}\phantom{-}1\phantom{-}& 0^j\\ \phantom{-}{0}^i\phantom{-}& R^{ij}(\widehat{\mathit{n}},\theta )\end{array}\right),$$

(26)

where $0^j$ [$0^i$] are the components of the zero row [column] vector (with i, $j\in \{1,2,3\}$), and

$$R^{ij}(\widehat{\mathit{n}},\theta )={\delta }^{ij}\cos \theta +n^i{n}^j(1-\cos \theta )-{ϵ}^{ijk}{n}^k\sin \theta .$$

(27)

In Equation (27), the Levi–Civita symbol is defined by ${ϵ}^{ijk}=+1$ [$-1$] when $ijk$ is an even [odd] permutation of 123, and ${ϵ}^{ijk}=0$ if any two of the indices coincide. Equation (27) is known as Rodrigues’ rotation formula (e.g., see Refs. [9,10]). A clever proof of this formula is provided in Appendix A.

3. General Lorentz Transformations

Consider a four-vector $v^{\mu }=(v^0;\overrightarrow{\mathit{v}})$. Under an active Lorentz transformation, the spacetime components of the four-vector $v^{\mu }$ transform as

$$v^{\prime \mu }={{\Lambda }^{\mu }}_{\alpha }{v}^{\alpha },$$

(28)

where the Greek indices such as $\mu$, $\alpha \in \{0,1,2,3\}$, and there is an implied sum over any repeated upper/lower index pair. The quantities ${{\Lambda }^{\mu }}_{\alpha }$ can be viewed as the elements of a $4\times 4$ real matrix, where $\mu$ labels the row and $\alpha$ labels the column. In special relativity, the metric tensor (in a rectangular coordinate system) is given by the diagonal matrix.

$${\eta }_{\mu \nu }=\mathrm{diag}(+1;-1,-1,-1),$$

(29)

where the so-called mostly minus convention for the metric tensor has been chosen.

To construct a Lorentz-invariant scalar quantity that is unchanged under a Lorentz transformation, one only needs to combine tensors in such a way that all upper/lower index pairs are summed over and no unsummed indices remain. For example,

$${\eta }_{\mu \nu }{v}^{\prime \mu }{v}^{\prime \nu }={\eta }_{\alpha \beta }{v}^{\alpha }{v}^{\beta }.$$

(30)

Using Equations (28) and (30), it follows that

$$({\eta }_{\mu \nu }{{\Lambda }^{\mu }}_{\alpha }{{\Lambda }^{\nu }}_{\beta }-{\eta }_{\alpha \beta })v^{\alpha }{v}^{\beta }=0.$$

(31)

Since the four-vector v is arbitrary, it follows that

$${{\Lambda }^{\mu }}_{\alpha }{\eta }_{\mu \nu }{{\Lambda }^{\nu }}_{\beta }={\eta }_{\alpha \beta }.$$

(32)

Equation (32) defines the most general Lorentz transformation matrix $\Lambda$. The set of all such $4\times 4$ Lorentz transformation matrices is a group (under matrix multiplication) and is denoted by O$(1,3)$. Here, the notation $(1,3)$ refers to the number of plus and minus signs in the metric tensor ${\eta }_{\mu \nu }$ [cf. Equation (29)]. In particular, O$(1,3)$ is a Lie group, appropriately called the Lorentz group (e.g., see Refs. [1,2,10]).

After taking the determinant of both sides of Equation (32), one obtains ${(\det \Lambda )}^2=1$. Hence,

$$\det \Lambda =\pm 1.$$

(33)

Moreover, by setting $\alpha =\beta =0$ in Equation (32) and summing over $\mu$ and $\nu$, one obtains

$${\left({{\Lambda }^0}_0\right)}^2=1+{\left({{\Lambda }^1}_0\right)}^2+{\left({{\Lambda }^2}_0\right)}^2+{\left({{\Lambda }^3}_0\right)}^2⟹{\left({{\Lambda }^0}_0\right)}^2\ge 1.$$

(34)

The Lie group SO$(1,3)$ is the group of proper Lorentz transformation matrices that satisfy $\det \Lambda =+1$. The elements of the subgroup of SO$(1,3)$ that also satisfy ${{\Lambda }^0}_0\ge +1$ are continuously connected to the identity element [the $4\times 4$ identity matrix, denoted by ${\mathit{I}}_4$] and constitute the set of proper orthochronous Lorentz transformations, which is often denoted by SO₀$(1,3)$. Three examples of Lorentz transformations that are not continuously connected to the identity are as follows

$$\begin{array}{c}\hfill {\Lambda }_P=\mathrm{diag}(1,-1,-1,-1),{\Lambda }_T=\mathrm{diag}(-1,1,1,1),{\Lambda }_P{\Lambda }_T=\mathrm{diag}(-1,-1,-1,-1).\end{array}$$

(35)

In particular, there is no way to continuously change the parameters of a proper orthochronous Lorentz transformation to yield a Lorentz transformation with $\det \Lambda =-1$ and/or ${{\Lambda }^0}_0\le -1$ in light of Equations (33) and (34).

The complete list of Lorentz transformations is then given by

$$\left\{\Lambda ,{\Lambda }_P\Lambda ,{\Lambda }_T\Lambda ,{\Lambda }_P{\Lambda }_T\Lambda |\Lambda \in {\mathrm{SO}}_0(1,3)\right\}.$$

(36)

Consequently, to determine the explicit form of the most general Lorentz transformation, it suffices to consider the explicit form of the most general proper orthochronous Lorentz transformation.

The Lie algebra of the Lorentz group is obtained by considering an infinitesimal Lorentz transformation,

$$\Lambda ={\mathit{I}}_4+A,$$

(37)

where A is a $4\times 4$ matrix that depends on infinitesimal Lorentz group parameters. In particular, terms that are quadratic or of higher order in the infinitesimal group parameters are neglected. Inserting Equation (37) into Equation (32), and denoting $G=\mathrm{diag}(+1,-1,-1,-1)$ to be the $4\times 4$ matrix whose matrix elements are ${\eta }_{\mu \nu }$, it follows that

$$\left({\mathit{I}}_4+A^{\mathsf{T}}\right)G({\mathit{I}}_4+A)=G.$$

(38)

Keeping only terms up to linear order in the infinitesimal group parameters, we conclude that $A^{\mathsf{T}}G=-GA$ or equivalent (since G is a diagonal matrix),

$${\left(GA\right)}^{\mathsf{T}}=-GA.$$

(39)

That is, $GA$ is a $4\times 4$ real antisymmetric matrix. Hence, the Lie algebra of the Lorentz group, henceforth denoted by $\mathfrak{so}(1,3)$, consists of all $4\times 4$ real matrices A such that $GA$ is an antisymmetric matrix.

To construct a proper orthochronous Lorentz transformation, one can choose any $4\times 4$ real matrix A that satisfies Equation (39), and consider a large positive integer n such that $A/n$ is an infinitesimal quantity. Then, a proper orthochronous Lorentz transformation is obtained by applying a sequence of n infinitesimal Lorentz transformations in the limit as $n\to \infty$,

$$\Lambda =\underset{n\to \infty }{\lim }{\left({\mathit{I}}_4+{\displaystyle \frac{A}{n}}\right)}^n=\exp A.$$

(40)

Note that $\Lambda$ is continuously connected to the identity matrix since one can continuously deform A into the zero matrix. Hence, it follows that $\Lambda \in {\mathrm{SO}}_0(1,3)$. However, one can make a stronger statement: the exponential map, $\exp :\mathfrak{so}(1,3)\to {\mathrm{SO}}_0(1,3)$, is surjective. A proof of this result can be found in Section 6.3 of Ref. [10]. That is, the set of all proper orthochronous Lorentz transformations consists of matrices of the form $\exp A$, where $GA$ is a $4\times 4$ real antisymmetric matrix.

Let us first reconsider the two special cases examined in Section 2. A matrix representation of an infinitesimal boost is obtained by evaluating Equation (22) to leading order in $\zeta$,

$$\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathbf{0}})\simeq \left(\begin{array}{cc}\phantom{|}1\phantom{|}& {\zeta }^j\\ \phantom{|}{\zeta }^i\phantom{|}& {\delta }^{ij}\end{array}\right)={\mathit{I}}_4-i\overrightarrow{\mathit{\zeta }}·\overrightarrow{\mathit{k}}+\mathcal{O}\left(\right|\overrightarrow{\mathit{\zeta }}{|}^2),$$

(41)

where the three matrices $\overrightarrow{\mathit{k}}=(k^1,k^2,k^3)$ are defined by

$$k^1=i\left(\begin{array}{cccc}0& \phantom{-}1& \phantom{-}0& \phantom{-}0\\ 1& \phantom{-}0& \phantom{-}0& \phantom{-}0\\ 0& \phantom{-}0& \phantom{-}0& \phantom{-}0\\ 0& \phantom{-}0& \phantom{-}0& \phantom{-}0\end{array}\right),k^2=i\left(\begin{array}{cccc}0& \phantom{-}0& \phantom{-}1& \phantom{-}0\\ 0& \phantom{-}0& \phantom{-}0& \phantom{-}0\\ 1& \phantom{-}0& \phantom{-}0& \phantom{-}0\\ 0& \phantom{-}0& \phantom{-}0& \phantom{-}0\end{array}\right),k^3=i\left(\begin{array}{cccc}0& \phantom{-}0& \phantom{-}0& \phantom{-}1\\ 0& \phantom{-}0& \phantom{-}0& \phantom{-}0\\ 0& \phantom{-}0& \phantom{-}0& \phantom{-}0\\ 1& \phantom{-}0& \phantom{-}0& \phantom{-}0\end{array}\right).$$

(42)

Similarly, a matrix representation of an infinitesimal rotation is obtained by evaluating Equations (26) and (27) to leading order in $\theta$ (with ${\theta }^k\equiv \theta n^k$),

$$\Lambda (\overrightarrow{\mathbf{0}},\overrightarrow{\mathit{\theta }})\simeq \left(\begin{array}{cc}\phantom{|}1\phantom{|}& 0^j\\ \phantom{\left|\right|}{0}^i\phantom{|}& {\delta }^{ij}-{ϵ}^{ijk}{\theta }^k\end{array}\right)={\mathit{I}}_4-i\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{s}}+\mathcal{O}\left(\right|\overrightarrow{\mathit{\theta }}{|}^2),$$

(43)

where the three matrices $\overrightarrow{\mathit{s}}=(s^1,s^2,s^3)$ are defined by

$$s^1=i\left(\begin{array}{cccc}0& \phantom{-}0& \phantom{-}0& \phantom{-}0\\ 0& \phantom{-}0& \phantom{-}0& \phantom{-}0\\ 0& \phantom{-}0& \phantom{-}0& -1\\ 0& \phantom{-}0& \phantom{-}1& \phantom{-}0\end{array}\right),s^2=i\left(\begin{array}{cccc}0& \phantom{-}0& \phantom{-}0& \phantom{-}0\\ 0& \phantom{-}0& \phantom{-}0& \phantom{-}1\\ 0& \phantom{-}0& \phantom{-}0& \phantom{-}0\\ 0& -1& \phantom{-}0& \phantom{-}0\end{array}\right),s^3=i\left(\begin{array}{cccc}0& \phantom{-}0& \phantom{-}0& \phantom{-}0\\ 0& \phantom{-}0& -1& \phantom{-}0\\ 0& \phantom{-}1& \phantom{-}0& \phantom{-}0\\ 0& \phantom{-}0& \phantom{-}0& \phantom{-}0\end{array}\right).$$

(44)

The six matrices $\overrightarrow{\mathit{k}}=(k^1,k^2,k^3)$ and $\overrightarrow{\mathit{s}}=(s^1,s^2,s^3)$ satisfy the following commutation relations:

$$[s^i,s^j]=i{ϵ}^{ij\ell }{s}^{\ell },[k^i,k^j]=-i{ϵ}^{ij\ell }{s}^{\ell },[s^i,k^j]=i{ϵ}^{ij\ell }{k}^{\ell },$$

(45)

where $i,j,\ell \in \{1,2,3\}$ and there is an implicit sum over the repeated index ℓ.

Using Equations (41) and (43), it follows that the matrix representation of a general infinitesimal Lorentz transformation, to linear order in the boost and rotation parameters, is given by

$$\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})\simeq \Lambda (\overrightarrow{\mathbf{0}},\overrightarrow{\mathit{\theta }})\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathbf{0}})\simeq \left(\begin{array}{cc}\phantom{-}1\phantom{-}& {\zeta }^j\\ \phantom{-}{\zeta }^i\phantom{-}& {\delta }^{ij}-{ϵ}^{ijk}{\theta }^k\end{array}\right)\simeq {\mathit{I}}_4-i\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{s}}-i\overrightarrow{\mathit{\zeta }}·\overrightarrow{\mathit{k}}.$$

(46)

Note that we also could have written $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})\simeq \Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathbf{0}})\Lambda (\overrightarrow{\mathbf{0}},\overrightarrow{\mathit{\theta }})$ in Equation (46), since the infinitesimal Lorentz transformations commute at linear order.

In light of the remarks below Equation (40), one can conclude that the most general proper orthochronous Lorentz transformation matrix $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})$ is a $4\times 4$ matrix given by

$$\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})=\exp \left(-i\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{s}}-i\overrightarrow{\mathit{\zeta }}·\overrightarrow{\mathit{k}}\right).$$

(47)

Here, we follow the conventions of Refs. [11,12]. Note that in the notation of Ref. [8], $\overrightarrow{\mathit{k}}=i\overrightarrow{\mathit{K}}$ and $\overrightarrow{\mathit{s}}=i\overrightarrow{\mathit{S}}$, where the $4\times 4$ matrix representations of $\overrightarrow{\mathit{K}}$ and $\overrightarrow{\mathit{S}}$ are given in Equation (11.91) of Ref. [8] and yield $\Lambda =\exp (\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{S}}+\overrightarrow{\mathit{\zeta }}·\overrightarrow{\mathit{K}})$. The argument of exp differs by an overall sign with Equation (11.93) of Ref. [8], where a passive Lorentz transformation is employed, which amounts to replacing $\{\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }}\}$ with $\{-\overrightarrow{\mathit{\zeta }},-\overrightarrow{\mathit{\theta }}\}$.

Equations (42), (44) and (47) imply that

$$\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})=\exp A,\mathrm{where}A\equiv -i\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{s}}-i\overrightarrow{\mathit{\zeta }}·\overrightarrow{\mathit{k}}=\left(\begin{array}{cccc}0& \phantom{-}{\zeta }^1& \phantom{-}{\zeta }^2& \phantom{-}{\zeta }^3\\ {\zeta }^1& \phantom{-}0& -{\theta }^3& \phantom{-}{\theta }^2\\ {\zeta }^2& \phantom{-}{\theta }^3& \phantom{-}0& -{\theta }^1\\ {\zeta }^3& -{\theta }^2& \phantom{-}{\theta }^1& \phantom{-}0\end{array}\right).$$

(48)

As anticipated in Equation (39), $GA$ is the most general $4\times 4$ real antisymmetric matrix, which depends on six real independent parameters ${\zeta }^i$ and ${\theta }^i$ ($i\in \{1,2,3\}$). The $\{s^i,k^i\}$ satisfy the commutation relations [Equation (45)] of the real Lie algebra $\mathfrak{so}(1,3)$. As indicated in Equation (48), A is a real linear combination of the six Lie algebra generators $\{-i{s}^i,-i{k}^i\}$ and thus constitutes a general element of $\mathfrak{so}(1,3)$. In Section 4, we provide an explicit computation of $\exp A$.

Before moving on, we shall introduce a useful notation that assembles the matrices $\{s^i,k^i\}$ into six independent non-zero matrices, $s^{\rho \lambda }=-s^{\lambda \rho }$ (with $\lambda$, $\rho \in \{0,1,2,3\}$) such that

$$s^{\ell }\equiv \frac{1}{2}{ϵ}^{ij\ell }{s}^{ij},k^i\equiv s^{0i}=-s^{i0}.$$

(49)

Note that Equation (49) implies that $s^{ij}={ϵ}^{ij\ell }{s}^{\ell }$, so that the six independent matrices can be taken to be $s^{ij}$$(i<j)$ and $s^{0i}$ ($i,j\in \{1,2,3\}$). The matrix elements of the $s^{\rho \lambda }$ are given by

$${{\left(s^{\rho \lambda }\right)}^{\mu }}_{\nu }=i\left({\eta }^{\rho \mu }{\delta }_{\nu }^{\lambda }-{\eta }^{\lambda \mu }{\delta }_{\nu }^{\rho }\right),$$

(50)

where $\mu$ indicates the row and $\nu$ indicates the column of the corresponding matrix.

Using Equation (49), one can check that Equation (50) is equivalent to Equations (42) and (44). In addition, the $\mathfrak{so}(1,3)$ commutation relations exhibited in Equation (45) now take the following form:

$$[s^{\alpha \beta },s^{\rho \lambda }]=i({\eta }^{\beta \rho }{s}^{\alpha \lambda }-{\eta }^{\alpha \rho }{s}^{\beta \lambda }-{\eta }^{\beta \lambda }{s}^{\alpha \rho }+{\eta }^{\alpha \lambda }{s}^{\beta \rho }).$$

(51)

One can also assemble the boost and rotation parameters $\{{\zeta }^i,{\theta }^i\}$ into a second rank antisymmetric tensor ${\theta }^{\alpha \beta }$ by defining

$${\theta }^{ij}\equiv {ϵ}^{ij\ell }{\theta }^{\ell },{\theta }^{i0}=-{\theta }^{0i}\equiv {\zeta }^i.$$

(52)

With this new notation, Equation (47) can be rewritten as

$$\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})=\exp \left(-\frac{1}{2}i{\theta }_{\rho \lambda }{s}^{\rho \lambda }\right),$$

(53)

where ${\theta }_{\rho \lambda }\equiv {\eta }_{\rho \alpha }{\eta }_{\lambda \beta }{\theta }^{\alpha \beta }$. As usual, there is an implied sum over each pair of repeated upper/lower indices.

4. An Explicit Evaluation of $\mathsf{\Lambda }(\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})=\mathsf{e}\mathsf{x}\mathsf{p} \mathit{A}$

We now proceed to evaluate $\exp A$, where A is given by Equation (48). First, we compute the characteristic polynomial of A,

$$p\left(x\right)\equiv \det (A-x{\mathit{I}}_4)=x^4+\left(|\overrightarrow{\mathit{\theta }}{|}^2-|\overrightarrow{\mathit{\zeta }}{|}^2\right)x^2-{(\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }})}^2\equiv (x^2+a^2)(x^2-b^2),$$

(54)

where

$$a^2{b}^2={(\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }})}^2,a^2-b^2=|\overrightarrow{\mathit{\theta }}{|}^2-|\overrightarrow{\mathit{\zeta }}{|}^2.$$

(55)

Solving Equation (55) for $a^2$ and $b^2$ yields

$$\begin{array}{ccc}\hfill a^2& =& {\displaystyle \frac{1}{2}}[|\overrightarrow{\mathit{\theta }}{|}^2-|\overrightarrow{\mathit{\zeta }}{|}^2+\sqrt{{\left(|\overrightarrow{\mathit{\theta }}{|}^2-|\overrightarrow{\mathit{\zeta }}{|}^2\right)}^2+4{(\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }})}^2}],\hfill \end{array}$$

(56)

$$\begin{array}{ccc}\hfill b^2& =& {\displaystyle \frac{1}{2}}[|\overrightarrow{\mathit{\zeta }}{|}^2-|\overrightarrow{\mathit{\theta }}{|}^2+\sqrt{{\left(|\overrightarrow{\mathit{\theta }}{|}^2-|\overrightarrow{\mathit{\zeta }}{|}^2\right)}^2+4{(\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }})}^2}].\hfill \end{array}$$

(57)

Note that $a^2\ge 0$ and $b^2\ge 0$ so that $a,b\in \mathbb{R}$. The individual signs of a and b are not determined, but none of the results that follow depend on these signs. The eigenvalues of A, denoted by ${\lambda }_i$ ($i=1,2,3,4$), are the solutions of $p\left(x\right)=0$, which are given by

$${\lambda }_i=ia,-ia,b,-b.$$

(58)

If $ab\ne 0$, then the four eigenvalues of A [Equation (58)] are distinct, which implies that A is a diagonalizable matrix.

To evaluate $\exp A$ for a diagonalizable matrix A, we shall make use of a formula [Equation (60) below] that is based on the Lagrange interpolating polynomial. Consider an $n\times n$ matrix A with n eigenvalues of which m are distinct and denoted by ${\lambda }_i$ ($i=1,2,\dots ,m$). The matrix A is diagonalizable if and only if (e.g., see Section 8.3.2 of Ref. [7] or Section 7.11 of Ref. [13])

$$\prod _{i=1}^m(A-{\lambda }_i{\mathit{I}}_n)=0,$$

(59)

where ${\mathit{I}}_n$ is the $n\times n$ identify matrix. Note that if $m=n$ (i.e., all n eigenvalues are distinct), then A is diagonalizable, since in this case Equation (59) is automatically satisfied due to the Cayley–Hamilton theorem.

Any function of a diagonalizable matrix A is given by the following formula (e.g., see Equations (7.3.6) and (7.3.11) of Ref. [13], Equation (5.4.17) of Ref. [14], or Chapter V, Section 2.2 of Ref. [15]):

$$f\left(A\right)=\sum _{i=1}^{m}f\left({\lambda }_i\right)K_i,\mathrm{where}{K}_i=\prod _{\begin{array}{c}j=1\\ j\ne i\end{array}}^m{\displaystyle \frac{A-{\lambda }_j{\mathit{I}}_n}{{\lambda }_i-{\lambda }_j}},$$

(60)

if $2\le m\le n$ and $K_1\equiv {\mathit{I}}_n$ if $m=1$. Note that ${\sum }_{i=1}^m{K}_i={\mathit{I}}_n$.

Applying Equation (60) to $f\left(A\right)=\exp A$, where A is given by Equation (48), under the assumption that $ab\ne 0$, it follows that

$$\begin{array}{c}\hfill \begin{array}{ccc}\exp A\hfill & =\hfill & e^{ia}\left({\displaystyle \frac{A+ia{\mathit{I}}_4}{2ia}}\right)\left({\displaystyle \frac{A-b{\mathit{I}}_4}{ia-b}}\right)\left({\displaystyle \frac{A+b{\mathit{I}}_4}{ia+b}}\right)+e^{-ia}\left({\displaystyle \frac{A-ia{\mathit{I}}_4}{-2ia}}\right)\left({\displaystyle \frac{A-b{\mathit{I}}_4}{-ia-b}}\right)\left({\displaystyle \frac{A+b{\mathit{I}}_4}{-ia+b}}\right)\hfill \\ & & +e^b\left({\displaystyle \frac{A-ia{\mathit{I}}_4}{b-ia}}\right)\left({\displaystyle \frac{A+ia{\mathit{I}}_4}{b+ia}}\right)\left({\displaystyle \frac{A+b{\mathit{I}}_4}{2b}}\right)+e^{-b}\left({\displaystyle \frac{A-ia{\mathit{I}}_4}{-b-ia}}\right)\left({\displaystyle \frac{A+ia{\mathit{I}}_4}{-b+ia}}\right)\left({\displaystyle \frac{A-b{\mathit{I}}_4}{-2b}}\right).\hfill \end{array}\end{array}$$

(61)

Simplifying the above expression yields

$$\exp A={\displaystyle \frac{1}{a^2+b^2}}\left\{(b^2{\mathit{I}}_4-A^2)\left(A{\displaystyle \frac{\sin a}{a}}+{\mathit{I}}_4\cos a\right)+(A^2+a^2{\mathit{I}}_4)\left(A{\displaystyle \frac{\sinh b}{b}}+{\mathit{I}}_4\cosh b\right)\right\}.$$

(62)

Combining terms, we end up with

$$\exp \left(\begin{array}{cccc}0& \phantom{-}{\zeta }^1& \phantom{-}{\zeta }^2& \phantom{-}{\zeta }^3\\ {\zeta }^1& \phantom{-}0& -{\theta }^3& \phantom{-}{\theta }^2\\ {\zeta }^2& \phantom{-}{\theta }^3& \phantom{-}0& -{\theta }^1\\ {\zeta }^3& -{\theta }^2& \phantom{-}{\theta }^1& \phantom{-}0\end{array}\right)={\displaystyle \frac{1}{a^2+b^2}}\left\{f_0(a,b){\mathit{I}}_4+f_1(a,b)A+f_2(a,b)A^2+f_3(a,b)A^3\right\},$$

(63)

where a and b are defined in Equation (55) and

$$\begin{array}{ccc}\hfill f_0(a,b)& =& b^2\cos a+a^2\cosh b,f_1(a,b)={\displaystyle \frac{b^2}{a}}\sin a+{\displaystyle \frac{a^2}{b}}\sinh b,\hfill \end{array}$$

(64)

$$\begin{array}{ccc}\hfill f_2(a,b)& =& \cosh b-\cos a,f_3(a,b)={\displaystyle \frac{\sinh b}{b}}-{\displaystyle \frac{\sin a}{a}},\hfill \end{array}$$

(65)

in agreement with the results previously obtained in Refs. [3,4,5,6].

The matrix A and its powers can be conveniently written in block matrix form:

$$\begin{array}{ccc}\hfill A& =& \left(\begin{array}{cc}\phantom{-}0\phantom{-}& {\zeta }^j\\ \phantom{-}{\zeta }^i\phantom{-}& -{ϵ}^{ijk}{\theta }^k\end{array}\right),A^2=\left(\begin{array}{cc}|\overrightarrow{\mathit{\zeta }}{|}^2& {ϵ}^{jk\ell }{\zeta }^k{\theta }^{\ell }\\ \phantom{-}-{ϵ}^{ik\ell }{\zeta }^k{\theta }^{\ell }\phantom{-}& {\zeta }^i{\zeta }^j+{\theta }^i{\theta }^j-{\delta }^{ij}{\left|\overrightarrow{\mathit{\theta }}\right|}^2\end{array}\right),\hfill \end{array}$$

(66)

and

$$A^3=\left(\begin{array}{cc}0& \left(|\overrightarrow{\mathit{\zeta }}{|}^2-{\left|\overrightarrow{\mathit{\theta }}\right|}^2\right){\zeta }^j+(\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }}){\theta }^j\\ \phantom{-}\left(|\overrightarrow{\mathit{\zeta }}{|}^2-{\left|\overrightarrow{\mathit{\theta }}\right|}^2\right){\zeta }^i+(\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }}){\theta }^i\phantom{-}& ({ϵ}^{jk\ell }{\zeta }^i-{ϵ}^{ik\ell }{\zeta }^j){\zeta }^k{\theta }^{\ell }+{ϵ}^{ijk}{\theta }^k{\left|\overrightarrow{\mathit{\theta }}\right|}^2\end{array}\right).$$

(67)

The $ij$ element of $A^3$ can be simplified by noting that the $ij$ element of any $3\times 3$ antisymmetric matrix must be of the form ${ϵ}^{ijk}{C}^k$ (after summing over the repeated index k). Thus,

$$({ϵ}^{jk\ell }{\zeta }^i-{ϵ}^{ik\ell }{\zeta }^j){\zeta }^k{\theta }^{\ell }={ϵ}^{ijk}{C}^k.$$

(68)

Multiplying the above equation by ${ϵ}^{ijm}$ and summing over i and j yields

$$({\delta }^{i\ell }{\delta }^{km}-{\delta }^{ik}{\delta }^{\ell m}){\zeta }^i{\zeta }^k{\theta }^{\ell }-({\delta }^{jk}{\delta }^{\ell m}-{\delta }^{j\ell }{\delta }^{km}){\zeta }^j{\zeta }^k{\theta }^{\ell }=2{\delta }^{km}{C}^k.$$

(69)

It follows that $C^m=(\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }}){\zeta }^m-{\left|\overrightarrow{\mathit{\zeta }}\right|}^2{\theta }^m.$ That is, we have derived the identity

$$({ϵ}^{jk\ell }{\zeta }^i-{ϵ}^{ik\ell }{\zeta }^j){\zeta }^k{\theta }^{\ell }={ϵ}^{ijk}\left[(\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }}){\zeta }^k-{\left|\overrightarrow{\mathit{\zeta }}\right|}^2{\theta }^k\right].$$

(70)

Thus, the matrix $A^3$ [Equation (67)] can be rewritten in a more convenient form,

$$A^3=\left(\begin{array}{cc}0& \left(|\overrightarrow{\mathit{\zeta }}{|}^2-{\left|\overrightarrow{\mathit{\theta }}\right|}^2\right){\zeta }^j+(\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }}){\theta }^j\\ \phantom{-}\left(|\overrightarrow{\mathit{\zeta }}{|}^2-{\left|\overrightarrow{\mathit{\theta }}\right|}^2\right){\zeta }^i+(\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }}){\theta }^i\phantom{-}& {ϵ}^{ijk}\left[(\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }}){\zeta }^k-\left(|\overrightarrow{\mathit{\zeta }}{|}^2-{\left|\overrightarrow{\mathit{\theta }}\right|}^2\right){\theta }^k\right]\end{array}\right).$$

(71)

Consider separately the case of $ab=0$. The eigenvalues given in Equation (58) are no longer distinct. If $a=0$ and $b\ne 0$, then the matrix A is diagonalizable since A satisfies Equation (59), i.e., $A(A^2-b^2{\mathit{I}}_4)=0$. In particular, if $a=0$ then Equation (55) implies that $\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }}=0$ and $b^2=|\overrightarrow{\mathit{\zeta }}{|}^2-|\overrightarrow{\mathit{\theta }}{|}^2$. Plugging these results into Equations (66) and (71) yields $A^3-b^{2}A=0$. Consequently, one can make use of Equation (60) with $m=3$ to obtain

$$\begin{array}{c}\hfill \begin{array}{ccc}\exp A\hfill & =\hfill & \left({\displaystyle \frac{A-b{\mathit{I}}_4}{-b}}\right)\left({\displaystyle \frac{A+b{\mathit{I}}_4}{b}}\right)+e^b\left({\displaystyle \frac{A}{b}}\right)\left({\displaystyle \frac{A+b{\mathit{I}}_4}{2b}}\right)+e^{-b}\left({\displaystyle \frac{A}{-b}}\right)\left({\displaystyle \frac{A-b{\mathit{I}}_4}{-2b}}\right)\hfill \\ & =\hfill & {\displaystyle {\mathit{I}}_4+\frac{\sinh b}{b}A+\left({\displaystyle \frac{\cosh b-1}{b^2}}\right)A^2,\mathrm{for}a=0.}\hfill \end{array}\end{array}$$

(72)

One can check that Equation (72) coincides with the $a\to 0$ limit of Equations (63)–(65) after making use of $A^3=b^{2}A$.

Likewise, if $b=0$ and $a\ne 0$, then the matrix A is diagonalizable since A satisfies Equation (59), i.e., $A(A^2+a^2{\mathit{I}}_4)=0$. In particular, if $b=0$, then Equation (55) implies that $\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }}=0$ and $a^2=|\overrightarrow{\mathit{\theta }}{|}^2-|\overrightarrow{\mathit{\zeta }}{|}^2$. Plugging these results into Equations (66) and (71) yields $A^3+a^{2}A=0$. Consequently, one can make use of Equation (60) with $m=3$ to obtain

$$\begin{array}{c}\hfill \begin{array}{ccc}\exp A\hfill & =\hfill & \left({\displaystyle \frac{A-ia{\mathit{I}}_4}{-ia}}\right)\left({\displaystyle \frac{A+ia{\mathit{I}}_4}{ia}}\right)+e^{ia}\left({\displaystyle \frac{A}{ia}}\right)\left({\displaystyle \frac{A+ia{\mathit{I}}_4}{2ia}}\right)+e^{-ia}\left({\displaystyle \frac{A}{-ia}}\right)\left({\displaystyle \frac{A-ia{\mathit{I}}_4}{-2ia}}\right)\phantom{xx}\hfill \\ & =\hfill & {\displaystyle {\mathit{I}}_4+\frac{\sin a}{a}A+\left({\displaystyle \frac{1-\cos a}{a^2}}\right)A^2,\mathrm{for}b=0.}\hfill \end{array}\end{array}$$

(73)

One can check that Equation (73) coincides with the $b\to 0$ limit of Equations (63)–(65) after making use of $A^3=-a^{2}A$.

Finally, in the case of $a=b=0$, Equation (55) yields $\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }}=0$ and $|\overrightarrow{\mathit{\zeta }}{|}^2=|\overrightarrow{\mathit{\theta }}{|}^2$. Using Equation (71), it then follows that $A^3=0$. Thus, the Taylor series of the exponential terminates and one obtains

$$\exp A=1+A+\frac{1}{2}{A}^2,\mathrm{for}a=b=0.$$

(74)

Although one cannot directly employ Equation (60) in this final case (since A is no longer diagonalizable), one can still recover Equation (74) either by taking the $b\to 0$ limit of Equation (72) or the $a\to 0$ limit of Equation (73).

It is instructive to check the two limiting cases exhibited in Section 2. First, if $\overrightarrow{\mathit{\theta }}=\overrightarrow{\mathbf{0}}$, then $a=0$ and $b=|\overrightarrow{\mathit{\zeta }}|\equiv \zeta$. It then follows that

$$A=\left(\begin{array}{cc}0& {\zeta }^j\\ \phantom{-}{\zeta }^i\phantom{-}& {\mathbf{0}}^{ij}\end{array}\right),A^2=\left(\begin{array}{cc}|\overrightarrow{\mathit{\zeta }}{|}^2& \phantom{-}\overrightarrow{\mathbf{0}}\\ \phantom{|}\overrightarrow{\mathbf{0}}\phantom{|}& \phantom{-}{\zeta }^i{\zeta }^j\end{array}\right),$$

(75)

where ${\mathbf{0}}^{ij}$ is a $3\times 3$ matrix of zeros. Using Equations (72) and (75), we obtain

$$\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathbf{0}})=\left(\begin{array}{cc}\cosh \zeta & {\displaystyle \frac{{\zeta }^j}{\zeta }\sinh \zeta }\\ {\displaystyle \phantom{-}\frac{{\zeta }^i}{\zeta }\sinh \zeta \phantom{-}}& {\displaystyle {\delta }^{ij}+\frac{{\zeta }^i{\zeta }^j}{|\overrightarrow{\mathit{\zeta }}{|}^2}(\cosh \zeta -1)}\end{array}\right),$$

(76)

in agreement with Equation (22).

Second, if $\overrightarrow{\mathit{\zeta }}=\overrightarrow{\mathbf{0}}$, then $a=\left|\overrightarrow{\mathit{\theta }}\right|\equiv \theta$ and $b=0$. It follows that

$$A=\left(\begin{array}{cc}0& \overrightarrow{\mathbf{0}}\\ \phantom{|}\overrightarrow{\mathbf{0}}\phantom{|}& \phantom{|}-{ϵ}^{ijk}{\theta }^k\end{array}\right),A^2=\left(\begin{array}{cc}0& \overrightarrow{\mathbf{0}}\phantom{-}\\ \phantom{|}\overrightarrow{\mathbf{0}}\phantom{|}& \phantom{-}{\theta }^i{\theta }^j-{\delta }^{ij}{\left|\overrightarrow{\mathit{\theta }}\right|}^2\end{array}\right).$$

(77)

Using Equations (73) and (77), we end up with

$$\begin{array}{c}\hfill \Lambda (\overrightarrow{\mathbf{0}},\overrightarrow{\mathit{\theta }})=\left(\begin{array}{cc}\phantom{xx}1\phantom{xx}& \overrightarrow{\mathbf{0}}\phantom{|}\\ \phantom{xx}\overrightarrow{\mathbf{0}}\phantom{xx}& \phantom{|}{\delta }^{ij}\cos \theta +n^i{n}^j(1-\cos \theta )-{ϵ}^{ijk}{n}^k\sin \theta \end{array}\right),\end{array}$$

(78)

after identifying ${\theta }^i=\theta n^i$. We have thus recovered Equation (26) and Rodrigues’ rotation formula [Equation (27)].

A final limiting case of interest is the most general orthochronous Lorentz transformation in $2+1$ spacetime dimensions. In this case, we can choose $\overrightarrow{\mathit{\theta }}=\theta \widehat{\mathit{z}}$ and $\overrightarrow{\mathit{\zeta }}={\zeta }^1\widehat{\mathit{x}}+{\zeta }^2\widehat{\mathit{y}}$, which implies that $ab=0$ [cf. Equation (55)]. Without loss of generality, one can take $b=0$ and $a^2={\theta }^2-{\left|\overrightarrow{\mathit{\zeta }}\right|}^2$, where ${\theta }^2$ is the square of the rotation angle $\theta$ (in two space dimensions, there is no danger in confusing ${\theta }^2$ with the second component of the vector $\overrightarrow{\mathit{\theta }}=\theta \widehat{\mathit{z}}$). Hence, Equation (73) yields

$$\exp \left(\begin{array}{ccc}0& \phantom{-}{\zeta }^1& \phantom{-}{\zeta }^2\\ {\zeta }^1& \phantom{-}0& -\theta \\ {\zeta }^2& \phantom{-}\theta & \phantom{-}0\end{array}\right)={\mathit{I}}_3+\left({\displaystyle \frac{\sin \sqrt{{\theta }^2-{\left|\overrightarrow{\mathit{\zeta }}\right|}^2}}{\sqrt{{\theta }^2-{\left|\overrightarrow{\mathit{\zeta }}\right|}^2}}}\right)A+\left({\displaystyle \frac{1-\cos \sqrt{{\theta }^2-{\left|\overrightarrow{\mathit{\zeta }}\right|}^2}}{{\theta }^2-{\left|\overrightarrow{\mathit{\zeta }}\right|}^2}}\right)A^2,$$

(79)

where the $3\times 3$ matrices A and $A^2$ are given in block-diagonal form by

$$A=\left(\begin{array}{cc}\phantom{-}0\phantom{-}& {\zeta }^j\\ \phantom{-}{\zeta }^i\phantom{-}& -\theta {ϵ}^{ij}\end{array}\right),A^2=\left(\begin{array}{cc}|\overrightarrow{\mathit{\zeta }}{|}^2& -\theta {ϵ}^{kj}{\zeta }^k\\ \phantom{-}-\theta {ϵ}^{ik}{\zeta }^k\phantom{-}& {\zeta }^i{\zeta }^j-{\theta }^2{\delta }^{ij}\end{array}\right),$$

(80)

with i, $j\in \{1,2\}$ (and an implied sum over $k=1,2$), ${ϵ}^{12}=-{ϵ}^{21}=1$, and ${ϵ}^{11}={ϵ}^{22}=0$.

5. An Explicit Evaluation of ${{\mathsf{\Lambda }}^{\mathit{\mu }}}_{\mathit{\nu }}=\frac{\mathbf{1}}{\mathbf{2}}\mathsf{Tr}\left({\mathit{M}}^{\mathsf{†}}{\overline{\mathit{\sigma }}}^{\mathit{\mu }}\mathit{M}{\mathit{\sigma }}_{\mathit{\nu }}\right)$

In Section 3, we remarked that a general element of the Lie algebra $\mathfrak{so}(1,3)$ is a real linear combination of the six generators $\{-i{s}^i,-i{k}^i\}$. In particular, the matrix A defined in Equation (48) provides a four-dimensional matrix representation of $\mathfrak{so}(1,3)$. The corresponding $4\times 4$ matrix that represents a general element of the proper orthochronous Lorentz group, SO₀(1,3), is then obtained by exponentiation, $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})=\exp A$. In this section, we will take advantage of the existence of a two-dimensional matrix representation of $\mathfrak{so}(1,3)$. It is noteworthy that by exponentiating this two-dimensional representation, one obtains a two-dimensional matrix representation of the group of complex $2\times 2$ matrices with unit determinant, which defines the Lie group $\mathrm{SL}(2,\mathbb{C})$. Thus, the two-dimensional matrix representation of $\mathrm{SL}(2,\mathbb{C})$ provides representation matrices M [defined in Equation (81) below] for the elements of SO₀(1,3). However, in this case, the $2\times 2$ matrices M and $-M$ of $\mathrm{SL}(2,\mathbb{C})$ represent the same element of SO₀(1,3) [cf. Equation (91)].

For example, consider the general element of the two-dimensional representation of $\mathrm{SL}(2,\mathbb{C})$ that is given by

$$M=\exp \left(-\frac{1}{2}i\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\sigma }}-\frac{1}{2}\overrightarrow{\mathit{\zeta }}·\overrightarrow{\mathit{\sigma }}\right),$$

(81)

where $\overrightarrow{\mathit{\zeta }}$ and $\overrightarrow{\mathit{\theta }}$ are the boost and rotation vectors that parametrize an element of the proper orthochronous Lorentz group and $\overrightarrow{\mathit{\sigma }}=({\sigma }^1,{\sigma }^2,{\sigma }^3)$ are the three Pauli matrices assembled into a vector whose components are the $2\times 2$ matrices,

$${\sigma }^1=\left(\begin{array}{cc}0& \phantom{-}1\\ 1& \phantom{-}0\end{array}\right),{\sigma }^2=\left(\begin{array}{cc}0& -i\\ i& \phantom{-}0\end{array}\right),{\sigma }^3=\left(\begin{array}{cc}1& \phantom{-}0\\ 0& -1\end{array}\right).$$

(82)

It is convenient to define a fourth Pauli matrix, ${\sigma }^0={\mathit{I}}_2$, where ${\mathit{I}}_2$ is the $2\times 2$ identity matrix. We can then define the four Pauli matrices in a unified notation. Following the notation of Refs. [11,12], we define

$${\sigma }^{\mu }=({\mathit{I}}_2;\overrightarrow{\mathit{\sigma }}),{\overline{\sigma }}^{\mu }=({\mathit{I}}_2;-\overrightarrow{\mathit{\sigma }}),$$

(83)

where $\mu \in \{0,1,2,3\}$. Note that these sigma matrices have been defined with an upper (contravariant) index. They are related to sigma matrices with a lower (covariant) index in the usual way:

$${\sigma }_{\mu }={\eta }_{\mu \nu }{\sigma }^{\nu }=({\mathit{I}}_2;-\overrightarrow{\mathit{\sigma }}),{\overline{\sigma }}_{\mu }={\eta }_{\mu \nu }{\overline{\sigma }}^{\nu }=({\mathit{I}}_2;\overrightarrow{\mathit{\sigma }}).$$

(84)

However, the use of the spacetime indices $\mu$ and $\nu$ is slightly deceptive since the sigma matrices defined above are fixed matrices that do not change under a Lorentz transformation.

It is also convenient to introduce the set of $2\times 2$ matrices,

$${\sigma }^{\mu \nu }=-{\sigma }^{\nu \mu }\equiv \frac{1}{4}i\left({\sigma }^{\mu }{\overline{\sigma }}^{\nu }-{\sigma }^{\nu }{\overline{\sigma }}^{\mu }\right).$$

(85)

One can then rewrite Equation (81) in the following form that is reminiscent of Equation (53),

$$M=\exp \left(-\frac{1}{2}i{\theta }_{\mu \nu }{\sigma }^{\mu \nu }\right).$$

(86)

That is, the six independent $-i{\sigma }^{\mu \nu }$ matrices are generators of the Lie algebra of $\mathrm{SL}(2,\mathbb{C})$, henceforth denoted by $\mathfrak{sl}(2,\mathbb{C})$. It is straightforward to check that the $2\times 2$ matrices ${\sigma }^{\mu \nu }$ possess the same commutation relations as the $4\times 4$ matrices $s^{\mu \nu }$ [cf. Equation (51)], which establishes the isomorphism $\mathfrak{so}(1,3)\simeq \mathfrak{sl}(2,\mathbb{C})$.

Under an active Lorentz transformation, a two-component spinor ${\chi }_{\alpha }$ (where $\alpha \in \{1,2\}$) transforms as

$${\chi }_{\alpha }^{\prime }={M_{\alpha }}^{\beta }{\chi }_{\beta },\alpha ,\beta \in \{1,2\}.$$

(87)

Suppose that $\chi$ and $\eta$ are two-component spinors and consider the spinor product ${\eta }^{†}{\overline{\sigma }}^{\mu }\chi$. Under a Lorentz transformation,

$${\eta }^{†}{\overline{\sigma }}^{\mu }\chi ⟶{\left(M\eta \right)}^{†}{\overline{\sigma }}^{\mu }\left(M\chi \right)={\eta }^{†}\left(M^{†}{\overline{\sigma }}^{\mu }M\right)\chi .$$

(88)

We assert that the quantity ${\eta }^{†}{\overline{\sigma }}^{\mu }\chi$ transforms as a Lorentz four-vector,

$${\eta }^{†}{\overline{\sigma }}^{\mu }\chi ⟶{{\Lambda }^{\mu }}_{\nu }{\eta }^{†}{\overline{\sigma }}^{\nu }\chi .$$

(89)

The standard proof of this assertion based on the analysis of infinitesimal Lorentz transformations is given in Appendix B. (See also Appendix C, where the corresponding result is obtained by employing the four-component spinor formalism.) Equations (88) and (89) imply that the following identity must be satisfied:

$$M^{†}{\overline{\sigma }}^{\mu }M={{\Lambda }^{\mu }}_{\nu }{\overline{\sigma }}^{\nu }.$$

(90)

Multiplying Equation (90) on the right by ${\sigma }_{\rho }$ and using $\mathrm{Tr}\left({\overline{\sigma }}^{\nu }{\sigma }_{\rho }\right)=2{\delta }_{\rho }^{\nu }$, it follows that

$${{\Lambda }^{\mu }}_{\nu }=\frac{1}{2}\mathrm{Tr}\left(M^{†}{\overline{\sigma }}^{\mu }M{\sigma }_{\nu }\right).$$

(91)

It is now convenient to introduce the complex vector, $\overrightarrow{\mathit{z}}\equiv \overrightarrow{\mathit{\zeta }}+i\overrightarrow{\mathit{\theta }}$, and the associated quantity,

$$\Delta \equiv {\left(\overrightarrow{\mathit{z}}·\overrightarrow{\mathit{z}}\right)}^{1/2}={\left(|\overrightarrow{\mathit{\zeta }}{|}^2-{\left|\overrightarrow{\mathit{\theta }}\right|}^2+2i\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }}\right)}^{1/2}.$$

(92)

One can now evaluate the matrix exponential $M=\exp \left(-\frac{1}{2}\overrightarrow{\mathit{z}}·\overrightarrow{\mathit{\sigma }}\right)$ [cf. Equation (81)] by making use of Equation (60) if $\Delta \ne 0$. The corresponding eigenvalues of $-\frac{1}{2}\overrightarrow{\mathit{z}}·\overrightarrow{\mathit{\sigma }}$ are $\lambda =\pm \frac{1}{2}\Delta$. Hence,

$$\begin{array}{c}\hfill \begin{array}{ccc}M=\exp \left(-\frac{1}{2}\overrightarrow{\mathit{z}}·\overrightarrow{\mathit{\sigma }}\right)\hfill & =\hfill & e^{\Delta /2}\left({\displaystyle \frac{{\mathit{I}}_2\Delta -\overrightarrow{\mathit{z}}·\overrightarrow{\mathit{\sigma }}}{2\Delta }}\right)+e^{-\Delta /2}\left({\displaystyle \frac{{\mathit{I}}_2\Delta +\overrightarrow{\mathit{z}}·\overrightarrow{\mathit{\sigma }}}{2\Delta }}\right)\hfill \\ & =\hfill & {\displaystyle {\mathit{I}}_2\cosh \left(\frac{1}{2}\Delta \right)-\overrightarrow{\mathit{z}}·\overrightarrow{\mathit{\sigma }}\frac{\sinh \left(\frac{1}{2}\Delta \right)}{\Delta }.}\hfill \end{array}\end{array}$$

(93)

Note that the limit as $\Delta \to 0$ is continuous and yields $M={\mathit{I}}_2-\frac{1}{2}\overrightarrow{\mathit{z}}·\overrightarrow{\mathit{\sigma }}$.

Since the Pauli matrices are hermitian,

$$M^{†}=\exp \left(-\frac{1}{2}{\overrightarrow{\mathit{z}}}^{\ast }·\overrightarrow{\mathit{\sigma }}\right)={\mathit{I}}_2\cosh \left(\frac{1}{2}{\Delta }^{\ast }\right)-{\overrightarrow{\mathit{z}}}^{\ast }·\overrightarrow{\mathit{\sigma }}{\displaystyle \frac{\sinh \left(\frac{1}{2}{\Delta }^{\ast }\right)}{{\Delta }^{\ast }}}.$$

(94)

We shall evaluate ${{\Lambda }^{\mu }}_{\nu }$ in four separate cases depending whether the spacetime index is 0 or $i\in \{1,2,3\}$. In particular, using block matrix notation, Equation (91) yields

$$\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})=\left(\begin{array}{cc}{{\Lambda }^0}_0& {{\Lambda }^0}_j\\ {{\Lambda }^i}_0& {{\Lambda }^i}_j\end{array}\right)={\displaystyle \frac{1}{2}}\left(\begin{array}{cc}\mathrm{Tr}\left(M^{†}M\right)& -\mathrm{Tr}\left(M{\sigma }^j{M}^{†}\right)\\ -\mathrm{Tr}\left(M^{†}{\sigma }^{i}M\right)& \mathrm{Tr}\left(M^{†}{\sigma }^{i}M{\sigma }^j\right)\end{array}\right),$$

(95)

where we have used ${\sigma }_j=-{\sigma }^j$ to obtain the final matrix expression above.

Plugging Equations (93) and (94) into Equation (91) and evaluating the traces,

$$\begin{array}{ccc}\hfill \mathrm{Tr}\left({\sigma }^i{\sigma }^j\right)& =& 2{\delta }^{ij},\hfill \end{array}$$

(96)

$$\begin{array}{ccc}\hfill \mathrm{Tr}\left({\sigma }^i{\sigma }^j{\sigma }^k\right)& =& 2i{ϵ}^{ijk},\hfill \end{array}$$

(97)

$$\begin{array}{ccc}\hfill \mathrm{Tr}\left({\sigma }^i{\sigma }^j{\sigma }^k{\sigma }^{\ell }\right)& =& 2({\delta }^{ij}{\delta }^{k\ell }-{\delta }^{ik}{\delta }^{j\ell }+{\delta }^{i\ell }{\delta }^{jk}),\hfill \end{array}$$

(98)

we end up with the following expressions:

$${{\Lambda }^0}_0=|\cosh \left(\frac{1}{2}\Delta \right){|}^2+{\left|{\displaystyle \frac{\sinh \left(\frac{1}{2}\Delta \right)}{\Delta }}\right|}^2\left(|\overrightarrow{\mathit{\zeta }}{|}^2+{\left|\overrightarrow{\mathit{\theta }}\right|}^2\right),$$

(99)

$$\begin{array}{ccc}\hfill {{\Lambda }^0}_j& =& \left({\displaystyle \frac{\cosh \left(\frac{1}{2}{\Delta }^{\ast }\right)\sinh \left(\frac{1}{2}\Delta \right)}{\Delta }}{z}^j+\mathrm{c}.\mathrm{c}.\right)+i{\left|{\displaystyle \frac{\sinh \left(\frac{1}{2}\Delta \right)}{\Delta }}\right|}^2{ϵ}^{jk\ell }{z}^k{z}^{\ast \ell },\hfill \end{array}$$

(100)

$$\begin{array}{ccc}\hfill {{\Lambda }^i}_0& =& \left({\displaystyle \frac{\cosh \left(\frac{1}{2}{\Delta }^{\ast }\right)\sinh \left(\frac{1}{2}\Delta \right)}{\Delta }}{z}^i+\mathrm{c}.\mathrm{c}.\right)+i{\left|{\displaystyle \frac{\sinh \left(\frac{1}{2}\Delta \right)}{\Delta }}\right|}^2{ϵ}^{ik\ell }{z}^{\ast k}{z}^{\ell },\hfill \end{array}$$

(101)

$$\begin{gathered} \begin{array}{c}\hfill \begin{array}{ccc}{{\Lambda }^i}_j\hfill & =\hfill & \{|\cosh \left(\frac{1}{2}\Delta \right){|}^2-{\left|{\displaystyle \frac{\sinh \left(\frac{1}{2}\Delta \right)}{\Delta }}\right|}^2\hfill \end{array}\left(|\overrightarrow{\mathit{\zeta }}{|}^2+|\overrightarrow{\mathit{\theta }}{|}^2\right)\}{\delta }^{ij}+(z^{\ast i}{z}^j+z^i{z}^{\ast j}){\left|{\displaystyle \frac{\sinh \left(\frac{1}{2}\Delta \right)}{\Delta }}\right|}^2 \\ +(\frac{i \mathrm{s}\mathrm{i}\mathrm{n}\mathrm{h}(\frac{1}{2}\Delta )\mathrm{c}\mathrm{o}\mathrm{s}\mathrm{h}\left(\frac{1}{2}{\Delta }^{\ast }\right)}{\Delta }{ϵ}^{ijk}{z}^k+\mathrm{c}.\mathrm{c}.),\end{array} \end{gathered}$$

(102)

where $\mathrm{c}.\mathrm{c}.$ means the complex conjugate of the previous term and $\Delta$ is defined in Equation (92). Note that since $\Delta$ is a complex quantity, $|\cosh \left(\frac{1}{2}\Delta \right){|}^2=\cosh \left(\frac{1}{2}\Delta \right)\cosh \left(\frac{1}{2}{\Delta }^{\ast }\right)$ and $|\sinh \left(\frac{1}{2}\Delta \right){/\Delta |}^2=\sinh \left(\frac{1}{2}\Delta \right)\sinh \left(\frac{1}{2}{\Delta }^{\ast }\right)/{|\Delta |}^2$ in Equations (99)–(102).

We can check the results of Equations (99)–(102) in three special cases. First, consider the case of a pure boost, where $\overrightarrow{\mathit{\theta }}=\overrightarrow{\mathbf{0}}$. Then, $\overrightarrow{\mathit{z}}={\overrightarrow{\mathit{z}}}^{\ast }=\overrightarrow{\mathit{\zeta }}$ and $\Delta =|\overrightarrow{\mathit{\zeta }}|\equiv \zeta$. Plugging these values into Equations (99)–(102) yields the following block matrix form:

$$\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathbf{0}})=\left(\begin{array}{cc}\cosh \zeta & {\displaystyle \frac{{\zeta }^j}{\zeta }\sinh \zeta }\\ {\displaystyle \phantom{-}\frac{{\zeta }^i}{\zeta }\sinh \zeta \phantom{-}}& {\displaystyle {\delta }^{ij}+\frac{{\zeta }^i{\zeta }^j}{|\overrightarrow{\mathit{\zeta }}{|}^2}(\cosh \zeta -1)}\end{array}\right),$$

(103)

which again reproduces the result of Equation (22).

Second, consider the case of $\overrightarrow{\mathit{\zeta }}=\overrightarrow{\mathbf{0}}$. Then, $\overrightarrow{\mathit{z}}=-{\overrightarrow{\mathit{z}}}^{\ast }=i\overrightarrow{\mathit{\theta }}$ and $\Delta =i\theta$. Plugging these values into Equations (99)–(102) and writing ${\theta }^i=\theta n^i$ yields

$$\Lambda (\overrightarrow{\mathbf{0}},\overrightarrow{\mathit{\theta }})=\left(\begin{array}{cc}1\phantom{|}& 0^j\\ \phantom{|}{0}^i\phantom{|}& \phantom{|}{\delta }^{ij}\cos \theta +n^i{n}^j(1-\cos \theta )-{ϵ}^{ijk}{n}^k\sin \theta \end{array}\right).$$

(104)

Once again, we have recovered Equation (26) and Rodrigues’ rotation formula [Equation (27)].

Third, one can check that Equations (99)–(102) reduce to the most general orthochronous Lorentz transformation in $2+1$ spacetime dimensions for $i,j\in \{1,2\}$ if we take $z^1={\zeta }^1$, $z^2={\zeta }^2$, and $z^3=i\theta$, which implies that $\Delta ={\left(\overrightarrow{\mathit{z}}·\overrightarrow{\mathit{z}}\right)}^{1/2}={\left(|\overrightarrow{\mathit{\zeta }}{|}^2-{\theta }^2\right)}^{1/2}$. The resulting formulae reproduce the expressions obtained in Equations (79) and (80).

Finally, it is instructive to consider the case of an infinitesimal Lorentz transformation. Working to linear order in $\overrightarrow{\mathit{\zeta }}$ and $\overrightarrow{\mathit{\theta }}$, note that $\Delta \simeq 0$ in light of Equation (92). Hence, Equations (99)–(102) reduce to the following result given in block matrix form:

$$\begin{array}{c}\hfill \Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})\simeq \left(\begin{array}{cc}\phantom{-}1\phantom{-}& {\zeta }^j\\ \phantom{-}{\zeta }^i\phantom{-}& {\delta }^{ij}-{ϵ}^{ijk}{\theta }^k\end{array}\right),\end{array}$$

(105)

which coincides with Equation (46).

6. Reconciling the Results of Section 4 and Section 5

In this section, we shall verify that the explicit expressions for $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})$ obtained, respectively, in Section 4 and Section 5 coincide in the general case of non-zero boost and rotation parameters.

First, it is convenient to rewrite Equations (56) and (57) as follows:

$$a^2=\frac{1}{2}\left(|\overrightarrow{\mathit{\theta }}{|}^2-|\overrightarrow{\mathit{\zeta }}{|}^2+{|\Delta |}^2\right),b^2=\frac{1}{2}\left(|\overrightarrow{\mathit{\zeta }}{|}^2-|\overrightarrow{\mathit{\theta }}{|}^2+{|\Delta |}^2\right),$$

(106)

where $\Delta$ is defined in Equation (92). As noted below Equation (57), a, $b\in \mathbb{R}$ but their undetermined signs have no impact on the expressions obtained for the matrix elements of $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})$. Using Equation (55), we can fix the relative sign of a and b by choosing $ab=\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }}$. It then follows that

$${(b+ia)}^2=b^2-a^2+2iab=|\overrightarrow{\mathit{\zeta }}{|}^2-|\overrightarrow{\mathit{\theta }}{|}^2+2i\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }}={\Delta }^2.$$

(107)

After taking the positive square root, the signs of a and b are now fixed by identifying

$$\Delta =b+ia.$$

(108)

One can check that Equations (99)–(102) are unchanged if $\Delta \to -\Delta$ and/or $\Delta \to {\Delta }^{\ast }$. This reflects the fact that the expressions obtained for the matrix elements of $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})$ do not depend on the choice of signs for a and b.

Thus, Equations (63)–(66) and (71) yield:

$$\begin{array}{c}\hfill \begin{array}{ccc}{{\Lambda }^0}_0\hfill & =\hfill & {\displaystyle \frac{1}{{|\Delta |}^2}\left[(b^2-|\overrightarrow{\mathit{\zeta }}{|}^2)\cos a+\left(a^2+|\overrightarrow{\mathit{\zeta }}{|}^2\right)\cosh b\right]}\hfill \\ & =\hfill & {\displaystyle \frac{1}{2}(\cosh b+\cos a)+\frac{|\overrightarrow{\mathit{\zeta }}{|}^2+{\left|\overrightarrow{\mathit{\theta }}\right|}^2}{{2|\Delta |}^2}(\cosh b-\cos a),}\hfill \end{array}\end{array}$$

(109)

after making use of Equation (106). We now employ the following two identities:

$$\begin{array}{ccc}\hfill \cosh b+\cos a& =& 2\cosh \left({\displaystyle \frac{b+ia}{2}}\right)\cosh \left({\displaystyle \frac{b-ia}{2}}\right)=2{\left|\cosh \left({\displaystyle \frac{b+ia}{2}}\right)\right|}^2,\hfill \end{array}$$

(110)

$$\begin{array}{ccc}\hfill \cosh b-\cos a& =& 2\sinh \left({\displaystyle \frac{b+ia}{2}}\right)\sinh \left({\displaystyle \frac{b-ia}{2}}\right)=2{\left|\sinh \left({\displaystyle \frac{b+ia}{2}}\right)\right|}^2.\hfill \end{array}$$

(111)

Hence, Equations (108) and (109) yield

$${{\Lambda }^0}_0={\left|\cosh \left(\frac{1}{2}\Delta \right)\right|}^2+{\left|{\displaystyle \frac{\sinh \left(\frac{1}{2}\Delta \right)}{\Delta }}\right|}^2(|\overrightarrow{\mathit{\zeta }}{|}^2+{\left|\overrightarrow{\mathit{\theta }}\right|}^2),$$

(112)

in agreement with Equation (99).

Next, Equations (63)–(66) and (71) yield

$$\begin{array}{c}\hfill \begin{array}{ccc}{{\Lambda }^0}_j\hfill & =\hfill & {\displaystyle \frac{1}{{|\Delta |}^2}\{\left({\displaystyle \frac{b^2}{a}\sin a+\frac{a^2}{b}\sinh b}\right){\zeta }^j+(\cosh b-\cos a){ϵ}^{jk\ell }{\zeta }^k{\theta }^{\ell }}\hfill \\ & & +\left({\displaystyle \frac{\sinh b}{b}-\frac{\sin a}{a}}\right)\left[\left(|\overrightarrow{\mathit{\zeta }}{|}^2-|\overrightarrow{\mathit{\theta }}{|}^2\right){\zeta }^j+(\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }}){\theta }^j\right]\}.\hfill \end{array}\end{array}$$

(113)

Using Equation (55), it follows that $|\overrightarrow{\mathit{\zeta }}{|}^2-|\overrightarrow{\mathit{\theta }}{|}^2=b^2-a^2$ and $\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }}=ab$ [the latter with the sign conventions adopted above Equation (107)]. Inserting these results into Equation (113), we obtain

$${{\Lambda }^0}_j={\displaystyle \frac{1}{{|\Delta |}^2}}\left[(b\sinh b+a\sin a){\zeta }^j+(a\sinh b-b\sin a){\theta }^j+(\cosh b-\cos a){ϵ}^{jk\ell }{\zeta }^k{\theta }^{\ell }\right].$$

(114)

We can rewrite Equation (114) with the help of some identities. It is straightforward to show that

$$\begin{array}{ccc}\hfill b\sinh b+a\sin a& =& {\Delta }^{\ast }\sinh \left(\frac{1}{2}\Delta \right)\cosh \left(\frac{1}{2}{\Delta }^{\ast }\right)+\mathrm{c}.\mathrm{c}.,\hfill \end{array}$$

(115)

$$\begin{array}{ccc}\hfill a\sinh b-b\sin a& =& i{\Delta }^{\ast }\sinh \left(\frac{1}{2}\Delta \right)\cosh \left(\frac{1}{2}{\Delta }^{\ast }\right)+\mathrm{c}.\mathrm{c}.,\hfill \end{array}$$

(116)

$$\begin{array}{ccc}\hfill (\cosh b-\cos a){ϵ}^{jk\ell }{\zeta }^k{\theta }^{\ell }& =& i\left|\sinh \left(\frac{1}{2}\Delta \right)\right|{ϵ}^{jk\ell }{z}^k{z}^{\ast \ell }.\hfill \end{array}$$

(117)

Collecting the results obtained above, we end up with

$${{\Lambda }^0}_j=\left({\displaystyle \frac{\sinh \left(\frac{1}{2}\Delta \right)\cosh \left(\frac{1}{2}{\Delta }^{\ast }\right)}{\Delta }}({\zeta }^j+i{\theta }^j)+\mathrm{c}.\mathrm{c}.\right)+i{\left|{\displaystyle \frac{\sinh \left(\frac{1}{2}\Delta \right)}{\Delta }}\right|}^2{ϵ}^{jk\ell }{z}^k{z}^{\ast \ell },$$

(118)

in agreement with Equation (100).

The computation of ${{\Lambda }^i}_0$ is nearly identical. The only change is due to the change in the sign multiplying the term proportional to the Levi–Civita tensor. Consequently, it is convenient to replace Equation (117) with an equivalent form:

$$(\cosh b-\cos a){ϵ}^{ik\ell }{\zeta }^k{\theta }^{\ell }=-i\left|\sinh \left(\frac{1}{2}\Delta \right)\right|{ϵ}^{ik\ell }{z}^{\ast k}{z}^{\ell }.$$

(119)

Hence, we end up with

$$\begin{array}{c}\hfill \begin{array}{ccc}{{\Lambda }^i}_0\hfill & =\hfill & {\displaystyle \frac{1}{{|\Delta |}^2}\left[(b\sinh b+a\sin a){\zeta }^i+(a\sinh b-b\sin a){\theta }^i-(\cosh b-\cos a){ϵ}^{ik\ell }{\zeta }^k{\theta }^{\ell }\right]\phantom{xx}}\hfill \\ & =\hfill & \left({\displaystyle \frac{\sinh \left(\frac{1}{2}\Delta \right)\cosh \left(\frac{1}{2}{\Delta }^{\ast }\right)}{\Delta }({\zeta }^i+i{\theta }^i)+\mathrm{c}.\mathrm{c}.}\right)+i{\left|{\displaystyle \frac{\sinh \left(\frac{1}{2}\Delta \right)}{\Delta }}\right|}^2{ϵ}^{ik\ell }{z}^{\ast k}{z}^{\ell },\hfill \end{array}\end{array}$$

(120)

in agreement with Equation (101).

Finally, we use Equations (63)–(66) and (71) to obtain

$$\begin{array}{c}\hfill \begin{array}{ccc}{{\Lambda }^i}_j\hfill & =\hfill & {\displaystyle \frac{1}{{|\Delta |}^2}\{(b^2\cos a+a^2\cosh b){\delta }^{ij}-\left({\displaystyle \frac{b^2}{a}\sin a+\frac{a^2}{b}\sinh b}\right){ϵ}^{ijk}{\theta }^k}\hfill \\ & & +(\cosh b-\cos a)({\zeta }^i{\zeta }^j+{\theta }^i{\theta }^j-{\delta }^{ij}|\overrightarrow{\mathit{\theta }}{|}^2)\hfill \\ & & +\left({\displaystyle \frac{\sinh b}{b}-\frac{\sin a}{a}}\right)\left[{ϵ}^{ijk}\left[(\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }}){\zeta }^k+\left(|\overrightarrow{\mathit{\theta }}{|}^2-|\overrightarrow{\mathit{\zeta }}{|}^2\right){\theta }^k\right]\right]\}.\hfill \end{array}\end{array}$$

(121)

The following identities can be derived:

$$\begin{array}{ccc}& & {\displaystyle \frac{1}{{|\Delta |}^2}}(\cosh b-\cos a)({\zeta }^i{\zeta }^j+{\theta }^i{\theta }^j)=\left(z^{\ast i}{z}^j+z^i{z}^{\ast j}\right){\left|{\displaystyle \frac{\sinh \left(\frac{1}{2}\Delta \right)}{\Delta }}\right|}^2,\hfill \end{array}$$

(122)

$$\begin{array}{ccc}& & {\displaystyle \frac{1}{{|\Delta |}^2}}\left({\displaystyle \frac{\sinh b}{b}}-{\displaystyle \frac{\sin a}{a}}\right)\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{\zeta }}=i{\displaystyle \frac{\sinh \left(\frac{1}{2}\Delta \right)}{\Delta }}\cosh \left(\frac{1}{2}{\Delta }^{\ast }\right)+\mathrm{c}.\mathrm{c}.,\hfill \end{array}$$

(123)

$$\begin{array}{c}\hfill \begin{array}{ccc}& & {\displaystyle \frac{1}{{|\Delta |}^2}\left[b^2\cos a+a^2\cosh b-(\cosh b-\cos a){\left|\overrightarrow{\mathit{\theta }}\right|}^2\right]}\hfill \\ & & =|\cosh \left(\frac{1}{2}\Delta \right){|}^2-{\left|{\displaystyle \frac{\sinh \left(\frac{1}{2}\Delta \right)}{\Delta }}\right|}^2\left(|\overrightarrow{\mathit{\zeta }}{|}^2+|\overrightarrow{\mathit{\theta }}{|}^2\right),\hfill \end{array}\end{array}$$

(124)

$$\begin{array}{c}\hfill \begin{array}{ccc}& & {\displaystyle \frac{1}{{|\Delta |}^2}\left\{\left(\frac{\sinh b}{b}-\frac{\sin a}{a}\right)\left(|\overrightarrow{\mathit{\theta }}{|}^2-|\overrightarrow{\mathit{\zeta }}{|}^2\right)-\left({\displaystyle \frac{b^2}{a}\sin a+\frac{a^2}{b}\sinh b}\right)\right\}}\hfill \\ & & =-\left\{{\displaystyle \frac{\sinh \left(\frac{1}{2}\Delta \right)}{\Delta }\cosh \left(\frac{1}{2}{\Delta }^{\ast }\right)+\mathrm{c}.\mathrm{c}.}\right\}.\hfill \end{array}\end{array}$$

(125)

Note that the terms proportional to ${ϵ}^{ijk}$ in Equation (121) combine nicely and yield

$${\displaystyle \frac{i\sinh \left(\frac{1}{2}\Delta \right)\cosh \left(\frac{1}{2}{\Delta }^{\ast }\right)}{\Delta }}{ϵ}^{ijk}{z}^k+\mathrm{c}.\mathrm{c}.,$$

(126)

after putting $z^k={\zeta }^k+i{\theta }^k$.

Collecting the results obtained above, we end up with

$$\begin{array}{c}\hfill \begin{array}{ccc}{{\Lambda }^i}_j\hfill & =\hfill & \{|\cosh \left(\frac{1}{2}\Delta \right){|}^2-{\left|{\displaystyle \frac{\sinh \left(\frac{1}{2}\Delta \right)}{\Delta }}\right|}^2\left(|\overrightarrow{\mathit{\zeta }}{|}^2+|\overrightarrow{\mathit{\theta }}{|}^2\right)\}{\delta }^{ij}+(z^{\ast i}{z}^j+z^i{z}^{\ast j}){\left|{\displaystyle \frac{\sinh \left(\frac{1}{2}\Delta \right)}{\Delta }}\right|}^2\hfill \end{array}\\ +\left({\displaystyle \frac{i\sinh \left(\frac{1}{2}\Delta \right)\cosh \left(\frac{1}{2}{\Delta }^{\ast }\right)}{\Delta }{ϵ}^{ijk}{z}^k+\mathrm{c}.\mathrm{c}.}\right),\hfill \end{array}$$

(127)

in agreement with Equation (102).

We have therefore verified by an explicit computation that the results obtained in Equations (63)–(65) are equivalent to Equations (99)–(102). In particular, we have established that

$${{\Lambda }^{\mu }}_{\nu }(\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})=\frac{1}{2}\mathrm{Tr}\left(M^{†}{\overline{\sigma }}^{\mu }M{\sigma }_{\nu }\right),$$

(128)

where $M=\exp \left\{-\frac{1}{2}(\overrightarrow{\mathit{\zeta }}+i\overrightarrow{\mathit{\theta }})·\overrightarrow{\mathit{\sigma }}\right\}$.

7. Final Remarks

The main goal of this paper is to exhibit an explicit form for the $4\times 4$ proper orthochronous Lorentz transformation matrix as a function of general boost and rotation parameters $\overrightarrow{\mathit{\zeta }}$ and $\overrightarrow{\mathit{\theta }}$. Whereas the matrices $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathbf{0}})$ and $\Lambda (\overrightarrow{\mathbf{0}},\overrightarrow{\mathit{\theta }})$ are well known and appear in many textbooks, the explicit form for more general $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})$ is much less well known. Two different derivations are provided for $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})$. One derivation evaluates the exponential of a real $4\times 4$ matrix A that satisfies ${\left(GA\right)}^{\mathsf{T}}=-GA$ [where $G\equiv \mathrm{diag}(1,-1,-1,-1)$], and a second derivation evaluates $\frac{1}{2}\mathrm{Tr}\left(M^{†}{\overline{\sigma }}^{\mu }M{\sigma }_{\nu }\right)$, where the $2\times 2$ matrix $M=\exp \{-\frac{1}{2}(\overrightarrow{\mathit{\zeta }}+i\overrightarrow{\mathit{\theta }})·\overrightarrow{\mathit{\sigma }}\}$. Although the results obtained by the two computations look somewhat different at first, we have verified by explicit calculation that these two results are actually equivalent.

One can also obtain the most general proper orthochronous Lorentz transformation in another way by invoking the following theorem (e.g., see Section 1.5 of Ref. [1], Section 6.6 of Ref. [16], or Section 4.5 of Ref. [17]):

Every proper orthochronous Lorentz transformation $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})$ possesses a unique factorization into a product of a boost and a rotation in two different ways:

$$\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})=\Lambda ({\overrightarrow{\mathit{\zeta }}}^{\prime },\overrightarrow{\mathbf{0}})\Lambda (\overrightarrow{\mathbf{0}},{\overrightarrow{\mathit{\theta }}}^{\prime })=\Lambda (\overrightarrow{\mathbf{0}},{\overrightarrow{\mathit{\theta }}}^{″})\Lambda ({\overrightarrow{\mathit{\zeta }}}^{″},\overrightarrow{\mathbf{0}}).$$

(129)

for an appropriate choice of parameters $\{{\overrightarrow{\mathit{\zeta }}}^{\prime }$, ${\overrightarrow{\mathit{\theta }}}^{\prime }\}$ and $\{{\overrightarrow{\mathit{\zeta }}}^{″},{\overrightarrow{\mathit{\theta }}}^{″}\}$, respectively. Equation (129) is called the polar decomposition of SO₀(1,3) in Refs. [10,18,19].

In particular, if none of the parameters are zero, then $\overrightarrow{\mathit{\zeta }}\ne {\overrightarrow{\mathit{\zeta }}}^{\prime }\ne {\overrightarrow{\mathit{\zeta }}}^{″}$ and $\overrightarrow{\mathit{\theta }}\ne {\overrightarrow{\mathit{\theta }}}^{\prime }\ne {\overrightarrow{\mathit{\theta }}}^{″}$ due to the fact that boosts and rotations do not commute [as a consequence of the commutation relations given in Equation (45)]. Indeed, for non-vanishing boost and rotation parameters,

$$\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})=\exp \left(-i\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{s}}-i\overrightarrow{\mathit{\zeta }}·\overrightarrow{\mathit{k}}\right)\ne \exp \left(-i\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{s}}\right)\exp \left(-i\overrightarrow{\mathit{\zeta }}·\overrightarrow{\mathit{k}}\right)\ne \exp \left(-i\overrightarrow{\mathit{\zeta }}·\overrightarrow{\mathit{k}}\right)\exp \left(-i\overrightarrow{\mathit{\theta }}·\overrightarrow{\mathit{s}}\right).$$

(130)

In contrast to Equation (130), when considering infinitesimal Lorentz transformations, the boost matrix [Equation (41)] and the rotation matrix [Equation (43)] commute at linear order, which results in Equation (46). The effects of the noncommutativity appear first at quadratic order in the boost and rotation parameters.

Given the parameters $\{{\overrightarrow{\mathit{\zeta }}}^{\prime }$, ${\overrightarrow{\mathit{\theta }}}^{\prime }\}$ (or $\{{\overrightarrow{\mathit{\zeta }}}^{″}$, ${\overrightarrow{\mathit{\theta }}}^{″}\}$), it would be quite useful to be able to obtain expressions for the corresponding parameters of $\Lambda (\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }})$. The formulae that determine $\{\overrightarrow{\mathit{\zeta }},\overrightarrow{\mathit{\theta }}\}$ in Equation (129) are quite complicated [20], although they could in principle be derived by using the explicit matrix representations given in this paper. This is left as an exercise for the reader.