Thomas precession

Last updated
Llewellyn Thomas (1903 - 1992) Thomas,Llewellyn 1926 Kopenhagen.jpg
Llewellyn Thomas (1903 – 1992)

In physics, the Thomas precession, named after Llewellyn Thomas, is a relativistic correction that applies to the spin of an elementary particle or the rotation of a macroscopic gyroscope and relates the angular velocity of the spin of a particle following a curvilinear orbit to the angular velocity of the orbital motion.

Physics Study of the fundamental properties of matter and energy

Physics is the natural science that studies matter, its motion and behavior through space and time, and that studies the related entities of energy and force. Physics is one of the most fundamental scientific disciplines, and its main goal is to understand how the universe behaves.

Llewellyn Thomas British physicist and mathematician

Llewellyn Hilleth Thomas was a British physicist and applied mathematician. He is best known for his contributions to atomic physics and solid-state physics, in particular:

Theory of relativity physical theory

The theory of relativity usually encompasses two interrelated theories by Albert Einstein: special relativity and general relativity. Special relativity applies to all physical phenomena in the absence of gravity. General relativity explains the law of gravitation and its relation to other forces of nature. It applies to the cosmological and astrophysical realm, including astronomy.


For a given inertial frame, if a second frame is Lorentz-boosted relative to it, and a third boosted relative to the second, but non-colinear with the first boost, then the Lorentz transformation between the first and third frames involves a combined boost and rotation, known as the "Wigner rotation" or "Thomas rotation". For accelerated motion, the accelerated frame has an inertial frame at every instant. Two boosts a small time interval (as measured in the lab frame) apart leads to a Wigner rotation after the second boost. In the limit the time interval tends to zero, the accelerated frame will rotate at every instant, so the accelerated frame rotates with an angular velocity.

Wigner rotation

In theoretical physics, the composition of two non-collinear Lorentz boosts results in a Lorentz transformation that is not a pure boost but is the composition of a boost and a rotation. This rotation is called Thomas rotation, Thomas–Wigner rotation or Wigner rotation. The rotation was discovered by Llewellyn Thomas in 1926, and derived by Wigner in 1939. If a sequence of non-collinear boosts returns an object to its initial velocity, then the sequence of Wigner rotations can combine to produce a net rotation called the Thomas precession.

