4. 稳定子测量与综合征提取

表面码的纠错能力并不来自“直接观察数据量子比特”，而是来自对稳定子的反复测量。稳定子是一组彼此对易的算符，其本征值编码了错误信息：当某个稳定子的测量结果为 −1 时，说明它覆盖的数据量子比特上出现了与它反对易的错误。因此，综合征提取的核心任务，就是把每个稳定子的本征值映射为一个可读出的经典比特，同时不破坏数据量子比特中编码的逻辑信息。

在表面码中，稳定子分为两类：X 型稳定子（由若干 X 算符张量积构成）和 Z 型稳定子（由若干 Z 算符张量积构成）。它们分别探测 Z 错误和 X 错误。由于 X 与 Z 反对易，测量 X 型稳定子不能直接作用于数据量子比特本身，否则会坍缩逻辑态。标准做法是引入一个辅助量子比特（ancilla），通过受控门把数据量子比特的信息“复制”到辅助比特上，再测量辅助比特，从而间接获得稳定子本征值。

X 型稳定子测量电路

X 型稳定子的测量使用辅助比特作为控制端，数据比特作为目标端，施加 CNOT 门。以 4 个数据比特的 X 型稳定子 X₁X₂X₃X₄ 为例，辅助比特初始化为 |0⟩，依次对每个数据比特执行 CNOT（辅助为控制、数据为目标），最后在 Z 基下测量辅助比特。测量结果 0 对应本征值 +1，结果 1 对应本征值 −1。

其原理是：CNOT 门把数据比特的 X 算符“传播”到辅助比特上。若数据比特上存在 Z 错误，它会与 X 型稳定子反对易，导致辅助比特的测量结果翻转。多个 CNOT 的累积效应使得辅助比特最终携带了稳定子本征值的奇偶性。

Z 型稳定子测量电路

Z 型稳定子的测量与 X 型对偶：辅助比特初始化为 |0⟩，但 CNOT 的方向相反——数据比特为控制端，辅助比特为目标端。以 Z₁Z₂Z₃Z₄ 为例，依次对每个数据比特执行 CNOT（数据为控制、辅助为目标），最后在 Z 基下测量辅助比特。测量结果 0 对应 +1，1 对应 −1。

这里的关键区别在于控制方向：X 型稳定子测量中辅助比特是控制端，Z 型稳定子测量中辅助比特是目标端。这一方向差异决定了辅助比特能否正确捕获对应类型的错误，也是电路实现中最容易出错的地方之一。

辅助量子比特的作用与初始化

辅助比特在每次测量前必须被重置到 |0⟩。如果辅助比特残留了上一次测量的状态，本次测量结果就会受到污染。在实际硬件中，重置通常通过测量后反馈 X 门实现：若测得 |1⟩，则施加 X 门将其翻回 |0⟩。这一重置步骤的保真度直接影响综合征提取的准确率。

辅助比特的另一个关键作用是隔离测量反作用。如果直接测量数据量子比特，逻辑态会坍缩，编码信息丢失。通过辅助比特间接测量，数据量子比特只经历受控门操作，稳定子本征值被转移到辅助比特上，逻辑子空间内的信息得以保留。

测量序列与调度

表面码中，X 型和 Z 型稳定子交替排列，形成棋盘格结构。每个测量周期需要依次执行所有 X 型稳定子和 Z 型稳定子的测量。由于相邻稳定子共享数据量子比特，测量顺序不能随意打乱：如果两个稳定子共享一个数据比特，它们的测量电路不能同时执行，否则 CNOT 门会冲突。

标准调度策略是：先测量所有 X 型稳定子，再测量所有 Z 型稳定子（或反之），同一类型内部可以并行执行，因为它们不共享数据比特。这样每个测量周期需要 4 个 CNOT 时间步（对应权重为 4 的稳定子），加上辅助比特的初始化与测量，构成一个完整的综合征提取轮次。

综合征比特的读取与判读

每个稳定子的测量结果构成一个综合征比特。将所有稳定子的结果按空间位置排列，就得到一张综合征图。图中值为 1 的位置表示该稳定子检测到了错误。对于表面码，单个数据比特上的 X 错误会同时翻转相邻的两个 Z 型稳定子，因此综合征图中会出现成对的 1。解码器正是利用这种配对关系来推断最可能的错误位置并施加纠正。

需要注意的是，测量本身也可能出错。如果辅助比特的测量结果发生翻转，综合征图中会出现孤立的 1 或错误的配对。因此，实际解码算法（如最小权重完美匹配）需要同时考虑数据错误和测量错误，通常通过多轮测量结果的时空关联来提高纠错阈值。

理解 X 型与 Z 型稳定子测量电路的对偶关系，是掌握表面码综合征提取的基础。辅助比特的引入、CNOT 方向的选取、测量序列的调度，以及多轮测量中测量错误的处理，共同决定了纠错系统能否在真实噪声环境下有效工作。