单次纠错(single-shot error correction)由 Bombin 在 2015 年提出(Phys. Rev. X 5, 031043):常规容错纠错要重复多轮测量才能确信综合征,而轮数随码尺寸无界增长会摧毁纠错过程的量子局域性(quantum-locality);单次纠错证明对合适的码,一轮局域测量就够。其机制核心是禁闭(confinement)——与自校正量子存储统一的物理图像:大的连通错误团被指数压制。3D 规范色码与 3D 子系统 toric 码(存储阈值 ≈1.045%)是两大实现载体,规范色码还借此实现常数时间的容错逻辑操作。

动机:重复测量的无界代价

测量本身是噪声过程。经典做法是重复测量以提升置信度阈值定理,但容错场景下所需轮数随码增长无界——即使每轮测量都是量子局域(quantum-local,即有界深度的局域电路+全局经典通信)操作,整个纠错过程也不再是量子局域的。单次纠错的纲领是:某些码上局域化的综合征测量错误只引起局域化的纠错错误,一轮测量后残余的是局域类噪声(聚成 O(1) 小簇),后续轮次可继续吸收——目标不是清零熵,而是把熵保持在低位Bombin 2015 (PRX)。纠错全流程(测局域 check→经典译码→局域翻转)是量子局域操作,容错性由此保全。

母例:2D Ising 重复码与禁闭推导

最简单的载体是 2D 方格上的重复码:qubit 放在面上,check 为相邻面间的 。错误链的综合征是其所围区域的边界——必须闭合。三个阶段的推导Bombin 2015 (PRX):

  1. 原始禁闭:每 qubit 独立以概率 翻转时,边集 落入综合征的概率 ——每条边可由两个 qubit 之一贡献,每个翻转最多影响 4 条边。低于临界 时熵涨落不敌 Boltzmann 压制,大环指数稀少,正如 2D Ising 模型的低温相。
  2. 修补伪综合征:测量在边集 上出错时,读到的 不再闭合。取最小修正 使 闭合,则 ,有效测量错误为 。
  3. 残余禁闭: 的元素多于半数来自 ,逐元素计数给出 作为综合征的概率上界 ;更一般地,对任意子集 有

即压制因子是 型的——测量错误率开方后进入指数。残余综合征环因此禁闭,逻辑错误只可能来自跨越系统的连通团,概率随格尺寸指数衰减。

2D Ising 重复码三阶段纠错
图:2D Ising 重复码的纠错三阶段——错误链的综合征是闭合边界(左);测量错误产生带端点的伪综合征,用最小边集修补(中);纠错后残余综合征即有效测量错误,小的连通簇被概率压制(右)(来源:QE207)

维度判定:1D 中激发是点状、自由移动无能量代价,无禁闭——错误测量的孤立综合征点不受压制,重复码在 1D 无法单次纠错(时间重复正是给 1D 补上禁闭所需的第二维);已知自校正系统需要 ≥4 空间维(激发必须是广延对象才能被能量禁闭)。

3D 规范色码:电荷禁闭与 Gauss 定律

出乎意料的是,子系统码的规范自由度能在 3D 复现禁闭Bombin 2015 (PRX)。3D 格点顶点四色(r/g/b/y),边带两色(其两端顶点色之余色,如 rg-边连 b-顶点与 y-顶点)。机制分两层:

  • 规范综合征是 string-net:测权重 ≤2 的规范生成元得到的规范综合征是边集,每种颜色分别满足通量守恒(该色所有边在每个顶点处成偶数相遇)——即色通量的 Gauss 定律。噪声规范综合征不闭合,但可用最小边集修补成满足守恒的 ; 受概率压制聚成小簇。
  • 错误综合征是分支点:顶点属于错误综合征当且仅当奇数条规范综合征边在其上相遇。 成小簇 ⇒ 其分支点(即错误的错误综合征输出)成对近邻出现,且每簇总电荷中性——点状的错误测量输出从广延对象的禁闭里继承了禁闭,可视为电荷被 的通量管束缚的格点规范理论图像。这一’继承’机制与 1D 重复码横向测量逻辑 时的结构同型:错误的 check 输出是错误测量的弦的端点,弦受压制 ⇒ 端点受压制。
规范综合征两阶段提取
图:错误综合征提取两阶段——上:规范生成元测量给出违反色通量守恒(双色圈标记)的噪声规范综合征;下:补边修复守恒后,错误综合征取为通量网的分支点(彩色圈)(来源:QE207)
电荷禁闭
图:有效测量错误构成小簇的规范综合征——每簇贡献的分支点近邻成对且总电荷中性,点状错误输出由此继承禁闭(来源:QE207)

形式化用噪声类 (=综合征”温度”刻画禁闭强度,=逻辑噪声)与恢复类 :单次纠错要求

且 (当 )、(当系统增大)。对 K-confining 的子系统码族,定理 18 证明该性质成立,残余温度按平方根标度 随测量噪声趋零Bombin 2015 (PRX)。3D 规范色码同时通过规范固定(gauge fixing)切换编码方案实现通用门集的横向操作——常数时间开销的容错方案;X/Z 两类错误各做一遍上述流程(规范生成元不对易,无法合一)。

3D 子系统 toric 码:权重 ≤3 的实现

Kubica 与 Vasmer 的 3D 子系统 toric 码(3D STC)是第二个干净载体:稳定子 toric 码的子系统化推广,只需立方格上权重 ≤3 的局域 checkKubica & Vasmer 2021 (arXiv)。其单次策略用 Z 型规范测量的一致性检查 + 最小权重估计 ;数值估算独立 bit-flip/phase-flip/测量错误下的存储阈值

与 3D 规范色码相比,check 权重更低(≤3 vs 规范色码的 ≤2 规范生成元配更高权稳定子),两者给出”2D 码靠时间重复 vs 3D 码单轮即可”的资源对比框架。

2025–2026 进展

单次性质是”规范色码骨架”的可迁移属性:Lee 与 Yoshida 的手征色码(chiral color code)在规范色码框架内实现费米与手征拓扑序(qubit 版为费米 toric 码相,qudit 版带手征参数 、实现 任意子理论),并证明体短程纠缠(奇 d、互素 α,构造显式局域量子信道制备基态)——单次纠错与码切换能力完整继承Lee & Yoshida 2025 (arXiv)。qLDPC 侧,偏置定制单次码与 multicycle 完全单次译码把同一思想带出拓扑码范畴Wu, Brun & Lidar 2025 (arXiv)、Mian, Gwilliam & Krastanov 2026 (arXiv)(详见qldpc-frontier-2026)。与 Floquet 码家族的关系:单次纠错对抗”测量噪声要重复”,Floquet 码接受”测量必须重复”并把重复组织成码本身——两条路线在 3D 动态构造中开始合流(见floquet-frontier-2026)。

延伸阅读