← Back to article

Equation 14 · The Bend an Elevator Cannot Fake

What does this equation mean?

yij:=ln⁡(νj/νi)=ϕ(xi)−ϕ(xj).y_{ij} := \ln(\nu_j/\nu_i) = \phi(\mathbf x_i) - \phi(\mathbf x_j).

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.

Inputs and operationsln(nu_j/nu_i) = phi(mathbf x_i) - phi(mathbf x_j)
Result or conditiony_ij :
How to read the two sides of this formula. Follow the article passage for the meaning of each quantity.

This equation states an equality: the expressions on both sides have the same value under the article’s assumptions. 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

yijy_{ij}

Symbol y_ij

yiy_ij is part of the quantity the equation computes from the expression on the right.

Understand this part →

νj\nu_j

Symbol nu_j

nuju_j is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

νi\nu_i

Symbol nu_i

nuiu_i is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

ϕ\phi

Symbol phi

phi is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

xix_i

Symbol x_i

xix_i is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

xjx_j

Symbol x_j

xjx_j is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

=

=

The expressions on both sides represent the same quantity under the stated assumptions.

Understand this part →

See an illustrated explanation →
subtraction

subtraction

Subtract the following term or group from the preceding one. A leading minus marks a negative quantity.

Understand this part →

subscript

subscript

The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.

Understand this part →

How to interpret it

Read it with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

For a static observer at position x\mathbf x in a stationary spacetime, define U(x\mathbf x) := dτ\tau/dt , the local rate of proper time relative to coordinate time. Two clocks compared through any phase-coherent link that depends only on their respective proper frequencies report the ratio νj\nu_j/νi\nu_i = U(xj\mathbf x_j)/U(xi\mathbf x_i) — a fact about stationary spacetimes that follows from the timelike Killing vector generating t -translations, and one on which the standard treatments of relativity in a geodetic or navigational setting already rely [ 10 , 14 ] . The dependence on endpoints only, never on the path connecting them, is not an approximation: because ∂\partial/∂\partial t generates a…
Read the full surrounding passage
For a static observer at position x\mathbf x in a stationary spacetime, define U(x\mathbf x) := dτ\tau/dt , the local rate of proper time relative to coordinate time. Two clocks compared through any phase-coherent link that depends only on their respective proper frequencies report the ratio νj\nu_j/νi\nu_i = U(xj\mathbf x_j)/U(xi\mathbf x_i) — a fact about stationary spacetimes that follows from the timelike Killing vector generating t -translations, and one on which the standard treatments of relativity in a geodetic or navigational setting already rely [ 10 , 14 ] . The dependence on endpoints only, never on the path connecting them, is not an approximation: because ∂\partial/∂\partial t generates a genuine symmetry of a stationary metric, the redshift between any two static observers is fixed entirely by the value of U at each observer’s own location, so a network’s fitted node potential can be compared against a measurement made over any convenient physical route without first specifying which route was used. Define the dimensionless node potential ϕ(x)\phi(\mathbf x) := ln⁡\ln U(x\mathbf x) and the edge observable actually recorded between linked clocks i and j , yij:=ln⁡(νj/νi)=ϕ(xi)−ϕ(xj)y_{ij} := \ln(\nu_j/\nu_i) = \phi(\mathbf x_i) - \phi(\mathbf x_j). At weak field this reduces to the familiar yijy_{ij} ≈\approx (Φi\Phi_i - Φj\Phi_j)/c2c^2 for Newtonian potential Φ\Phi , exactly the quantity real fibre-linked clock comparisons already report [ 1 , 7 ] . Collect every measured edge into a vector y , one entry per link, and encode the network’s topology in an incidence matrix B : row e = (i,j) has a +1 in column i , a -1 in column j , and zero elsewhere. The model is y = Bϕ\phi + n for measurement noise n with covariance C , and the standard weighted least-squares estimate of the node potentials is

Read the equation in its article →

For background, read the article’s source list.

Return to The Bend an Elevator Cannot Fake

See this formula across 1 published context →

Browse the mathematical compendium →