# GPS / Range Measurement Equation — Index Index of Ruyong Wang's GPS, range-measurement-equation, and generalized-Sagnac corpus, plus one external analysis (Bennett 2014). All sources live in `Sources` with the standard source-note layout. PDFs live in Wang's Zotero collection. ## Core argument Wang's central claim, threaded through every paper below: GPS is operationally a Sonar in vacuum. Its range measurement equation in the Earth-centered inertial (ECI) frame, $|\mathbf{r}_r(t_r) - \mathbf{r}_s(t_s)| = c(t_r - t_s),$ is verified to millimetre precision in a frame where the receiver routinely moves. The same equation form is used in underwater Sonar with $a$ instead of $c$; nobody asserts that the speed of sound is constant for a moving observer, because it isn't. By the same reasoning, GPS implies the speed of light is $c$ relative to the ECI frame and NOT relative to a moving receiver — contradicting Einstein's second postulate. The Sagnac effect drops out of the integrated RME automatically when the propagation path is taken in ECI, so it is a non-relativistic consequence of receiver motion, not a rotational signature. > [!quote] The Sonar-vacuum analogy passage (Wang 2000) > "But we should not judge things by their appearance; we must try to grasp their essences. ... Recall that in underwater navigation, Sonar uses the same range measurement equation in a reference frame based on water to calculate the distance traveled by sound even though the sound receiver is moving relative to water. The difference there is that the speed of sound in water, $a$, is used instead of the speed of light in vacuum, $c$. However, no one would emphasize the constancy of the speed of sound, and contrarily, every one thinks the speed of sound is dependent on the motion of the sound receiver." > — [[2000_Wang_Re_examine_SR_Sagnac_GPS_RME]] p.2 ## Foundational priority paper - [[1980_Wang_Has_Relativity_Principle_Been_Verified]] — Wang, Chen, Dong; *Physics Letters* 75A (1980) 176. The seed paper: every test of SR has used the Earth as the reference object. Different orbital velocities of the same object do not constitute different inertial frames in the operationally relevant sense. Proposes a Space Lab Michelson-Morley experiment; aether-drag fringe-shift prediction $\Delta N = (2L/\lambda)(V^2/c^2)$. Notes Sagnac shares one feature with the proposed test: receiver moving relative to Earth. ## GPS / RME papers (Wang's central programme) - [[2000_Wang_Re_examine_SR_Sagnac_GPS_RME]] — IEEE PLANS 2000, San Diego. The canonical RME derivation: moving source independence, moving receiver dependence, global simultaneity vs SR's relativity of simultaneity, full Sagnac formula $\Delta t = 4S\omega/c^2$ from $\int |d\mathbf{r}| = \int c\, dt$ in ECI. Crucial-experiment $\Delta t = 2vL/c^2$. Sagnac correction vs Sagnac effect. - [[2000_Wang_Successful_GPS_Operations_Contradict_SR]] — IAIN/ION World Congress 2000. Companion paper, expands with: co-moving frames having direction-dependent ECI ranges $Lc/(c\pm v)$; Michelson-Morley round-trip recovered as $L/(c-v) + L/(c+v)$ from the RME; ECI as terrestrial preferred frame; GPS-simulator simulation predicting 2 µs at $L = 30{,}000$ km, $v = 3$ km/s; *direct linear-speed sensor* prototype using $v = \Delta t \cdot c^2 / 2L$. - [[2002_Wang_Hatch_Conducting_Crucial_Experiment_GPS]] — Wang and Ron Hatch (President of the Institute of Navigation). Direct rebuttal to Ashby's 2002 *Physics Today* defense of GPS-supports-SR. Ashby's three claims answered point-by-point. Reports an RTK 32 cm vertical-motion test at Los Angeles where a straight-line radial path still required Sagnac correction. Two-airplane GPS crucial experiment proposal: $\Delta t = 4vL/c^2$, ~10 ns at $v = 300$ m/s, ~30 ns at $v = 700$ m/s. ## Generalized Sagnac (linear-motion variant) papers - [[2005_Wang_GED_First_Order_Fiber_Interferometric]] — *Galilean Electrodynamics* 16(2) (2005) 23. Wang's own design paper for the Fiber-Optic Conveyor (FOC) and shearing parallelogram. Fizeau-style derivation gives $\Delta t = 2vl_0/c^2$ for an added linear segment, independent of refractive index. Proposes vacuum-gap variants. Earth-rotation contribution analysis. Numerical: $l_0 = 180$ m, $v = 1$ mm/s gives a clearly detectable phase. - [[2004_Wang_Zheng_Yao_Generalized_Sagnac_Effect]] — *Phys. Rev. Lett.* 93 (2004) 143901. The peer-reviewed PRL experiment. Loop, zigzag and parallelogram tests with both glass and air-core photonic-bandgap fiber confirm $\Delta\Phi = 4\pi \mathbf{v}\cdot\mathbf{l}/c\lambda$ per moving segment, independent of refractive index and motion type. Stokes's theorem reduces the loop integral to the textbook rotational Sagnac as a special case. Proposes the Fiber-Optic Linear Motion Sensor (FOLMS) at nm/s sensitivity. - [[2006_Wang_Zheng_Yao_PCM_OneWay_Speed_Light_FirstOrder]] — Phase-conjugate-mirror (PCM) Michelson and one-arm interferometer designs. Predicted first-order signal $\phi = 4\pi vL/c\lambda$ in linear motion. Argument: take the phase-conjugate Sagnac on an arc segment AB, let the radius $R \to \infty$ at fixed $v$, recover a linear-motion experiment with the same phase shift. Breaks the textbook closed-loop requirement for interference experiments. Sensitivity: $0.12\,\mu\text{m/s}$ with $L = 5$ m, $\lambda = 0.5\,\mu\text{m}$. ## Light-drag and anisotropy follow-ups - [[2016_Wang_Zhan_He_Light_Drag_Vacuum_Tube]] — Wang & Shanghai Jiao Tong group. Contrasts (a) moving vacuum tube + stationary source/receiver vs (b) stationary tube + co-moving source/receiver. Standard Fizeau drag predicts $\Delta t = 2(n-1)(D_1+D_2)v/c^2$ for case (a), with the vacuum cell contributing zero. Wang's optical analysis of case (b) gives a different answer in which the vacuum cell contributes $2Lv/c^2$. The principle of relativity demands these be equal — Popper's "risky prediction". Two practical tests: atomic-clock A↔B reflection and fiber-Sagnac loop with vacuum-tube segment. - [[2024_Wang_Zhan_Anisotropic_propagation_speed_light_ECI]] — Wang & Zhan, ChinaXiv 2024. Formal derivation from the RME of $c' = c - \mathbf{v}\cdot\hat{\mathbf{d}}$ for a frame moving at $\mathbf{v}$ relative to ECI, and $c' = c - (\mathbf{v} + \mathbf{v}_{rE})\cdot\hat{\mathbf{d}}$ on the rotating Earth's surface. Crucial experiment: dual-independent-ultrastable-laser interferometer (no closed loop) on a movable platform. Predicted phase $8\pi vL/c\lambda$ matches the Wang/Zheng/Yao 2004 fiber-parallelogram benchmark. Numerical: $v = 0.1$ m/s, $L = 3$ m, $\lambda = 1.5\,\mu\text{m}$ → $1.68 \times 10^{-2}$ rad. ## Engineering / OCS context - [[1996_Fliegel_DiEsposti_GPS_Relativity_Engineering]] — Henry F. Fliegel and Raymond S. DiEsposti, GPS Joint Program Office, Aerospace Corporation; PTTI 1996. Inside-program engineering overview of how relativistic corrections are *actually* implemented. Concedes the OCS does not include rigorous GR transformations and that "the critics of GPS in the relativity debate have not been completely wrong"; the $\gamma$ factor is absorbed into the constant SV pre-offset of $-4.45 \times 10^{-10}$ ($-38\,\mu$s/day = $-45$ gravitational + $+7$ velocity) plus the ICD-GPS-200 eccentricity term $-2\mathbf{R}\cdot\mathbf{v}/c^2$ plus a "springy" Kalman filter that ties station clocks to satellite clocks. Critically clarifies that GPS uses a *mixed* coordinate system: spatial coordinates ECI, time rate ECEF/TT (else 60 µs/day TCG offset). Sagnac correction is intrinsic to forming TAI itself. Q&A: Carroll Alley remarks SR's relativity-of-simultaneity is not modeled in the current system. ## Engelhardt — consistent-LT Sagnac analysis - [[2015_Engelhardt_Classical_Relativistic_Sagnac]] — Wolfgang Engelhardt (retired Max-Planck Garching), *Annales de la Fondation Louis de Broglie* 40 (2015) 149. Re-derives Sagnac in parallel from the Galilean transformation (recovers the textbook $\Delta t = 2Lv_0/(c^2 - v_0^2)$ and $\Delta Z = 4\mathbf{A}\cdot\boldsymbol{\Omega}/c\lambda_0$) and from the *consistently-applied* Lorentz transformation including the linear $-xv/c^2$ time term (which gives $v_\varphi' = c$ in the rotating frame and therefore $\Delta t' = 0$ — no Sagnac at all). Standard "relativistic" derivations (Post, Malykin, Rizzi-Ruggiero) use a *mutilated* LT — they keep $dt = \gamma\,dt'$ but drop $-xv/c^2$. Cites Ashby (uses $t' = t$, the Galilean form, in his GPS treatment), Carroll Alley's Q&A remark in Fliegel & DiEsposti 1996, and Hatch. - [[2018_Engelhardt_Sagnac_answer_to_Sfarti]] — Engelhardt's two-page reply (AFLB 43 (2018) 103) to A. Sfarti's 2017 rebuttal. Sfarti's "rebuttal" reproduces Engelhardt's classical Section 2 (using $t' = t$) and ignores the consistent-LT Section 3 entirely; Engelhardt notes Sfarti also misplaces the phase detector (interference is at the beam splitter, which rotates with the interferometer, not at rest in the inertial frame). ## External analyses (filed in Wang's Zotero collection) - [[2014_Bennett_Landmark_Wang_Linear_Sagnac_Test]] — Robert Bennett (independent). Re-reads Wang's FOC result as Galilean velocity addition $\text{SoL}_{con} = c \pm v$ within his ALFA (Absolute Lab Frame & Flexible Aether) framework. Predicts that a Dufour-Prunier-style lab-frame mounting will give the same $\text{SoL}_{lab} = c + v$. Notes Wang declined to do that variant test or to check directional isotropy. Filed alongside Wang's papers in Zotero. ## Cross-cutting notes - The first-order signature $\Delta t = 2vL/c^2$ recurs across the corpus: clock-pair on a vehicle (Wang 2000), GPS-airplane pair (Wang+Hatch 2002), FOC (Wang 2003-2005), generalized-Sagnac PRL (Wang 2004), PCM Michelson (Wang 2006), vacuum-tube source/receiver (Wang 2016), dual-laser interferometer (Wang+Zhan 2024). The recurring claim is that this term is verified in every closed-path or rotational variant and predicted in every translational variant; only the translational variants without a closed loop have not been tested. - The Sagnac correction is applied in the operational software of GPS and JPL (Wang+Hatch 2002 cites NavCom Technology's licensed JPL ECI-frame code; Fliegel & DiEsposti 1996 confirms Sagnac is intrinsic to forming TAI). This is offered as a working-systems argument that Sagnac is a *receiver-motion* phenomenon, not a rotational artifact. - Fliegel & DiEsposti 1996 (Aerospace Corp, GPS JPO) admits the OCS treats relativistic effects as a constant SV clock pre-offset plus Kalman tuning, not a per-receiver model. This is the engineering context against which Wang's RME critique runs: the operational equation that GPS verifies *is* the ECI range equation, with relativistic effects bypassed via a frequency offset rather than implemented as Lorentz transformations. - Engelhardt 2015/2018 supplies the *theoretical* counterpart to Wang's *operational* critique: applying the full LT (with the $-xv/c^2$ term) consistently to a rotating Sagnac interferometer gives $\Delta t' = 0$ — no Sagnac effect. Standard textbooks ducking this only by using a partial LT. So the same conclusion lands from two directions: Wang says GPS *operationally* uses the ECI range equation (Sonar-in-vacuum form) with global simultaneity; Engelhardt says SR *theoretically* cannot reproduce the empirically real Sagnac result without abandoning $c = \text{const}$. - The principle of relativity of SR is treated throughout as making a Popperian "risky prediction" that Wang's experiments either have falsified (closed-loop fiber Sagnac with linear segments) or could falsify (open-arm dual-laser, vacuum-tube, GPS-airplane). ## Backlinks - [[Special_Relativity]] - [[Fizeau-Ether-Drag-Experiment]] ## Tags #GPS #RME #sagnac #special_relativity #wang #index