The McGucken Invariance in Einstein’s Lightning–Train Thought Experiment: Lorentz–Covariant Construction and Measurement‑Based Universal Simultaneity

The McGucken Invariance in Einstein’s Lightning–Train Thought Experiment: Lorentz–Covariant Construction and Measurement‑Based Universal Simultaneity

Abstract

Einstein’s lightning–train thought experiment shows that simultaneity is relative: two spatially separated events that are simultaneous in one inertial frame are generally not simultaneous in another. Building on recent work by McGucken, this paper introduces and analyzes a relativistic invariant constructed from the time of arrival, Doppler‑shifted frequency, and transformed intensity of light signals from two symmetric lightning strikes on an embankment. For each inertial train with speed $v$v relative to the embankment, the combination

$$\mathcal{M}=\frac{\tau (f^{\prime }{)}^2}{(I^{\prime }{)}^{1\mathrm{/}4}}$$M=(I′)1/4τ(f′)2​

takes the same value for both lightning strikes and equals

$$\mathcal{M}=L\gamma \frac{f^2}{I^{1\mathrm{/}4}},$$M=LγI1/4f2​,

where $L$L is half the spatial separation between the strike points in the embankment frame, $f$f and $I$I are the emission frequency and intensity in that frame, $\beta =v\mathrm{/}c$β=v/c, and $\gamma =1\mathrm{/}\sqrt{1-{\beta }^2}$γ=1/1−β2​. The construction is then extended to an arbitrary family of trains, each with its own velocity $v_i$vi​, and it is shown that each train obtains the same functional form with its own Lorentz factor ${\gamma }_i$γi​. Because every observer, using only measurements in their own frame, can apply a single Lorentz‑covariant rule and reach the same verdict on whether the lightning strikes were simultaneous in the embankment frame, the McGucken invariance motivates a measurement‑based notion of universal simultaneity tied to that physical configuration, compatible with Einstein’s relativity of simultaneity.

---

1. Introduction

Einstein’s 1905 formulation of special relativity introduced two postulates: the equivalence of physical laws in all inertial frames and the invariance of the speed of light in vacuum. One of the most profound consequences is the relativity of simultaneity: spatially separated events judged simultaneous in one frame are generally not simultaneous in another moving frame. This principle is vividly illustrated in Einstein’s lightning–train thought experiment, where two lightning strikes that are simultaneous in the embankment frame are not simultaneous in the train frame.

McGucken has proposed a new invariant that combines directly measurable properties of light signals—arrival time, Doppler‑shifted frequency, and intensity—into a quantity that is equal for symmetric sources on opposite sides for any inertial observer. In the original presentation, this was developed for two symmetric sources in the “embankment” frame, with an observer on a moving “train”.

The present paper reformulates and extends that idea in three ways:

1. It replaces lamps with lightning strikes, aligning the construction directly with Einstein’s original thought experiment.
2. It derives the invariant explicitly using Lorentz transformations of emission and reception events in Minkowski spacetime.
3. It shows how, in an operational and measurement‑based sense, many different trains can agree on whether the lightning strikes were simultaneous in the embankment frame, suggesting a restricted but meaningful notion of universal simultaneity rooted in observation rather than convention.

Physics, as Einstein emphasized in his 1934 lecture on the method of theoretical physics, begins and ends in experience; purely logical constructions must be judged by their connection to observation. The McGucken invariance follows this spirit by grounding its simultaneity claim in quantities that each observer can measure in their own frame.

---

2. Geometric Setup

2.1 Frames and coordinates

Let $S$S denote the embankment (platform) frame with coordinates $(ct,x,y,z)$(ct,x,y,z). All motion and events of interest lie along the $x$x‑axis, so $y=z=0$y=z=0.

Consider a family of trains $\{T_i\}${Ti​}, each associated with an inertial frame $S_i^{\prime }$Si′​. Train $T_i$Ti​ moves with constant velocity $v_i={\beta }_{i}c$vi​=βi​c along the $+x$+x direction relative to $S$S, with $\mathrm{\mid }{\beta }_i\mathrm{\mid }<1$∣βi​∣<1. The standard Lorentz transformation from $S$S to $S_i^{\prime }$Si′​ is

$$c{t}_i^{\prime }={\gamma }_i(ct-{\beta }_{i}x),x_i^{\prime }={\gamma }_i(x-{\beta }_{i}ct),$$cti′​=γi​(ct−βi​x),xi′​=γi​(x−βi​ct),

