← Back to article

Equation 61 · The Entry a Relabeling Cannot Write

What does this equation mean?

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

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 operationsH_f - H_S otimes I_B = I_S otimes H_B + H_SB
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 →

HfH_f

Symbol H_f

HfH_f is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

HSH_S

Symbol H_S

HSH_S is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

IBI_B

Symbol I_B

IBI_B is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

ISI_S

Symbol I_S

ISI_S is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

HBH_B

Symbol H_B

HBH_B is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

HSBH_{SB}

Symbol H_SB

HSH_SB is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

=

=

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

Understand this part →

See an illustrated explanation →
addition

addition

Add the term after the plus sign to the term or group before it.

Understand this part →

subtraction

subtraction

Subtract the following term or group from the preceding one. A leading minus marks a negative quantity.

Understand this part →

subscript

subscript

The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.

Understand this part →

How to interpret it

Read it with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

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 the equation in its article →

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

See this formula across 1 published context →

Browse the mathematical compendium →