1.8 More Symmetry 

I cannot quite imagine it possible that any physical meaning be afforded to substitutions of reciprocal radii… It does seem to me that you are very much overestimating the value of purely formal approaches… 
Albert Einstein to Felix Klein in 1916 

We saw in previous sections that Maxwell’s equations are invariant under Lorentz transformations, as well as translations and spatial rotations. Together these transformations comprise the Poincare group. Of course, Maxwell’s equations are also invariant under spatial and temporal reflections, but it is often overlooked that in addition to all these linear transformations, Maxwell’s equations possess still another symmetry, namely, the symmetry of spacetime inversion. In a sense, an inversion is a kind of reflection about a surface in spacetime, analogous to inversions about circles in projective geometry, the only difference being that the Minkowski interval is used instead of the Euclidean line element. 

Consider two events E_{1} and E_{2} that are nullseparated from each other, meaning that the absolute Minkowski interval between them is zero in terms of an inertial coordinate system x,y,z,t. Let s_{1} and s_{2} denote the absolute intervals from the origin to these two events (respectively). Under an inversion of the coordinate system about the surface at an absolute interval R from the origin (which may be chosen arbitrarily), each event located on a given ray through the origin is moved to another point on that ray such that its absolute interval from the origin is changed from s to R^{2}/s. Thus the hyperbolic surfaces outside of R are mapped to surfaces inside R, and vice versa. 

To prove that two events originally separated by a null Minkowski interval are still nullseparated after the coordinates have been inverted, note that the ray from the origin to the event E_{j} can be characterized by constants a_{j}, b_{j}, g_{j} defined by 

_{} 

In terms of these parameters the magnitude of the interval from the origin to E_{j} can be written as 

_{} 

The squared interval between E_{1} and E_{2} can then be expressed as 

_{} 

where 
_{} 

Since inversion leaves each event on its respective ray, the value of K_{12} for the inverted coordinates is the same as for the original coordinates, so the only effect on the Minkowski interval between E_{1} and E_{2} is to replace s_{1} and s_{2} with R^{2}/s_{1} and R^{2}/s_{2} respectively. Therefore, the squared Minkowski interval between the two events in terms of the inverted coordinates is 

_{} 

The quantity in parentheses on the right side is just the original squared interval, so if the interval was zero in terms of the original coordinates, it is zero in terms of the inverted coordinates. Thus inversion of a system of inertial coordinates yields a system of coordinates in which all the null intervals are preserved. It was shown in 1910 by Bateman and (independently) Cunningham that this is the necessary and sufficient condition for Maxwell’s equations to be invariant. Incidentally, Einstein was dismissive of this invariance when Felix Klein asked him about it. He wrote 

I am convinced that the covariance of Maxwell’s formulas under transformation according to reciprocal radii can have no deeper significance; although this transformation retains the form of the equations, it does not uphold the correlation between coordinates and the measurement results from measuring rods and clocks. 

Einstein was similarly dismissive of Minkowski’s “formal approach” to spacetime at first, but later came to appreciate the profound significance of it. In any case, it’s interesting to note that straight lines in inertial coordinate systems map to straight or hyperbolic paths under inversion. This partly accounts for the fact that, according to the LorentzDirac equations of classical electrodynamics, perfect hyperbolic motion is inertial motion, in the sense that there are freebody solutions describing particles in hyperbolic motion, and a charged particle in hyperbolic motion does not radiate. 

It’s also interesting that the relativistic formula for composition of two speeds is invariant under inversion of the arguments about the speed c, i.e., replacing each speed v with c^{2}/v, which is the phase velocity of the de Broglie wave of a particle moving with speed v. Thus the composition of the velocities of two particles is the same, whether we use the particle velocities or the phase velocities of the associated matter waves. In other words, letting f(u,v) denote the composition of the (colinear) speeds u and v, and choosing units so that c = 1, we impose the three requirements 

_{} 

The first two requirements are satisfied by both the Galilean and the Lorentzian composition formulas, but the third requirement is not satisfied by the Galilean formula, because that gives 

_{} 

However, the relativistic composition function gives 

_{} 

so it does comply with all three requirements. This singles out the composition law with k = 1 from the previous chapter. As indicated by Einstein’s reply to Klein, the physical significance of such ‘inversion symmetries’ is obscure. Of course, this speed inversion is not equivalent to the spacetime inversion discussed previously, but they are formally very similar. We should also note that our speed composition relationship is not symmetrical under replacement of all three speeds by their phase velocities, but only under replacement of any two of them. 

