Equation 68 · The Bend an Elevator Cannot Fake
What does this equation mean?
Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.
This equation gives an approximation: it relates the quantities while allowing an approximation. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.
Read it piece by piece
Symbol s
s is part of the quantity the equation computes from the expression on the right.
Symbol Δ t
Δ t is one of the signed contributions combined to compute the quantity on the left.
Symbol T
T is one of the signed contributions combined to compute the quantity on the left.
=
The expressions on both sides represent the same quantity under the stated assumptions.
See an illustrated explanation →change
Capital delta attached to a quantity marks a difference between two values of that quantity; the article’s sign convention determines the order.
superscript
A raised number can be a power. When it is a label or bound, it selects a case or the upper limit of a sum; the formula’s structure distinguishes these uses.
See an illustrated explanation →How to interpret it
Its accuracy depends on the assumptions and range of use described in the article. Read it with the definitions, units, and assumptions supplied by the article.
What the article says around this equation
A loop opens, instead, whenever some edge’s own realization is not simply a difference of two corotating nodes’ W . The clearest documented case is the relativistic Sagnac effect: a synchronization or comparison signal that does not itself corotate with the network — a one-way satellite time transfer, or any path analyzed against a non-rotating inertial frame — picks up an explicit timing correction = (2/)\, , where is the area swept by that specific link’s path, projected onto Earth’s equatorial plane. That expression carries units of time, while an edge datum is a dimensionless log frequency ratio, so what actually enters the…
Read the full surrounding passage
A loop opens, instead, whenever some edge’s own realization is not simply a difference of two corotating nodes’ W . The clearest documented case is the relativistic Sagnac effect: a synchronization or comparison signal that does not itself corotate with the network — a one-way satellite time transfer, or any path analyzed against a non-rotating inertial frame — picks up an explicit timing correction = (2/)\, , where is the area swept by that specific link’s path, projected onto Earth’s equatorial plane. That expression carries units of time, while an edge datum is a dimensionless log frequency ratio, so what actually enters the edge is = /T for the averaging interval T over which the comparison is gated; this is exactly the term without which the Global Positioning System’s own time transfer disagrees with ground clocks by an amount well outside its design tolerance [ 10 ] . Whenever an edge’s own physical realization departs from plain node-to-node W -differencing in this way, the correct response is to model explicitly on that edge — not to let it distort the fitted , and not to write it off as an unexplained curvature signal. The size of an uncorrected Sagnac term is worth putting a number to, because it is easy to underestimate. Take an illustrative closed network loop enclosing a continental-scale area of 2.510^{11}\, — a square roughly five hundred kilometres on a side, comparable to the geographic span already reached by real international fibre links — at a latitude where the projected area onto Earth’s equatorial plane is close to the full value. With Earth’s sidereal rotation rate 7.29210^{-5}\, [ 10 ] , the accumulated timing offset is t = 2 A/ 2(7.29210^{-5})(2.510^{11})/(8.98810^{16}) 4.110^{-10}\, , a little over four hundred picoseconds. Gated at the one-second averaging interval conventional for this comparison, the corresponding dimensionless edge bias is s = t/T 4.110^{-10} — eight to nine orders of magnitude larger than any clock’s own fractional instability. A loop of that size realized through any link geometry that does not automatically cancel this term — a one-way relay, most obviously — would swamp every other effect in this article before curvature or a fault ever entered the picture, which is exactly why the term has to be modelled on its own edge rather than left to contaminate the fitted node potentials. A real network built to search for exactly this kind of anomaly is the four-station European fibre link connecting clocks in France, Germany, the United Kingdom, and Italy, which compared measured frequency ratios against those predicted from independently known geopotential differences and searched for any residual daily variation tied to Earth’s motion, rather than to gravity [ 7 ] . A miniature, five-node laboratory array built expressly to test differential redshift at the one-centimetre scale shows the same logic operating at the opposite end of the size range: five atomic ensembles, four independent height differences, and a fractional frequency gradient measured and checked against the value gravity alone predicts [ 2 ] . In neither case does a nonzero comparison certify curvature; in both, it certifies — or fails to certify — that the network’s own bookkeeping accounted for everything that was not a per-node scalar.
Sources cited in the surrounding passage
- [10] Relativity in the Global Positioning System ↗
- [7] Test of Special Relativity Using a Fiber Network of Optical Clocks ↗
- [2] A Lab-Based Test of the Gravitational Redshift with a Miniature Clock Network ↗
These citations give research context. Read each source to check which claims it supports.
Return to The Bend an Elevator Cannot Fake