IBM的三项研究展示了可自证的量子计算优越性
2026年7月底，IBM联合芝加哥大学、Qedma以及Algorithmiq等学术和产业界合作伙伴，连续发表了三项里程碑式的重磅研究。这三项工作不仅展示了量子计算在特定任务上超越顶尖经典超级计算机的能力（即量子优越性，Quantum Advantage），更核心的突破在于解决了“当经典计算机无法验证时，我们如何信任量子计算结果”这一根本性难题。
背景：量子优越性的“信任危机”
多年来，科学界验证量子计算正确性的方法主要依赖经典超级计算机的模拟。然而，当量子线路的规模和复杂度跨越某一临界点后，经典模拟要么耗时数千年，要么因近似算法发散而失效。
这就带来了一个逻辑悖论：如果经典计算机已经无法算出正确答案，我们凭什么相信量子计算机给出的结果不是噪声干扰产生的错觉？
传统的“向外外推”验证（在小规模线路上验证正确性，然后假设大规模线路上也同样可靠）在进入量子优越性区域后往往会失效，因为噪声传播和纠缠复杂度的变化在跨越临界点后完全不同。IBM与合作者们提出的解决方案是：从“依赖经典答案比对”转向“自认证机制”与“硬件/噪声过程验证”。
三项突破性工作
三篇关于“可验证量子优越性”的论文，分别从理论建构与自认证线路、跨平台硬件与物理模拟验证、噪声模型与算符动力学检验三个维度，探讨了在经典计算机无法精确模拟的机制下如何建立对量子计算结果的信任。
1. IBM × 芝加哥大学：时空码与掺杂Clifford采样的“自认证”线路
论文焦点：自认证线路与可信逻辑量子计算
技术路径：
1）研究团队采用了掺杂Clifford采样（Doped Clifford Sampling）。Clifford线路在经典计算机上是可以被高效模拟的；团队在此基础上战略性地注入非Clifford门（T门）。随着T门数量的增加，线路的经典模拟复杂度迅速暴涨至极限（如张量网络或基于稳定子（Stabilizer）的模拟需要数万年时间）。
2）关键突破在于，研究人员将线路嵌入到“时空码”（Spacetime Codes）错误检测框架中。时空码是一种低开销的量子错误检测技术，它通过引入少量的辅助量子比特（Ancilla qubits），在时间（线路演化步骤）与空间（量子比特阵列）两个维度上同时执行Pauli校验门。如下方左图所示，只需极少数辅助量子比特即可覆盖大片线路时空区域，在不影响有效计算比特（Payload qubits）正常演化的前提下高效识别并捕获噪声错误。如右图所示，在70个逻辑比特规模下实现了门错误率约10倍的降幅（逻辑错误率降至1.5×10-4），极低开销下显著提升了计算保真度。 
时空码利用分布于空间和时间上的辅助量子比特来检测量子计算过程中的错误。
信任建立机制：由于基底Clifford线路的输出是经典可测的，研究人员可以在保持错误检测综合征（Syndrome）结构不变的前提下加入T门。通过结合基准Clifford线路的测定保真度与实时收集的错误标志，直接推导出高复杂度量子计算在逻辑层面的保真度严格下界。该机制可使量子线路在执行计算任务的同时，完成计算结果可靠性的“自证明”，属于间接实现可验证量子优越性的技术途径：依托可高效模拟的Clifford线路完成保真度校验，在引入T门形成的不可经典高效模拟线路中承载计算复杂度。
(左)：通过在编码的Clifford线路中引入T门，构建出了顶尖经典方法无法模拟的高难度采样问题；(右)：即使在经典计算失效的高复杂度区，时空码验证依然有效，可提供严谨的保真度下界，直接证明逻辑计算的可靠性。
2. IBM × Qedma：跨硬件与多重减噪验证Floquet动力学
论文焦点：超越经典模拟能力的量子物质物理模拟
技术路径：
1）研究团队利用多达74个量子比特的系统，模拟了多体相互作用系统在周期性能量脉冲下的Floquet动力学。
2）在难度最高的计算制度下，日本理化学研究所（RIKEN）使用“富岳”（Fugaku）超级计算机和英伟达GPU集群运行的两种最先进经典近似算法出现了相互矛盾和结果发散，无法给出一致结论；而量子计算系统则持续捕捉到了长寿命的磁化振荡现象。
信任建立机制：在缺乏可靠经典标杆的情况下，团队通过Qedma的QESEM软件，同时施加启发式与无偏（Unbiased）的量子减噪技术，观察不同减噪路径输出的一致性。此外，团队将相同实验置于不同的硬件架构（如超导量子芯片与Quantinuum的离子阱平台）上进行交叉对比，通过物理参数变化时的收敛性与跨硬件平台的高一致性，证实了量子计算所捕捉到的是真实的物理规律而非硬件噪声。
(左)：经过误差缓解的量子计算展现出长寿命Floquet动力学，超越了顶尖经典模拟方法的能力极限；(右)：该现象通过独立的误差缓解方法及另一量子硬件平台得到了交叉验证，进一步增强了对量子计算结果的信心。
3. IBM × Algorithmiq：从“验证答案”到“验证噪声模型”
论文焦点：无经典验证下的算符Loschmidt回波（OLE）与算符动力学
技术路径：团队在56个量子比特系统（ibm_boston处理器）中构建了异质Floquet Ising模型，针对其产生的半乱序动力学（Semi-scrambling dynamics），测量了描述信息扩散的算符Loschmidt回波（OLE）。在此实验中，来自至少三个顶尖经典模拟团队（采用了包括张量网络TN-BP和Pauli传播PP-MC在内的多种算法）给出的预测产生了严重分歧，且均与量子计算结果不符。
信任建立机制：
1）跨硬件一致性：将算法运行在具有不同噪声特性的5台量子计算机上，验证了观测量的高一致性。
2）验证噪声模型：利用概率误差消除（PEC）与阴影光锥（Shaded Lightcone）技术，将“验证量子输出”转化为“精准校验硬件的Pauli噪声模型”。只要硬件的Pauli噪声模型被精确校验，数学上就能保证经过误差消除后的量子观测量落在严格的统计置信区间内。
(左)：对于算符Loschmidt回波，量子计算与顶尖经典方法给出的预测产生分歧，导致经典参考标杆彻底失效；(右)：该计算通过跨多个硬件与噪声配置的一致性，结合能输出无偏观测量和严谨统计置信区间的误差缓解技术，成功完成了验证。
量子优越性追踪器
在宣布可验证量子优越性的同时，IBM还与学术/产业界共同推行并维护着一个公开机制——量子优越性追踪器（Quantum Advantage Tracker）。
量子优越性追踪器是由多个经典与量子计算机构（包括IBM、Algorithmiq、芝加哥大学、Qedma、RIKEN等）联合推动建立的一个开源竞争与评估平台。它实时记录、追踪并评估全球范围内提出的“量子优越性”候选声明。
1）推动动态校验与公开评估：宣告量子优越性并不是研究的终点，而是接受社区公开审查的起点。追踪器的目标是将量子优越性声明置于公开的“压力测试”之下，鼓励经典计算专家使用最新的经典算法（如改进的张量网络、神经网络状态等）去挑战和尝试追赶量子计算的结果。
2）划定“可信量子计算”的标准：追踪器强调不仅仅要实现“经典算不动”，更要求提报方给出严谨的可信度证明（Verification Proof），从而将早期纯概念验证性的量子计算演示，转化为具有严谨工程与科学应用价值的“可信量子计算”。
3）加速经典与量子算法的双向进化：在追踪器的促成下，量子与经典算法形成了一种良性竞争——经典的追赶逼迫量子团队提出更严苛的减噪与自认证方案，而量子团队的突破则反向激发了经典近似算法的创新。
总结
IBM与合作机构发表的这一系列研究标志着量子计算迈入了一个全新阶段：从“单向展示计算速度”跨越到“建立结果的可信度”。通过时空码自认证、跨硬件交叉比对以及噪声模型精确化验证，科学界开始在经典计算无能为力的“无人区”中建立起对量子计算的信任。而量子优越性追踪器则为这一演进过程提供了开放、透明且严谨的基准舞台，共同推动人类计算能力向真正的量子时代迈进。
论文1：https://arxiv.org/abs/2607.25941
