Knill--Laflamme condition (source code)

= Knill--Laflamme condition
{c}
{wiki}

A code projector $P$ corrects errors $\{E_a\}$ exactly when $PE_a^\dagger E_bP=C_{ab}P$ for every pair.