⚛️ 量子物理

Low Overhead Universal Quantum Computation with Triorthogonal Codes

本文提出了两种利用三正交码（triorthogonal codes）实现通用容错量子计算的低开销方法，这些方法通过利用横截型 CZ 门以及在配对码之间进行逻辑态隐形传态，从而规避了 Eastin-Knill 定理，进而显著降低了现有协议的资源成本。

原作者： Dawei Jiao, Mahdi Bayanifar, Alexei Ashikhmin, Olav Tirkkonen

发布于 2026-11-03

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Dawei Jiao, Mahdi Bayanifar, Alexei Ashikhmin, Olav Tirkkonen

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

构建一台利用量子力学奇特法则的计算机，需要解决一个困扰了科学家数十年的难题：如何在保持信息可用的同时，确保这些脆弱信息的安全。在量子世界中，信息存储在极其脆弱的状态中，极小的扰动就可能将其毁坏。为了保护这些数据，研究人员使用纠错码，将单条信息分散存储在许多物理粒子上，这样即使其中一个失效，整个信息依然能够幸存。然而，物理学中一个被称为 Eastin-Knill 定理的基本规则制造了一个“两难困境”。该定理指出，没有任何一种单一类型的纠错码能够既执行所有可能的计算，又能将错误控制在范围内。有些代码擅长阻止错误，但只能执行有限的一组操作；而另一些代码虽然能进行更复杂的数学运算，却容易让错误扩散失控。为了建造一台真正实用的量子计算机，科学家必须找到一种在这些不同类型的代码之间进行切换的方法，利用各自的优势，同时避免引发连锁故障。

来自阿尔托大学（Aalto University）和诺基亚贝尔实验室（Nokia Bell Labs）的一个研究小组开发了一种解决这种切换问题的新方法，特别针对一类被称为“三正交码”（triorthogonal codes）的代码。这些代码之所以特殊，是因为它们可以直接在编码数据上执行某些复杂的数学运算，而无需打破保护层。研究人员发现了一种方法，可以将这些强大的代码与能够执行标准操作的简单对称代码配对。通过在两者之间建立一座桥梁，他们实现了将信息从复杂代码“远程传输”到简单代码的过程，完成必要的计算后再将其传回。这一过程完全是“横截型”（transversal）的，这意味着操作是在物理粒子间并行发生的，从而防止了错误的扩散。团队证明，这种切换机制适用于广泛的代码结构，包括那些能够执行比以往认为更复杂操作的代码。

这项发现的核心在于研究人员如何匹配这些不同的代码。对于被称为“被截断量子 Reed-Muller 码”（punctured quantum Reed-Muller codes）的特定代码族，他们创建了一个系统性的映射方案来寻找完美的搭档。想象一下，在一个图书馆里，每本书都有一个能完美契合在同一书架上的配套卷册；研究人员找到了那条规则，能准确告诉你哪本配套卷册对应哪本书。他们证明了对于该家族中任何给定的复杂代码，都存在一个可以通过特定类型的连接——即“单向 CNOT 门”进行通信的更简单的对称代码。这种连接允许计算机在两种代码之间安全地移动数据。对于其他不属于该特定家族的各类三正交码，团队则开发了另一种系统性的方法，从零开始构建一个兼容的伙伴代码。这确保了这种切换策略适用于所有类型的这类先进代码，而不仅仅是少数特定的类型。

为了使这一方法具有实际应用价值，研究人员将其切换方法与一种称为“Steane 纠错”的标准纠错程序相结合。通常情况下，在代码之间移动数据需要额外的步骤和额外的硬件，这会增加成本和复杂性。通过将切换过程与捕捉错误的常规检查合并，他们消除了对额外资源的需求。数据在被检查的同时进行移动，使得整个过程更加高效。他们使用两个具体的例子测试了这个框架：一个由 15 个物理粒子组成的编码和一个由 31 个物理粒子组成的编码。在两种情况下，他们都成功演示了逻辑信息可以在复杂代码与其简单的伙伴代码之间来回移动，且未损失保真度。

这项工作的真正价值通过构建“量子傅里叶变换”（量子计算中用于许多重要算法的基础计算）得到了体现。研究人员将使用这种新切换方法运行该计算所需的总连接数，与依赖于较弱代码的旧方法进行了对比。他们发现，通过使用支持更高级操作的 31 粒子大代码，所需的总连接数显著降低。在某些场景下，新方法比旧方法减少了 3 到 10 倍的连接需求。这种减少至关重要，因为在量子计算中，连接的数量是一个主要的瓶颈；更少的连接意味着更少的错误发生机会，以及构建机器时所需的物理硬件更少。

研究结果表明，通往强大量子计算机的路径并不要求固守单一类型的代码。相反，一种异构的方法——即针对不同任务使用不同代码并将其高效连接起来——提供了明显的优势。研究人员已经证明，通过将复杂代码与简单代码仔细配对，实现通用计算并在控制错误的同时降低整体资源成本是可能的。这项工作为未来量子计算机的构建提供了一个具体的蓝图，使其能够超越单代码架构的限制，转向一个更灵活、更高效的系统。结果表明，随着量子系统的规模扩大，通过利用这些高层操作进行代码切换，可以大幅降低构建能够解决现实问题之机器的门槛。

技术摘要：三正交码族中的横截变换码切换

问题陈述

通用容错量子计算需要一套能够实现任意幺正操作的门集。然而，Eastin-Knill 定理指出，没有任何单一的量子纠错码（QECC）可以支持一组通用的横截门。规避这一限制的标准方法依赖于用于非 Clifford 门（例如 $T$ 门）的魔术态蒸馏，这是一个资源密集型的过程，通常比逻辑操作需要多出几个数量级的量子比特和门。

