🔢 mathematics

On the equivalence between additive and linear codes

该论文提出了一种仅需生成矩阵的确定性测试方法，以区分严格加性码与等价于线性码的加性码，并通过该测试验证了若干四元加性码的严格性，同时发现一个已知的加性互补对偶码等价于线性厄米特 LCD 码，从而改进了相关线性码的最佳已知界。

原作者： Kanat Abdukhalikov, Duy Ho

发布于 2026-03-17

📖 1 分钟阅读🧠 深度阅读

原作者： Kanat Abdukhalikov, Duy Ho

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

这篇论文就像是在解决一个**“真假美猴王”的谜题，只不过主角不是猴子，而是数学里的“编码”**（用来保护数据传输安全的密码）。

为了让你轻松理解，我们把这篇论文的核心内容拆解成几个有趣的故事场景：

1. 背景：两个家族的“双胞胎”

想象一下，在数学世界里有两个大家族：

线性家族（Linear Codes）： 这是一个规矩严明的家族。他们的成员（代码）遵循非常严格的“线性”规则，就像排队做操，动作整齐划一，大家很容易理解和计算。
加性家族（Additive Codes）： 这是一个更自由、更灵活的家族。他们的成员只遵守“加法”规则，可以做出线性家族做不到的复杂动作。

问题出在哪？
最近，人们发现“加性家族”里有些成员，虽然看起来比“线性家族”的成员更厉害（能传输更多数据或抗干扰能力更强），但没人确定它们是不是真的比线性家族强。
也许它们只是**“伪装”**成加性家族的线性家族成员？就像孙悟空变成了小虫子，虽然外表变了，但本质还是孙悟空。如果它们本质上还是线性的，那我们就没必要大惊小怪；但如果它们真的是“加性”的，那就是发现了新大陆！

2. 核心任务：发明一个“照妖镜”

以前的科学家想分辨这两个家族，得用很复杂的“几何魔法”（几何技术），就像拿着放大镜在显微镜下找线索，既慢又难。

这篇论文的两位作者（Kanat 和 Duy）发明了一个“照妖镜”——一个简单、确定的数学测试。
这个测试只需要看代码的**“出生证明”**（生成矩阵，Generator Matrix）。

原理： 他们发现，如果一个加性代码其实是伪装的线性代码，那么它的“出生证明”里会藏着某种特殊的数学规律（就像孙悟空变不成真的石头，因为石头没有心跳）。
测试方法： 他们构建了一个巨大的数学表格（矩阵 $S$ $S$ ）。
- 如果这个表格的“空白处”（零空间）数量是奇数，或者某些特定的列太“单薄”（秩为 1），那就说明：“抓到了！这不是线性代码，它是真的加性代码！”
- 如果测试通过，说明它可能只是伪装者，本质上还是线性代码。

3. 实战演练：验明正身

作者拿着这个“照妖镜”去检查了文献中最近报道的几个著名的“加性代码”：

案例 A（来自文献 [14] 的一堆代码）：
作者把之前大家怀疑是“真加性”的代码一个个拿去测试。结果发现，这些代码的“空白处”数量全是奇数。
结论： 它们不是伪装的！它们确实是严格加性的。这意味着它们真的比现有的线性代码更强大，是真正的“新物种”。
案例 B（来自文献 [14] 的一个特殊代码）：
有一个代码，参数是 $[22, 10, 9]$ 。作者一开始以为它也是严格加性的。
但是，经过“照妖镜”的深层扫描，发现它虽然看起来像加性，但其实可以变回线性代码！
惊喜： 作者不仅证明了它是线性的，还把它变回了线性形式，发现它比之前已知的最好的“线性代码”还要好。这就像发现了一个伪装成普通人的超级英雄，把他变回原形后，发现他的超能力比大家想象的还要强，刷新了世界纪录。

4. 总结：这篇论文做了什么？

简单来说，这篇论文做了三件大事：

