本卷处理量子纠错的”动力学”:纠错与逻辑操作本身也是含噪的物理过程,怎样设计协议使单个物理故障不被放大成逻辑错误。主线是三条通用门构造路线(横向、传送、魔法态)加两比特门方案(晶格手术),落在 Eastin–Knill 定理标定的限制之内;再从周期级设计走向机器级账本——早期容错时代的算法、逻辑基准测试与资源开销估计。
本卷共 12 个词条,建议按下列顺序或按需跳读:
| 词条 | 读完能回答 |
|---|---|
| 容错量子计算总览 | 错误为何级联、容错判据(单故障至多单错)、门构造三分类、与阈值定理的分工、Megaquop 定位——本卷入口。 |
| 容错综合征提取 | 朴素测综合征的传播推导;Shor cat、DiVincenzo–Shor、Steane、flag 四方案的机制与开销对比表。 |
| 横向门 | 横向性的定义与天然容错;各码横向门清单(CSS/Steane/五比特/15 比特/三正交/色码/Bacon-Shor);2-transversality。 |
| Eastin–Knill 定理 | Lie 群证明骨架五步;Bravyi–König 拓扑版(第 D 层 Clifford 层级);魔法态/码切换/非对称码/原子重排四类绕过。 |
| 魔法态蒸馏 | 八面体与魔法方向;五比特码 5ε²;15-to-1 完整推导链(枚举多项式→MacWilliams→35ε³、阈值 0.141、ξ≈0.404);MEK 与 Bravyi–Haah 改进史。 |
| 魔法态注入与培育 | 注入 gadget 与 fault distance 1;Google 2025 培育全链路(40×、嫁接 d=5);Wan–Zapirain 精确化与 d_fault 陷阱。 |
| 晶格手术 | merge/split 稳定子合并规则与 XOR 真值表;CNOT 四步构造(53 比特);Litinski 贴砖游戏与 s·t·d³ 时空成本。 |
| 传送式逻辑门 | 门传送 gadget 与 Clifford 免修正的交换子论证;Knill CQC 后选择(阈值 1–3%);码切换统一视角。 |
| 纠错周期设计 | 电路级噪声建模;hook 错误机制与测量方向对策;实时译码与反应限制;Google d=7 低于阈值实现(Λ=2.14)。 |
| 早期容错与 Megaquop 时代 | Megaquop 机器定义;no-go 定理的真实边界;FLASQ 成本模型;培育冲击下 20M→1M 的资源下修。 |
| 逻辑基准测试 | cycle benchmarking 的 Pauli 谱与采样无关性;logical RB;每周期 vs 每门、kickback 层析、d_fault≠d 三大陷阱。 |
| 容错资源开销 | 账本四科目(patch/蒸馏厂/路由/冷存储);Gidney–Ekerå 2019 与 Gidney 2025 两版 RSA-2048 账的全对比。 |