Equation 127 · The Atlas That Refuses to Close
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 mathematical expression combines the displayed quantities; its precise role follows from the surrounding article text. 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 rho_M
rh is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
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.
How to interpret it
Read this expression with the definitions, units, and assumptions supplied by the article.
What the article says around this equation
The fourth and fifth charts, the postselected weak value and the detector-tied POVM, are not extensions of that same sub-atlas; they are a different kind of object answering a different kind of question, and the honest finding here is that the atlas does not close around them. Hegerfeldt’s theorem and its axiomatic restatement by Perez and Wilde forbid gluing a sharp, causally propagating position operator onto the free-particle dynamics any of these charts assumes; the Reeh–Schlieder theorem forbids it again, more severely, at the level of the field algebra itself. The POVM chart exists because the sharp charts cannot be pushed past that limit, not because someone chose it for convenience,…
Read the full surrounding passage
The fourth and fifth charts, the postselected weak value and the detector-tied POVM, are not extensions of that same sub-atlas; they are a different kind of object answering a different kind of question, and the honest finding here is that the atlas does not close around them. Hegerfeldt’s theorem and its axiomatic restatement by Perez and Wilde forbid gluing a sharp, causally propagating position operator onto the free-particle dynamics any of these charts assumes; the Reeh–Schlieder theorem forbids it again, more severely, at the level of the field algebra itself. The POVM chart exists because the sharp charts cannot be pushed past that limit, not because someone chose it for convenience, and for a photon, a helicity-one representation with no Newton–Wigner operator to begin with, it is not a fallback option but the only chart on offer. The weak value, meanwhile, is permitted to leave the disk entirely, without contradiction, precisely because it was never built from the protocol that disk was derived for.
For background, read the article’s source list.