← Back to article

Equation 45 · The Clock That Comes Back Wrong by Exactly Its Mass

What does this equation mean?

mop[LG]=ℏ Φ[LG]b⋅v.m_{\rm op}[\mathcal L_{\rm G}]=\frac{\hbar\,\Phi[\mathcal L_{\rm G}]}{\mathbf b\cdot\mathbf v}.

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.

Start withhbarPhi[mathcal L_rm G]
Divide bymathbf b × mathbf v
This relates tom_rm op[mathcal L_rm G]
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

mopm_{\rm op}

Symbol m_rm op

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

Understand this part →

LGL_{\rm G}

Symbol L_rm G

LrL_rm G occurs above the fraction bar. The numerator is divided by the entire denominator below it.

Understand this part →

Φ\Phi

Symbol Phi

dimensionless as a phase must be, and mass is recoverable from it as [displayed formula].

Understand this part →

bb

Symbol b

b is one factor in the product that computes the quantity on the left.

Understand this part →

vv

Symbol v

v occurs below the fraction bar. The quantity above the bar is divided by this expression; zero is excluded as a denominator.

Understand this part →

=

=

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

Understand this part →

See an illustrated explanation →
fraction

fraction

Divide the expression above the line by the one below it.

Understand this part →

See an illustrated explanation →
multiplication

multiplication

Multiply the quantities on either side.

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 →

ℏ Φ[LG]\hbar\,\Phi[\mathcal L_{\rm G}]

Numerator: hbarPhi[mathcal L_rm G]

The complete quantity above the fraction bar.

Understand this part →

b⋅v\mathbf b\cdot\mathbf v

Denominator: mathbf b × mathbf v

The complete quantity below the fraction bar; it must be nonzero for this division.

Understand this part →

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 Φ\Phi[LG\mathcal L_{\rm G}]=m\,b\mathbf b⋅\cdotv\mathbf v/ℏ\hbar the loop’s phase debt : what the representation charges for a loop the classical group considered free. The loop invariant b\mathbf b⋅\cdotv\mathbf v carries units of m2 s−1\mathrm{m^2\,s^{-1}} , exactly the units of ℏ\hbar/mass\text{mass} , so Φ\Phi is dimensionless as a phase must be, and mass is recoverable from it as mop[LG]=ℏ Φ[LG]b⋅vm_{\rm op}[\mathcal L_{\rm G}]=\frac{\hbar\,\Phi[\mathcal L_{\rm G}]}{\mathbf b\cdot\mathbf v}. Because m enters only through the fixed central charge and b\mathbf b,v\mathbf v are the loop’s own declared parameters, mopm_{\rm op}[LG\mathcal L_{\rm G}] 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 Φ\Phi[LG\mathcal L_{\rm G}]=m\,b\mathbf b⋅\cdotv\mathbf v/ℏ\hbar the loop’s phase debt : what the representation charges for a loop the classical group considered free. The loop invariant b\mathbf b⋅\cdotv\mathbf v carries units of m2 s−1\mathrm{m^2\,s^{-1}} , exactly the units of ℏ\hbar/mass\text{mass} , so Φ\Phi is dimensionless as a phase must be, and mass is recoverable from it as mop[LG]=ℏ Φ[LG]b⋅vm_{\rm op}[\mathcal L_{\rm G}]=\frac{\hbar\,\Phi[\mathcal L_{\rm G}]}{\mathbf b\cdot\mathbf v}. Because m enters only through the fixed central charge and b\mathbf b,v\mathbf v are the loop’s own declared parameters, mopm_{\rm op}[LG\mathcal L_{\rm G}] 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.

Read the equation in its article →

For background, read the article’s source list.

Return to The Clock That Comes Back Wrong by Exactly Its Mass

See this formula across 1 published context →

Browse the mathematical compendium →