with

$${\beta }_i=\frac{v_i}{c},{\gamma }_i=\frac{1}{\sqrt{1-{\beta }_i^2}}\mathrm{.}[][][]$$βi​=cvi​​,γi​=1−βi2​​1​.[][][]

Einstein’s second postulate asserts that light propagates at speed $c$c in all inertial frames, independent of the motion of source and observer.

2.2 Lightning events in the embankment frame

On the embankment, fix two points A and B at positions

$$x_A=-L,x_B=+L,$$xA​=−L,xB​=+L,

with $L>0$L>0. At time $t=0$t=0 in frame $S$S, lightning strikes occur at A and B. The emission events are

$${\mathcal{E}}_A:(c{t}_A,x_A)=(0,-L),{\mathcal{E}}_B:(c{t}_B,x_B)=(0,+L)\mathrm{.}$$EA​:(ctA​,xA​)=(0,−L),EB​:(ctB​,xB​)=(0,+L).

These events are simultaneous in the embankment frame by construction. Each strike emits an electromagnetic pulse with characteristic frequency $f$f and intensity $I$I in the embankment frame.

2.3 Train midpoints and reception events

For each train $T_i$Ti​, assume its geometric midpoint coincides with the embankment origin at $t=0$t=0. In the embankment frame, the worldline of this midpoint is

$$x_{M_i}(t)={\beta }_{i}ct\mathrm{.}$$xMi​​(t)=βi​ct.

Light from A propagates in $S$S along

$$x_A(t)=-L+ct,$$xA​(t)=−L+ct,

and light from B propagates along

$$x_B(t)=+L-ct\mathrm{.}$$xB​(t)=+L−ct.

The reception events for train $T_i$Ti​ are defined as intersections of these light worldlines with the train midpoint worldline:

• ${\mathcal{R}}_{A,i}$RA,i​: $x_A(t)=x_{M_i}(t)$xA​(t)=xMi​​(t),
• ${\mathcal{R}}_{B,i}$RB,i​: $x_B(t)=x_{M_i}(t)$xB​(t)=xMi​​(t).

---

3. Arrival Times and Lorentz‑Compatible Kinematics

3.1 Arrival times in the embankment frame

For train $T_i$Ti​, the reception time for light from A is given by

$${\beta }_{i}c{t}_{A,i}=-L+c{t}_{A,i}\mathrm{.}$$βi​ctA,i​=−L+ctA,i​.

Solving for $t_{A,i}$tA,i​ gives

$$c{t}_{A,i}(1-{\beta }_i)=L\Rightarrow t_{A,i}=\frac{L}{c(1-{\beta }_i)}\mathrm{.}$$ctA,i​(1−βi​)=L⇒tA,i​=c(1−βi​)L​.

Similarly, for light from B,

$${\beta }_{i}c{t}_{B,i}=+L-c{t}_{B,i}\Rightarrow c{t}_{B,i}(1+{\beta }_i)=L,$$βi​ctB,i​=+L−ctB,i​⇒ctB,i​(1+βi​)=L,

so

$$t_{B,i}=\frac{L}{c(1+{\beta }_i)}\mathrm{.}$$tB,i​=c(1+βi​)L​.

Define the arrival intervals in the embankment frame as

$${\tau }_{A,i}=t_{A,i},{\tau }_{B,i}=t_{B,i}\mathrm{.}$$τA,i​=tA,i​,τB,i​=tB,i​.

These coincide with the standard analysis of Einstein’s thought experiment: an observer moving toward one strike and away from the other receives the light at different times even though the strikes were simultaneous in the embankment frame.

3.2 Proper times in train frames (optional)

Because the train midpoint is at rest in $S_i^{\prime }$Si′​, the proper time along its worldline between emission and reception equals the time difference in $S_i^{\prime }$Si′​. These can be obtained by Lorentz transforming the emission and reception events. For the purposes of the McGucken invariant as originally defined, only the dependence of ${\tau }_{X,i}$τX,i​ on ${\beta }_i$βi​ in the embankment frame is needed, so explicit expressions for proper times in $S_i^{\prime }$Si′​ are not required.

---

4. Frequency and Intensity Transformations

4.1 Relativistic Doppler shift

Each lightning strike emits radiation of frequency $f$f in the embankment frame. An observer on train $T_i$Ti​, moving with speed $v_i$vi​ relative to the sources, measures Doppler‑shifted frequencies $f_{A,i}^{\prime }$fA,i′​ and $f_{B,i}^{\prime }$fB,i′​.

