Past exam of the mathematics course of the University of Cambridge / 2021 / iii / Paper 323 / 5 / a / ii

Introduce a quantum ancilla with basis $|i⟩$ and defineThe completeness relation gives $V^{†}V=I$, so $V$ 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 $\{I\otimes |i⟩⟨i|\}$. Outcome $i$ has probability $\Vert M_i|\psi ⟩{\Vert }^2$ and leaves the system in the normalized state $M_i|\psi ⟩$. By linearity the same holds for mixed states, implementing the generalized measurement.