Quantum codes and optimal pure quantum $(r,\delta)$-LRCs via the MP construction

本文建立了一个针对任意特征有限域上可逆自伴矩阵的统一 $\tau$-单项式分解定理，用以构造新的无限量级量子码和最优纯量子 $(r,\delta)$-LRC，其中包括 222 个打破纪录的码以及 30 个同时是最佳已知量子码和最优 LRC 的实例。

要点

想象一下，你正试图在一个数字保险库中存储一条珍贵且脆弱的信息。在经典世界中，如果你丢失了一部分信息，你可以直接查看备份副本。但在量子世界中，情况完全不同。量子信息就像一个肥皂泡：它极其脆弱，而且仅仅是“观察”（复制）它的行为就可能让它破裂。这就是所谓的“不可克隆定理”（no-cloning theorem）。由于你无法制造完美的副本，科学家们需要特殊的“纠错码”来保护这些信息。如果肥皂泡的一部分受损，这些编码能让你在无需看到整个肥皂泡的情况下将其修复。

这篇论文是关于如何为这些“量子肥皂泡”构建更好、更强、更高效的“安全网”。作者孟曹（Meng Cao）和周坤（Kun Zhou）引入了一种利用被称为矩阵乘积（Matrix-Product, MP）构造法这一数学工具来构建新式安全网的方法。

以下是他们工作的简化类比拆解：

1. 建筑基石：“乐高”方法

把构建量子码想象成用乐高积木搭建一座宏伟的城堡。

• 积木： 作者从若干个更小、更简单的码（即积木）开始。
• 蓝图： 他们使用一种特定的“定义矩阵”（即蓝图）将这些积木拼接成一个巨大的、复杂的结构。
• 创新点： 在过去，蓝图必须遵循严格的规则（比如只能处理“奇数”）。作者发现了一种通用蓝图（称为 $\tau$-OD 矩阵），它可以适用于任何类型的乐高套装，无论这些零件是“奇数”还是“偶数”（从数学角度看，无论其特征域是什么）。这是一个重大突破，因为它开启了一个构建这些编码的全新领域。

2. 目标：局部恢复（“邻里守望”）

量子存储面临的主要挑战之一是，如果部分数据遭到损坏，你希望能够快速修复它，而无需检查整个保险库。

• 类比： 想象一个社区，如果其中一户人家停电了，邻居们可以立即修复，而无需打电话给总发电厂。这被称为局部可恢复码（Locally Recoverable Code, LRC）。
• 论文的贡献： 作者利用他们的新型“通用蓝图”构建了最优的量子码。这意味着它们是最有效的：它们使用最少的额外空间来确保，如果一小块数据丢失，可以通过仅观察一小群“邻居”来完成恢复。

3. 重大胜利：打破纪录

作者不仅构建了理论模型；他们还构建了超越当前世界纪录的具体编码。

• 计分板： 有一个著名的数据库（Grassl 数据库）记录着科学界已知的最佳量子码。
• 结果： 作者构建了 222 个新的量子码，它们比目前排行榜上的任何编码都更优秀。它们拥有更长的长度、更高的容量或更强的错误保护能力。
• “双面间谍”的发现： 或许最令人惊讶的发现是，其中一些新代码是“双面间谍”。它们不仅是最好的“局部恢复”代码（高效修复局部错误），而且也是目前已知的绝对顶尖的量子码。在这篇论文发表之前，还没有人发现过一种既能实现完美的“局部恢复”，又能实现最佳“通用纠错”的编码。这就像是发现了一辆既是最省油的混合动力车，又是市场上最快的赛车。

“魔法”总结

• 问题： 量子数据非常脆弱，我们需要方法在不破坏数据的前提下修复错误。
• 工具： 一种新的数学“胶水”（使用 $\tau$-OD 矩阵的矩阵乘积构造法），它适用于所有类型的数字，而不局限于“奇数”。
• 成果：
  1. 他们证明了这种“胶水”在所有场景下都存在。
  2. 他们构建了 222 个打破现有世界纪录的新量子码。
  3. 他们发现了一种罕见的类型，这种代码完美兼顾了“局部修复”与“通用保护”，这种组合在以往的文献中从未出现过。

简而言之，作者找到了一种全新的、通用的方式来组装量子安全网，从而为我们保护脆弱的量子信息世界提供了重大的工具升级。

技术摘要

技术摘要：通过 MP 构造实现量子码与最优纯量子 $(r, \delta)$-LRC

