Wigner rotation

When studying the Thomas rotation at the fundamental level, one typically uses a setup with three coordinate frames, Σ, Σ′ Σ′′. Frame Σ′ has velocity u relative to frame Σ, and frame Σ′′ has velocity v relative to frame Σ′.

The axes are, by construction, oriented as follows. Viewed from Σ′, the axes of Σ′ and Σ are parallel (the same holds true for the pair of frames when viewed from Σ.) Also viewed from Σ′, the spatial axes of Σ′ and Σ′′ are parallel (and the same holds true for the pair of frames when viewed from Σ′′.)[11] This is an application of EVPR: If u is the velocity of Σ′ relative to Σ, then u′ = −u is the velocity of Σ relative to Σ′. The velocity 3-vector u makes the same angles with respect to coordinate axes in both the primed and unprimed systems. This does not represent a snapshot taken in any of the two frames of the combined system at any particular time, as should be clear from the detailed description below.

This is possible, since a boost in, say, the positive z-direction, preserves orthogonality of the coordinate axes. A general boost B(w) can be expressed as L = R⁻¹(e_z, w)B_z(w)R(e_z, w), where R(e_z, w) is a rotation taking the z-axis into the direction of w and B_z is a boost in the new z-direction.[12][13][14] Each rotation retains the property that the spatial coordinate axes are orthogonal. The boost will stretch the (intermediate) z-axis by a factor γ, while leaving the intermediate x-axis and y-axis in place.[15] The fact that coordinate axes are non-parallel in this construction after two consecutive non-collinear boosts is a precise expression of the phenomenon of Thomas rotation.[nb 1]

The velocity of Σ′′ as seen in Σ is denoted w_d = u ⊕ v, where ⊕ refers to the relativistic addition of velocity (and not ordinary vector addition), given by[16]

${\displaystyle \mathbf {u} \oplus \mathbf {v} ={\frac {1}{1+{\frac {\mathbf {u} \cdot \mathbf {v} }{c^{2}}}}}\left[\left(1+{\frac {1}{c^{2}}}{\frac {\gamma _{\mathbf {u} }}{1+\gamma _{\mathbf {u} }}}\mathbf {u} \cdot \mathbf {v} \right)\mathbf {u} +{\frac {1}{\gamma _{\mathbf {u} }}}\mathbf {v} \right],}$

(VA 2)

and

${\displaystyle \gamma _{\mathbf {u} }={\frac {1}{\sqrt {1-{\frac {|\mathbf {u} |^{2}}{c^{2}}}}}}}$

is the Lorentz factor of the velocity u (the vertical bars |u| indicate the magnitude of the vector). The velocity u can be thought of the velocity of a frame Σ′ relative to a frame Σ, and v is the velocity of an object, say a particle or another frame Σ′′ relative to Σ′. In the present context, all velocities are best thought of as relative velocities of frames unless otherwise specified. The result w = u ⊕ v is then the relative velocity of frame Σ′′ relative to a frame Σ.

Although velocity addition is nonlinear, non-associative, and non-commutative, the result of the operation correctly obtains a velocity with a magnitude less than c. If ordinary vector addition was used, it would be possible to obtain a velocity with a magnitude larger than c. The Lorentz factor γ of both composite velocities are equal,

${\displaystyle \gamma =\gamma _{\mathbf {u} \oplus \mathbf {v} }=\gamma _{\mathbf {v} \oplus \mathbf {u} }=\gamma _{\mathbf {u} }\gamma _{\mathbf {v} }\left(1+{\frac {\mathbf {u} \cdot \mathbf {v} }{c^{2}}}\right)\,,}$

and the norms are equal under interchange of velocity vectors

${\displaystyle |\mathbf {u} \oplus \mathbf {v} |=|\mathbf {v} \oplus \mathbf {u} |={\frac {c}{\gamma }}{\sqrt {\gamma ^{2}-1}}\,.}$

Since the two possible composite velocities have equal magnitude, but different directions, one must be a rotated copy of the other. More detail and other properties of no direct concern here can be found in the main article.