发明了“照妖镜”： 提出了一种简单、纯代数的方法，只要看一眼代码的生成矩阵，就能判断它是不是真的“加性”的，还是伪装的“线性”的。
确认了“新物种”： 证明了文献中很多被认为很强的代码，确实是全新的、非线性的“加性代码”，这为未来的量子通信和纠错码设计提供了新方向。
挖掘了“隐藏高手”： 发现了一个原本被认为是“加性”的代码，其实本质是“线性”的，而且这个线性代码比之前已知的都要强，打破了现有的记录。

打个比方

这就好比你在玩一个**“找不同”**的游戏：

以前，大家觉得有些“加性代码”是外星生物（严格加性），因为它们长得太奇怪了。
作者发明了一个**“基因检测仪”**。
检测结果：大部分确实是外星生物（严格加性），我们要向它们学习；但有一个看起来像外星生物的，其实是地球人穿了外星服（等价于线性代码），而且这个地球人还是奥运冠军（打破了线性代码的纪录）。

这篇论文的价值就在于，它不再让大家靠猜，而是用一把精准的尺子，把“真货”和“假货”分得清清楚楚，让科学家能更准确地利用这些强大的代码来保护我们的数据安全。

以下是基于论文《On the equivalence between additive and linear codes》（加性码与线性码的等价性）的详细技术总结：

1. 研究背景与问题 (Problem)

背景：加性码（Additive codes），特别是四元加性码（Quaternary additive codes），在构造二进制量子码方面具有重要应用，且近年来发现部分加性码的性能优于同参数的线性码。
核心问题：尽管已知某些加性码是“严格加性”的（strictly additive，即不等价于任何线性码），但在实际研究中，当构造出一个新的加性码时，如何确定性地判断它是否等价于某个具有相同参数的线性码，仍是一个 fundamental challenge（根本性挑战）。
现有局限：现有的区分方法主要依赖几何技术（如伪弧和 Desarguesian 展布），这些方法通常仅适用于特定类型的码（如 MDS 码），缺乏通用的代数判定标准。
具体动机：Guan 等人 [14] 构造了大量基于准循环码的四元加性码，其最小距离超过了已知线性码的 Griesmer 界。然而，这些码是否真的不等价于线性码，此前缺乏明确的代数验证。此外，对于加性互补对偶（ACD）码，是否可能等价于线性 Hermitian LCD 码，也是一个未解之谜。

2. 方法论 (Methodology)

本文提出了一种纯代数的确定性测试算法，仅需利用码的生成矩阵（Generator Matrix）即可进行判定。

数学框架：
- 将 $F_{q^2}$ 上的加性码 $C$ 映射为 $F_q$ 上的线性子空间 $\phi(C)$ 。
- 利用 $F_{q^2}$ 在 $F_q$ 上的基 $\{1, \omega\}$ ，定义 $2 \times 2$ 的伴随矩阵 $M_\omega$ （对应于 $\omega$ 的乘法作用）。
- 定义块对角矩阵 $M_\omega = I_n \otimes M_\omega$ 作用于 $F_q^{2n}$ 。
等价性判定定理：
- 定理 3.1：加性码 $C$ 等价于 $F_{q^2}$ 上的线性码，当且仅当存在可逆矩阵 $R \in GL_k(F_q)$ 和块对角矩阵 $A$ ，使得 $RG = G(AM_\omega A^{-1})$ 。这本质上要求生成矩阵的列空间在某种变换下对 $M_\omega$ 的作用封闭。
- 定理 3.2（必要条件）：如果 $C$ 等价于线性码，则存在 $R$ 属于特定的子空间 $\mathcal{R}$ ，且 $R$ 在 $F_q$ 上没有特征值。特别地，如果生成矩阵的某个 $2 \times 2$ 块 $G_i$ 的秩为 1，则该码不等价于任何线性码。
- 定理 3.3（充分条件/判定核心）：定义一个大型线性方程组矩阵 $S$ $S$ （基于 Kronecker 积构建），其零空间（Null Space）对应于满足条件的 $R$ $R$ 和变换矩阵。如果 $S$ $S$ 的零度（nullity，即零空间的维数）是奇数，则 $C$ $C$ 不等价于任何线性码。
  - 原理：若等价，则 $R$ 生成的代数结构同构于 $F_{q^2}$ ，导致零空间维数必须为偶数。
