从「能纠错」到「算得起」:量子计算真正的考验才刚刚开始

📅 2026/7/24 23:40:13 👁️ 阅读次数 📝 编程学习
从「能纠错」到「算得起」:量子计算真正的考验才刚刚开始

恩里科排版丨恩里科

行业动向:4200字丨12分钟阅读

内容提要

在此前的文章容错跨过门槛:微软与 Quantinuum 取得量子纠错重大进展(内附Nature下载)当中,我们讲述了纠错领域的突破:微软与 Quantinuum 在《Nature》发表成果,纠错后的逻辑电路首次在多比特电路基准中稳定优于相应的物理基线,结合量子纠错、错误检测和后选择,逻辑电路相对物理基线的错误率最高改善约800倍。

2026年7月,Quantinuum与软银联合发布白皮书《Quantum Computing Frontiers》。在其中的量子化学算法级测试中,带纠错的编码电路虽然优于编码但不纠错的版本,却仍未跨过未编码基线;在较浅的电路上,纠错自身的开销甚至超过了它抑制的错误。

量子计算正在经历一次“换尺子”的阶段。此前IBM重新审视QV,是因为单一综合指标已经难以描述复杂硬件能力;而在量子纠错领域,类似的问题也正在出现:证明纠错有效,并不等于证明整条算法值得采用。

01

看起来一成一败,

其实换了把尺子

先回顾此前那项《Nature》成果。微软与Quantinuum在离子阱处理器上运行了最多12个逻辑量子比特的电路,在贝尔态制备实验中,团队结合错误检测与后选择,将逻辑电路错误率从物理基线的约0.8%降至约0.001%,对应约800倍改善,重复纠错中的每轮错误率改善约51倍;随后,团队又使用Tesseract编码运行Path-4、Cube-8和Cat-12等多逻辑比特电路,分别取得约15倍、11倍和22倍的改善。

它的意义在于,纠错不再只是让一个逻辑比特活得更久,或让一个逻辑门做得更准,而是开始穿过编码、逻辑操作和多轮纠错,在实际电路中产生可以测量的净收益。

但边界也很清楚:那项实验主要集中在Clifford电路,实时解码、条件前馈和通用逻辑门仍待完善。新白皮书把问题进一步推向了算法级,它也因此暴露出此前部件级实验尚未充分呈现的系统成本。

过去量子纠错领域讨论break-even,通常围绕局部或部件级指标展开。所谓break-even,是指带纠错的逻辑实现开始优于相应的未编码基线,例如逻辑比特保存得更久、逻辑门错误率更低,或逻辑态制备更可靠。

白皮书把这一判断推进到算法级:一条具有算法结构的完整基准电路执行下来,带纠错的编码实现能否超过同一算法结构的未编码基线。评价对象由局部性能转向了整条算法的整体执行质量。

02

把纠错放进真实算法

在白皮书当中,其中的一个章节是关于量子化学的。此前的量子纠错实验更多关注单个逻辑操作或有限深度电路,而Quantinuum与软银的这项工作进一步尝试:将带纠错的编码电路直接用于一个完整算法流程。

在量子化学这一案例中,研究人员并不是简单比较“纠错”和“不纠错”两种情况,而是设计了三种实现方式,用来拆解纠错带来的收益与成本。

第一种是未编码物理电路。它直接使用物理量子比特执行计算,不引入逻辑编码和纠错流程,代表当前硬件直接运行该任务时的参考基线;第二种是编码但不纠错的逻辑电路。该方案已经将物理量子比特组织成逻辑量子比特,但不执行错误检测和纠正,用于观察单纯引入编码后系统性能的变化;第三种是编码且纠错的逻辑电路。在逻辑编码基础上进一步加入纠错流程,希望通过额外的操作降低计算过程中的错误。

这三种实现方式之间的比较,分别回答三个递进的问题:

编码是否值得?通过比较未编码物理电路与编码但不纠错的逻辑电路,可以观察引入逻辑编码后带来的额外成本。

纠错是否有效?通过比较编码且纠错与编码但不纠错的逻辑电路,可以判断纠错机制本身是否降低了错误。

纠错是否已经值得投入?通过比较编码且纠错与未编码物理电路,才能判断纠错带来的收益是否已经覆盖编码、纠错以及额外控制流程带来的全部成本,也就是是否达到算法级 break-even。

图1 三种电路得到的误差大小比较

图片来源:根据《Quantum Computing Frontiers》Fig. 3.3 k=5处数据制作

实验结果显示,编码且纠错的逻辑电路优于编码但不纠错的版本,说明纠错机制确实发挥了作用;但与未编码物理基线相比,当前实现仍未体现整体优势,这也是白皮书认为尚未达到算法级 break-even 的原因。

因此,这次实验揭示的并不是“纠错失败”,而是当纠错真正进入完整算法流程后,评价标准也随之发生变化。

量子前哨(ID:Qforepost)认为,问题不再只是纠错能否降低错误,而是降低错误带来的收益,是否足以覆盖整个系统为此付出的成本。

03

为什么纠错有效,

却还没有赢?

量子纠错不是覆盖在电路外的一层免费保护壳。它本身也要调用额外的量子门、辅助比特、测量和条件判断,而这些操作同样会出错。

这次实验至少摊开了三笔账:纠错的固定成本、等待造成的记忆误差,以及非Clifford操作带来的系统开销。

第一笔:纠错有固定成本

白皮书中最值得看的地方,是带纠错和不带纠错的曲线发生了交叉。在H2-2上,电路深度参数为1或2时,编码但不插入纠错部件的电路表现更好;深度达到3及以上后,带纠错版本才开始在编码电路内部占优,但仍未超过未编码基线。

