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.