🔢 mathematics

Embedding linear codes over Z4 into self-orthogonal codes

本文通过建立紧确界限与最短嵌入的精确长度、完成对二进制情形的完全分类、提供自由码的构造算法，以及发现十二个具有改进最小李距离的新型码，研究了 $\mathbb{Z}_4$ 上线性码的自正交嵌入问题。

原作者： Junmin An, Jon-Lark Kim, San Ling

发布于 2026-06-09

📖 1 分钟阅读🧠 深度阅读

原作者： Junmin An, Jon-Lark Kim, San Ling

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

想象一下，你是一位正在设计一种特殊类型数字堡垒的建筑师。在编码理论的世界中，这些“堡垒”被称为码（codes）——即用于可靠传输信息的数学结构。有些码具有“自正交性（self-orthogonal）”，这是一种高级的说法，意味着码具有内置的对称性，其中信息的每一部分都与其它部分完美平衡。这种对称性对于创建更强大、更安全的码非常有用。

然而，你通常是从一个并不完全平衡的码开始构建的。这篇论文解决的问题是：“为了让现有的、不平衡的码变得完美对称（自正交），我们需要添加多少块额外的砖块（列），且不至于让结构变得过于庞大？”

研究人员正在使用一种特定的数字材料，叫做 $\mathbb{Z}_4$ 。你可以把 $\mathbb{Z}_4$ 想象成一个四面体骰子（其面值为 0, 1, 2, 3），而不是标准二进制码中使用的两面硬币（0 和 1）。

以下是他们利用简单的类比所进行的探索与发现：

1. “影子”策略（剩余码）

作者们意识到，如果通过观察“影子”来解决复杂的四面体 $\mathbb{Z}_4$ 码平衡问题，会变得更加容易。

类比： 想象你的 $\mathbb{Z}_4$ 码是一个复杂的 3D 雕塑。如果你向它投射光线，它会在墙上投射出一个 2D 的影子。这个影子就是剩余码（residue code）（一种标准的二进制码）。
发现： 论文证明，要弄清楚平衡 3D 雕塑需要多少块砖，你首先需要弄清楚如何平衡它的 2D 影子。具体来说，他们发现如果影子以一种非常严格的方式保持平衡（称为“倍偶/doubly even”），那么你通常可以利用这个解法来完美地平衡原始的 3D 雕塑。

2. “倍偶”挑战

在解决 $\mathbb{Z}_4$ 问题之前，他们必须先解决一个更难的二进制问题：使一个码变为“倍偶（doubly even）”。

类比： 在一个普通的平衡码中，每条信息的权重是一个偶数（如 2, 4, 6）。而在“倍偶”码中，权重必须是 4 的倍数（如 4, 8, 12）。
结果： 他们完整地绘制了将任何二进制码转化为这种“倍偶”状态所需的额外砖块数量。他们发现，除了实现普通平衡所需的绝对最小值之外，你几乎不需要超过两块额外的砖。他们为每种可能的情况都制定了一套精确的规则手册。

3. 紧凑界限（“金发姑娘”区间）

对于 $\mathbb{Z}_4$ 码，作者们确立了一个关于所需额外砖块数量的“金发姑娘（Goldilocks）”范围。

类比： 对于一个特定规模的码，所需的额外砖块数量不是一个固定的数值，而是落在一个非常紧凑的范围内。
发现： 他们证明了所需额外砖块的数量至少等于码中的“不平衡度”，且至多为该不平衡度三倍加上一个小的常数。在许多特定情况下（例如当“影子”码已经表现得非常规整时），他们找到了所需的精确数量，而不仅仅是一个范围。

4. “Preparata”成功案例

为了证明他们的理论有效，他们将该理论应用于一个著名的码族——Preparata 码。

结果： 正如解开一个特定的谜题，他们计算出了使这些特定的 $\mathbb{Z}_4$ 码变得完美对称所需的精确砖块数量。这证实了他们的“影子”策略在现实场景中是行之有效的。

5. 构建算法（“乐高工具包”）

最后，他们不仅停留在理论层面，还构建了一个实际构造这些码的工具（一种算法）。

运作方式： 如果你拥有一个“影子”解与 3D 解相匹配的码，他们的算法就像一份精确的乐高说明书。它获取你现有的码，并告诉你应该添加哪些额外的列，以使其变为自正交的。
成果： 利用这份手册，他们构建了 12 个新的码。与 Aydin 数据库中任何同规模的已知码相比，这些新码更加“强大”（具有更高的最小距离，意味着它们能检测更多的错误）。

总结

简而言之，这篇论文是一本关于升级数字码的指南。作者发现，要升级一个复杂的四面体码，你应该首先观察它更简单的两面体“影子”。他们弄清楚了平衡“影子”的精确规则，而这反过来又告诉了你如何平衡复杂的原码。利用这些规则，他们开发出了一种方法，用以创建 12 个此前未知的、性能更优的码。

