Optimised T counts and active volume estimates for high- and low- level arithmetic subroutines
本文针对表面码量子计算机上的高层级与低层级算术子程序，提出了优化的 T 计数与活跃体积估计，证明了电路结构对活跃体积的显著影响，并提出了一种利用定向 ZX 图进一步降低时空开销的方法。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
量子计算机有望解决经典机器需要数千年才能解决的问题，但它们面临着一个根本性的障碍：它们极其脆弱。来自环境的哪怕最轻微的干扰都可能破坏计算，因此科学家必须使用纠错技术来确保数据的安全。实现这一目标最有效的方法之一被称为“表面码”（surface code），它不将单个信息视为一个微小的粒子，而是将其视为由许多物理粒子协同工作的、大型且具有韧性的补丁。为了运行复杂的程序，这些补丁必须以特定的方式进行排列和连接。多年来，构建这些机器的标准方法一直假设采用一种刚性的、网格状的结构，其中补丁位于固定的位置。这种设计迫使许多补丁处于闲置状态，等待轮到它们参与，这浪费了大量的时间和空间。一种被称为“主动体积架构”（active volume architecture）的新型、更灵活的方法旨在通过允许计算机自由地移动数据来解决这个问题，从而确保机器的每个部分在可能的情况下都在工作，就像一个繁忙的工厂车间，没有任何工人是在原地站立不动。
在这项工作中，伦敦帝国理工学院的研究人员试图探索，如果重新设计量子数学的基础构建模块，这种主动体积方法能提高多少效率。正如人类计算器需要知道如何加、减、乘、除一样，量子计算机也需要专门的程序来执行这些相同的任务。该团队采用了最先进的设计方案来构建这些算术程序，并针对主动体积架构对其进行了重新工程化设计。他们专注于两个主要目标：减少使计算得以运行所需的“魔术”（magic）资源，并最大限度地减少计算运行时占用的总空间。通过使用一种映射量子比特之间连接的可视化方法，他们能够剥离不必要的步骤，并重新排列数据流以消除闲置时间。
结果表明，这种全新的电路设计思维方式带来了巨大的节省。对于两个数相乘这一基础任务，研究人员发现了一种设计方案，其使用的资源显著少于以往的方法，将领先的成本因素降低了一半以上。他们将类似的改进应用于更复杂的函数，例如计算平方根、三角函数（如正弦）和对数。在每种情况下，新设计都减少了那些会减慢量子计算机速度的昂贵且易错的操作。其中一个最令人惊讶的发现是，逻辑门的物理排列方式与所使用的逻辑门数量同样重要。两个执行完全相同的数学任务且步骤数相同的电路，由于步骤顺序的不同，其成本可能会有很大差异。这意味着仅仅统计量子程序的部件数量是不够的；程序的结构本身决定了它运行的效率如何。
研究人员还证明，这些节省不仅仅是理论上的。他们提供了一种清晰、循序渐进的方法，用于在这种新架构下计算任何量子程序的真实成本，超越了简单的逻辑门计数，转而测量计算的实际“主动体积”。这个体积代表了计算机真正忙于工作的空间和时间，排除了困扰旧设计的各种等待期。通过优化高层算法所依赖的底层数学程序，该团队为未来的量子软件创建了一个更高效的工具目录。虽然这些改进是通过模拟而非在物理机器上进行的验证，但其逻辑是严密的，且潜在影响巨大。如果这些优化的程序被采用，这意味着同样的量子计算机可以更快地解决难题，或者规模更小、更便宜的机器可以达到与更大规模机器相同的效果。这项工作表明，通往实用量子计算之路不仅在于制造更好的硬件，还在于重新构思运行在其之上的软件组织方式。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。