← All parts of this equation

Equation 61 · Part 8 · The Entry a Relabeling Cannot Write

=

DΛ=Hf−HS⊗IB=IS⊗HB+HSB,D_\Lambda = H_f - H_S \otimes I_B = I_S \otimes H_B + H_{SB},
=

What this part means

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

Its job in the formula

The equals sign connects the complete expression on the left with the complete expression on the right. Both sides must have compatible units.

The passage around this formula

Return to the genuine coarse-graining set aside earlier: Λ(ρ)\Lambda(\rho) = TrB\mathrm{Tr}_B[ρ\rho] , Hc\mathcal H_c = HS\mathcal H_S , HcH_c = HSH_S . The dual embeds a system observable back into the full space without touching the bath, Λ†(HS)\Lambda^\dagger(H_S) = HSH_S ⊗\otimes IBI_B , so DΛ=Hf−HS⊗IB=IS⊗HB+HSBD_\Lambda = H_f - H_S \otimes I_B = I_S \otimes H_B + H_{SB}. an exact operator identity, not an approximation valid in some limit: the ledger for a system-only description of a system-plus-bath is precisely the bath’s own energy plus the coupling energy between the two, nothing more and nothing less. Δ\Delta EΛ(ρ)E_\Lambda(\rho) = Tr\mathrm{Tr}[ρ(IS⊗HB+HSB)\rho(I_S \otimes H_B + H_{SB})] for any joint state ρ\rho .

Read this part in the article →

Learn the underlying idea

An equals sign says that the expression on its left and the expression on its right have the same value under the stated definitions and assumptions.

Open the illustrated equality: what the equals sign claims guide →

Sources cited in the article section

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