Equation 31 · 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 D_Lambda
ambda is part of the quantity the equation computes from the expression on the right.
=
The expressions on both sides represent the same quantity under the stated assumptions.
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
is a real number in units of energy for every fine state : how much the coarse description, evaluated through pulled back along , disagrees with the fine description’s own , for that specific state. Because expectation values determine a Hermitian operator uniquely — two Hermitian operators with the same trace against every density matrix are the same operator — the strongest statement follows at once: = 0 for every fine state if and only if = 0 as an operator identity, that is, if and only if = exactly. Energy is preserved for every possible input under that one algebraic condition, never as a statistical…
Read the full surrounding passage
is a real number in units of energy for every fine state : how much the coarse description, evaluated through pulled back along , disagrees with the fine description’s own , for that specific state. Because expectation values determine a Hermitian operator uniquely — two Hermitian operators with the same trace against every density matrix are the same operator — the strongest statement follows at once: = 0 for every fine state if and only if = 0 as an operator identity, that is, if and only if = exactly. Energy is preserved for every possible input under that one algebraic condition, never as a statistical tendency and never approximately.
Sources cited in the article section
These citations give research context. Read each source to check which claims it supports.
Return to The Entry a Relabeling Cannot Write