The Twin Paradox (III)

This blog post is a sequel of the blog posts 1 and 2.

Special relativity is very simple and elegant theory of symmetry (ignore the last word if you are not familiar with it). Sometimes, a naive thinking may lead to the contradictions in the relativistic physics. For instance consider a tunnel and a train of same proper length L_0 with some constant relative velocity between them. There is an observer sitting outside the tunnel (observer A) and one sitting in the train (observer B). Now observer A will see the length of the train little shorter than the tunnel and observer B will see the length of tunnel little shorter than train (relativistic length contraction). Let the tunnel be a special one having two doors at the front (from which the train enters the tunnel) and at the end, capable of shutting down simultaneously. Observer A controls the doors. Now since the length of the train is smaller then that of tunnel according to A, she decides to shut down both the doors at that point of time when she sees the train completely inside the tunnel. On the other hand, the observer sitting in the train will deny the fact that the train can be captured by the tunnel as the train is longer than the tunnel according to her. But relativity says that the physics is invariant in any inertial frame therefore both the observers must concur on the facts (whether the train passes or gets captured).

The paradox is resolved by the fact that the shutting of doors is simultaneous in the coordinate chart of observer A and not in the frame of observer B (we have seen in previous blog post, the notion of simultaneity is frame dependent). The observer B sees the door at the end shutting first, which stops the train instantaneously (infinite acceleration), and then the door at front closing. Therefore both the observers will report the same fact, that is, the tunnel captures the train. Here we emphasize again, the events may not be mapped to same coordinates in different coordinate charts. To map the coordinates, of an event, form one inertial coordinate system to another, we must use Lorentz transformation.

Another common paradox that arises is as follows. Consider two twins Alice and Bob living in an inertial coordinate system at same location. Alice starts traveling in a spaceship, moving with a constant relative speed, say .6 meters per light second with respect to Bob along x-axis, for some time (in the frame of the observer B) and then comes back to Bob with same the relative velocity. Now, naively, one can say that according to Bob, the time of Alice goes slower than him, hence when Alice returns, he must age more. According to Alice, Bob’s time goes slowly (moving clocks are slower for Alice too!) and therefore Alice should age more when she returns. But both Alice and Bob should agree on the same fact and here lies the paradox which everyone comes by when studying the relativity for the first time.

We will attack this problem from the perspective of the naive thinking which is based on the assumption that the physical phenomenon is symmetric from the point of view of Alice and Bob. So first let us think how many coordinate charts we require to study the problem?

No, not two but three. In first coordinate chart (of observer B) Bob is at rest at some position (from where Alice starts her journey). In second coordinate chart (of observer A), Alice is at rest at some position when going away from Bob and in third coordinate chart (of observer A’), Alice is at rest at some position when returning back towards Bob. Also note that Alice and Bob are not observers according to our definition in the blog post. So it is Alice who “jumps” from one coordinate chart to another whereas Bob remains in the same frame of reference. Thus the physical phenomenon is not symmetric from the point of view of Alice and Bob.

The word “jumps” has been used because we assume that she accelerated infinitely when changing her direction. Now the postulates of special relativity being valid for the inertial frames doesn’t mean that we can’t study accelerated objects. We can perfectly study the accelerated objects by using the notion of comoving frames. In our example, second and third frames are the comoving frames for Alice. Similarly one can study finitely accelerating objects by considering a series of jumps (of the system) from one comoving frame to another.

The the Minkowski graph of the observer B is (tracking of the coordinate x is not necessary). Different colors represent the time coordinate axis of different frames.BIn this graph, the green line is the world line of Bob and the world line of Alice is represented by the violet line and red line. One can clearly see that Bob ages by 30 light seconds and Alice ages by 24 light seconds.

Now let us look at the graph of the observer AA1
Here one can observe that in the coordinate chart of observer A, Alice ages faster than Bob for half of her trip. For the next half, she ages much slower then Bob (who ages 30 light seconds) such the in the end of the journey, Alice ages less (again 24 light seconds) than Bob.

