⚛️ quantum physics

High-Rate Quantum Codes with Proven Distance and Low-Weight Measurements

本文介绍了一类定义在矩形网格上的高率量子子系统码，这些代码实现了经证明的 16、32 和 64 的着装距离（dressed distances），并具有低权重测量和高编码率，同时通过 Lean 代码对其属性进行了形式化验证。

原作者： Kishor Bharti, Tobias Haug, Runzhou Tao, Kevin Ye

发布于 2026-10-05

📖 1 分钟阅读🧠 深度阅读

原作者： Kishor Bharti, Tobias Haug, Runzhou Tao, Kevin Ye

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

在构建实用量子计算机的探索过程中，科学家们面临着一种基本的张力：保护与效率之间的权衡。量子信息极其脆弱，哪怕是最微小的扰动都可能破坏其中存储的数据。为了抵御这种风险，研究人员使用纠错码，将单个信息单元（称为逻辑比特）分散存储在许多物理粒子中。这种保护能力的强度由代码的“距离”来衡量：即需要发生的最少物理错误数量，才能使错误在不被察觉的情况下破坏计算。然而，检查这些错误需要对粒子进行测量，而测量行为本身也会引入新的错误。如果一次测量涉及过多的粒子，引入错误的风险就会增加。因此，理想的量子存储器必须能够在保护大量信息的同时，使用尽可能触及粒子最少的测量方式。本文致力于解决寻找这种最佳平衡点的复杂数学问题——即如何在存储容量、保护强度以及测量复杂度之间取得平衡。

一个研究小组发现了一类新型量子码，它们在保持测量相对轻量化的同时，实现了极高的存储容量。他们基于网格结构设计了这些代码，在多维空间中每一条线的交点处放置一个量子比特。其核心创新在于如何检查错误。他们不是测量复杂的比特组，而是仅测量沿着穿过网格的直线排列的比特。这种方法使他们能够通过绝对的数学确定性，证明该代码能捕捉多少错误，而无需通过计算机模拟来猜测答案。研究人员展示了保护强度完全取决于网格的维度，而存储的数据量和测量的规模则取决于网格边的长度。

该团队在一万个数据比特的严格限制下测试了他们的设计，这是一个对于近期量子机器而言较为现实的预算。他们发现，通过调整网格维度，可以创建出能够保护数千个逻辑比特的代码。例如，在需要十六个错误才能导致失效的保护水平下，他们的设计可以使用仅涉及十个比特的测量来存储超过四千个逻辑比特。在更高的保护水平下（即需要三十二个或六十四个错误才能破坏代码时），该系统仍能分别存储超过一千二百个逻辑比特，而测量仅涉及六个比特。这些结果并非仅仅是理论上的可能性；研究人员提供了一份针对这些特定保护水平的最优设计完整列表，精确展示了在给定测量规模下可以存储多少比特。

这项工作的特别意义在于其数字背后的严密证明。在量子编码的许多领域，科学家依赖计算机搜索来估算代码的效果，但这些搜索可能会忽略细微的缺陷，或无法找到真实的极限。在这里，研究人员使用了一种形式化的数学验证方法，这一过程类似于计算机检查逻辑论证中的每一个步骤以确保不存在错误。他们证明了代码的距离是由网격을几何结构决定的，不会因构建过程中的具体选择而得到提升或降低。这种确定性让工程师能够充满信心地选择代码，明确知晓存储容量与测量复杂度之间的确切权衡。

研究还揭示了设计中隐藏的一个有趣的权衡。虽然用于检查错误的测量是轻量级的且仅触及少量比特，但定义代码稳定性的底层数学规则却要“沉重”得多。研究人员表明，任何能够保证代码完整性的单一规则都涉及大量的比特，远多于单个测量的比特数。这意味着该系统依赖于许多轻量级测量的集体效应来强制执行一个沉重且稳固的结构。这有点像一座悬索桥：支撑道路的单根缆绳是轻巧且易于处理的，但它们共同构成了一个巨大的、坚不可摧的结构，能够承受巨大的重量。研究人员澄清说，虽然测量过程很简单，但仍需仔细处理，以确保测量过程中的错误不会扩散到数据中。

通过绘制出这些基于网格代码的完整可能性范围，本文为构建高效量子存储器提供了清晰的路线图。它证明了只要正确选择网格维度，就可以在不牺牲保护强度的前提下实现高存储率。这项工作并不声称已经解决了构建量子计算机的所有问题，例如如何处理机器实际运行过程中产生的噪声。然而，它建立了一个经过验证的参数基础，消除了初始设计阶段的猜测。对于致力于建造下一代量子设备的工程师来说，这项工作提供了一套精确且经过验证的蓝图，在保持错误检查过程的物理要求在可控范围内的同时，最大化了可用信息的量。

技术摘要：具有证明距离和低权重测量的高率量子码

问题陈述
本文探讨了量子纠错中三个关键参数之间的基本权衡：编码率（相对于数据比特的受保护逻辑比特数量）、码距（不可检测逻辑错误的最小权重）以及测量权重（单个测量算符触及的数据比特数量）。虽然子系统码提供了一种机制，通过使用较轻的、非对易的规范测量（gauge measurements）来替代沉重的稳定器测量，但确定此类码的精确距离——特别是考虑了与规范算符相乘后的“着装”（dressed）距离——通常需要数值搜索或缺乏对一般族系的严格证明。作者寻求一种能够为矩形网格上的高率、低权重测量码提供显式且经过证明的参数的构造方法。

