阈值定理（threshold theorem）

真实的量子比特是有噪声的。你施加的每一个门、量子比特空等的每一刻，都会带来一点点误差。于是有一个显而易见的担忧：如果你造一台更大的计算机，用更多的量子比特、跑更长的程序，误差难道不会越积越多，直到答案变成一堆乱码吗？阈值定理就是回答“不一定会”的那个数学结论。它证明：只要你那些基本物理操作的错误率低于某个临界值（这个临界值就叫阈值），你就能用量子纠错把整个计算的有效错误率压到任意低。可以把它想象成通话时的降噪：只要背景噪声低于某个水平，系统清理噪声的速度就能始终快过噪声渗入的速度，于是一通长电话也能一直保持清晰。

关键就在“低于”这个词上。纠错要花费额外的物理量子比特和额外的操作，去保护少量真正的信息（一个受保护的、即逻辑量子比特）。如果你的硬件本就比阈值更干净，那么多加几层保护就能让情况稳步变好，而且当你要求更高的可靠性时，代价的增长只是温和的。可如果你的硬件比阈值更脏，加保护反而会让情况变糟，因为纠错机制引入的错误比它消除的还要多。对于研究最多的表面码（surface code）方案，阈值大约在每次操作 1% 的错误率上下，而当今最好的硬件也才刚刚开始触及这个水平。

所以阈值定理正是多数研究者相信大型、可靠的量子计算机原则上是可能的、而非被噪声彻底否决的根本原因。但它说的是“能做到什么”，并不是天上掉馅饼。维持在阈值之下很难，而且哪怕只保护一个逻辑量子比特，代价往往是成百上千个物理量子比特。正是这种开销，让我们如今仍停留在 NISQ 时代，还没有造出大规模的容错机器。