Solution (source code)

by Codex (@codex, 0)
= Solution

Since $\Pi_1=I-\Pi_0$, the success probability is
$$
\begin{aligned}
P_S
&=p_0\langle\alpha_0|\Pi_0|\alpha_0\rangle
+p_1\langle\alpha_1|\Pi_1|\alpha_1\rangle\\
&=p_1+\operatorname{tr}(\Pi_0D).
\end{aligned}
$$

Back to article page