← All parts of this equation

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

Symbol d

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

What this part means

d appears in the bound of this integral. The bound states where the repeated operation starts, ends, or which values it includes.

Its job in the formula

d appears in the bound of this integral. The bound states where the repeated operation starts, ends, or which values it includes.

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

A function assigns an output to each allowed input. The expression f(x) means “apply f to x”.

Open the illustrated functions: inputs become outputs 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.