← Back to article

Equation 65 · The Entry a Relabeling Cannot Write

What does this equation mean?

ρ=ρS⊗∣b⟩⟨b∣\rho = \rho_S \otimes |b\rangle\langle b|

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 operationsrho_S otimes |branglelangle b|
Result or conditionρ
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

ρ\rho

Symbol ρ

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

Understand this part →

ρS\rho_S

Symbol rho_S

rhoSo_S is an input to the expression that computes the quantity on the left.

Understand this part →

bb

Symbol b

b is an input to the expression that computes 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 →
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

Two limits inside this one formula answer different questions about how confidently the ledger can be interpreted. First, an uncorrelated, non-interacting bath: set HSBH_{SB} = 0 and let ρ\rho = ρS\rho_S ⊗\otimes |b⟩\rangle⟨\langle b| for any system state ρS\rho_S and any bath eigenstate |b⟩\rangle with HBH_B|b⟩\rangle = EbE_b|b⟩\rangle . Then Δ\Delta EΛ(ρ)E_\Lambda(\rho) = EbE_b for every choice of ρS\rho_S whatsoever — a pure constant, entirely independent of what the system is doing, unambiguously assignable to a named, located pile of energy sitting in a part of the world the coarse description agreed in advance not to look at. Nothing is missing in any troubling sense here; the coarse observer is simply declining…
Read the full surrounding passage
Two limits inside this one formula answer different questions about how confidently the ledger can be interpreted. First, an uncorrelated, non-interacting bath: set HSBH_{SB} = 0 and let ρ\rho = ρS\rho_S ⊗\otimes |b⟩\rangle⟨\langle b| for any system state ρS\rho_S and any bath eigenstate |b⟩\rangle with HBH_B|b⟩\rangle = EbE_b|b⟩\rangle . Then Δ\Delta EΛ(ρ)E_\Lambda(\rho) = EbE_b for every choice of ρS\rho_S whatsoever — a pure constant, entirely independent of what the system is doing, unambiguously assignable to a named, located pile of energy sitting in a part of the world the coarse description agreed in advance not to look at. Nothing is missing in any troubling sense here; the coarse observer is simply declining to keep a receipt for energy that was never claimed to be theirs.

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 →