← All parts of this equation

Equation 42 · Part 10 · A Reference Frame Becomes Classical by Publishing Its Orientation

=

pϵ(F)=∫Gdg∫d(g^,g)≤ϵTr⁡ ⁣[ρF(g)MF(dg^)].p_{\epsilon}(F)= \int_G dg\int_{d(\hat g,g)\leq\epsilon} \operatorname{Tr}\!\left[\rho_F(g)M_F(d\hat g)\right].
=

What this part means

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

Its job in the formula

The equals sign connects the complete expression on the left with the complete expression on the right. Both sides must have compatible units.

The passage around this formula

For a Haar-uniform prior, define the fragment success probability pϵ(F)=∫Gdg∫d(g^,g)≤ϵTr⁡ ⁣[ρF(g)MF(dg^)]p_{\epsilon}(F)= \int_G dg\int_{d(\hat g,g)\leq\epsilon} \operatorname{Tr}\!\left[\rho_F(g)M_F(d\hat g)\right]. This is again a definition. The Haar measure dg is normalized to one. A frequentist worst-case version could replace the average over g with an infimum; the two must not be mixed after seeing results.

Read this part in the article →

Learn the underlying idea

An equals sign says that the expression on its left and the expression on its right have the same value under the stated definitions and assumptions.

Open the illustrated equality: what the equals sign claims guide →

Sources cited in the article section

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