Bell's spaceship paradox

File:Dewan-Beran-Bell-Paradox.svg

Above: In S the distance between the spaceships stays the same, while the string contracts. Below: In S′ the distance between the spaceships increases, while the string length stays the same.

Bell's spaceship paradox is a thought experiment in special relativity. It was first designed by E. Dewan and M. Beran in 1959 and became more widely known when J. S. Bell included a modified version. A delicate string or thread hangs between two spaceships. Both spaceships now start accelerating simultaneously and equally as measured in the inertial frame S, thus having the same velocity at all times in S. Therefore they are all subject to the same Lorentz contraction, so the entire assembly seems to be equally contracted in the S frame with respect to the length at the start. Therefore at first sight it might appear that the thread will not break during acceleration.

This argument, however, is incorrect as shown by Dewan & Beran and Bell. The distance between the spaceships does not undergo Lorentz contraction with respect to the distance at the start, because in S it is effectively defined to remain the same, due to the equal and simultaneous acceleration of both spaceships in S. It also turns out that the rest length between the two has increased in the frames in which they are momentarily at rest (S′), because the accelerations of the spaceships are not simultaneous here due to relativity of simultaneity. The thread, on the other hand, being a physical object held together by electrostatic forces, maintains the same rest length. Thus in frame S it must be Lorentz contracted, which result can also be derived when the electromagnetic fields of bodies in motion are considered. So, calculations made in both frames show that the thread will break; in S′ due to the non-simultaneous acceleration and the increasing distance between the spaceships, in S due to length contraction of the thread.

In the following, the rest length or proper length of an object is its length measured in the object's rest frame. (This length corresponds to the proper distance between two events in the special case, when these events are measured simultaneously at the endpoints in the object's rest frame.)

Dewan and Beran

Dewan and Beran stated the thought experiment by writing:

"Consider two identically constructed rockets at rest in an inertial frame S. Let them face the same direction and be situated one behind the other. If we suppose that at a prearranged time both rockets are simultaneously (with respect to S) fired up, then their velocities with respect to S are always equal throughout the remainder of the experiment (even though they are functions of time). This means, by definition, that with respect to S the distance between the two rockets does not change even when they speed up to relativistic velocities."

Then this setup is repeated again, but this time the back of the first rocket is connected with the front of the second rocket by a silk thread. They concluded:

"According to the special theory the thread must contract with respect to S because it has a velocity with respect to S. However, since the rockets maintain a constant distance apart with respect to S, the thread (which we have assumed to be taut at the start) cannot contract: therefore a stress must form until for high enough velocities the thread finally reaches its elastic limit and breaks."

Dewan and Beran also discussed the result from the viewpoint of inertial frames momentarily comoving with the first rocket, by applying a Lorentz transformation:

"Since $\scriptstyle t'=(t-vx/c^{2})/\sqrt{1-v^{2}/c^{2}}$, (..) each frame used here has a different synchronization scheme because of the $vx/c^{2}$ factor. It can be shown that as $v$ increases, the front rocket will not only appear to be a larger distance from the back rocket with respect to an instantaneous inertial frame, but also to have started at an earlier time."

They concluded:

"One may conclude that whenever a body is constrained to move in such a way that all parts of it have the same acceleration with respect to an inertial frame (or, alternatively, in such a way that with respect to an inertial frame its dimensions are fixed, and there is no rotation), then such a body must in general experience relativistic stresses."

Then they discussed the objection, that there should be no difference between a) the distance between two ends of a connected rod, and b) the distance between two unconnected objects which move with the same velocity with respect to an inertial frame. Dewan and Beran removed those objections by arguing:

• Since the rockets are constructed exactly the same way, and starting at the same moment in S with the same acceleration, they must have the same velocity all of the time in S. Thus they are traveling the same distances in S, so their mutual distance cannot change in this frame. Otherwise, if the distance were to contract in S, then this would imply different velocities of the rockets in this frame as well, which contradicts the initial assumption of equal construction and acceleration.
• They also argued that there indeed is a difference between a) and b): Case a) is the ordinary case of length contraction, based on the concept of the rod's rest length l₀ in S₀, which always stays the same as long as the rod can be seen as rigid. Under those circumstances, the rod is contracted in S. But the distance cannot be seen as rigid in case b) because it is increasing due to unequal accelerations in S₀, and the rockets would have to exchange information with each other and adjust their velocities in order to compensate for this – all of those complications don't arise in case a).

Bell

File:Dewan-Beran-Bell-Paradox2.svg

Vertical arrangement as suggested by Bell.

