IBM称量子计算机越来越难以验证。这正是进步。
内容提要
IBM与芝加哥大学等机构发布三篇论文，展示量子计算机在特定任务上超越经典模拟，同时通过错误检测、误差缓解和跨平台验证确保结果可信。实验使用IBM Heron处理器，涉及70量子比特电路、Floquet模型模拟和Loschmidt回声测量，但未排除所有经典算法，结果待同行评审。
延伸解读
验证是量子优势的关键
IBM与芝加哥大学等机构在最新研究中强调，量子计算机要展示超越经典模拟的能力，必须同时满足两个条件：随着电路规模增大，噪声要相应抑制；并且即使存在噪声，也要能信任计算结果的高保真度。这反映出量子计算领域的一个核心挑战：当结果无法用经典方法验证时，如何建立信任。
误差检测与缓解策略
三篇论文采用了不同的验证策略。第一篇使用70量子比特电路，通过27个辅助比特进行误差检测，并采用后选择丢弃有错误的运行，但这一过程使有效采样率降低了860倍。第二篇和第三篇则依赖误差缓解、重复运行、小规模基准测试以及与经典模拟的对比，当经典方法不再一致时，量子结果仍保持稳定。
跨平台验证增强可信度
Qedma团队在51量子比特的Floquet模拟中，将量子计算的结果与Quantinuum的离子阱处理器进行对比，不同硬件架构得到相似结果，降低了单一机器误差导致错误结论的可能性。这种跨平台验证方法为量子计算结果提供了额外的佐证，但论文也承认这并非渐近意义上的经典计算分离。
结果仍待同行评审
所有三篇论文均以预印本形式发布，尚未经过同行评审。论文也明确表示，并未排除未来可能出现更优的经典算法来模拟这些任务。IBM承认“证明零结果是极其困难的”，因此社区主导的量子优势追踪器已发布相关电路，供其他研究者挑战。
Q&A
IBM及其合作伙伴在量子计算方面取得了什么进展？
IBM与芝加哥大学等机构合作，在量子计算领域取得了进展，展示了量子计算机在特定任务上超越经典模拟的能力，同时通过错误检测、误差缓解和跨平台验证等方法确保结果可信。
为什么量子计算机的结果难以验证？
随着量子计算机规模的扩大，它们能够执行的计算越来越复杂，以至于经典计算机无法模拟和验证。因此，需要新的方法来确保量子计算机得到正确的结果。
IBM的量子计算实验使用了什么硬件？
实验使用了IBM的Heron R3量子处理器。
IBM的量子计算实验是如何确保结果可信的？
实验采用了多种方法确保结果可信，包括错误检测（如后选择）、误差缓解、重复运行、与经典模拟比较，以及在不同量子处理器上进行交叉验证。
IBM的量子计算实验是否实现了量子优势？
IBM声称其实验达到了量子优势的基本标准，即执行了超越领先经典模拟方法的计算，同时提供了结果准确的信任。但论文也承认并未排除所有经典算法，结果有待同行评审。
IBM的量子计算实验有哪些潜在应用？
实验涉及模拟Floquet模型和Loschmidt回声，这些与材料科学和化学模拟相关，例如催化剂和电池电解质的研究。但实验并未直接模拟特定材料，而是为未来复杂系统的模拟奠定基础。
IBM的量子计算实验存在哪些局限性？
实验存在一些局限性，例如未排除所有经典算法，错误检测导致采样率降低，以及部分结果依赖于启发式误差缓解技术。此外，论文尚未经过同行评审。
