1. 课程导入与CSS码全景

量子计算最诱人的承诺，是借助叠加与纠缠在特定问题上获得指数级加速；但这份承诺有一个脆弱的物理前提——量子比特必须足够“安静”。现实中的量子比特会因退相干、控制误差、热噪声和串扰而不断出错，而且量子态不可克隆，无法像经典比特那样简单复制三份做多数表决。量子纠错（Quantum Error Correction, QEC）正是为破解这一困局而生的理论工具：它用多个物理量子比特的联合状态编码一个逻辑量子比特，通过测量稳定子（stabilizer）提取错误症状（syndrome），再依据症状推断并纠正错误，而不直接读取、也不破坏编码的量子信息。

在众多量子纠错方案中，CSS码是结构最清晰、工程上最常被首先实现的一类。它由 Calderbank、Shor 与 Steane 于 1996 年前后独立提出，其核心思想极为优雅：把量子码的构造“拆解”为两个经典线性码。设 C₁ 与 C₂ 是两个经典二进制线性码，且满足包含关系 C₂ ⊂ C₁，同时 C₁ 的校验矩阵 H₁ 与 C₂ 的校验矩阵 H₂ 满足正交条件 H₁H₂ᵀ = 0，即可构造出一个量子CSS码。此时，X 型错误由 H₂ 检测，Z 型错误由 H₁ 检测，两类症状彼此独立、互不干扰。这一“经典码拼装量子码”的结构，使 CSS 码成为连接经典编码理论与量子硬件的天然桥梁。

从历史定位看，CSS码是量子纠错从理论走向工程的关键一步。Shor 的九比特码与 Steane 的七比特码都是 CSS 码的特例；此后被广泛研究的表面码（surface code）在稳定子形式上同样属于 CSS 框架。可以说，理解了 CSS 码的编码与译码，就掌握了阅读绝大多数主流量子纠错方案的一把通用钥匙。在量子计算的技术栈中，它位于“物理层”与“逻辑算法层”之间：向下约束硬件需要提供的比特连接与测量能力，向上为容错量子计算提供可靠的逻辑门与逻辑存储。

上图给出了本课程要反复使用的整体框架。左侧是编码：把逻辑量子态映射到 n 个物理比特上，码空间由经典码 C₁、C₂ 共同决定；中间是噪声信道，X 翻转、Z 相位以及二者叠加的 Y 错误都会作用在物理比特上；右侧是症状提取与译码：测量稳定子生成元得到症状，再由症状推断错误位置并施加逆操作。图中红色虚线回路提示了一个关键工程事实——当残余错误超出码的纠错能力时，错误会累积为逻辑错误，这正是容错协议与更高码距要解决的问题。

为了让抽象定义落地，我们用一个贯穿课程的最小示例来建立直觉：Steane 七比特码。它取 C₁ 为 [7,4,3] 汉明码，C₂ 为其对偶码，二者满足正交条件，因此构成一个 [[7,1,3]] CSS 码——7 个物理比特编码 1 个逻辑比特，码距为 3，可纠正任意单比特错误。编码后的逻辑基态可写成若干物理基态的等权叠加，例如 |0̄⟩ 是 8 个特定七比特态的叠加。症状提取时，我们测量 6 个稳定子生成元（3 个 X 型、3 个 Z 型），每个生成元的测量结果是一个 ±1 本征值，对应 1 比特症状信息。若某个物理比特发生 X 错误，则恰好有部分 Z 型生成元翻转为 −1，症状模式唯一指向该比特位置；译码器查表即可确定错误位置并施加相应的 X 操作纠正。这个“测量症状—查表定位—施加逆操作”的闭环，就是本课程后续所有译码算法的原型。

需要特别强调参照约定：本课程统一采用“错误算子作用在编码态上”的主动图像，即信道作用后状态变为 E|ψ̄⟩；稳定子测量结果为 +1 表示无错误或错误与该生成元对易，−1 表示反对易。所有症状向量、校验矩阵的行列顺序在全文与图示中保持一致，切换约定时会明确说明。

学习本课程，建议按“结构—编码—译码—评估”四条主线推进：先吃透稳定子与 CSS 构造的代数条件，再动手推导小码的编码电路与码字表，接着实现症状提取与译码逻辑，最后用码距与逻辑错误率评估方案优劣。完成本课程后，你应当能够独立分析一个给定 CSS 码的参数、写出其校验矩阵、设计症状提取电路，并对译码结果做出正确判读。