Equation 52 · The Entry a Relabeling Cannot Write
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 H_c
is part of the quantity the equation computes from the expression on the right.
Symbol H_f
is an input to the expression that computes the quantity on the left.
=
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.
How to interpret it
Read it with the definitions, units, and assumptions supplied by the article.
What the article says around this equation
Passive relabeling is one degenerate case; the other is simpler still. Let be the identity channel, = , = : no relabeling, no discarding, the coarse description simply is the fine one. Then trivially = 0 . Nothing in the paragraphs above required that; it follows on inspection. But the triviality is the point, because this is the operator-language shadow of the oldest and most secure fact the subject has. A system evolving under its own Hamiltonian, with nothing coarse-grained away and nothing relabeled, conserves that Hamiltonian’s own expectation value exactly, because the Hamiltonian generates its own time evolution and commutes with…
Read the full surrounding passage
Passive relabeling is one degenerate case; the other is simpler still. Let be the identity channel, = , = : no relabeling, no discarding, the coarse description simply is the fine one. Then trivially = 0 . Nothing in the paragraphs above required that; it follows on inspection. But the triviality is the point, because this is the operator-language shadow of the oldest and most secure fact the subject has. A system evolving under its own Hamiltonian, with nothing coarse-grained away and nothing relabeled, conserves that Hamiltonian’s own expectation value exactly, because the Hamiltonian generates its own time evolution and commutes with itself. Emmy Noether’s 1918 theorem is the general statement standing behind that fact: whenever an action is invariant under a continuous symmetry — time translation among them — a corresponding quantity is conserved along the resulting dynamics, energy for time translation, momentum for spatial translation [ 2 ] . The ledger built here does not derive that theorem, extend it, or need to; it assumes it, at this one degenerate limit, as the floor every other case in this article is measured against.
Sources cited in the surrounding passage
These citations give research context. Read each source to check which claims it supports.
Return to The Entry a Relabeling Cannot Write