For motion along the line of sight, the 1D relativistic Doppler formulas are

$$f_{B,i}^{\prime }=f\sqrt{\frac{1+{\beta }_i}{1-{\beta }_i}},f_{A,i}^{\prime }=f\sqrt{\frac{1-{\beta }_i}{1+{\beta }_i}},$$fB,i′​=f1−βi​1+βi​​​,fA,i′​=f1+βi​1−βi​​​,

where B is on the approaching side and A is on the receding side.

These formulae follow from Lorentz transforming the wave four‑vector or, equivalently, from the invariance of the phase of the electromagnetic wave under Lorentz transformations.

4.2 Intensity beaming

Covariant radiative transfer theory tells us that the ratio $I_{\nu }\mathrm{/}{\nu }^3$Iν​/ν3 (specific intensity over frequency cubed) is invariant along rays in special relativity. For a narrow frequency band, this implies that intensity transforms by a power of the Doppler factor. In the simplified 1D configuration used by McGucken, the intensity in the moving train frame is taken as

$$I_{B,i}^{\prime }=I{\left(\sqrt{\frac{1+{\beta }_i}{1-{\beta }_i}}\right)}^4,I_{A,i}^{\prime }=I{\left(\sqrt{\frac{1-{\beta }_i}{1+{\beta }_i}}\right)}^4\mathrm{.}$$IB,i′​=I(1−βi​1+βi​​​)4,IA,i′​=I(1+βi​1−βi​​​)4.

The exponent reflects a particular modeling choice for total intensity; any consistent beaming law with symmetric powers delivers the same algebraic cancellation structure that underlies the invariant.

---

5. Definition and Proof of the McGucken Invariant for a Single Train

5.1 Definition

For a given train $T_i$Ti​ and source $X\in \{A,B\}$X∈{A,B}, define the McGucken combination

$${\mathcal{M}}_{X,i}=\frac{{\tau }_{X,i}(f_{X,i}^{\prime }{)}^2}{(I_{X,i}^{\prime }{)}^{1\mathrm{/}4}}\mathrm{.}$$MX,i​=(IX,i′​)1/4τX,i​(fX,i′​)2​.

Here:

• ${\tau }_{X,i}$τX,i​ is the arrival time interval in the embankment frame for the light from source X to reach the midpoint of train $T_i$Ti​,
• $f_{X,i}^{\prime }$fX,i′​ is the Doppler‑shifted frequency measured on that train,
• $I_{X,i}^{\prime }$IX,i′​ is the observed intensity in the train frame.

For simplicity, set $c=1$c=1 (as in McGucken’s original presentation).

5.2 Approaching side (B)

For source B and train $T_i$Ti​,

$${\tau }_{B,i}=\frac{L}{1+{\beta }_i},f_{B,i}^{\prime }=f\sqrt{\frac{1+{\beta }_i}{1-{\beta }_i}},I_{B,i}^{\prime }=I{\left(\sqrt{\frac{1+{\beta }_i}{1-{\beta }_i}}\right)}^4\mathrm{.}[]$$τB,i​=1+βi​L​,fB,i′​=f1−βi​1+βi​​​,IB,i′​=I(1−βi​1+βi​​​)4.[]

Substituting into the definition gives

$$\begin{array}{rl}{\displaystyle {\mathcal{M}}_{B,i}}& {\displaystyle =\frac{{\tau }_{B,i}(f_{B,i}^{\prime }{)}^2}{(I_{B,i}^{\prime }{)}^{1\mathrm{/}4}}}\\ {\displaystyle }& {\displaystyle =\frac{\frac{L}{1+{\beta }_i}\cdot f^2\cdot \frac{1+{\beta }_i}{1-{\beta }_i}}{I^{1\mathrm{/}4}{\left(\frac{1+{\beta }_i}{1-{\beta }_i}\right)}^{1\mathrm{/}2}}}\\ {\displaystyle }& {\displaystyle =L\frac{f^2}{I^{1\mathrm{/}4}}\frac{1}{1-{\beta }_i}{\left(\frac{1-{\beta }_i}{1+{\beta }_i}\right)}^{1\mathrm{/}2}\mathrm{.}}\end{array}$$MB,i​​=(IB,i′​)1/4τB,i​(fB,i′​)2​=I1/4(1−βi​1+βi​​)1/21+βi​L​⋅f2⋅1−βi​1+βi​​​=LI1/4f2​1−βi​1​(1+βi​1−βi​​)1/2.​

