[论文解读] New MDS Self-Dual Codes from Generalized Reed-Solomon Codes

Lingfei Jin, Chaoping Xing|arXiv (Cornell University)|Jan 18, 2016

Coding theory and cryptography参考文献 6被引用 5

一句话总结

本文通过广义 Reed-Solomon (GRS) 码，在奇特征有限域上构造了新的 MDS 自偶码类。通过分析求值点之间差值的平方性并求解子域上的齐次系统，作者证明了当 $ q \equiv 1 \pmod{4} $ 且 $ q \geq 4^n n^2 $，或在特定条件下当 $ q = r^2 $ 时，存在长度为偶数 $ n $ 的 $ q $-元 MDS 自偶码，这些条件包括 $ n \leq r $，$ n-1 \mid q-1 $，或 $ n = 2tr $ 且 $ r \equiv 3 \pmod{4} $ 以及 $ t \leq (r-1)/2 $。这些结果扩展了已知的存在性定理，并通过 GRS 码提供了显式构造。

ABSTRACT

Both MDS and Euclidean self-dual codes have theoretical and practical importance and the study of MDS self-dual codes has attracted lots of attention in recent years. In particular, determining existence of $q$-ary MDS self-dual codes for various lengths has been investigated extensively. The problem is completely solved for the case where $q$ is even. The current paper focuses on the case where $q$ is odd. We construct a few classes of new MDS self-dual code through generalized Reed-Solomon codes. More precisely, we show that for any given even length $n$ we have a $q$-ary MDS code as long as $q\equiv1\bmod{4}$ and $q$ is sufficiently large (say $q\ge 2^n imes n^2)$. Furthermore, we prove that there exists a $q$-ary MDS self-dual code of length $n$ if $q=r^2$ and $n$ satisfies one of the three conditions: (i) $n\le r$ and $n$ is even; (ii) $q$ is odd and $n-1$ is an odd divisor of $q-1$; (iii) $r\equiv3\mod{4}$ and $n=2tr$ for any $t\le (r-1)/2$.

研究动机与目标

• 在奇数阶有限域上构造新的 MDS 自偶码类，扩展已知的存在性结果。
• 建立广义 Reed-Solomon 码成为自偶码的充分条件，利用代数数论和特征和。
• 解决当 $ q $ 为奇数时，长度为偶数的 $ q $-元 MDS 自偶码的存在性问题，特别是针对大 $ q $ 或 $ q = r^2 $ 的情况。
• 通过求值集和子域上的解系统提供显式构造，改进了以往基于正交设计或负循环码的方法。

提出的方法

• 使用在 $\mathbb{F}_q$ 中的求值点 $\alpha_1, \dots, \alpha_n$ 和非零权值 $v_i$ 定义的广义 Reed-Solomon 码，生成 MDS 码。
• 分析乘积 $\prod_{j \neq i} (\alpha_i - \alpha_j)^{-1}$ 是否为 $\mathbb{F}_q$ 中的平方，以确保自偶性。
• 应用特征和估计（通过 Weil 型界）证明当 $ q \equiv 1 \pmod{4} $ 且 $ q $ 足够大时，存在 $\alpha_n$ 使得所有差值 $\alpha_n - \alpha_i $ 均为非零平方。
• 当 $ q = r^2 $ 时，在 $\mathbb{F}_r$ 上求解齐次系统 $A_\mathbf{a} \mathbf{x}^T = \mathbf{0}$，利用引理 II.9 确保自偶性。
• 利用 $\mathbb{F}_{r^2}$ 中的域范数和迹性质，验证差值乘积为平方，特别是在 $ r \equiv 3 \pmod{4} $ 时。
• 通过参数化 $\alpha_{\ell r + k} = a_\ell \beta + a_k$，其中 $\beta = \gamma^{(r+1)/2}$，显式构造求值点，以确保乘积项的平方性。

实验结果

研究问题

• RQ1 当 $ q $ 为奇数时，$ q $ 和 $ n $ 满足何种条件可保证存在长度为偶数 $ n $ 的 $ q $-元 MDS 自偶码？
• RQ2 能否通过在 $\mathbb{F}_q$ 上选择适当的求值点和权值，使广义 Reed-Solomon 码成为自偶码？
• RQ3 当 $ q \equiv 1 \pmod{4} $ 时，$ q $ 相对于 $ n $ 的最小大小是多少，才能保证存在长度为偶数 $ n $ 的 $ q $-元 MDS 自偶码？
• RQ4 当 $ n = 2tr $ 且 $ r \equiv 3 \pmod{4} $ 时，$\mathbb{F}_{r^2}$ 的结构如何允许构造 MDS 自偶码？
• RQ5 能否将 MDS 自偶码的存在性扩展至文献中已知情况之外，特别是针对 $ q = r^2 $ 且 $ n-1 \mid q-1 $ 的情形？

主要发现

• 对于任意偶数长度 $ n $，若 $ q \equiv 1 \pmod{4} $ 且 $ q \geq 4^n n^2 $，则存在 $ q $-元 MDS 自偶码，为大 $ q $ 情况提供了通用存在性结果。
• 当 $ q = r^2 $ 且 $ n \leq r $ 时，存在长度为 $ n $ 的 $ q $-元 MDS 自偶码，扩展了已知构造的适用范围。
• 若 $ q = r^2 $，$ q $ 为奇数，且 $ n-1 $ 整除 $ q-1 $，则存在长度为 $ n $ 的 $ q $-元 MDS 自偶码，推广了文献 [11] 的结果，放宽了条件 $ n-1 \mid r-1 $。
• 当 $ q = r^2 $ 且 $ r \equiv 3 \pmod{4} $，$ n = 2tr $，其中 $ t \leq (r-1)/2 $ 时，存在长度为 $ n $ 的 $ q $-元 MDS 自偶码，提供了一类新的参数为 $[2tr, tr, tr+1]$ 的码。
• 通过广义 Reed-Solomon 码和子域上的解系统构造方法，可生成自偶码，而无需依赖正交设计或负循环结构。
• 利用特征和估计的证明技术，确保存在求值点使得所有差值 $\alpha_i - \alpha_j $ 均为非零平方，这是实现自偶性的关键。