← Back to article

Equation 51 · The Bit Comes Back Before the Bearing

What does this equation mean?

ρrad(g)=Urad(g) ρrad(0) Urad(g)†,\rho_{\mathrm{rad}}(g) = U_{\mathrm{rad}}(g)\,\rho_{\mathrm{rad}}(0)\,U_{\mathrm{rad}}(g)^\dagger,

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 operationsU_rad(g)rho_rad(0)U_rad(g)^dagger
Result or conditionrho_rad(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

ρrad\rho_{\mathrm{rad}}

Symbol rho_rad

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

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 →

UradU_{\mathrm{rad}}

Symbol U_rad

UrU_rad 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

The covariance equation from the previous section is the formal cost of that fact. Because V commutes with the group action, the radiation’s reduced state along the true heading is a rotated copy of the same state at heading zero, ρrad(g)=Urad(g) ρrad(0) Urad(g)†\rho_{\mathrm{rad}}(g) = U_{\mathrm{rad}}(g)\,\rho_{\mathrm{rad}}(0)\,U_{\mathrm{rad}}(g)^\dagger. which is a genuine constraint, not a simplifying choice: FQF_Q[ρrad(g)\rho_{\mathrm{rad}}(g)] is therefore identical at every point along this orbit, since the quantum Fisher information depends only on the local geometry of the state family under the generator, and a rotated copy of the same family has the same local geometry everywhere. tG(δ)t_G(\delta) does not depend on which heading is being estimated. That is the covariance check this construction owes…
Read the full surrounding passage
The covariance equation from the previous section is the formal cost of that fact. Because V commutes with the group action, the radiation’s reduced state along the true heading is a rotated copy of the same state at heading zero, ρrad(g)=Urad(g) ρrad(0) Urad(g)†\rho_{\mathrm{rad}}(g) = U_{\mathrm{rad}}(g)\,\rho_{\mathrm{rad}}(0)\,U_{\mathrm{rad}}(g)^\dagger. which is a genuine constraint, not a simplifying choice: FQF_Q[ρrad(g)\rho_{\mathrm{rad}}(g)] is therefore identical at every point along this orbit, since the quantum Fisher information depends only on the local geometry of the state family under the generator, and a rotated copy of the same family has the same local geometry everywhere. tG(δ)t_G(\delta) does not depend on which heading is being estimated. That is the covariance check this construction owes the reader, and it holds by the same argument that makes the Fisher information of a phase-estimation problem independent of the true phase in ordinary quantum metrology.

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 Bit Comes Back Before the Bearing

See this formula across 1 published context →

Browse the mathematical compendium →