⚛️ quantum physics

Linear-Time Encodable Quantum Codes near the CSS GV Bound

本文提出了一种逼近 CSS GV 界且具有线性时间可编码性的量子 CSS 码构建方法，该方法采用了一种受 Brehm 和 Resch 启发、结合了常数深度外层电路与经典累积层的简单架构。

原作者： Rachel Yun Zhang

发布于 2026-10-02

📖 1 分钟阅读🧠 深度阅读

原作者： Rachel Yun Zhang

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

在计算领域，信息往往是脆弱的。一个单一的比特，即一个简单的 0 或 1，都可能因热量、辐射或电噪声而发生翻转，从而损坏其携带的信息。为了应对这一问题，科学家们使用了纠错码，它们就像一张安全网，通过添加额外的信息位，使得即使丢失或改变了一些信息，原始信息仍能被恢复。这一概念对于经典计算机至关重要，但当应用于量子计算机时，情况变得呈指数级复杂。量子比特（qubits）比它们的经典对应物要敏感得多，而且量子力学的规则规定，我们无法在不破坏其状态的情况下对其进行复制或直接测量。为了让量子计算机变得实用，它们需要能够保护这种脆弱信息，且能做到既快速又不需要消耗大量时间或硬件资源来构建的编码。

挑战在于如何在代码所能承载的信息量与其保护信息的能力之间找到平衡。被称为“界限”（bounds）的理论极限表明，开发出既高效又具有高度保护能力的编码是可能的，但构建出一个能够达到这些极限的物理系统一直是一个障碍。以往构建快速量子码的尝试，其结果要么是系统太弱而无法使用，要么是过于复杂而难以实现。长久以来的目标是构建一种量子码，使其在接近最佳理论性能的同时，仍能保持足够简单，能够由规模较小且运行速度较快的电路进行编码。

一位研究人员现在构建了一种非常接近这一理想状态的新型量子码。其工作专注于一类特定的量子码，这类量子码通过将信息组织成两个不同的保护层来进行运作。该研究人员设计了一种方法，利用一种极其简单且快速的过程来构建这些编码。该系统并非采用复杂的、交织的操作网络，而是使用了一套直观的步骤序列：它从一个基础的信息块开始，重复其中的部分内容，然后按照特定的重复模式对数据进行洗牌和组合。这一模式包含两个主要动作：一个是计算运行总和的值，另一个是计算相邻值之间的差值。通过在这些动作中穿插随机洗牌，系统增强了其检测和纠正错误的能力。

最重要的发现是，这种简单、重复的过程产生的编码几乎达到了物理定律所允许的最佳编码水平。研究人员从数学上证明，随着他们增加这种洗牌和组合过程的重复次数，代码抵抗错误的能力会迅速提升，并趋向于理论上的最大极限。在实际应用中，这意味着只需经过几轮这样的过程，编码就会变得极其稳健。例如，在仅经过四轮编码过程后，该代码的纠错能力就已处于绝对最佳性能的极小差距之内。经过六轮后，它与那个完美的极限已几乎无法区分。

至关重要的是，这种高水平的保护并没有以牺牲速度或增加复杂度为代价。研究人员证明，他们的代码可以使用既小巧又浅层的量子电路进行编码。该电路所需的各种基本操作数量仅随数据规模呈线性增长，这意味着它不会随着数据的增大而出现复杂度爆炸的问题。此外，电路的深度（即运行所需的时间）仅呈对数级增长。这相比以往的方法是一个巨大的进步，因为以往的方法通常需要那些处理大规模数据时过于深层的电路。整个系统可以使用一套标准的量子逻辑门来构建，这使其成为未来量子硬件的一个可行候选方案。

这种编码的构建受到了经典计算中一种类似技术——重复累加码（repeat-accumulate codes）的启发，但研究人员必须对该方法进行重大调整才能使其适用于量子领域。直接翻译经典的这种方法之所以失败，是因为它产生的编码过于微弱，无法保护量子信息。研究人员通过解决这一问题，在标准的累加步骤中交织了一个“导数”步骤，即计算相邻比特之间的差值。这一改进确保了即使从其对偶的角度来看，该编码也能保持强度，而这正是量子稳定性的必要条件。此外，他们还用一个更复杂的奇偶校验取代了简单的重复步骤，这使得代码在保持保护强度的同时，能够携带更多信息。

研究人员并未止步于理论证明；他们还通过数值模拟验证了其发现。这些模拟证实，该代码的表现完全符合预期，即有效状态与无效状态之间的距离随着编码轮数的增加而迅速增长。结果表明，该代码不仅是一个理论上的奇趣，更是可以应用在当前或近期技术上的实际解决方案。这项工作代表了一个重要的里程碑，因为该研究人员首次证明了具有迭代编码器的量子码可以实现良好的、近乎最优的距离（具体而言是接近 CSS GV 界限）对于特定系综而言。这一突破表明，为特定系综创建高性能快速量子码的长期障碍是可以逾越的，这为开发更可靠、更具扩展性的量子计算机开辟了道路。通过证明一个简单的迭代过程可以实现近乎最优的保护，研究人员为实现能够可靠地在现实世界中运行的量子系统工程提供了一条清晰的路径。

技术摘要：接近 CSS GV 界限的线性时间可编码量子码

