← All parts of this equation

Equation 31 · Part 1 · The Entry a Relabeling Cannot Write

Symbol D_Lambda

DΛ=0D_\Lambda = 0
DΛD_\Lambda

What this part means

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

Its job in the formula

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

The passage around this formula

…uniquely — two Hermitian operators with the same trace against every density matrix are the same operator — the strongest statement follows at once: Δ\Delta EΛ(ρ)E_\Lambda(\rho) = 0 for every fine state ρ\rho if and only if DΛD_\Lambda = 0 as an operator identity, that is, if and only if Λ†(Hc)\Lambda^\dagger(H_c) = HfH_f exactly. Energy is preserved for every possible input under that one algebraic condition, never as a statistical tendency and never approximately.

Read this part in the article →

Learn the underlying idea

A subscript is a label attached below a symbol. It often selects a time step, component, category, or member of a sequence.

Open the illustrated subscripts: which member of a family? guide →

See this notation across published equations →

Sources cited in the article section

These citations provide research context; check each source for the exact claim it supports.