The Nine-Qubit Shor Code (Theory)

Shor's nine-qubit code was the first demonstration that arbitrary single-qubit errors can be corrected. Its design idea is beautifully simple: concatenate the phase-flip and bit-flip repetition codes so that one protects against $Z$ and the other against $X$, and (because $Y = iXZ$) the combination handles everything.

The construction

Encode in two layers. First the phase-flip code maps a qubit to three:

Then each of those three qubits is itself protected by the bit-flip code, $|+\rangle = (|0\rangle+|1\rangle)/\sqrt2 \mapsto (|000\rangle+|111\rangle)/\sqrt2$ and $|-\rangle \mapsto (|000\rangle-|111\rangle)/\sqrt2$. The logical codewords on nine qubits are

This is a $[[9,1,3]]$ code: nine physical qubits, one logical qubit, distance three.

The stabilizer generators

There are $n - k = 9 - 1 = 8$ independent generators. Six are $Z$-type, checking bit parities within each block of three:

Two are $X$-type, checking phase parities between the three blocks:

All eight commute (each $Z$-pair overlaps each weight-six $X$-operator on an even number of qubits, so they commute), and together they fix the two-dimensional codespace.

How it catches every single-qubit error

Bit flips ($X_i$): anticommute with the $Z$-type generators inside their block, exactly like the ordinary repetition code — the $Z_jZ_k$ syndromes localise and correct the flip.

Phase flips ($Z_i$): a $Z$ on any qubit of a block flips the sign of that block's $(|000\rangle \pm |111\rangle)$ state, i.e. it acts as a phase flip on the block-level qubit. The two $X$-type generators compare the phase parity across blocks and pin down which block flipped.

$Y_i = iX_iZ_i$: detected and corrected by both mechanisms at once.

Degeneracy

The Shor code is degenerate: distinct phase errors can act identically on the codespace. For instance $Z_1$, $Z_2$, and $Z_3$ all flip the sign of the first block's $(|000\rangle+|111\rangle)$ factor in the same way, so $Z_1 Z_2$ is a stabilizer that acts trivially. The code corrects all weight-one phase errors even though it does not assign them distinct syndromes — a hallmark of degeneracy, our next topic.

The takeaway

Shor's $[[9,1,3]]$ code nests a bit-flip code inside a phase-flip code; its six $Z$-type and two $X$-type stabilizers detect bit flips within blocks and phase flips between blocks. Because $Y$ is a product of $X$ and $Z$, the code corrects any single-qubit error — the first proof that fully quantum error correction is possible.

Sign in on the full site to ask questions and join the discussion.