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

Use one shared $|{\Phi }^{+}⟩$ pair to measure $Z_A{Z}_B$, and the other to measure $X_A{X}_B$. The latter entanglement-assisted nondemolition parity measurement is obtained by applying Hadamard gates to both system qubits before and after the $Z$-parity circuit. Since $ZX=-XZ$ at each site, the two minus signs cancel, giving $[Z_A{Z}_B,X_A{X}_B]=0$.

The Bell states have joint eigenvaluesand are therefore distinguished uniquely by the two meter parities. For records $(u,v)$ and $(r,s)$, the combined Kraus operator isEach $P_{z,x}$ is the rank-one projector onto the corresponding Bell state. This is a Bell-state nondemolition measurement: an input Bell state remains exactly that state for every possible local record. The local circuits can be scheduled without communication; the identity of the Bell state is known only when the classical records are brought together. Two parity bits distinguish all four Bell states without disturbing them.