Circuit Design Problems in Binary Polynomial Quantum Optimization

在构建实用量子计算机的竞赛中，科学家们目前正面临一个顽固的瓶颈：现有的机器既脆弱又受限。它们只能容纳少量的量子比特（qubits），而且如果被要求连续执行过多的步骤，它们会非常迅速地丢失其脆弱的信息状态。为了解决复杂问题，研究人员通常会将这些问题转化为一种被称为二次无约束二值优化问题的特定数学格式。这种格式就像一种通用语言，能够轻松适配当前的量子硬件，但它往往需要添加大量的额外变量来使数学运算成立，这反过来又对机器所能提供的量子比特数量提出了更高的要求。目前存在一种更紧凑的新型编写这些问题的方法，即使用高阶多项式，这样可以减少变量的数量。然而，这种紧凑的格式创造了另一个问题：它要求计算机执行复杂的、多步骤的操作，而目前的硬件无法直接完成这些操作。为了使这些操作得以运行，工程师必须将它们分解成一长串简单的步骤，这使得电路变得很深且运行缓慢，导致量子信息在计算完成之前就发生衰减。

本研究中的研究人员致力于解决这一特定的困境：如何将这些紧凑的高阶问题转化为量子计算机中最短可能的步骤序列。他们并非将量子电路的设计视为一项试错性的工程任务，而是将其视为一个经典的逻辑与路由谜题。想象一下，量子电路就像一张地图，信息必须从一点移动到另一点才能被正确地组合。目标是找到一条最有效的路径，使信息必须经过的步骤或层数最少。该团队证明，为任何给定的问题寻找绝对完美的最短路径是一种类型的谜题，在数学上已被证明极其困难，属于那些不存在已知快速完美解的问题类别。这意味着对于大型、复杂的问题，计算机无法在合理的时间内直接计算出唯一的最佳答案。

由于完美的解决方案往往难以触及，该团队开发了一种名为 Tempura 的新型高效方法。该方法并非试图一次性解决整个谜题，而是基于一种被称为格雷码（Gray code）的特定模式，构建一个标准的、灵活的模板，以确保所有可能的变量组合都能以最逻辑化的顺序被访问。一旦这个模板构建完成，该算法就像一位熟练的编辑，扫描整个电路并移除任何不必要的步骤。它能识别出电路中冗余或低效的部分，并将其重写为更短的序列。这一过程使系统能够处理包含数千个不同项的问题，生成的电路比现有最佳软件工具所产生的电路要短得多。在测试中，这种新方法始终能生成比行业标准软件更紧凑的电路，同时运行时间大致相同。

研究人员还探索了是否可以通过另一种方法找到绝对最佳的解决方案：即将问题表述为一套严格的逻辑规则，由一台强大的计算机来求解以找到最优解。他们创建了几个版本的这些规则，其中一些版本求解速度更快，但牺牲了找到绝对最短电路的保证。实验表明，虽然这些严格的逻辑方法确实可以在较小规模的问题上找到最佳电路，但在处理大规模问题时却难以在合理时间内完成。这种新的启发式方法 Tempura 脱颖而出，成为了最实用的工具，它提供了一个平衡点，既能快速处理大规模问题，又能产生比竞争对手短得多的电路。研究结论指出，尽管对于大规模问题而言，完美的数学最优解仍然难以捉摸，但这种新方法提供了一种强大且具扩展性的方式，使我们能够充分利用当今有限的量子硬件，为不久的将来进行更复杂的计算铺平道路。