← All parts of this equation

Equation 27 · Part 7 · A Reference Frame Becomes Classical by Publishing Its Orientation

Symbol rho_E

ρF(g)=Tr⁡RFˉ ⁣[U(ρR(g)⊗ρE)].\rho_F(g)=\operatorname{Tr}_{R\bar F} \!\left[\mathcal U\bigl(\rho_R(g)\otimes\rho_E\bigr)\right].
ρE\rho_E

What this part means

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

Its job in the formula

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

The passage around this formula

Let the rotor interact with an environment E=E1E_1⊗\otimes⋯\cdots⊗\otimes ENE_N through a channel U\mathcal U . For a candidate fragment F , the conditional fragment state is ρF(g)=Tr⁡RFˉ ⁣[U(ρR(g)⊗ρE)]\rho_F(g)=\operatorname{Tr}_{R\bar F} \!\left[\mathcal U\bigl(\rho_R(g)\otimes\rho_E\bigr)\right]. This equation defines what the observer receives. Fˉ\bar F is everything except fragment F , including the remaining environment; U(ρ)\mathcal U(\rho)=Uρ\rho U†U^\dagger in a closed unitary model. The trace is not an assertion that the discarded systems cease to exist. It says the fragment observer has no access to them.

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.