← Atlas

Operators · Stabilizer / error-syndrome measurement

Joint parity operator measurement

The joint parity operator Z^{⊗n} and its standard non-destructive ancilla-based measurement circuit, the core primitive behind stabilizer syndrome extraction.

Exact & formalUpdated

View frozen graph

q[0]q[1]q[2]q[3]ancillaStep 1 of 5 · CX · on q[0], ancillaCXStep 2 of 5 · CX · on q[1], ancillaCXStep 3 of 5 · CX · on q[2], ancillaCXStep 4 of 5 · CX · on q[3], ancillaCXStep 5 of 5 · Measure(Z) · on ancillaMeasure(Z)

5 steps across 5 wires. Hover a step, or press play to go through them in order.

Expected outcomes

  • Parity even (+1)50%
  • Parity odd (-1)50%
  • Steps5
  • Wires5
  • Data qubits4
  • Ancilla1
  • Depth4 CNOT + 1 measurement
  • Papers1

The joint parity operator on nn qubits is

P=Z1Z2⋯Zn.P = Z_1 Z_2 \cdots Z_n.

Spectrum. Since each ZiZ_i has eigenvalues ±1\pm1, PP has eigenvalue (−1)∣x∣(-1)^{|x|} on basis state ∣x⟩|x\rangle, where ∣x∣|x| is the Hamming weight of the bit string xx: +1+1 on even-weight strings, −1-1 on odd-weight strings. P2=IP^2 = I since Zi2=IZ_i^2=I for every factor, so PP is both Hermitian and unitary — a valid observable with only two possible measurement outcomes.

Non-destructive measurement circuit. To measure ⟨P⟩\langle P\rangle without destroying superpositions within a fixed-parity eigenspace (essential for stabilizer codes, where you want to detect an error without collapsing the encoded logical information), introduce one ancilla in ∣0⟩|0\rangle and apply CNOTi→ancilla\mathrm{CNOT}_{i\to\text{ancilla}} for every data qubit ii. Since CNOT targeting the ancilla implements ∣x⟩data∣0⟩anc↦∣x⟩data∣⊕ixi⟩anc|x\rangle_{\text{data}}|0\rangle_{\text{anc}} \mapsto |x\rangle_{\text{data}}|{\oplus_i x_i}\rangle_{\text{anc}}, measuring the ancilla in the ZZ basis returns the parity bit ⊕ixi\oplus_i x_i (equivalently, ⟨P⟩=1−2⟨ancilla⟩\langle P\rangle = 1-2\langle \text{ancilla}\rangle) while leaving the data register's relative phases and any coherence within a parity sector completely undisturbed — only the parity value is extracted, exactly the property a syndrome measurement needs.

Where this shows up. GHZ-state and cluster-state verification protocols measure exactly this operator (or products of it, e.g. the stabilizer generators KiK_i of the graph states elsewhere in this catalog are all built from parity-type XX-and-ZZ-string measurements) to certify entanglement without full state tomography. In stabilizer error correction, syndrome bits are joint-parity measurements of ZZ- or XX-type check operators, and the non-destructive ancilla trick above is the literal circuit used to extract each syndrome bit without collapsing the encoded logical qubit.

References

Exact & formal
  • Direct mathematics
  • Verified by construction
  • Textbook / standard citation
Method
P = Z^{⊗n} was checked to square to identity and to have eigenvalues +1 on even-weight basis strings, -1 on odd-weight strings, by direct evaluation on all 16 basis strings of a 4-qubit register. The non-destructive ancilla-CNOT-ladder measurement circuit was checked to leave each data-qubit basis state unchanged while depositing the correct parity bit onto the ancilla for all 16 inputs.
Result
Pass · P² = I and eigenvalues match even/odd Hamming weight exactly on all 16 basis strings; the ancilla circuit reproduces the same parity value non-destructively for every tested computational-basis input.
Quantum Computation and Quantum Information: 10th Anniversary Edition ↗
Kind
curated reference
Reviewed by
Leona Quantum curation pass
License
CC BY 4.0-compatible reference metadata
paritystabilizer measurementsyndrome extractionnon-destructive measurement

Atlas stars stay in the public catalog. Saving this entry to your workspace starts an unstarred private copy.