Consider the reversed configuration, namely, frame Σ moves with velocity −u relative to frame Σ′, and frame Σ′, in turn, moves with velocity −v relative to frame Σ′′. In short, u → − u and v → −v by EPVR. Then the velocity of Σ relative to Σ′′ is (−v) ⊕ (−u) ≡ −v ⊕ u. By EPVR again, the velocity of Σ′′ relative to Σ is then w_i = v ⊕ u. (A)

One finds w_d ≠ w_i. While they are equal in magnitude, there is an angle between them. For a single boost between two inertial frames, there is only one unambiguous relative velocity (or its negative). For two boosts, the peculiar result of two inequivalent relative velocities instead of one seems to contradict the symmetry of relative motion between any two frames. Which is the correct velocity of Σ′′ relative to Σ? Since this inequality may be somewhat unexpected and potentially breaking EPVR, this question is warranted.[nb 2]

The answer to the question lies in the Thomas rotation, and that one must be careful in specifying which coordinate system is involved at each step. When viewed from Σ, the coordinate axes of Σ and Σ′′ are not parallel. While this can be hard to imagine since both pairs (Σ, Σ′) and (Σ′, Σ′′) have parallel coordinate axes, it is easy to explain mathematically.

Velocity addition does not provide a complete description of the relation between the frames. One must formulate the complete description in terms of Lorentz transformations corresponding to the velocities. A Lorentz boost with any velocity v (magnitude less than c) is given symbolically by

