通过规约逻辑算子实现低开销容错量子计算

让量子计算机保持诚实

未来的量子计算机有望攻克当今超级计算机也难以解决的问题，但它们同样极易受扰：微小的扰动就可能扰乱计算结果。本文提出了一种新方法，使用比先前认为必要的更少的额外量子比特来保持大规模量子计算按预期进行，从而使实用的、对错误有鲁棒性的量子机器更接近现实。

为什么量子比特需要保护

量子比特（或称 qubit）可以将信息储存在脆弱的叠加态中，极易被环境扰动破坏。为保护它们，研究者把许多物理量子比特组合成一个逻辑量子比特，采用量子纠错码。一类强大的纠错码称为量子低密度奇偶校验码（qLDPC 码），它们在使用相对较少物理比特并仅需稀疏连接的情况下保护大量逻辑比特。然而，虽然这些码在存储量子信息方面表现优异，但执行全尺度计算所需的逻辑操作往往需要大量额外的“辅助”系统，从而削弱了其效率优势。

在不破坏编码的情况下进行测量

如果我们能可靠地测量被编码比特的某些集体性质——即逻辑算子，许多量子算法就可以实现。粗糙地测量这些算子可能会破坏保护性的编码或需要大量额外比特。作者通过将逻辑算子重新解释为系统的一种对称性来应对这一挑战，这一概念借自物理学。与其直接测量全局量，他们引入了一组简单的局部测量，这些测量结果合并后揭示相同的信息。这个想法称为对称性的“规约”（gauging），在物质与力的理论中有着悠久历史，但在这里它被重新用于量子计算的实用工具。

把全局问题转化为局部检查

该方法的核心是向参与逻辑算子的那组比特附加一个辅助图——一张额外量子比特的网络。该图的每条边承载一个新比特，并对每个数据比特与相邻边比特进行简单的局部测试。这些测试强制施加类似电磁学中高斯定律的规则，将每个顶点周围比特的行为联系起来。尽管每个单独的测量结果看起来是随机的，它们的积却编码了原始逻辑算子的值。在这种“规约测量”之后，辅助比特通过进一步测量被温和地移除，这一过程称为“去规约”（ungauging），将系统恢复到等价于原始编码的形式。

设计高效的辅助网络

并非所有辅助图都同样有效。为了保持低误差率和适度的开销，网络必须保持稀疏、保留良好的保护距离，并避免产生过于复杂的环路。作者确定了保证这些性质的明确设计规则，并展示了如何为任意逻辑算子系统性地构建合适的图。利用现代图论和拓扑学工具，包括所谓的扩展器图（expander graphs）和一种称为减拥堵（decongestion）的过程，他们证明所需额外比特的数量本质上随逻辑算子涉及的比特数线性增长，仅有适度的多对数因子。这相比早期方法（其开销可能增长得比被编码系统本身还快）是一个显著改善。

空间与时间上的容错性

真实器件不仅存在比特错误，还会出现测量错误。作者通过将整段空间与时间上的局部操作视为一个更大的“时空码”来分析他们的规约程序在此类不完美条件下的表现。他们表明，只要按照其规则选择辅助图并足够重复相关检查，整体方案就能保持与原始 qLDPC 码相同的保护水平。换言之，逻辑测量本身变得具有容错性，既能抵抗物理比特上的错误，也能抵抗错误的报告结果，而无需显著增加比特数量或延长协议时长。

这对未来量子机器意味着什么

对非专业读者来说，关键信息是作者找到了一种方法，通过巧妙安排一系列局部、易于实现的检查来询问关于许多比特的全局问题——这对于运行量子算法至关重要——而不会给硬件带来过大负担。他们的框架统一并推广了若干先前的“码手术”技术，并为将其扩展到新型量子码族提供了清晰的配方。如果与实用的译码器结合并进一步优化，这种基于规约的方法有望成为大规模、抗错误量子处理器的标准构件，使强大计算在现实可及的硬件资源下变为可能。

引用: Williamson, D.J., Yoder, T.J. Low-overhead fault-tolerant quantum computation by gauging logical operators. Nat. Phys. 22, 598–603 (2026). https://doi.org/10.1038/s41567-026-03220-8

关键词: 容错量子计算, 量子纠错, 量子 LDPC 码, 逻辑测量, 码手术