The precession can be understood geometrically as a consequence of the fact that the space of velocities in relativity is hyperbolic, and so parallel transport of a vector (the gyroscope's angular velocity) around a circle (its linear velocity) leaves it pointing in a different direction, or understood algebraically as being a result of the non-commutativity of Lorentz transformations. Thomas precession gives a correction to the spin–orbit interaction in quantum mechanics, which takes into account the relativistic time dilation between the electron and the nucleus of an atom.

Hyperbolic geometry Non-Euclidean geometry

In mathematics, hyperbolic geometry is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with:

Parallel transport Construct in differential geometry

In geometry, parallel transport is a way of transporting geometrical data along smooth curves in a manifold. If the manifold is equipped with an affine connection, then this connection allows one to transport vectors of the manifold along curves so that they stay parallel with respect to the connection.

Lorentz transformation space-time coordinates transformation that conserves the form of electromagnetism laws

In physics, the Lorentz transformations are a one-parameter family of linear transformations from a coordinate frame in spacetime to another frame that moves at a constant velocity relative to the former. The respective inverse transformation is then parametrized by the negative of this velocity. The transformations are named after the Dutch physicist Hendrik Lorentz.

Thomas precession is a kinematic effect in the flat spacetime of special relativity. In the curved spacetime of general relativity, Thomas precession combines with a geometric effect to produce de Sitter precession. Although Thomas precession (net rotation after a trajectory that returns to its initial velocity) is a purely kinematic effect, it only occurs in curvilinear motion and therefore cannot be observed independently of some external force causing the curvilinear motion such as that caused by an electromagnetic field, a gravitational field or a mechanical force, so Thomas precession is usually accompanied by dynamical effects. [1]

Special relativity Theory of interwoven space and time by Albert Einstein

In physics, special relativity is the generally accepted and experimentally confirmed physical theory regarding the relationship between space and time. In Albert Einstein's original pedagogical treatment, it is based on two postulates:

  1. the laws of physics are invariant in all inertial frames of reference ; and
  2. the speed of light in a vacuum is the same for all observers, regardless of the motion of the light source or observer.
General relativity Einsteins theory of gravitation as curved spacetime

General relativity (GR), also known as the general theory of relativity or (GTR), is the geometric theory of gravitation published by Albert Einstein in 1915 and the current description of gravitation in modern physics. General relativity generalizes special relativity and refines Newton's law of universal gravitation, providing a unified description of gravity as a geometric property of space and time, or spacetime. In particular, the curvature of spacetime is directly related to the energy and momentum of whatever matter and radiation are present. The relation is specified by the Einstein field equations, a system of partial differential equations.

Electromagnetic field Electric and magnetic fields produced by moving charged objects

An electromagnetic field is a magnetic field produced by moving electrically charged objects. It affects the behavior of non-comoving charged objects at any distance of the field. The electromagnetic field extends indefinitely throughout space and describes the electromagnetic interaction. It is one of the four fundamental forces of nature.

If the system experiences no external torque, e.g., in external scalar fields, its spin dynamics is determined only by the Thomas precession. A single discrete Thomas rotation (as opposed to the series of infinitesimal rotations that add up to the Thomas precession) is present in situations anytime there are three or more inertial frames in non-collinear motion, as can be seen using Lorentz transformations.


Thomas precession in relativity was already known to Ludwik Silberstein, [2] in 1914. But the only knowledge Thomas had of relativistic precession came from de Sitter's paper on the relativistic precession of the moon, first published in a book by Eddington. [3]

Ludwik Silberstein was a Polish-American physicist who helped make special relativity and general relativity staples of university coursework. His textbook The Theory of Relativity was published by Macmillan in 1914 with a second edition, expanded to include general relativity, in 1924.

In 1925 Thomas relativistically recomputed the precessional frequency of the doublet separation in the fine structure of the atom. He thus found the missing factor 1/2, which came to be known as the Thomas half.

This discovery of the relativistic precession of the electron spin led to the understanding of the significance of the relativistic effect. The effect was consequently named "Thomas precession".



Consider a physical system moving through Minkowski spacetime. Assume that there is at any moment an inertial system such that in it, the system is at rest. This assumption is sometimes called the third postulate of relativity. [4] This means that at any instant, the coordinates and state of the system can be Lorentz transformed to the lab system through some Lorentz transformation.

Let the system be subject to external forces that produce no torque with respect to its center of mass in its (instantaneous) rest frame. The condition of "no torque" is necessary to isolate the phenomenon of Thomas precession. As a simplifying assumption one assumes that the external forces bring the system back to its initial velocity after some finite time. Fix a Lorentz frame O such that the initial and final velocities are zero.

The PauliLubanski spin vectorSμ is defined to be (0, Si) in the system's rest frame, with Si the angular-momentum three-vector about the center of mass. In the motion from initial to final position, Sμ undergoes a rotation, as recorded in O, from its initial to its final value. This continuous change is the Thomas precession. [5]


Value of g /(g + 1) as b = v/c increases, with v the instantaneous magnitude of the particle's velocity. The Thomas rotation is negligible for b < 0.5, increases steadily for 0.5 < b < 0.8, then rapidly shoots to infinity as b tends to 1. The "Thomas half" is evident in the low-speed limit, and the rotation is only very clear for speeds approaching that of light. Thomas precession coefficient.svg
Value of γ /(γ + 1) as β = v/c increases, with v the instantaneous magnitude of the particle's velocity. The Thomas rotation is negligible for β < 0.5, increases steadily for 0.5 < β < 0.8, then rapidly shoots to infinity as β tends to 1. The "Thomas half" is evident in the low-speed limit, and the rotation is only very clear for speeds approaching that of light.

Consider the motion of a particle. Introduce a lab frame Σ in which an observer can measure the relative motion of the particle. At each instant of time the particle has an inertial frame in which it is at rest. Relative to this lab frame, the instantaneous velocity of the particle is v(t) with magnitude |v| = v bounded by the speed of light c, so that 0 ≤ v < c. Here the time t is the coordinate time as measured in the lab frame, not the proper time of the particle.

Apart from the upper limit on magnitude, the velocity of the particle is arbitrary and not necessarily constant, its corresponding vector of acceleration is a = dv(t)/dt. As a result of the Wigner rotation at every instant, the particle's frame precesses with an angular velocity given by the [6] [7] [8] [9]

Thomas precession

where × is the cross product and

is the instantaneous Lorentz factor, a function of the particle's instantaneous velocity. Like any angular velocity, ωT is a pseudovector; its magnitude is the angular speed the particle's frame precesses (in radians per second), and the direction points along the rotation axis. As is usual, the right-hand convention of the cross product is used (see right-hand rule).

The precession depends on accelerated motion, and the non-collinearity of the particle's instantaneous velocity and acceleration. No precession occurs if the particle moves with uniform velocity (constant v so a = 0), or accelerates in a straight line (in which case v and a are parallel or antiparallel so their cross product is zero). The particle has to move in a curve, say an arc, spiral, helix, or a circular orbit or elliptical orbit, for its frame to precess. The angular velocity of the precession is a maximum if the velocity and acceleration vectors are perpendicular throughout the motion (a circular orbit), and is large if their magnitudes are large (the magnitude of v is almost c).

In the non-relativistic limit, v0 so γ → 1, and the angular velocity is approximately

The factor of 1/2 turns out to be the critical factor to agree with experimental results. It is informally known as the "Thomas half".

Mathematical explanation

Lorentz transformations

The description of relative motion involves Lorentz transformations, and it is convenient to use them in matrix form; symbolic matrix expressions summarize the transformations and are easy to manipulate, and when required the full matrices can be written explicitly. Also, to prevent extra factors of c cluttering the equations, it is convenient to use the definition β(t) = v(t)/c with magnitude |β| = β such that 0 ≤ β < 1.

The spacetime coordinates of the lab frame are collected into a 4×1 column vector, and the boost is represented as a 4×4 symmetric matrix, respectively

and turn

is the Lorentz factor of β. In other frames, the corresponding coordinates are also arranged into column vectors. The inverse matrix of the boost corresponds to a boost in the opposite direction, and is given by B(β)−1 = B(−β).

At an instant of lab-recorded time t measured in the lab frame, the transformation of spacetime coordinates from the lab frame Σ to the particle's frame Σ is






and at later lab-recorded time t + Δt we can define a new frame Σ for the particle, which moves with velocity β + Δβ relative to Σ, and the corresponding boost is






The vectors β and Δβ are two separate vectors. The latter is a small increment, and can be conveniently split into components parallel ( ‖ ) and perpendicular (⊥) to β [nb 1]

Combining ( 1 ) and ( 2 ) obtains the Lorentz transformation between Σ and Σ,






and this composition contains all the required information about the motion between these two lab times. Notice B(β + Δβ)B(−β) and B(β + Δβ) are infinitesimal transformations because they involve a small increment in the relative velocity, while B(−β) is not.

The composition of two boosts equates to a single boost combined with a Wigner rotation about an axis perpendicular to the relative velocities;






The rotation is given by is a 4×4 rotation matrix R in the axis–angle representation, and coordinate systems are taken to be right-handed. This matrix rotates 3d vectors anticlockwise about an axis (active transformation), or equivalently rotates coordinate frames clockwise about the same axis (passive transformation). The axis-angle vector Δθ parametrizes the rotation, its magnitude Δθ is the angle Σ has rotated, and direction is parallel to the rotation axis, in this case the axis is parallel to the cross product (−β)×(β + Δβ) = −β×Δβ. If the angles are negative, then the sense of rotation is reversed. The inverse matrix is given by Rθ)−1 = R(−Δθ).

