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
Steane code, error ZZZZZZZ
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 Steane to have distance 3: some weight-7 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 | q3 | q4 | q5 | q6 | Marks | Bit |
|---|---|---|---|---|---|---|---|---|---|
| Error | Z | Z | Z | Z | Z | Z | Z | weight 7 | — |
| IIIZZZZ | · | · | · | Z | Z | Z | Z | 0 | 0 |
| IZZIIZZ | · | Z | Z | · | · | Z | Z | 0 | 0 |
| ZIZIZIZ | Z | · | Z | · | Z | · | Z | 0 | 0 |
| IIIXXXX | · | · | · | [X] | [X] | [X] | [X] | 4 | 0 |
| IXXIIXX | · | [X] | [X] | · | · | [X] | [X] | 4 | 0 |
| XIXIXIX | [X] | · | [X] | · | [X] | · | [X] | 4 | 0 |
Syndrome 000000 — every generator commuted with this error, so the measurement returned nothing at all.
Decode and correct
| Error applied | ZZZZZZZ | weight 7; never observed by the decoder |
|---|---|---|
| Syndrome measured | 000000 | the only thing the decoder sees |
| Correction inferred | IIIIIII | a different operator with the same syndrome |
| Residual | ZZZZZZZ | 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 | 21 | 21 | 0 | 0 | 0 |
| 2 | 189 | 0 | 189 | 0 | 0 |
“Trivial” counts operators that are themselves stabilizers — they act as the identity, so there is nothing to detect. Every weight-1 error here has its own syndrome, so the decoder can always name the operator that occurred.
The decoder’s lookup table
| Syndrome | Correction applied | Weight |
|---|---|---|
| 000000← measured | IIIIIII | 0 |
| 000001 | ZIIIIII | 1 |
| 000010 | IZIIIII | 1 |
| 000011 | IIZIIII | 1 |
| 000100 | IIIZIII | 1 |
| 000101 | IIIIZII | 1 |
| 000110 | IIIIIZI | 1 |
| 000111 | IIIIIIZ | 1 |
| 001000 | XIIIIII | 1 |
| 001001 | YIIIIII | 1 |
| 010000 | IXIIIII | 1 |
| 010010 | IYIIIII | 1 |
| 011000 | IIXIIII | 1 |
| 011011 | IIYIIII | 1 |
| 100000 | IIIXIII | 1 |
| 100100 | IIIYIII | 1 |
| 101000 | IIIIXII | 1 |
| 101101 | IIIIYII | 1 |
| 110000 | IIIIIXI | 1 |
| 110110 | IIIIIYI | 1 |
| 111000 | IIIIIIX | 1 |
| 111111 | IIIIIIY | 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.