2. 量子纠错基础回顾

在进入周期调度与延迟预算之前，需要先把量子纠错的基本对象和流程重新对齐。量子纠错的核心矛盾是：量子态不可克隆、测量会破坏叠加态，因此不能像经典纠错那样直接复制比特并逐位比对。稳定子码给出的解法是——不测量数据本身，而是测量一组满足特定对易关系的算符（稳定子），用测量结果的“综合征”间接判断错误类型，而不获取编码态的具体信息。

稳定子码：用算符本征值定义编码空间

设有一组作用于 n 个物理量子比特的泡利算符 S₁, S₂, …, S_{n−k}，它们两两对易且相互独立。稳定子码的编码空间定义为所有这些算符本征值均为 +1 的联合本征子空间，维数为 2^k，即编码 k 个逻辑量子比特。若某个错误 E 与某个稳定子 S_i 反对易，则测量 S_i 时本征值翻转为 −1，这个翻转模式就是综合征。不同的错误若产生相同综合征，则它们只相差一个稳定子元素，对编码空间的作用等价，这正是纠错能够“只纠到等价类”的原因。

以最简单的三比特重复码为例，稳定子为 Z₁Z₂ 与 Z₂Z₃，编码 |0_L⟩=|000⟩、|1_L⟩=|111⟩。若第二个比特发生 X 错误，两个稳定子测量值都变为 −1，综合征为 (1,1)，可唯一定位错误位置。这个例子说明：稳定子测量把“连续的错误空间”压缩成“离散的综合征空间”，为后续解码提供了有限的状态集合。

表面码：把稳定子铺在二维格点上

表面码是当前工程实现最受关注的稳定子码族。它把物理量子比特放在二维格点的边上，把稳定子放在格点的面（face）和顶点（vertex）上：面稳定子为围绕该面的 X 型算符乘积，顶点稳定子为围绕该顶点的 Z 型算符乘积。数据比特位于边上，测量比特（辅助比特）位于面心或顶点，用于间接测量稳定子而不直接触碰数据比特。

表面码的关键参数是码距 d。码距为 d 的表面码可纠正 ⌊(d−1)/2⌋ 个数据错误，逻辑错误率随 d 增大呈指数下降，代价是物理比特数约 2d²−1 量级。例如 d=3 时约需 17 个物理比特编码 1 个逻辑比特，d=5 时约需 49 个。这个“用数量换质量”的缩放关系，是延迟预算中必须计入的资源约束：码距越大，单轮综合征测量涉及的辅助比特和门操作越多，周期时间也越长。

逻辑量子比特与逻辑操作

逻辑量子比特不是某个物理比特，而是整个编码空间的集体自由度。逻辑 X、Z 算符是能与所有稳定子对易、但不在稳定子群内的泡利串，例如表面码中贯穿整个格点的 X 链或 Z 链。逻辑操作通过“缺陷编织”或“格点手术”实现：移动缺陷、合并与分裂面，从而在拓扑层面完成逻辑门。这类操作天然具有拓扑保护，但也意味着一次逻辑门往往需要多个纠错周期才能完成，直接进入延迟预算的考量范围。

纠错周期与综合征测量的基本流程

一个纠错周期由四个阶段构成，顺序固定且每一步都消耗时间。第一步是辅助比特复位：把面心或顶点的测量比特制备到 |0⟩，这是后续受控门能够正确累积本征值的前提。第二步是受控门序列：以面稳定子为例，辅助比特作为控制、四个相邻数据比特作为目标，依次执行 CNOT，把四个数据比特的 X 型信息累积到辅助比特上；顶点稳定子则用相反方向的 CNOT 链累积 Z 型信息。第三步是辅助比特测量：在计算基下读出辅助比特，得到 ±1 的本征值，即该稳定子这一轮的综合征比特。第四步是解码与反馈：把多轮、多稳定子的综合征比特送入解码器（如最小权完美匹配），推断最可能的错误链，再决定是否施加纠正操作。

这里有一个工程上极易被忽略的细节：综合征测量本身也会出错。如果辅助比特复位失败、CNOT 门有误差或测量翻转，那么读出的综合征比特可能是错的。因此实际系统不会只依赖单轮结果，而是保留最近若干轮的综合征历史，用“时空图”上的匹配算法同时处理数据错误和测量错误。这也解释了为什么延迟预算不能只算一轮：解码器需要积累 d 轮左右的综合征才能可靠判定一个逻辑错误，反馈延迟必须覆盖这个窗口。

从原理到调度：三个必须记住的量

把上述原理压缩成调度视角，有三个量贯穿后续所有讨论。其一是单轮周期时间 T_cycle，由复位、CNOT 链深度、测量与读出时间相加得到，典型量级在微秒级，具体取决于硬件。其二是解码窗口 W，即解码器需要多少轮综合征才能给出可靠判断，通常与码距同阶。其三是反馈延迟 T_fb，从测量完成到纠正操作生效的时间，必须小于错误累积到不可纠正程度的时间尺度。三者共同决定了一个逻辑操作能否在相干时间内完成，也是后续周期调度策略的输入参数。

回顾到此，表面码的结构、稳定子的作用以及单轮测量的四个阶段已经清晰。下一阶段讨论周期调度时，所有时间参数都将从这四个阶段中逐项拆解出来，而不是凭空设定。