This simplifies to

$$\begin{array}{rl}{\displaystyle {\mathcal{M}}_{B,i}}& {\displaystyle =L\frac{f^2}{I^{1\mathrm{/}4}}\frac{1}{\sqrt{(1-{\beta }_i)(1+{\beta }_i)}}}\\ {\displaystyle }& {\displaystyle =L\frac{f^2}{I^{1\mathrm{/}4}}\frac{1}{\sqrt{1-{\beta }_i^2}}}\\ {\displaystyle }& {\displaystyle =L{\gamma }_i\frac{f^2}{I^{1\mathrm{/}4}}\mathrm{.}}\end{array}$$MB,i​​=LI1/4f2​(1−βi​)(1+βi​)​1​=LI1/4f2​1−βi2​​1​=Lγi​I1/4f2​.​

5.3 Receding side (A)

For source A and train $T_i$Ti​,

$${\tau }_{A,i}=\frac{L}{1-{\beta }_i},f_{A,i}^{\prime }=f\sqrt{\frac{1-{\beta }_i}{1+{\beta }_i}},I_{A,i}^{\prime }=I{\left(\sqrt{\frac{1-{\beta }_i}{1+{\beta }_i}}\right)}^4\mathrm{.}[]$$τA,i​=1−βi​L​,fA,i′​=f1+βi​1−βi​​​,IA,i′​=I(1+βi​1−βi​​​)4.[]

Substituting gives

$$\begin{array}{rl}{\displaystyle {\mathcal{M}}_{A,i}}& {\displaystyle =\frac{{\tau }_{A,i}(f_{A,i}^{\prime }{)}^2}{(I_{A,i}^{\prime }{)}^{1\mathrm{/}4}}}\\ {\displaystyle }& {\displaystyle =\frac{\frac{L}{1-{\beta }_i}\cdot f^2\cdot \frac{1-{\beta }_i}{1+{\beta }_i}}{I^{1\mathrm{/}4}{\left(\frac{1-{\beta }_i}{1+{\beta }_i}\right)}^{1\mathrm{/}2}}}\\ {\displaystyle }& {\displaystyle =L\frac{f^2}{I^{1\mathrm{/}4}}\frac{1}{1+{\beta }_i}{\left(\frac{1+{\beta }_i}{1-{\beta }_i}\right)}^{1\mathrm{/}2}\mathrm{.}}\end{array}$$MA,i​​=(IA,i′​)1/4τA,i​(fA,i′​)2​=I1/4(1+βi​1−βi​​)1/21−βi​L​⋅f2⋅1+βi​1−βi​​​=LI1/4f2​1+βi​1​(1−βi​1+βi​​)1/2.​

This again simplifies to

$$\begin{array}{rl}{\displaystyle {\mathcal{M}}_{A,i}}& {\displaystyle =L\frac{f^2}{I^{1\mathrm{/}4}}\frac{1}{\sqrt{(1-{\beta }_i)(1+{\beta }_i)}}}\\ {\displaystyle }& {\displaystyle =L\frac{f^2}{I^{1\mathrm{/}4}}\frac{1}{\sqrt{1-{\beta }_i^2}}}\\ {\displaystyle }& {\displaystyle =L{\gamma }_i\frac{f^2}{I^{1\mathrm{/}4}}\mathrm{.}}\end{array}$$MA,i​​=LI1/4f2​(1−βi​)(1+βi​)​1​=LI1/4f2​1−βi2​​1​=Lγi​I1/4f2​.​

5.4 Result

For each train $T_i$Ti​, the McGucken combination satisfies

$${\mathcal{M}}_{A,i}={\mathcal{M}}_{B,i}=L{\gamma }_i\frac{f^2}{I^{1\mathrm{/}4}}\mathrm{.}$$MA,i​=MB,i​=Lγi​I1/4f2​.

Thus, for any given train:

• The value of the constructed quantity is invariant between the two opposite directions (A and B),
• It is proportional to the train’s Lorentz factor ${\gamma }_i$γi​ relative to the embankment.

---

6. Many Trains and a Shared Rule

6.1 Family of trains

