← Back to article

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

What does this equation mean?

T(b) G(v) T(−b) G(−v)=e[X,Y]=exp⁡ ⁣(imℏ b⋅v)1.T(\mathbf b)\,G(\mathbf v)\,T(-\mathbf b)\,G(-\mathbf v)=e^{[X,Y]}=\exp\!\left(\frac{im}{\hbar}\,\mathbf b\cdot\mathbf v\right)\mathbb 1.

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 withim
Divide byhbar
This relates toT(mathbf b)G(mathbf v)T(-mathbf b)G(-mathbf v)
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

TT

Symbol T

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

Understand this part →

bb

Symbol b

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

Understand this part →

GG

Symbol G

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

Understand this part →

vv

Symbol v

v is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.

Understand this part →

e[X,Y]e^{[X,Y]}

Symbol e^[X,Y]

e^[X,Y] is one factor in the product that computes the quantity on the left.

Understand this part →

ii

Symbol i

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

Understand this part →

mm

Symbol m

the mass.

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 →

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 →
imim

Numerator: im

The complete quantity above the fraction bar.

Understand this part →

ℏ\hbar

Denominator: hbar

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

Because [X,Y] is itself proportional to the identity, it commutes with both X and Y , so every higher term in the Baker–Campbell–Hausdorff expansion of eXe^XeYe^Ye−Xe^{-X}e−Ye^{-Y} vanishes identically, at all orders, with no small-loop approximation required: T(b) G(v) T(−b) G(−v)=e[X,Y]=exp⁡ ⁣(imℏ b⋅v)1T(\mathbf b)\,G(\mathbf v)\,T(-\mathbf b)\,G(-\mathbf v)=e^{[X,Y]}=\exp\!\left(\frac{im}{\hbar}\,\mathbf b\cdot\mathbf v\right)\mathbb 1. The structure is the same one that makes an Aharonov–Bohm phase or a Berry-phase holonomy nonzero: a closed path in a classical parameter space picks up a phase set by a curvature that lives on that space, even though nothing classical distinguishes the endpoint from the start. Here the “curvature” is the commutator [KiK_i,PjP_j] itself, and the “charge” that couples to it is mass. The analogy is a guide to intuition, not a…
Read the full surrounding passage
Because [X,Y] is itself proportional to the identity, it commutes with both X and Y , so every higher term in the Baker–Campbell–Hausdorff expansion of eXe^XeYe^Ye−Xe^{-X}e−Ye^{-Y} vanishes identically, at all orders, with no small-loop approximation required: T(b) G(v) T(−b) G(−v)=e[X,Y]=exp⁡ ⁣(imℏ b⋅v)1T(\mathbf b)\,G(\mathbf v)\,T(-\mathbf b)\,G(-\mathbf v)=e^{[X,Y]}=\exp\!\left(\frac{im}{\hbar}\,\mathbf b\cdot\mathbf v\right)\mathbb 1. The structure is the same one that makes an Aharonov–Bohm phase or a Berry-phase holonomy nonzero: a closed path in a classical parameter space picks up a phase set by a curvature that lives on that space, even though nothing classical distinguishes the endpoint from the start. Here the “curvature” is the commutator [KiK_i,PjP_j] itself, and the “charge” that couples to it is mass. The analogy is a guide to intuition, not a claim of identity — there is no background field on the group manifold in the electromagnetic sense, only the algebra’s own structure constants — but it explains why the effect survives however the loop’s interior path is traced, so long as the net translation and net boost at the end match: like a Wilson loop, the phase depends on the loop’s declared endpoints in group-parameter space, not on the particular way the apparatus was walked between them.

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 →