4. 表面码的 syndrome 提取电路

表面码的纠错能力并不来自数据量子比特本身,而来自对稳定子(stabilizer)的反复测量。数据量子比特只负责存储逻辑信息,真正的“诊断信息”由 syndrome 提取电路产生。理解这一电路的结构,是分析测量错误如何进入解码器的前提:如果 syndrome 本身被读错,解码器就会在错误的位置上做“纠正”,反而可能引入逻辑错误。因此本节把测量电路拆成可观察的部件——辅助量子比特、CNOT 序列、初始化与测量——并标出测量错误最容易注入的节点。

标准测量电路的基本结构

在旋转表面码中,每个稳定子由一个数据量子比特集合与一个辅助量子比特(ancilla)构成。X 型稳定子测量的是若干数据比特上 X 算符的乘积,Z 型稳定子测量的是 Z 算符的乘积。标准做法是:辅助比特先被初始化到特定基态,然后通过一串 CNOT 与相邻数据比特纠缠,最后在辅助比特上做基测量,测量结果即该稳定子的本征值(通常映射为 ±1,再编码为 0/1 的 syndrome 位)。

以 Z 型稳定子为例,辅助比特初始化为 |0⟩,CNOT 以辅助比特为控制、数据比特为目标;以 X 型稳定子为例,辅助比特初始化为 |+⟩,CNOT 以数据比特为控制、辅助比特为目标。这一“控制/目标方向随稳定子类型翻转”的约定是电路正确性的核心,也是初学者最容易写反的地方。若方向写反,测量得到的不是目标稳定子,而是另一个算符的期望,syndrome 将系统性错误。

稳定子测量电路:辅助比特初始化 → CNOT 序列 → 测量 Z 型稳定子(辅助比特 init |0⟩) 辅助 q_a |0⟩ 数据 q1 数据 q2 M_Z 控制=辅助,目标=数据 X 型稳定子(辅助比特 init |+⟩) 辅助 q_a |+⟩ 数据 q1 数据 q2 M_X 控制=数据,目标=辅助 测量错误注入的关键节点 ① 初始化制备错误 |0⟩/|+⟩ 偏离 ② CNOT 门错误 方向/相位/串扰 ③ 测量读出错误 比特翻转/弛豫 ④ 数据比特退相干 测量期间累积 ① 与 ③ 直接翻转 syndrome 位;② 与 ④ 通过传播改变数据态,间接污染后续 syndrome。

CNOT 序列与调度顺序

一个稳定子通常涉及 4 个数据比特(体稳定子)或 2 个数据比特(边界稳定子)。CNOT 必须按顺序逐个执行,不能并行作用于同一数据比特,否则会破坏数据态。以 Z 型体稳定子为例,典型序列是:辅助比特 H 门(若采用 |+⟩ 初始化则省略)→ CNOT(a→d1) → CNOT(a→d2) → CNOT(a→d3) → CNOT(a→d4) → 辅助比特 H 门(X 型测量时)→ 测量。实际硬件中,为减少空闲期间的退相干,常把 X 型和 Z 型稳定子的 CNOT 交错调度,形成“CNOT 层”,使数据比特在相邻层之间尽量少空闲。

调度顺序直接影响错误传播。若某个 CNOT 发生错误,该错误会沿后续 CNOT 传播到多个数据比特上,形成一条相关错误链。例如在 Z 型稳定子中,若第二个 CNOT 出现 X 错误,它会通过后续 CNOT 传播,最终在多个数据比特上留下 X 错误,表现为相邻的 syndrome 位同时翻转。解码器若只按独立错误处理,就会低估这种相关错误的影响。因此,识别 CNOT 序列中的错误传播路径,是测量错误建模的关键一步。

辅助比特的初始化与测量

初始化与测量是测量电路的两端,也是错误注入最直接的位置。初始化错误表现为辅助比特未准确制备到 |0⟩ 或 |+⟩,例如制备保真度不足导致约 0.1%~1% 的概率偏离目标态。这种错误会直接使本次 syndrome 读数翻转,且与数据比特无关,属于“测量错误”而非“数据错误”。测量错误则发生在读出阶段:由于读出保真度有限,本应为 0 的辅助比特被读成 1,或反之。两类错误在 syndrome 序列上都表现为孤立的、时间上不相关的翻转,这正是解码器区分“数据错误”与“测量错误”的重要统计特征。

在工程实现中,通常用重复测量同一稳定子来抑制测量错误:连续测量奇数次并取多数表决。例如重复 3 次,若结果为 0,1,0,则取 0。多数表决能把单次测量错误概率从 p 降到约 3p²(p 较小时),代价是测量电路时间延长,数据比特退相干累积增加。因此重复次数需要在测量错误率与数据错误率之间权衡,这一权衡本身就是测量错误建模要回答的问题。

识别关键节点:从电路到错误模型

把上述结构映射为错误模型时,可以按节点分类:初始化节点对应“制备错误”,CNOT 节点对应“门错误”,测量节点对应“读出错误”,数据比特空闲期对应“退相干错误”。前三类直接作用于 syndrome 位,第四类作用于数据态并通过后续 CNOT 传播。建模时,通常给每个节点分配一个错误概率参数,再用蒙特卡洛采样生成带噪声的 syndrome 序列,最后交给解码器(如最小权完美匹配)处理,观察逻辑错误率随物理错误率的变化。

判断测量错误是否主导:若 syndrome 翻转在时间上呈孤立、随机分布,且相邻两轮之间无空间关联,则更可能来自初始化或读出错误;若翻转呈现成对、成链的空间关联,则更可能来自 CNOT 传播的数据错误。这一判据可直接用于调试测量电路。

实际调试时,可先关闭数据比特噪声、只保留测量错误,观察解码器输出的逻辑错误率是否随测量错误率线性上升;再逐步加入 CNOT 错误与退相干,比较各节点对逻辑错误率的贡献。通过这种“逐节点注入”的方式,可以定位测量电路中最脆弱的环节,为硬件优化提供依据。