Now consider multiple trains $\{T_i{\}}_{i=1}^N${Ti​}i=1N​, each with its own velocity $v_i={\beta }_{i}c$vi​=βi​c and Lorentz factor ${\gamma }_i$γi​, all passing the embankment origin at the instant of the lightning strikes. For each train, the derivation in Section 5 applies with $\beta$β replaced by ${\beta }_i$βi​, yielding

$${\mathcal{M}}_{A,i}={\mathcal{M}}_{B,i}=L{\gamma }_i\frac{f^2}{I^{1\mathrm{/}4}},i=1,\dots ,N\mathrm{.}[]$$MA,i​=MB,i​=Lγi​I1/4f2​,i=1,…,N.[]

The functional form is identical for all trains; only the Lorentz factor ${\gamma }_i$γi​ differs.

6.2 Operational simultaneity test

The derivation can be interpreted operationally. A train does not need to assume the lightning strikes were simultaneous in the embankment frame. Instead, train $T_i$Ti​:

1. Measures arrival intervals ${\tau }_{A,i},{\tau }_{B,i}$τA,i​,τB,i​ (via kinematics or reconstructed source‑frame timing).
2. Measures Doppler‑shifted frequencies $f_{A,i}^{\prime },f_{B,i}^{\prime }$fA,i′​,fB,i′​.
3. Measures intensities $I_{A,i}^{\prime },I_{B,i}^{\prime }$IA,i′​,IB,i′​.
4. Computes$${\mathcal{M}}_{A,i}=\frac{{\tau }_{A,i}(f_{A,i}^{\prime }{)}^2}{(I_{A,i}^{\prime }{)}^{1\mathrm{/}4}},{\mathcal{M}}_{B,i}=\frac{{\tau }_{B,i}(f_{B,i}^{\prime }{)}^2}{(I_{B,i}^{\prime }{)}^{1\mathrm{/}4}}\mathrm{.}$$MA,i​=(IA,i′​)1/4τA,i​(fA,i′​)2​,MB,i​=(IB,i′​)1/4τB,i​(fB,i′​)2​.

If ${\mathcal{M}}_{A,i}={\mathcal{M}}_{B,i}$MA,i​=MB,i​ (within experimental accuracy), the data are consistent with symmetric lightning strikes that were simultaneous in the embankment frame, separated by $2L$2L and sharing intrinsic properties $f,I$f,I, under standard special relativity and the intensity model adopted.

All trains use the same algebraic rule. Any train that observes such an event and applies the McGucken construction will, in this idealized setup, infer simultaneity in the embankment frame.

---

7. McGucken Invariance and Measurement‑Based Universal Simultaneity

7.1 From local measurements to a shared simultaneity verdict

Einstein stressed that physics is rooted in experience: “All knowledge of reality starts from experience and ends in it. Propositions arrived at by purely logical means are completely empty as regards reality.” The McGucken invariance aligns with this philosophy by relying only on quantities each observer can measure in their own frame: arrival times, frequencies, and intensities.

The key point is that any inertial observer can use this invariant recipe to decide whether a particular pair of distant events—here, the lightning strikes at A and B—were simultaneous in the embankment frame. No observer needs to know their own speed ${\beta }_i$βi​ in advance or adopt the embankment’s synchronization convention; it suffices to apply the McGucken formula to local data.

If, for a given train, ${\mathcal{M}}_{A,i}={\mathcal{M}}_{B,i}$MA,i​=MB,i​, that train concludes that the lightning strikes were symmetric and simultaneous in the embankment frame. When multiple trains later compare notes, all those that passed during that event will agree on the same simultaneity verdict for the embankment frame.

In this operational, measurement‑based sense, the McGucken invariance motivates a notion of universal simultaneity for that physical configuration: many observers, in different inertial frames, can converge on the same answer to the question “Were these two events simultaneous in the embankment frame?” using a shared Lorentz‑covariant rule.

7.2 Relation to Einstein’s relativity of simultaneity

Einstein’s relativity of simultaneity remains intact. For events separated along the direction of relative motion, there is no frame‑independent statement that they are simultaneous in all inertial frames; simultaneity is frame‑dependent. In their own coordinates, the trains generally assign different times to ${\mathcal{E}}_A$EA​ and ${\mathcal{E}}_B$EB​, so the events are not simultaneous in those train frames.

The McGucken invariance does not claim otherwise. Instead, it provides a Lorentz‑covariant diagnostic that allows each train to answer a more focused question:

Were these two lightning events simultaneous in the embankment frame, given its symmetric configuration?

