The Knill-Laflamme conditions characterize when a quantum error-correcting code corrects a set of error operators
. If
is the orthogonal projection
onto
,
the conditions are
for all
and
,
where the
are scalars. Equivalently, the operators
cannot distinguish states within the code subspace.