QEC Course 2025_lecture4.pdf