4.3 阈值定理与逻辑比特：防线成立的价格标签
4.3 阈值定理与逻辑比特：防线成立的价格标签
本节摘要：阈值定理保证物理错误率低于门槛时，编码可以把任意长计算的可靠性做到任意高——但代价按平方律计：逻辑错误率每压低一个数量级，物理比特与时间开销都要上一个台阶。本节给出从目标错误率反推距离与开销的计算器，把"何时能破解 RSA"这类宏观问题换算成具体数字。
别以为逻辑比特只是更贵的物理比特
一个常见的误读把逻辑比特理解成"精装修版的物理比特"——买九个凑一个，凑够数量就能干活。这个理解漏掉了编队防御最反直觉的特性：逻辑比特的价值随编队规模非线性增长。距离三的编队可能还不如物理比特可靠（开销吃掉了收益），距离五开始显现压制，距离七、九才进入"越贵越划算"的通道——而一旦越过某个规模，再往下压错误率只是线性加钱的事。理解这条非线性曲线的形状、它的前提（错误率低于阈值）与它的斜率（开销标度律），是评估一切容错方案包括那些"百万比特"路线图的基本功。本节就做这一件事：把价格标签打出来给你看。
一、阈值定理：防线成立的数学承诺
定理的表述朴素得近乎平凡：存在某个错误率门槛（阈值），只要物理门错误率压在门槛之下，就可以通过增大码距把逻辑错误率压到任意低——任意长的计算因此可行。平凡的外表下藏着三重含义。其一，它把"量子计算是否可行"从哲学问题变成工程问题：可行性不再要求完美器件，只要求"错误率低于某条线加足够的冗余"。其二，它规定了投入的边际收益是正向的：低于阈值时，加码必赚；高于阈值，加码全是沉没成本——防线只在门槛一侧成立。其三，它把整个领域的工作重心钉死在一个数字上：当前主流器件的双门错误率在千分之一到百分之一之间徘徊，而表面码的阈值恰好在百分之一附近，两者贴身相遇——这正是过去几年"逻辑比特"新闻爆发的深层原因：器件第一次摸到了防线的门槛。
图 4-3：距离与逻辑错误率——门槛两侧的两种命运
二、演练：从目标错误率反推账单
标度律可以直接写进代码。表面码的工程近似公式：逻辑错误率约等于系数零点零三乘以（物理错误率除以阈值）的（码距加一）除二次方幂——不必纠结常数来源，形状是对的：码距每加二，错误率乘一个固定的折扣因子。下面的计算器从目标反推账单。
# overhead.py：表面码距离与开销计算器（仅标准库） def logical_error(p, d, pth=0.01): """表面码每逻辑操作的错误率工程近似。""" return 0.03 * (p / pth) ** ((d + 1) // 2) def distance_for(p, target, pth=0.01): """从目标逻辑错误率反推最小码距（取奇数）。""" d = 3 while logical_error(p, d, pth) > target: d += 2 if d > 99: raise RuntimeError("码距爆表：物理错误率可能已越阈") return d p = 0.001 # 物理双门错误率：千分之一 print(f"物理错误率 {p:.3f}，阈值 {0.01}，p/pth = {p/0.01}") print(f"{'目标逻辑错误率':<12}{'最小码距':>8}{'物理比特/逻辑比特':>16}{'每逻辑门循环数':>14}") for target in [1e-3, 1e-6, 1e-9, 1e-12]: d = distance_for(p, target) n_qubits = 2 * d * d - 1 # d 平方数据比特 + 约等量测量比特 print(f"{target:<14.0e}{d:>10}{n_qubits:>18}{d:>16}")
逐行读账单。目标每次逻辑操作出错率千分之一，码距三就够，十七个物理比特养一个逻辑比特——小打小闹的演示任务在这个档位。目标压到百万分之一（分解有密码学意义的长整数所需量级），码距升到九，一百六十一个物理比特换一个逻辑比特，且每个逻辑门要跑九轮纠错循环——空间与时间双双乘九。目标再压三个数量级到十的负十二次方（跑几小时不出的深算法），码距二十一、八百八十多个物理比特、每门二十一轮循环。三个数量级的可靠性，买价是五十倍的比特与七倍的时长——这就是平方律的真面目：可靠性按指数买，账单按平方付。
两个现实修正别漏。其一，上面算的是"一个逻辑比特"的账，真实算法还要做逻辑门之间的通信、磁体态蒸馏（非克利福德门需要额外的高纯度资源态，蒸馏工厂动辄占用编队近半的面积），整体乘数依算法在几倍到几十倍之间。其二，物理错误率本身的改善比扩码距便宜得多：p 从千分之一降到万分之五，同样的目标下码距能砍掉数档——这是"材料工艺的进步比堆比特划算"的定量版，也是第 3 章那场 T1 逆袭史的延续。
三、战报对照：把尺子对准新闻
有了计算器，可以校准几类常见战报的含金量。第一类，"实现了逻辑比特"：距离三、十七个物理比特的演示属于原理验证，价值在于跑通纠错循环，不在性能。第二类，"逻辑错误率低于物理比特"：2023 年前后多家团队在这条线上过关，距离五或七的编队首次把逻辑错误率压到成员物理比特之下——跨过"防御开始回本"的临界点，是近年最重要的战果之一。第三类，"随距离增大错误率被压制"：把距离三、五、七的编队逐级放大并测得错误率系统性下降，等于在实验上直接验证了阈值定理的预测曲线——2024 年已有团队给出完整曲线。第四类，"破解 RSA 只需几小时"之类：把距离二十上下的编队、上百万物理比特、外加蒸馏工厂的账全算上，学界当前的主流估算在"百万到千万量级物理比特、运行数小时到数周"的区间，且尚有大量工程前提未兑现——听到这类新闻，先问账单细节，再看是否有人把"理论上限"当成了"工程报价"。
本节要点回顾
- 阈值定理是分水岭：门槛之下加码必赚，之上加码全赔，评估任何方案先看错误率在哪一侧。
- 开销按平方律计价：码距加二，物理比特翻近一倍，可靠性按折扣因子指数改善。
- 百万分之一是分水岭目标：密码学相关的任务通常从此档起步，对应约九码距、百级物理比特。
- 蒸馏与通信是隐藏账单：非克利福德门的资源态工厂可占编队近半面积，别只算数据比特。
- 改善器件比扩编队便宜：物理错误率减半，往往等效于码距砍掉两档，工艺进步的杠杆最大。
防线与账目都清楚了。下一章转入战术层：在防线尚未全部建成的当下，算法与软件如何在噪声的缝隙里把仗先打起来。