相比之下，三正交码（triorthogonal codes）支持更高 Clifford 层级（Clifford hierarchy）的横截非 Clifford 门（如 $T$ 门和受控受控- $Z$ 门），但缺乏对所有 Clifford 门的横截实现。相反，对称 Calderbank–Shor–Steane (CSS) 码支持横截 Clifford 门，但不支持高层级的非 Clifford 门。挑战在于如何在不产生昂贵的魔术态蒸馏或复杂的子系统规范固定（subsystem gauge-fixing）程序开销的情况下，统一这些能力。

方法论

作者提出了一种横截码切换框架，通过仅使用横截操作，实现逻辑状态在三正交码（ $Q_T$ ）与兼容的对称 CSS 码（ $Q_{Sym}$ ）之间的逻辑状态转移。该方法根据三正交码的结构分为两种主要策略：

1. 抽样量子 Reed–Muller (PQRM) 码

对于属于 PQRM 族的三正交码，作者建立了一个系统的**码映射（code map）**来识别兼容的对称 CSS 伙伴。

横截条件： 他们推导了从三正交码 $Q_T$ 到对称码 $Q_{Sym}$ 的单向横截 CNOT 门的条件（其中两者的物理量子比特数可能不同）。这涉及构建一个扩展的对称码，以满足必要的商空间同构（ $C_1/C_2^\perp \cong C_3/C_4^\perp$ ）和对偶空间包含关系（ $C_2^\perp \subseteq C_4^\perp$ ）。
码映射： 对于给定的 PQRM 码 $Q_m^r$ ，他们确定了一组配对的对称码 $Q_s^{2s+1}$ ，其中 $r \leq s \leq (m-1)/2$ 。这允许在支持不同 Clifford 层级的代码之间进行切换（例如，从支持 4D 颜色码的代码切换到 2D Steane 码）。
实现： 切换是通过横截状态遥测（state teleportation）实现的。逻辑状态通过横截 CNOT 门从 $Q_T$ 遥测到 $Q_{Sym}$ ，反之亦然，使用横截 CZ 门（因为反向 CNOT 不是横截的）。

2. 通用三正交码

对于非 PQRM 族的三正交码，作者提供了一种系统性的构造方法来生成兼容的对称 CSS 码。

构造： 给定三正交码 $Q_T = \text{CSS}(C_1, C_2)$ ，我们构造一个对称码 $Q_{Sym} = \text{CSS}(C, C)$ ，其中 $C_1 \subset C \subset C_2$ 。
横截性证明： 他们证明了这样一对代码满足从 $Q_T$ 到 $Q_{Sym}$ 的横截 CNOT 门以及反方向横截 CZ 门的条件，从而确保逻辑空间是同构的。

与纠错的集成

该方法的一个关键贡献是将码切换协议直接集成到 Steane 纠错过程中。

作者并未将码切换和纠错作为两个独立的、顺序执行的步骤，而是将遥测电路嵌入到综合征提取（syndrome extraction）过程中。
这种方法利用了 Steane 纠错所需的辅助块（ancilla blocks）作为码切换的目标块，从而减少了辅助量子比特的开销和所需的总 CNOT 门数量。

核心贡献

广义横截码切换： 本文将先前仅限于颜色码（color codes）的一向横截 CNOT 技术扩展到了更广泛的三正交码族，包括那些支持更高 Clifford 层级门的码。
系统化码映射：
- 对于 PQRM 码，引入了一个映射来为任何给定的码识别兼容的对称伙伴，从而实现不同物理规模和 Clifford 层级代码之间的切换。
- 对于非 PQRM 三正交码，提供了一个构造算法来合成兼容的对称 CSS 伙伴。
开销削减： 通过将切换协议与 Steane 纠错合并，该框架降低了与状态遥测相关的资源开销（辅助量子比特和门计数）。
基准测试： 该框架使用逻辑 $n$ -量子比特量子傅里叶变换（QFT）电路进行了基准测试，比较了使用 $[[15, 1, 3]]$ 码（支持横截 $T$ ）与 $[[31, 1, 3]]$ 码（支持横截 $\sqrt{T}$ ）的资源成本。

结果

作者通过编译使用 $[[15, 1, 3]]$ 和 $[[31, 1, 3]]$ 三正交码与 $[[7, 1, 3]]$ Steane 码的逻辑 QFT 电路来对框架进行基准测试。

门计数减少： 结果表明，利用更高层级的 Clifford 层级门（特别是通过 $[[31, 1, 3]]$ 码实现的 $\sqrt{T}$ ）与使用仅第三层级门（通过 $[[15, 1, 3]]$ 码）相比，显著降低了总 CNOT 计数。
缩放性： 对于较大的 $n$ ，使用 $[[31, 1, 3]]$ 的方法比使用 $[[15, 1, 3]]$ 的方法减少了约一半的 CNOT 开销。对于较小的 $n$ ，这种减少倍数更为显著（达 3 到 10 倍）。
资源权衡： 虽然 $[[31, 1, 3]]$ 码每个逻辑量子比特需要更多的物理量子比特，但减少了非 Clifford 门分解的数量（这是 QFT 中 CNOT 开销的主要来源），从而实现了净总资源成本的降低。

意义

本文的研究结果强调了**异构码架构（heterogeneous code architectures）**在降低容错量子计算资源成本方面的潜力。通过使码切换能够直接使用更高 Clifford 层级的横截门，该框架提供了一条比单纯依赖昂贵的魔术态蒸馏更高效的实现通用量子计算的路径。与 Steane 纠错的集成进一步证明了这些协议在减少大规模系统中辅助量子比特开销方面的实际可行性。