Corresponding to the boost is the (small change in the) boost vector Δb, with magnitude and direction of the relative velocity of the boost (divided by c). The boost Bb) and rotation Rθ) here are infinitesimal transformations because Δb and rotation Δθ are small.

The rotation gives rise to the Thomas precession, but there is a subtlety. To interpret the particle's frame as a co-moving inertial frame relative to the lab frame, and agree with the non-relativistic limit, we expect the transformation between the particle's instantaneous frames at times t and t + Δt to be related by a boost without rotation. Combining ( 3 ) and ( 4 ) and rearranging gives






where another instantaneous frame Σ is introduced with coordinates X, to prevent conflation with Σ. To summarize the frames of reference: in the lab frame Σ an observer measures the motion of the particle, and three instantaneous inertial frames in which the particle is at rest are Σ (at time t), Σ (at time t + Δt), and Σ (at time t + Δt). The frames Σ and Σ are at the same location and time, they differ only by a rotation. By contrast Σ and Σ differ by a boost and lab time interval Δt.

Relating the coordinates X to the lab coordinates X via ( 5 ) and ( 2 );






the frame Σ is rotated in the negative sense.

The rotation is between two instants of lab time. As Δt → 0, the particle's frame rotates at every instant, and the continuous motion of the particle amounts to a continuous rotation with an angular velocity at every instant. Dividing −Δθ by Δt, and taking the limit Δt → 0, the angular velocity is by definition






