1. 量子纠错导论
量子计算的核心优势来自量子比特可以处于叠加态、并与其它量子比特形成纠缠。但这也意味着量子信息极其脆弱：环境耦合、控制误差和测量不完美都会让量子态偏离目标。量子纠错（Quantum Error Correction, QEC）要解决的不是“让硬件永远不出错”，而是“在物理错误持续发生的前提下，仍能可靠保存和计算逻辑量子信息”。理解这一点，是进入整个编码体系的前提。
1. 量子比特为什么会退相干
一个物理量子比特并不是孤立系统，它总与电磁场、声子、杂质自旋、控制线路等环境耦合。环境会带走相位信息或引起能量弛豫，表现为两类典型时间尺度：
- 能量弛豫时间 T₁：量子比特从 |1⟩ 衰减到 |0⟩ 的特征时间，对应振幅阻尼。
- 相位退相干时间 T₂：叠加态相对相位随机化的特征时间，通常 T₂ ≤ 2T₁。
以超导量子比特为例，典型 T₁ 约 50–300 μs，T₂ 约 30–200 μs；单比特门时间约 20–50 ns，双比特门约 100–500 ns。若一次算法需要 10⁶ 个门，即使单门错误率只有 10⁻³，累计错误也会使结果完全不可用。这说明：不纠错，量子算法无法规模化。
2. 错误模型：离散错误与连续错误
量子错误比经典比特翻转复杂得多。一个量子比特的任意错误可由算符展开，常用基为三个泡利算符：
- X 错误：比特翻转 |0⟩↔|1⟩，类似经典翻转。
- Z 错误：相位翻转 |1⟩→−|1⟩，经典中没有对应。
- Y 错误：X 与 Z 同时发生，Y = iXZ。
连续的小旋转错误（如绕 X 轴旋转 θ）可以写成 cos(θ/2)I − i sin(θ/2)X。纠错码并不需要知道 θ 的具体值，只要检测出“发生了 X 类错误”，就能把状态投影回编码空间。这就是离散化错误思想：连续错误可被纠正为离散泡利错误。
多比特系统中，错误还可能以关联形式出现，例如两个相邻比特同时发生 X 错误。实际建模时常用独立错误模型：每个门后以概率 p 独立施加 X、Y、Z 之一；测量错误则以概率 p_m 翻转结果。这些参数是后续阈值定理和表面码分析的输入。
3. 从经典纠错到量子纠错的范式转变
经典纠错用重复码：把 0 编码为 000，1 编码为 111，通过多数表决纠正一位翻转。但量子纠错面临三个根本障碍：
- 不可克隆定理：无法复制未知量子态，不能简单做三份拷贝。
- 测量会破坏态：直接测量数据比特会使其坍缩，丢失叠加信息。
- 错误是连续的：需要把连续错误“数字化”为有限种可纠正类型。
量子纠错的解决思路是：不测量数据本身，而是测量稳定子——一组相互对易的算符。稳定子测量只提取“错误症状”（syndrome），不泄露逻辑信息。例如三量子比特比特翻转码用 Z₁Z₂ 和 Z₂Z₃ 两个稳定子，测量结果 00 表示无错，10 表示第 1 位翻转，11 表示第 2 位翻转，01 表示第 3 位翻转。根据症状施加相应 X 纠正即可。
4. 课程知识地图
本课程围绕“如何把不可靠的物理量子比特变成可靠的逻辑量子比特”展开，知识结构可分为四层：
- 基础层：退相干、错误模型、稳定子形式、纠错条件。
- 编码层：比特翻转码、相位翻转码、Shor 码、Steane 码、CSS 码、表面码。
- 容错层：容错门、横向门、魔术态蒸馏、阈值定理。
- 实现层：解码算法、症状提取电路、资源估算、硬件映射。
下面用一张信号链与知识层级结合的示意图，展示从物理错误到逻辑纠错的完整路径，以及各层对应的核心概念。
5. 纠错的必要性：一个量化视角
假设物理错误率 p = 10⁻³，若不做纠错，执行 1000 个门后成功概率约为 (1−p)¹⁰⁰⁰ ≈ 0.37；执行 10⁶ 个门后成功概率几乎为零。若使用码距 d = 5 的表面码，逻辑错误率可近似为 p_L ≈ (p/p_th)^3。取 p_th = 10⁻²，则 p_L ≈ (0.1)³ = 10⁻³，看似只降了一个量级；但若把码距提高到 d = 11，p_L ≈ (0.1)⁵ = 10⁻⁵，再提高到 d = 21，p_L ≈ 10⁻¹⁰。这就是阈值定理的威力：只要物理错误率低于阈值，增加冗余就能指数级提升可靠性。