⚛️ 量子物理

Bicycle Race: small two-block codes on the Pareto frontier

本文通过一种代数搜索流水线，对约 $10^8$ 个小型两块群代数量子 LDPC 码进行了系统性普查，揭示了交换群在较小规模下占据主导地位，而非交换群在较大规模下表现更优，并最终确定了在 $kd^2/n$ 指标上超越现有基准的新型破纪录码。

原作者： Gideon Lee

发布于 2026-10-12

📖 1 分钟阅读🧠 深度阅读

原作者： Gideon Lee

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

在构建实用量子计算机的过程中，科学家们面临着一个根本性的问题：存储在量子比特中的信息极其脆弱。微小的热量或随机的电磁波都可能损坏数据，导致计算机失效。为了对抗这一点，研究人员使用纠错码，将信息分散在许多物理粒子上，这样即使某些粒子受损，原始信息仍能被恢复。多年来，这类任务中最有希望的候选方案是被称为量子低密度奇偶校验码（quantum low-density parity-check codes）的一类代码。这些代码之所以特殊，是因为它们使用简单的、局部性的粒子间连接，使得在实验室中更容易构建。然而，这其中存在着恒定的权衡：易于构建的代码往往存储的信息较少或纠错能力较弱，而强大的代码则往往过于复杂，以至于几乎无法构建。

一种被称为“两块代码”（two-block codes）的更简单且特定的代码家族，因其结构的优雅性而长期以来备受青睐。它们利用一种数学框架进行构建，允许它们被排列成二维模式，这与使用可移动原子的新兴量子硬件完美匹配。长期以来，科学界一直认为，虽然这些简单的代码易于构建，但它们的性能不足以与更复杂、更抽象的设计竞争。普遍的观点是，简单性是以性能为代价的。这篇论文通过提出一个直截了当的问题挑战了这一假设：我们是否只是停止了更深入的探索？通过系统地搜索这些简单代码在小规模下的所有可能变体，研究人员发现，简单与复杂之间的差距并没有想象中那么大，而且一些表现最好的代码就隐藏在这一简单的家族之中。

由芝加哥大学的吉迪恩·李（Gideon Lee）领导的研究团队，致力于绘制包含多达 320 个物理粒子的两块代码的全貌。他们没有依靠猜测或直觉，而是建立了一个在标准笔记本电脑上运行的严密的搜索流水线。这个系统就像一个巨大的筛子，测试了数十亿种潜在的代码配置。为了实现这一点，他们使用了一系列数学过滤器，快速剔除那些注定会失败的大多数代码，从而将计算能力集中在最有希望的候选对象上。他们还开发了一种利用生成这些代码的底层数学结构的全新方法，以引导搜索过程，在进行初步测试后，有效地学习了优秀的编码最可能隐藏的位置。这种方法使他们能够比仅仅随机选取示例更快地找到高质量的代码。

研究结果令人惊喜。团队发现，对于小型系统，这些简单的两块代码不仅具有竞争力，而且通常是现有的最佳选择。他们识别出了几种优于同类中此前已知领先者的代码。例如，他们发现了一个拥有 102 个粒子、可存储 20 个单位信息并能纠正距离为 10 的错误的编码；另一个拥有 120 个粒子、存储 24 个单位信息且具有相同纠错能力的编码。这些代码之所以特别有价值，是因为它们可以在平面上以重复模式排列，这非常适合目前正在开发的用于中性原子量子计算机。在模拟这些代码在噪声环境中的表现时，它们展现出了极强的抗误差能力，表明它们很快就能在实际机器中使用。

其中一项最重要的发现是关于这些优秀代码究竟分布在何处的详细图谱。研究人员发现，优秀的编码并非均匀分布在所有的数学可能性中；相反，它们高度聚集在少数特定的群组中。他们发现，对于较小的系统，基于交换群（即运算顺序无关紧要）构建的代码往往是最强大的。然而，随着系统规模的增长，最好的代码会转向非交换群（即运算顺序至关重要）。这种交叉点会随着代码连接复杂度的增加而移动。这一洞察力至关重要，因为它告诉未来的研究人员确切的寻找方向，而不是在空白空间浪费时间。团队还证实，虽然这些简单的代码非常出色，但它们并不是适用于所有规模的“万灵丹”：在超过一定规模后，更复杂的构造可能仍然是必要的，但在与近期量子计算机相关的规模范围内，简单的代码已经足够了。