It remains to find what Δθ precisely is.

Extracting the formula

The composition can be obtained by explicitly calculating the matrix product. The boost matrix of β + Δβ will require the magnitude and Lorentz factor of this vector. Since Δβ is small, terms of "second order" |Δβ|2, βx)2, βy)2, ΔβxΔβy and higher are negligible. Taking advantage of this fact, the magnitude squared of the vector is

and expanding the Lorentz factor of β + Δβ as a power series gives to first order in Δβ,

using the Lorentz factor γ of β as above.

Composition of boosts in the xy plane

To simplify the calculation without loss of generality, take the direction of β to be entirely in the x direction, and Δβ in the xy plane, so the parallel component is along the x direction while the perpendicular component is along the y direction. The axis of the Wigner rotation is along the z direction. In the Cartesian basis ex, ey, ez, a set of mutually perpendicular unit vectors in their indicated directions, we have

This simplified setup allows the boost matrices to be given explicitly with the minimum number of matrix entries. In general, of course, β and Δβ can be in any plane, the final result given later will not be different.

Explicitly, at time t the boost is in the negative x direction

and the boost at the time t + Δt is

where γ is the Lorentz factor of β, notβ + Δβ. The composite transformation is then the matrix product

Introducing the boost generators

and rotation generators

along with the dot product · facilitates the coordinate independent expression

which holds if β and Δβ lie in any plane. This is an infinitesimal Lorentz transformation in the form of a combined boost and rotation [nb 2]


After dividing Δθ by Δt and taking the limit as in ( 7 ), one obtains the instantaneous angular velocity

where a is the acceleration of the particle as observed in the lab frame. No forces were specified or used in the derivation so the precession is a kinematical effect - it arises from the geometric aspects of motion. However, forces cause accelerations, so the Thomas precession is observed if the particle is subject to forces.

Thomas precession can also be derived using the Fermi-Walker transport equation. [10] One assumes uniform circular motion in flat Minkowski spacetime. The spin 4-vector is orthogonal to the velocity 4-vector. Fermi-Walker transport preserves this relation. One finds that the dot product of the acceleration 4-vector with the spin 4-vector varies sinusoidally with time with an angular frequency Ύ ω, where ω is the angular frequency of the circular motion and Ύ=1/√⟨1-v^2/c^2). This is easily shown by taking the second time derivative of that dot product. Because this angular frequency exceeds ω, the spin precesses in the retrograde direction. The difference (γ-1)ω is the Thomas precession angular frequency already given, as is simply shown by realizing that that the magnitude of the 3-acceleration is ω v.


In electron orbitals

In quantum mechanics Thomas precession is a correction to the spin-orbit interaction, which takes into account the relativistic time dilation between the electron and the nucleus in hydrogenic atoms.

Basically, it states that spinning objects precess when they accelerate in special relativity because Lorentz boosts do not commute with each other.

To calculate the spin of a particle in a magnetic field, one must also take into account Larmor precession.

In a Foucault pendulum