${\displaystyle X'=B(\mathbf {v} )X}$

where the coordinates and transformation matrix are compactly expressed in block matrix form

${\displaystyle X'={\begin{bmatrix}ct'\\\mathbf {r} '\end{bmatrix}}\quad B(\mathbf {v} )={\begin{bmatrix}\gamma _{\mathbf {v} }&-{\dfrac {\gamma _{\mathbf {v} }}{c}}\mathbf {v} ^{\mathrm {T} }\\-{\dfrac {\gamma _{\mathbf {v} }}{c}}\mathbf {v} &\mathbf {I} +{\dfrac {\gamma _{\mathbf {v} }^{2}}{\gamma _{\mathbf {v} }+1}}{\dfrac {\mathbf {vv} ^{\mathrm {T} }}{c^{2}}}\\\end{bmatrix}}\quad X={\begin{bmatrix}ct\\\mathbf {r} \end{bmatrix}}}$

and, in turn, r, r′, v are column vectors (the matrix transpose of these are row vectors), and γ_v is the Lorentz factor of velocity v. The boost matrix is a symmetric matrix. The inverse transformation is given by

${\displaystyle B(\mathbf {v} )^{-1}=B(-\mathbf {v} )\quad \Rightarrow \quad X=B(-\mathbf {v} )X'.}$

It is clear that to each admissible velocity v there corresponds a pure Lorentz boost,

${\displaystyle \mathbf {v} \leftrightarrow B(\mathbf {v} ).}$

Velocity addition u⊕v corresponds to the composition of boosts B(v)B(u) in that order. The B(u) acts on X first, then B(v) acts on B(u)X. Notice succeeding operators act on the left in any composition of operators, so B(v)B(u) should be interpreted as a boost with velocities u then v, not v then u. Performing the Lorentz transformations by block matrix multiplication,

${\displaystyle X''=B(\mathbf {v} )X'\,,\quad X'=B(\mathbf {u} )X\quad \Rightarrow \quad X''=\Lambda X}$

the composite transformation matrix is[17]

${\displaystyle \Lambda =B(\mathbf {v} )B(\mathbf {u} )={\begin{bmatrix}\gamma &-\mathbf {a} ^{\mathrm {T} }\\-\mathbf {b} &\mathbf {M} \end{bmatrix}}}$

and, in turn,

${\displaystyle {\begin{aligned}\gamma &=\gamma _{\mathbf {v} }\gamma _{\mathbf {u} }\left(1+{\frac {\mathbf {v} ^{\mathrm {T} }\mathbf {u} }{c^{2}}}\right)\\\mathbf {a} &={\frac {\gamma }{c}}\mathbf {u} \oplus \mathbf {v} \,,\quad \mathbf {b} ={\frac {\gamma }{c}}\mathbf {v} \oplus \mathbf {u} \\\mathbf {M} &=\gamma _{\mathbf {u} }\gamma _{\mathbf {v} }{\frac {\mathbf {vu} ^{\mathrm {T} }}{c^{2}}}+\left(\mathbf {I} +{\frac {\gamma _{\mathbf {v} }^{2}}{\gamma _{\mathbf {v} }+1}}{\frac {\mathbf {vv} ^{\mathrm {T} }}{c^{2}}}\right)\left(\mathbf {I} +{\frac {\gamma _{\mathbf {u} }^{2}}{\gamma _{\mathbf {u} }+1}}{\frac {\mathbf {uu} ^{\mathrm {T} }}{c^{2}}}\right)\end{aligned}}}$

Here γ is the composite Lorentz factor, and a and b are 3×1 column vectors proportional to the composite velocities. The 3×3 matrix M will turn out to have geometric significance.

The inverse transformations are

${\displaystyle X=B(-\mathbf {u} )X'\,,\quad X'=B(-\mathbf {v} )X''\quad \Rightarrow \quad X=\Lambda ^{-1}X''}$

and the composition amounts to a negation and exchange of velocities,

${\displaystyle \Lambda ^{-1}=B(-\mathbf {u} )B(-\mathbf {v} )={\begin{bmatrix}\gamma &\mathbf {b} ^{\mathrm {T} }\\\mathbf {a} &\mathbf {M} ^{\mathrm {T} }\end{bmatrix}}}$

If the relative velocities are exchanged, looking at the blocks of Λ, one observes the composite transformation to be the matrix transpose of Λ. This is not the same as the original matrix, so the composite Lorentz transformation matrix is not symmetric, and thus not a single boost. This, in turn, translates to the incompleteness of velocity composition from the result of two boosts; symbolically,

${\displaystyle B(\mathbf {u} \oplus \mathbf {v} )\neq B(\mathbf {v} )B(\mathbf {u} )\,.}$

To make the description complete, it is necessary to introduce a rotation, before or after the boost. This rotation is the Thomas rotation. A rotation is given by

${\displaystyle X'=R({\boldsymbol {\theta }})X}$

where the 4×4 rotation matrix is

${\displaystyle R({\boldsymbol {\theta }})={\begin{bmatrix}1&0\\0&\mathbf {R} ({\boldsymbol {\theta }})\end{bmatrix}}}$

and R is a 3×3 rotation matrix.[nb 3] In this article the axis-angle representation is used, and θ = θe is the "axis-angle vector", the angle θ multiplied by a unit vector e parallel to the axis. Also, the right-handed convention for the spatial coordinates is used (see orientation (vector space)), so that rotations are positive in the anticlockwise sense according to the right-hand rule, and negative in the clockwise sense. With these conventions; the rotation matrix rotates any 3d vector about the axis e through angle θ anticlockwise (an active transformation), which has the equivalent effect of rotating the coordinate frame clockwise about the same axis through the same angle (a passive transformation).

The rotation matrix is an orthogonal matrix, its transpose equals its inverse, and negating either the angle or axis in the rotation matrix corresponds to a rotation in the opposite sense, so the inverse transformation is readily obtained by

${\displaystyle R({\boldsymbol {\theta }})^{-1}=R({\boldsymbol {\theta }})^{\mathrm {T} }=R(-{\boldsymbol {\theta }})\quad \Rightarrow \quad X=R(-{\boldsymbol {\theta }})X'\,.}$

A boost followed or preceded by a rotation is also a Lorentz transformation, since these operations leave the spacetime interval invariant. The same Lorentz transformation has two decompositions for appropriately chosen rapidity and axis-angle vectors;

${\displaystyle \Lambda ({\boldsymbol {\theta }},\mathbf {u} )=R({\boldsymbol {\theta }})B(\mathbf {u} )}$

${\displaystyle \Lambda (\mathbf {v} ,{\boldsymbol {\theta }})=B(\mathbf {v} )R({\boldsymbol {\theta }})}$

and if these are two decompositions are equal, the two boosts are related by

${\displaystyle B(\mathbf {u} )=R(-{\boldsymbol {\theta }})B(\mathbf {v} )R({\boldsymbol {\theta }})}$

so the boosts are related by a matrix similarity transformation.

It turns out the equality between two boosts and a rotation followed or preceded by a single boost is correct: the rotation of frames matches the angular separation of the composite velocities, and explains how one composite velocity applies to one frame, while the other applies to the rotated frame. The rotation also breaks the symmetry in the overall Lorentz transformation making it nonsymmetric. For this specific rotation, let the angle be ε and the axis be defined by the unit vector e, so the axis-angle vector is ε = εe.

Altogether, two different orderings of two boosts means there are two inequivalent transformations. Each of these can be split into a boost then rotation, or a rotation then boost, doubling the number of inequivalent transformations to four. The inverse transformations are equally important; they provide information about what the other observer perceives. In all, there are eight transformations to consider, just for the problem of two Lorentz boosts. In summary, with subsequent operations acting on the left, they are

Two boosts...	...split into a boost then rotation...	...or split into a rotation then boost.
${\displaystyle \Lambda =B(\mathbf {v} )B(\mathbf {u} )={\begin{bmatrix}\gamma &-\mathbf {a} ^{\mathrm {T} }\\-\mathbf {b} &\mathbf {M} \end{bmatrix}}}$	${\displaystyle \Lambda =R({\boldsymbol {\epsilon }})B(c\mathbf {a} /\gamma )}$	${\displaystyle \Lambda =B(c\mathbf {b} /\gamma )R({\boldsymbol {\epsilon }})}$
${\displaystyle \Lambda ^{-1}=B(-\mathbf {u} )B(-\mathbf {v} )={\begin{bmatrix}\gamma &\mathbf {b} ^{\mathrm {T} }\\\mathbf {a} &\mathbf {M} ^{\mathrm {T} }\end{bmatrix}}}$	${\displaystyle \Lambda ^{-1}=B(-c\mathbf {a} /\gamma )R(-{\boldsymbol {\epsilon }})}$	${\displaystyle \Lambda ^{-1}=R(-{\boldsymbol {\epsilon }})B(-c\mathbf {b} /\gamma )}$
${\displaystyle \Lambda ^{\mathrm {T} }=B(\mathbf {u} )B(\mathbf {v} )={\begin{bmatrix}\gamma &-\mathbf {b} ^{\mathrm {T} }\\-\mathbf {a} &\mathbf {M} ^{\mathrm {T} }\end{bmatrix}}}$	${\displaystyle \Lambda ^{\mathrm {T} }=B(c\mathbf {a} /\gamma )R(-{\boldsymbol {\epsilon }})}$	${\displaystyle \Lambda ^{\mathrm {T} }=R(-{\boldsymbol {\epsilon }})B(c\mathbf {b} /\gamma )}$
${\displaystyle \left(\Lambda ^{\mathrm {T} }\right)^{-1}=B(-\mathbf {v} )B(-\mathbf {u} )={\begin{bmatrix}\gamma &\mathbf {a} ^{\mathrm {T} }\\\mathbf {b} &\mathbf {M} \end{bmatrix}}}$	${\displaystyle \left(\Lambda ^{\mathrm {T} }\right)^{-1}=R({\boldsymbol {\epsilon }})B(-c\mathbf {a} /\gamma )}$	${\displaystyle \left(\Lambda ^{\mathrm {T} }\right)^{-1}=B(-c\mathbf {b} /\gamma )R({\boldsymbol {\epsilon }})}$

Matching up the boosts followed by rotations, in the original setup, an observer in Σ notices Σ′′ to move with velocity u⊕v then rotate clockwise (first diagram), and because of the rotation an observer in Σ′′ notices Σ to move with velocity −v⊕u then rotate anticlockwise (second diagram). If the velocities are exchanged an observer in Σ notices Σ′′ to move with velocity v⊕u then rotate anticlockwise (third diagram), and because of the rotation an observer in Σ′′ notices Σ to move with velocity −u⊕v then rotate clockwise (fourth diagram).

The cases of rotations then boosts are similar (no diagrams are shown). Matching up the rotations followed by boosts, in the original setup, an observer in Σ notices Σ′′ to rotate clockwise then move with velocity v⊕u, and because of the rotation an observer in Σ′′ notices Σ to rotate anticlockwise then move with velocity −u⊕v. If the velocities are exchanged an observer in Σ notices Σ′′ to rotate anticlockwise then move with velocity u⊕v, and because of the rotation an observer in Σ′′ notices Σ to rotate clockwise then move with velocity −u⊕v.

The above formulae constitute the relativistic velocity addition and the Thomas rotation explicitly in the general Lorentz transformations. Throughout, in every composition of boosts and decomposition into a boost and rotation, the important formula

${\displaystyle \mathbf {M} =\mathbf {R} +{\frac {1}{\gamma +1}}\mathbf {ba} ^{\mathrm {T} }}$

holds, allowing the rotation matrix to be defined completely in terms of the relative velocities u and v. The angle of a rotation matrix in the axis–angle representation can be found from the trace of the rotation matrix, the general result for any axis is tr(R) = 1 + 2 cos ε. Taking the trace of the equation gives[18][19][20]

${\displaystyle \cos \epsilon ={\frac {(1+\gamma +\gamma _{\mathbf {u} }+\gamma _{\mathbf {v} })^{2}}{(1+\gamma )(1+\gamma _{\mathbf {u} })(1+\gamma _{\mathbf {v} })}}-1}$

The angle ε between a and b is not the same as the angle α between u and v.

In both frames Σ and Σ′′, for every composition and decomposition, another important formula

${\displaystyle \mathbf {b} =\mathbf {Ra} }$

holds. The vectors a and b are indeed related by a rotation, in fact by the same rotation matrix R which rotates the coordinate frames. Starting from a, the matrix R rotates this into b anticlockwise, it follows their cross product (in the right-hand convention)

${\displaystyle \mathbf {a} \times \mathbf {b} ={\frac {\gamma _{\mathbf {u} }\gamma _{\mathbf {v} }\left(\gamma ^{2}-1\right)(\gamma +\gamma _{\mathbf {v} }+\gamma _{\mathbf {u} }+1)}{c^{2}(\gamma _{\mathbf {v} }+1)(\gamma _{\mathbf {u} }+1)(\gamma +1)}}\mathbf {u} \times \mathbf {v} }$

defines the axis correctly, therefore the axis is also parallel to u×v. The magnitude of this pseudovector is neither interesting nor important, only the direction is, so it can be normalized into the unit vector

${\displaystyle \mathbf {e} ={\frac {\mathbf {u} \times \mathbf {v} }{|\mathbf {u} \times \mathbf {v} |}}}$

which still completely defines the direction of the axis without loss of information.

The rotation is simply a "static" rotation and there is no relative rotational motion between the frames, there is relative translational motion in the boost. However, if the frames accelerate, then the rotated frame rotates with an angular velocity. This effect is known as the Thomas precession, and arises purely from the kinematics of successive Lorentz boosts.

The passage from a velocity to a boost is obtained as follows. An arbitrary boost is given by[22]

${\displaystyle e^{-{\boldsymbol {\zeta }}\cdot \mathbf {K} },}$

where ζ is a triple of real numbers serving as coordinates on the boost subspace of the Lie algebra so(3, 1) spanned by the matrices

${\displaystyle (K_{1},K_{2},K_{3})=\left(\left[{\begin{smallmatrix}0&1&0&0\\1&0&0&0\\0&0&0&0\\0&0&0&0\end{smallmatrix}}\right],\left[{\begin{smallmatrix}0&0&1&0\\0&0&0&0\\1&0&0&0\\0&0&0&0\end{smallmatrix}}\right],\left[{\begin{smallmatrix}0&0&0&1\\0&0&0&0\\0&0&0&0\\1&0&0&0\end{smallmatrix}}\right]\right).}$

The vector

${\displaystyle {\boldsymbol {\zeta }}={\frac {\boldsymbol {\beta }}{\beta }}\tanh ^{-1}\beta }$

is called the boost parameter or boost vector, while its norm is the rapidity. Here β is the velocity parameter, the magnitude of the vector β = u/c.

While for ζ one has 0 ≤ ζ < ∞, the parameter β is confined within 0 ≤ β < 1, and hence 0 ≤ u < c. Thus

${\displaystyle e^{-\tanh ^{-1}(\beta ){\frac {\boldsymbol {\beta }}{\beta }}\cdot \mathbf {K} }=e^{-{\tanh ^{-1}\beta \over c\beta }\mathbf {u} \cdot \mathbf {K} }\equiv B(\mathbf {u} )~.}$

The set of velocities satisfying 0 ≤ u < c is an open ball in ℝ³ and is called the space of admissible velocities in the literature. It is endowed with a hyperbolic geometry described in the linked article.[23]

The generators of boosts, K₁, K₂, K₃, in different directions do not commute. This has the effect that two consecutive boosts is not a pure boost in general, but a rotation preceding a boost.

Consider a succession of boosts in the x direction, then the y direction, expanding each boost to first order[24]

${\displaystyle e^{\zeta _{y}K_{y}}e^{\zeta _{x}K_{x}}=(I-\zeta _{y}K_{y}+\cdots )(I-\zeta _{x}K_{x}+\cdots )=I-\zeta _{x}K_{x}-\zeta _{y}K_{y}+\zeta _{x}\zeta _{y}K_{y}K_{x}+\cdots }$

then

${\displaystyle e^{-\zeta _{y}K_{y}}e^{-\zeta _{x}K_{x}}=I+\zeta _{x}K_{x}+\zeta _{y}K_{y}+\zeta _{x}\zeta _{y}K_{y}K_{x}+\cdots }$

and the group commutator is

${\displaystyle {\begin{aligned}e^{-\zeta _{y}K_{y}}e^{-\zeta _{x}K_{x}}e^{\zeta _{y}K_{y}}e^{\zeta _{x}K_{x}}=I&+\zeta _{x}\zeta _{y}[K_{y},K_{x}]-(\zeta _{x}K_{x})^{2}-(\zeta _{y}K_{y})^{2}\\&+\zeta _{x}^{2}\zeta _{y}[K_{x},K_{y}]K_{x}+\zeta _{x}\zeta _{y}^{2}K_{y}[K_{y},K_{x}]\\&+(\zeta _{x}\zeta _{y})^{2}K_{y}K_{x}K_{y}K_{x}+\cdots \end{aligned}}}$

Three of the commutation relations of the Lorentz generators are

${\displaystyle {\begin{aligned}[][J_{x},J_{y}]&=J_{z}\\[][K_{x},K_{y}]&=-J_{z}\\[][J_{x},K_{y}]&=K_{z}\end{aligned}}}$

where the bracket [A, B] = AB − BA is a binary operation known as the commutator, and the other relations can be found by taking cyclic permutations of x, y, z components (i.e. change x to y, y to z, and z to x, repeat).

Returning to the group commutator, the commutation relations of the boost generators imply for a boost along the x then y directions, there will be a rotation about the z axis. In terms of the rapidities, the rotation angle θ is given by

${\displaystyle \tan {\frac {\theta }{2}}=\tanh {\frac {\zeta _{x}}{2}}\tanh {\frac {\zeta _{y}}{2}},}$

equivalently expressible as

${\displaystyle \tan \theta ={\frac {\sinh {\zeta _{x}}~\sinh \zeta _{y}}{\cosh \zeta _{x}+\cosh \zeta _{y}}}~.}$

In fact, the full Lorentz group is not indispensable for studying the Wigner rotation. Given that this phenomenon involves only two spatial dimensions, the subgroup SO(2, 1)⁺ is sufficient for analyzing the associated problems. Analogous to the Euler parametrization of SO(3), SO(2, 1)⁺ can be decomposed into three simple parts, providing a straightforward and intuitive framework for exploring the Wigner rotation problem.[25]