2. 症状提取电路基础
量子纠错的核心难点在于：我们不能直接“看”一个数据量子比特的量子态，因为测量会使其坍缩。稳定子码巧妙地绕开了这个限制——它不测量量子态本身，而是测量一组称为稳定子的算符。这些算符的本征值能够告诉我们“是否发生了错误”以及“错误发生在哪里”，却不会泄露编码在逻辑量子比特中的信息。症状提取电路就是实现这一测量的量子线路。
稳定子码的基本结构
以最简单的三量子比特比特翻转码为例，它用三个物理量子比特编码一个逻辑量子比特，稳定子为 Z₁Z₂ 和 Z₂Z₃。这两个算符的本征值均为 +1 时表示无错误；若某个本征值变为 −1，则说明对应的比特发生了翻转。更一般地，一个 [[n,k,d]] 稳定子码由 n−k 个相互对易的稳定子生成元定义，每个生成元对应一个症状比特。症状提取的任务，就是逐一测量这些生成元，得到一串症状比特（syndrome），再根据症状查表推断错误位置并施加纠正。
这里有一个关键约束：所有稳定子生成元必须两两对易，否则它们无法被同时精确测量。这也是稳定子码构造时必须满足的条件。在实际电路中，这一对易性保证了测量顺序不会影响症状结果。
数据量子比特与辅助量子比特的交互
直接测量数据量子比特上的多体算符（如 Z₁Z₂）在物理上不可行，因为测量装置只能作用于单个量子比特。解决方案是引入辅助量子比特（ancilla）：先将辅助比特制备到 |0⟩，通过受控门把数据比特的信息“汇聚”到辅助比特上，再测量辅助比特。这样，测量只发生在辅助比特上，数据比特的量子态不被直接破坏。
以测量 Z₁Z₂ 为例，操作序列为：辅助比特初始化为 |0⟩，施加 CNOT(数据₁ → 辅助)，再施加 CNOT(数据₂ → 辅助)，最后在 Z 基下测量辅助比特。由于 CNOT 以 Z 基为控制、以 X 基为目标时，会把控制比特的 Z 算符“复制”到目标比特上，两次 CNOT 后辅助比特上累积的正是 Z₁Z₂ 的作用效果。测量结果为 0 对应本征值 +1，结果为 1 对应本征值 −1。
对于 X 型稳定子（如 X₁X₂），则需要先把辅助比特制备到 |+⟩（通过 Hadamard 门），再施加 CNOT(辅助 → 数据₁) 和 CNOT(辅助 → 数据₂)，最后在 X 基下测量（测量前再加 Hadamard）。方向与基的选择必须与稳定子的类型严格匹配，这是初学者最容易出错的地方。
CNOT 门序列的构造规则
把上述过程推广到一般稳定子，可以得到一套可操作的构造规则。设稳定子生成元写成泡利串形式，例如 X₁Z₂Z₃，则：
- 若第
i位是Z，在辅助比特上施加CNOT(数据ᵢ → 辅助)，辅助比特以|0⟩初始化，测量基为 Z； - 若第
i位是X，在辅助比特上施加CNOT(辅助 → 数据ᵢ)，辅助比特以|+⟩初始化，测量基为 X； - 若第
i位是Y，可分解为X与Z的组合，通常需要额外的相位门（如 S 门）配合，或改用更一般的测量方案。
当同一个稳定子中同时含有 X 型和 Z 型分量时，辅助比特的初始化基和测量基需要统一处理，常见做法是采用“X 型部分用 |+⟩ 初始化、Z 型部分用 |0⟩ 初始化”的折中方案，或在电路层面引入基变换。实际实现中，表面码等主流方案通常把稳定子设计为纯 X 型或纯 Z 型，从而避免混合基带来的复杂性，这也是表面码电路相对规整的重要原因。
测量反馈与症状判读
每个辅助比特测量后得到一个经典比特。把全部 n−k 个症状比特按固定顺序排列，就得到当前时刻的症状向量。例如三量子比特码的两个症状比特 (m₁, m₂) 中，(0,0) 表示无错，(1,0) 表示 q₁ 翻转，(1,1) 表示 q₂ 翻转，(0,1) 表示 q₃ 翻转。这个映射关系就是症状查表（decoding table）的最简形式。
需要特别注意的是，症状提取电路本身也会引入错误。辅助比特的制备、CNOT 门和测量都可能出错，导致症状比特被翻转，从而给出错误的诊断。工程上通常采取两种应对：一是重复测量同一稳定子多次并取多数表决；二是设计容错症状提取电路，使单个辅助比特的故障不会传播成数据比特上的多个错误。后者对 CNOT 的排列顺序有严格要求——如果两个 CNOT 共享同一个控制比特且目标比特不同，控制比特上的错误会同时传播到多个目标比特，形成“错误扩散”。因此在排列 CNOT 序列时，应尽量让每个数据比特在序列中只与辅助比特交互一次，并避免辅助比特上的错误反向污染数据。
一个可操作的检查流程
面对一个给定的稳定子码，可以按以下顺序落地症状提取电路：先列出全部稳定子生成元并验证对易性；再逐个生成元确定 CNOT 方向、辅助比特初始化基和测量基；然后检查 CNOT 序列中是否存在错误扩散路径；最后把症状向量与错误模式的映射整理成查表。以五量子比特码为例，它有 4 个稳定子生成元，对应 4 个辅助比特和 4 个症状比特，能够区分 15 种单比特错误，这正是它被称为“完美码”的原因。理解这套构造逻辑，是后续优化 CNOT 深度、减少辅助比特数量和设计容错解码器的前提。