Evaluating the Effect of the Order of Optimization Passes in Quantum Circuit Optimization

量子计算机有望解决那些需要经典计算机花费数千年才能破解的问题，从设计新药到模拟复杂的气候系统。然而，这些机器极其脆弱。来自环境的哪怕最轻微的干扰都可能导致它们产生错误，这种现象被称为“噪声”。为了对抗这一问题，科学家必须将高层计算机程序翻译成特定量子硬件能够理解的指令。这个翻译过程被称为“编译”，它往往会增加额外的步骤，并使电路（即信息传输的路径）变得更长、更复杂。更长的电路意味着误差更容易在其中渗入，因此目标是在运行前尽可能使这些电路变得更短、更简单。这就是“优化”发挥作用的地方：一套旨在剥离不必要步骤并清理电路的规则。

多年来，工程师们一直知道应用这些清理规则是有帮助的，但他们很大程度上假设这些规则的应用顺序并不重要。人们曾认为，只要应用了这些规则，结果大致都会相同。一项新研究挑战了这一假设，揭示了这些规则的执行顺序实际上至关重要。正如厨师先切菜再煎炒，与先煎炒再切菜可能会得到不同的结果一样，研究人员发现，量子电路中优化步骤的顺序可以极大地改变程序的最终质量。

研究人员利用用于编写量子计算机程序的流行软件 Qiskit，开始系统地测试这一想法。他们选择了 16 种不同的优化技术，每种技术旨在修复特定类型的低效。有些技术将小的步骤合并为一个，有些则抵消掉互相抵消的一对操作，还有些则通过重新排列步骤的顺序来提高效率。团队不仅观察了每种技术单独的效果，还测试了这 16 种技术中所有可能的两两组合。他们将相同的量子电路通过编译器运行，首先应用技术 A 然后是 B，接着应用 B 然后是 A。他们对所有 120 个可能的配对进行了重复实验，并测量了每个结果的电路长度和总步骤数。

结果清晰且令人惊讶。在 120 个配对中，有 12 个配对的顺序产生了显著差异。在某些情况下，一种序列产生的电路规模几乎是另一种序列的一半。研究表明，某些技术能为其他技术创造一个更好的基础。例如，早期移除无用步骤可以揭示出新的模式，从而让后续的技术能够进行简化；但如果先运行后者，它可能会错过这些模式。研究人员发现，最佳顺序在很大程度上取决于所针对的具体量子硬件，因为不同的机器“说”着不同的基本操作“语言”。例如，对于一种类型的机器最有效的序列，对于另一种机器可能就毫无效果。

团队还调查了糟糕的选择是否可以在后期被修复。他们询问，再次运行某项技术是否可以修复次优的序列。在 12 个顺序起关键作用的案例中，有 7 个案例中，重新应用第一个技术确实改善了结果，有时甚至比最初的最佳序列还要好。然而，这并非万能的补救措施；在其他情况下，重复步骤会增加不必要的工作量，却无法改善结果。这表明，虽然第二次尝试有时可以挽救一个糟糕的开始，但最好在第一次就确定正确的顺序，以避免浪费时间和资源。

当研究人员将测试扩展到三步、四步或五步技术的序列时，他们发现相互作用变得更加复杂。在两步过程中表现最佳的顺序，在加入第三个技术后并不一定仍然适用。有时，一个原本最适合放在两步过程开头的技术，在引入第三个步骤后，需要被移动到中间位置。这表明这些规则之间的关系不仅仅是简单的因果链，而是一个相互作用的网络，其中一个规则的存在会改变其他规则的行为。

基于他们的发现，作者提出了一个新的推荐规则应用顺序。他们建议的序列首先移除几乎没有影响的门，然后重新排列剩余的步骤以允许更多简化，接着进行模式匹配并抵消相反的操作。这个推荐顺序与目前标准量子编译器中使用的默认设置不同。当他们使用这种新顺序与标准顺序进行对比时，他们发现，在仅包含优化步骤的受控环境中，差异很小。然而，当包含完整的编译过程时，新顺序在许多情况下表现得更好，特别是在减少总步骤数方面。

研究结论指出，不存在适用于所有情况的单一“完美”顺序。最佳序列取决于正在运行的具体电路、该电路的大小，以及最重要的——目标硬件的原生门集。研究人员强调，虽然他们的工作提供了一个强大的基础和更好的默认起点，但任何给定量子程序的最佳路径很可能是独一无二的。他们的工作将关注点从单纯应用固定的规则列表，转向理解它们之间的动态关系，从而确保量子程序在接触硬件之前尽可能高效且具备抗误差能力。