Entanglement-Aware Quantum Circuit Optimization through Globally Optimal Partitioning
本文提出了一种可扩展的框架，该框架将基于全局最优整数线性规划的电路划分与纠缠感知算符 Schmidt 秩重构相结合，证明了与 BQSKit 等现有工具相比，其具有更优越的验证率和 CNOT 计数减少量。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
在构建实用量子计算机的竞赛中，科学家们不仅在与维持脆弱原子处于量子叠加态的状态作斗争，还在进行一场关于效率的战争。量子计算机通过操纵被称为量子比特（qubits）的微小信息单元来工作。为了执行计算，这些量子比特必须通过一系列被称为门（gates）的操作相互作用。然而，真实的量子机器是混乱且受限的。它们通常无法将每一个量子比特直接与每一个其他量子比特连接起来，而且每一次相互作用都会引入微小的噪声，从而可能破坏计算。为了获得结果，工程师必须将复杂的数学问题转化为特定的一系列门操作序列，这个过程被称为编译（compilation）。目标是使用尽可能少的门，并以一种尊重机器物理连接的方式来排列它们。如果序列过长或过于纠缠，噪声会在找到答案之前就淹没信号。
挑战在于，寻找最有效的序列极其困难。这就像是在一个拥有数十亿种可能路径的迷宫中寻找最短路径，而墙壁在你行走时还会发生移动。现有的工具通常会采取捷径，做出看似在当下不错但最终会导致更长、更混乱旅程的快速局部决策。它们可能会优化计算中的一小部分，却看不见这会对整体产生什么影响。本文介绍了一种新方法，它改变了这些计算被分解和重建的方式。研究人员不再依赖快速的猜测，而是开发出一种能够同时观察整个电路的方法，以寻找将其划分为可管理部分的最佳方式，然后利用对这些部分如何纠缠的深刻理解来更高效地重建它们。
研究人员在匈牙利机构开展工作，创建了一个将量子电路视为依赖关系图的框架。他们意识到，优化大型电路的最佳方法是将它切割成较小的、自包含的模块，分别优化每个模块，然后再将它们缝合在一起。然而，切割电路的方式至关重要。如果你切割得不好，你可能会错过简化逻辑的机会，或者你可能会创造出一个新的问题，即这些模块无法按正确的顺序执行。团队将这个切割问题表述为一个数学谜题，该谜题保证能从所有可行选项的列表中选出最佳的模块组合。他们称之为全局最优划分（globally optimal partitioning）。它确保所选的模块集合是能导致最小总门数的集合，而不仅仅是一组碰巧在局部效率较高的模块。
一旦电路被切分为这些最优模块，研究人员就会应用第二种同样巧妙的技术来重建它们。他们利用了量子力学中的一个特性——算符施密特秩（operator-Schmidt rank），该指标衡量了模块内量子比特之间的纠缠程度。可以将这个秩想象成量子比特彼此“纠缠”在一起的程度；秩越高，意味着它们的联系越复杂。研究人员利用这一测量值来引导搜索，寻找能够重现该模块行为的最简门排列方式。该方法并非尝试每一种随机的门组合，而是通过观察纠缠结构来预测哪些门排列最有可能成功。这使得他们能够找到比以往方法使用更少门的解决方案，特别是通过避免那些对最终纠缠模式没有贡献的冗余步骤。
为了测试他们的想法，团队将新系统与目前该领域的标准工具 BQSKit 进行了对比。他们在涵盖从小型简单示例到涉及数十个量子比特的大型复杂计算的一系列基准电路上运行了这两个系统。结果非常明确。在 772 个特定的量子操作测试中，新方法成功找到了 741 个经过验证的高效解法，而标准工具仅能完成 617 个。更重要的是，在两者都找到解的情况下，新方法在每一个实例中产生的电路门数都更少或相等，且没有任何损失。在优化整个电路的完整端到端过程中，新方法显著减少了总门数，尤其是在初始优化阶段。虽然标准工具在处理大型电路时有时难以在合理时间内完成任务，但新方法不仅完成了工作，而且通常在极短的时间内完成，并产生了更简洁、更高效的结果。不过，时间方面的结果具有细微差别：对于三量子比特划分，由于新方法有几次运行时间非常长，因此标准工具在总累计时间上实际上更快，尽管新方法在初始优化阶段通常更快。
研究还探讨了当用于优化的模块变得稍大时会发生什么。通过允许系统观察四个量子比特而非仅仅是三个，研究人员发现他们可以榨取更高的效率，进一步降低门数。然而，这带来了一个权衡：寻找这些解所需的时间也随之增加。团队发现，虽然四量子比特模块提供了更好的压缩率，但寻找它们所花费的额外时间并不总是对每个电路都划算。这表明，最佳方法取决于具体的具体问题，但新框架提供了选择合适平衡点的灵活性。研究人员还注意到，尽管他们的方法擅长减少门数，但量子计算机的物理布局仍然会迫使一些额外的步骤（称为路由，routing）发生，这会把门重新加回到系统中。即便存在这种约束，他们优化的电路仍然优于现有方法所产生的电路。
这项工作代表了使量子计算机变得实用的重要一步。通过将严谨的全局切割策略与智能的纠缠感知求解策略相结合，研究人员证明了无需等待更好的硬件，也可以构建更好的量子电路。他们的方法不仅仅是对问题的边缘进行微调，而是重新思考了解决方案的结构。研究结果表明，通往实用量子计算的路径不仅在于建造更大的机器，还在于如何更聪明地指挥这些机器。该框架已实现为名为 SQUANDER 的开源软件包，它提供了一种推向当前量子计算机极限的方法，将原本过于复杂而难以运行的电路转变为可管理且高效的电路。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。