In Bell's version of the thought experiment, three spaceships A, B and C are initially at rest in a common inertial reference frame, B and C being equidistant to A. Then a signal is sent from A to reach B and C simultaneously, causing B and C starting to accelerate in the vertical direction (having been pre-programmed with identical acceleration profiles), while A stays at rest in its original reference frame. According to Bell, this implies that B and C (as seen in A's rest frame) "will have at every moment the same velocity, and so remain displaced one from the other by a fixed distance." Now, if a fragile thread is tied between B and C, it's not long enough anymore due to length contractions, thus it will break. He concluded that "the artificial prevention of the natural contraction imposes intolerable stress".

Bell reported that he encountered much skepticism from "a distinguished experimentalist" when he presented the paradox. To attempt to resolve the dispute, an informal and non-systematic survey of opinion at CERN was held. According to Bell, there was "clear consensus" which asserted, incorrectly, that the string would not break. Bell goes on to add,

"Of course, many people who get the wrong answer at first get the right answer on further reflection. Usually they feel obliged to work out how things look to observers B or C. They find that B, for example, see C drifting further and further behind, so that a given piece of thread can no longer span the distance. It is only after working this out, and perhaps only with a residual feeling of unease, that such people finally accept a conclusion which is perfectly trivial in terms of A's account of things, including the Fitzgerald contraction."

Importance of length contraction

In general, it was concluded by Dewan & Beran and Bell, that relativistic stresses arise when all parts of an object are accelerated the same way with respect to an inertial frame, and that length contraction has real physical consequences. For instance, Bell argued that the length contraction of objects as well as the lack of length contraction between objects in frame S can be explained using relativistic electromagnetism. The distorted electromagnetic intermolecular fields cause moving objects to contract, or to become stressed if hindered from doing so. In contrast, no such forces act on the space between objects. (Generally, Richard Feynman demonstrated how the Lorentz transformation can be derived from the case of the potential of a charge moving with constant velocity (as represented by the Liénard–Wiechert potential). As to the historical aspect, Feynman alluded to the circumstance that Hendrik Lorentz arrived essentially the same way at the Lorentz transformation, see also History of Lorentz transformations.)

However, Petkov (2009) and Franklin (2009) interpret this paradox differently. They agreed with the result that the string will break due to unequal accelerations in the rocket frames, which causes the rest length between them to increase (see the Minkowski diagram in the analysis section). However, they denied the idea that those stresses are caused by length contraction in S. This is because, in their opinion, length contraction has no "physical reality", but is merely the result of a Lorentz transformation, i.e. a rotation in four-dimensional space which by itself can never cause any stress at all. Thus the occurrence of such stresses in all reference frames including S and the breaking of the string is supposed to be the effect of relativistic acceleration alone.

Discussions and publications

Paul Nawrocki (1962) gives three arguments why the string should not break, while Edmond Dewan (1963) showed in a reply that his original analysis still remains valid. Many years later and after Bell's book, Matsuda and Kinoshita reported receiving much criticism after publishing an article on their independently rediscovered version of the paradox in a Japanese journal. Matsuda and Kinoshita do not cite specific papers, however, stating only that these objections were written in Japanese.

However, in most publications it is agreed that stresses arise in the string, with some reformulations, modifications and different scenarios, such as by Evett & Wangsness (1960), Dewan (1963), Romain (1963), Evett (1972), Gershtein & Logunov (1998), Tartaglia & Ruggiero (2003), Cornwell (2005), Flores (2005), Semay (2006), Styer (2007), Freund (2008), Redzic (2008), Peregoudov (2009), Redžić (2009), Gu (2009), Petkov (2009), Franklin (2009), Miller (2010), Fernflores (2011), Kassner (2012). A similar problem was also discussed in relation to angular accelerations: Grøn (1979), MacGregor (1981), Grøn (1982, 2003).

Analysis

Rotating disc

Bell's spaceship paradox is not about preserving the rest length between objects (as in Born rigidity), but about preserving the distance in an inertial frame relative to which the objects are in motion, for which the Ehrenfest paradox is an example. Historically, Albert Einstein had already recognized in the course of his development of general relativity, that the circumference of a rotating disc is measured to be larger in the corotating frame than the one measured in an inertial frame. Einstein explained in 1916:

"We suppose that the circumference and diameter of a circle have been measured with a standard measuring rod infinitely small compared with the radius, and that we have the quotient of the two results. If this experiment were performed with measuring rods at rest relatively to the Galilean system K′, the quotient would be π. With measuring rods at rest relatively to K, the quotient would be greater than π. This is readily understood if we envisage the whole process of measuring from the "stationary" system K′, and take into consideration that the measuring rods applied to the periphery undergoes a Lorentz contraction, while the ones applied along the radius do not. Hence Euclidean geometry does not apply to K."

