Quantum nondemolition measurement

An ideal measurement preserving the measured eigenspaces. In the projective setting, the selective instrument $\rho \mapsto P_j\rho P_j$ preserves every vector within outcome $j$, including coherence inside a degenerate eigenspace. Repeated measurements agree in the absence of intervening dynamics changing the measured quantity. Measuring a finer observable can destroy degeneracy coherence and need not realize the same Lüders rule instrument.

Choose a shared random axis uniformly from $x,y,z$, perform its entanglement-assisted nondemolition parity measurement with one Bell pair, and accept the anticorrelated parity. The spin singlet state always passes unchanged. The averaged acceptance operator is $\Omega ={\sum }_j(I-{\sigma }_j\otimes {\sigma }_j)/6=P_s+(I-P_s)/3$, so an orthogonal triplet state passes with probability one third. This is a statistical verifier with a nonzero acceptance gap, rather than an exact single-shot singlet-versus-triplet decision. The Bell-pair cost of exact nondemolition singlet verification concerns the stronger zero-error task.

Exact singlet verification accepts the spin singlet state with certainty, rejects every orthogonal state, and preserves the singlet on acceptance. Each nonzero accepting Kraus operator is then a scalar multiple of the singlet projector, whose operator Schmidt rank is four. The local Kraus rank bound from an entangled resource excludes a single shared Bell pair, which has Schmidt rank two. Two shared Bell pairs suffice by a Bell-state nondemolition measurement followed by reporting whether its label is the singlet. This protocol may disturb triplet coherence. The rank bound concerns the resource Schmidt rank, and is not an entropy lower bound of two bits for arbitrary resource states.

Share a Bell state meter pair, apply local system-to-meter CNOT gates, and measure each meter in the computational basis. The parity of the local meter records measures system $Z_A{Z}_B$ while preserving all coherence within either parity sector. The complete tuple of local records has Kraus operator $P_{u\oplus v}/\sqrt{2}$. Each local record is uniform, and the nonlocal result requires local operations and classical communication to compare records. A local Hadamard gate conjugation supplies the corresponding $X_A{X}_B$ measurement.