4. 表面码的 syndrome 提取电路
表面码的纠错能力并不来自数据量子比特本身,而来自对稳定子(stabilizer)的反复测量。数据量子比特只负责存储逻辑信息,真正的“诊断信息”由 syndrome 提取电路产生。理解这一电路的结构,是分析测量错误如何进入解码器的前提:如果 syndrome 本身被读错,解码器就会在错误的位置上做“纠正”,反而可能引入逻辑错误。因此本节把测量电路拆成可观察的部件——辅助量子比特、CNOT 序列、初始化与测量——并标出测量错误最容易注入的节点。
标准测量电路的基本结构
在旋转表面码中,每个稳定子由一个数据量子比特集合与一个辅助量子比特(ancilla)构成。X 型稳定子测量的是若干数据比特上 X 算符的乘积,Z 型稳定子测量的是 Z 算符的乘积。标准做法是:辅助比特先被初始化到特定基态,然后通过一串 CNOT 与相邻数据比特纠缠,最后在辅助比特上做基测量,测量结果即该稳定子的本征值(通常映射为 ±1,再编码为 0/1 的 syndrome 位)。
以 Z 型稳定子为例,辅助比特初始化为 |0⟩,CNOT 以辅助比特为控制、数据比特为目标;以 X 型稳定子为例,辅助比特初始化为 |+⟩,CNOT 以数据比特为控制、辅助比特为目标。这一“控制/目标方向随稳定子类型翻转”的约定是电路正确性的核心,也是初学者最容易写反的地方。若方向写反,测量得到的不是目标稳定子,而是另一个算符的期望,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 序列,最后交给解码器(如最小权完美匹配)处理,观察逻辑错误率随物理错误率的变化。
实际调试时,可先关闭数据比特噪声、只保留测量错误,观察解码器输出的逻辑错误率是否随测量错误率线性上升;再逐步加入 CNOT 错误与退相干,比较各节点对逻辑错误率的贡献。通过这种“逐节点注入”的方式,可以定位测量电路中最脆弱的环节,为硬件优化提供依据。