 Constructive recovery from the Knill-Laflamme condition

The matrix $C$ in the Knill--Laflamme condition is positive semidefinite, since $v^{†}Cv$ is the squared norm of ${\sum }_a{v}_a{E}_a|\psi ⟩$ for any normalized code state. Diagonalizing it gives linear combinations $F_j$ with $P{F}_j^{†}{F}_{l}P=c_j{\delta }_{jl}P$. For $c_j>0$, $V_j=F_{j}P/\sqrt{c_j}$ is an isometry of the code into an error-image subspace, and these subspaces are orthogonal. Measuring their projectors and applying $V_j^{†}$ recovers the logical state. Complete the operation arbitrarily on the orthogonal complement to obtain a quantum channel. This construction corrects every noise map whose Kraus operators lie in the specified error span, including coherent superpositions of error operators.