And finally we see the graph of the observer A’A2

From these three graphs we see that all the observers (A, A’ and B) agree that Bob has aged more than Alice in this trip, by 6 light seconds. It means all the inertial observers observed the same physical phenomenon, as required by the first postulate of special relativity, thus resolving the twin paradox.

Special relativity in Minkowski graph (II)

In the previous blog post we noted that the Lorentz transformation is the map from one inertial coordinate system to another. This means that the coordinates of a person standing on the platform can be mapped to the coordinates of the person sitting in the train using the transformation, which results from special relativity postulates, and quantitative analysis of the physical phenomenon can be done in both the frames.

We also note that these inertial frames (coordinate systems) are same in nature (that is the reason why we used the same constant c in both the coordinate systems). In other words, no inertial frame is to be given any sort of preference. If you like, you can think a 4 dimensional grid of space and time built from the 4 dimensional version of a unit cube. The 2 dimensional version of this grid is shown in the figure of coordinate chart below.

Now this grid must be exactly same for all the coordinate systems (henceforth, we will talk of inertial coordinate systems only). Therefore the grids in coordinate charts 1, 2 and 3 (of different inertial observers) are congruent. All that differs is the mapping of same spacetime events. For instance the green dots represent the events of aging of Bob. Now this set of spacetime events is mapped differently in different frames as shown.

