Testing Lorentz violation by the comparison of atomic clocks

Cheng-Gang Shao; Xiao-yu Lu; Yu-Jie Tan

arxiv: 1907.02176 · v1 · pith:6DAYD6E7new · submitted 2019-07-04 · 🌀 gr-qc · hep-ph

Testing Lorentz violation by the comparison of atomic clocks

Xiao-yu Lu , Yu-Jie Tan , Cheng-Gang Shao This is my paper

Pith reviewed 2026-05-25 09:50 UTC · model grok-4.3

classification 🌀 gr-qc hep-ph

keywords Lorentz violationatomic clock comparisonRobertson-Mansouri-Sexl frameworktime-delay effectstructure effectcoordinate transformationkinematic test

0 comments

The pith

In the RMS framework the Lorentz violation signal in atomic clock comparisons splits into a time-delay term and a structure term.

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

The paper builds a model of Lorentz invariance violation tests that rely on comparing atomic clocks, working inside the Robertson-Mansouri-Sexl kinematic framework that allows coordinate transformations to differ from the standard Lorentz transformation. It decomposes the resulting violation into a time-delay contribution written as alpha v squared over c squared and a structure contribution written as minus (beta plus two delta) over three times v squared over c squared. The split follows from treating time and space deviations separately. A reader would care because the decomposition gives an explicit way to link measured clock differences to distinct kinematic departures rather than a single combined shift. The same model is placed next to dynamic descriptions that attribute violations to an orientation-dependent background field.

Core claim

Within the Robertson-Mansouri-Sexl kinematic framework the Lorentz invariance violating effect that appears when atomic clocks are compared is accounted for by two contributions: the time-delay effect alpha v squared over c squared and the structure effect minus (beta plus two delta) divided by three times v squared over c squared. These arise once the coordinate transformation is allowed to deviate from the Lorentz transformation and the deviations are viewed separately for time and for space. The dynamic standard model extension, which instead invokes a space-orientation dependent background field, is described as supplying a more complete characterization of the same effect.

What carries the argument

The decomposition of the clock-comparison signal into a time-delay term proportional to alpha v squared over c squared and a structure term proportional to minus (beta plus two delta) over three v squared over c squared, obtained by separating time and space violations in the coordinate transformation.

If this is right

The observed violation is the direct sum of the time-delay effect and the structure effect.
The kinematic description isolates the roles of time and space transformations.
The same data can be compared with predictions from a dynamic framework that uses an orientation-dependent background field.
Clock experiments become probes of the specific transformation parameters alpha, beta, and delta.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The split suggests experiments that change the relative velocity magnitude while holding direction fixed, to separate the two contributions experimentally.
The same decomposition could be applied to other kinematic tests that measure time or length changes under boosts.
If nonzero values for the parameters are extracted, they would give quantitative targets for any underlying dynamical model that generates the violations.

Load-bearing premise

Deviations from the Lorentz transformation can be cleanly separated into independent time-violation and space-violation contributions whose linear combination produces the observable clock difference.

What would settle it

A set of atomic-clock frequency-shift measurements, taken at known velocities, whose residuals cannot be reduced to zero by any choice of the three parameters alpha, beta, and delta inside the stated time-delay plus structure formula.

read the original abstract

A more complete theoretical model of testing Lorentz violation by the comparison of atomic clocks is developed in the Robertson-Mansouri-Sexl kinematic framework. As this frame postulates the deviation of the coordinate transformation from the Lorentz transformation, from the viewpoint of the transformation violations on time and space, the LI violating effect in the atomic clock comparison can be explained as two parts: time-delay effect $\alpha \frac {v^2}{c^2}$ and structure effect $-\frac {\beta+2\delta}{3} \frac {v^2}{c^2}$. Standard model extension is a widely used dynamic frame to characterize the Lorentz violation, in which a space-orientation dependence violating background field is regarded as the essential reason for the Lorentz violation effect. Compared with the RMS frame which only indicates the kinematic properties with the coordinate transformation, this dynamic frame provides a more complete and clear description for the Lorentz violation effect.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper re-expresses the atomic clock signal as α v²/c² minus (β+2δ)/3 v²/c² inside the standard RMS parameters, without new derivations or observables.

read the letter

The main point is that the authors split the Lorentz-violating clock difference into a time-delay piece proportional to α and a structure piece involving β and δ. They frame this split as a more complete description within the RMS kinematic setup and note that SME offers a dynamic alternative. That contrast is stated plainly and is accurate as far as it goes. The explicit naming of the two contributions is the clearest part of the abstract. Beyond that, the work stays inside the long-established RMS coordinate transformation and writes the observable directly as a linear combination of the three conventional parameters. No independent prediction appears, and the values of α, β, δ are already fixed by earlier experiments. The abstract supplies no intermediate steps that integrate the world-lines or confirm the absence of cross terms, so the clean additivity of the two pieces is asserted rather than shown. The SME comparison is mentioned but left undeveloped. This leaves the central claim as a reparameterization rather than a fresh result. The paper is aimed at specialists already working on clock-based Lorentz tests who might appreciate seeing the standard parameters grouped this way for one particular observable. It does not open new measurements or address open questions in the field. I would not bring it to a reading group or cite it. It does not look ready for serious peer review because the novelty is low and the key decomposition is not demonstrated beyond the claim.