论文还讨论了“校验权重”（check weight）的角色，即每个错误检查操作所涉及的粒子数量。研究人员探索了校验权重在 5 到 9 之间的代码。他们发现，随着校验权重的增加，寻找优秀代码变得呈指数级困难，高质量代码变得稀有数百倍。尽管如此，他们还是成功挖掘出了大量权重为 9 的新代码，而这一领域此前在很大程度上被认为是不切实际而未被探索的。随着拥有可移动量子比特的量子硬件的发展——在这种硬件中，可以在不使用物理导线的情况下实现远距离粒子间的连接——这些高权重代码变得可行。团队证明，这些代码可以通过极少的物理移动进行操作，使其在下一代量子设备中具有极高的效率。

为了确保研究结果的可靠性，研究人员并未仅仅依赖于自己的计算。他们使用独立的开源软件对最佳结果进行了交叉验证，并将其与庞大的已发表代码数据库进行了对比。他们发现，在许多类别中，他们的新代码设定了新的性能标准，推向了小型量子系统所能达到的极限。他们还将所有数据和代码向公众开放，创造了一个其他科学家可以用来验证结果并开展后续工作的资源。这种透明度是他们贡献的关键部分，让整个学术界能够看到这些代码是如何被发现和测试的。

最终，这项工作提醒我们，在科学领域，有时最深刻的发现来自于用全新的视角和更好的工具去审视旧的思想。两块代码并非新发明，它们已被研究了几十年。改变的是方法。通过将顽固的穷举搜索与现代计算技术以及对底层数学的深刻理解相结合，研究人员证明了这些“简单”的代码远非过时。他们表明，对于我们今天正在构建的量子计算机规模而言，这些优雅的二维结构不仅是一个理论上的好奇点，更是一个准备好进入实验室的、高性能的实用解决方案。该研究得出结论：简单代码与复杂代码之间的差距并非不可逾越的鸿沟，而是一个可以通过耐心和正确的搜索策略进行导航的景观。

技术摘要：“自行车赛：帕累托前沿上的小型两块代码”

问题陈述
两块群代数代码（two-block group-algebra codes）是一类简单的量子低密度奇偶校验（qLDPC）码，其中许多在扭曲环面上具有平移不变性，使其非常适合中性原子阵列和具有可移动比特的平台。尽管这类代码结构简单且具有硬件协同设计的优势，但存在一种普遍观点，认为简单的代码在参数性能上不如更复杂的提升构造（lifted constructions）。作者质疑这种差距是本质性的，还是仅仅由于探索不足导致的，特别是在小规模系统尺寸（ $n \le 320$ ）且校验权重处于高率代码水平（5 到 9）的情况下。挑战在于组合爆炸带来的搜索空间：对于给定的群和校验权重，可能的块对数量随阶乘级增长，如果不进行激进的过滤，穷举搜索在计算上是不可行的。

方法论
作者开发了一个系统的搜索流水线，能够在标准笔记本电脑上运行详尽或近乎详尽的两块代码普查，无需依赖 GPU 集群。该方法结合了代数约束、等价约简和统计靶向技术：

搜索空间与约简： 搜索过程遍历 SmallGroups 库中的群。为了管理空间，流水线应用了等价约简（双侧平移、自同构、反纽带和块交换）将块对 $(a, b)$ 压缩为等价类。
代数筛选： 在计算精确距离之前，流水线采用“可靠”筛选器来剔除无法达到目标度量（ $kd^2/n$ $k d^{2} / n$ ）或距离底线的代码。这些筛选器包括：
- 连通性检查： 剔除不连定的代码（即较小代码的直和）。
- 单位/权重筛选： 剔除块为单位元（意味着 $k=0$ ）的代码，特别是利用了 2-群具有奇数权重块会导致 $k=0$ 的特性。
- 超图积检测： 识别坍缩为已知超图积的代码。
距离估计： 流水线使用“优先证人阶梯”（witness-first ladder）。它首先尝试使用随机估计器（QDistEvol）寻找比目标阈值更轻的逻辑算子（证人）。如果未找到此类证人，则通过增强了剪枝界限和对称根寻（通过 pynauty）的连通簇搜索进行精确距离计算。
针对性采样： 初始均匀采样显示，高质量代码集中在特定的群结构中。作者根据 Wedderburn 理论开发了针对性采样策略：
- 阿贝尔群（Abelian groups）： 专注于“共享因子”策略，使块在特定的域分量上消失，以保证 $k > 0$ 。
- 非阿贝尔群（Non-abelian groups）： 使用“秩靶向”技术，确保块在矩阵分量中具有特定的零度，从而增加非零 $k$ 的可能性。
AI 辅助工作流： 作者利用大语言模型（LLM）进行文献综서、代码生成和模式匹配，但执行了严格的“可靠性门控”，即在接受任何代码之前，必须先验证由人类定义的代数约束（例如校验矩阵的交换性）。

