Isaac David Smith - Quantum error correcting codes

In his first talk on the subject of quantum error correcting codes, Isaac introduces the concepts of error channels and and an error correction procedure. He proves the main theorem which characterises when an error correction procedure can exist, which will be used in the sequel to prove the existence of the toric code.