算法流程 (Algorithm 1)：
1. 秩检查：检查生成矩阵的 $2 \times 2$ 块 $G_i$ 。若存在 $rank(G_i)=1$ ，直接判定为严格加性。
2. 零度测试：构建矩阵 $S$ 并计算其零度 $d$ 。若 $d$ 为奇数，判定为严格加性。
3. 零空间搜索：若 $d$ 为偶数，则搜索零空间基，尝试构造出满足条件的 $R$ 和 $A$ ，以验证是否存在等价线性码。

3. 主要贡献 (Key Contributions)

理论突破：首次提出了一个通用的、基于生成矩阵的代数框架，用于判定加性码与线性码的等价性，摆脱了对特定几何结构的依赖。
算法创新：设计了确定性算法（Algorithm 1），通过计算矩阵 $S$ 的零度奇偶性，能够快速排除大量非等价情况。
对现有文献的验证与修正：
- 独立验证了 Guan 等人 [14] 中构造的多个四元加性码确实是严格加性的（即不等价于线性码）。
- 发现并证明了文献 [14] 中的一个特定 ACD 码实际上等价于一个线性 Hermitian LCD 码，从而改进了该参数下线性 Hermitian LCD 码的已知界。
扩展应用：将测试应用于 [18] 中基于 Plotkin 和构造的 ACD 码，确认了它们均为严格加性码。

4. 实验结果 (Results)

研究团队使用 MAGMA 计算机代数系统进行了大量计算验证：

严格加性码的确认：
- 验证了 [14] 表 II 中的所有四元加性码（包括扩展码和增强码），其矩阵 $S$ 的零度均为奇数（如 1），证实它们均不等价于线性码。
- 验证了 [18] 表 2 中的 10 个四元 ACD 码，确认它们均为严格加性码。其中 5 个通过秩条件（定理 3.2）直接排除，另外 5 个通过零度测试（定理 3.3）排除。
等价性发现：
- 针对 [14] 表 IV 中的 ACD 码，发现参数为 $[22, 10, 9]_2^2$ 的码，其矩阵 $S$ 的零度为 2（偶数）。通过进一步搜索，成功构造出了等价的线性码，该线性码是参数为 $[22, 10, 9]_4$ 的 Hermitian LCD 码。这一发现更新了文献 [2] 中的最佳已知界。
- 对于 [14] 表 IV 中其他几个声称优于线性界的 ACD 码（如 $[27, 10, 12]_2^2$ 等），计算显示其零度为 1，证实它们确实是严格加性的，无法转化为线性码。

5. 意义与影响 (Significance)

解决歧义：该研究解决了“如何区分严格加性码与等价线性码”这一长期存在的模糊性问题，提供了明确的代数判据。
指导编码设计：
- 对于量子码构造：确认了某些高性能加性码是“真正”的加性码（非线性），这为设计更优的量子纠错码提供了理论依据，避免了在寻找等价线性码上的无效尝试。
- 对于经典编码理论：通过发现某些 ACD 码等价于线性 Hermitian LCD 码，直接提升了线性码的性能记录，展示了加性码构造方法在优化线性码方面的潜力。
方法论推广：提出的代数测试方法不仅适用于四元码，理论上可推广至 $F_{q^h}$ 上的加性码，为未来研究提供了强有力的工具。

综上所述，本文通过建立严谨的代数框架和确定性算法，厘清了加性码与线性码的等价关系，既证实了部分加性码的优越性（严格加性），又挖掘了部分加性码背后的线性结构（改进线性码界），在编码理论领域具有重要的理论价值和实用意义。