Past exam of the computer science course of the University of Oxford / 2022 / Quantum information / 1 / c / i / Solution

If Alice's basic measurement returns a normalized vector $|u{⟩}_A$, form Bob's unnormalized conditional vectorThe Born rule and normalization giveThe joint post-measurement state is $|u{⟩}_A\otimes |{\chi }_u{⟩}_B$. For $|u{⟩}_A=\alpha |0{⟩}_A+\beta |1{⟩}_A$ with real coefficients and ${\alpha }^2+{\beta }^2=1$, contraction of the Bell state givesThus Bob's normalized conditional state is $\alpha |0{⟩}_B+\beta |1{⟩}_B$. For complex coefficients the contraction instead contains their complex conjugates; this is the same conjugation underlying conjugate-basis steering of a Bell pair.