Referee Report

1 major / 1 minor

Summary. The paper develops a more complete theoretical model in the Robertson-Mansouri-Sexl (RMS) kinematic framework for testing Lorentz violation via atomic clock comparisons. It decomposes the Lorentz-violating effect into a time-delay contribution α v²/c² and a structure contribution −(β+2δ)/3 v²/c², and contrasts the kinematic RMS approach with the dynamic Standard Model Extension framework.

Significance. If the claimed decomposition follows rigorously from the RMS transformations, the work could offer a clearer separation of time and space violation effects in clock observables. However, because the result is expressed as a linear combination of the conventional RMS parameters α, β, δ (whose values are already constrained by prior experiments), the independent predictive power appears limited relative to existing SME analyses.

major comments (1)

[Abstract] Abstract: the central claim decomposes the single proper-time difference into independent additive pieces α v²/c² and −(β+2δ)/3 v²/c². No intermediate steps are shown that map the RMS coordinate transformation through the world-line integration to this exact coefficient; cross terms or frame-dependent mixing would invalidate treating the pieces as cleanly separable.

minor comments (1)

[Abstract] Abstract: the phrasing 'As this frame postulates the deviation...' is awkward and could be revised for clarity.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. We address the single major comment below and will revise the manuscript to improve clarity on the requested derivation steps.

read point-by-point responses

Referee: [Abstract] Abstract: the central claim decomposes the single proper-time difference into independent additive pieces α v²/c² and −(β+2δ)/3 v²/c². No intermediate steps are shown that map the RMS coordinate transformation through the world-line integration to this exact coefficient; cross terms or frame-dependent mixing would invalidate treating the pieces as cleanly separable.

Authors: The abstract summarizes the final result; the explicit mapping is derived in the main text. Starting from the RMS coordinate transformations (with parameters α, β, δ), the proper time τ for each clock is obtained by integrating the line element ds along the respective world-lines. The α-dependent term modifies only the time-coordinate transformation and produces the additive time-delay contribution α v²/c² to the proper-time difference. The β- and δ-dependent terms modify the spatial coordinates and enter the line element through the spatial metric components, yielding the structure contribution −(β+2δ)/3 v²/c² after integration. At order v²/c² for the clock-comparison geometry considered, the two classes of terms remain additive with no cross terms because the temporal and spatial violations act on orthogonal parts of the metric. To make this explicit for readers, we will revise the abstract to include a one-sentence reference to the world-line integration and the separation of temporal versus spatial contributions. revision: yes

Circularity Check

1 steps flagged

Clock-effect decomposition reduces by construction to linear combination of standard RMS parameters α, β, δ

specific steps

self definitional [Abstract]
"from the viewpoint of the transformation violations on time and space, the LI violating effect in the atomic clock comparison can be explained as two parts: time-delay effect α v²/c² and structure effect −(β+2δ)/3 v²/c²"

The RMS framework is defined by the three parameters α (time), β and δ (space). The paper's central claim simply partitions the single observable into the time-violation piece (α) and the space-violation piece (−(β + 2δ)/3) and presents the partition as an explanatory result. The coefficient 1/3 and the additive structure are therefore fixed by the choice of parameterization itself.

full rationale

The paper states that the Lorentz-violating clock difference 'can be explained as' the sum of a time-delay term proportional to α and a structure term proportional to (β + 2δ). Because the RMS framework defines the coordinate transformations precisely via these three parameters, the claimed split and the specific coefficient −(β + 2δ)/3 are direct algebraic consequences of the input parameterization rather than an independent derivation from world-line integration or first principles. No external benchmark or machine-checked result is invoked to establish the coefficient; the observable is therefore equivalent to the inputs by construction.

Axiom & Free-Parameter Ledger

3 free parameters · 2 axioms · 0 invented entities

The model rests on the standard RMS parameterization and the assumption that its time and space deviations can be separated; no new entities are postulated.

free parameters (3)

α
Time-violation parameter in the RMS framework, used to define the time-delay effect
β
Space-violation parameter in the RMS framework, used in the structure effect
δ
Space-violation parameter in the RMS framework, used in the structure effect

axioms (2)

domain assumption Deviations from Lorentz transformations can be parameterized by the three constants α, β, δ in the RMS framework
Invoked throughout the abstract as the basis for splitting the violation effect
ad hoc to paper The observable clock difference can be expressed as the sum of a time-delay term and a structure term derived from those parameters
Central modeling choice that produces the two-part decomposition

pith-pipeline@v0.9.0 · 5684 in / 1526 out tokens · 51722 ms · 2026-05-25T09:50:33.243799+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction contradicts

?

contradicts
CONTRADICTS: the theorem conflicts with this paper passage, or marks a claim that would need revision before publication.

the LI violating effect in the atomic clock comparison can be explained as two parts: time-delay effect α v²/c² and structure effect −(β+2δ)/3 v²/c²
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking contradicts

?

contradicts
CONTRADICTS: the theorem conflicts with this paper passage, or marks a claim that would need revision before publication.

the transformation between these two frames can be written as t = aT + ε·x, x = b(X−vT), y=dY, z=dZ with a(v)=1+(α−1/2)v²/c², b(v)=1+(β+1/2)v²/c², d(v)=1+δ v²/c²

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.