错误会级联：为什么”测个综合征”并不安全
朴素的综合征提取是让一个辅助比特依次与各数据比特做 CNOT、再测量辅助比特。问题出在传播上：以测 型稳定子（数据为 control、辅助为 target）为例，CNOT 的共轭规则给出
辅助比特在序列中途发生的一个 故障会反传到所有尚未接触的数据比特上——单个故障瞬间变成多比特错误，恰好落在码想纠正的对象之外DiVincenzo & Shor 1996 (PRL)。这不是工程瑕疵而是结构问题：纠错电路自己就是最大的错误源。容错设计的第一目标因此是切断这条级联路径。
容错判据
把”故障”（fault）定义为电路中单个物理位置（门、制备、测量或闲置）上发生的一次错误。一个协议是容错的（fault-tolerant），若每个故障在每块编码数据上至多造成一个物理比特的错误——对距离 的码， 个故障内仍可正确纠正Gottesman 1997 (arXiv)。Gottesman 进一步发展了”位置等价类”（location equivalent classes）与恶性故障（malignant fault）计数方法，使这一判据可以对任意稳定子码系统检验。工程化的表述是 ExRec（extended rectangle，输入综合征加门加输出综合征）框架：门与前后纠错一起被当作完整单元验证Campbell, Terhal & Viola 2017 (Review)。
容错门的三条构造路线
通用量子计算需要非 Clifford 门，而构造它们恰是容错最难的部分（见eastin-knill）。历史上沉淀出三条正交的路线，本分类的十二个词条即沿此展开：
- 横向门（transversal gates）：逻辑门逐比特分解，单故障天然不扩散。CSS 码的横向 CNOT、Steane 码的横向 、 码的横向 都是此类——但 Eastin–Knill 定理保证任何单个码的横向门集不可能通用，详见transversal-gates。
- 传送式门（teleported gates）：用编码 Bell 态与 Bell 测量加经典前馈实现逻辑门，Knill 的后选择容错方案把这条路线推到阈值 1–3%，见teleportation-gates。
- 魔法态注入与蒸馏（magic state injection and distillation）：把非 Clifford 门”物质化”为特殊资源态，注入后在 Clifford 层内消耗。Bravyi–Kitaev 2004 证明噪声魔法态可以蒸馏提纯，这是当代架构（包括 Google Willow）的主流选择，见magic-state-distillation与magic-state-injection。
此外，拓扑码平台上的晶格手术（lattice surgery）用 merge/split 测量实现逻辑纠缠，是与横向门并行的两比特门方案，见lattice-surgery。
与阈值定理的分工
容错协议与threshold-theorem是一对分工明确的概念：协议提供”局部保证”（每个组件内故障不级联），定理提供”全局保证”（级联这些组件后逻辑错误率指数下降）。Aharonov 与 Ben-Or 1996 证明：只要存在容错组件集且物理错误率低于某个阈值 ，任意长的量子计算都可以用多项式开销完成Aharonov & Ben-Or 1996 (arXiv)。数值上阈值依赖码与噪声模型，从级联码时代的 量级到表面码电路级阈值的约 1%。今天的主流叙事把”低于阈值运行”当作实验里程碑——Google 2024 年的 表面码存储（每步距离的误差抑制因子 ）是第一个实例Google Quantum AI 2024 (Nature)。
从理论到 Megaquop
容错理论的完备并不等于机器一夜可用。Preskill 2025 年提出 Megaquop 机器概念——能执行约百万次可靠量子操作的早期容错设备，作为 NISQ 与完整容错之间的过渡阶段，其算法形态是浅逻辑深度电路加错误缓解的混合Preskill 2025 (arXiv)。这一阶段的边界（no-go 定理到底排除了什么、算法级成本模型如何折算）见early-fault-tolerance，而完整规模应用的资源账本见ft-resource-overhead。