To clarify this, recall that we had derived at the end of the previous chapter the relation 

_{} 

where u = v_{12}, v = v_{23}, and w = v_{31}. The symbol v_{ij} signifies the speed of the ith particle in terms of the inertial rest frame coordinates of the jth particle. With k = 0 this corresponds to the Galilean speed composition formula, which clearly is not invariant under inversion of any or all of the speeds. For any nonzero value of k, equation (1) can be rewritten in the form 

_{} 

Squaring both sides of this equation gives the equality 

_{} 

If we replace each speed with its inversion in this formula, and then multiply through by (uvw)^{2} / k^{3} we get 

_{} 

which is equivalent to the preceding formula if and only if 

_{} 

Hence the speed composition formula is invariant under inversion if k = ±1. The case k = 1 is equivalent to the case k = +1 if each speed is taken to be imaginary (corresponding to the use of an imaginary time axis), so without loss of generality we can choose k = +1 with real speeds. There remains, however, the ambiguity introduced by squaring both sides of equation (2), suppressing the signs of the factors. Equation (2) itself, without squaring, is invariant under inversion of any two of the speeds, but the inversion of all three speeds changes the sign of the right side. Thus by squaring both sides of (2) we make it consistent with either of the two complementary relations 

_{} 

The left hand relation is invariant under inversion of any two of the speeds, whereas the right hand relation is invariant under inversion of one or all three of the speeds. The question, then, is why the first formula applies rather than the second. To answer this, we should first point out that, despite the formal symmetry of the quantities u,v,w in these equations, they are not conceptually symmetrical. Two of the quantities are implicitly defined in terms of one inertial coordinate system, and the third quantity is defined in terms of a different inertial coordinate system. 

In general, there are nine conceptually distinct speeds for three colinear particles in terms of the three rest frame coordinate systems, namely 

_{} 

where v_{ij} is the speed of the ith particle in terms of the inertial rest frame coordinates of the jth particle. By definition we have v_{ii} = 0 and by reciprocity we have v_{ij} = v_{ji}, so the speeds comprise an antisymmetric array. Thus, although the three speeds v_{12}, v_{23}, v_{31} are nominally defined in terms of three different systems of coordinates, any two of them can be expressed in terms of a single coordinate system by invoking the reciprocity relation. For example, the three quantities v_{12}, v_{23}, v_{31} can be expressed in the form v_{12}, v_{32}, v_{31}, which signifies that the first two speeds are both defined in terms of the rest frame coordinates of frame 2. However, the remaining speed does not have a direct expression in terms of that frame, so a composition formula is needed to relate all three quantities. We’ve seen that the relativistic composition formula yields the same value for the third speed (e.g., the speed defined in terms of frame 1) regardless of whether we use the two other speeds (e.g., the speeds defined in terms of frame 2) or their reciprocals. 

To more clearly exhibit the peculiar 2+1 symmetry of this velocity composition law, note that it can be expressed in multiplicative form as 

_{} 

where v_{ij} denotes the speed of object j with respect to object i. Clearly if we replace any two of the speeds with their reciprocals, the relation remains unchanged. On the other hand, if we replace just one or all three of the speeds with their reciprocals, their product is still unity, but the sign is negated. Thus, one way of expressing the full symmetry of this relation would be to square both sides, giving the result 

_{} 

which is completely invariant under any replacement of one or more speeds with their respective reciprocals. Naturally we can extend the product of factors of the form (1+v_{ij})/(1v_{ij}) to any cyclical sequence of relative speeds between any number of colinear points. 

It’s interesting to note the progression of relations between the speeds involving one, two, and three particles. The relativity of position is expressed by the identity 

_{} 

for any one particle, and the relativity of velocity can be expressed by the skew symmetry 

_{} 

for any two systems particles. (This was referred to earlier as the reciprocity condition v_{ij} = v_{ji}.) The next step is to consider the cyclic sum involving three particles and their respective inertial rest frame coordinate systems. This is the key relation, because all higherorder relations can be reduced to this. If acceleration were relative (like position and velocity), we would expect the cyclic symmetry v_{ij} + v_{jk} + v_{ki} = 0, which is a linear function of all three components. Indeed, this is the Galilean composition formula. However, since acceleration is absolute, it's to be expected that the actual relation is nonlinear in each of the three components. So, instead of vanishing, we need the right side of this sum to be a symmetric function of the terms. The only other odd elementary symmetric function of three quantities is the product of all three, so we're led (again) to the relation 

