In this video, I talk about error correction conditions. Given a set of Kraus operators corresponding to the error channel, the question is when can there exist an appropriate recovery operation that maps any state having support on codespace to itself? The answer to this question is whenever the Kraus operators satisfy the error correction criterion. In this video, I talk about these conditions and discuss the proof of it. I also discuss the discretization of the errors. #quantuminformation #quantumcomputing #quantumphysics