For the binary <POVM> $\{E,I-E\}$ and equal priors,
$$
p_{\rm succ}
=\frac12\operatorname{Tr}(E\rho_1)
+\frac12\operatorname{Tr}[(I-E)\rho_2]
=\frac12\left[1+\operatorname{Tr}E(\rho_1-\rho_2)\right].
$$
Maximizing with the <variational characterization of trace distance> gives the equal-prior <Holevo–Helstrom theorem>
$$
\boxed{p_{\rm succ}^{\max}
=\frac12[1+D(\rho_1,\rho_2)]}.
$$

Solution

Past exam of the mathematics course of the University of Cambridge / 2021 / iii / Paper 323 / 4 / b / i / Solution

 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-323/4/b/i/solution