How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Acceleration is not an aging term, and the twin comparison is not symmetric: scope caveats
Interpretation and delimitation of the proper-time comparison in the flat classical special-relativity model: the absence of an acceleration term in the ideal clock hypothesis, the geometric asymmetry of the two histories, and the simultaneity bookkeeping of the traveler's two momentary inertial rest frames. Conditional on the named postulates; excludes real-clock error models, apparatus, gravity and quantum effects, and asserts no measured outcome.
Scope caveats for the twin reunion
This remark delimits the interpretation of the proper-time comparison of the twin reunion (The piecewise inertial twin reunion: conditional differential aging) in the adopted model, with the ideal clock assumptions of Adopted ideal-clock and ideal-vacuum-light interpretation and Adopted free trajectories of massive particles and the clock hypothesis and the SI conventions of SI units and coordinate conventions of the special-relativity framework. It proves nothing new; it records what the earlier items do and do not assert.
Acceleration is not an additional aging term
In the model the reading of an ideal clock between two events of its history is the proper-time integral of its worldline, by clause (i) of Adopted ideal-clock and ideal-vacuum-light interpretation for histories and by clause (ii) of Adopted free trajectories of massive particles and the clock hypothesis for the weak piecewise class (Total proper time of a piecewise C^1 future timelike worldline); no term depending on the four-acceleration (Four-velocity and four-acceleration of a future timelike worldline) or on any higher derivative of the history appears, and the clock hypothesis is precisely the exclusion of such terms. The corner of the piecewise inertial history is an idealization: a physical turnaround occupies a finite parameter interval, the worldline is then or smooth there, and its proper time is still the integral. The endpoint bound and strictness clause of The endpoint bound for proper time and the maximality of the straight worldline in affine Minkowski space apply to every weak piecewise future timelike history with the same endpoints . Thus any smoothing of the corner that remains in that class, preserves , and retains at least one event outside the straight segment still gives a strictly smaller reading than the stay-at-home clock. No existence or convergence claim for a smoothing family, or equality with the sharp-turn value , is asserted.
The comparison is not symmetric in the model
One history of the reunion is the straight segment from to ; the other contains the corner event of The piecewise inertial twin reunion: conditional differential aging, and the three events are not collinear: in the chart of that item their coordinate columns are , and with . Every change of inertial chart is an affine bijection (Inertial charts are related by proper orthochronous affine Lorentz maps, and every such map is a chart transition) and maps collinear triples to collinear triples, so no change of inertial frame maps the image of the stay-at-home history onto the image of the traveler's history, nor fixes both endpoints and exchanges the two histories. The two twins are therefore not related by an inertial change of description, and the difference of readings is a model consequence of the different histories, not a consequence of who is 'really moving': the symmetric time-dilation relation of Coordinate formulas of a boost: clock rates, rod lengths, simultaneity and velocity transformation (i) concerns the two frames, while the reunion comparison concerns the two clock readings at the single common event .
Synchronization bookkeeping at the turn
In each momentary inertial rest frame of the traveler the stay-at-home clock runs slow by the factor , and the traveler may legitimately apply the time-dilation relation using successive pairs of simultaneous events, one on each clock history in that momentary frame (Coordinate formulas of a boost: clock rates, rod lengths, simultaneity and velocity transformation (i), Simultaneity slices and rest distance relative to a future unit timelike vector). But the two legs use different inertial frames. With and the turn event of The piecewise inertial twin reunion: conditional differential aging, choose both rest-frame charts with origin as in The piecewise inertial twin reunion: conditional differential aging; the outbound chart then satisfies , so its slice through has and meets the stay-at-home worldline at , that is at coordinate time ; the inbound rest frame's chart satisfies , and its slice through meets the same worldline at , that is at coordinate time . The two slices differ by in coordinate time, and the identity which only uses , inserts this gap into the traveler's two leg-by-leg accounts and reproduces the stay-at-home reading at the reunion, in agreement with the conditional comparison result Same-endpoint clock comparison: the inertial clock ages most. The naive reciprocity statement 'each twin judges the other's clock to run slow' therefore compares different pairs of events for the two travelers — events simultaneous in different momentary frames — and does not apply to the reunion comparison, which concerns the two clock readings at the single common event .
Empirical qualification
Everything above is a conditional statement about ideal clocks in the adopted model: the clocks are ideal with no acceleration-dependent reading term, the histories are prescribed, spacetime is flat and is fixed (Adopted free trajectories of massive particles and the clock hypothesis, Adopted ideal-clock and ideal-vacuum-light interpretation). No measurement, apparatus, calibration, sampling or uncertainty model is involved, and no claim is made about real clocks or about nature; real clock comparisons would additionally require apparatus and uncertainty analysis and are outside this remark.
Depends on
The piecewise inertial twin reunion: conditional differential aging
Same-endpoint clock comparison: the inertial clock ages most
The endpoint bound for proper time and the maximality of the straight worldline in affine Minkowski space
Total proper time of a piecewise C^1 future timelike worldline
Coordinate formulas of a boost: clock rates, rod lengths, simultaneity and velocity transformation
Simultaneity slices and rest distance relative to a future unit timelike vector
Inertial charts are related by proper orthochronous affine Lorentz maps, and every such map is a chart transition
Four-velocity and four-acceleration of a future timelike worldline
Adopted ideal-clock and ideal-vacuum-light interpretation
Adopted free trajectories of massive particles and the clock hypothesis
SI units and coordinate conventions of the special-relativity framework
Dependency tree · 2 levels
Sources
- B. Crowell, Special Relativity, revision 2020-12-10 (author-published undergraduate textbook): section 1.3.3 'The gamma factor' pp. 25-26 ('Time dilation is symmetrical ... the asymmetry comes about because a and c are parallel, but b and d are not', and the reunion discussion); signature (+---) converted to (-+++) and c = 1 formulas converted to x^0 = c t
- S. M. Carroll, Lecture Notes on General Relativity, arXiv:gr-qc/9712019v1 (1997), Chapter 3 pp. 71-72 (timelike geodesics maximize proper time; the twin remark; the 'locally' caveat)
- H. S. Reall, Mathematical Tripos Part III General Relativity (Cambridge, October 12, 2022), section 2.3 'Curves of extremal proper time' pp. 28-30 (Minkowski example: straight lines are extremal and maximize); Internet Archive copy of the original https://www.damtp.cam.ac.uk/user/hsr1000/part3_gr_lectures.pdf