[论文解读] Algebraic structures of MRD Codes

Javier de la Cruz, Kiermaier, Michael+2 more|arXiv (Cornell University)|Jan 16, 2015

Coding theory and cryptography参考文献 7被引用 13

一句话总结

本文通过与有限准域、拟域及平移平面相关的代数结构，证明了在 $(\mathbb{F}_q)_{n,n}$ 中存在最小距离为 $n$ 的最大秩距离（MRD）码，且这些码在本质上不同于 Gabidulin 码。关键贡献在于通过与辛对称丛及近域中非交换乘法群的联系，证明了此类非 Gabidulin MRD 码的存在性，特别在 $\mathbb{F}_3^{3\times3}$ 中显式构造出一个与 Gabidulin 码非等价但具有相同秩分布的 MRD 码。

ABSTRACT

Based on results in finite geometry we prove the existence of MRD codes in (F_q)_(n,n) with minimum distance n which are essentially different from Gabidulin codes. The construction results from algebraic structures which are closely related to those of finite fields. Some of the results may be known to experts, but to our knowledge have never been pointed out explicitly in the literature.

研究动机与目标

• 研究在等距同构下是否存有与 Gabidulin 码不等价的 MRD 码。
• 探讨支撑 MRD 码（其参数达到 Singleton 界）的代数结构——特别是准域、拟域和近域。
• 通过散布集，建立最小距离为 $n$ 的 MRD 码与辛平移平面之间的联系。
• 显式构造与 Gabidulin 码不构同的线性 MRD 码，尤其在 $\mathbb{F}_3^{3\times3}$ 中。
• 阐明加法与乘法群结构在区分 Gabidulin 构造之外的 MRD 码中的作用。

提出的方法

• 利用有限几何学中的结果，特别是散布集与平移平面之间的对应关系，来构造 MRD 码。
• 以 Delsarte–Gabidulin 构造为基准，将其与来自准域和拟域的码进行比较。
• 应用 Hua–Wan 对矩阵空间上等距同构的分类，以定义码的等价类。
• 使用 Magma 在 $\mathbb{F}_3^{3\times3}$ 中显式构造 MRD 码，表明存在两类非等价码：一类为 Gabidulin 型，另一类为非 Gabidulin 型。
• 分析码中非零元素的秩分布与群结构，表明非 Gabidulin 码的乘法群为非交换群。
• 利用内积 $\langle A,B \rangle = \operatorname{tr}(AB^t)$ 证明，Gabidulin 码与非 Gabidulin 码在等价意义下均为自对偶码。

实验结果

研究问题

• RQ1 在 $(\mathbb{F}_q)_{n,n}$ 中是否存在最小距离 $n$ 且在等距同构下不与 Gabidulin 码等价的 MRD 码？
• RQ2 除有限域外，哪些代数结构可产生达到 Singleton 界的线性 MRD 码？
• RQ3 Gabidulin 码与其他 MRD 码之间，其非零码字的乘法群结构有何差异？
• RQ4 能否显式构造非 Gabidulin MRD 码？它们是否与 Gabidulin 码具有相同的秩分布？
• RQ5 拟域与近域在生成与 Gabidulin 码不构同的线性 MRD 码中起何作用？

主要发现

• 在 $\mathbb{F}_3^{3\times3}$ 中，存在且仅存在两类最小距离 $d=2$ 的线性 MRD 码的等价类：一类对应 Gabidulin 码，另一类对应非等价码。
• 非 Gabidulin 码包含 338 个秩为 2 的矩阵和 390 个秩为 3 的矩阵，其秩分布与 Gabidulin 码一致，符合 Delsarte 定理。
• 非 Gabidulin 码中非零元素的乘法群为非交换群，而 Gabidulin 码中该群为阶为 $q^n - 1$ 的循环群，提供了结构性差异。
• 非 Gabidulin 码对加法不封闭，如示例中 $E + A$ 的阶为 40 所示，表明其不是 $\mathbb{F}_q$-线性码。
• 非 Gabidulin 码的对偶也是 MRD 码，且 Gabidulin 与非 Gabidulin 码均为阶为 27 的两个拟域的对偶。
• 在 $\mathbb{F}_{11}^{2\times2}$ 中，由例外近域 $\mathrm{SL}(2,5)$ 构造的码是 MRD 码，其乘法群为非交换群，且对加法不封闭，确认其非 Gabidulin 性质。