阈值定理

阈值定理（Aharonov–Ben-Or、Kitaev、Knill–Laflamme–Zurek，1996–97）断言：若每个物理部件的错误率低于某个常数阈值 $p_{th}$（且错误是局域、弱关联的），则任意规模的量子计算都可以容错地实现，开销（比特数与门数）只按计算的规模乘上 $O(\mathrm{polylog})$ 因子增长。换言之，纠错的层级递归可以指数抑制逻辑错误率，而代价只是多项式对数级膨胀。

$p_L^{(\ell )}\lesssim \frac{1}{c}(cp{)}^{2^{\ell }}(p<p_{th}=1/c),$

即每升一级 $p\mapsto c{p}^2$，$\ell$ 层级联后逻辑错误率对 $p<p_{th}$ 指数收敛（越低于阈值收敛越快；恰在阈值处保持常数——这正是”阈值”的含义），而开销只是 $O(\mathrm{polylog}1/\epsilon )$。

证明的三个构件

1. 容错门：逻辑门必须”横贯”（每个逻辑门的比特不相互作用在同一物理门上）或等价地不扩散错误——坏的单个物理门至多在每级留下一个可纠错误。Eastin–Knill 定理证明没有任何码能横贯实现通用门集，于是横贯 Clifford + 非横贯的 $T$ 门靠魔术态蒸馏补齐；
2. 容错症状提取：测量辅助比特（猫态/Steane 型）保证辅助自身的错误不会扩散到整个码块（CSS 码条目）；
3. 级联递归：把码再编码一遍（级联码）或扩大斑块（表面码），每升一级错误率被压低平方倍（$p\to c{p}^2$），$\log$ 级即达任意目标精度——指数抑制的来源。

阈值的数量级

• 级联码：$10^{-4}$–$10^{-6}$（依赖噪声模型）；
• 表面码对电路级去极化噪声：$\sim 1\%$——工程友好，这是它成为主流的核心原因；
• 当前硬件二比特门错误率 $10^{-3}$–$10^{-2}$ 量级（见量子计算硬件实现），已低于或接近表面码阈值，Google Willow（2024）首次演示了低于阈值的扩距收益。

假设边界

定理的假设是研究热点：关联噪声、漏损（leakage 到计算子空间之外）、长时间关联的 $1/f$ 噪声等都可能压低有效阈值；非马尔可夫噪声下需更强的独立性条件。量子 LDPC 码追求的则是在同等容错下大幅减少物理比特开销（把 polylog 常数做小）。

关联词条

• 概念：量子纠错、码距与逻辑量子比特、魔术态蒸馏
• 算法：容错是 Shor 算法、QSVT 等大规模算法能在真实机器上运行的前提

参考文献

• D. Aharonov, M. Ben-Or. Fault-Tolerant Quantum Computation with Constant Error. Proc. 29th ACM STOC, 176 (1997).
• A. Yu. Kitaev. Quantum Computations: Algorithms and Error Correction. Russ. Math. Surveys 52, 1191 (1997).
• E. Knill, R. Laflamme, W. H. Zurek. Resilient Quantum Computation: Error Models and Thresholds. Proc. R. Soc. Lond. A 454, 365 (1998). arXiv:quant-ph/9702058
• P. Aliferis, D. Gottesman, J. Preskill. Quantum Accuracy Threshold for Concurrent Distance-3 Codes. Quant. Inf. Comput. 6, 97 (2006). arXiv:quant-ph/0504218
• B. Eastin, E. Knill. Restrictions on Transversal Encoded Quantum Gate Sets. Phys. Rev. Lett. 102, 110502 (2009).