When Equivalent Quantum Circuits Lose Synthesis Choices
本文表明，通过 OpenQASM 等中间格式转换量子电路往往会破坏高层结构信息，从而阻碍编译器应用最优合成方法，并提出了一种“已验证”（Verified）框架来记录并重构这些操作，以恢复合成能力。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
量子计算机有望解决当今机器需要数千年才能破解的问题，但它们极其脆弱。为了运行程序，科学家必须将他们复杂的想法转化为硬件实际可以执行的一系列简单指令。这种转换是由编译器完成的，它是一种类似于“总建筑师”的软件。编译器接收高层概念——例如用于寻找数据中模式的数学变换——并决定如何利用量子芯片上特定的、有限的工具来构建这些概念。至关重要的是，构建这些结构通常不止一种方法。有些设计使用的资源更少且失败概率较低，而另一些设计虽然成本更高，但更为稳健。编译器的任务是根据其所工作的特定机器的具体条件来选择最佳设计。
然而，研究人员发现了一个在这些程序于不同软件工具之间共享和移动时悄然发生的问题。当一个量子程序被保存为文本以供另一个系统读取，或者在从一种格式转换为另一种格式时，关于如何构建特定程序部分的详细指令可能会消失。从数学意义上讲，程序仍然可以正确运行，但接收端的软件失去了选择最高效设计的能力。它被迫使用一种默认的、通常也更笨拙的构建方法。这种情况的发生没有任何警告信号；软件不会报错，最终结果看起来也一样，但底层的电路却变得显著庞大且更容易出错。
研究人员 Boshuai Ye、Peng Liang 和 Arif Ali Khan 着手测量这种情况发生的频率以及代价究竟有多大。他们专注于当今科学家使用的三个主要软件框架：Qiskit、TKET 和 Cirq。他们测试了当一个量子电路通过“往返行程”（即被导出为文本并立即重新导入）或在不同编译器之间传递时会发生什么。他们的实验表明，在许多常见场景下，高层指令会被剥离。例如，当一种特定类型的门（gate）通过直接的基于文本的交换进行传输时，接收该程序的软件便无法再应用其专门的、高效的构建方法。程序仍能运行，但被迫使用了一种通用的、效率较低的构建方式。
这种损失带来的后果不仅是理论上的，而且是可衡量且显著的。在一次涉及设计用于在数据库中搜索项目的电路测试中，由于失去了选择最佳构建方法的能力，导致双比特门（two-qubit gates）的数量增加了 37.2%。在量子计算中，双比特门是最易出错的操作，增加这些门会大幅降低获得正确答案的概率。在另一组测试中，研究人员发现，当程序通过文本交换传输时，在某些情况下，这些关键门的数量增加了多达 164%。研究人员指出，这种效率的损失是无声无息的。软件不会崩溃，且验证程序逻辑的标准检查仍能通过，因为程序计算出的结果仍然是正确的，只是实现过程要昂贵得多。
为了解决这个问题，该团队开发了一个名为 Verified 的工具。Verified 并不依赖接收软件去“神奇地”记住原始设计，而是会在程序发送之前保留一份高层操作的独立记录。当程序返回时，该工具会检查接收到的电路是否仍与原始记录相匹配。如果电路因其他过程的处理而导致记录失效，该工具将拒绝重建高层操作，从而防止错误。如果记录仍然有效，它则会重建高层操作，从而恢复选择最高效设计的能力。在测试中，这种方法在所有可能的情况下都成功恢复了所请求的高效设计，同时也能正确拒绝已过时的记录。
该研究得出结论：仅仅保存计算过程是不够的；用于共享和编译量子程序的软件工具还必须保留编译器所拥有的“选择权”。研究人员发现，简单地将程序保存为文本往往会破坏这些选择。他们建议，未来的工具应当明确报告何时忽略了对特定高效设计的请求，并且在利用记录重建高层操作之前，应当先对记录进行验证。如果不具备这些保障措施，量子计算机超越经典机器的潜力，可能会被在共享和编译程序过程中引入的不必要低效所削弱。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。