Syndrome explorer
A stabilizer code never looks at the state it protects — measuring it would destroy the superposition. It measures only whether each of its generators was disturbed. Apply an error below and follow what happens: which generators fire, what the decoder concludes from that alone, and whether the correction restored the logical state or silently changed it.
Code
Three-qubit repetition code, error ZII
Undetected — silent logical error
This error commutes with every generator, so the syndrome is blank and the decoder does nothing -- yet the operator is not a stabilizer, so it has altered the logical state. Silent logical failure, which is what it means for Three-qubit repetition to have distance 1: some weight-1 error is invisible to it.
What each generator measured
Each row is a stabilizer generator, each column a qubit. A cell is marked when the error and the generator disagree on that qubit in a way that costs a sign. The syndrome bit is the parity of the marked cells in that row — so two marks cancel and read 0.
| Generator | q0 | q1 | q2 | Marks | Bit |
|---|---|---|---|---|---|
| Error | Z | · | · | weight 1 | — |
| ZZI | Z | Z | · | 0 | 0 |
| IZZ | · | Z | Z | 0 | 0 |
Syndrome 00 — every generator commuted with this error, so the measurement returned nothing at all.
Decode and correct
| Error applied | ZII | weight 1; never observed by the decoder |
|---|---|---|
| Syndrome measured | 00 | the only thing the decoder sees |
| Correction inferred | III | a different operator with the same syndrome |
| Residual | ZII | a logical operator, so the encoded state has changed |
Success is the residual being a stabilizer, not the decoder naming the error. Those differ: on a degenerate code the decoder routinely names a different operator and restores the state perfectly, and scoring by equality would count that as a failure.
Every error of weight 1 and 2
| Weight | Errors | Corrected | Miscorrected | Undetected | Trivial |
|---|---|---|---|---|---|
| 1 | 9 | 3 | 3 | 3 | 0 |
| 2 | 27 | 6 | 18 | 0 | 3 |
“Trivial” counts operators that are themselves stabilizers — they act as the identity, so there is nothing to detect. This code is degenerate: 4 distinct syndromes cover more errors than that, so some single-qubit errors are indistinguishable — and are corrected anyway.
The decoder’s lookup table
| Syndrome | Correction applied | Weight |
|---|---|---|
| 00← measured | III | 0 |
| 01 | IIX | 1 |
| 10 | XII | 1 |
| 11 | IXI | 1 |
Decoder benchmarks measured under identical conditions live in the QEC Lab. This page computes exactly and exhaustively on codes small enough for that to be honest; it is a way to see what a syndrome is, not a decoder benchmark.