← Back to article

Equation 53 · The Entry a Relabeling Cannot Write

What does this equation mean?

DΛ=0D_\Lambda = 0

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.

Inputs and operations0
Result or conditionD_Lambda
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

DΛD_\Lambda

Symbol D_Lambda

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

Understand this part →

=

=

The expressions on both sides represent the same quantity under the stated assumptions.

Understand this part →

See an illustrated explanation →

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 Λ\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

See this formula across 2 published contexts →

Browse the mathematical compendium →