Past exam of the short options paper shared by Prelims and Parts A and B of the physics course of the University of Oxford / 2017 / S27 / 3

A coordinate transformation considered solely as a relabeling of events has no independent observable outcome: changing labels changes neither a detector record nor a clock comparison. But the Lorentz transformations also express substantive relations between operationally realized inertial coordinates. With clocks and rulers specified, their velocity-dependent time dilation, length relations and velocity composition make testable claims about how material systems and electromagnetic signals behave.

The distinction matters for synchronization. One-way coordinate light speed depends on how distant clocks are synchronized; a conventional alteration changes the displayed transformation law while leaving two-way timing observations unchanged. It would therefore be incorrect to regard every coefficient in an unspecified coordinate formula as a separately measurable physical fact. Testable content comes from the transformation together with the protocol and dynamical behavior of the systems implementing the coordinates.

Tests can compare clock proper times, decay lifetimes or resonance behavior across relative motion and orientation. Agreement supports Lorentz-invariant kinematics and the associated matter dynamics over the range tested; it does not prove exact invariance at every possible scale. A rival theory with an undetectable preferred frame can reproduce the same observations by changing its explanatory commitments. Empirical equivalence of that rival does not make the observable clock relations untestable.

Thus the answer is qualified: transformations as passive mathematical changes are not experiments, while Lorentzian relations among specified measuring procedures have substantial empirical consequences. Separating these roles avoids both treating coordinate convention as a measured force and declaring the entire relativistic structure immune to evidence.

Homogeneity makes the inertial transformation linear. Align origins at $t=t^{\prime }=0$, let the second origin have velocity $v$, and impose isotropy and reciprocity. Then $x^{\prime }=\gamma (v)(x-vt)$, $y^{\prime }=y$, $z^{\prime }=z$. If the same limiting signal speed $c$ has trajectories $x=\pm ct$ in both systems, substituting these two trajectories fixes $t^{\prime }=\gamma (v)(t-vx/c^2)$. Requiring the inverse to have the same form with $-v$ fixes ${\gamma }^2(1-v^2/c^2)=1$. Continuity at rest selects the positive square root:Light enters this derivation through the empirical/in-principle operational identification of the invariant speed and Einstein synchronization. Group, homogeneity and isotropy arguments can instead derive a family with a universal parameter $K$, $t^{\prime }=\gamma (t-Kvx)$ and $\gamma =(1-K{v}^2{)}^{-1/2}$. They do not by themselves determine whether $K=0$ or a positive finite value. Empirical light propagation or other relativistic dynamics identifies $K=1/c^2$ for our world. Consequently a derivation need not assume light as its first premise, but it must acquire the physical invariant-speed structure somewhere rather than extract it from linearity alone.^[ref]