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.
Ideal local phase reception by stationary Rindler observers
Additional adopted local phase-reading idealization for the smooth stationary right-wedge Rindler congruence and an affine monochromatic vacuum plane wave with constant future null covector in flat Minkowski spacetime. Exact instantaneous phase readings within this model; finite apparatus interpretation is limited to short observation intervals and wavelengths small relative to the observer's acceleration length. No empirical validation, numerical error bound, detector response, photon-energy identification, or extension of the published SR postulate is asserted.
Postulate
In the flat affine Minkowski model with signature and , use the smooth right-wedge chart and stationary congruence of The Rindler chart: causal horizons of a uniformly accelerated observer and the restrictions of radar time and distance. A stationary observer has fixed , worldline on an open proper-time interval in seconds, and four-velocity with . These are accelerated timelike worldlines, not global inertial frames.
Let be the dimensionless affine phase with constant nonzero future null covector and ideal vacuum rays of Adopted ideal plane-wave and frequency-reading model (i). As an additional local reception assumption, adopt that an ideal point receiver comoving with a stationary Rindler observer assigns, at the event , the instantaneous received angular frequency
and linear frequency in the conventions of Null wave covectors, frame frequency data and the observer frequency of an ideal plane wave and SI units and coordinate conventions of the special-relativity framework. The phase derivative and positivity are mathematical facts of The phase rate along a worldline is the wave covector evaluated on the four-velocity; their identification with this ideal receiver's reading is the assumption adopted here. This is the pointwise equivalence to the momentarily comoving inertial phase receiver, together with the proper-time clock convention of Adopted ideal-clock and ideal-vacuum-light interpretation. Reception comparisons use one and the same affine wave and events joined by one of its radial rays. This assumption does not postulate an emitter mechanism.
The instantaneous quantity may vary along an accelerated worldline. It is not an assertion that an observer's entire proper-time signal is monochromatic or that an arbitrary finite-duration Fourier measurement equals this value. For possible finite-apparatus use, define the local wavelength and the translational acceleration length , where is the observer's proper-acceleration magnitude; for this congruence . The intended local ray regime has throughout the observation segment, receiver size small relative to , and an observation duration long enough for several cycles but short relative to . These qualitative scale separations give no numerical tolerance or measured uncertainty. The equality above is exact only inside the adopted ideal model; no accuracy claim for a real receiver follows from it.
This supplements, without changing, the accelerated-reception exclusion in Adopted ideal plane-wave and frequency-reading model (iv). It includes no detector dynamics, intensity, polarization, finite-bandwidth pulse or envelope, medium, dispersion, absorption, quantum or gravity model, no energy identification with , and no empirical outcome or proof of the model's applicability. It is a sourced adopted idealization, not a deductive or experimentally established law.
Depends on
The Rindler chart: causal horizons of a uniformly accelerated observer and the restrictions of radar time and distance
Null wave covectors, frame frequency data and the observer frequency of an ideal plane wave
The phase rate along a worldline is the wave covector evaluated on the four-velocity
Adopted ideal plane-wave and frequency-reading model
Adopted ideal-clock and ideal-vacuum-light interpretation
SI units and coordinate conventions of the special-relativity framework