The answer to this question, obtained via the equality ${\mathcal{M}}_{A,i}={\mathcal{M}}_{B,i}$MA,i​=MB,i​, is the same for all inertial observers who witness the event. The resulting notion of universal simultaneity is therefore restricted (tied to a specific frame and configuration) but universal within that context, anchored in measurement rather than convention.

---

8. Discussion and Outlook

This paper has embedded the McGucken invariant in Einstein’s lightning–train thought experiment, using Lorentz transformations and standard relativistic formulas for Doppler shifts and intensity beaming. For each train, the combination

$$\mathcal{M}=\frac{\tau (f^{\prime }{)}^2}{(I^{\prime }{)}^{1\mathrm{/}4}}$$M=(I′)1/4τ(f′)2​

is equal for light arriving from the two symmetric lightning strikes and scales with the train’s Lorentz factor $\gamma$γ. Extending to many trains shows that all such observers share a common invariant rule by which they can diagnose whether the strikes were simultaneous in the embankment frame, based solely on measurements in their own frames.

Conceptually, this construction refines the interplay between relativity and simultaneity. While simultaneity of arbitrary events remains relative, the simultaneity of specific events associated with a particular physical configuration (symmetric sources in a chosen frame) can be recovered in a way that different observers agree upon, through a shared invariant and empirical measurements.

Future work could explore:

• Generalizations to non‑symmetric configurations and more complex source distributions.
• Inclusion of realistic spectra and angular dependencies in intensity transformations.
• Connections to fully covariant radiative transfer, where invariants such as $I_{\nu }\mathrm{/}{\nu }^3$Iν​/ν3 play a central role.
• Possible experimental implementations using synchronized light sources in the laboratory or astrophysical systems with approximately symmetric, oppositely directed emissions.

---

References

E. McGucken, “The McGucken Invariance,” 2025,
https://elliotmcguckenphysics.com/2025/08/25/the-mcgucken-invariance/

A. Einstein, “On the Electrodynamics of Moving Bodies,” Annalen der Physik 17 (1905) 891–921. English translations available, e.g.:
https://courses.physics.illinois.edu/phys225/sp2026/Einstein1905.pdf
https://www.fourmilab.ch/etexts/einstein/specrel/specrel.pdf

A. Einstein, Relativity: The Special and General Theory, 1916. Public‑domain English versions, e.g.:
https://www.marxists.org/reference/archive/einstein/works/1910s/relative/relativity.pdf

A. Einstein, “On the Method of Theoretical Physics,” Herbert Spencer Lecture, Oxford, 1933; published in Philosophy of Science 1 (1934) 163–169; reprinted in Einstein’s Essays in Science. Online reference (quotations and context):
https://en.wikiquote.org/wiki/On_the_Method_of_Theoretical_Physics
https://www.academia.edu/1745720/On_the_method_of_theoretical_physics_Einstein

“Relativity of simultaneity,” Wikipedia,
https://en.wikipedia.org/wiki/Relativity_of_simultaneity

J. D. Norton, “Special Relativity: Simultaneity,” University of Pittsburgh online notes,
https://sites.pitt.edu/~jdnorton/teaching/HPS_0410/chapters/Special_relativity_rel_sim/index.html

“3.4: Relativity of Simultaneity,” Spacetime Physics (Taylor & Wheeler) excerpt via LibreTexts,
https://phys.libretexts.org/Bookshelves/Relativity/Spacetime_Physics_(Taylor_and_Wheeler)/03:_Same_Laws_for_All/3.04:_Relativity_of_Simultaneity

“5.3: Relativity of Simultaneity,” University Physics Volume 3 (OpenStax),
https://openstax.org/books/university-physics-volume-3/pages/5-3-relativity-of-simultaneity

J. D. Norton, “Discovering the Relativity of Simultaneity,” preprint,
https://sites.pitt.edu/~jdnorton/papers/AE_1905_Tsinghua.pdf

“The Lorentz Transformation,” University Physics Volume 3 (OpenStax),
https://openstax.org/books/university-physics-volume-3/pages/5-5-the-lorentz-transformation

“Lorentz transformation,” Wikipedia,
https://en.wikipedia.org/wiki/Lorentz_transformation

“4.4 Invariance,” MIT OpenCourseWare, Introduction to Special Relativity notes,
https://ocw.mit.edu/courses/8-20-introduction-to-special-relativity-january-iap-2021/657267000d7fc5c0076855dad9798c2b_0lPfTMmyzv.pdf