The Threshold Theorem in Watts: Fault Tolerance as a Question About Objective Probability

量子豪赌：为什么建造完美的计算机可能比你想象的更贵

想象一下，你正试图在飓风中心搭建一座纸牌屋。这些纸牌就是你微小的信息位，而飓风则是不断试图将它们吹倒的、嘈杂且混乱的现实世界。在量子计算领域，科学家们正试图制造一种能够解决当今计算机无法处理的问题的机器，但这些机器极其脆弱。哪怕是一次微小的热量喷嚏或轻微的震动，都可能毁掉整个计算。为了解决这个问题，工程师们使用了一种聪明的技巧，叫做“纠错”（error correction）。他们不只使用一张纸牌，而是使用一叠纸牌来代表一个信息单元。如果风吹倒了一张纸牌，其他的纸牌可以告诉你原本那张纸牌应该是怎样的。

几十年来，一个被称为“阈值定理”（Threshold Theorem）的著名法则一直是整个量子产业的金钥匙。它承诺，只要你能让风（噪声）足够安静，你就可以堆叠足够高的纸牌，从而建造一座永不倒塌的计算摩天大楼。该定理指出，只要你的错误率低于某个极小的数值，你就可以通过不断增加纸牌的数量来修复错误，并且机器会变得越来越好，而只需付出可控的额外代价。这个想法如此强大，以至于驱动了数十亿美元对量子初创公司的投资以及未来超级计算机的发展蓝图。但问题在于：这个定理是在假设“风是唯一问题”的前提下写成的。它没有计算维持纸牌稳固所需的工具成本、保持房间低温所需的能量，或是检查纸牌是否倒下的时间成本。

论文的核心思想：计算真实的成本

阿米特·哈格尔（Amit Hagar）撰写的这篇论文提出了一个简单但具有革命性的问题：如果“阈值定理”在数学上是正确的，但在现实中因为忘记了给电费计费而变得不可能实现呢？

哈格尔提出了一种看待概率的新方式。他建议我们不要把概率看作一种猜测或信念感，而是将其视为一个价格标签。在他看来，一台计算机成功达到特定状态的可能性，完全取决于到达那里需要消耗多少能量和时间。如果成本很低，概率就很高（接近100%）；如果成本巨大，概率就会降至接近于零。他称之为“资源受限的可实现性”（resource-bounded realizability）。

利用这种“能量价格标签”的思想，哈格尔重新审视了阈值定理。他认为，原有的定理就像一份预算，它只计算了纸牌（量子比特）的成本，却忘了计算桌子、空调以及检查纸牌的工作人员的成本。他指出了原数学模型遗漏的四个巨大的“隐藏成本”：

1. 校准（Calibration）： 机器会发生漂移并失去精度。你必须不断停止并重新校准它们，这需要时间和能量。
2. 解码（Decoding）： 为了修复错误，经典计算机必须读取数据并弄清楚哪里出了错。这种计算需要时间和功率，而且必须在下一个错误发生之前瞬间完成。
3. 相干电池（The Coherence Battery）： 量子态只能持续极短的一瞬间（微秒级）。整个纠错过程必须在“电池”耗尽之前完成。如果过程太慢，无论数学理论多么完美，状态都会坍缩。
4. 熵冲洗（Entropy Flush）： 每当你修复一个错误时，你都会产生热量和混乱（熵）。你必须不断地将这些混乱排走，并引入新鲜、寒冷的“辅助”（ancilla）部分。这就像是在以光速行驶时不断更换汽车机油一样。

结论：一场与功率计的赛跑

论文指出，当我们将这四个隐藏成本加入预算后，“阈值定理”看起来可能不再是一条平坦、容易的路，而可能看起来像是一个陡峭的悬崖。

哈格尔引入了一种衡量量子计算机可行性的新方法：每降低一个数量级误差所需的瓦特数（Watts per decade of suppressed error）。想象一下，如果你想让你的计算机精确度提高10倍（即一个“数量级”的提升），你需要多付多少电费？

• 乐观主义者的观点（定理）： 成本曲线应该是平坦的。无论机器变得多么庞大，让计算机提高10倍精度所付出的额外电力成本应该大致相同。
• 哈格尔的观点（现实检查）： 成本曲线可能会急剧攀升。每当你试图让计算机提高10倍精度时，电费可能会飙升，因为校准、解码和冷却成本的增长速度会超过机器性能提升的速度。

该论文并不声称量子计算机是不可能的。它也没有说阈值定理在数学上是错误的。相反，它认为该定理关于“免费”资源（如免费校准和瞬时解码）的假设在物理上是不切实际的。作者指出，我们已经拥有了一些关于这些成本的数据点。例如，一项实验显示，重新校准机器占据了大量的时间；另一项实验则显示，冷却机器所需的功率是巨大的。

最终定论的两个测量指标

哈格尔以一个挑战结束。他说我们不再需要争论理论或噪声模型。我们只需要插上一个功率计。他提出了两个具体的测量指标，可以彻底解决这场争论：

1. 斜率测试（The Slope Test）： 测量随着量子计算机规模变大、精度提高时，其消耗的电功率。具体来说，测量提高一个数量级（十倍）误差率需要多少瓦特。如果随着机器增长，这条线保持平坦，那么阈值定理获胜。如果这条线直冲云霄，那么“隐藏成本”获胜，这意味着容错计算可能比我们想象的要困难得多。
2. 经典对比（The Classical Comparison）： 将量子计算机的功率曲线与执行相同任务的经典计算机进行对比。如果量子机器的电费攀升得过高，那么与普通计算机相比，它的能源成本可能永远不划算。

论文总结道，关于量子计算机能否工作的三十年辩论一直陷入了关于假设的循环争论中。哈格尔建议我们通过将这场辩论转化为一个简单的会计问题来打破这种循环。答案不在哲学书里，也不在复杂的模拟中，而是在功率计上。如果电费保持在低水平，我们就建造摩天大楼；如果电费飙升，那么我们最终可能真的只是在飓风中搭建一座纸牌屋。