方法论
作者研究了一类量子子系统码，记作 RLG( $q_1, \dots, q_L$ )，定义在维度为 $L$ 、边长均为偶数且 $q_i \ge 4$ 的矩形坐标网格上。

构造： 该码通过测量“坐标线”规范算符来定义。对于每个轴 $i$ ，沿平行于该轴的每条线上的 $X$ 或 $Z$ 算符都被包含在规范群中。
代数框架： 分析过程利用了泡利算符的二进制辛描述（binary symplectic description）。该码属于 Calderbank–Shor–Steane (CSS) 类型，其规范群由纯 $X$ 和纯 $Z$ 算符生成。作者利用 $\mathbb{F}_2$ 上的张量积计算来确定规范群和稳定器群的秩。
形式化验证： 方法论的重要组成部分是使用 Lean（一种交互式定理证明器）进行形式化验证。作者提供了 Lean 模块（例如 RLG.lean、GridLines.lean）来定义码结构，并通过对轴的数量进行归纳法，正式证明了距离下界。这种方法避免了对一般情况进行数值距离搜索。
优化： 对于固定的数据比特预算（具体为 $N \le 10,000$ ），作者通过对偶偶数矩形元组进行精确的有限枚举，以识别特定距离（ $D=16, 32, 64$ ）下编码率与最大测量权重之间的帕累托前沿（Pareto frontier）。

核心贡献

精确参数公式： 本文为任何有效的边长元组推导出了数据比特数 ( $N$ $N$ )、受保护逻辑比特数 ( $K$ $K$ )、规范比特数 ( $g$ $g$ ) 和着装距离 ( $D$ $D$ ) 的闭式表达式：
- $N = \prod q_i$
- $K = \prod (q_i - 2)$
- $D = 2^L$ （其中 $L$ 是轴的数量）
- 最大测量权重为 $w = \max_i q_i$ 。
已证明的着装距离： 不同于许多依赖启发式或数值检查的子系统码分析，这项工作提供了严格证明，证明其着装距离恰好为 $2^L$ 。证明表明，任何非平凡的逻辑算符（即使在与规范算符相乘后）其支撑集大小至少为 $2^L$ 。
裸距离与着装距离： 作者证明了对于该族码，裸距离（与所有规范算符对易的逻辑算符的最小权重）也为 $2^L$ ，与着装距离一致。
稳定器权重分析： 本文确立了虽然被测量的规范算符具有低权重 ( $w$ )，但非单位型稳定器（即规范线的乘积）具有最小权重 $2^{L-1} \min_i q_i$ 。这强调了规范自由度虽然降低了直接测量算符的权重，但并未消除该码固有的沉重稳定器约束。
有限优化结果： 在 10,000 个数据比特的预算下，作者确定了最优码配置：
- 距离 16： 一个拥有 10,000 个数据比特的码，在利用权重为 10 的测量时，保护了 4,096 个逻辑比特 ( $K/N \approx 41\%$ )。
- 距离 32： 一个拥有 7,776 个数据比特的码，在利用权重为 6 的测量时，保护了 1,024 个逻辑比特 ( $K/N \approx 13.2\%$ )。
- 距离 64： 一个拥有 9,216 个数据比特的码，在利用权重为 6 的测量时，保护了 256 个逻辑比特 ( $K/N \approx 2.8\%$ )。

结果与主张
本文声称为这一特定族系的码提供了在距离为 16、32 和 64 时的编码率与测量权重之间的“完整权衡”。结果表明，在适中距离（如 $D=16$ ）下，可以实现较高的速率并保持相对较低的测量权重。然而，随着距离的增加，速率显著下降，且必须增加轴的数量 ( $L$ )，这在增加距离 ( $D=2^L$ ) 的同时，也会导致在固定 $N$ 的情况下降低速率。

作者明确指出，这些结果针对的是该码族的静态参数。他们并未声称建立了容错电路距离、逻辑错误率或在电路级噪声下的特定解码性能。论文指出，虽然该构造扩展了“多超立方体”（many-hypercube）码，但它在统一的代数描述中处理所有偶数矩形元组，允许使用此前研究较少的混合边长。

意义
这项工作的意义在于能够将选择距离与剩余的有限优化问题分离。通过证明距离仅取决于轴的数量 ( $L$ )，而速率和测量权重取决于边长 ( $q_i$ )，作者提供了一个清晰的设计空间，以便根据硬件约束（测量权重）和逻辑需求（距离和速率）来选择码。

论文强调，“规范自由度”允许通过较轻的测量来获取由沉重稳定器携带的信息，但也阐明了其代价：稳定器约束本身仍然是沉重的（权重 $\ge 2^{L-1} \min q_i$ ）。因此，作者指出，该族系并非渐近意义上的传统量子低密度奇偶校验（QLDPC）稳定器族（即具有常数率、线性距离和有界权重的码），而是一个提供精确有限参数和特定优化景观的族系。Lean 形式化的引入确保了距离证明是经过机器检查的，为所声称的参数提供了高度的严谨性，而不依赖于数值搜索。

技术摘要：具有证明距离和低权重测量的高率量子码

类似论文