问题陈述
量子信息处理面临着由于量子态的脆弱性和不可克隆定理（该定理阻止了对任意量子态的复制）所带来的重大挑战。因此，量子纠错码（QECC）对于缓解退相干至关重要。虽然稳定器码（例如 CSS 和 Hermitian 构造）已被广泛研究，但目前迫切需要能够同时提供高错误纠正能力和高效局部恢复属性的量子数据存储码。具体而言，量子 $(r, \delta)$-局部可恢复码（LRC）允许在小规模量子比特子集中进行擦除纠正。一个关键的开放性问题是，如何构造出既能同时达到局部性和距离理论界限，又能潜在地打破现有通用量子码最小距离记录的“最优纯”（optimal pure）量子 $(r, \delta)$-LRC。

方法论
作者采用了 矩阵乘积（MP）构造法，该方法通过一个定义矩阵将若干个较短的经典码组合成一个更长的码。其方法论的核心在于 $\tau$-最优定义（$\tau$-OD）矩阵 的性质。

1. 理论基础： 本文建立了一个适用于任意特征有限域上可逆自伴矩阵的统一 $\tau$-单项分解定理。这推广了以往仅限于奇特征的研究结果。
2. 存在性证明： 利用该分解定理，作者证明了任何特征下 $\mathbb{F}_{q^2}$ 上 $\tau$-OD 矩阵的存在性。他们特别展示了特征为 2 的域上新的一系列无限 $\tau$-OD 矩阵的存在性。
3. 代码构造：
   • 通用量子码： 通过利用带有 $\tau$-OD 定义矩阵的 MP 码和广义 Reed-Solomon (GRS) 分量码，作者构造了无限系列的量子码。这些 MP 码的 Hermitian 对偶包含性质被验证可通过 Hermitian 构造诱导出有效的量子码。
   • 最优纯量子 LRC： 作者提出了两种特定的方案（定理 10 和 11）来构造最优纯量子 $(r, \delta)$-LRC。这些方案涉及特定配置的分量码（嵌套 GRS 码）和定义矩阵（$2 \times 2$ 和 $3 \times 3$ 的 $\tau$-OD 矩阵），这些配置满足 Hermitian 对偶包含性和最优性条件。

核心贡献

1. 统一分解定理： 本文提供了任意特征有限域上可逆自伴矩阵的统一 $\tau$-单项分解定理（定理 1），扩展了此前仅限于奇特征的理论范围。
2. 新的 $\tau$-OD 矩阵： 作者证明了任何特征下 $\mathbb{F}_{q^2}$ 上 $\tau$-OD 矩阵的存在性，并确定了几类新的无限 $\tau$-OD 矩阵族，特别是针对特征为 2 的域（定理 4 和 5）。
3. 打破纪录的量子码： 通过使用 $\tau$-OD 矩阵的 MP 构造，作者推导出了具有灵活参数的若干无限系列量子码。他们报告了 222 个打破纪录的量子码，这些码超越了 Grassl 数据库中现有的最佳已知最小距离。
4. 最优纯量子 LRC： 本文构造了四个具有灵活参数的新型最优纯量子 $(r, \delta)$-LRC 无限族（定理 12–15）。这些构造利用了具有特定定义矩阵和 GRS 分量码的 MP 码。
5. 双重最优性发现： 一个重要的发现是，确定了 30 个既是 最优纯量子 $(r, \delta)$-LRC 又是 Grassl 数据库中 最佳已知、最优或打破纪录的量子码 的特定量子码。

结果

• 通用量子码： 作者提出了 222 个新的量子码，改进了现有文献中关于最小距离的下界（表 I 和 II）。这些码由定理 6 至 9 推导得出，涵盖了各种素数幂 $q$（例如 $q=4, 5, 7, 8$）。
• 最优纯量子 LRC： 建立了四个新的最优纯量子 $(r, \delta)$-LRC 无限族。这些码的参数与 Galindo 等人 [12], [13], [14] 的现有构造不同，特别是在码长结构方面（是 $q$ 或 $q^2$ 的倍数，而非其他形式）。
• 最优性的交集： 表 IV 详细列出了 30 个特定实例，在这些实例中，构造的码在两个不同维度上均达到了最优性：它们满足纯量子 $(r, \delta)$-LRC 的界限，并且同时达到或超过了 Grassl 数据库中通用量子码的最佳已知参数。值得注意的是，其中一些码（第 19, 29, 30 号）是打破纪录的，提升了先前已知最佳码的最小距离。

意义
本文声称，发现既是最优纯量子 $(r, \delta)$-LRC 又是打破纪录的量子码，这在以往的文献中从未见报道。这种双重最优性表明，局部可恢复性的结构要求与高性能通用量子纠错所需的参数之间存在强大的协同作用。通过将 $\tau$-单项分解推广到任意特征，作者提供了一个稳健的理论框架，能够系统地构造这些高性能码，从而将已知量子编码理论的版图扩展到了奇特征域的限制之外。