1. 课程导入与纠错码定位
在经典计算中，我们习惯了一个比特要么是 0、要么是 1，偶尔出错也能靠复制三份、按多数表决纠正。量子计算却把这件事彻底变难了：量子比特不能随意复制（不可克隆定理），测量会破坏叠加态，而噪声不仅会让比特翻转，还会带来相位翻转。更棘手的是，量子门本身也不完美，纠错过程本身也会引入新错误。因此，量子纠错不是"加个校验位"那么简单，它是一整套围绕编码、测量、反馈和容错门操作构建的工程体系。
本课程聚焦其中最具教学价值的入门级方案——Steane 七比特码。它由 Andrew Steane 于 1996 年提出，是量子纠错理论中第一个能同时纠正比特翻转（X 错误）和相位翻转（Z 错误）的实用编码之一。理解它，既能掌握量子纠错的核心思想，又能为后续学习表面码、拓扑码等现代方案打下坚实基础。
为什么量子纠错必须"编码"而不是"复制"
经典纠错的基本假设是：信息可以复制。量子态 |ψ⟩ = α|0⟩ + β|1⟩ 一旦被复制成三份，就违反了不可克隆定理。量子纠错的思路是把信息分散到多个物理比特的纠缠态中，让单个比特的错误只影响整体编码态的一部分，从而通过测量"错误症状"（syndrome）来定位并纠正错误，而不直接测量信息本身。
这里有一个关键约定需要先明确：本课程统一采用Z 基测量作为标准测量基，比特翻转错误记为 X 错误，相位翻转错误记为 Z 错误，Y 错误视为 X 与 Z 同时发生。所有稳定子测量结果以 +1 / −1 表示，+1 表示无错误症状，−1 表示检测到对应稳定子被激发。这一约定贯穿全课程及所有图示。
Steane 码在量子纠错体系中的位置
量子纠错码可以按"纠正能力"和"结构来源"两个维度定位。Steane 七比特码属于 [[7,1,3]] 码：7 个物理比特编码 1 个逻辑比特，码距为 3，因此可以纠正任意单比特错误（X、Z 或 Y）。它的构造非常巧妙——直接借用经典 [7,4,3] 汉明码的校验矩阵，把经典码的"比特"映射为量子比特的 X 型和 Z 型稳定子，从而同时获得比特翻转和相位翻转的纠正能力。
从体系位置看，Steane 码处于"入门级量子纠错"这一层：比它更简单的是三比特重复码（只能纠 X 错误，不能纠 Z 错误），比它更复杂的是表面码（需要大量物理比特和二维拓扑布局）。Steane 码正好卡在"能同时处理两类错误"和"结构可手工推导"的甜点区，是理解稳定子形式体系和 CSS 码构造的最佳载体。
课程目标：从"看懂公式"到"跑通流程"
本课程不满足于让读者记住 [[7,1,3]] 这个记号，而是希望达成三个可检验的目标。第一，能手工推导：给定 Steane 码的 6 个稳定子生成元，能写出对应的校验矩阵，并说明为什么码距为 3 意味着可纠单比特错误。第二，能搭建电路：用标准的编码电路把 1 个逻辑比特编码为 7 个物理比特的纠缠态，并正确接入 6 个稳定子测量线路。第三，能判读结果：根据 6 个稳定子的 ±1 测量结果组成症状向量，查表定位错误位置与类型，施加恢复操作并验证逻辑态恢复。
为了让大家对"实际怎么做"有具体感知，这里先给出一个贯穿课程的示例设定（属于教学合理假设，非实测数据）：假设物理比特的单比特错误率 p = 0.01，我们注入一个 X 错误在第 3 号物理比特上。Steane 码的 6 个稳定子中，有 3 个会被激发（结果为 −1），这 3 个稳定子的支撑集交集恰好指向第 3 号比特，且激发模式对应 X 型症状。解码器据此判定"第 3 比特发生 X 错误"，施加 X 门恢复，再次测量 6 个稳定子应全部回到 +1。这个"注入—测量—定位—恢复—复验"的闭环，就是后续章节要反复演练的核心操作。
学习路径与先修提示
课程按"理论—构造—测量—纠错—验证"五段推进，但并非线性流水账：稳定子形式体系是贯穿始终的语言，编码电路和症状测量是两处需要动手推导的重点，最后的仿真验证则把前面所有环节串起来。建议读者在进入第 2 章前，先确认自己熟悉单量子比特的 X、Z、H 门作用，以及张量积和测量公设的基本写法；若对稳定子形式体系完全陌生，可先补一节"稳定子入门"再回来，否则第 3 章的校验矩阵推导会显得突兀。
需要提醒的是，Steane 码虽然结构清晰，但它并不是"万能解"。它的纠错能力上限是单比特错误，遇到两比特错误就会失效；它的编码效率是 1/7，物理开销不小；它的容错门实现也需要额外技巧（如横向 CNOT 门）。课程会在相应章节明确指出这些边界，避免读者形成"学了 Steane 码就掌握了量子纠错"的误解。真正的容错量子计算，是在这类基础码之上叠加层级编码、魔态蒸馏和拓扑布局才逐步逼近的。
下面进入第 2 章，我们将从经典汉明码出发，一步步构造出 Steane 码的稳定子生成元，并解释 CSS 码"X 型与 Z 型校验矩阵分离"这一关键设计。