Holevo–Helstrom theorem

For hypotheses ${\rho }_0,{\rho }_1$ with priors $p,1-p$, the optimal success probability isAn optimal measurement projects onto the positive and negative spectral subspaces of the weighted difference.