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

Symbol F

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

F

What this part means

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

Its job in the formula

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

Full expressionSymbol FArticle meaning

The passage around this formula

For a Haar-uniform prior, define the fragment success probability $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.