2.11 Thomas Precession 

I feel it stealing now. Sentry, are you there? 
Just ease these darbies at the wrist, 
And roll me over fair! 
I am sleepy, and the oozy weeds about me twist. 
Herman Melville, 1891 

Consider a slanted rod AB in the xy plane moving at speed u in the positive y direction as indicated in the lefthand figure below. The A end of the rod crosses the x axis at time t = 0, whereas the B end does not cross until time t = 1. Hence we conclude that the rod is oriented at some nonzero angle with respect to the xyt coordinate system. However, suppose we view the same situation with respect to a system of inertial coordinates x'y't' (with x' parallel to x) moving in the positive x direction with speed v. In accord with special relativity, the x' and t' axes are skewed with respect to the x and t axes as shown in the righthand figure below. 



As a result of this skew, the B end of the rod crosses the x' axis at the same instant (i.e., the same t') as does the A end of the rod, which implies that the rod is parallel to the x' axis  and therefore to the x axis  based on the simultaneity of the x'y't' inertial frame. This implies that if a rod was parallel to the x axis and moving in the positive x direction with speed v, it would be perfectly aligned with the rod AB as the latter passed through the x' axis. Thus if a rod is initially aligned with the x axis and moving with speed v in the positive x direction relative to a given fixed inertial frame, and then at some instant with respect to the rod's inertial rest frame it instantaneously changes course and begins to move purely in the positive y direction, without ever changing its orientation, we find that its orientation does change with respect to the original fixed frame of reference. This is because the changes in the states of motion of the individual parts of the rod do not occur simultaneously with respect to the original rest frame. 

In general, whenever we transport a vector, always spatially parallel to itself in its own instantaneous rest frame, over an accelerated path, we find that its orientation changes relative to any given fixed inertial frame. This is the basic idea behind Thomas precession, named after Llewellyn Thomas, who first wrote about it in 1927. For a simple application of this phenomenon, consider a particle moving around a circular path. The particle undergoes continuous acceleration, but at each instant it is at rest with respect to the momentarily comoving inertial frame. If we consider the "parallel transport" of a vector around the continuous cycle of momentary inertial rest frames of the particle, we find that the vector does not remain fixed. Instead, it "precesses" as we follow it around the cycle. This relativistic precession (which has no counterpart in nonrelativistic physics) actually has observable consequences in the behavior of subatomic particles (see below). 

To understand how the Thomas precession for simple circular motion can be deduced from the basic principles of special relativity, we can begin by supposing the circular path of a particle is approximated by an nsided polygon, and consider the transition from one of these sides to the next, as illustrated below. 



Let v denote the circumferential speed of the particle in the counterclockwise direction, and note that a = 2p/n for an arbitrary nsided regular polygon. (In the drawing above we have set n = 8). The dashed lines represent the loci of positions of the spatial origins of two inertial frames K' and K" that are comoving with the particle on consecutive edges. 

Now suppose the vector ab at rest in K' makes an angle q_{1} with respect to the x axis (in terms of frame K), and suppose the vector AB at rest in K" makes an angle of q_{2} with respect to the x axis. The figure below shows the positions of these two vectors at several consecutive instants of the frame K. 



Clearly if q_{1} is not equal to q_{2}, the two vectors will not coincide at the instant when their origins coincide. However, this assumes we use the definition of simultaneity associated with the inertial coordinate system K (i.e., the rest system of the polygon). The system K' is moving in the positive x direction at the speed v, so its timeslices are skewed relative to those of the polygon's frame of reference. Because of this skew, it is possible for the vectors ab and AB to be parallel with respect to K' even though they are not parallel with respect to K. 

The equations of the moving vectors ab and AB are easily seen to be 

_{} 

This confirms that at t = 0 (or at any fixed t) these lines are not parallel unless q_{1} = q_{2}. However, if we substitute from the Lorentz transformation between the frames K and K' 

_{} 

where _{}, the equations of the moving vectors become 

_{} 

At t' = 0 these equations reduce to 

_{} 

In the limit as the number n of sides of the polygon increases and the angle a approaches zero, the value of cos(a) approaches 1 (to the second order), and the value of sin(a) approaches a. Hence the equations of the two moving vectors approach 

_{} 

Setting these equal to each other, multiplying through by g/x', and rearranging, we get the condition 

_{} 

Recalling the trigonometric identity 

_{} 

and noting that q_{1} approaches q_{2} in the limit as a goes to zero, the righthand factor on the right side can be taken as 

_{} 

where q is the limiting value of both q_{1} and q_{2} as a goes to zero. Making use of these substitutions, and also noting that tan(q_{2}  q_{1}) approaches q_{2}  q_{1}, the condition for the two families of lines to be parallel with respect to frame K' (in the limit as a goes to zero) is 

_{} 

This is the amount by which the two vectors are skewed with respect to the K frame due to the transition around a single vertex of the polygon, given that the transported vector makes an angle q with the edge leading into the vertex. The total precession resulting from one complete revolution around the nsided polygon is n times the mean value of q_{2}  q_{1} for each of the n vertices of the polygon. Since n = 2p/a, we can express the total precession as 

_{} 

If the circumferential speed v is small compared with 1, the denominator of this expression is closely approximated by 1, and the transported vector changes its absolute orientation only very slightly on one revolution. In this case it follows that q varies essentially uniformly from 0 to 2p as the vector is transported around the circle. Hence for small v the total precession for one revolution is given closely by 

_{} 

On the other hand, if v is not small, we can consider the general situation illustrated below: 



