Holevo–Helstrom theorem (source code)

= Holevo–Helstrom theorem
{c}
{wiki=Helstrom_measurement}

For hypotheses $\rho_0,\rho_1$ with priors $p,1-p$, the optimal success probability is
$$
P_{\rm succ}^*=\frac12\left(1+\|p\rho_0-(1-p)\rho_1\|_1\right).
$$
An optimal measurement projects onto the positive and negative spectral subspaces of the weighted difference.