← Back to article

Equation 50 · The Entry a Relabeling Cannot Write

What does this equation mean?

Λ\Lambda

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

Λ\Lambda

Symbol Lambda

elementary.

Understand this part →

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 Λ\Lambda be the identity channel, Hc\mathcal H_c = Hf\mathcal H_f , HcH_c = HfH_f : no relabeling, no discarding, the coarse description simply is the fine one. Then trivially DΛD_\Lambda = 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 Λ\Lambda be the identity channel, Hc\mathcal H_c = Hf\mathcal H_f , HcH_c = HfH_f : no relabeling, no discarding, the coarse description simply is the fine one. Then trivially DΛD_\Lambda = 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.

Read the equation in its article →

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

Browse the mathematical compendium →