阈值定理

阈值定理（threshold theorem）是容错量子计算的中心定理：只要每个元件的错误率低于某个常数阈值 ${\eta }_0$，任意长度的量子计算都能以多项式对数（polylog）的开销可靠地完成。它由 Shor 1996（容错纠错构件）、Aharonov–Ben-Or 与 Knill–Laflamme–Zurek 1997/1998（完整定理）接力证明，把”量子计算是否被噪声根本性地封锁”这个问题一锤定音地回答为”否”。2024 年 Google Willow 实验首次在硬件上观测到定理预言的低于阈值行为，2021 年后 qLDPC 好码又把定理的开销从 polylog 压向常数。

图:码级联——把每个量子比特替换为码块、每个门替换为容错实现的矩形(gadget),错误率逐层递推压低(来源:QE017)

定理陈述

给定深度为 $D$ 的理想电路 $C$ 与每元件错误率 $\eta$ 的噪声实现。阈值定理：存在常数阈值 ${\eta }_0>0$ 与多项式 $q$，使得只要 $\eta <{\eta }_0$，就能构造模拟 $C$ 的物理电路 $C^{\prime }$，总错误不超过 $\epsilon$，而 $C^{\prime }$ 的规模是 $|C|\cdot \mathrm{polylog}(|C|/\epsilon )$ 量级——开销随精度只按 polylog 增长Aharonov & Ben-Or 1997 (STOC)、Knill, Laflamme & Zurek 1998 (Proc. R. Soc. A)。定理的物理内容是双指数抑制：低于阈值时，增加级联层数让有效错误率按 $2^{\ell }$ 次幂消失。

级联结构

证明的载体是级联码（concatenation，见concatenated-quantum）：level-$\ell$ 电路是 level-$(\ell -1)$ 电路的容错模拟——

1. 每个逻辑比特用一个码块编码（如 $[[7,1,3]]$ Steane 码的 7 比特块）；
2. 每个门用容错 gadget 替换：gadget 内部任意单点故障在输出处至多造成权 1 的逻辑错误（Shor 1996 的 cat 态构造与 Gottesman 的 gadget 形式化定义）Shor 1996 (FOCS)、Gottesman 1998 (PRA)；
3. 纠错在最低层最频繁执行——Aharonov–Ben-Or 原文：“The lower the level, the more often are error corrections of this level applied”Aharonov & Ben-Or 1997 (STOC)。

图:Steane $[[7,1,3]]$ 码的两级级联——7×7=49 个物理比特编码 1 个逻辑比特,每层都配纠错线路(来源:QE016)

递推推导：为什么低于阈值就指数抑制

设一个码块级别的操作（含纠错）内部发生”两个底层错误串通”时才产生一个高层错误。单个故障对的影响区域（rectangle）内，能串通的故障对路径至多 $A$ 条（Aharonov–Ben-Or 的 $A$ = 一对错误可联合的路径数；KLZ 对 Steane 码级联的具体计数：每 cat 态平均 7 个操作 × 6 个综合征比特 × 2 次尝试 + 2 ≈ 86 个错误位置，最大门 14 比特 → $14\times 86=1204$）。每条路径要求两个故障都发生，概率 $\lesssim {\eta }^2$，故一级级联后的有效错误率满足

$\eta ⟼{\eta }^{\prime }\le A{\eta }^2.$

迭代 $h$ 层（KLZ 原文的递推形式）：

${\eta }_h\le c^{2^h-1}{\eta }^{2^h}=\frac{(c\eta {)}^{2^h}}{c},$

其中 $c\approx A$ 吸收计数常数。收敛条件正是 $c\eta <1$：阈值 ${\eta }_0=1/c$，低于它时 ${\eta }_h$ 随层数 $h$ 双指数趋零；高于它时递推发散，级联反而放大错误。要做完长度 $D$ 的计算共需约 ${\log }_2{\log }_{2}D$ 层（使 ${\eta }_h\cdot D\ll 1$），每层常数倍放大电路——这就是 polylog 开销与”低于阈值即指数抑制”的全部来源Knill, Laflamme & Zurek 1998 (Proc. R. Soc. A)。

容错四要素

KLZ 把成立条件总结为四件套：量子纠错码 + 容错纠错 + 容错的编码操作 + 级联。其中”容错纠错”的关键构件是 Shor 的 cat 态综合征测量：辅助态制备为 $\frac{1}{\sqrt{2}}(|0^w⟩+|1^w⟩)$ 并验证，使测量线路内任意单错误至多在数据上造成权 1 错误（推导见syndrome-extraction）——没有这一步，纠错操作本身会成为最大的错误放大器，递推 $\eta \mapsto c{\eta }^2$ 无从谈起。Aharonov–Ben-Or 进一步证明整个方案可做成免测量（替换-重试式纠错网络）且对最近邻架构仍保有常数阈值Aharonov & Ben-Or 1997 (STOC)。

阈值数值的演进

阈值不是普适常数，而是”码 × 噪声模型 × 纠错线路”三者的函数Knill, Laflamme & Zurek 1998 (Proc. R. Soc. A)：

• 朴素估计：AB97/KLZ 的级联方案给出 ${\eta }_0\sim 10^{-6}$（当年的保守计数，如上面 1204 的例子）；
• 现代级联码：优化后的 Steane 码级联阈值约 $10^{-4}$–$10^{-3}$ 量级Terhal 2015 (RMP)；
• 表面码：现象学噪声约 3%、电路级噪声约 1%（见surface-code-threshold）——高出级联码两个数量级，这是表面码成为主流路线的直接原因；
• 开销革命：2021 年渐近好码的构造让”常数开销”成为可能Panteleev & Kalachev 2021 (arXiv)；2025 年 Christandl 等把一般噪声下的常数开销容错做完Christandl et al. 2025 (arXiv)——polylog 定理的原始界不再是终点。

实验确认：低于阈值的行为

定理预言的可观测信号是：码距增大时逻辑错误率指数下降。2024 年 Google Willow 在 d=3/5/7 表面码上测得误差抑制因子 $\Lambda ={\epsilon }_d/{\epsilon }_{d+2}\approx 2.14$（神经网络译码），即每把码距加大 2，每轮逻辑错误率减半以上——$d$ 增大反而更可靠的”低于阈值”行为首次在硬件上成立Acharya et al. 2024 (Nature)（实验细节见google-willow）。理论的开销侧全景——表面码、qLDPC、Majorana 三条路线的资源账本——见 Campbell–Terhal–Vuillot 的路线图综述Campbell et al. 2017 (Nature)与ft-resource-overhead。

延伸阅读

• ft-overview
• syndrome-extraction
• concatenated-quantum
• surface-code-threshold
• ft-resource-overhead
• error-models