Helstrom measurement for the zero and plus states Created 2026-09-24 Updated 2026-10-14
Suppose one qubit is prepared in either of the known pure states and , with equal prior probabilities. Measuring in the computational basis seems natural, but a tilted projective measurement gives better quantum state discrimination. The two density operators and their difference are
The Pauli matrices give , and the eigenvalues of are . Their absolute sum gives trace distance , agreeing with trace distance between qubit states.
The positive spectral projector points along the unit Bloch vector :
The outcome labels and here refer to the sign of the eigenvalue of ; they do not denote a Hadamard basis measurement. Guess after and after . This sign choice is the equal-prior Helstrom measurement for two pure states, a case of the Holevo–Helstrom theorem. [ref]
An explicit orthonormal basis for this projective measurement is
with . Thus the real coefficient rotation angle is relative to the computational basis, while the Bloch vector of is tilted by from the positive axis toward negative . State-vector and Bloch sphere angles differ by a factor of two.
Write and , so . The Born rule gives the conditional outcome probabilities
The event has probability gap , attaining the variational characterization of trace distance. Both preparations are identified correctly with conditional probability , so
For comparison, a projective measurement in the computational basis has conditional outcome probabilities on and on . Guess zero on outcome zero and plus on outcome one. The average success is
and the measured total variation distance is only . The optimal tilted projective measurement gains about in absolute success probability by balancing the two conditional error rates instead of identifying perfectly at the expense of .
Figure 1.
Conditional outcome probabilities and equal-prior success for Z and optimal Helstrom measurements of zero versus plus
. Details.
These are statistics for alternative measurements on independently prepared copies. Applying first and then the tilted projective measurement is a different experiment, because the first measurement in quantum mechanics changes the density operator.
Yes, access to the original qubits can supply information about the secret encoding basis once the bit is known. For bit zero the possibilities are and , whose overlap is ; for bit one they are and with the same overlap magnitude. A Helstrom measurement for two pure states can identify which candidate was supplied more reliably than a blind basis guess. Measuring and preparing a state based on that evidence can improve an additional counterfeit, although the discrimination is not perfect and the measurement can disturb the original.
The no-cloning theorem rules out a deterministic perfect extra copy of both nonorthogonal candidates; it does not imply that access gives no advantage. The task of producing an additional accepted note should also be distinguished from simply returning the unaltered original, which already passes Alice's test. Requiring both the original and the extra note to survive imposes a further information-disturbance tradeoff.
Continue with equal prior probabilities as in part (c). The two Bloch vectors are
Their density-matrix difference is . If a binary measurement effect declares the first state, its success is
Diagonalize . Because , the trace is maximized by taking to be its positive-eigenvalue projector. Thus perform a Pauli measurement of , equivalently measure in . If , identify the first state on the positive outcome and the second on the negative; reverse the labels if . The optimum is
For the states coincide, so the best probability is . This explicit positive-eigenspace optimization proves the Helstrom measurement for two pure states result in the present case, rather than only quoting its name.
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.