A Symmetry-First Elementary Derivation of the Lorentz Transformation

China); Nianjun Tan (Hangzhou

REVIEW 2 major objections 3 minor 13 references

A Symmetry-First Elementary Derivation of the Lorentz Transformation

T0 review · 2 major / 3 minor · reviewed 2026-08-03 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The Lorentz transformation can be derived from spacetime symmetry plus one empirical branch-selecting observation: the frame-independence of light speed.

desk verdict Useful pedagogy with a real but localized hole: reciprocity is assumed, not derived as the abstract claims. read the letter →

arxiv 2605.25159 v3 pith:GRU7F2MP submitted 2026-05-24 physics.class-ph

Nianjun Tan (Hangzhou , China) This is my paper · ORCID

classification physics.class-ph PACS 03.30.+p

keywords specialrelativityLorentztransformationsymmetryderivationprincipleofvelocityreciprocitygroupstructureinvariantspeedpedagogy

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper tries to show that the Lorentz transformation can be derived without ever assuming at the outset that the speed of light is the same in all inertial frames. Spacetime homogeneity plus the law of inertia forces the transformation to be linear; isotropy, the relativity principle, and the group property of boosts then reduce it to a one-parameter family governed by a constant R. A unique boost-invariant speed magnitude exists only when R is negative, and identifying that speed with the observed frame-independence of light fixes R = -c^2, yielding the Lorentz transformation. The derivation makes explicit which pieces come from pure symmetry and which come from empirical measurement, and it recovers continuity of the coefficients and the velocity-composition law rather than assuming them.

What carries the argument

The central object is the generalized collinear boost with coefficient functions gamma_R(v) = 1/sqrt(1 + v^2/R) and f_41(v) = gamma_R(v) v / R, controlled by one universal constant R with dimensions of velocity squared. Isotropy and the group structure force these forms and fix the velocity-composition law w = (u+v)/(1 - uv/R). The constant R then acts as a branch selector: the Galilean limit R to infinity and the R > 0 branch admit no finite boost-invariant speed, while the R < 0 branch admits exactly one invariant speed magnitude c = sqrt(-R). Identifying that speed with light's measured frame-independence sets R = -c^2 and turns the family into the Lorentz transformation.

What would settle it

Measure the round-trip time of light in two inertial frames moving at different velocities relative to a laboratory and compare the inferred two-way speed; any boost-dependent difference beyond experimental uncertainty would violate the R = -c^2 branch and falsify the Lorentzian selection claimed by the paper.

Watch

Extended reading notes

Core claim

The paper claims that the relativistic boost can be built in three stages. First, spacetime homogeneity turns the transformation into an additive law for coordinate increments, and the law of inertia supplies the one-dimensional continuity needed to promote additivity to linearity. Second, isotropy fixes the parity and transversality of the coefficients, and the Abelian group structure of boosts fixes their ratio to a universal constant R, producing a one-parameter family of generalized Lorentz-type transformations. Third, the collinear velocity law shows that a unique boost-invariant speed magnitude exists only when R < 0; taking the observed frame-independence of light as the empirical inp

Load-bearing premise

The derivation's inverse transformation is parametrized by -v (velocity reciprocity) rather than derived from the group axioms; if reciprocity requires assumptions beyond isotropy and group structure, the inverse-consistency step that fixes the coefficient functions would need re-examination.

Editorial extensions

If this is right

Light-speed invariance is not needed to derive linearity, reciprocity, or the form of the boost; it is an empirical input that selects the physical branch among symmetry-allowed possibilities.
The relativistic velocity-addition law follows algebraically from the group structure of inertial-frame transformations, not from a separate postulate.
Continuity of the transformation coefficients in the velocity parameter is a consequence of the explicit formulas, so regularity assumptions such as differentiability can be dropped.
The R < 0 branch is the only symmetry-allowed branch with a unique invariant speed magnitude; if nature realized another branch, no speed could be frame-independent in the collinear sense.
Once R = -c^2 is selected, the full three-dimensional velocity transformation preserves the invariant speed in all directions, confirming consistency with the collinear branch choice.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editor's inference: The derivation's reliance on a reciprocal parametrization of the inverse transformation is a load-bearing step; the paper's own text flags that reciprocity is not derived there but instead refers the reader elsewhere. If reciprocity requires stronger assumptions than the group axioms, the inverse-consistency step needs independent support.
Editor's inference: The branch structure suggests a broader principle: any experimentally discovered frame-independent speed, not necessarily light, would select a Lorentz-type geometry within this symmetry family. Electromagnetism is simply the known carrier of that invariant speed.
Editor's inference: The staged separation of mathematical family from empirical selection makes a specific, testable prediction: measuring the round-trip speed of light at two different boost velocities and finding any frame-dependent change would push R away from -c^2 and exclude the Lorentzian branch.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

This is a solid pedagogical derivation of a known result, with one gap that matters: the abstract says velocity reciprocity is derived rather than presupposed, but the body simply assumes it in §2.3.1(a) and sends you to Moylan. That assumption is load-bearing — it is what makes the inverse transformation F(−v) instead of F(η(v)), and every later constraint that fixes f41 odd, f44 = f11, and equation (24) leans on it. So the advertised claim is not supported.

What is genuinely good: the linewise-continuity argument in §2.2.2. Instead of assuming global continuity, the author uses the law of inertia to get one-dimensional continuity along event lines with nonzero time component, which is enough to kill pathological additive solutions. That is a clear expositional improvement over the usual 'let's assume continuity' move. The explicit rotational comparison in §2.3.2 is also done cleanly, and the final separation between the mathematical family (parametrized by R) and the empirical selection (light-speed invariance) is pedagogically useful. The algebra checks out: the generalized transformation, the Galilean branch, and the Lorentz branch all come out right. The literature review is honest, and the introduction explicitly says this is not a new kinematics.

The reciprocity gap is repairable. Either prove from the stated postulates that the inverse parameter is −v, or demote it to an explicit postulate. The rest of the derivation then survives unchanged. A smaller point: the transition from the non-Galilean branch to the Galilean limit is a bit terse, but that is a minor expositional issue, not a flaw in the logic.

Who is this for? Teachers and students who want a careful symmetry-first route to the Lorentz transformation without pulling light-speed invariance out of thin air. It deserves a serious referee: the core is correct, the exposition is clear, and the fix is localized. I would not accept it as-is, but I would send it out.

Referee Report

2 major / 3 minor

Summary. The paper presents a staged, symmetry-first derivation of the Lorentz transformation. It claims that spacetime homogeneity plus the law of inertia imply additivity and then linearity; that isotropy, the relativity principle, and the Abelian group structure of collinear boosts fix the transformation up to a universal constant R, including a derivation of velocity reciprocity; and that the observed frame-independence of the speed of light selects the branch R = -c^2, yielding the standard Lorentz transformation. The body contains the full algebra: rotational constraints reduce the matrix to two functions f11 and f41; inverse consistency and group composition give Eq. (24) and Eq. (33), leading to f11(v) = 1/sqrt(1+v^2/R) and the velocity composition law w = (u+v)/(1-uv/R); branch analysis then selects R = -c^2.

Significance. If the derivation is taken as stated, it is a useful pedagogical contribution in the Ignatowski tradition. Its strengths are the explicit separation of the mathematical family from the empirical selection, the transparent disclosure that light-speed invariance is an empirical input (Section 2.4.3), and the elementary algebra that recovers the generalized transformation. The paper also makes a genuine attempt to justify linearity from linewise continuity rather than assuming global regularity. However, the advertised derivation of velocity reciprocity is not actually carried out, and the linearity step contains an unproven continuity transfer. These issues are repairable, and the final Lorentz transformation is of course correct. With revisions, the paper could be a useful addition to the pedagogical literature.

major comments (2)

[Abstract; §2.3.1(a)] The central claim that the Abelian group structure 'yields velocity reciprocity, rather than presupposing it' is not supported by the body. Section 2.3.1(a) states: 'We then parametrize the inverse transformation by −v ... This is the reciprocal parametrization used throughout the present derivation,' and refers to Moylan [7] for 'the additional assumptions under which it holds.' This is an assumption, not a derivation. It is load-bearing: the inverse equations (17)–(18) in §2.3.4 and the inverse-consistency relation (24) in §2.3.5(a) all depend on the inverse being parametrized by −v. If the inverse parameter were an unknown function η(v), those equations and the subsequent derivation of f41(v)=v f11(v)/R and the velocity-composition law (40) would change. The advertised result is therefore stronger than the proof. The fix is local: either prove η(v)=−v from the stated postulates, or ex
[§2.2.2(a)] The passage from the law of inertia to linewise continuity is not fully justified. The paper argues that because t and λ are affinely related in K, continuity of the image motion in K′ is 'equivalently continuity with respect to λ.' But the law of inertia in K′ gives affine dependence of the spatial coordinates on t′, not directly on λ. To conclude that λ ↦ T(e0+λh,v) is continuous, one must know that t′ is a continuous function of λ along the line; this is not established. Since this linewise continuity is exactly what upgrades additivity to linearity (Section 2.2.2(c)), the first stage of the derivation rests on a regularity assertion that should be stated separately or proved.

minor comments (3)

[§2.3.3] The isotropy argument leading to |f22(v)|=|f22(−v)| is asserted rather than tied to the explicit rotational comparison of §2.3.2; please make the logical connection explicit.
[§2.3.5(b)] In deriving Eq. (34) and dividing by u and v, the text restricts to u,v≠0 but does not explicitly note that the u=0 or v=0 cases are trivial and consistent with the final formulas; add a sentence.
[Figure 1] The label 'O (t=t′=0)' could be misread as a single origin at all times; recommend 'O/O′ at t=t′=0'.

Circularity Check

1 steps flagged · score 4.0 of 10

Velocity reciprocity is assumed as the inverse parametrization (§2.3.1(a)) and then advertised as derived; the later coefficient constraints inherit this by-construction input.

self definitional [Section 2.3.1(a); Abstract]
"We then parametrize the inverse transformation by −v, corresponding to the reciprocal description of the same collinear relative motion with the opposite sign convention for direction: e′=T(e,v), e=T(e′,−v). This is the reciprocal parametrization used throughout the present derivation. For a detailed discussion of velocity reciprocity and of the additional assumptions under which it holds, see Moylan [7]."

The Abstract claims that 'the Abelian structure ... yields velocity reciprocity, rather than presupposing it,' but §2.3.1(a) simply defines T^{-1}(·,v)=T(·,−v). That definition is exactly the reciprocity property; no derivation from group structure or isotropy is supplied. The inverse equations (17), (18), and (22) then force the later results: f41 is odd (§2.3.4(c)), f44=f11 (§2.3.4(c)), the inverse-consistency relation (24) (§2.3.5(a)) — and hence f41(v)=vf11(v)/R and the composition law (40). Replacing −v by an undetermined η(v) changes every one of these constraints. Thus the advertised 'derivation' of reciprocity is the chosen parametrization by construction, and it is load-bearing for the rest of the derivation.

full rationale

The main Lorentz-transformation derivation is not circular in the usual sense: the final transformation is not fed back into the derivation; linearity is obtained from homogeneity plus law-of-inertia continuity; the universal R is derived from group composition; and the frame-independence of light is disclosed and used as an empirical selection in §2.4.3, not hidden as a derived prediction. The citation to Moylan is external, not a self-citation. The one genuine circular step is the treatment of velocity reciprocity: the paper advertises it as a consequence of the Abelian group structure, but actually installs it as the reciprocal parametrization of the inverse transformation. Since this installed reciprocity underpins several coefficient constraints and the final family, the claim that reciprocity is 'yielded rather than presupposed' reduces by construction to the chosen parametrization. This is a load-bearing self-definitional step, but it does not make the entire derivation equivalent to the Lorentz transformation, so a moderate score is appropriate.

Assumptions & free parameters 1 free parameters · 6 assumptions · 0 invented entities

The derivation rests on six physical/mathematical assumptions. The only fitted parameter is the universal constant R, whose value is supplied by the measured speed of light. No new particles, forces, or entities are introduced. The weakest item in the ledger is the reciprocal parametrization, which is assumed rather than derived despite being advertised as derived.

free parameters (1)

R (universal constant) = R = -c^2, with c ≈ 3.0×10^8 m/s (vacuum speed of light)
Introduced in Section 2.3.5(b) as the ratio v f11(v)/f41(v); its value is not fixed by symmetry. Section 2.4.3 sets R=-c^2 using the observed frame-independence of the speed of light.

assumptions (6)

domain assumption Spacetime is homogeneous, isotropic, and continuous.
Section 2.1 Assumption 1. Homogeneity gives additivity; isotropy gives coefficient constraints. This is a physical postulate, not derived.
domain assumption Principle of Relativity: laws take the same form in all inertial frames.
Section 2.1 Assumption 2; used to require the same functional form for transformations and velocity composition.
domain assumption Transformations between inertial frames form a group.
Section 2.1 Assumption 3; used for inverse consistency and composition to fix f11 and f41 via the constant R.
domain assumption Law of inertia supplies linewise continuity along inertial event lines.
Section 2.2.2(a); assumes every straight uniform motion maps to a continuous uniform motion, which is needed to extend additivity to linearity.
domain assumption Inverse transformation is parametrized by -v (velocity reciprocity).
Section 2.3.1(a); used to write inverse coefficients as f11(-v), f41(-v). Assumed rather than derived in the text; the abstract claims it follows from group structure.
domain assumption Observed frame-independence of the speed of light.
Section 2.4.3; empirical input used to select the R<0 branch and fix c=sqrt(-R).

how reviews work

0 comments

Cite this review

Pith. "Pith review of A Symmetry-First Elementary Derivation of the Lorentz Transformation." pith.science (2026). https://pith.science/paper/GRU7F2MP

@misc{pith2026260525159,
  author       = {Pith},
  title        = {Pith review of: A Symmetry-First Elementary Derivation of the Lorentz Transformation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GRU7F2MP}},
  note         = {Machine review of arXiv:2605.25159}
}

