Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-323/5/a/ii/solution

Introduce a quantum ancilla with basis and define
The completeness relation gives , so is an isometry and extends to a unitary operator on a sufficiently large system-plus-ancilla space. Prepare the ancilla in a fixed state, apply that unitary, and perform the projective measurement . Outcome has probability and leaves the system in the normalized state . By linearity the same holds for mixed states, implementing the generalized measurement.

New to topics? Read the docs here!