What Output-Equivalence Oracles Miss: An Empirical Study of Equivalence-Invisible Bug Fixes in Quantum Transpilers (Qiskit, tket, Cirq)
这项实证研究表明，用于验证量子编译器的标准输出等效性预言机无法检测出 Qiskit、tket 和 Cirq 中很大一部分（约 28%）真实的错误修复，特别是那些涉及电路布局、置换记录或确定性中的隐形缺陷，而这些缺陷并不会改变计算出的酉矩阵。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
量子计算机有望解决当今机器需要数千年才能破解的问题，但它们的构建和编程极其困难。为了使它们发挥作用，科学家们使用一种称为“转译器”（transpilers）的特殊软件。可以将转译器想象成一个翻译官，它将一段为理论上的量子机器编写的复杂、抽象的指令，重写为实际物理设备能够执行的一套特定命令。这个过程涉及重新排列操作顺序，并将它们映射到芯片上有限的连接关系中。为了使这种翻译具有实用价值，最终结果必须与原始指令计算出相同的答案。如果翻译改变了数学逻辑，那么这台计算机就失去了意义。
多年来，检查转译器是否工作正确的标准方法是将翻译后的指令的最终答案与原始指令进行对比。如果答案一致，则认为翻译成功。这种被称为“输出等效性检查”（output-equivalence check）的方法高效且可靠，能够捕捉到主要的错误。然而，它存在一个盲点：它只关注最终结果，而忽略了数据所经历的过程。正如一位旅行者虽然到达了正确的目的地，但可能走错了路、弄丢了行李或在错误的日期抵达一样，一个量子电路可以在产生正确答案的同时，其内部结构却携带了隐藏的错误。这些隐藏错误涉及诸如数据的特定排列方式、操作的时序，或是对数据状态的精确追踪等。如果最终答案是正确的，这些内部缺陷往往会被忽视，从而可能导致计算机在处理更复杂的电路时发生故障。
一组研究人员着手测量这种情况在现实世界中发生的频率。他们将重点放在了驱动一些最广泛使用的量子计算平台的软件上。他们没有创造新的测试方法或模拟假设性的错误，而是直接溯源：查看构建这些工具的工程师所做的修复记录的历史。他们审查了一组精心挑选的、已合并到某个主要量子软件包主代码中的 68 个错误修复（bug fixes）。对于每一个修复，他们提出了一个简单的问题：如果工程师们只使用了标准的“检查最终答案”测试，他们能否发现这个修复旨在解决的问题？
结果令人震惊。研究人员发现，在大约 28% 的案例中，标准测试会完全漏掉该缺陷。在这些情况下，软件在某些方面是损坏的——例如，它可能记录了错误的布局，或者在多次运行时表现得不可预测——但最终的数学答案仍然是正确的。因为标准测试只关心答案，它会将这些损坏的版本视为完美无缺。研究团队通过观察另外两个独立的量子软件软件包中的修复情况，证实了这一发现。在其中一个软件包中，这类“隐形错误”的比例甚至更高，达到了 33%。第三个软件包的样本量较小，但指向了相同的方向。这表明该问题并非某个特定软件所独有，而是我们目前验证量子计算机方式中的一个根本性缺陷。
研究人员还调查了这些隐形错误是否比其他错误更容易被发现。或许它们规模更大、更复杂，或者修复时间更长，从而允许工程师在不需要新测试的情况下标记它们。他们使用五种不同的表面特征信号（例如修改的代码行数或合并修复所需的时间）将这些隐形修复与可见修复进行了对比。他们发现没有任何差异。这些隐形错误看起来与普通错误完全一样。这意味着工程师无法仅仅依靠对代码的快速浏览或变更的大小来捕捉这些错误；标准测试确实对它们视而不见。
通过深入挖掘这些隐形错误的本质，团队发现了一个特定的模式。许多错误发生在软件在不同内部数据表示方式之间进行切换的边界处。例如，当软件将信息从通用格式转换为针对特定硬件步骤的专门格式时，数学结果保持正确，但元数据（即关于数据位置或排列方式的记录）却被损坏了。这种损坏对最终答案检查是不可见的，但会导致计算机在稍后尝试使用该数据时发生故障。研究人员指出，这种情况经常发生在软件被移植到新的编程语言，或不同系统组件进行组合时。
这项研究并不声称现有的测试方法是无效的。检查最终答案仍然是必要且高效的。然而，研究结果表明，仅依赖这一方法会留下显著的安全缺口。在他们的样本中，大约每三个修复中就有一个是在标准检测无法察觉的情况下进行的。研究人员认为，为了真正确保量子计算机的可靠性，测试过程需要扩展到仅检查最终答案之外。它还必须检查内部记录、数据的排列以及过程本身的一致性。通过明确这些隐形错误隐藏的位置，这项研究为下一代测试工具提供了清晰的目标，确保未来的量子计算机不仅在数学上是正确的，而且在结构上也是稳固的。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。