Equation 50 · 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.
elementary. 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
How to interpret it
Read this expression 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.