Past exam of the mathematics course of the University of Cambridge / 2012 / iii / Paper 66 / 1 / b

Use the nonnegative representative of reduction modulo four. The four product eigenstates and eigenvalues arebecause $-2\equiv 2(\mathrm{mod}4)$. Consequently the observable is $I+Z_A{Z}_B$. It has the even sector $\mathrm{span}\{|00⟩,|11⟩\}$ with value two and the odd sector $\mathrm{span}\{|01⟩,|10⟩\}$ with value zero.

The entanglement-assisted nondemolition parity measurement needs just the single shared $|{\Phi }^{+}⟩$ provided in the question. Apply ${\mathrm{CNOT}}_{A\to d_1}$ and ${\mathrm{CNOT}}_{B\to d_2}$. For a computational-basis input $|ab⟩$, the meter becomesMeasuring the meters gives $u\oplus v=a\oplus b$. For an arbitrary coherent system input, its conditional Kraus operator isIt preserves every superposition within the measured sector, so this realizes the Lüders rule for the two degenerate eigenvalues. The answer is two for equal meter bits, zero for unequal meter bits. Each individual meter bit is uniform; only later comparison reveals the parity, respecting quantum no-signalling. This construction is independent of the defective one-pair singlet-verification request in part (a).