Past exam of the computer science course of the University of Oxford / 2021 / Quantum information / 1 / b / i

No. Perfect discrimination of pure states requires orthogonality, whereasTo see the obstruction directly for a basic measurement, let $\{|b_j⟩\}$ be its orthonormal basis. Certain identification would require disjoint sets of possible outcome labels for two different preparations. For every $j$, at least one of $⟨b_j|{\varphi }_0⟩$ and $⟨b_j|{\varphi }_1⟩$ would therefore vanish. Completeness would then givecontradicting the computed overlap. Failure to distinguish just this pair already rules out certain identification of the three-state family.