⚛️ quantum physics

Fault-Tolerant Quantum Error Correction for Constant-Excitation Stabilizer Codes under Coherent Noise

本文通过引入双轨级联、相干噪声保持逻辑门以及改进的校验子提取方案，为电路级噪声下的恒定激发 CSS 码建立了一个容错纠错框架，证明了 $[[14,1,3]]$ 码在应对集体相干噪声时的鲁棒性能。

原作者： Ching-Yi Lai, Pei-Hao Liou, Yingkai Ouyang

发布于 2026-10-05

📖 1 分钟阅读🧠 深度阅读

原作者： Ching-Yi Lai, Pei-Hao Liou, Yingkai Ouyang

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

量子计算机有望解决普通机器需要数千年才能解决的问题，但它们极其脆弱。来自环境的哪怕最轻微的扰动都可能搅乱它们所持有的信息，导致计算失败。为了制造出能够工作的机器，科学家必须创造一个能够检测并修复这些错误，且不会使错误恶化的系统，这一概念被称为容错性。几十年来，研究人员一直依赖于将错误视为随机、孤立事故的模型，类似于收音机线路中的静电噪声。然而，现实世界的量子硬件往往遭受另一种麻烦：集体相干噪声。当一组量子比特（量子信息的基石）在同一时间经历相同的同步偏移时，就会发生这种情况，这通常是因为它们共享相同的控制线，或受到单个不稳定时钟的影响。与随机静电不同，这些同步偏移会堆积并压倒标准的纠错方法，威胁到未来量子处理器的可靠性。

一组研究人员现在开发了一个专门用于处理这种同步噪声的新框架。他们专注于一种特殊的量子码，称为恒定激发码。在这些编码中，信息存储在总活跃组件数量保持不变的状态中，就像一个房间里总人数不变，即使人们在其中移动一样。由于这类噪声的作用方式是在不改变数量的情况下改变这些组件的相位，因此这些编码天生对该噪声具有免疫力。然而，一个主要的障碍仍然存在：虽然编码本身可以抵御噪声，但检查错误的整个过程——使用额外的辅助粒子和复杂的门操作——可能会意外地破坏编码的规则，从而让噪声溜进来。研究人员致力于构建一个完整的、具备容错能力的系统，以确保这些编码在错误检查过程中本身也是安全的。

该团队首先发现，量子计算中使用的标准工具，特别是一种常见的逻辑门，会违反这些特殊编码所要求的严格规则。为了解决这个问题，他们设计了一套新的逻辑操作，这些操作在执行必要计算的同时，仍能保持恒定激发的特性。他们还创建了两种经典纠错电路（即 Shor 和 Steane 方法）的修改版本，这些电路利用特殊的辅助状态来测量错误而不干扰数据。这些新电路依赖于一种特定的门，该门根据控制量子比特处于零态还是一态而采取不同的行动，从而确保辅助粒子和数据粒子在整个过程中都保持在安全的恒定激发区域内。

为了测试他们的框架是否真的有效，研究人员构建了一个复杂的模拟算法。标准的模拟工具无法追踪这些同步偏移，因为它们在数学上非常复杂，且不符合通常用于随机错误的模式。该团队的新算法能够同时追踪随机错误和同步偏移，从而能够观察错误如何在电路中传播。他们将此模拟应用于一种将一个逻辑量子比特编码为 14 个物理量子比特的具体编码，这种配置被称为 [[14, 1, 3]] 码。他们在相同的噪声条件下，将其性能与传统的编码（如 Steane 码和表面码）进行了对比。

结果显示出明显的性能差异。随着同步噪声强度的增加，传统编码的错误率迅速上升。噪声随着每一次检查而累积，最终压倒了系统的自我纠错能力。相比之下，新的 [[14, 1, 3]] 码保持了稳定的错误率，证明了恒定激发结构成功屏蔽了同步偏移对信息的影响。研究人员发现，即使噪声增强，新代码的逻辑错误率也几乎保持不变，这表明该框架有效地中和了集体相干噪声的威胁。这项工作为在真实的量子处理器中使用这些特殊编码开辟了一条可行的路径，为这种长期难以管理的错误类型提供了一个稳健的解决方案。

技术摘要：针对相干噪声下恒定激发稳定器码的容错量子纠错

问题陈述
集体相干（CC）噪声源于相关的幺正旋转（例如，激光幅度失校或共享控制线），这对容错量子纠错（FTEC）构成了重大挑战。与随机噪声不同，CC 误差是非 Clifford 误差，无法使用标准的稳定器形式化方法进行高效模拟。由于恒定激发（CE）稳定器码的码空间由具有固定汉明权重的状态组成，因此它们天生对 CC 误差（特别是 $e^{-i\theta \sum Z_j}$ ）具有免疫性。然而，现有的 FTEC 框架尚未针对此类代码建立。传统的 FTEC 协议依赖于横截性的 CNOT 门进行伴随式提取；然而，这些门会将 CE 态映射到激发量保持子空间之外，从而违反了 CE 代码的基本约束。此外，通过伴随式提取周期来模拟 CC 误差积累的过程在计算上对于一般量子态是难以处理的。