问题陈述
本文旨在解决构建既具有渐近优良性（接近率与距离的最优权衡）又具有高效编码能力的量子纠错码的挑战。虽然此前 [WLZH26] 的工作展示了具有线性时间编码的量子码，但其率-距离权衡并不理想，高度依赖于底层的扩展图，且远离 Gilbert-Varshamov (GV) 界。本研究的目标是构造一种量子 CSS 码，在保持编码电路为线性规模和对数深度的同时，实现接近 CSS GV 界限的率-距离权衡。

方法论
作者提出了一种受经典重复累加（Repeat Multiple Accumulate, RMA）码启发的设计，具体而言，是改编了 Brehm 和 Resch [BR26] 关于具有交错累加与微分轮次的经典码的研究。

代码结构 (CSS 构造)：
该码是一个由两组稳定子定义的 CSS (Calderbank-Shor-Steane) 码：
- 外码 ( $C_0$ )： 由 $n/s$ 个 $s$ -校验码 ( $P_s$ ) 块组成的经典码，其中 $s \ge 4$ 是一个偶数。该外码的率为 $1 - 1/s$ 。
- 放大 (Amplification)： 通过应用对应于随机置换 ( $\Pi_i$ ) 的酉算子以及经典线性算子（累加 $A$ ，即前缀和矩阵；以及微分 $D$ ，即 $A$ 的逆）来放大距离。
- 交错 (Interleaving)： 该构造交错了 $m$ $m$ 轮“置换累加”和“置换微分”操作。
  - $X$ -稳定子对应于通过对 $s$ -校验码应用 $m$ 轮 $A$ 后接 $D$ （带有置换）而形成的经典码 $P_s(AD)_m$ 。
  - $Z$ -稳定子对应于通过 $m$ 轮 $D$ 后接 $A$ （带有置换）而形成的经典码 $P_s(DA)_m$ 。
- 量子编码： 作者证明，可以通过首先应用常数深度量子外编码器（将逻辑比特编码到 $C_0$ 的陪集超叠加中），随后应用交错的累加与微分层来对量子码进行编码。
距离分析：
分析重点在于经典码 $P_s(AD)_m$ 和 $P_s(DA)_m$ 的权重枚举器。
- 谱形状分析 (Spectral Shape Analysis)： 作者定义了渐近谱形状函数 $r^{(m)}(\gamma)$ ，用于界定给定相对权重 $\gamma$ 的码字数量对数的期望值。
- 递归： 他们基于随机置换下累加与微分算子的转移概率，建立了这些谱形状的递归关系。
- 收敛性： 他们证明，随着轮数 $m$ 的增加，阈值 $\delta(m)$ （谱形状为非正值的下限）会收敛到 $\delta_{GV}$ ，即满足 CSS GV 方程 $h(\delta_{GV}) = 1/s$ 的相对距离。
- 边界贡献界定： 为了证明实际距离接近 $\delta(m)$ ，作者将权重枚举器分析分为“中间”贡献（权重远离 0 和 $n$ ）和“边界”贡献（权重非常接近 0 或 $n$ ）。他们证明了这两个区域中的低权重码字数量期望值随块长度 $n$ 以多项式或指数级衰减。

核心贡献

构造近优量子码： 本文构造了一族量子 CSS 码，其速率 $R = 1 - 2/s$ ，且相对距离接近 $\delta_{CSS-GV}(R) = h^{-1}((1-R)/2)$ 。
线性时间可编码性： 编码电路的规模为 $O(n)$ ，深度为 $O(\log n)$ 。具体而言，深度为 $O(s + m \log n)$ ，门计数为 $O(n)$ 。
经典结果的推广： 该工作将 [BR26] 的分析从 2-重复外码推广到了 $s$ -校验外码（ $s \ge 4$ ），从而实现了非零逻辑比特率的量子码构造。
修正先前证明： 作者识别并修正了 [BR26] 中关于权重枚举器边界贡献的错误，提供了能够处理转移概率中向上或向下取整函数的严谨界限。

结果

定理 1.1： 对于任何偶数 $s \ge 4$ 和 $\epsilon > 0$ ，存在一个量子 CSS 码，其速率 $R = 1 - 2/s$ ，且 $X$ 与 $Z$ 距离均 $\ge (\delta_{CSS-GV}(R) - \epsilon) \cdot n$ 。其编码电路使用 $O(n)$ 个 CNOT 门，深度为 $O(\log n)$ 。
收敛速度： 文中给出的数值估计表明收敛速度极快。例如，当 $s=4, m=4$ 轮编码时，相对距离与 CSS GV 界限的差距在 $0.001 $以内；当$ m=6 $时，差距在$ 10^{-7}$ 以内。
概率保证： 在随机置换的选择上，距离保证以高概率（ $1 - e^{-\Omega(n^{k})}$ ）成立，其中 $k$ 取决于 $m$ 。

意义
本文声称是第一个证明迭代编码器（特别是基于累加与微分轮次的编码器）实现的量子码能达到接近 CSS GV 界限的研究。虽然之前的尝试量化 RMA 码时由于对偶码距离较差而失败，但本研究通过交错累加与微分操作，成功平衡了 $X$ 与 $Z$ 稳定子的距离。该结果不仅使代码具有渐近优良性，而且在实际编码方面也非常高效，解决了量子纠错中为了防止逻辑操作开销膨胀而必须降低复杂度这一关键瓶颈。本文并未讨论解码复杂度，指出虽然存在针对经典 RMA 码的置信传播技术，但将其扩展到此量子环境下的问题仍是一个开放性课题。

技术摘要：接近 CSS GV 界限的线性时间可编码量子码

类似论文