The rotation of the swing plane of Foucault pendulum can be treated as a result of parallel transport of the pendulum in a 2-dimensional sphere of Euclidean space. The hyperbolic space of velocities in Minkowski spacetime represents a 3-dimensional (pseudo-) sphere with imaginary radius and imaginary timelike coordinate. Parallel transport of a spinning particle in relativistic velocity space leads to Thomas precession, which is similar to the rotation of the swing plane of a Foucault pendulum. [11] The angle of rotation in both cases is determined by the area integral of curvature in agreement with the Gauss–Bonnet theorem.

Thomas precession gives a correction to the precession of a Foucault pendulum. For a Foucault pendulum located in the city of Nijmegen in the Netherlands the correction is:

Note that it is more than two orders of magnitude smaller than the precession due to the general-relativistic correction arising from frame-dragging, the Lense–Thirring precession.

See also


  1. Explicitly, using vector projection and rejection relative to the direction of β gives
    but it is easier to simply use the parallel-perpendicular components.
  2. The rotation and boost matrices (each infinitesimal) are given by
    At the infinitesimal level, they commute with each other
    because the products θ·J)(Δb·K) and b·K)(Δθ·J) are negligible. The full boost and rotations do not commute in general.


  1. Malykin 2006
  2. Silberstein 1914 , p. 169
  3. Eddington 1924
  4. Goldstein 1980
  5. Ben-Menahem 1986
  6. Jackson 1975 , p. 543–546
  7. Goldstein 1980 , p. 288
  8. Sard 1970 , p. 280
  9. Sexl & Urbantke 1992 , p. 42
  10. Misner, Thorne, and Wheeler, Gravitation, p 165, pp 175-176
  11. Krivoruchenko 2009

Related Research Articles

Lorentz force mutual force exerted by two punctual charges in relative motion

In physics the Lorentz force is the combination of electric and magnetic force on a point charge due to electromagnetic fields. A particle of charge q moving with a velocity v in an electric field E and a magnetic field B experiences a force of

Four-vector Vector in special relativity well-behaved with respect to Lorentz transformations

In special relativity, a four-vector is an object with four components, which transform in a specific way under Lorentz transformation. Specifically, a four-vector is an element of a four-dimensional vector space considered as a representation space of the standard representation of the Lorentz group, the (½,½) representation. It differs from a Euclidean vector in how its magnitude is determined. The transformations that preserve this magnitude are the Lorentz transformations, which include spatial rotations and boosts.

The Lorentz factor or Lorentz term is the factor by which time, length, and relativistic mass change for an object while that object is moving. The expression appears in several equations in special relativity, and it arises in derivations of the Lorentz transformations. The name originates from its earlier appearance in Lorentzian electrodynamics – named after the Dutch physicist Hendrik Lorentz.

Velocity-addition formula Equation used in relativistic physics

In relativistic physics, a velocity-addition formula is a three-dimensional equation that relates the velocities of objects in different reference frames. Such formulas apply to successive Lorentz transformations, so they also relate different frames. Accompanying velocity addition is a kinematic effect known as Thomas precession, whereby successive non-collinear Lorentz boosts become equivalent to the composition of a rotation of the coordinate system and a boost.

In quantum physics, the spin–orbit interaction is a relativistic interaction of a particle's spin with its motion inside a potential. A key example of this phenomenon is the spin–orbit interaction leading to shifts in an electron's atomic energy levels, due to electromagnetic interaction between the electron's magnetic dipole, its orbital motion, and the electrostatic field of the positively charged nucleus. This phenomenon is detectable as a splitting of spectral lines, which can be thought of as a Zeeman effect product of two relativistic effects: the apparent magnetic field seen from the electron perspective and the magnetic moment of the electron associated with its intrinsic spin. A similar effect, due to the relationship between angular momentum and the strong nuclear force, occurs for protons and neutrons moving inside the nucleus, leading to a shift in their energy levels in the nucleus shell model. In the field of spintronics, spin–orbit effects for electrons in semiconductors and other materials are explored for technological applications. The spin–orbit interaction is one cause of magnetocrystalline anisotropy and the spin Hall effect.

