⚛️ quantum physics

Towards self-correcting quantum codes for neutral atom arrays

本文介绍了“ZSZ码”，这是一种针对中性原子阵列定制的双变量双循环码（bivariate bicycle codes）的非阿贝尔推广，其表现出与标准解码器相当的竞争性能，并在局部自纠错解码器下展现出更优越的可持续阈值，使其成为极具前景的可扩展容错量子存储器候选方案。

原作者： Jinkang Guo, Yifan Hong, Adam Kaufman, Andrew Lucas

发布于 2026-01-15

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Jinkang Guo, Yifan Hong, Adam Kaufman, Andrew Lucas

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

想象一下，你正试图在一个充满淘气小精灵的房间里存放一个珍贵的秘密。这些小精灵代表了量子计算机中的噪声——它们不断尝试翻转开关、改变数值并破坏你的信息。为了对抗它们，科学家们使用了量子纠错（QEC）。你可以把这想象成一群保安（“编码”）在不断巡视房间，查看是否发生了任何变化。如果他们发现了错误，他们会在信息丢失之前将其修复。

长期以来，最好的安保团队类似于表面码（Surface Codes）。它们很可靠，但非常“昂贵”，在空间上很耗费资源。你需要大量的物理保安（量子比特）来保护区区几个秘密（逻辑量子比特）。这就像是雇佣了一千名保安来守卫一座单一的银行金库。

最近，科学家们发现了一种更高效的团队，叫做双变量自行车码（Bivariate Bicycle, BB）码。它们像是更精简、更快速的安保小队，使用的保安更少，但依然表现出色。然而，它们有一个弱点：它们无法轻易实现“自纠错”。如果保安们感到困惑或者噪声变得太重，他们需要一个中央指挥官（复杂的计算机）来告诉他们该做什么。这需要时间和能量。

这篇论文介绍了一种改进后的新安保团队，叫做 ZSZ 码。以下是它们的运作方式，用简单的语言进行解释：

1. “扭曲”的布局

旧的 BB 码是建立在平坦、网格状的地板平面上的，每个人都遵循简单的直线规则（就像国际象棋盘一样）。而新的 ZSZ 码 是建立在一个“扭曲”的地板平面上的。

想象一家酒店，其走廊不仅仅是笔直的；它们以一种特殊的、非欧几里得的方式循环。如果你沿着走廊行走并转过弯，你可能会发现自己处于与预期完全不同的建筑区域。这种“扭曲”是一种被称为**半直积（semidirect product）**的数学技巧。这听起来很复杂，但结果是，保安们被连接成了一个更加复杂、类似蛛网状的网络。

2. “自纠错”的超能力

ZSZ 码最大的突破在于自纠错。

旧方法（BB 码）： 如果一名保安看到了错误，他必须向中央计算机大声呼救。计算机计算出修复方案，然后告诉保安该怎么做。这需要时间。如果噪声太大，系统就会崩溃。
新方法（ZSZ 码）： 由于这种扭曲的布局，保安们之间的相互连接非常紧密，以至于如果一名保安看到了错误，建筑物的局部规则会自然地将错误推开。这就像走廊里的人群：如果有人试图挤过去，人群的自然流动会将他们推回，而不需要经理介入。

论文称之为被动纠错。这个系统会自动修复错误，就像一个恒温器，当房间变冷时会自动开启加热，而无需你去手动调节旋钮。

3. 结果：更强大的盾牌

作者运行了计算机模拟，以观察这些新代码在面对“小精灵”（噪声）时的表现如何。

阈值： 他们发现，ZSZ 码在开始失效前，可以处理约 0.095% 的噪声水平。
对比： 这显著优于 4D Toric 码（另一种著名的自纠错码），后者的失效阈值约为 0.06%。
结论： ZSZ 码更加稳健。它们能在比之前的自纠错码更“嘈杂”的环境中生存，这使它们成为构建长效量子存储器的更好候选方案。

4. 如何建造它：“移动家具”类比

你可能会问：“如何在真实的量子计算机中建造一个扭曲的、非平面的地板布局？”

