Equation 45 · The Clock That Comes Back Wrong by Exactly Its Mass
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 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
Symbol m_rm op
m op is part of the quantity the equation computes from the expression on the right.
Symbol L_rm G
m G occurs above the fraction bar. The numerator is divided by the entire denominator below it.
Symbol Phi
dimensionless as a phase must be, and mass is recoverable from it as [displayed formula].
Symbol b
b is one factor in the product that computes the quantity on the left.
Symbol v
v occurs below the fraction bar. The quantity above the bar is divided by this expression; zero is excluded as a denominator.
=
The expressions on both sides represent the same quantity under the stated assumptions.
See an illustrated explanation →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.
Numerator: hbarPhi[mathcal L_rm G]
The complete quantity above the fraction bar.
Denominator: mathbf b × mathbf v
The complete quantity below the fraction bar; it must be nonzero for this division.
How to interpret it
With a fixed numerator, increasing a nonzero denominator reduces the fraction. Read it with the definitions, units, and assumptions supplied by the article.
What the article says around this equation
Call []=m\,/ the loop’s phase debt : what the representation charges for a loop the classical group considered free. The loop invariant carries units of , exactly the units of / , so is dimensionless as a phase must be, and mass is recoverable from it as . Because m enters only through the fixed central charge and , are the loop’s own declared parameters, [] does not depend on which inertial frame is used to describe the apparatus from outside: boosting the whole laboratory changes how an external observer labels…
Read the full surrounding passage
Call []=m\,/ the loop’s phase debt : what the representation charges for a loop the classical group considered free. The loop invariant carries units of , exactly the units of / , so is dimensionless as a phase must be, and mass is recoverable from it as . Because m enters only through the fixed central charge and , are the loop’s own declared parameters, [] does not depend on which inertial frame is used to describe the apparatus from outside: boosting the whole laboratory changes how an external observer labels positions and velocities, but it does not change which group elements were composed in the lab, nor the central charge attached to the representation. The construction is a scalar of the loop, not an artifact of a chosen external frame. A torsion balance testing the ordinary, classical equivalence principle never needs this fact, because nothing about a suspended mass on a fiber depends on whether translations and boosts secretly fail to commute at the operator level; that failure is invisible to any apparatus that never asks a quantum phase to remember a loop.
For background, read the article’s source list.
Return to The Clock That Comes Back Wrong by Exactly Its Mass