技术摘要：将 $\mathbb{Z}_4$ 上的线性码嵌入自正交码

问题陈述
本文研究了通过添加最少数量的列，将给定的 $\mathbb{Z}_4$ 上线性码 $C$ 嵌入到自正交码中的问题。核心目标是确定这种最短嵌入的长度，记作 $n_s(C)$ ，并提供显式的构造方法。该问题的研究动机在于构建高性能新码的需求，特别是由于 $\mathbb{Z}_4$ 上的自正交码可以通过 Gray 映射扩展为自对偶码，而自对偶码对于构造最优二进非线性码（如 Kerdock、Preparata、Goethals 码）至关重要。

方法论
作者的方法依赖于一种通过剩余码（residue code）和挠码（torsion code）将 $\mathbb{Z}_4$ 上的码与二进码联系起来的归约策略。

二进归约： 研究首先调查了二进线性码的最短倍偶（doubly even）自正交嵌入。该嵌入的长度记作 $n_{de}(C)$ 。作者建立并证明了 $n_{de}(C)$ 与最短自正交嵌入长度 $n_s(C)$ 密切相关，两者差异最多为 2。
二进情况分类： 本文对所有二进线性码的精确长度 $n_{de}(C)$ $n_{d e} (C)$ 进行了完整分类。这包括：
- 分析码的 Hull 空间， $\text{Hull}(C)$ 。
- 区分偶码（even codes）和奇类码（odd-like codes）。
- 利用二次型和 Arf 不变量来确定倍偶码元的数量，从而决定嵌入长度相对于 $n_s(C)$ 增加 0、1 还是 2。
- 特别确定了扩展汉明码（extended Hamming codes）的长度。
提升至 $\mathbb{Z}_4$ ： 对于 $\mathbb{Z}_4$ 上的码 $C$ ，作者根据由 $GG^T$ （其中 $G$ 为生成矩阵）生成的码的类型，推导出了 $n_s(C)$ 的界限。他们证明，如果剩余码 $\text{Res}(C)$ 是线性互补对偶（LCD）码或满足特定的 Hull 条件，则 $C$ 的最短自正交嵌入长度恰好等于 $\text{Res}(C)$ 的最短倍偶自正交嵌入长度。
算法构造： 文中提出了一种算法，用于在满足长度条件 $n_s(C) = n_{de}(\text{Res}(C))$ 时，构造 $\mathbb{Z}_4$ 上自由码的所有可能的最短自正交嵌入。这涉及提升二进嵌入，并通过在 $\mathbb{Z}_4$ 上求解特定的矩阵方程以确保正交性。

主要贡献与结果

二进分类： 本文提供了任何二进线性码的最短倍偶自正交嵌入精确长度的完整分类，涵盖了偶类和奇类情况，并利用了相关二次型的 Arf 不变量。
$\mathbb{Z}_4$ 界的建立： 本文为 $\mathbb{Z}_4$ 码的最短自正交嵌入长度建立了紧致界限。具体而言，对于生成矩阵为 $G$ 且 $\langle GG^T \rangle$ 类型为 $4^a 2^b$ 的码，其长度 $n_s(C)$ 满足 $n + a + b \leq n_s(C) \leq n + 3a + 2b$ 。
特定码的精确长度： 在剩余码为 LCD 码的条件下，作者确定了四元 Preparata 码的最短自正交嵌入的精确长度。研究表明，该长度与相应的二进扩展汉明码的长度相同。
构造算法： 提供了一种构造算法，用于生成满足剩余码条件的 $\mathbb{Z}_4$ 自由码的最短自正交嵌入。
新码的发现： 通过将该算法应用于 BKLC（最佳已知线性码）数据库和 Aydin 的 $\mathbb{Z}_4$ 码数据库，作者发现了 12 个在相同长度和秩下，其最小 Lee 距离严格高于 Aydin 数据库中现有码的 $\mathbb{Z}_4$ 线性码。

意义
本文声称其意义在于将自正交嵌入问题的研究重点从有限域转向了环，特别是 $\mathbb{Z}_4$ 。通过在 $\mathbb{Z}_4$ 上的嵌入问题与二进域上的倍偶嵌入问题之间建立直接联系，作者提供了一种系统的方法来确定精确的嵌入长度，而非仅仅是界限。这对于构造最优的 $\mathbb{Z}_4$ 自对偶码特别有价值，因为这些码是重要系列二进非线性码的基础。这项工作表明，对于特定类别的码（例如具有 LCD 剩余码的码），可以利用二进域上的对应问题来精确解决复杂的环上问题。发现具有改进的最小 Lee 距离的码，验证了所提构造方法的实际效用。