论文建议使用中性原子阵列（neutral atom arrays）。想象一个由微型陷阱组成的网格，每个陷阱里都捕捉着单个原子（量子比特）。通常情况下，这些原子是固定不动的。但在这种设置下，科学家使用**光镊（optical tweezers，即像隐形手指一样的激光）**来拿起原子并移动它们。

为了执行“安全检查”（伴随式提取/syndrome extraction），研究人员提出了一个舞蹈动作：

他们拿起一排或一列原子。
他们通过“洗牌”（就像洗扑克牌一样）的方式让它们滑动。
他们将它们聚集在一起以检查错误。
他们将它们滑回原来的位置。

因为原子是可以移动的，即使物理硬件只是一个平坦的激光网格，它们也能创造出 ZSZ 码所需的复杂、扭曲的连接。

总结

该论文提出了一种新型的量子纠错码，称为 ZSZ 码。

它是什么： 现有高效编码的一种数学上的“扭曲”版本。
为什么重要： 它允许量子计算机在无需持续外部干预的情况下，自动进行自纠错。
证明： 模拟显示，它比之前的自纠错码具有更高的“生存阈值”（能承受更多噪声）。
硬件： 它可以利用中性原子来构建，通过激光物理移动原子来创造必要的连接。

简而言之，作者找到了一种让量子存储器更加稳健且具备自给自足能力的方法，这可能为运行时间更长、不易崩溃的量子计算机铺平道路。

技术摘要：迈向中性原子阵列中的自纠错量子码

1. 问题陈述

开发容错量子计算需要低开销的量子纠错码（QECC）。虽然表面码被广泛使用，但它们面临着极高的物理比特开销。双变量自行车（Bivariate Bicycle, BB）码已成为一种极具前景的替代方案，通过利用非局部连通性，以显著更少的物理比特提供了具有竞争力的性能。然而，BB 码受限于有限维欧几里得嵌入，这限制了其最终的扩展特性。

量子存储的一个关键挑战是实现“被动”或“自纠错”纠错。传统的活性解码需要中途测量和反馈，这引入了延迟和复杂性。受自纠错存储器启发，被动解码利用局部、常数深度的电路（通常是无需测量的）来持续抑制错误。虽然 4D 托里码（toric codes）表现出自纠错特性，但它们需要难以在物理上实现的超高维连通性。作者研究是否存在既能结合 BB 码低开销特性，又具备自纠错潜力，且专门针对具备长程连通能力的中性原子平台设计的量子低密度奇偶校验（LDPC）码。

2. 方法论

2.1. 代码构造：ZSZ 码

作者引入了 ZSZ 码，这是一类作为 BB 码的非阿贝尔推广的量子 LDPC 码。

代数基础： 这些码是基于双块群代数（Two-Block Group Algebra, 2BGA）框架构建的。它们利用了半直积群 $G = \mathbb{Z}_\ell \rtimes_q \mathbb{Z}_m$ ，该群由展示式 $\langle x, y \mid x^\ell = y^m = yxy^{-1}x^{-q} = 1 \rangle$ 定义，其中 $qm \equiv 1 \pmod \ell$ 。
扭转机制（Twist Mechanism）： 与 BB 码（对应于阿贝尔情形 $q=1$ ）不同，ZSZ 码采用了“扭转”（半直积），其中 $y$ 对 $x$ 的作用是非平凡的（ $yxy^{-1} = x^q$ ）。这修改了比特与校验项之间的微观连接规则。
结构： 这些码是 CSS 码，每个校验项涉及六个比特，且每个比特参与六个校验（三个 X 型，三个 Z 型）。校验矩阵 $H_X$ 和 $H_Z$ 是由群代数元素 $a, b \in \mathbb{F}_2[G]$ 的左正则表示和右正则表示构造而成的。
几何结构： 这些码允许在 $\ell \times m$ 格点上进行 2D 矩形嵌入，比特位于格点的连线上，并具有周期性边界。非阿贝尔扭转改变了连通性，实际上创建了一个与 BB 码的标准矩形格点不同的凯莱图（Cayley graph）结构。

2.2. 数值模拟

作者在电路级去极化噪声模型下进行了广泛的数值模拟，以评估两种不同的解码策略下的代码性能：

