By the Rayleigh-Ritz variational principle, is maximized by taking to project onto the positive-eigenvalue eigenspace of . Put . On , the characteristic polynomial of is
so its positive eigenvalue is
Part (b) then gives the Helstrom-Holevo bound
With equal priors, the probability of a correct result from this quantum measurement is
The two required amplitudes are
Therefore
Its maximum occurs at and is
Here , so and . The stated Helstrom-Holevo bound is consequently exactly the same value, and the basis above is the Helstrom measurement for the zero and plus states.
The no-cloning theorem for two pure states states that, for distinct nonorthogonal states and , there is no unitary operator and fixed blank state such that
To derive this from state discrimination, let
and suppose such a cloner existed. Applying it repeatedly would produce copies. The inner product of the two possible -copy states has magnitude , so their optimal success probability under the Helstrom-Holevo bound would be
Already for ,
because implies . But cloning followed by the two-copy Helstrom measurement for two pure states would itself be a quantum procedure applied to the original single state, contradicting the optimal one-copy bound . Hence the assumed unitary cloner cannot exist.
Equivalently, clone-assisted asymptotic state discrimination would give , although two nonorthogonal states are not perfectly distinguishable. Thus the Helstrom--Holevo theorem implies the no-cloning theorem.
Apply the hypothetical quantum cloning device repeatedly to obtain copies of the unknown state. If , the two possibilities are
whose overlap has modulus . For equal prior probabilities, the Helstrom-Holevo bound gives optimal success probability
Thus, for any , sufficiently many clones permit success probability above . Orthogonal states already have and can be distinguished perfectly. This is clone-assisted asymptotic state discrimination.
Here distinct states means distinct rays. Vectors differing only by a global phase represent the same quantum state and cannot be distinguished.
The overlap is
The Helstrom-Holevo bound for two equiprobable pure states gives
The Breidbart basis is the eigenbasis of the difference of the two weighted state projectors, so its decision rule is precisely the Helstrom measurement and attains this bound.
The Helstrom-Holevo bound for equal priors is
Perfect cloning twice changes overlap to , so discrimination would succeed with , strictly exceeding for . For , , producing , a contradiction.