综合征提取

综合征提取（syndrome extraction）是量子纠错的中心操作：测量一组对易的稳定子生成元，把连续的量子错误压缩成经典的比特串，而不触碰编码的逻辑信息。它同时是整个领域最难写对的线路——辅助比特上的单个错误可能沿受控门传播成高权重的数据错误，让纠错本身变成错误放大器。Shor 1996 年的 cat 态方案首次驯服了这种传播，此后 Steane 测量与 flag 辅助比特不断降低它的代价；能否做容错的综合征提取，直接决定阈值定理成立与否。

图:测量 Pauli 算符 ±1 本征值的标准线路——辅助比特经一串受控 Pauli 门(分解为 CNOT/CZ)与数据耦合后测 Z,相位反冲把本征值转移到辅助比特上(来源:QE017)

原理：把本征值搬到辅助比特上

要测厄米 Pauli 算符 $M$（如 $Z_1{Z}_2\cdots Z_w$）的 $\pm 1$ 本征值而不坍缩叠加：制备辅助比特 $|0⟩$，以 $M$ 为受控算符作用（$w$ 个 CNOT 把 $M=\prod Z_i$ 的每个 $Z_i$ 分摊到一段线路上），再测辅助比特。推导只需两行：对码态 ${\sum }_c{\alpha }_c|c⟩$，

${\text{CNOT}}^{\otimes w}(|0⟩\otimes {\sum }_c{\alpha }_c|c⟩)={\sum }_c{\alpha }_c|c_1\oplus c_2\oplus \cdots \oplus c_w⟩\otimes |c⟩,$

辅助比特末态的奇偶就是 $M$ 的本征值；测它等价于投影到 $M$ 的本征分支，数据态的相干叠加 ${\alpha }_c$ 全程保留Terhal 2015 (RMP)。测 X 型算符时对辅助加 Hadamard 共轭。一个 $[[n,k]]$ 码的完整综合征就是对全部 $n-k$ 个生成元各测一轮，得到 $s(E)\in {\mathbb{F}}_2^{n-k}$（见stabilizer-formalism）。

朴素测法的传播灾难

上图线路有一个致命弱点：辅助比特上的相位错误会同时翻掉全部 $w$ 个数据比特。推导：辅助比特在 CNOT 序列中途发生 $Z_a\to$ 泄漏为相位 $-1$ 的错误时，后续每个 CNOT 都把这个相位反冲到一个数据比特上（back-action），输出错误 $X_1{X}_2\cdots X_w$——权重 $w$。Shor 在 1996 年的容错纠错论文中首先指出这一点：单个故障造成权 $w$ 逻辑错误，直接摧毁”单错误只造成单错误”的容错前提Shor 1996 (FOCS)。

Shor 的 cat 态方案

Shor 的解法是把一个辅助比特换成 $w$ 比特的 cat 态（GHZ 型纠缠态）：

$\frac{1}{\sqrt{2}}(|0^w⟩+|1^w⟩),$

第 $i$ 个 cat 比特只与第 $i$ 个数据比特作用（CNOT 或 CZ），最后把 cat 态测到 $X$ 基（全比特奇偶）。cat 上任何一个单比特错误最多影响一个数据比特——传播权重降为 1。由于 cat 态制备线路自身会出错，Shor 配套引入验证（verification）：制备后做两两奇偶检查，发现错误即丢弃重做。这套”验证-重试”范式是后来一切容错原语的模板Shor 1996 (FOCS)。

Steane 测量与 flag 轻量化

两条现代替代路线把辅助开销进一步压缩：

• Steane 测量：辅助不是一个比特而是一整个码字（如 $\frac{1}{\sqrt{2}}|\bar{0}⟩+\frac{1}{\sqrt{2}}|\bar{1}⟩$ 的 Steane 码块），数据块与辅助块之间做逐位（block-wise）CNOT，一次读出多个综合征比特。它天然适配 CSS 码、深度浅，但要求能可靠制备辅助码字；
• flag 辅助比特：用 1–2 个额外”旗标”比特与 cat 制备线路定向耦合，监测错误传播的路径特征——旗标测量报警时才重测综合征，无报警直接采信。Chamberland–Kubica–Yoder–Zhu 把它推广到任意距离的三角色码族，给出三方案（Shor cat / Steane / flag）在辅助比特数、线路深度、容错距离上的权衡表Chamberland et al. 2020 (New J. Phys.)。

图:测量错误也会破坏纠错——重复码上一次错误的综合征测量导致错误恢复,补救办法是重复测量取多数(来源:QE016)

测量错误、hook 错误与重复测量

综合征本身不可靠时（测量以概率 $q$ 出错），单轮读取会把错误恢复引进来——上图的重复码演示了这一失败模式。标准对策是时间冗余：同一生成元重复测 $d$ 轮，用多数表决/时序译码把测量错误与数据错误一起处理，这就是为什么纠错周期要一遍遍滚动执行（见ft-ec-cycle）。电路级模型下还有 hook 错误：容错提取线路中单故障经 CNOT 序列传播成权重 2 的斜向错误，使码的有效距离受损；表面码通过调整 CNOT 顺序把 hook 方向对准安全的对角（详见surface-code与容错专题ft-syndrome-extraction）。KLZ 的原始容错方案对测量错误的做法是干脆不测（替换-重试式纠错网络），见threshold-theorem。

综合征之后

综合征比特串交给经典译码器推断最可能的错误（匹配译码、Union-Find、BP+OSD、神经网络等，见decoding-overview），再施加相应恢复。整条”提取—译码—恢复”流水线的时延与吞吐决定实时纠错可行性（见real-time-decoding）。

延伸阅读

• stabilizer-formalism
• ft-syndrome-extraction
• decoding-overview
• threshold-theorem
• encoding-circuits
• surface-code