🔢 mathematics

Quantum Locally Repairable Codes from Negacyclic and Repeated-Root Cyclic Codes over Small Fields

本文通过将 CSS 框架应用于负循环码和重根循环码，系统地构建了基于小域的量子局部可修复码，在确立其存在性与局部性理论条件的同时，提供了新的二进制示例以及具有无界最小距离的无限族码。

原作者： Ruipan Yang, Qiang Fu, Liangdong Lu

发布于 2026-08-25

📖 1 分钟阅读🧠 深度阅读

原作者： Ruipan Yang, Qiang Fu, Liangdong Lu

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

在未来那宏大而寂静的架构中，信息的存储不再依赖于硬盘，而是存于单个粒子的脆弱状态之中，这需要一种新型的韧性。想象一座图书馆，其中的每一本书都由玻璃制成；如果其中一页破碎，除非有一种方法能仅通过周围的几页来重建该页，否则整本书都会毁于一旦。这就是量子存储面临的挑战。科学家们正在构建代码——用于纠错的数学蓝图——这些代码允许通过观察附近极少数的其他信息碎片来恢复受损的信息。这种被称为“局部性”（locality）的特性对于扩展量子计算机和存储系统至关重要，因为检查每一个数据点来修复微小错误会耗费过长的时间和过多的能量。多年来，这些局部修复最有效的蓝图需要一套极其复杂且庞大的符号表，远超物理量子系统所能自然提供的规模。问题在于：我们能否仅使用最简单、最小的符号集（如二进制或三进制），在符合物理量子比特（qubits）和三进制量子比特（qutrits）现实的情况下，构建出这些稳健且具备自我修复能力的代码？

一组研究人员现在通过在复杂的数学景观中勾勒出一条特定的、狭窄的路径，回答了这个问题。他们发现，若要使用现有的标准方法构建这些局部修复代码，必须将搜索范围限制在一种非常特定的数学结构内。他们证明了，一类曾被视为极具前景的广泛代码类别，只有在坍缩为两个更简单的已知家族——循环码（cyclic codes）和负循环码（negacyclic codes）时才能发挥作用。通俗地说，这意味着寻找这些代码的过程不需要在整片森林中漫无目的地游荡，而只需考察这两个特定的树林。此外，他们还表明，这些代码的“修复”能力与代码结构内的特定距离度量直接相关。如果代码设计得当，修复一个损坏部件所需的邻居数量正好比其“影子”或对偶结构的最小距离少一个。这一发现简化了整个构建过程，将一个复杂的计算设计问题转变为一个直观的距离计算问题。

研究人员并未止步于理论，他们利用小规模域（特别是具有两个、三个、四个、五个和七个符号的域）构建了一个庞大的代码目录。通过进行大规模的计算机搜索，他们识别出了数百种此前未知的代码配置。在这些配置中，他们发现了首批能够利用重复根结构（一种在此背景下被忽视的类型）来修复错误的二进制量子代码示例。他们还发现了一个源自二次剩余模式（quadratic residue patterns）的庞大家族，这为创建具有保证性能的无限系列修复代码提供了一条途径。在许多情况下，这些新代码的表现优于此前认为的标准循环码所能达到的水平，即在相同空间内提供了更好的保护或更高的数据速率。这项工作提供了一份经过验证的参数清单供科学家使用，表明高质量、局部可修复的量子代码不仅是理论上的可能性，而且即使在最简单、受限最严苛的数学环境中也大量存在。

这项工作的最显著成果之一是明确了什么是可能的，以及什么是不可行的。研究人员证明，广泛的数学变体（此前被认为是这些代码的潜在候选者）实际上无法用于此特定目的，除非它们属于前述的两个狭窄类别。这消除了大量的无效研究，并将未来的努力集中在最有希望的结构上。他们还证实，对于一个基于素数的特定无限代码族，其修复能力与代码强度完美匹配，确保了系统的“纯净性”——即纠错效率达到了底层数学所允许的最佳水平。虽然这项研究在寻找特定示例时高度依赖计算机模拟，但他们发现的底层规则是经过数学证明的事实。其结果是一个工具包，使工程师能够设计出既稳健又高效的量子存储系统，并利用自然界提供的最简单的构建模块。

这些发现对量子硬件的设计具有直接的实践意义。通过证明高性能代码在小规模字母表下确实存在，研究人员已经移除了构建现实世界量子存储的一个主要障碍。他们制作的目录包含了具体的示例，在这些示例中，修复错误所需的符号数量尽可能低，同时存储的数据量实现最大化。例如，他们发现了可以在长达六十二个单位的块中存储数据，并具有高度保护能力的二进制符号代码。这些不仅仅是抽象的数字；它们代表了构建量子存储系统的第一步，使系统能够在面对物理世界不可避免的噪声和错误时生存，而无需依赖一个不可能实现的庞大字母表。这项工作证实了前进的方向是清晰的：通过专注于这些特定的、经过验证的结构，科学界现在可以从理论的可能性转向实际的工程实现。