主要贡献与结果
本文呈现了对约 $10^8$ 个具有最多 320 个比特和校验权重 5 至 9 的两块代码的普查。

详尽普查： 作者对以下情况进行了详尽搜索：
- 权重 5，直至 $n=300$ （所有群）。
- 权重 6，直至 $n=300$ （所有群）。
- 权重 8，直至 $n \le 100$ （所有群）。
- 权重 7（ $n \le 100$ ）和权重 9（ $n \le 94$ ）（所有群）。
新纪录代码：
- 权重 9： 在阿贝尔群上发现了如 [[102, 20, 10]] 和 [[120, 24, 10]] 的代码，以及在非阿贝尔群上发现了 [[294, 24, 21]]。这些代码超过了各自尺寸下已发表的最佳 $kd^2/n$ 。
- 权重 8： 识别出 [[292, 22, 23]]， $kd^2/n = 39.9$ ，是 $n \le 320$ 范围内具有精确距离的最佳权重-8 CSS 码。
- 权重 6： 确认 Gross 码 [[144, 12, 12]] 为 $n \le 200$ 范围内最佳的阿贝尔权重-6 码。发现非阿贝尔群上的 [[288, 16, 16]]，超越了该范围内已发表的最佳权重-6 码。
- 权重 5： 在非阿贝尔群上发现了 [[288, 4, 20]]，性能优于所有距离 $>6$ 的已发表权重-5 码。
帕累托前沿： 新代码显著推动了权重 7–9 的帕累托前沿。对于较小的 $n$ （约 $\le 320$ ），两块代码在前端占据主导地位，尽管高率区间仍由其他构造（如 Mitten 码）占据。
统计洞察：
- 群集中性： 优秀的码并非均匀分布；它们集中在极少数群中（例如，90% 的入围代码通常来自 3%–18% 的群）。
- 阿贝尔 vs. 非阿贝尔： 在小 $n$ 时，阿贝尔群通常产生更好的码；而随着 $n$ 增大，非阿贝尔群开始占据优势。这一交叉点会随着校验权重的增加而向更大的 $n$ 方向移动。
- 稀有性： 随着校验权重从 6 增加到 9，高质量码在随机抽取中的出现概率降低了 100–1000 倍。
模拟： 作者在噪声电路中模拟了 [[102, 20, 10]] 和 [[120, 24, 10]] 的综合征提取，展示了在最小化传输噪声假设下，其破缺点（break-even point）在 $p \approx 0.6\%$ 左右，验证了其对可移动比特平台的适用性。

意义与主张
本文声称，人们认为两块码性能较差的看法并非本质属性，而是采样不足的结果。通过应用代数约束和针对性采样，作者证明了两块码可以在小规模（ $n \le 320$ ）下与更复杂的构造竞争。

无新理论： 作者明确表示并未引入新的理论构造。其贡献在于一种“顽强的搜索”，利用现有的代数理论（Wedderburn 分解、群代数）更有效地导航参数空间。
硬件相关性： 该工作认为，两块码的平移不变性和与可移动比特的兼容性使其成为中性原子平台的重要候选方案，因为在这些平台中，连接交叉的惩罚小于移动效率的惩罚。
数据库： 提供了一个包含约 12,400 个代码、文献记录和验证证人的公开数据库，以作为社区的基准。
谦逊态度： 作者承认其搜索受限于 $n \le 320$ 和权重 $\le 9$ 。他们指出，对于更大的 $n$ 或更高的权重，搜索空间呈指数级增长，且高质量码的稀有性表明，未来的进展需要显著更大的计算预算或更精准的理论靶向。他们还提到，虽然找到了优秀的码，但设计优化的逻辑门电路和完整的纠错电路仍是未来工作的工程挑战。

技术摘要：“自行车赛：帕累托前沿上的小型两块代码”

类似论文