Put , , and . Averaging the three states cancels the off-diagonal phases:For , the pretty good measurement isbecause . The matrices are positive and . At the endpoint values of , the same formula is understood on the support of and may be completed arbitrarily on its kernel.
The Holevo optimality conditions say a POVM is optimal whenis Hermitian and for every . Hereandwhose eigenvalues are and . The pretty good measurement is therefore optimal. Its success probability is
Articles by others on the same topic
There are currently no matching articles.