The equivalent condition for GRL codes to be MDS, AMDS or self-dual

技术摘要：GRL 代码为非 GRS MDS、AMDS 或自对偶代码的等价条件

问题陈述
最大距离可分（MDS）码、几乎最大距离可分（AMDS）码以及自对偶码具有显著的代数性质，并广泛应用于通信系统、数据存储、量子编码和密码学领域。虽然 Reed-Solomon (RS) 码是 MDS 码的一个已知类别，但构建非等价于 RS 码（non-RS）的代码仍然是扩展可用代码族多样性的一个关键研究领域。Roth 和 Lempel [20] 以及随后的 Wu 等人 [21] 和 [22] 通过在 RS 码的生成矩阵中增加两个或三个额外的列，构造了特定的非 RS MDS 代码类。本文旨在进一步推广这些构造方法，并建立精确的代数条件，以确定这些广义代码（及其对偶码）在不等价于 RS 码的情况下，何时表现出 MDS、AMDS 或自对偶特性。

方法论
作者引入了一类广义 Roth-Lempel (GRL) 代码，记作 $GRL_k(\alpha, v, A_{l \times l})$，定义在有限域 $F_q$ 上。该构造通过使用任意可逆矩阵 $A_{l \times l} \in GL_l(F_q)$ 取代了 [21] 和 [22] 中使用的特定增广矩阵，从而推广了之前的模型。具体而言，本文侧重于 $l=3$ 的情况，即 $GRL_k(\alpha, v, A_{3 \times 3})$。

该方法采用了以下技术手段：

1. 生成矩阵分析： 作者定义了 $GRL_k(\alpha, v, A_{3 \times 3})$ 代码的生成矩阵 $G_4$，该矩阵由一个标准的类似 Vandermonde 的结构以及由矩阵 $A_{3 \times 3}$ 导出的三个列组成。
2. 非 RS 验证： 为了证明这些代码是非 RS 码，作者利用引理 5（一种通过生成矩阵条目表征 RS 码的方法），并证明当 $k > 3$ 时，增广列的具体结构会阻止该代码满足 RS 等价性的必要条件。
3. MDS 与 AMDS 条件： 利用引理 6（该引理指出 $[n, k]$ 码是 MDS 码，当且仅当其生成矩阵的任意 $k$ 列线性无关），作者分析了由生成矩阵形成的各种 $k \times k$ 子矩阵的行列式。这涉及关于增广列（$u_1, u_2, u_3$）包含情况的广泛分类讨论。
4. 校验矩阵构造： 对于自对偶分析，作者推导出了 GRL 代码的一个显式校验矩阵 $H_5$。他们利用引理 4（关于权重为逆差的幂次项之和的性质）来验证正交条件 $G H^T = 0$。
5. 自对偶准则： 自对偶条件（$C = C^\perp$）是通过要求生成矩阵和校验矩阵生成相同的空间来确定的，这导致了对向量 $v$ 和矩阵 $A_{3 \times 3}$ 的特定约束。

主要贡献与结果

1. 非 RS 性质： 定理 7 确立了对于 $k > 3$，无论参数如何选择，只要 $A_{3 \times 3} \in GL_3(F_q)$，代码 $GRL_k(\alpha, v, A_{3 \times 3})$ 都是严格非 GRS（广义 Reed-Solomon）的。

2. 非 RS MDS 的等价条件： 定理 8 提供了 $GRL_k(\alpha, v, A_{3 \times 3})$ 为 MDS 码的充分必要条件。这些条件表示为涉及评估点 $\alpha_i$ 的乘积之和与 $A_{3 \times 3}$ 条目之间的不等式。具体而言，对于任何大小为 $k-1$ 或 $k-2$ 的子集，涉及矩阵条目的某些多项式表达式不能为零。

   • 推论 10 和 例 11 通过一个特定的矩阵形式和基于 $F_{11}$ 的具体实例说明了这些条件，产生了一个 $[8, 4, 5]$ 码。

3. AMDS 对偶码的等价条件： 定理 12 确定了对偶码 $GRL_k^\perp(\alpha, v, A_{3 \times 3})$ 为 AMDS 码的条件。这要求生成矩阵的任意 $k-1$ 列是线性无关的，同时至少存在一组 $k$ 列是线性相关的。定理列出了涉及 $A_{3 \times 3}$ 条目和 $\alpha_i$ 之和的六种特定情况。

   • 推论 13 和 例 14 提供了一个基于 $F_7$ 的具体实例化，产生了一个 $[8, 4, 4]$ 码。

4. 校验矩阵与自对偶性： 定理 16 构造了 GRL 代码的校验矩阵 $H_5$。在此基础上，定理 17 提供了非 RS 自对偶码的等价条件。这些条件要求：

   • $n + 3 = 2k$（维数约束）。
   • 向量 $v$ 必须与逆差向量 $u$ 成比例（即 $v_i = \lambda u_i$）。
   • 矩阵 $A_{3 \times 3}$ 必须满足一个涉及 $\alpha_i$ 和 $\alpha_i^2$ 之和的特定二次关系。
   • 例 18 和 19 展示了分别在 $F_{13}$ 和 $F_{19}$ 上构造此类自对偶码的情况。值得注意的是，例 19 强调了可以构造满足 $q \equiv 3 \pmod 4$ 条件的自对偶 GRL 码，而此前 [22] 中的自对偶构造在这一情况下受到了限制。

意义
本文声称通过使用通用的可逆矩阵 $A_{3 \times 3}$ 取代特定的增广矩阵，推广了 [21] 和 [22] 中的结果。其主要意义在于提供了一个统一的框架，用于确定这些广义代码何时具有最优距离特性（MDS/AMDS）或自对偶性。作者明确指出，其结果将 [21] 中的定理作为特例进行了回收。此外，针对 $q \equiv 3 \pmod 4$ 构造自对偶码（例 19）扩展了此类代码的应用范围，突破了先前文献的限制。文章总结道，这些等价条件使得能够系统地构造具有通信和密码学应用所需性质的非 RS 码。