Construction of self-orthogonal codes over a commutative non-unitary ring of order 25

问题陈述

本文研究了在阶数为 25 的交换非单位环 $I_5$ 上的线性码的分类问题。虽然自发现 $\mathbb{Z}_4$ 上的码与非线性二进制码之间的联系以来，环上的编码理论已显著扩展，但非单位环上的码的研究仍是一个处于发展阶段的领域。具体而言，作者关注的是来自 Fine 分类的环 $I_p$（其中 $p$ 为素数）。此前，Alahmadi 等人的研究已经建立了 $I_3$、$I_5$ 和 $I_7$ 在短长度下的质量公式（mass formulas）和分类。然而，作者指出了现有文献中关于 $I_5$ 上拟自对偶码（quasi self-dual codes）分类的具体错误，特别是关于自同构群阶数以及与长度 $n=2$ 和 $n=3$ 时质量公式的一致性问题。主要目标是提供 $I_5$ 上长度不超过 4 的自正交（self-orthogonal）、拟自对偶和自对偶（self-dual）码的修正且完整的分类。

研究方法

本研究结合了代数特征化、递归构造和计算枚举：

1. 代数框架： 作者将 $I_5$ 上的线性码定义为 $I_5^n$ 的 $I_5$-子模。他们利用通过模唯一极大理想 $J = \{0, b, d, i, n\}$ 的约化映射所关联的剩余码（$\text{res}(C)$）和挠码（$\text{tor}(C)$）。类型为 $\{k_1, k_2\}$ 的码的大小由这些相关的 $\mathbb{F}_5$ 码的维数决定。
2. 传播规则（增广构造）： 本文推导了特定的传播规则，用于从长度为 $n$ 的码构造长度为 $n+h$ 的码。
   • 自正交码： 建立了 2 阶、4 阶和 5 阶的规则。这些规则涉及通过由满足特定正交条件（例如 $\alpha^2 + \beta^2 + \gamma^2 + \delta^2 = 0$）且属于 $\mathbb{F}_5^n$ 的向量构造的新行来扩展生成矩阵。
   • 拟自对偶码： 推导了 2 阶、4 阶和 5 阶的传播规则，确保生成的码在保持大小为 $5^n$ 的同时保持自正交性。
   • 自对偶码： 给出了一个 6 阶传播规则，表明 $I_5$ 上的自对偶码仅在偶数长度下存在，并由 $\mathbb{F}_5$ 上的自对偶剩余码构造而成。
3. 质量公式： 作者利用（改编自 Alahmadi 等人的）质量公式作为停止准则。这些公式计算给定长度和类型的不同码的总数，使作者能够验证其分类的完整性。
4. 计算分类： 使用 MAGMA 计算代数系统，作者利用推导出的传播规则生成码。他们将这些码按单项等价（置换及由单位 $\{1, -1\}$ 进行的缩放）进行分类，涵盖长度 $n \le 4$。

主要贡献

• 修正先前结果： 本文明确修正了 Alahmadi 等人 [5] 中关于 $I_5$ 拟自对偶码分类的错误。具体而言，它纠正了长度 $n=2$（类型 $\{1, 0\}$）码的错误自同构群阶数，并解决了长度 $n=3$（类型 $\{1, 1\}$）时质量公式的不一致问题。
• 完整分类： 作者提供了所有长度 $n \le 4$ 且所有类型 $\{k_1, k_2\}$ 的 $I_5$ 上自正交、拟自对偶和自对偶码的完整分类。
• 结构特征化： 本文确立了 $I_5$ 上的线性码是自正交的，当且仅当其在 $\mathbb{F}_5$ 上的剩余码是自正交的。它还将 $I_5$ 上的自对偶码特征化为：其剩余码在 $\mathbb{F}_5$ 上是自对偶的，且其挠码是全空间 $\mathbb{F}_5^n$。
• 显式构造： 本文提供了分类码的显式生成矩阵和权重分布，为每个等价类提供了具体的代表。

结果

计算结果汇总在论文的表 3 中，列出了长度 1 到 4 的不同不等价码的数量、它们的自同构群阶数、最小距离和权重分布。

• 对于长度 1，本文识别出一个类型为 $\{0, 1\}$ 的拟自对偶码。
• 对于长度 2，它分类了类型为 $\{0, 1\}$、$\{0, 2\}$、$\{1, 0\}$ 和 $\{1, 1\}$ 的码，并指出与先前文献相比，在 $\{1, 0\}$ 和 $\{1, 1\}$ 类型上的修正。
• 对于长度 3 和长度 4，本文列出了众多不等价码，包括自由码（类型 $\{k, 0\}$）和非自由码。
• 研究证实，自对偶码在 $I_5$ 上仅存在于偶数长度，这与推导出的理论约束一致。

意义

本文声称，$p=5$ 的情况代表了一个关键阈值，在此处 $I_p$ 码的代数和组合结构变得足够丰富，能够产生广泛的单项不等价码，其丰富程度超过了 $p=3$ 的情况。这项工作为现有文献提供了必要的修正，确保了质量公式和自同构群计算的准确性。通过建立严谨的传播规则和短长度下的完整分类，本文为将这些技术扩展到更长长度和其他非单位环奠定了基础。作者建议，此处开发的方法可以应用于研究其他类别的码，例如形式为 $I_p$ 的环上的循环码。