In physics, relativistic mechanics refers to mechanics compatible with special relativity (SR) and general relativity (GR). It provides a non-quantum mechanical description of a system of particles, or of a fluid, in cases where the velocities of moving objects are comparable to the speed of light c. As a result, classical mechanics is extended correctly to particles traveling at high velocities and energies, and provides a consistent inclusion of electromagnetism with the mechanics of particles. This was not possible in Galilean relativity, where it would be permitted for particles and light to travel at any speed, including faster than light. The foundations of relativistic mechanics are the postulates of special relativity and general relativity. The unification of SR with quantum mechanics is relativistic quantum mechanics, while attempts for that of GR is quantum gravity, an unsolved problem in physics.

Theoretical motivation for general relativity

A theoretical motivation for general relativity, including the motivation for the geodesic equation and the Einstein field equation, can be obtained from special relativity by examining the dynamics of particles in circular orbits about the earth. A key advantage in examining circular orbits is that it is possible to know the solution of the Einstein Field Equation a priori. This provides a means to inform and verify the formalism.

In relativity, rapidity is commonly used as a measure for relativistic velocity. Mathematically, rapidity can be defined as the hyperbolic angle that differentiates two frames of reference in relative motion, each frame being associated with distance and time coordinates.

The history of Lorentz transformations comprises the development of linear transformations forming the Lorentz group or Poincaré group preserving the Lorentz interval and the Minkowski inner product .

Mathematical descriptions of the electromagnetic field Formulations of electromagnetism

There are various mathematical descriptions of the electromagnetic field that are used in the study of electromagnetism, one of the four fundamental interactions of nature. In this article, several approaches are discussed, although the equations are in terms of electric and magnetic fields, potentials, and charges with currents, generally speaking.

Proper velocity alternative to velocity for measuring motion in relativity theory

In relativity, proper velocity, also known as celerity, is an alternative to velocity for measuring motion. Whereas velocity relative to an observer is distance per unit time where both distance and time are measured by the observer, proper velocity relative to an observer divides observer-measured distance by the time elapsed on the clocks of the traveling object. Proper velocity equals velocity at low speeds. Proper velocity at high speeds, moreover, retains many of the properties that velocity loses in relativity compared with Newtonian theory.

Classical electromagnetism and special relativity Relationship between relativity and pre-quantum electromagnetism

The theory of special relativity plays an important role in the modern theory of classical electromagnetism. First of all, it gives formulas for how electromagnetic objects, in particular the electric and magnetic fields, are altered under a Lorentz transformation from one inertial frame of reference to another. Secondly, it sheds light on the relationship between electricity and magnetism, showing that frame of reference determines if an observation follows electrostatic or magnetic laws. Third, it motivates a compact and convenient notation for the laws of electromagnetism, namely the "manifestly covariant" tensor form.

Deformation (mechanics)

Deformation in continuum mechanics is the transformation of a body from a reference configuration to a current configuration. A configuration is a set containing the positions of all particles of the body.

In physics, relativistic quantum mechanics (RQM) is any Poincaré covariant formulation of quantum mechanics (QM). This theory is applicable to massive particles propagating at all velocities up to those comparable to the speed of light c, and can accommodate massless particles. The theory has application in high energy physics, particle physics and accelerator physics, as well as atomic physics, chemistry and condensed matter physics. Non-relativistic quantum mechanics refers to the mathematical formulation of quantum mechanics applied in the context of Galilean relativity, more specifically quantizing the equations of classical mechanics by replacing dynamical variables by operators. Relativistic quantum mechanics (RQM) is quantum mechanics applied with special relativity. Although the earlier formulations, like the Schrödinger picture and Heisenberg picture were originally formulated in a non-relativistic background, a few of them also works with special relativity.

Relativistic Lagrangian mechanics Mathematical formulation of special and general relativity

In theoretical physics, relativistic Lagrangian mechanics is Lagrangian mechanics applied in the context of special relativity and general relativity.

Relativistic angular momentum Angular momentum in special and general relativity

In physics, relativistic angular momentum refers to the mathematical formalisms and physical concepts that define angular momentum in special relativity (SR) and general relativity (GR). The relativistic quantity is subtly different from the three-dimensional quantity in classical mechanics.

Derivations of the Lorentz transformations

There are many ways to derive the Lorentz transformations utilizing a variety of physical principles, ranging from Maxwell's equations to Einstein's postulates of special relativity, and mathematical tools, spanning from elementary algebra and hyperbolic functions, to linear algebra and group theory.