A quantum error-correcting code is a subspace of the Hilbert space
of
qubits that encodes quantum states so that a specified set
of errors can be detected or corrected. If
is the orthogonal projection
onto
,
then a set of error operators
is correctable exactly when the Knill-Laflamme
conditions
hold for constants and all
,
(Knill and Laflamme 1997).
A quantum code encoding logical qubits into
physical qubits and having distance
is denoted
. A stabilizer code
is the common
eigenspace of an abelian
group
contained in the
-qubit Pauli group, with
.
This construction converts many questions about quantum error correction into questions
about finite groups and linear algebra (Gottesman
1997).
Dzoba (2026) constructed binary stabilizer codes with parameters and
. Their distances attain the upper bounds listed
in that paper for these lengths and dimensions. Dzoba (2026) reports that Claude
generated the constructions and search programs under human direction, with additional
Codex-generated verification programs.