More precisely, one meter “of” a coordinate system should be equal to one meter “of” any other coordinate system and so must be the case with one second (I am really not sure which preposition to use here, but I think “of” should convey the message). These units of measure which define the grid size, are same for all the frames and are termed as “proper length” and “proper time”. Although, a rod (a set of special spacetime events defined later) of one meter in one frame might not be one meter in other coordinate system. In fact Lorentz transformation makes sure that the length is contracted by a factor of \gamma = 1/\sqrt{1-\frac{v^2}{c^2}} (https://en.wikipedia.org/wiki/Length_contraction). We will also explain this phenomenon later in this post.

The German mathematician Hermann Minkowski utilized the property of coordinate charts (maps from manifold to \mathbb{R}^4) in making a useful geometrical tool called Minkowski graph. The idea is that on a graph paper we have two dimensions at our disposal. And, the Lorentz transformation shows that if relative velocity between two frames is along x-axis then the map of the coordinates y and z to another coordinate system is identity. Therefore we consider the map from the events in the spacetime manifold to \mathbb{R}^2 space (our graph paper) which includes only two coordinates x and t as shown in the figure.

chart

In this coordinate system (frame of reference), the event A has been assigned the coordinates (5,3). Also note that the time axis has been divided by the constant c and, here, we define one light second as the time taken by light to travel one meter (or inverse of c).

Now each point in this graph (coordinate system) represents an event in the spacetime manifold. As the consequence, the evolution of a particle in the spacetime is mapped to a trajectory in the graph (which is drawn by the observer at the origin). This trajectory is called the “world line” of the particle. On carefully examining the transformations, one can note that when the relative speed between two frames is greater than the constant c (which we now set to unity) then the factor \gamma becomes imaginary. Furthermore, the factor approaches infinity when the relative speed approaches unity. In relativistic dynamics the total energy of a free massive particle is directly proportional to \gamma. Hence it would require infinite amount of energy to accelerate a particle near the speed of light.

The slope of the trajectory in the Minkowski graph is the inverse of the speed of particle with respect to the observer (who is drawing the graph). Therefore the slope of the trajectory is always greater than unity in the graph because a massive particle cannot be accelerated to the speed of light. A light ray always follows the trajectory of straight line with unity slope. The Lorentz transformation makes sure that the trajectory of the light remains same in all the graphs, corresponding to various coordinate systems.

The Minkowski graph is quite helpful in comparing the physics from two frames. Consider two observers F and F’ moving with some relative speed.

Lorentz_transforms_2.svg-2

Observer F uses her coordinate system to draw a Minkowski graph as shown in the figure above.

Now consider a massive particle at the origin with respect to the observer F’ (i.e x^\prime =0) from time t^\prime = 0 to t^\prime = 1. So how will F draw the world line of the particle in her coordinate system (or Minkowski graph)? As you might have guessed, we will use the Lorentz transformation (because we have to map the information given in F’ to F). In other words we have to find the equation of the particle in coordinates of F subjected to the constraints \Delta x^\prime = 0 and \Delta t^\prime = 1 in the coordinates of F’.

From the Lorentz transformation, the first constraint will give a trejectory equation \Delta t = \frac{\Delta x}{v} which F will interpret as the time axis of the observer F’ (because the line of constant x-coordinate giving t-axis and vice versa is a property of the orthogonal coordinate system in the \mathbb{R}^2 space). Therefore F will draw a straight line in her graph with slope as inverse of the relative speed. Let v=.6 meters per light second. The question now arises is that how will she mark the scale of that time axis in her coordinate system (or graph)? The second constraint gives a result that \Delta t = \frac{1}{\sqrt{1-v^2}} which means that a unit second in the coordinates of F’ is mapped t0 1.25 seconds in the coordinates of F. It means that the two events with a unit time separation at the origin in frame F’, are separated by 1.25 seconds in the frame F. Thus the graph of F will look like

minkowskitime

The violet dots correspond to the events with unit time intervals and zero space displacements in F’ (hence it is the time axis for F’) while green dots in vertical line correspond to the events with unit time intervals and zero space displacements in F. Note that in the graph drawn by the observer F, the 15 units of her time is equal to the 12 units of the time in F’. It is consistent with the fact that \Delta t = 1.25\Delta t^\prime. This is why we say that moving clocks are slower.

Similarly, we can draw the x-axis of F’ in the coordinates of F using the same technique. Consider a situation in which \Delta t^\prime = 0 (simultaneous events) and \Delta x^\prime = 1. Using the Lorentz transformation and first constraint we get \Delta t = v\Delta x. This equation gives the x-axis of the observer F’ in the frame of F. Second constraint gives the relation \Delta x = \frac{1}{\sqrt{1-v^2}}. This means that a unit length (between two simultaneous events) in F’ is mapped to 1.25 meters in F. The graph now looks like

minkowskispacetimeThe violet line with lesser slope represents all the simultaneous events of F’ (with t^\prime = 0) in the coordinates of F where they are having different coordinate t. Thus simultaneity is a relative concept and depends of the frame of reference.

In the end of this post, we will explain length contraction using the Minkowski graph. The length of a rigid rod is defined as the distance (in \mathbb{R}^n space) between its end points at the same time coordinate (convince yourself!). Consider a rod of 2 meters length at rest in the frame F’. Let its first end point be at (4, t^\prime). Therefore, according to the definition of length, the coordinates of other end point will be (6, t^\prime). Now this rod will trace a “world sheet” in the Minkowski graph as shown in the figure below. The red dots on the lower violet line (the x-axis of F’) are the coordinates of the endpoints of the rod which are, according to F’, (4,0) and (6,0). They evolve in the time t^\prime such that after unit second in F’, the coordinates are (4,1) and (6,1) (the couple of next red points on each red line) in F’. And it should be, because the 2 meter rod is at rest in F’.

minklencont

Now how much length will the observer F measure? Let us say that at t=8 light seconds she measures the length. Now according to the definition of the length, she will cut the world sheet of the rod with a line (to obtain simultaneous coordinates in her frame) and measure the distance between space coordinates. In this example the coordinates (pointed by the arrows) are 8 and 9.6. Thus the length of the rod is 1.6 meters in the frame F. This is called length contraction and this is why we say moving trains are shorter.

The main point to keep in mind are that in special relativity, an event in spacetime might not have same set of coordinates in different frames of reference. To map an event from one coordinate chart to another we must always use Lorentz transformation. If this is followed honestly, then all the paradoxes of special relativity can be resolved. One such paradox is “twin paradox” which I will explain in next post.

If you are wondering how I made these cool Minkowski graphs then head over here.