Local correctability of a stabilizer code (source code)

= Local correctability of a stabilizer code

If every pairwise product $E_a^\dagger E_b$ has weight below the code distance, it cannot be a nontrivial logical operator. The Knill--Laflamme conditions then hold for the whole error set.