← Back to article

Equation 37 · The Bit Comes Back Before the Bearing

What does this equation mean?

Var⁡g^  ≥  1FQ[ρrad(g)],tG(δ)  =  min⁡{ t:Var⁡g^∣R∪Ct≤δ2 }.\operatorname{Var}\hat g \;\ge\; \frac{1}{F_Q\big[\rho_{\mathrm{rad}}(g)\big]}, \qquad t_G(\delta) \;=\; \min\Big\{\,t : \operatorname{Var}\hat g\big|_{R\cup C_t} \le \delta^2\,\Big\}.

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 operationsminBigt : Varhat gbig|_Rcup C_t ≤ delta^2Big
Result or conditionVarhat g ≥ frac1F_Qbig[rho_rad(g)big], qquad t_G(delta)
How to read the two sides of this formula. Follow the article passage for the meaning of each quantity.

This equation states a bound: one expression must stay on the indicated side of the other 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

g^\hat g

Symbol hat g

hat g is the quantity selected or evaluated by the optimization written on the right.

Understand this part →

FQF_Q

Symbol F_Q

FQF_Q occurs below the fraction bar. The quantity above the bar is divided by this expression; zero is excluded as a denominator.

Understand this part →

ρrad\rho_{\mathrm{rad}}

Symbol rho_rad

rhoro_rad occurs below the fraction bar. The quantity above the bar is divided by this expression; zero is excluded as a denominator.

Understand this part →

gg

Symbol g

g occurs below the fraction bar. The quantity above the bar is divided by this expression; zero is excluded as a denominator.

Understand this part →

tGt_G

Symbol t_G

tGt_G is the quantity selected or evaluated by the optimization written on the right.

Understand this part →

δ\delta

Symbol delta

the alignment tolerance the observer has decided to demand, also in radians, and tG(δ)t_G(\delta) has units of time [ 12 ].

Understand this part →

tt

Symbol t

t occurs below the fraction bar. The quantity above the bar is divided by this expression; zero is excluded as a denominator.

Understand this part →

RR

Symbol R

R appears in the objective or constraint used by the optimization on the right.

Understand this part →

CtC_t

Symbol C_t

CtC_t appears in the objective or constraint used by the optimization on the right.

Understand this part →

δ2\delta^2

Symbol delta^2

the square of delta; the alignment tolerance the observer has decided to demand, also in radians, and tG(δ)t_G(\delta) has units of time [ 12 ].

Understand this part →

=

=

The expressions on both sides represent the same quantity under the stated assumptions.

Understand this part →

See an illustrated explanation →
fraction

fraction

Divide the expression above the line by the one below it.

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 →

superscript

superscript

A raised number can be a power. When it is a label or bound, it selects a case or the upper limit of a sum; the formula’s structure distinguishes these uses.

Understand this part →

See an illustrated explanation →
11

Numerator: 1

The complete quantity above the fraction bar.

Understand this part →

FQ[ρrad(g)]F_Q\big[\rho_{\mathrm{rad}}(g)\big]

Denominator: F_Qbig[rho_rad(g)big]

The complete quantity below the fraction bar; it must be nonzero for this division.

Understand this part →

How to interpret it

With a fixed numerator, increasing a nonzero denominator reduces the fraction. Read it with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

For the compass, returned has to mean something else, because g is a continuous parameter and no channel can reproduce an unknown continuous value exactly. The honest promise is metrological: the same agent, using the same R∪\cup CtC_t , applies the best available measurement and estimator g^\hat g , and the achievable mean-squared error is bounded below by the quantum Cramér-Rao bound, Var⁡g^  ≥  1FQ[ρrad(g)],tG(δ)  =  min⁡{ t:Var⁡g^∣R∪Ct≤δ2 }\operatorname{Var}\hat g \;\ge\; \frac{1}{F_Q\big[\rho_{\mathrm{rad}}(g)\big]}, \qquad t_G(\delta) \;=\; \min\Big\{\,t : \operatorname{Var}\hat g\big|_{R\cup C_t} \le \delta^2\,\Big\}. FQF_Q is the quantum Fisher information of the radiation’s reduced state with respect to g ; it carries units of g−2g^{-2} , i.e. inverse radians squared, and since g is already dimensionless, FQF_Q is a pure number. δ\delta is the alignment tolerance the observer has decided to demand, also in…
Read the full surrounding passage
For the compass, returned has to mean something else, because g is a continuous parameter and no channel can reproduce an unknown continuous value exactly. The honest promise is metrological: the same agent, using the same R∪\cup CtC_t , applies the best available measurement and estimator g^\hat g , and the achievable mean-squared error is bounded below by the quantum Cramér-Rao bound, Var⁡g^  ≥  1FQ[ρrad(g)],tG(δ)  =  min⁡{ t:Var⁡g^∣R∪Ct≤δ2 }\operatorname{Var}\hat g \;\ge\; \frac{1}{F_Q\big[\rho_{\mathrm{rad}}(g)\big]}, \qquad t_G(\delta) \;=\; \min\Big\{\,t : \operatorname{Var}\hat g\big|_{R\cup C_t} \le \delta^2\,\Big\}. FQF_Q is the quantum Fisher information of the radiation’s reduced state with respect to g ; it carries units of g−2g^{-2} , i.e. inverse radians squared, and since g is already dimensionless, FQF_Q is a pure number. δ\delta is the alignment tolerance the observer has decided to demand, also in radians, and tG(δ)t_G(\delta) has units of time [ 12 ] . This bound is achievable asymptotically by the symmetric logarithmic derivative measurement; nothing here claims it is achieved by any specific realizable circuit, only that it is the correct floor no circuit can beat.

Read the equation in its article →

Sources cited in the surrounding passage

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 →