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

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]

In this argument, homogeneity, isotropy, equivalence of inertial frames and the existence/identification of an invariant speed are physical structural posits. Coordinate origins, axis orientation and clock-unit choices are conventions. Einstein synchronization stipulates equal one-way signal times for outward and return paths; the empirical two-way light behavior and material-clock comparisons are not made true merely by that stipulation. Other synchronization coordinates can describe the same operational observations with a different displayed one-way light speed and transformed formula. Distinguishing those choices from the physical invariant structure is essential to the derivation.

Newton's first law identifies a class of inertial frames in which isolated bodies move uniformly, while the second relates changes of momentum to resultant force. Both have definition-like roles: the first helps characterize an inertial frame, and the second can be used to calibrate force given independently measured mass and acceleration. That does not make the whole scheme an empty set of definitions.

If force meant nothing except whatever product $m\mathbf{a}$ happens to be observed, the second law alone would have little independent predictive content. Actual mechanics also specifies gravitational, elastic and other interactions with independently constrained parameters, superposition rules and reaction relations. The combined framework predicts the accelerations of new arrangements. One cannot arbitrarily change one body's mass or redefine every unexplained acceleration as a different force without affecting those cross-system comparisons.

Likewise, an inertial frame cannot be separately tailored to make each trajectory straight while retaining a common interaction account. A rotating frame introduces coordinated velocity-dependent accelerations for different freely moving bodies. The empirical claim is that a common family of frames exists with the prescribed relations, at least over the applicable domain. Tests involve judgments about isolation, clocks, geometry and interaction laws, so they are not independent of all auxiliary assumptions.

Thus definitions organize the theory but do not exhaust its content. Whether one calls $\mathbf{F}=d\mathbf{p}/dt$ a definition or a dynamical postulate depends partly on how the remaining force concepts are introduced. What is testable is the consistent package that connects independently characterized interactions, mass ratios and motion. Relativity and gravitation show how that package can be revised when its domain is exceeded.^[ref]

Relativity of simultaneity concerns separated events. Under Einstein-synchronized inertial coordinates, $\Delta t^{\prime }=\gamma (\Delta t-v\Delta x/c^2)$. Two events with $\Delta t=0$ and $\Delta x\ne 0$ are therefore generally nonsimultaneous in a relatively moving frame. The distinction is compatible with invariant coincidence at one event and with invariant temporal order for timelike-separated events. It is spacelike separation that permits differing coordinate order.

Conventionality enters when defining distant clock synchronization. A send-and-return signal experiment measures a round-trip duration, but assigning a time to reflection at the distant clock requires a rule. Einstein's convention assigns equal outward and return times. Alternative admissible synchronizations can reassign the one-way coordinate speeds while preserving the observed two-way timings and local clock readings. These alternatives do not permit changing measured proper time at will or making any two causally ordered events operationally interchangeable.

The physical conclusion and convention claim should therefore be separated. No preferred inertial simultaneity relation is selected by the ordinary Lorentz-invariant structure. Once the standard synchronization is fixed, relativity between inertial frames follows quantitatively. Reparameterizing distant times shows a conventional element in their coordinate representation; it does not eliminate every empirical constraint from relativity. Matter dynamics, causal cones and clock transport still restrict what counts as an equivalent description.

A claim that simultaneity is simply unreal overlooks its well-defined local and frame-relative uses. A claim that it is entirely conventional overlooks the invariant difference between causal and spacelike separation. The defensible account distinguishes those uses rather than expecting one slogan to settle them all.^[ref]

The age difference is the difference between proper times along two worldlines joining the same departure and reunion events. In the inertial Earth frame a traveler who spends total coordinate time $T$ moving at speed magnitude $v$, with negligible-duration turnaround, accumulates $T\sqrt{1-v^2/c^2}$ while the stay-at-home clock accumulates $T$. These are invariant readings at reunion. Acceleration permits the change of traveling inertial frame, but the result is determined by the whole path, not a universal rule that acceleration itself slows clocks.

Relativity of simultaneity is important when explaining the same result using the traveler's successive inertial coordinates. At the turnaround, the traveler changes which distant Earth event is assigned the same time. The simultaneity slice changes, producing a jump in the coordinate time attributed to Earth in the ideal instantaneous limit. On each long inertial leg the traveler can assign a slow rate to the distant Earth clock without contradicting Earth's larger total elapsed time, because those assignments do not cover the reunion comparison with a single simultaneity convention.

The key distinction is between explaining a coordinate-based apparent symmetry and deriving an invariant result. One can calculate both proper-time integrals in one inertial frame without ever using the traveler's simultaneity jump. Conversely, claiming that each twin must simply see the other younger confuses two reciprocal comparisons between different sets of simultaneous distant events. Radar signals and Doppler shifts provide an operational account with finite signal travel times and the same reunion readings.

Thus relativity of simultaneity resolves a specific misleading inference in the paradox, but is not an extra physical mechanism that changes a clock at a distance. The worldline asymmetry and the invariant proper-time calculation suffice for the prediction; simultaneity explains why reciprocal inertial time-dilation statements cannot be pasted together indiscriminately.^[ref]

The geometrical explanation uses $d{\tau }^2=d{t}^2-d{\mathbf{x}}^2/c^2$ along each timelike path. In flat spacetime an inertial path between fixed timelike endpoints locally maximizes proper time, unlike the familiar shortest-path property of Euclidean distance. This is a physical metric property tested by clocks, not an appeal to a diagram alone. The explanation is satisfactory insofar as it connects that metric, specified worldlines and actual clock behavior; it does not require an absolute flow of time or a special clock-damaging action at the turnaround.

A constructive theory attempts to build observed phenomena from a specified underlying mechanism or constitution. Kinetic theory, for example, explains gas pressure and thermal behavior through molecular motions and interactions. A principle theory begins from general constraints that processes must satisfy and derives restrictions on possible descriptions, rather than first proposing a detailed microscopic mechanism. Thermodynamics is an example through its conservation and transformation principles.

Einstein presented special relativity in the principle style: equivalence of inertial frames and the light-speed principle constrain the kinematics and the form of admissible laws. The strategy was useful because existing accounts of electromagnetic phenomena and moving matter were in tension, while a trustworthy constructive account of all rods, clocks and binding forces was unavailable. It allowed broad conclusions without assuming a detailed ether mechanism whose observable effects had not been established.

The distinction is methodological rather than a division between empirical and nonempirical theories. Principles need empirical motivation and coherent interpretation, while constructive models also rely on general assumptions. Nor does a successful principle theory make questions about the dynamics of rods and clocks illegitimate. A constructive account may explain how particular material systems realize the constraints, provided it reproduces the same operational relations.

Einstein's reason for introducing the distinction was therefore partly to explain the character and limitations of the relativistic strategy. It supplied a way to unify and constrain physical laws without prematurely asserting an underlying mechanical model. It was not a proof that constructive explanations can never be valuable or that relativistic effects are only coordinate conventions.^[ref]