Tag: time

  • Heisenberg’s uncertainty principle

    Heisenberg’s uncertainty principle


    It’s perhaps not as famous as Einstein’s formula but in this day and age many people may still have heard at least once of the phrase ‘Heisenberg’s uncertainty principle’. It plays an important role in quantum mechanics. You may have heard that every time you observe or measure matter, due to the crudeness or inherent inaccuracy of the measurement device, you will inevitably disturb your own observation. This would then preclude you from gaining accurate knowledge with satisfying certainty. In fact, in general, Heisenberg’s uncertainty principle states that nothing can be certain. At the risk of sounding vague and vanilla, all of these statements are completely and utterly wrong. Let’s look at what it really says, shall we?

    Figure 1. Werner Heisenberg in Göttingen in 1924.

    Fourier transform pairs

    Trade-offs. Who doesn’t hate them? Remember when your parents told you that you could have this but then not have that or maybe just a bit of this but then less or fewer of that? Unsurprisingly, at least three famous philosophers have written a few words on this, each in their own way lamenting on the existence of trade-offs and how to deal with them. One chose to become all rebellious about it and wrote: ‘I want it all, I want it all, and I want it now!’ (May, 1988). The other two, however, chose to be more pragmatic about it as they postulated that ‘you can’t always get what you want’ (Jagger & Richards, 1968). Obviously, they knew that, sometimes, life brings you Fourier transform pairs. The more well-known example is of course Heisenberg’s uncertainty principle.

    If you limit a particle’s range of possible positions in space $(\Delta x)$, you increase its range of possible momenta(beginfootnote)Momentum is the product of mass $m$ and velocity $v,$ so $p=mv.$ It’s a measure for the amount of motion of an object.(endfootnote) along the $x$-direction $(\Delta p_x),$ and vice versa.

    This is formalised as follows:

    $$\Delta x \Delta p_x \geq \frac{\hbar}{2}.$$

    Just to be absolutely clear: the delta-symbol $\Delta$ is a range of a certain quantity. Usually, a $\Delta$ is defined as the difference between two values. Suppose, you measure point $A$ of your garden fence to be $0.1$ metre away from your wall and point $B$ to be $0.7$ metre away from your wall, then the $\Delta$ of the distances, i.e. the length between points $A$ and $B,$ is $0.7-0.1=0.6$ metre.

    In Heisenberg’s principle, it is stated that the product of the range of possible positions $\Delta x$ and the range of possible momenta $\Delta p_x$ is greater than or equal to some number. Mind you, it’s a tiny number. The symbol $\hbar$ stands for the Planck constant divided by $2 \pi,$ and the result gets cut in half yet again.

    This means that whenever one is getting bigger, $\Delta p_x$ for instance, the other is getting smaller, which is then $\Delta x.$ And vice versa.

    Click here if you’d like to do a bit of maths. It’s very easy.

    Just to get an intuitive insight in this relation, suppose $\frac{\hbar}{2}=1,$ and so, suppose, $\Delta x \Delta p_x = 1.$ Furthermore, suppose $\Delta x = 0.5.$ What value does $\Delta p_x$ has to be to satisfy this equation? Exactly, $\Delta p_x$ has to be $2,$ because $0.5 \times 2 = 1,$ or else the equation is false.

    Now, lets make $\Delta x$ smaller. In other words, we’re going to try to pinpoint the location with much more precision. So, let’s say, $\Delta x = 0.001.$ What value does $\Delta p_x$ has to become to satisfy this equation? You guessed right, $\Delta p_x$ has to become even larger: $\Delta p_x = 1000,$ because $0.001 \times 1000 = 1.$ If you were to reverse the situation – decreasing the size of $\Delta p_x$ – then, in turn, $\Delta x$ would have to become larger.

    In reality, $\frac{\hbar}{2}$ is much smaller than 1. It is, in fact, about $5.273 \times 10^{-35} \text{J/s}.$ That’s thirty-four zeros behind the decimal point and then ending in 5273. It’s incredibly small. Don’t worry about this. We’ll get back to that later.

    Hopefully, now you see the relation between $\Delta x$ and $\Delta p_x$ as put forward by Heisenberg’s formulation. They complement each other. Whenever a range of possible values becomes larger, in other words, the $\Delta$ or range of value-options is larger – its actual value becomes more uncertain, hence the use of the word ‘uncertainty’ in Heisenberg’s uncertainty principle(beginfootnote)In fact, it’s statistics. The $\Delta$-sign could just as well be a $\delta$-sign, so $\delta x \delta p_x \geq \frac{\hbar}{2},$ which signifies its statistical character more accurately. After all, the wave function is about probabilities.(endfootnote).


    But why is this? While this principle plays a central role in quantum mechanics, it’s actually not fundamentally a quantum-mechanical law. This principle exists more generally in many instances in physics, and, even more generally, in mathematics.

    In mathematics, the variables position and momentum are said to be a Fourier transform pair. Put in yet other mathematical jargon, position and momentum are said to be conjugate variables.

    Sound

    A well-known, non-quantum-mechanical example of the uncertainty principle is determining the pitch of a sound. How ‘high’ a note is, depends on the frequency.

    The most familiar way we depict sound waves is a simple sine wave. It represents the simplest of sounds possible. Also, it’s the most boring of sounds possible.

    The $x$-axis represents time. The $y$-axis represents the amplitude of the sound or the loudness, the intensity of it. As you can see, the sound wave repeats itself over time; the pattern is cyclic. One whole cycle is when the plot has completed going up, going down, going further down, and going up again. The time it takes to complete one cycle is designated by the symbol $T,$ called the period(beginfootnote)It is also possible to measure the time-distance between two peaks or two troughs.(endfootnote). So, this particular sound wave is said to be periodic.

    Figure 3. A time-amplitude plot of a boring old sinusoidal sound wave. (Click to enlarge.)

    The shorter the period ­– the quicker the cycles are – the higher the tone. Another way of saying, is that the higher the frequency, the higher the tone. The mathematical relationship between period $T$ and frequency $f$ is the following expression:

    $$f = \frac{1}{T}.$$

    If the period gets shorter, i.e. the value of $T$ becomes smaller, then the value of $f$ becomes larger, which means higher, which means a higher tone.

    Seeing as the time period $T = 2 \pi$ seconds, the frequency diagram looks like a spike at $\frac{1}{2 \pi}$ Hz. In this frequency-diagram, the $x$-axis is the frequency and the $y$-axis is still the amplitude.

    Figure 4. A frequency-amplitude plot of the sound wave of Figure 3. It shows the exact frequency at which that sound wave exists.

    So, there are now two ways in which we can describe the sound wave: either by frequency (Figure 4) or by change over time (Figure 3).

    Notice that the sound wave plotted as a function of time (Figure 3) has no beginning nor end. For all we know, that plot could just go on forever, to an infinite amount of time, in both directions. Suppose, we would ask the question at what time exactly does the sound exist? The answer is: always. There is no particular, specific time at which it exists.

    In other words, we could write that $\Delta t = \infty.$

    Notice, however, that the frequency plot looks very finite: just one stroke. One well-defined, finite stroke. If we were to ask the question what frequency exactly does the sound have? The answer is: there is a particular, specific, exact frequency at which it exists and it is $\frac{1}{2 \pi}$ Hz ​
    $( \approx 0.16).$

    Fourier analysis

    In reality, no sound is going to be infinitely long. Pluck a guitar string and it will fade out as the energy dissipates slowly. Also, at some point it started ­– meaning, before that, it didn’t exist. In other words, in reality, a sound wave usually exists in a finite range of time.

    Let’s limit our sound wave to a range in time, so it looks more like the sound of a ‘blip’ and less like an infinite tone of boredom. Again, the $x$-axis represents time and the $y$-axis represents the amplitude.

    Figure 5. A time-amplitude plot of a so-called wavelet, a short sound burst. Contrary to the sound wave in Figure 3, it’s not infinitely long. It’s now also more difficult to assess its frequency.

    As you can see, the sound now exists in a more defined range of time – roughly 1.5 seconds. In other words, $\Delta t \approx 1.5$ seconds. That’s a whole lot smaller than the old $\Delta t = \infty.$

    Now, we ask ourselves, what is its frequency? The difficulty now is that it’s hard to pinpoint an exact period $T$. The evolution of the plot is quite different from our infinitely long sine wave. Yes, we can identify kind of those cycles we’re looking for, however, no cycle has the same shape, so, technically, we’re dealing with multiple cycles at once. And guess what, its frequency-amplitude plot looks like this.

    Figure 6. The frequency-amplitude plot of the wavelet in Figure 5. It’s far from being a specific, exact frequency. At varying degrees, it’s actually a few frequencies at the same time.

    As you can see, it has become difficult to pinpoint the exact frequency of our wavelet. It exists at a variety of frequencies and amplitudes.

    So, while the ‘time window’ of the sound wave has become more exact, the frequency has now become ‘less certain’.

    The brilliant mathematician Joseph Fourier discovered that a wavelet such as in Figure 5 can actually be constructed by adding many infinite waves at many frequencies. Put differently, Fourier analysis shows that our wavelet is the culmination of a superposition of many waves at many frequencies.

    Figure 7. The wavelet at the bottom is constructed by many infinite waves at many different frequencies superposed onto each other. This automatically means that the wavelet’s exact frequency is fundamentally harder to determine than the frequency of the sound wave in Figure 3.

    Now you see why the frequency-amplitude plot has changed from a very specific value in Figure 4 to the wider set of frequencies in Figure 6. In the latter case, the wavelet ‘contains’ multiple waves at multiple frequencies, so when you Fourier transform its time-amplitude plot to its frequency-amplitude plot, the frequency has become ‘uncertain’.

    The relation between time $\Delta t$ and frequency $\Delta f$ in ordinary classical physics is fundamentally complementary. No quantum mechanics needed.

    In mathematical jargon, time and frequency are so-called Fourier transform pairs or conjugate variables.

    The term ‘Uncertainty principle’ pertains to the general phenomenon that Fourier transforms (such as between time and frequency) entail a fundamental, mathematical trade-off between types of information carried by the two transformed variables. Heisenberg then showed that this principle also holds in quantum mechanics. And so, the uncertainty principle in quantum mechanics is called Heisenberg’s uncertainty principle.

    The De Broglie relation

    Time to go back to quantum mechanics. Remember that a particle’s best description is a wave function? A wave function is the mathematical expression of a particle containing all possible states it can assume once we measure it.

    Instead of a time-amplitude plot, let’s represent a particle by a space-amplitude plot. To make it a little bit easier, let’s take the wave function of a particle of which the amplitude only varies along one dimension of space, $x.$

    Here is a representation of a particle’s wave function along one dimension of space (along a ‘straight line’). The $x$-axis represents a position in space. The $y$-axis represents the amplitude of the wave function (which is proportional to the probability of finding the particle in that particular position $x$).

    Figure 8. A representation of a wave function of a free particle. Note that this is not what it actually looks like. For one, an actual wave function exists in complex space, which we didn’t plot here. The goal is to illustrate, not to map accurately. Also note that the free particle has no specific position yet as it’s a free particle!

    It was the eminent French physicist Louis de Broglie(beginfootnote)Many physicists have tried and mispronounced his last name. It should sound like ‘broy’ where the r is produced at the back of the throat, like the French r – a ‘dry’ kind of r. In this interview with him, you can hear the French presenter pronouncing his name (just after 0:16 seconds). It’s not ‘brog-ly’ nor ‘bro-ly’. Thank you.(endfootnote) who formulated the relationship between a particle’s wave function’s wavelength $\lambda$ and its momentum $p.$

    $$\lambda = \frac{h}{p},$$

    where $h$ is the Planck constant. Incidentally, this is the equation better known as De Broglie’s matter wave hypothesis, stating that matter, such as electrons, possess a wave-like characteristic(beginfootnote)Do note that this same equation shows that this wave-like behaviour of large bodies such as our bodies, brains, bowling balls, tennis balls, and animals is completely and utterly negligible as we will demonstrate at the end of this post.(endfootnote). This won him the Nobel Prize, no less.

    If we rewrite this to solve for $p,$ we get

    $$p = \frac{h}{\lambda}.$$

    So, clearly, a wave’s momentum is determined by its wavelength. The smaller the wavelength, the greater the momentum. What is the wavelength? It’s the length between two peaks (or two troughs). The higher the frequency, the smaller the wavelength. Now have a look at Figure 8 again. As you can see, the infinite wave of a free particle has a well-defined wavelength. The logical conclusion is that the momentum is also well-defined. Nevertheless, Figure 8 also shows that the particle’s position is not defined at all!

    Let’s turn this on its head and limit the range of possible positions of our particle. No longer is it a free particle. It is now confined within a finite range of locations.

    Figure 9. Our former free particle’s position is now restrained between $x = 0$ and $x= \pi.$ In other words, $\Delta x$ is now limited to $\pi$ wide. There is no well-defined wavelength as the wave function has different values in different places. It’s there, but not as well-defined as in the wave function in Figure 6.

    What we’ve done in Figure 9 is making $\Delta x$ smaller than it was in Figure 8 (where it was infinitely large). In fact, $\Delta x = \pi$ wide. By the same Fourier transform mechanism as with the time-frequency pair, the complimentary sister of position space $\Delta x$, namely momentum space $\Delta p_x$, will now become less certain.

    To construct a limited wave function such as the one in Figure 9, Fourier analysis shows that you need – again – a bunch of waves at different frequencies in superposition (added on top of each other).

    Figure 10. A Fourier deconstruction of the wave function in Figure 9. Many waves, many frequencies. Hence, the momentum is less well-defined.

    So, when it comes to quanta, Heisenberg’s uncertainty principle states that there’s a fundamental trade-off between information on position and momentum(beginfootnote)Another pair is energy and time. This is interesting in the context of Hawking radiation. We’ll get to that, don’t worry.(endfootnote). This is due to the fact that they are a Fourier transform pair or conjugate variables.

    This also means that if you constrain a particle to a minuscule $\Delta x,$ its wave function will start to contain momenta $\Delta p_x$ all over the place. It will occupy many more velocity possibilities, including the much faster velocities. If you were to subsequently perform a measurement, the probability of finding it moving at higher speeds is now much larger!

    Scale and effect

    At the scale of the big bad world, we never see this effect. If you would confine a bowling ball in a limited space, you will not see its momentum increase dramatically. It won’t suddenly start bouncing up and down. Conversely, if you swoop the bowling ball with considerable momentum, it won’t suddenly start appearing everywhere and nowhere at the same time: its position is still quite clear. You won’t suddenly quantum tunnel through the pins or be rolling on all bowling lanes of the neighbouring players at the same time. If it doesn’t hit a single pin, then that’s not because it’s suddenly in a state of superposition with regard to its possible locations of existence. You’re just not that good.

    You won’t notice any of these quantum effects in your everyday-scaled objects. Only when you’re dealing with particles. Or atoms. However, as soon as the mass increases, it all changes. Why? Partly because Planck’s constant is so darn small(beginfootnote)And because the number of interactions between atoms increase exponentially, causing any quantum effect to disappear due to decoherence.(endfootnote). It’s just $5.273 \times 10^{-35} \text{ J/s},$ remember? That’s small.

    All this knowledge does allow for some fun calculations. For instance, if you were to confine a bowling ball with a mass of $7.2$ kg (16 lb) inside a box where $\Delta x = 22$ cm (8.66 inches), by Heisenberg’s uncertainty principle, the ball’s speed will be $3.283 \times 10^{-35} \text{ m/s}.$ That means that after $965.9$ billion years it might have moved a distance equal to the diameter of a proton. That amount of time is seventy times the age of our current universe. Granted, quantum-mechanical effects aren’t zero, but as you can see (or rather, as one can calculate), on our everyday scale, these effects are quite meaningless.

    Sometimes, weird films such as What the #$*! Do We (K)now!? and What the Bleep!?: Down the Rabbit Hole will want to make you believe such quantum things can happen anyway. They will mention Heisenberg’s uncertainty principle like it is a magical law allowing us to do whatever. I hope that this post has shown that Heisenberg’s uncertainty principle is not about that. Nor does the uncertainty principle itself have its roots in quantum mechanics. It’s basically wave mechanics, the classical stuff, which all first-year undergraduates in physics have to learn in their first or second semester.

    A few months ago, I stumbled across a video showing an Australian senator’s question to the head of the Commonwealth Scientific and Industrial Research Organisation, an Australian federal government agency responsible for scientific research. Clearly, the senator had – shall we say ‘read something about Heisenberg’s uncertainty principle’. During a senate hearing for a legislative committee, the senator questioned if research done in climate change should be taken with precaution as Heisenberg’s uncertainty principle stands in the way of accurate measurements(beginfootnote)He basically sought a ‘scientific’ way to put climate science in doubt – which, apparently, he is not a proponent of. I do not claim to know anything about Australian politics, or even at great depth about climate science, however, when a legislator starts talking quantum physics – well, I do know stuff about that.(endfootnote).

    I suspect this discussion pertained to a study where a satellite uses infrared radiation to perform surface and/or atmospheric remote sensing. He continued to state that as infrared light has lower frequencies than visible light, it’s ‘very difficult’ to understand the properties of infrared radiation based on Heisenberg’s uncertainty principle.

    Many things were going on (wrong) in this one short bit of speaking time of the senator, as is usual when someone hasn’t caught up on quantum physics as much. Which is understandable, but no less gnawing to watch (the link opens a new tab and leads to a short video on Twitter).

    In any case, I genuinely hope that this article contributed at least a sliver of knowledge to educate the electorate of the world, so we can all vote as informed and responsible as possible for the right persons for the right jobs, besides one’s preferred socioeconomic idealism.

    If you should take one thing from this post, it’s that Heisenberg’s uncertainty principle is not about anything spiritual nor does it have anything to do with scientific measurement mistakes: it’s good, old wave mechanics and Fourier analysis taught to undergrads in their first year at university. It works and it works well. It does not lead to science not being able to know things about the universe. In fact, it increased our knowledge of it. In fact, no modern information device would have worked without it. After all, you’re reading this with an electronic device which exists thanks to Fourier, Heisenberg, and De Broglie, among others. All that with a bit of more maths and more physics at the same time.

    Photo Werner Heisenberg by Friedrich Hund, a German physicist who took this photo in Heisenberg’s place of residence, Göttingen, in 1924. It was uploaded to Wikimedia Commons under CC BY 3.0 by Friedrich Hund’s son, Gerhard Hund, a German mathematician, computer scientist, journalist, and chess player. We have used a colour-corrected version by Martin Geisler.

  • Einstein’s special relativity in under 6.999 minutes for people on the move

    Einstein’s special relativity in under 6.999 minutes for people on the move


    In 1905, Albert Einstein published an article on moving bodies and electrodynamics. He noticed that Newton’s mechanics of moving bodies weren’t compatible with Maxwell’s equations of electromagnetism. In this article, he reconciled the two by modifying the first. These ideas and mathematical derivations became what we now know as Einstein’s special (theory of) relativity. In this post, we will describe some of its important bits. We start with two fundamental propositions. For the geeks, we will end with answering why special relativity is special.

    Einstein’s postulates

    His first postulate is basically that, whether or not you’re standing on a moving object, such as a ship, a train, or in your car, the same laws of physics apply. If you’re standing on a platform at the train station and you throw a ball in the air, the laws of physics ensure your ball comes down again. If you’re standing in a moving train, that ball still comes down again because the same laws of physics apply. The fact that you’re in motion doesn’t change anything to the rules of the Universe.

    Einstein’s second postulate is basically that, by extension of the first one, the speed of light is the same for everyone. He recognised that Maxwell and colleagues correctly describe light as an electromagnetic disturbance propagating according to the electromagnetic laws of physics. He also recognised that the velocity of the light source plays no role in Maxwell’s equations. And so, if the first postulate is correct, then irrespective of the velocity of an observer relative to the light source, light travels at the same speed $c$ ($c$ is about 300 000 000 m/s) and nothing can go faster.

    An image of the interior of an underground train. Passengers are sitting across each other.
    Whether you’re on the train or standing on the platform, the laws of physics are the same. The propagation of light is a law of electrodynamics not involving the velocity of its source. Hence, its velocity is the same on the train as on the platform, irrespective of its source or the train’s velocity.

    Intuition works mostly, just not really

    Suppose, you’re standing on a train station’s platform. A train passes at a speed of 30 metre per second. From inside the train, our friend throws a tennis ball out the window but in the direction of where the train is headed, at 2 metre per second, right at you. You catch it. At what speed does the ball hit your hand?

    Intuitively, you might say, that’s 30 + 2 = 32 metre per second. This way of calculating is very useful, most of the time. Instinctively, you would simply add the train’s speed and the throwing speed together. This is how Isaac Newton(beginfootnote)And Galileo Galilei before him as this is the so-called Galilean transformation.(endfootnote) would want you to do it. And, mostly, he’s not wrong. Except, well, he is kinda.

    Let’s wonder what would happen if our friend didn’t throw a ball, but, instead, switched on a pocket torch. The train still passes at 30 m/s. Light, however, flies out the torch at a speed of about 300 000 000 m/s. You lift up your hand. It ‘catches’ the light. At what speed does it hit your hand?

    You might say, that’s 30 + 300 000 000 = 300 000 030 m/s. But no. That’s wrong. Remember Einstein’s second postulate? Irrespective of the motion of the observer, light always travels at 300 000 000 m/s and nothing goes faster, full stop. So, by our simple addition, we would have invented a way for light to go faster than light! We would be Nobel Prize winners, surely. Except, it doesn’t, and we’re not.

    Something’s gotta give

    So, if the speed of light is the same to our friend, on the moving train, as it is to us, standing on the platform (do read this again and realise how bonkers this is), then how the Helheim does the Universe achieve this? After he did some relatively simple mathematics – which a student in secondary education can do – Einstein realised that something was up with metres and seconds. He proved that what is a metre to us isn’t a metre to our friend and vice versa. Furthermore, what is a second to us isn’t a second to our friend either.

    Basically, since we, on the platform, measure light to be going at 300 000 000 metre per second, and so does our friend on the train, well, that means that our understanding of what metres and seconds are is wrong.

    The point

    Here’s what’s happening. If two ‘things’, people, ‘objects’, or reference frames as physicists call them, move with respect to each other, weird things happen to space and time. Yes, the actual space and time. They are weird. We thought they were just there. Static. Always and everywhere the same. Two unchanging entities. Well, they’re not.

    In the Dutch town of Leiden, the project Leiden Wall Formulas have scattered physics equations throughout the town centre. This is the Lorentz contraction, aptly placed alongside a train track: it describes how space (in this case, a one-dimensional length) is contracted, according to Einstein’s special relativity. Click here for Google Street View.

    Suppose, we are on the train this time. We are in motion relative to our friend on the platform. Our friend then observes that space along our direction of motion becomes smaller, it contracts. They will actually measure our train to be shorter as compared to when it was standing still relative to our friend. They will also observe that our time is being stretched, i.e. our clock slows down. If one second goes by on their clock, they see only 0.9999999995… seconds have past on ours(beginfootnote)This number is a metaphor. The real time difference is too small for my calculator to show.(endfootnote).

    And to us, being on the train, it’s our friend who is travelling (backwards!) relative to us, in fact, the whole world is travelling relative to us, backwards. So, indeed, we measure the world to be shorter in the opposite direction of our motion as well as their time being slowed down.

    Twin paradox

    Now, you might say, hold on: if both of us see each other’s clock slow down, then surely, there is no difference between our clocks. However, when we ride back to our friend, stop at the platform, and compare our clock to our friend’s clock, we do see that our clock is behind. This is the so-called twin paradox. If both can state the same thing, how do their clocks still differ in the end, causing one half of the twin (on the train) to be younger than the half who stayed behind (on the platform)?

    This is due to the switching of reference frames: we were on a moving frame (the train), switched to a moving frame in the opposite direction (returning to our friend), and, lastly, switched to the platform’s frame, standing next to our friend, to compare clocks, while our friend never switched – he stayed on the platform(beginfootnote)Contrary to many popular and even introductory physics texts, this has less to do with acceleration, even though this does plays a role – without it, in the real world, one wouldn’t be able to switch reference frames. However, mathematically, acceleration isn’t necessary for solving the so-called twin paradox, switching frames is.(endfootnote). So, the situation isn’t symmetric.

    Length contraction and time dilation. They’re not illusory, they’re real. Many experiments showed that space contracts and time dilates for things in motion as observed by things with a different motion.

    Newton vs Einstein

    To summarise in a slightly more mathematical way – Newton taught us that one platform metre equals one train metre and that the same is true for seconds:

    1 platform metre = 1 train metre,
    1 platform second = 1 train second.

    Einstein, however, taught us that:

    1 platform metre $\equiv \dfrac{1\text{ train metre}}{\gamma}$,
    1 platform second $\equiv \dfrac{1\text{ train second}}{\gamma}$.

    This $\gamma$ (Greek letter gamma) is crucial. It’s a factor necessary to make sure that the speed of light doesn’t get any faster than the speed of light, even if it’s on-board a moving train. This factor is called the Lorentz factor(beginfootnote)Named after Hendrik Lorentz. The expression for his Lorentz factor is as follows: \[ \gamma = \dfrac{1}{\sqrt{1-\dfrac{v^2}{c^2}}}, \] where $v$ is the speed of the other relative to us and $c$ is the speed of light.(endfootnote).

    We never notice these things though. Usually, our speeds are way to slow for the effects of special relativity to be noticeable. Except for things that do go fast. Without Einstein’s special relativity, GPS satellites wouldn’t work(beginfootnote)Of course, we also need Einstein’s General Relativity for that, but that’s for another time.(endfootnote). Research institutes such as CERN and Fermilab also need to take special relativity in account for the high-energy, fast-flying particles.

    So, our intuition (Newton) is mostly just fine though not precisely right.

    What’s so special about special relativity

    This is a somewhat technical question, requiring a somewhat technical answer, our apologies. Contrary to what is being said in many popular science texts, special relativity isn’t really about constant speeds as opposed to general relativity dealing with acceleration. In fact, special relativity is able to deal with acceleration. It’s just that it works fine as long as we’re assuming things exist in so-called Euclidean space, adhering to Euclidean geometry(beginfootnote)Named after Euclid.(endfootnote). However, after ample deliberation, Einstein concluded through his general relativity that we’re not living in Euclidean-geometric reality at all. We’re living in a Riemannian manifold(beginfootnote)Named after Bernhard Riemann.(endfootnote). In short, Euclidean space is a special case of the more general Riemannian manifold(beginfootnote)If we’re being precise, Hermann Minkowski developed a modified version of Euclidean space which we now call Minkowski space, while Riemannian manifold should actually be named pseudo-Riemannian manifold but many physicists simply call this Riemannian manifold anyway, perhaps because they’re not mathematicians.(endfootnote). Hence, we have special relativity as opposed to general relativity.


    Featured image by StockSnap from Pixabay, modified by @kjrunia (added equations).


  • Deriving the Lorentz transformations from a rotation of frames of reference about their origin with real time Wick-rotated to imaginary time

    Deriving the Lorentz transformations from a rotation of frames of reference about their origin with real time Wick-rotated to imaginary time


    Well-known for their central role in Einstein’s Special Relativity, the Lorentz transformations are derived from the rotation of two frames of reference in standard configuration while time is taken to be an imaginary unit of spacetime. This is rarely seen in the wild. Not many undergraduate textbooks or online texts show the details of the working. Hence, this article.

    Download PDF

    Introduction

    One might think this means that imaginary numbers are just a mathematical game having nothing to do with the real world. (…) It turns out that a mathematical model involving imaginary time predicts not only effects we have already observed but also effects we have not been able to measure yet nevertheless believe in for other reasons. So what is real and what is imaginary? Is the distinction just in our minds?

    S. Hawking[1]

    Even though there are many derivations of the Lorentz transformations to be found in textbooks, in syllabi, and online, to me, one of the most elegant remains the version Henri Poincaré once alluded to[2], which Hermann Minkowski then toyed with a bit further—to put it unreasonably mildly—in what we now call Minkowski space, but is rarely expounded in the aforementioned places.

    Henri Poincaré noted that, when the time axis of the two coordinate systems has been made imaginary, i.e. the imaginary axis in the complex plane, the transformations set forth by Hendrik Lorentz pop out automatically after a rotation of two reference frames in that complex plane.

    In this document, we show how this is done. We assume the reader is familiar with complex numbers.

    The aim is to derive the following set of Lorentz transformations:

    \begin{align}
    t’ &= \frac{t-vx/c^2}{\sqrt{1-v^2/c^2}}, \label{eq:Lorentz t-prime} \\
    x’ &= \frac{x-vt}{\sqrt{1-v^2/c^2}}, \label{eq:Lorentz x-prime} \\
    y’ &= y, \\
    z’ &= z,
    \end{align}

    where $(t,x,y,z)$ and $(t’,x’,y’,z’)$ are the coordinates of an event in two frames. The primed ($’$) frame is, seen from the unprimed frame, moving with speed $v$ in the $x$-direction. The speed of light in a vacuum is denoted by $c$. As a side note, the recurring term $(\sqrt{1-v^2/c^2})^{-1}$ is called the Lorentz factor and it is usually denoted by the letter $\gamma$.

    Standard configuration

    Figure 1: Two frames of reference in standard configuration. A two-dimensional depiction of Hermann Minkowski’s frame M and Albert Einstein’s frame E in standard configuration: the latter moves at speed v relative to the first in the direction of x. There is no motion in either the y- or z-direction. Note that some time has passed in this diagram. At time t=0, however, their origins were equal. In other words, at temporal coordinates t=t’=0, their spatial coordinates were the same, thus x=x’=0.

    Suppose, Hermann is standing still on the ground. Albert is driving his car and moves away from Hermann at speed $v$. We then have two frames of reference. There is Hermann’s frame $\mathcal{M}$ (the ground), with its origin $O$ at Hermann’s feet on the ground. And there is Albert’s frame $\mathcal{E}$ (the car), with its origin at Albert’s bottom on his chair. Their frames of reference are said to be in standard configuration as depicted by Figure 1. This means that at time $t=0$ in frame $\mathcal{M}$ where $x=0$ as well, the time $t’=0$ and position $x’=0$ in frame $\mathcal{E}$, too, and that one frame is in uniform (constant) motion relative to the other. In other words, $\mathcal{M}$ and $\mathcal{E}$ are said to be synchronised when the spacetime coordinates

    \[ (t,x) = (t’,x’) = (0,0). \]

    Of course, in the real world, there are four spacetime coordinates for each frame, i.e. $(t,x,y,z)$ and $(t’,x’,y’,z’)$, but to make our calculations a little bit easier, we consider the temporal coordinate $t$ (and $t’$) and spatial coordinate $x$ (and $x’$) only.

    So, looking at Figure 1, we can see from Hermann’s point of view – standing in the origin $O$ of $\mathcal{M}$ – that $\mathcal{E}$’s origin $O$ moves at speed $v$ relative to the $x$-axis of $\mathcal{M}$. Speed $v$, of course, just means that $\mathcal{E}$ moves at a certain amount of units of $x$ (say, metres) per a certain amount of units of $t$ (say, seconds). This is nothing new, but it is for our derivation of the Lorentz transformations important to repeat our secondary education for a little bit:

    \[ v = \frac{\Delta x}{\Delta t}, \]

    in Hermann’s frame of reference $\mathcal{M}$. More or less conversely, if we want to calculate how many spatial units frame $\mathcal{E}$’s origin has moved from frame $\mathcal{M}$’s origin, we rewrite the last equation into the perhaps more familiar law of uniform motion:

    \begin{equation}
    \Delta x = v \Delta t,
    \label{eq:x=vt}
    \end{equation}

    in Hermann’s frame of reference $\mathcal{M}$.

    As a side note, do realise that to Albert, his car is not moving at all; he is sitting in it. (Rather, it is the rest of the world that is moving with respect to his car and himself.) If the car were moving with respect to Albert, an accident with potentially serious consequences would be impending. So, for Albert’s sake, his speed within his own frame $\mathcal{E}$ (the car) is expressed as $v’=0$, as long as he stays put and buckled up in his chair. And so, the law of uniform motion of Albert, within his frame $\mathcal{E}$, becomes:

    \[ \Delta x’ = v’ \Delta t’ = 0 \Delta t’=0. \]

    Invariances

    If $\mathcal{E}$ is in constant motion with respect to $\mathcal{M}$, in one direction, the $x$-direction, as expressed in Equation \eqref{eq:x=vt}, then, mathematically, we call this a geometric translation in the $x$-direction. In physics, it is called a translational motion in the $x$-direction.

    Figure 2: Albert fires a photon. At time t=t’=0, Albert fires a photon P into direction x. Both the photon and Einstein’s frame E move into that same x-direction.

    Suppose, at time $t=t’=0$, Albert activates his special on-board photoelectric cannon, firing exactly one photon $P$ in the $x$-direction. Figure 2 shows how the photon is travelling through the spaces of both frames of reference.

    Looking at the diagram, we see that the spatial coordinates in the $y$-direction remain unchanged, $y=y’=0$, so we leave this out of our equations further on, to keep it simple. However, since $\mathcal{E}$ is moving with respect to $\mathcal{M}$ in the $x$-direction, we do know that $x\neq x’$ for $t>0$. And since we do not know for certain that $t=t’$ for $t>0$, only that $t=t’=0$, we will have to conclude that the position of $P$ differs:

    \begin{equation}
    \begin{aligned}
    \text{in Albert’s }\mathcal{E}\text{: }P &= (t’,x’), \\
    \text{in Hermann’s }\mathcal{M}\text{: }P &= (t,x).
    \end{aligned} \label{eq:coordinates of P}
    \end{equation}

    Fortunately, accepting Einstein’s Voraussetzungen[3], we know that the speed of light, $c$, is the same for every frame of reference. Using Equation \eqref{eq:x=vt}, $x=vt$, and the fact that $v=c$, in this case, we can write for the distance travelled of photon $P$ – the yellow line in the diagram – in the coordinates of the respective frames of reference:
    \begin{align}
    \text{in Albert’s }\mathcal{E}\text{: }\Delta x’ &= c\Delta t’, \\
    \text{in Hermann’s }\mathcal{M}\text{: }\Delta x &= c\Delta t.
    \end{align}

    As it is possible for any coordinate system to have points which lie on the negative side of the origin of a spatial dimension such as $x$ in our case, and thus for light to travel in the negative $x$-direction, we simply square both equations to always obtain a positive value.

    \begin{align}
    (\Delta x’)^2 &= (c\Delta t’)^2, \\
    (\Delta x)^2 &= (c\Delta t)^2.
    \end{align}

    If we then rearrange this,

    \begin{align}
    (\Delta x’)^2 – (c\Delta t’)^2 &= 0, \\
    (\Delta x)^2 – (c\Delta t)^2 &= 0,
    \end{align}

    we see that both are equal to zero, allowing us to write

    \begin{equation}
    (\Delta x’)^2 – (c\Delta t’)^2 = (\Delta x)^2 – (c\Delta t)^2.
    \label{eq:interval}
    \end{equation}

    This is a beautiful result, because it tells us that no matter what frame of reference you happen to be in, besides $c$, Albert and Hermann agree on the quantity $(\Delta x)^2 – (c\Delta t)^2$, despite the fact that the coordinates of $P$ are not necessarily the same in every frame of reference as we saw in \eqref{eq:coordinates of P}. In other words, both $c$ and $(\Delta x)^2 – (c\Delta t)^2$ are said to be invariant.

    You might wonder, what is this invariant quantity $(\Delta x)^2 – (c\Delta t)^2$, exactly? Well, this will be discussed in another post called What is a spacetime interval? And now, we might have just told you what it is. Anyway, let us move on to deriving the Lorentz transformations, and just keep in mind that $(\Delta x)^2 – (c\Delta t)^2$ is a wonderfully invariant quantity, equal in both frames of reference. Let us move on to imaginary time.

    Wick rotation and imaginary time

    Number sets

    Figure 3: real number line. A segment of the real number line, the set R of all real numbers, which goes on to infinity on either side.

    As many of us should know, Figure 3 depicts (a segment of) the real number line, that is the set $\mathbb{R}$ of all real numbers. It formed the culmination of all the previous extensions of the then-known set of numbers. Starting with the natural numbers, a set usually denoted by $\mathbb{N}$, containing all positive integers, arisen from the natural act of counting, the numeric repertoire was then extended by the notion of negative integers. Instead of just 1,2,3, we could now also count to -1,-2,-3 etc. This extension is denoted by $\mathbb{Z}$. Needless to say that $\mathbb{N}\subset\mathbb{Z}$, but we just did anyway.

    Of course, some people were clever, acknowledging the need for another extension: numbers which represented ratios, better known as rational numbers, such as 1/2, 1/-3, 1/4, -1/100, in other words, quotients of two integers. These numbers would sit in-between the integers in $\mathbb{Z}$. The symbol is $\mathbb{Q}$, and it is superfluous to add that $\mathbb{N}\subset\mathbb{Z}\subset\mathbb{Q}$.

    While specified on a tablet, found in Susa (Iraq) in 1936, dated as used by Babylonians around 2000 BCE, that

    \[ \frac{3}{\pi}=\frac{57}{60}+\frac{36}{(60)^2}, \therefore \pi = \frac{25}{8}=3.125, \]

    it wasn’t until 1761 that a proof that $\pi$ is irrational was found by Johann Heinrich Lambert[3] meaning that it could not be constructed by any ratio of integers, as were many other numbers, such as $\sqrt{2}$. And so, yet again, an extension of the existing number line was needed. This was the aforementioned line representing the set $\mathbb{R}$, or, to be precise, $\mathbb{N}\subset\mathbb{Z}\subset\mathbb{Q}\subset\mathbb{R}$.

    And then, in the 16th century, people such as rivals Tartaglia and Cardano independently recognised that solutions to cubic equations sometimes required the manipulation of square roots of negative numbers, such as $\sqrt{-1}$. Later, Bombelli developed proper operations such as addition and subtraction. A whole slew of subsequent mathematicians then developed over several decennia what is now known as the complex plane or gaussian plane[5], representing the set $\mathbb{C}$, extending the real number line with an imaginary axis with multiples of the imaginary unit $i=\sqrt{-1}$. (It is, obviously, the solution to the quadratic $x^2+1=0$.) We realise mentioning that $\mathbb{N}\subset\mathbb{Z}\subset\mathbb{Q}\subset\mathbb{R}\subset\mathbb{C}$ is utterly redundant at this point.

    Translation and rotation

    Figure 4: Number sets. Every consecutive number set is an extension of the previous one. We can move from a simpler set to a more complex one, for instance, by simply multiplying our current position by a number only present in the more complex set. Although it seems like we are tumbling from one set to another, we are really just ‘sliding left or right’, one-dimensionally, on the number line of the more complex set. This sliding is called a translation. Note: the amount of ticks in Q is much larger, but for obvious reasons of legibility, we only ticked every 1/2-ratio.

    Let us have another look at the natural number line of $\mathbb{N}$. If we would want to convert the number 1 to a number that could not exist in $\mathbb{N}$ but could exist on the integer number line of $\mathbb{Z}$, let us then simply multiply the natural number 1 with a number from $\mathbb{Z}$, the negative integer $-1$. Since $1\times-1=-1$, we have transitioned from $\mathbb{N}$ to $\mathbb{Z}$. We ‘slid’ from 1 to $-1$, albeit in a different number set, which, mathematically, is the same as a translation by $-2$. This is easily expressed as starting from position 1, adding $-2$, and ending up at position $-1$ on the number line of, at least, $\mathbb{Z}$ (but not $\mathbb{N}$): $1+-2=-1$. Figure 4a aims to depict this.

    We can do the same with moving from position $-1$ in $\mathbb{Z}$ to a number not in $\mathbb{N}$, nor in $\mathbb{Z}$, but at least in $\mathbb{Q}$ by simply multiplying by a fraction, such as $-1/2$, which is also a number not in $\mathbb{N}$, nor in $\mathbb{Z}$. This is, again, actually a translation, though now by adding $3/2$: $-1+3/2=1/2$. Figure 4b aims to depict this.

    Similarly, transforming from position 1 in $\mathbb{Q}$ to $\mathbb{R}$, we multiply by, for instance, $\sqrt{2}$, which exists in $\mathbb{R}$ but not in $\mathbb{Q}$, and so, the result, $1\times\sqrt{2}=\sqrt{2}$ is in at least $\mathbb{R}$ but not in $\mathbb{Q}$, nor in $\mathbb{Z}$, nor in $\mathbb{N}$. The result is also a translation of $1+(\sqrt{2}-1)=\sqrt(2)$ in $\mathbb{R}$. Figure 4c aims to depict this.

    Figure 5: Wick rotation of 1 and real time. Compared to the increasing complexity of the number lines in Figure 4, this one is the most complex so far. Two Wick rotations into the complex (number) plane C, where (a) the Re-axis is the real number line of the set R and the Im-axis is the imaginary unit line of the set C. Note that a complex number consists of both: a real part and an imaginary part. For instance, the complex number z is written in the form z = a + bi, with i = √-1. The real part of z is Re(z) = a, and the imaginary part Im(z) = b. And so, z = 1 + i, z = 1/2 + 3i, z = 3, are all complex numbers, where the latter has an imaginary part of Im(z) = 0, which we simply leave out as 0i = 0. A complex number is thus two-dimensional, embedded in a plane with a real axis and an imaginary axis. (b) Wick-rotating all real numbers on the time axis to the imaginary axis, transforms real time into imaginary time.

    Note that, so far, the transformation of 1 or another number has involved a simple ‘sliding’ motion on the number lines, that is, one-dimensionally. Every time a new kind of number was introduced – the negative integers, ratios, and, lastly, the real numbers – a new set of numbers was created, and the number line evolved from discrete ($\mathbb{N}$) to a line continuum $\mathbb{R}$. The question is, what would be the next extension and what would it look like?

    As stated earlier, in the 16th century it became clear that a new type of number was necessary to solve a slew of quadratic equations. Owing to people such as Wallis, Wessel, Argand, Buée, Mourey, Warren, Français, Bellavitis, Gauss, and Euler[5][6], the idea to extend the real number line of $\mathbb{R}$ with an imaginary, perpendicular number line came to fruition. This created the so-called complex (geometric) plane, sometimes called the $z$-plane, Gauss plane or Argand plane. It is important to note that transforming a real number in $\mathbb{R}$ to a complex number in $\mathbb{C}$ involves not a translation but a rotation. Multiplying a real number in $\mathbb{R}$, say 1, by a number that only exists in $\mathbb{C}$, say $i$, is the same as geometrically rotating our position 1 on the real axes by $\pi/2$ onto a position $i$ on the imaginary axis as is depicted in Figure 5a.

    What if we did this with the entire real time axis in a space-time diagram as shown in Figure 5b? Every element of real time $t$ is multiplied by $i$. In other words, every part is rotated in the complex plane to become an entire imaginary axis of time $it$. This procedure is called a Wick rotation, named after theoretical physicist Gian Carlo Wick, who described such a procedure to solve problems in quantum and statistical mechanics[7].

    This seems promising and is what Henri Poincaré alluded to fifty years earlier. Before we continue, we have to do one other little thing. It has something to do with units of measurement.

    Minkowski diagrams

    Figure 6: The distance-time-diagram we all grew up with. The independent variable time t as the x-axis, and the dependent variable distance, x, as the y-axis. Four particles are travelling through time and (one-dimensional) space, each with its own distance function of time, that is, each with its own speed. Note that P travels the most amount of distance over the same period, in other words, it is the fastest. Note that S travels exactly zero distance in that same amount of time.

    We all grew up learning to read and use a type of diagram as depicted in Figure 6 during our physics classes. Time is put on the $x$-axis and distance $x$ is put on the $y$-axis. Somewhat confusingly, at first, as one might have gotten accustomed to using values of $x$ on the $x$-axis during the maths lessons. Of course, one learns that it is less about the names of variables and axes, rather, it is a matter of which is the independent and which is the dependent variable. The independent one, in this case, time $t$ (time flies, whether we want to or not), is then laid out over the axis called $x$ (which has not much to do with the variable named $x$), and the dependent one, a variable which happened to be named $x$, is projected onto the $y$-axis.

    In this diagram, we see four particles. The fastest, $P$, is moving away in the $x$-direction (which is up, but not necessarily up into the sky, do realise that!) covering more units of $x$ than the other three after the same time $t_1$ has passed. This is why it has a steeper slope. The slowest one is the one that is not moving at all, the stationary particle $S$. It is moving in time, which is why it exists at time $t_1$, but, spatially, it does not exist at a certain amount of units of $x$ away from the origin. In fact, it exists in exactly the same place, the origin.

    Figure 7: tx-diagram. A physicist’s diagram, where distance in space, x, is projected on the x-axis and distance in time t is projected on the y-axis. Note that the faster a particle travels, the smaller the angle of its ‘line’ through space and time with the x-axis. If the particle is stationary, it only ‘travels’ through time and the angle with the x-axis is maximised at π/2. In other words, it just goes straight up.

    Well, get yourself out of the habit: turns out that professional physicists like to flip the axes when it comes to time. In other words, they project the distance variable $x$ onto the $x$-axis, while the time variable $t$ almost invariably gets to be projected onto the $y$-axis. Yes, you heard it correctly. Time goes up in a physicist’s diagram. The esteemed professor Leonard Susskind, a theoretical physicist at Stanford University, even postulated, in part jokingly, during a lecture on the principle of least action that physicists are the only type of people who do this(beginfootnote)See, for instance, https://youtu.be/3apIZCpmdls?t=1447(endfootnote). And so, we flipped our diagram as you can see in Figure 7.

    Speaking of units, usually, time is measured in seconds and distance in metres. Usually. Though, remember when you went to visit those new friends of your parents and that one of the first things they assured their hosts is that their hometown was actually not that distant and that it was just ‘a two-hour drive’? Distance, while usually measured in kilometres between two places, is now expressed in units of time. Assuming that people legally drive – from door to door – at an average speed of $100\text{ km/h}$, the distance will be around 200 km.

    Why do people like to express distance in terms of units of time sometimes? Well, in some cases, people aren’t interested in the exact amount of kilometres, but rather tend to focus on how much of our valuable time a certain activity consumes, hence, an answer in units of time makes sense.

    Astrophysicists do another interesting distance-as-time conversion when it comes to distances between galaxies, for instance. They work with visible light reaching their telescopes, and other types of radiation. Moreover, the distances they work with are ridiculously large, especially when expressed in kilometres. So, they work with light-years, which sounds like a unit of time, but denotes a certain distance. One light-year is the distance light travels in one Julian year, which is $365.25$ days. Light travels at a speed of $c=299792458\text{ ms}^{-1}$ in the vacuum. To calculate the number of seconds in a Julian year, we multiply the number of seconds in one minute times the number of minutes in one hour times the number of hours in one day times the number of days in one Julian year:

    \begin{align}
    60\text{ s} &\times 60\text{ minutes} \times 24\text{ hours} \times 365.25\text{ days} \\
    &= 31557600\text{ s}.
    \end{align}

    Using Equation \eqref{eq:x=vt} to calculate distance $x$ light travels in one Julian year, we get

    \begin{align}
    x &= vt \text{, and because }v=c\text{, we write:} \\
    x &= ct,\label{eq:x=ct} \\
    &= 299792458\text{ ms}^{-1} \times 31557600\text{ s} \\
    &= 9460730472580800\text{ m}, \\
    &= 9460730472580.800\text{ km}.
    \end{align}

    Since light travels this ridiculously large number of kilometres, it makes perfect sense for astrophysicists to use this fact to express the distance of stars and galaxies. This way, the nearest major galaxy, Andromeda, is only about $2.5$ light-years away. This is obviously more practical than $23651826181452\text{ km}$.

    So, about describing distance in terms of units of time, we learnt that

    • in the case of a ‘normal scale’ distance such as between two towns, expressing a spatial distance in units of time makes it easier to compare with the amount of time one wishes to spend on travelling – it becomes like comparing time with time;
    • in the case of larger scale distances such as between two galaxies, expressing a spatial distance in light-units of time makes it easier to handle the impractically large numbers of the original units.

    Let us go back at our diagram in Figure 7 again. The units of both axes are not the same. The $x$-axis is the distance, which is expressed in spatial units, such as metres. The $y$-axis is the time, expressed in temporal units, such as seconds. It is hard to compare the two: the units are not the same. Also, as particle physicists are usually dealing with extremely fast particles, near the speed of light, it is impractical to be using the standard units of time. So, physicists have devised a solution to both problems. Number one: what if we expressed time in units of distance? So, that is the other way around: not distance in units of time, but time in units of distance.

    To do that, we simply use the formula as expressed in Equation \eqref{eq:x=ct}: $x=ct$. In other words, if we multiply time $t$ with the speed of light $c$, we get a distance. A little analysis of units checks out. If we multiply the units of the speed of light with the unit of time, we get a unit of distance:

    \begin{equation}
    \text{m s}^{-1} \times \text{s} = \text{m s}^{-1}\text{s} = \text{m}\frac{\text{s}}{\text{s}} = \text{m}.
    \end{equation}

    Figure 8: ct. (a) The time axis is multiplied by c, so it is easier to compare time with space, i.e. time is expressed in units of distance. (b) We set c = 1 so that the so-called world line of any particle travelling at exactly the speed of light is always at an angle of π/4 with the x-axis. Or 45°, if you are into that sort of thing.

    This does not mean we magically, qualitatively, or even hypothetically transformed the time dimension into a space dimension, even though this would be a perfect device for a cool work of science-fiction, but it does mean that we now express time in units of distance. And so, we label the $y$-axis with $ct$ as is shown in Figure 8.

    Now, to tackle the second problem, where physicists work with particles whose motions approach the speed of light at distance scales smaller than an electron in the vicinity of black holes with forces greater than you would ever encounter, it is impractical to work with the ordinary distance and time units. Furthermore, they prefer to choose the units of $ct$ and $x$ such, that a ‘line’ of a photon, e.g. light, travelling through space and time, is always depicted at an angle of $\pi/4$ or $45^\circ$ with the $x$-axis. To do so, they set the speed of light to 1. So, $c=1$. What you get is a diagram as shown in Figure 8(b). Particle $P$ is a photon, thus travelling at the speed of light. So, its ‘line’ is at the exact angle of $\pi/4$ with both the $x$- and $y$-axis, i.e. the $x$ and $ct$, respectively. All the other particles thus travel at a certain ratio of $c$, i.e. a certain ratio of 1.

    All this should tell you enough to figure out how fast a particle would be going if its ‘line’ would be drawn underneath that of $P$, i.e. at an angle smaller than $\pi/4$. And even though you should also be able to figure out if this is at all possible, we will tell you now that this is not possible.

    By the way, the term ‘line’, which we use to describe the path a particle takes through space and time in our diagrams, is called a ‘world line’ as Hermann Minkowski would have wanted us to. And the diagrams of Figures ref7 and 8 are called Minkowski diagrams. They are also called spacetime diagrams, although there is a subtle difference: Minkowski diagrams are the subset of two-dimensional diagrams within the larger set of spacetime diagrams, which contains the 3D versions, and 4D, even.

    Wick rotation revisited

    Figure 9: from it to ict. (a) The Wick rotation of the real time axis ct to the imaginary time axis ict. We projected the coordinate system of Figure 8 onto ‘the floor’ to have the ct-axis then rotated to the imaginary ict-axis by multiplication by the imaginary unit i. (b) Consequently, the world line of P gets rotated onto the imaginary plane as well.

    We are almost ready to derive the Lorentz transformations. The only thing we have to do, is Wick rotate the (real) time axis into the imaginary time axis, i.e. we rotate the $ct$-axis of Figure 8. So, we do as we did in the previous section Number sets: we multiply by the imaginary unit $i$ from the number set $\mathbb{C}$, thereby rotating the time axis of $\mathbb{R}$ into the complex plane $\mathbb{C}$ to become an imaginary axis of time.

    Figure 9 offers a geometric representation of the whole operation. We projected our original coordinate system of Figure 8 onto ‘the floor’, so to speak. We left out particles $Q$, $R$, and $S$ to keep it legible. Wick-rotating the real time axis $ct$ by multiplying by the imaginary unit $i$ then yields the imaginary time axis $ict$. Automatically, the world line of $P$ rotates along into the complex plane. Note, that the spacetime coordinates of $P$ have changed a few times in this section. They were $(x_P,t_1)$, then they became $(x_P,ct_1)$, and have ended up to become $(x_P,ict_1)$. Just the way we like it.

    Deriving the Lorentz transformations

    Invariant world line in the complex plane

    Figure 10: Wick-rotated M and E. Hermann’s M and Albert’s E frames of reference rotated at an angle θ relative to each other in the complex plane about their origin. We put a little square with sides marked I and II to aid us in our trigonometric calculations.

    To end up with the Lorentz transformations as formulated in Equations \eqref{eq:Lorentz t-prime} and \eqref{eq:Lorentz x-prime} by rotating two frames of reference relative to each other in the complex plane – with an imaginary time axis – we refer to Figure 10.

    In both frames, those of Hermann and Albert, a photon $P$ travels at speed $c$. By the second postulate of Einstein’s Special Relativity[3], we know that, somehow, the value for $c$, which is chosen to be 1 in our case, is the same in both frames of reference, even though one moves relative to the other, meaning the coordinates between the frames are unequal. In Figure 2, this is represented by $v$. In Figure 10, this is represented by an angle $\theta$.

    We see that the coordinates of $P$ in $\mathcal{M}$ are $(\Delta x, ic\Delta t)$. In $\mathcal{E}$, they are $(\Delta x’, ic\Delta t’)$. They are related to each other by some proportion of angle $\theta$. Before we find that relation, we repeat our finding regarding Equation \eqref{eq:interval} in the section Invariances: the quantity $(\Delta x)^2 – (c\Delta t)^2$ is invariant. In our case, it is the interval $OP$ that is invariant, despite the fact that $P$ has different coordinates. In other words, geometrically, both $\mathcal{M}$ and $\mathcal{E}$ agree on the length of the yellow world line as you can see in Figure 10. We should proceed to show this.

    Let us first write down the expressions for the invariant yellow world line $OP$ in both frames of reference:

    \begin{align}
    \text{Hermann, standing in }\mathcal{M}\text{, says: }(OP)^2 &= (\Delta x)^2 + (ic\Delta t)^2, \\
    \text{Albert, standing in }\mathcal{E}\text{, says: }(OP)^2 &= (\Delta x’)^2 + (ic\Delta t’)^2.
    \end{align}

    And, since both expressions calculate the same invariant quantity, obviously, we can write:

    \begin{equation}
    (\Delta x)^2 + (ic\Delta t)^2 = (\Delta x’)^2 + (ic\Delta t’)^2,
    \end{equation}

    which simplifies to

    \begin{equation}
    \Delta x^2 – c^2\Delta t^2 = (\Delta x’)^2 – c^2(\Delta t’)^2.\label{eq:interval in the complex plane}
    \end{equation}

    This is the result we wanted. Whether it is with imaginary time or with real time, the quantity $\Delta x^2 – c^2\Delta t^2$ remains invariant. (Recall that $i^2=(sqrt{-1})^2=-1$.) Even in the complex plane, $\mathcal{M}$ and $\mathcal{E}$ agree on the magnitude of this quantity.

    Coordinates in terms of the other coordinates

    Let us now express the coordinates of $P$ in $\mathcal{E}$, i.e. $(\Delta x’,ic\Delta t’)$, in terms of angle $\theta$ and the coordinates of $P$ in $\mathcal{M}$, i.e. $(\Delta x,ic\Delta t)$. Firstly, we deduce an expression for $\Delta x’$ using Figure 10:

    \begin{align}
    \Delta x’ &= \Delta x\cos\theta + \text{I}, \\
    \text{I} &= ic\Delta t\sin\theta, \\
    \therefore \Delta x’ &= \Delta x\cos\theta + ic\Delta t\sin\theta.\label{eq:delta x prime}
    \end{align}

    Secondly, we deduce an expression for $ic\Delta t’$:

    \begin{align}
    ic\Delta t’ &= ic\Delta t\cos\theta – \text{II}, \\
    \text{II} &= \Delta x\sin\theta, \\
    \therefore ic\Delta t’ &= ic\Delta t\cos\theta – \Delta x\sin\theta.\label{eq:icdelta t prime}
    \end{align}

    Lastly, as we want to find the relation between $\theta$ in the complex plane and $v$ in real spacetime, we forget $P$ for a moment and now write the expression for Albert himself, sitting in $O’$ of his frame $\mathcal{E}$ in terms of the coordinates of Hermann’s frame $\mathcal{M}$. In other words, how does Hermann see Albert move? Since Albert is not moving in his own frame $\mathcal{E}$, as we said earlier, after a certain amount of time $ic\Delta t$, his $\Delta x’=0$. So, by Equation \eqref{eq:delta x prime}, we write

    \begin{equation}
    \Delta x’ = \Delta x\cos\theta + ic\Delta t\sin\theta = 0.
    \end{equation}

    Working this further, we get

    \begin{align}
    ic\Delta t\sin\theta &= -\Delta x\cos\theta, \\
    \frac{sin\theta}{\cos\theta} &= -\frac{\Delta x}{ic\Delta t}, \\
    \tan\theta &= -\frac{1}{ic}\frac{\Delta x}{\Delta t}, \\
    \tan\theta &= -\frac{1}{ic}v, \\
    \tan\theta &= -\frac{v}{ic}.
    \end{align}

    To remove the imaginary unit – being a surd – from of the denominator, we multiply the right hand side with $i/i$, yielding:

    \begin{align}
    \tan\theta &= -\frac{i}{i}\frac{v}{ic}, \\
    \tan\theta &= -i\frac{v}{-c}, \\
    therefore \tan\theta &= \frac{iv}{c}.\label{eq:tan \theta}
    \end{align}

    To recapitulate, we have now obtained Equations \eqref{eq:delta x prime}, \eqref{eq:icdelta t prime}, which express the coordinates of $P$ in $\mathcal{E}$ in terms of angle $\theta$ and the coordinates of $\mathcal{M}$. Lastly, we obtained relation \eqref{eq:tan \theta} between angle $\theta$ and speed $v$ of Albert’s frame $\mathcal{E}$ as seen by Hermann in his frame $\mathcal{M}$. So, to restate, we obtained the following transformations:

    \begin{aligned}\Delta x’ &= \Delta x\cos\theta + ic\Delta t\sin\theta,&\quad\eqref{eq:delta x prime} \\ ic\Delta t’ &= ic\Delta t\cos\theta – \Delta x\sin\theta,&\quad\eqref{eq:icdelta t prime} \\tan\theta &= \frac{iv}{c}.&\quad\eqref{eq:tan \theta}\end{aligned}

    Figure 11: Triangle tan θ. The geometric representation of Equation 9: an imaginary triangle with an imaginary slope tan θ, where Γ is the hypotenuse. Note that sin θ = (iv/c)/Γ and cos θ = 1/Γ.

    The Lorentz transformations

    Note that, algebraically, it is possible to write Equation \eqref{eq:tan \theta} as

    \begin{equation}
    \tan\theta = \frac{iv/c}{1},
    \end{equation}

    which, geometrically, looks like 11. Note that $\sin\theta=(\mathrm{iv/c})/\Gamma$ and $\cos\theta=1/\Gamma$, so all we have to do now, is figure out what $\Gamma$ is. Using, again, the Pythagorean theorem:

    \begin{align}
    \Gamma^2 &= 1^2 + \left(\frac{iv}{c}\right)^2, \\
    &= 1 + \frac{-v^2}{c^2}, \\
    \therefore \Gamma &= \sqrt{1-\frac{v^2}{c^2}}.
    \end{align}

    We can now write:

    \begin{align}
    \sin\theta &= \frac{iv/c}{\sqrt{1-v^2/c^2}}, \\
    \cos\theta &= \frac{1}{\sqrt{1-v^2/c^2}}.
    \end{align}

    This is starting to look good. Moving on to substitute $\sin\theta$ and $\cos\theta$ in Equation \eqref{eq:delta x prime}, yields:

    \begin{align}
    \Delta x’ &= \Delta x \left(\frac{1}{\sqrt{1-v^2/c^2}}\right) + ic\Delta t\left(\frac{iv/c}{\sqrt{1-v^2/c^2}}\right), \\
    &= \frac{\Delta x}{\sqrt{1-v^2/c^2}} + \frac{-v\Delta t}{\sqrt{1-v^2/c^2}}, \\
    \therefore \Delta x’ &= \frac{\Delta x-v\Delta t}{\sqrt{1-v^2/c^2}}.
    \end{align}

    Since in our configuration the differences are calculated from the origin, we can leave out the $\Delta$-sign, using just the coordinates, and so we obtain

    \begin{equation}
    x’ = \frac{x-vt}{\sqrt{1-v^2/c^2}},
    \end{equation}

    which is indeed Equation \eqref{eq:Lorentz x-prime}.

    Substituting $\sin\theta$ and $\cos\theta$ in Equation \eqref{eq:icdelta t prime}, yields:
    \begin{align}
    ic\Delta t’ &= ic\Delta t\left(\frac{1}{\sqrt{1-v^2/c^2}}\right) – \Delta x\left(\frac{iv/c}{\sqrt{1-v^2/c^2}}\right), \\
    ic\Delta t’ &= \frac{ic\Delta t}{\sqrt{1-v^2/c^2}} – \frac{iv\Delta x/c}{\sqrt{1-v^2/c^2}}, \\
    \Delta t’ &= \frac{\Delta t}{\sqrt{1-v^2/c^2}} – \frac{v\Delta x/c^2}{\sqrt{1-v^2/c^2}}, \\
    \therefore \Delta t’ &= \frac{\Delta t-v\Delta x/c^2}{\sqrt{1-v^2/c^2}}.\end{align}

    And so, leaving out the $\Delta$-sign, using just the coordinates, we obtain
    \begin{equation}
    t’ = \frac{t-vx/c^2}{\sqrt{1-v^2/c^2}},
    \end{equation}

    which is, indeed, Equation \eqref{eq:Lorentz t-prime}.

    It is important to note that, while not unusual to leave out the $\Delta$-sign, formally, it is incorrect: in Special Relativity there is no preferred (fixed) origin, hence, it is always about differences.

    Lastly, we reiterate that the term $1/\sqrt{1-v^2/c^2}$ is often written as $\gamma$ and is called the Lorentz factor. Also, in some texts, the term $v/c$ is replaced by symbol $\beta$, yielding the following equivalent expressions of the Lorentz transformations:

    \begin{align}
    ct’ &= \gamma(ct-\beta x), \\
    x’ &= \gamma(x-\beta ct), \\
    y’ &= y, \\
    z’ &= z.
    \end{align}

    Thanks to the imagination of many mathematicians and physicists before us, our ability to investigate, analyse, and calculate has become as supple and malleable as is, indeed, the fabric of the cosmos.

    Featured image: arielrobin

    [1] Hawking, S. (2001) The universe in a nutshell. New York: Bantam Books.
    [2] Walter, S. (2014) Poincaré on clocks in motion. Amsterdam, Ne.
    [3] Einstein, A. (1905) “Zur Elektrodynamik Bewegter Körper,” Annalen der Physik, 322(10), pp. 891–921. doi: 10.1002/andp.19053221004.
    [4] Bailey, D. H. and Borwein, J. M. (2016) Pi : the next generation : a sourcebook on the recent history of pi and its computation. Switzerland: Springer. doi: 10.1007/978-3-319-32377-0.
    [5] Cooke, R. (2005) The history of mathematics : a brief course. 2nd edn. New York, N.Y.: Wiley.
    [6] Caparrini S. (2006) On the Common Origin of Some of the Works on the Geometrical Interpretation of Complex Numbers. In: Williams K. (eds) Two Cultures. Birkhäuser Basel, pp. 139-151.
    [7] Wick, G.C. (1954) Properties of Bethe-Salpeter Wave Functions. Physical Review, 96(4), pp. 1124-1134.