1. Introduction
In 1905, Einstein proposed special relativity (SR) [
1], and since then, it has become a major part of modern physics. Lorentz invariance is an important basic assumption [
2,
3]: the result of any local test experiment is independent of the velocity of the free-falling device, which is considered to be a fundamental symmetry in nature. However, according to the existing grand unified theory [
4,
5,
6], the Lorentz invariance may be broken, thus, further prompting researchers to test the Lorentz invariance through various experiments [
7,
8,
9].
There are different theoretical frameworks to study the possibility of Lorentz invariance breaking, here, we discuss only one of them: the kinematics RMS (Robertson–Mansouri–Sexl) framework [
10,
11,
12,
13], which simply parameterizes the Lorentz transform and limits the deviation between Lorentz invariance breaking parameters and specific theoretical values through experiments. Experiments to test the SR include the Michelson–Morley (MM) experiment [
14,
15,
16], Kennedy–Thorndike (KT) experiment [
15,
17,
18,
19,
20], Ives–Stilwell (IS) experiment [
21,
22,
23], and the atomic clock comparison experiments in two different locations [
24].
These experiments can well limit the Lorentz invariance breaking parameters in the RMS framework and can finally prove the correctness of SR, where the MM experiment is frequently cited as a direct proof of the light speed invariance. In the MM experiment, a light source emits two beams of light along an orthogonal direction, and after passing through paths of length and , respectively, the interference pattern of the two beams of light can be obtained by interferometry.
Then, a new interference pattern can be recorded by rotating the device 90
. The upper limit of the Lorentz invariance breaking parameters in the RMS framework can be given by observing the difference between the two interference patterns. We also analyze the MM experiment from another perspective and compare it with other types of experiments. One arm in the interferometer can be regarded as an optical clock, which consists of two mirrors with a distance of
L and a photon propagating back and forth between the two mirrors. The period of the light clock is determined by the round-trip time of the light; thus, the flight time of the photon from one mirror to another reflects the frequency of the clock [
25,
26,
27,
28,
29,
30,
31,
32,
33,
34,
35].
Due to the destruction of the Lorentz invariance in the RMS framework, the light speed in different directions is anisotropic, which affects the frequency of clocks on different detection arms. The MM experiment measures the Lorentz invariance breaking parameters by comparing the clock frequencies in two directions. Analogous to the optical clock, the frequency of the atomic clock is determined by the transition between the two energy levels of the atom.
Since the light speed is anisotropic in the RMS framework and the atom is also a structured particle, the structure of the atom needs to be considered in the process of analyzing the atomic clock comparison. In ref. [
36], the structural effects of atoms in the comparison experiments of atomic clocks at different locations are preliminarily considered, but the other classical experiments to test SR are not adequately analyzed, and the complete correction results of each experiment are not given.
In this paper, we classify the MM experiment, KT experiment, IS experiment, and atomic clock comparison experiments in two locations [
37,
38,
39,
40,
41,
42,
43,
44,
45], which can be regarded as a comparison between two optical clocks composed of cavities and photons, a comparison between an optical clock and atomic clock, and a comparison between two atomic clocks.
Since optical clocks and atomic clocks can be placed in the same location or in different locations, we can roughly divide the experiments into six categories: the comparison of two optical clocks in the same location, the comparison of two optical clocks in different locations, the comparison of optical clocks and atomic clocks in the same location, the comparison of optical clocks and atomic clocks in different locations, the comparison of two atomic clocks in the same location and comparison of two atomic clocks in different locations. Combined with the analysis of atomic structure effects in ref. [
36], we comprehensively consider the structure of atomic clocks and optical clocks and analyze the correction of structure effect for the above six types of experiment results.
The paper is organized as follows. In
Section 2, we review the typical clock comparison of testing SR under the kinematics RMS framework and expound the current strict restrictions on Lorentz invariance breaking parameters. In
Section 3, the frequency shift results are given by analyzing the structural effects of the optical clock in three reference frames for the MM experiment. In
Section 4, we analyze the structural effects of the atomic clocks in three reference frames to give the energy levels of the atomic clock, based on which the frequency shift result of the atomic clock is obtained by comparing the differences of clocks for different reference frames. In
Section 5, we find the correction of the clock structure effect based on the results of six kinds of experiments. Finally, the paper is concluded in
Section 6.
2. Clock Comparison to Test Special Relativity Based on RMS Framework
Robertson, Mansouri and Sexl have established a common linear framework by making a simple parameterization of the Lorentz transformation and subsequently experimentally obtaining the deviations of these parameters from the theoretical values in SR. Assuming is an ideal reference frame, i.e., it is isotropic, and the light speed c is a constant. The cosmic microwave background is usually regarded as an isotropic reference frame, that is, the frame.
Then, considering a reference frame
moving at a velocity
v relative to an ideal reference frame
, by introducing the Lorentz invariance breaking parameter, the Lorentz transformation between the laboratory reference frame
S and ideal reference frame
in the RMS framework can be rewritten as [
11]
where
is determined by clock synchronization, and
in the laboratory reference frame. Since the one-way light speed is unobservable, all the synchronization conventions are physically equivalent. In this paper, the Einstein synchronization convention
is adopted, and the kinematic parameters
,
, and
are determined by experiments. Since the
frame is isotropic, the kinematic parameters
,
, and
are the functions of
, which can be written as [
46,
47,
48]
where
,
, and
represent the Lorentz invariance breaking parameters in the time and space directions, respectively. If
,
, and
are all zero, the Lorentz invariance is unbroken. Due to the existence of the Lorentz invariance breaking parameter, there is anisotropy in spacetime. Combining the case of Einstein synchronization with Equations (1) and (2), the expression of the light speed
in the laboratory reference frame S with respect to the
x axis can be obtained as [
11]
in which
is the angle between the direction of the light propagation and the velocity
v of the laboratory reference frame.
At present, the experiments to test the Lorentz invariance breaking parameters in the RMS framework mainly include: the MM experiment, KT experiment, IS experiment, and atomic clock comparison experiments in two locations. The above experiments mainly limit the Lorentz invariance breaking parameters by measuring the light speed in all directions. According to Equation (
3), the light speed in two directions for the experimental reference frame is inconsistent, which is related to the combinations of Lorentz invariance breaking parameters
and
. The MM experiment is essentially similar to the Michelson interferometer, since the directions of the two detection arms are coincident, there is an angle
modulation.
This experiment mainly limits the combination of Lorentz invariance breaking parameters
related to angle
by measuring the light speed in both directions, and the strictest limit of this parameter is
[
19]. The KT experiment measured another combination of Lorentz invariance breaking parameters
related to the velocity
v in Equation (
3), and the most stringent limit is currently
[
20]. In addition, the IS experiment limits the Lorentz invariance breaking parameter
in the time direction, and the result is
[
23]. Recently, the comparison of atomic clocks at different locations can also limit the Lorentz invariance breaking parameter
, and the result is
[
24].
3. Analysis of the Optical Clock Structure Effect with the MM Experiment
The MM experiment was originally an experiment to find ether. A beam of light is split into two beams by a beam splitter, travels a distance of along two mutually orthogonal directions, reflects on two mirrors, and finally recombines at the beam splitter to give the interference fringe. If the light speed is related to the direction, the interference fringe pattern will change with the rotation of the instrument, which can demonstrate the dependence of the light speed on direction. The MM experiment obtains the difference of light speed in different directions through the comparison of the light travel time on two interference arms; from another point of view, the period of light travel reflects the frequency of the light clock, and then each interference arm can be regarded as an optical clock, so the MM experiment is also seen as a frequency comparison between the two optical clocks.
According to the above analysis, the frequency of the optical clock is closely related to the round-trip time of light on the interference arm. Therefore, we can determine whether the speed of light is changed by comparing the round-trip time of light beams on the two interference arms, and then determine whether the Lorentz transformation is broken. Two reference frames are introduced in the RMS framework: the ideal reference frame
and the laboratory reference frame
S. In order to facilitate the analysis of the clock frequency in each reference frame, we introduce another ideal reference frame
, which also moves with the velocity
v along the
X-axis relative to the ideal reference frame
. The Lorentz transformation that is satisfied by the two ideal reference frames
and
can be described as
The clock frequency in the laboratory reference frame
S can be observed through the connection between the three reference frames, and then the clock frequency correction term arising from Lorentz invariance breaking can be obtained.
For the ideal reference frame
, the light speed remains constant
c, but the length has a certain contraction, meaning that the travel time of light will change accordingly, which is called the scaling effect. According to Equations (
1) and (
2), the arm length under the scale effect can be obtained as
A stationary observer records the propagation time of photons from A to B and then back to A in the ideal reference frame
, which can be written as
Here,
reflects the correction related to the structure of the optical clock, which can be described as [
36]
According to the above analysis, we obtain that the time recorded by the observer in the ideal reference frame
has a two-part delay relative to the ideal time
from Equation (
6): the conventional time delay factor
a and the delay arising from the clock structure effect
.
Analogous to the analysis method in the ideal reference frame
, we can calculate the travel time of light in another ideal reference frame
. Although the Lorentz transformation is satisfied between the reference frames
and
, they are ideal reference frames, so their respective light speeds are
c in a vacuum. According to the ref. [
36], the arm length of light traveling in the ideal reference frame
can be obtained as
Further, it can be obtained that the travel time of light in the ideal reference frame is
From Equation (
9), it can be seen that the time delay obtained by the observer in the ideal reference frame
contains two items: the delay
in the time direction and the delay
caused by the optical clock structure effect. Comparing Equations (
9) with (
6), they are identical apart from a term, which is proportional to
. The reason for the above results is that the ideal reference system
and the laboratory reference system
S move at velocity
v relative to the ideal reference frame
, and there is no relative speed between the reference frame
and
S; thus, there is no delay factor
in the ideal reference system
.
For the laboratory reference frame
S, the one-way distance traveled by the photon has not changed, i.e.,
. However, the RMS framework assumes that there is a certain break along each direction in this reference frame, meaning that the light speed along each direction is not a constant value, but there is a certain change. The light speed in this reference frame is related to the velocity
v and direction
of the movement of the laboratory reference frame
S relative to the ideal reference system
, which is
in Equation (
3). Therefore, the travel time of light in the reference system
S is
According to the above analysis, it can be seen that there is no relative motion for the observation clock in the laboratory reference frame
S, so it has only the delay
arising from the clock structure effect relative to the reference value
.
As the destruction of Lorentz invariance will cause the speed of light to be anisotropic, and the propagation of light in all directions is used to define the time of the clock, the dependence of experimental results and directions can be tested by comparing the clock frequencies formed in all directions. For the clock comparison experiment, the observer emits the electromagnetic signal at frequency
, and the measured clock frequency is
after returning after a
distance, so the clock comparison result is
where
is the reference frequency, that is, the reference value. The frequency shift result includes four parts, the gravitational redshift effect, the SR effect (the second order of the Doppler effect), and the two items that are contributed by the deviation of SR: the destructive term in the time direction (
related items) and the spatial direction of the destructive pattern (
related items). The relevant items of
have been extensively studied; however, the relevant items of
has only been studied in atomic clock comparison experiments at different locations, without combination with the specific analysis of other clock comparison experiments. We specialize in studying frequency comparisons between two optical clocks, two atomic clocks, and two types of clocks at the same and different positions. Since the MM experiment compares the travel times of two light beams, it can be regarded as a comparison of the frequencies between the two optical clocks.
Thus, it is necessary to convert the travel time of the light in the above calculation results into the form of frequencies. Assuming that the clock frequency recorded by the observer in the ideal reference frame
is
, according to Equation (
6), it can be obtained as:
which is kept to the first order of
based on a Taylor expansion. Similarly, assuming that the clock frequencies recorded by the observers in the ideal reference frame
and the laboratory reference frame
S are, respectively,
and
, we find:
in which
is the breaking parameter in the time direction. Since the parameter
a in the RMS framework includes not only the effect of the slowing down of motion clocks in SR but also the breaking of the time direction, the parameter
and
a of the RMS framework satisfies the relationship
. According to Equations (
12) and (
13), the relationship satisfied by clock frequencies of the three reference frames can be concluded as
where higher-order terms are not considered based on the Taylor expansion. In summary, we can obtain the measurement quantities and clock frequency of each reference frame for three observers at rest in their frames, which are listed in
Table 1.
4. Analyzing the Structural Effects of Atomic Clocks
In
Section 3, we analyzed the frequency shift of the clock in each reference frame and concluded that the clock frequency obtained by the observer at each reference frame had a certain delay. The clock frequency observed by the observer in the reference system
not only includes the time delay factor
in SR and the time delay
(the sum of the two is
a) due to the Lorentz invariance breaking in the time direction but also includes the system effect
from the optical clock structure.
For another ideal reference system , the frequency observed by the observer in this reference system has no time delay of SR. However, the clock frequency in the frame includes delays in the time direction and structural effects caused by spatial structure . For the laboratory reference frame S, it considers the speed of light to be constant, so there is only a delay caused by structural effects of the optical clock. This result can be obtained from the analysis of optical clock because the photons in the optical clock have a travel distance L as the optical clock is a structured object.
Therefore, when the experiment is performed with an optical clock, the spatial anisotropy originating from Lorentz invariance violation will be introduced through the structure of the optical clock, resulting in the inclusion of in the experimental results. According to the analysis of the optical clock, we can analyze whether the atomic clock has a structural effect.
For the atomic clock comparison experiment, we take the hydrogen-like ion as an example to establish a simple model. The electron moves around the atomic nucleus at high speed, forming a closed spherical shell. Analogous to the MM experiment, the frequency of the optical clock is closely related to the length of the resonator. For the atomic clock comparison experiment, the atomic energy levels of hydrogen-like ions are closely related to the radial distance between the atomic nucleus and the electron.
Therefore, based on the previous work [
36], we analyze the atomic energy level change caused by the destruction of Lorentz invariance from the Dirac equation and then theoretically analyze the measurement parameters of the atomic clock comparison experiment. In the MM experiment, the probe arm between two mirrors can be seen as an infinitely deep potential well
, so the movement of photons in this potential well can be expressed as the time of the light clock. We can also perform a similar analysis of the atomic structure, the coulomb potential
of the atom is equivalent to an infinite deep potential well in the MM experiment, and the state transition is equivalent to the time of the optical clock in the MM experiment, where
and Potential
are
Here,
r is the distance from the electron to the nucleus, and
Z is the atomic number. In the following, based on the analysis of the atomic clock structure effect in ref. [
36], we explore the delay effects of clocks in each reference frame. For the laboratory reference frame
S, the clock energy level of the atomic clock is
where
is the spherical harmonic function, and
is the reference level. According to Equation (
16), the frequency shift of the clock can be written as
where
is the reference frequency related to
. The second part of the right side of the equation is the delay factor in the time direction, and the third part is the delay effect arising from the structure of the atomic clock. Similarly, the clock frequency shift of the other two reference frames
and
S can be obtained as:
Combining the second equation in Equation (
13) with Equation (
17), the frequency shifts of optical clocks and atomic clocks can be obtained as
which is the result measured by an observer at rest relative to the laboratory reference system
S. For the convenience of analysis, utilizing Legendre polynomials to expand spherical harmonics, the above formula can be further simplified as
with
. According to these equations, we can comprehensively analyze the comparison results of the optical clocks and atomic clocks at the same location and different locations and then limit the Lorentz invariance breaking parameters.
5. Correction of Clock Comparison Results
In this section, according to the different frequency shifts of optical clocks and atomic clocks, the measurement results of the six kinds of clock comparison can be obtained. Combining Equation (
2), we find that
represents the breaking parameter in the time direction,
and
both represent the breaking parameters in the space direction, where
represents the breaking parameter along the motion direction, and
represents the breaking parameter in the vertical motion direction.
The MM experiment mainly measures the combination of space parameters , the KT experiment mainly measures the combination of space and time parameters , and the IS experiment and the comparison experiment of two atomic clocks at the same location mainly measure the time parameter . Based on the above experiments, the comparison between two optical clocks can be divided into two cases: the comparison device is placed in the same location and different locations. For the comparison of two optical clocks at the same location, that is, the MM experiment type, the placement angles of the two optical clocks are inconsistent.
Therefore, according to Equation (
20), the test parameter of optical clock comparison at the same location can be obtained as
. For the comparison of optical clocks at different locations, their frequencies are
and
, respectively, so the comparison results will be
From the above results, it can be seen that the test parameters are
.
Secondly, the comparison of optical clocks and atomic clocks can also be divided into comparisons in the same location and different locations. For the comparison between the optical clock and the atomic clock at the same location, that is, the KT experiment type, according to the analysis of Equation (
20), their frequencies of the light clock and atomic clock are
and
, respectively. The comparison result can be obtained as
Since
has been limited with a high precision, here, we only consider the constraints of the atomic clock comparison on others. Therefore, the main parameters of the test are
. For the comparison of optical clocks and atomic clocks at different locations, we performed a similar analysis to obtain the main test parameters also as
.
Finally, the comparison between two atomic clocks is also divided into two cases: the device is placed in the same location and different locations. For the comparison between atomic clocks at the same location, their frequencies of the atomic clock are
and
, respectively, that is, the clock comparison result of the IS experiment type is
Therefore, the main parameters of the test are
. Similarly, for the comparison of two atomic clocks in different locations, the main test parameters are the same as the test parameters at the same location.
Comparing the clock comparison results given in this paper based on the analysis of structural effects with the results of several classical experimental tests, the correction of the test results will be obtained. Therefore, the test results have certain corrections as shown in
Table 2. Due to the structural effects of the detection arm and atoms, we found that specific corrections were introduced into the original measurement parameters.