abstract

We present an elementary, symmetry-first derivation of the Lorentz transformation without assuming the invariance of the speed of light at the outset. The argument proceeds in three stages. First, spacetime homogeneity yields additivity, and uniformity of free motion then supplies the along-line continuity needed to pass from additivity to linearity. Second, spatial isotropy determines the parity of the coefficient functions, and the Abelian structure of the continuous local one-parameter group of collinear boosts yields velocity reciprocity, rather than presupposing it, together with a universal constant $\kappa$. These constraints produce a local one-parameter family of generalized Lorentz-type transformations. Third, analysis of the collinear velocity law, combined with the experimentally supported frame independence of the speed of light, selects the physical branch. Identifying its invariant speed with the vacuum speed of light fixes $\kappa=-1/c^2$ and gives the Lorentz transformation. This staged derivation makes the linearity and reciprocity arguments explicit while separating the mathematical construction of the kinematical family from its empirical selection.

Figures

Figures reproduced from arXiv: 2605.25159 by the authors.

**Figure 1.** Two inertial frames 𝐾 and 𝐾′ whose origins coincide at 𝑡 = 𝑡′ = 0 with 𝐾′ moving along the 𝑥-axis with velocity 𝑣. The spatial axes are aligned. Every physical event is represented by a four-dimensional coordinate vector, e = (𝑥, 𝑦, 𝑧, 𝑡)𝑇 in frame 𝐾, and e ′ = (𝑥′ , 𝑦′ , 𝑧′ , 𝑡′ ) 𝑇 in frame 𝐾′ . The most general transformation between the coordinates of the same event is written as e ′ = 𝑇 (e, 𝑝) 3 [PITH_FULL_IMA… view at source ↗

**Figure 2.** Coordinate systems A and B, where B is obtained by rotating A by 90∘ about the 𝑥-axis. Writing the coordinates of system 𝐴 as (𝑥𝐴, 𝑦𝐴, 𝑧𝐴, 𝑡𝐴), this rotation gives the coordinate relations: (𝑥𝐵, 𝑦𝐵, 𝑧𝐵, 𝑡𝐵) = (𝑥𝐴, 𝑧𝐴, −𝑦𝐴, 𝑡𝐴), (𝑥′ 𝐵, 𝑦′ 𝐵, 𝑧′ 𝐵, 𝑡′ 𝐵) = (𝑥′ 𝐴, 𝑧′ 𝐴, −𝑦′ 𝐴, 𝑡′ 𝐴). (b) Comparison of coefficients Write (𝑥𝐴, 𝑦𝐴, 𝑧𝐴, 𝑡𝐴) ≡ (𝑥, 𝑦, 𝑧, 𝑡). The transformation equations in system 𝐴 then read: 𝑥 ′ 𝐴 = 𝑓11(𝑣)𝑥… view at source ↗

Figures from the paper (1 more)

**Figure 2.** Figure 2: Coordinate systems A and B, where B is obtained by rotating A by 90∘ about the 𝑥-axis. (a) Setup of the rotated systems We introduce two coordinate systems, 𝐴 and 𝐵, within the same inertial frame 𝐾, with 𝐵 obtained from 𝐴 by a rotation of 90∘ about the common 𝑥-axis. …

Review history (3 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references

[7]

Velocity reciprocity and the relativity principle,

P. Moylan, “Velocity reciprocity and the relativity principle,” Am. J. Phys. 90, 126–134 (2022)

2022
[1]

Zur Elektrodynamik bewegter Körper,

A. Einstein, “Zur Elektrodynamik bewegter Körper,” Ann. Phys. 17, 891–921 (1905)

1905
[2]

Some General Remarks on the Relativity Principle

W. von Ignatowski, “Some General Remarks on the Relativity Principle” (English translation of “Einige allgemeine Bemerkungen zum Relativitätsprinzip”), Phys. Z. 11, 972–976 (1910). English translation available at https://en.wikisource.org/wiki/Translation:Some_General_Remarks_on_the_ Relativity_Principle

1910
[3]

Reciprocity Principle and the Lorentz Transformations,

V. Berzi and V. Gorini, “Reciprocity Principle and the Lorentz Transformations,” J. Math. Phys. 10, 1518–1524 (1969)

1969
[4]

One more derivation of the Lorentz transformation,

J.-M. Lévy-Leblond, “One more derivation of the Lorentz transformation,” Am. J. Phys. 44, 271–277 (1976)

1976
[5]

Nothing but relativity,

P. B. Pal, “Nothing but relativity,” Eur. J. Phys. 24, 315–319 (2003)

2003
[6]

Nothing but Relativity, Redux,

J. W. Gannett, “Nothing but Relativity, Redux,” Eur. J. Phys. 28, 1145–1150 (2007)

2007
[8]

On the linearity of the generalized Lorentz transformation,

F. Verheest, “On the linearity of the generalized Lorentz transformation,” Am. J. Phys. 90, 425–429 14 (2022)

2022

Show all 13 references

[9]

A linear-algebraic derivation of the Lorentz transformation,

P. Schwartau, “A linear-algebraic derivation of the Lorentz transformation,” Am. J. Phys. 92, 670–673 (2024)

2024
[10]

On the Relative Motion of the Earth and the Luminiferous Ether,

A. A. Michelson and E. W. Morley, “On the Relative Motion of the Earth and the Luminiferous Ether,” Am. J. Sci. 34, 333–345 (1887)
[11]

Experimental establishment of the relativity of time,

R. J. Kennedy and E. M. Thorndike, “Experimental establishment of the relativity of time,” Phys. Rev. 42, 400–418 (1932)

1932
[12]

Direct terrestrial test of Lorentz symmetry in electrodynamics to 10−18,

M. Nagel et al., “Direct terrestrial test of Lorentz symmetry in electrodynamics to 10−18,” Nat. Commun. 6, 8174 (2015)

2015
[13]

The light speed versus the observer: the Kennedy– Thorndike test from GRAAL-ESRF,

V. G. Gurzadyan and A. T. Margaryan, “The light speed versus the observer: the Kennedy– Thorndike test from GRAAL-ESRF,” Eur. Phys. J. C 78, 607 (2018). 15

2018

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.

[1] [7]

Velocity reciprocity and the relativity principle,

P. Moylan, “Velocity reciprocity and the relativity principle,” Am. J. Phys. 90, 126–134 (2022)

2022

[2] [1]

Zur Elektrodynamik bewegter Körper,

A. Einstein, “Zur Elektrodynamik bewegter Körper,” Ann. Phys. 17, 891–921 (1905)

1905

[3] [2]

Some General Remarks on the Relativity Principle

W. von Ignatowski, “Some General Remarks on the Relativity Principle” (English translation of “Einige allgemeine Bemerkungen zum Relativitätsprinzip”), Phys. Z. 11, 972–976 (1910). English translation available at https://en.wikisource.org/wiki/Translation:Some_General_Remarks_on_the_ Relativity_Principle

1910

[4] [3]

Reciprocity Principle and the Lorentz Transformations,

V. Berzi and V. Gorini, “Reciprocity Principle and the Lorentz Transformations,” J. Math. Phys. 10, 1518–1524 (1969)

1969

[5] [4]

One more derivation of the Lorentz transformation,

J.-M. Lévy-Leblond, “One more derivation of the Lorentz transformation,” Am. J. Phys. 44, 271–277 (1976)

1976

[6] [5]

Nothing but relativity,

P. B. Pal, “Nothing but relativity,” Eur. J. Phys. 24, 315–319 (2003)

2003

[7] [6]

Nothing but Relativity, Redux,

J. W. Gannett, “Nothing but Relativity, Redux,” Eur. J. Phys. 28, 1145–1150 (2007)

2007

[8] [8]

On the linearity of the generalized Lorentz transformation,

F. Verheest, “On the linearity of the generalized Lorentz transformation,” Am. J. Phys. 90, 425–429 14 (2022)

2022