A Compiler for Fault Tolerant Quantum Computing
本文介绍了 FTQC，这是一种开源的 MLIR 方言，旨在用于容错量子计算，它通过多级编译流水线保留了关键的纠错元数据，从而实现了可验证的代码特定决策，并揭示了跨不同硬件目标目标的隐藏架构成本。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
量子计算机有望解决经典计算机需要数千年才能解决的问题，但它们极其脆弱。来自热量或振动的微小扰动就可能搅乱其承载的信息，导致计算失败。为了克服这一问题，科学家们正在构建容错量子计算机，这类计算机并不依赖于完美、无误差的部件。相反，它们将许多物理粒子组合在一起，形成一个单一且稳定的“逻辑”单元。如果组内的某个粒子出现故障，其他粒子可以检测到错误并在不丢失数据的情况下将其修复。这个过程被称为量子纠错，它是未来机器的基石，但同时也伴随着高昂的代价：一次有用的计算可能需要数百万个物理粒子协同工作。
挑战不仅在于构建硬件，还在于编写控制它的软件。目前的量子计算编程工具是为当今嘈杂、小规模的设备设计的。它们无法理解管理纠错所需的复杂规则，例如如何追踪指示错误的“综合征（syndromes）”，或者如何准备进行困难计算所需的特殊资源。如果没有一个能够理解纠错语言的软件系统，工程师就无法可靠地将高层想法转化为真实机器可以执行的物理电路。橡树岭国家实验室的一个研究小组通过开发一种新的编译器解决了这一差距，这种编译器充当了人类逻辑与未来量子计算机那僵硬的、经过纠错的世界之间的翻译官。
研究人员构建了一个名为 FTQC 的系统，全称是容错量子计算（Fault-Tolerant Quantum Computing）。可以将编译器想象成一个翻译官，它将用高级语言编写的程序转换为机器能理解的具体指令。在量子世界中，这非常困难，因为机器不仅仅是在运行程序，它还必须不断监测自身是否存在错误并实时进行纠正。新系统引入了一种直接在代码中描述这些纠错单元的方法。软件不再将逻辑比特视为简单的变量，而是赋予其一个包含其纠错规则的特定身份。这使得编译器能够在每一步都检查所执行的操作是否符合该特定类型纠错保护的要求。如果程序员试图混合两种互不兼容的纠错类型，编译器会在代码到达机器之前拦截并标记错误。
为了管理这种复杂性，研究人员将系统设计为两个不同的层面。顶层处理逻辑指令，即科学家想要执行的高级数学和逻辑；底层处理物理现实，即用于操纵单个粒子的物理粒子和特定门。中间有一个特殊的处理过程，负责将逻辑指令转化为物理指令，将单个逻辑命令扩展为一个庞大的物理操作块。这种设计确保了同一个逻辑程序可以在无需重写的情况下发送到不同类型的硬件。该系统还内置了一个计算器，用于估算完成给定任务所需的物理粒子数量。这至关重要，因为纠错的成本很高；一个简单的计算可能需要一个额外的粒子“工厂”来维持主要数据的安全。
团队使用了几种标准的量子算法测试了他们的系统，包括一种搜索数据的方法和一种分析分子性质的技术。他们在模拟器上运行了这些测试，以观察软件如何处理转换和资源计数。结果显示，该编译器能够成功地将逻辑程序转换为不同类型纠错码（包括 Steane 码和表面码）的物理电路。其中一个最令人深刻的发现来自于对被称为“量子傅里叶变换”的三比特计算的分析。编译器确定，为了运行这项计算并进行纠错，系统需要一个“魔态工厂（magic state factory）”——即一个专门用于准备数学运算所需特殊状态的资源块。这个工厂所需的物理粒子数量是整个编码电路本身的五倍。这凸显了容错计算中的一个隐藏成本：维持系统所需的资源往往比计算本身所需的资源还要庞大得多。
除了模拟之外，研究人员还将他们的工作应用到了真实硬件上。他们瞄准了橡树岭国家实验室的一台 20 比特超导量子计算机。他们利用编译器将一个简单的逻辑电路转换为机器的原生指令。由于该机器规模太小，无法运行完整的纠错计算，因此他们使用编译器生成物理电路，并在运行结束后应用经典的解码过程处理结果。结果非常理想：通过使用编译器生成的纠错信息，他们成功将逻辑读取误差降低了 3.3 倍。这意味着最终答案比机器的原始数据要准确得多，证明了编译器的输出能够成功触达物理硬件并提高结果质量。
这项工作并不声称已经解决了构建容错计算机的问题。实验规模有限，并未展示出纠错变得完全有效的完整阈值。模拟过程中对某些复杂操作使用了简化模型，而硬件测试属于概念验证性质，而非全规模演示。然而，该系统为下一阶段的发展提供了实用的基础。通过使纠错规则在软件层面变得可见且可控，研究人员创建了一个工具，使工程师能够在设计被制造出来之前对其进行检查、验证和优化。这种清晰度对于从理论构想到构建下一代量子计算所需的庞大、复杂系统至关重要。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。