Equation 60 · Part 2 · The Entry a Relabeling Cannot Write

Symbol H_S

\Lambda^\dagger(H_S) = H_S \otimes I_B

H_S

What this part means

$H_S$ is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.

Its job in the formula

$H_S$ is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.

Full expressionSymbol H_SArticle meaning

The passage around this formula

Return to the genuine coarse-graining set aside earlier: $\Lambda(\rho)$ = $\mathrm{Tr}_B$ [ $\rho$ ] , $\mathcal H_c$ = $\mathcal H_S$ , $H_c$ = $H_S$ . The dual embeds a system observable back into the full space without touching the bath, $\Lambda^\dagger(H_S)$ = $H_S$ $\otimes$ $I_B$ , so

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

[13] Quantum Thermodynamics ↗

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