技术摘要：基于小规模域上负循环码与重根循环码的量子局部可修复码

问题陈述
量子局部可恢复码（qLRCs）对于大规模量子存储至关重要，它们能够通过一小组其他量子比特来恢复任何被擦除的单个量子比特。虽然经典的局部可修复码（LRCs）已非常成熟，但已知的显式 qLRC 构建方法主要依赖于大字母表尺寸（例如 GRS 型、代数几何码或矩阵乘积码）。缺乏针对小字母表 qLRCs 的系统性构建方法，而这对于物理比特和量子三态（qutrit）系统至关重要。现有的二进制家族较为有限，通常依赖于子集包含矩阵而非代数码族，且此前对对偶码（duadic codes）的使用尚未解决局部可修复性的问题。

方法论
作者系统地研究了通过 Calderbank-Shor-Steane (CSS) 框架，从小规模有限域 $\mathbb{F}_q$ （其中 $q \in \{2, 3, 4, 5, 7\}$ ）上的常循环码（constacyclic codes）构造 qLRCs 的方法。该方法包括：

理论分类： 证明用于 CSS 构造的对包含常循环码存在的必要条件。
结构分析： 建立将常循环码的局部性与其对偶码的最小距离联系起来的引理，并提供用于生成所得量子码的纯度判据。
无限族构造： 利用奇类对偶码（odd-like duadic codes）和二次剩余（QR）码来生成一个纯 qLRC 无限族。
计算枚举： 通过对中等长度的循环码、负循环码和重根循环码进行穷举搜索，以分类可实现的参数并识别最优或近优码。

核心贡献与结果

常循环码的范围（定理 2）： 本文证明，非零对包含 $\lambda$ -常循环码仅在 $\lambda^2 = 1$ 时存在。因此，通过常循环码实现 qLRCs 的路径已被穷尽为循环码（ $\lambda=1$ ）和负循环码（ $\lambda=-1$ ），包括具有重根的码。这扩展了以往关于自对偶码的研究，将其推广到了 CSS 所需的对包含条件。
局部性与纯度（引理 3 & 4，推论 5）： 作者确定常循环码 $C$ 的局部性 $r$ 等于 $d(C^\perp) - 1$ ，其中 $d(C^\perp)$ 是对偶码的最小距离。此外，如果 $C$ 是对包含的且 $d(C) < d(C^\perp)$ ，则生成的 CSS 量子码是纯的，其最小距离为 $\delta = d(C)$ 。这使得构造纯 qLRCs 简化为计算原码及其对偶码的最小距离。
来自对偶码和 QR 码的无限族（定理 6，推论 7）： 本文利用分裂由乘子 $\mu_{-1}$ 给出的奇类对偶码构造了一个纯 qLRC 无限族。具体而言，对于每个满足 $p \equiv 3 \pmod 4$ 的素数 $p$ 以及模 $p$ 为二次剩余的素数幂 $q$ ，长度为 $p$ 的 $q$ 进制 QR 码产生一个参数为 $[[p, 1, d]]_q$ 且局部性为 $r = d^\perp - 1$ 的纯 qLRC。在所有计算实例中， $d^\perp = d + 1$ ，从而得到经过认证的局部性 $r = d$ 。这代表了第一个具有无界最小距离和认证局部性的二进制 qLRC 无限族。
计算分类（定理 8）： 通过在 $\mathbb{F}_q$ $F_{q}$ 上（ $q \in \{2, 3, 4, 5, 7\}$ $q \in {2, 3, 4, 5, 7}$ ）进行广泛计算，作者提供了来自循环、负循环和重根循环码的 qLRC 分类。
- 负循环码优势： 负循环码产生的参数集是相同长度、相同域下的循环码无法达到的，这切实扩大了已知的小规模字母表 qLRC 参数空间。
- 重根二进制码： 该研究识别出了首批源自重根循环码的二进制 qLRC，包括高距离示例，如一个局部性为 11 的 $[[62, 2, 10]]_2$ 码。
- 最优性： 表格包含了达到量子 Singleton 类界限（最优）的码以及许多近优码（差距 $\le 2$ ）。值得注意的是，一些“非纯”码（即 $\delta > d$ 的情况）发现其参数比其对应的纯码更接近界限。

意义
本文声称是首个专门利用对偶码和二次剩余码来构造量子局部可修复码的工作。它提供了首个基于代数码族（特别是重根循环码）的系统性二进制 qLRC 家族，并证明了负循环码在小规模域下相对于循环码在可实现参数方面具有明显的优势。通过将纯 qLRC 的构造简化为最小距离计算，并提供详尽的分类表，这项工作为设计高效的小规模字母表量子存储系统提供了基础资源。作者指出，虽然其 QR 家族仅编码一个逻辑量子比特（ $\kappa=1$ ），但数据表明，重根码可能是未来构建 $\kappa > 1$ 无限族的有前景的来源。

类似论文