_{} 

which can be regarded as the law of inertia. Since there is only one odd elementary symmetric function of one variable, and likewise for two variables, the case of three variables is the first for which there exists a nontautological expression of this form. 

We may also note a formal correspondence with De Morgan's law for logical statements. Letting sums denote logical ORs (unions), products denote logical ANDs (intersections), and overbars denote logical negation, De Morgan’s law states that 

_{} 

for any three logical variables X,Y,Z. Now, using the skew symmetry property, we can "negate" each velocity on the right hand side of the previous expression to give 

_{} 

From this standpoint the right hand side is analogous to the "logical negation" of the left hand side, which makes the relation analogous to setting the quantity equal to zero. The justification for regarding this relation as the source of inertia becomes more clear in Section 2.3, which describes how the relativistic composition law for velocities accounts for the increasing inertia of an accelerating object. This leads to the view that inertia itself is, in some sense, a consequence of the nonlinearity of velocity compositions. 

Given the composition law u' = (u+v)/(1+uv) for colinear speeds, what can we say about the transformation of the coordinates x and t themselves under the action of the velocity v? The composition law can be written in the form vuu'+u'u = v, which has a natural factorization if we multiply through by v and subtract 1 from both sides, giving 

_{} 

If u and u' are taken to be the spatiotemporal ratios x/t and x'/t', the above relation can be written in the form 

_{} 

On the other hand, remembering that we can insert the reciprocals of any two of the quantities u, u', v without disturbing the equality, we can take u and u' to be the temporalspatial ratios t/x and t'/x' in (3) to give 

_{} 

These last two equations immediately give 

_{} 

Treating the primed and unprimed frames equivalently, and recalling that v' = v, we see that (4) has a perfectly symmetrical factorization, so we exploit this factorization to give the transformation equations 

_{} 

These are the Lorentz transformations for velocity v in the x direction. The y and z coordinates are unaffected, so we have y' = y and z' = z. From this it follows that the quantity t^{2} – x^{2} – y^{2} – z^{2} is invariant under a general Lorentz transformation, so we have arrived (again) at the full Minkowski spacetime metric. 

For another way to depict the structure of spacetime, involving a different kind of inversion, note that for any given inertial coordinate system x,t, we can associate with each event an angle q defined by tan(q) = t/x. Thus the interval from the origin to the point x,t makes an angle q with the positive x axis, and we have t = x tan(q), so we can express the squared magnitude of a spacelike interval as 

_{} 

Multiplying through by cos(q)^{2} gives 

_{} 

Substituting t^{2} / tan(q)^{2} for x^{2} gives the analogous expression 

_{} 

Adding these two expressions gives the result 

_{} 

Consequently the "circular" locus of events satisfying x^{2} + t^{2} = r^{2} for any fixed r can be represented in polar coordinates (s,q) by the equation 

_{} 

which is the equation of two lemniscates, represented by the two perpendicular “infinity symbols” in the figure below (with real spacelike and imaginary timelike values of s). 


The lemniscate was first discussed by Jakob Bernoulli in 1694, as the locus of points satisfying the equation 

_{} 

which is, in Bernoulli's words, "a lying eightlike figure, folded in a knot of a bundle, or of a lemniscus, a knot of a French ribbon". (The study of this curve led Fagnano, Euler, Legendre, Gauss, and others to the discovery of addition theorems for integrals, of which the relativistic velocity composition law is an example.) Notice that the lemniscate is the inverse (in the sense of inversive geometry) of the hyperbola relative to the circle of radius k. In other words, if we draw a line emanating from the origin and it strikes the lemniscate at the radius s, then it strikes the hyperbola at the radius R where sR = k^{2}. This follows from the fact that the equation for a hyperbola in polar coordinates is R^{2} = k^{2}/[e^{2} cos(q)^{2}  1] where e is the eccentricity, and for an orthogonal hyperbola we have e =_{}. Hence the denominator is 2cos(q)^{2}  1 = cos(2q), and the equation of the hyperbola is R^{2} = k^{2}/cos(2q). Since the polar equation for the lemniscate is s^{2} = k^{2}cos(2q) we have sR = k^{2}. 