The variable f signifies the absolute angular position of the transported vector at any given time, and b signifies the vector's orientation relative to the positive y axis. As before, q denotes the angle of the vector relative to the local tangent "edge". We have the relations 

_{} 

We also have the following identifications involving the parameters f and b: 

_{} 

Substituting df + dq for db and rearranging, we get 

_{} 

This can be integrated explicitly to give f as a function of q. Since b equals f + q, we can also give b as a function of q, leading to the parametric equations 

_{} 

where _{}. One complete "branch" is given by allowing q to range from p/2 to p/2, giving the angle f from gp/2 to gp/2, and the angles b from (p/2)(1g) to (p/2)(1g). This is shown in the figure below. 



Consequently, a full cycle of f corresponds to 2/g times the above range, and so the average change in b per revolution (i.e., per 2p increase in f) is 

_{} 

This function is plotted in the figure below, along with the "small v" approximation. 



For all v less than 1 we can expand the general expression into a series 

_{} 

These expressions represent the average change per revolution, because the cycles of b do not in general coincide with the cycles of f. Resonance occurs when the ratio of the change in f to the change in b is rational. This is true if and only if there exist integers M,N such that 

_{} 

Adding 1 to both sides, we can set 1 + (M/N) equal to m/n for integers m and n, and we can then square both sides and rearrange to give, we find that the "resonant" values of v are given by 

_{} 

where m,n are integers with n less than m. 

We previously derived the lowspeed approximation of the amount Thomas precession for a vector subjected to "parallel transport" around a circle with a constant circumferential speed v in the form pv^{2} radians per revolution. Dividing this by 2p gives the average precession rate of v^{2}/2 in units of radians per radian (of travel around the circle). We can also determine the average rate of Thomas precession, with units of radians per second. Letting w_{o} denote the orbital angular velocity (i.e., the angular velocity with which the vector is transported around the circle of radius r), we have v = w_{o}r and a = v^{2}/r where a is the centripetal acceleration. Hence we have w_{o} = v/r = a/v, so multiplying v^{2}/2 by w_{o} gives the average Thomas precession rate w_{T} = va/2 in units of rad/sec, which represents a frequency of n_{T} = (v^{2}/2)n_{o} = va/(4p) cycles/sec. 

Since the magnitude pv^{2} of the Thomas precession is of the second order in v, we might be tempted to think it is insignificant for ordinary terrestrial phenomena, but the expression n_{T} = (v^{2}/2)n_{o} shows that the precession frequency can be quite large in absolute terms, even if v is small, provided n_{o} is sufficiently large. This occurs when the orbital radius r is very small, giving a very large acceleration for any given orbital velocity. Consider, for example, the orbit of an electron around the nucleus of an atom. An electron has intrinsic quantum "spin" which tends to maintain it's absolute orientation much as does a spinning gyroscope, so it can be regarded as a vector undergoing parallel transport. Now, according to the original (naive) Bohr model, the classical orbit of an electron around the nucleus is given by equating the Coulomb and centripetal forces 

_{} 

where e is the charge of an electron, m is the mass, e_{0} is the permittivity of the vacuum, and N is the atomic number of the nucleus, so the linear and angular speeds of the electron are 

_{} 

Bohr hypothesized that the angular momentum L = mvr can only be an integer multiple of h/(2p), so we have for some positive integer n 

_{} 

Therefore, the linear velocity and orbital frequency of an electron (in this simplistic model) are 

_{} 

where a = e^{2}/(2he_{0}) is the dimensionless "fine structure constant", whose value is approximately 1/137. (Remember that we are using units such that c = 1, so all distances are expressed in units of seconds.) For the lowest energy state of a hydrogen atom we have n = N = 1, so the linear speed of the electron is about 1/137. Consequently the precession frequency is (v^{2}/2) = 0.00002664 times the orbital frequency, which is a very small fraction, but it is still a very large frequency in absolute terms (1.755E11 cycles/sec) because the orbital frequency is so large. (Note that these are not the frequencies of photons emitted from the atom, because those correspond to quanta of light given off due to transitions from one energy level to another, whereas these are the theoretical orbital frequencies of the electron itself in Bohr's simple model.) 

Incidentally, there is a magnetic interaction between the electron and nucleus of some atoms that is predicted to cause the electron's spin axis to precess by +v^{2} radians per orbital radian, but the actual observed precession rate of the spin axes of electrons in such atoms is only +(v^{2}/2). For awhile after its discovery, there was no known explanation for this discrepancy. Only in 1927 did Thomas point out that special relativity implies the purely kinematic relativistic effect that now bears his name, which (as we've seen) yields a precession of (v^{2}/2) radians per orbital radian. The sum of this purely kinematic effect due to special relativity with the predicted effect due to the magnetic interaction yields the total observed +(v^{2}/2) precession rate. 

It's often said that the relativistic effect supplies a "factor of 2" (i.e., divides by 2) to the electron's precession rate. For example, Uhlenbeck wrote that 

...when I first heard about [the Thomas precession], it seemed unbelievable that a relativistic effect could give a factor of 2 instead of something of order v/c... Even the cognoscenti of relativity theory (Einstein included!) were quite surprised. 

(Uhlenbeck also told Pais that he didn't understand a word of Thomas's work when it first came out.) However, this description is somewhat misleading, because (as we've seen) the relativistic effect is actually additive, not multiplicative. It just so happens that a particular magnetic interaction yields a precession of twice the frequency, and the opposite sign, as the Thomas precession, so the sum of the two effects is half the size of the magnetic effect alone. Both of the effects are secondorder in the linear speed v/c. 