As pointed out more precisely by Einstein in 1919, the relation is given

$U=\gamma U_{0}$,

$U$ being the circumference in the corotating frame, $U_0$ in the laboratory frame, $\gamma$ is the Lorentz factor $1/\sqrt{1-v^{2}/c^{2}}$. Therefore it's impossible to bring a disc from the state of rest into rotation in a Born rigid manner. Instead, stresses arise during the phase of accelerated rotation, until the disc enters the state of uniform rotation.

Accelerating ships

Minkowski diagram: The world lines (navy blue curves) of two observers A and B who accelerate in the same direction with the same constant magnitude acceleration. At A′ and B′, the observers stop accelerating. The dotted line is a "line of simultaneity" for either observer after acceleration stops.

250px

Loedel diagram: Length $L'$ between the ships in S′ after acceleration is longer than the previous length $L'_{old}$ in S′, and longer than the unchanged length $L$ in S. The dashed lines indicate the broken string in S and S′.

Similarly, in the case of Bell's spaceship paradox the relation between the initial rest length $L$ between the ships (identical to the moving length in S after acceleration) and the new rest length $L'$ in S′ after acceleration, is:

$L'=\gamma L$.

This length increase can be calculated in different ways. For instance, if the acceleration is finished the ships will constantly remain at the same location in the final rest frame S′, so it's only necessary to compute the distance between the x-coordinates transformed from S to S′. If $x_{A}$ and $x_{B}=x_{A}+L$ are the ships' positions in S, the positions in their new rest frame S′ are:

$\begin{align} x'_{A}& = \gamma\left(x_{A}-vt\right)\\ x'_{B}& = \gamma\left(x_{A}+L-vt\right)\\ L'& = x'_{B}-x'_{A}\\ & =\gamma L \end{align}$

Another method was shown by Dewan (1963) who demonstrated the importance of relativity of simultaneity. The perspective of frame S′ is described, in which both ships will be at rest after the acceleration is finished. The ships are accelerating simultaneously at $t_A = t_B$ in S (assuming acceleration in infinitesimal small time), though B is accelerating and stopping in S′ before A due to relativity of simultaneity, with the time difference:

$\begin{align} \Delta t' & = t'_{B}-t'_{A}=\gamma\left(t_{B}-\frac{vx_{B}}{c^{2}}\right)-\gamma\left(t_{A}-\frac{vx_{A}}{c^{2}}\right)\\ & = \frac{\gamma vL}{c^{2}} \end{align}$

Since the ships are moving with the same velocity in S′ before acceleration, the initial rest length $L$ in S is shortened in S′ by $L'_{old}=L/\gamma$ due to length contraction. This distance starts to increase after B came to stop, because A is now moving away from B with constant velocity during $\Delta t'$ until A stops as well. Dewan arrived at the relation (in different notation):

$\begin{align} L'& = L'_{old}+v\Delta t'=\frac{L}{\gamma}+\frac{\gamma v^{2}L}{c^{2}}\\ & = \gamma L \end{align}$

It was also noted by several authors that the constant length in S and the increased length in S′ is consistent with the length contraction formula $L=L'/\gamma$, because the initial rest length $L$ is increased by $\gamma$ in S′, which is contracted in S by the same factor, so it stays the same in S:

$L_{contr.}=L'/\gamma=\gamma L/\gamma=L$

Summarizing: While the rest distance between the ships increases to $\gamma L$ in S′, the relativity principle requires that the string (whose physical constitution is unaltered) maintains its rest length $L$ in its new rest system S′. Therefore it breaks in S′ due to the increasing distance between the ships. As explained above, the same is also obtained by only considering the start frame S using length contraction of the string (or the contraction of its moving molecular fields) while the distance between the ships stays the same due to equal acceleration.

Born rigidity

The mathematical treatment of this paradox is similar to the treatment of Born rigid motion. However, rather than ask about the separation of spaceships with the same acceleration in an inertial frame, the problem of Born rigid motion asks, "What acceleration profile is required by the second spaceship so that the distance between the spaceships remains constant in their proper frame?" In order for the two spaceships, initially at rest in an inertial frame, to maintain a constant proper distance, the lead spaceship must have a lower proper acceleration.

See also

• Hyperbolic motion (relativity)
• Physical paradox
• Rindler coordinates
• Supplee's paradox
• Twin paradox

External links

• Michael Weiss, Bell's Spaceship Paradox (1995), USENET Relativity FAQ