全局解码（活性）： 模拟 $d$ 轮伴随式提取，随后进行全局置信传播与有序统计解码（BP+OSD）。
被动解码（自纠错）： 使用局部、单次（single-shot）“贪婪”解码器模拟 $\ge 100$ 轮伴随式提取。该解码器充当零温吉布斯采样器（Gibbs sampler），通过应用局部修正来最小化伴随式权重，而无需中途测量。

2.3. 硬件实现方案

论文提出了一种在中性原子阵列（由可移动镊子阵列捕获）上实现 ZSZ 码的具体策略。

伴随式提取： 设计了一种单辅助比特伴随式提取协议，其中伴随式比特通过光学镊子与数据比特耦合。
路由： 作者详细说明了使用声光偏转器（AOD）移动原子的路由协议。对于水平扇区（左凯莱图路由），复杂度为 $O(\log \ell)$ ；对于垂直扇区（右凯莱图路由），复杂度为 $O(m)$ 。对于具有对数直径（ $m = O(\log \ell)$ ）的代码，总路由复杂度为 $O(\log \ell)$ 。

3. 核心贡献与结果

3.1. 代码特性

扩张与限制： 理论分析表明，ZSZ 码在其凯莱图中表现出小集合扩张（small-set expansion）特性，导致对于小错误集具有线性限制（linear confinement）。这是实现自纠错的必要条件，与 BB 码在相同机制下不具备此属性形成对比。
参数： 作者识别了几个候选代码（例如 ZSZ144, ZSZ288, ZSZ756），具有不同的逻辑比特数 ( $k$ ) 和估计的距离 ( $d$ )。

3.2. 全局解码下的性能

在 $d$ 轮伴随式提取及 BP+OSD 解码下，ZSF 码在电路级去极化噪声下的阈值约为 0.5%。
该性能与表面码（在相同模型下估计阈值为 ~0.8%）以及 BB 码具有竞争力，同时在给定物理规模下编码了更多的逻辑比特。

3.3. 被动解码下的性能

可持续阈值： 使用局部贪婪解码器，作者观察到 ZSZ 码具有约 0.095% 的可持续阈值。
对比： 在相同的噪声模型和解码器下，该阈值明显高于 4D 托里码估计的 0.06% 可持续阈值。
BB 码对比： 至关重要的是，作者报告在相同的被动解码方案下，没有发现 BB 码存在可持续阈值的证据，这表明 ZSZ 码中的非阿贝尔扭转从根本上改变了纠错动力学，从而有利于被动纠错。
资源效率： 一个 ZSZ756 码在仅使用约 12% 数据比特的情况下，其性能优于四个 $L=4$ 的 4D 托里码副本（且拥有相同数量的逻辑比特）。

3.4. 实现可行性

论文证明，通过原子阵列的简单全局运动（网格传输和循环移位），可以完成 ZSZ 码的一轮完整伴随式提取。虽然 ZSZ 码的路由复杂度（ $O(\log \ell)$ ）高于 BB 码（ $O(1)$ ），但它仍保持对数级别，与超图积码（hypergraph product codes）相当，这使得它在中性原子架构中是可行的。

4. 意义与主张

论文声称 ZSZ 码是可扩展自纠错量子存储器的有前途的候选方案。其主要意义在于证明了通过简单的非阿贝尔推广 BB 码，可以获得：

卓越的被动性能： 能够实现超过 4D 托里码（自纠错的基准）的可持续被动解码阈值。
硬件兼容性： 为在中性原子平台上的实现提供了一条可行路径，这类平台非常适合处理这些代码所需的非局部连通性。
新范式： 结果表明，即使在适中的代码长度下，也可以利用非阿贝尔群结构来设计具有质变行为（如自纠错）的量子码，而这种行为在它们的阿贝尔对应物（BB 码）中是不存在的。

作者在表述上保持了谦逊，指出所观察到的阈值是基于特定的噪声模型和解码器的。他们承认，在优化伴随式提取调度、减轻钩错误（hook errors）以及开发这些代码的容错状态制备和逻辑门协议方面，仍需进一步的工作。然而，其观察到的高于 4D 托里码的可持续阈值的数值证据，确立了 ZSZ 码作为迈向无测量、可扩展量子存储器的重要一步。