Equation 29 · 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 Δ E_Lambda
Δ ambda is part of the quantity the equation computes from the expression on the right.
Symbol ρ
ρ is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.
=
The expressions on both sides represent the same quantity under the stated assumptions.
See an illustrated explanation →change
Capital delta attached to a quantity marks a difference between two values of that quantity; the article’s sign convention determines the order.
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