← Back to article

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

What does this equation mean?

ρ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].

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 operationsTr_Rbar F [mathcal Ubigl(rho_R(g)otimesrho_Ebigr)]
Result or conditionrho_F(g)
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

ρF\rho_F

Symbol rho_F

the same for every g , no measurement on F can reveal orientation.

Understand this part →

gg

Symbol g

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

Understand this part →

RR

Symbol R

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

Understand this part →

Fˉ\bar F

Symbol bar F

everything except fragment F , including the remaining environment.

Understand this part →

UU

Symbol U

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

Understand this part →

ρR\rho_R

Symbol rho_R

the chosen fiducial state.

Understand this part →

ρE\rho_E

Symbol rho_E

rhoEo_E 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

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 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 A Reference Frame Becomes Classical by Publishing Its Orientation

See this formula across 1 published context →

Browse the mathematical compendium →