方法论
作者开发了一个基于双轨级联的 CE CSS 码全面 FTEC 框架。该方法包含三个主要技术支柱：

代码构造： 作者利用双轨码（将单个量子比特映射为具有一个激发的两量子比特态 $|01\rangle$ 或 $|10\rangle$ ）将其与现有的稳定器码进行级联。他们证明了这种构造能够保持 CE 约束，并将 $[[n, k, d]]$ 稳定器码转换为 $[[2n, k, d' \geq d]]$ CE 稳定器码。他们确定了最小的距离-3 CE CSS 码： $[[12, 1, 3]]$ 和 $[[14, 3, 3]]$ 码。具体而言，当 $[[7, 1, 3]]$ Steane 码经过双轨级联后，会产生 $[[14, 1, 3]]$ CE CSS 码。
容错协议： 为了在伴随式提取过程中维持 CE 约束，作者使用标准受控非门（NOT）与零控制非门（ $C_0X$ ）的组合取代了标准的横截性 CNOT 门。他们提出了改进的 Shor 型和 Steane 型伴随式提取电路，利用 $w$ -CE 猫态（ $\frac{1}{\sqrt{2}}(|01\rangle^{\otimes w} + |10\rangle^{\otimes w})$ ）作为辅助态。这些电路确保了逻辑 CNOT 操作和伴随式测量能够保持激发数。针对距离-3 码设计了一个特定的控制流（算法 3），用于有条件地处理 X 和 Z 伴随式，在最小化开销的同时防止误差传播。
模拟算法： 为了解决模拟非 Clifford CC 误差的复杂性问题，作者开发了一种“扩展稳定器模拟”算法。该方法同时追踪标准 Pauli 帧和一组相干旋转。通过利用描述相干旋转如何通过 Clifford 门传播的恒等式（例如，目标量子比特上的 $Z$ 旋转如何通过 CNOT 传播成为 $ZZ$ 旋转），该算法会更新误差状态。至关重要的是，它通过以 $\sin^2\theta$ 的概率将相干误差投影为随机 Pauli-Z 误差来进行伴随式测量建模。

核心贡献

理论框架： 建立了首个在电路级噪声下针对 CE CSS 码的 FTEC 框架，证明了距离-3 CE 码可以在保持对 CC 噪声免疫性的同时，纠正任意单量子比特误差。
门与电路设计： 引入了保持 CE 的逻辑 CNOT 门以及使用零控制门和 CE 兼容辅助态的改进型伴随式提取电路。
模拟工具： 开发了一种高效的模拟算法，能够同时追踪随机误差和相干误差，从而能够在不进行全态矢量模拟的情况下，评估在现实 CC 噪声模型下的 FTEC 性能。
代码识别： 证明了通过双轨级联构造的 $[[12, 1, 3]]$ 和 $[[14, 3, 3]]$ CE CSS 码是该类中最小的距离-3 码。

结果
作者模拟了所提出的 $[[14, 1, 3]]$ CE CSS 码（即标准 $[[7, 1, 3]]$ Steane 码的双轨级联）的性能，并在交织了 CC 误差的电路级噪声模型下，将其与传统代码（特别是 $[[9, 1, 3]]$ 旋转表面码和 $[[7, 1, 3]]$ Steane 码）进行了对比。

传统代码： 随着相干旋转角 $\theta$ 的增加，传统 CSS 码的逻辑错误率显著下降。这是由于 CC 误差在伴随式提取周期中不断积累，实际上使随机 Z 误差率超过了代码的阈值。
CE 代码： 相比之下， $[[14, 1, 3]]$ CE CSS 码无论 $\theta$ 如何增加，都能保持稳定的逻辑错误率。双轨级联和保持激发的门有效地抑制了 CC 误差的影响，防止了其积累成逻辑失效。

意义
本文确立了 CE 稳定器码为易受集体相干噪声影响的硬件（如陷阱离子和超导量子比特平台）提供了一条稳健的量子纠错路径。通过提供一种不需要将相迫误差转化为随机噪声（这可能会增加误差率）的容错框架，这项工作证明了 CE 码可以在传统代码失效的地方保持性能稳定性。作者指出，虽然目前的工作侧重于距离-3 码，但该框架为未来探索更大距离的 CE 码以及更通用的相干噪声模型奠定了基础。未来的工作被确定为需要针对 CE 约束开发容错的 CE 猫态制备和标记伴随式提取协议。

类似论文