原因并不复杂:浅电路原本没有积累多少错误,纠错新增的量子门、测量和等待反而成为主要负担;电路继续加深后,被纠错挡下的损失才开始超过这些固定开销。

纠错不是一装上就能获利,而是存在回本门槛。

图2 在H2-2上,浅电路中不插入纠错部件的编码电路表现更好;随着电路加深,带纠错版本才开始在编码电路内部占优。图中退相干参数q越小越好。图中H2代表H2-2,H2(NoQEC)代表H2-2上未插入纠错部件的编码电路,H2-E(L)代表H2-2E噪声模拟器上的未编码基线。

图片来源:Quantinuum & SoftBank,《Quantum Computing Frontiers》,Fig. 3.3

第二笔:等待也是一种错误

这次实验没有跨过算法级break-even的直接原因之一,是长时间闲置带来的记忆误差。

编码、解码和纠错过程中,大量离子需要等待其他操作完成;离子链还要被搬运和重排,才能让不同位置的量子比特相互作用。离子阱的高连接性能够支撑复杂的非局域纠错电路,这是优势,但实现这种连接也需要时间。

递归门隐形传态和纠错部件中都包含“测量—判断—继续操作”的嵌套条件流程,进一步拉长了部分比特的闲置时间。码距为3,当等待和输运期间的记忆噪声不断累积,其有效强度就可能超过编码的保护能力,最终把逻辑错误率重新推回未编码基线之上。

白皮书的分项模拟显示,随电路加深明显累积的主要是门与读出误差,以及非相干记忆噪声;相干记忆误差已经通过动力学退耦得到较好抑制。硬件本身也提供了相应机制:H2与Helios分别提供了自动退耦与实时调度机制,但仍不足以跨过这道门槛。

这次不是纠错部件没有作用,而是系统为了完成纠错花了太长时间。

第三笔:有些操作天生就贵

此前《Nature》成果主要使用相对容易进行容错实现的Clifford操作,而相位估计式电路还需要非Clifford任意角旋转。完整容错通常需要开销巨大的魔法态资源和门合成。魔法态是一种用于实现非Clifford逻辑门的特殊辅助量子态,为了获得足够可靠的魔法态,还需要进行资源开销很大的魔法态蒸馏和门合成。

为了让实验能够在当前硬件上运行,团队已经通过选择演化时间和近似旋转角,把大部分操作化为Clifford门;剩余的任意角旋转则使用递归门隐形传态和错误探测,绕开魔法态蒸馏。

但这不是消灭成本,只是改变支付方式。它节省了魔法态与门合成资源,却增加了条件控制、输运和等待,而等待恰恰是当前系统最严重的误差来源之一。

这不是疏忽,而是一次有意识的工程交换:少付一笔资源账,多付一笔时间账。

量子前哨(ID:Qforepost)认为,三笔账指向同一个事实:纠错不是电路之外的保护壳,而是电路的一部分。一项成本被压低后,往往会以门数、辅助资源、控制复杂度或等待时间等形式,在系统的另一处重新出现。

从有效纠错到整体获益,还差什么?

白皮书提出的改进方向包括:组合使用记忆误差抑制技术、采用更高码距的纠错码,并继续推动硬件进步。码距为3的纠错码只能可靠纠正单比特错误,电路一长、等待一久,累积错误很容易越过它的保护能力。

量子前哨(ID:Qforepost)认为,算法级break-even还取决于两个系统条件:一是缩短综合征提取、实时解码、条件前馈和离子输运构成的完整循环;二是建立可扩展的非Clifford实现方案,不能长期依赖为小型实验量身定制的近似与折中。

真正难的不是把每个零件分别做好,而是让它们组合起来以后,整条计算仍然获利。

04

量子计算的验收权,

正在交到用户手里

这份白皮书最终要回答的,不是机器有多强,而是买家的活能不能干完。这份白皮书由Quantinuum与软银联合发布,两家公司长期希望探索量子处理器与AI、HPC共同运行的量子AI数据中心。白皮书的核心任务,是把算法资源需求与未来硬件路线图对应起来,并明确说明,这只是一组依赖硬件规模、错误率和纠错开销等假设的技术包络,而非确定性预测。

在这样的文件中,公开写下当前纠错实现尚未跨过未编码基线,固然值得注意;但比当前实验是赢是输更重要的是,它留下了一把可以重复使用的尺子。

下一代硬件出来后,研究人员可以重新运行同一类算法级基准电路,直接观察带纠错实现是否获得了整体净收益。进步不再只表现为更多量子比特、更高门保真度或更长逻辑寿命,还可以表现为同一个任务在整条执行链上的整体表现。

这也更接近未来量子算力客户的提问方式。企业不会只问一台机器有多少量子比特,而会问:我的工作负载能否执行,结果有多可靠,为此需要多少时间和资源?

前者描述机器,后者才接近业务决策。

因此,《Nature》成果与这份白皮书,并不是一次成功和一次失败。前者证明,在特定的多逻辑比特电路中,纠错带来的错误抑制已经超过其自身引入的开销;后者则说明,要把这种优势带进包含非Clifford操作、条件流程和长时间等待的算法级电路,仍需跨过新的门槛。换句话说,量子纠错正在经历一个新的阶段:部件级已经赢了,算法级还没有。

过去,我们只能笼统地说量子纠错“还早”。现在至少可以说清楚,它差在哪一层、受限于哪些操作,代价又以什么形式支付。真正的进步,是这笔账终于有了明细。(后台回复“量子计算前沿白皮书”获取白皮书pdf)

Reference:

SoftBank Corp. & Quantinuum《Quantum Computing Frontiers: A Use-Case Timeline for Quantum Chemistry and Topological Data Analysis》,2026年7月。

https://www.nature.com/articles/s41586-026-10628-y

「END」