← Back to article

Equation 27 · The Bend an Elevator Cannot Fake

What does this equation mean?

ϕ^=(B⊤C−1B)+B⊤C−1y,\hat\phi = \left(B^\top C^{-1} B\right)^{+} B^\top C^{-1} y,

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 operations(B^top C^-1 B)^+ B^top C^-1 y
Result or conditionhatphi
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

ϕ^\hat\phi

Symbol hatphi

the standard weighted least-squares estimate of the node potentials.

Understand this part →

B⊤B^\top

Symbol B^top

BtB^top is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

C−1C^{-1}

Symbol C^-1

C−C^-1 is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

BB

Symbol B

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

Understand this part →

yy

Symbol y

y 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 →
superscript

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.

Understand this part →

See an illustrated explanation →

How to interpret it

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

What the article says around this equation

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 ϕ^=(B⊤C−1B)+B⊤C−1y\hat\phi = \left(B^\top C^{-1} B\right)^{+} B^\top C^{-1} y. using the Moore–Penrose pseudoinverse because B has a nontrivial null space: adding any constant to every node’s ϕ\phi leaves every edge…
Read the full surrounding passage
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 ϕ^=(B⊤C−1B)+B⊤C−1y\hat\phi = \left(B^\top C^{-1} B\right)^{+} B^\top C^{-1} y. using the Moore–Penrose pseudoinverse because B has a nontrivial null space: adding any constant to every node’s ϕ\phi leaves every edge difference, and hence every prediction, unchanged. This is not a defect to patch. It is the precise algebraic statement that a network can only ever certify potential differences, never an absolute zero, matching the physical fact that gravitational redshift has never been measured as anything but a difference [ 4 , 3 ] . Anchoring any one node’s height to an external, independently surveyed vertical datum removes the remaining gauge freedom without adding a single new physical assumption to the network itself.

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 →