Equivalence of Families of Polycyclic Codes over Finite Fields

技术摘要：有限域上多循环码族的等价性

问题陈述
本文探讨有限域 $\mathbb{F}_q$ 上多循环码族的分类与等价性问题。虽然循环码和常循环码作为商环 $\mathbb{F}_q[x]/\langle x^n - \lambda \rangle$ 中的理想已被充分理解，但多循环码将这些结构推广至 $\mathbb{F}_q[x]/\langle f(x) \rangle$ 中的理想，其中 $f(x)$ 是任意非零多项式。编码理论中的一个核心挑战是构造具有最优参数（长度 $n$、维数 $k$ 和最小距离 $d$）的码。由于对大参数进行穷举计算机搜索在计算上是不可行的，作者旨在通过系统地将多循环码组织为等价类来减少搜索空间。具体而言，本文研究两个环境空间（定义码的商环）何时是等距的，从而使研究人员能够将搜索限制在这些等价类的代表元上。

方法论
作者将此前定义于常循环码的 $n$-等价 概念扩展至更广泛的多循环码背景。方法论分为三个阶段：

1. 等价定义：若存在 $\alpha \in \mathbb{F}_q^*$ 使得映射 $\Phi_\alpha: f(x) \mapsto f(\alpha x)$ 在商环 $\mathbb{F}_q[x]/\langle g(x) \rangle$ 与 $\mathbb{F}_q[x]/\langle f(x) \rangle$ 之间诱导一个保持汉明距离的 $\mathbb{F}_q$-代数同构，则与多项式 $f(x) = x^n - \vec{a}(x)$ 和 $g(x) = x^n - \vec{b}(x)$ 相关联的两个多循环码族被定义为 $n$-等价。
2. 代数刻画：本文推导了该等价性的充要条件。这涉及分析 $\mathbb{F}_q$ 中二项式和三项式方程的根。关键工具包括：
   • 关于 $\gcd(x^n - a, x^m - b)$ 的次数以及方程 $x^n - a = 0$ 解的个数的引理。
   • 利用 Schur 积（分量式乘法）来关联等价多项式的系数向量。
   • 对 $\mathbb{F}_q^* \times \mathbb{F}_q^*$ 中由 $\mathbb{F}_q^*$ 中本原元素幂生成的循环子群进行的群论分析。
3. 特化与推广：
   • $\ell$-三项式码：研究首先聚焦于与形式为 $x^n - a_\ell x^\ell - a_0$（其中 $0 < \ell < n$）的三项式相关联的码。作者推导了等价类数量的显式公式，以及三项式码等价于规范形式 $x^n - x^\ell - 1$ 的条件。
   • $p\ell$-三项式码：针对长度 $n = p^\ell + r$（其中 $p$ 是 $\mathbb{F}_q$ 的特征）的码进行了具体分析，利用 Artin-Schreier 多项式和迹函数的性质来确定不可约分解。
   • 一般多循环码：将结果推广至由具有 $m$ 个非零分量的向量 $\vec{a}$ 定义的一般多循环码。

主要贡献与结果

• $(n, \ell)$-等价的定义：本文形式化了 $\ell$-三项式码的等价关系。证明了系数对 $(a_0, a_\ell)$ 和 $(b_0, b_\ell)$ 等价当且仅当多项式 $a_0 x^n - b_0$ 和 $a_\ell x^{n-\ell} - b_\ell$ 在 $\mathbb{F}_q^*$ 中拥有公共根。
• 等价类计数：作者提供了 $\ell$-三项式码 $n$-等价类数量的显式公式：
  $$N_{(n,\ell)} = (q-1) \gcd(q-1, n, \ell)$$
  对于具有 $m$ 个非零系数的一般多循环码，类的数量由下式给出：
  $$N = \frac{(q-1)^m}{\text{lcm}_{0 \le j \le m-1} \left( \frac{q-1}{\gcd(n-i_j, q-1)} \right)}$$
• 归约至规范形式：
  • 证明了若 $\gcd(n, n-\ell) = 1$，则任何 $\ell$-三项式码族均等价于与多项式 $x^n - x^\ell - 1$ 相关联的码族。
  • 对于 $\gcd(n, n-\ell) \neq 1$ 的情况，本文确定了涵盖所有等价类的特定代表元（涉及本原元素 $\xi$ 的幂）。
• 特定三项式的分解：本文分析了形式为 $x^{p^\ell+1} - x^{p^\ell} - 1$ 和 $x^{p^\ell+s} - x^{p^\ell} - 1$ 的三项式的分解。确立了这些多项式分解为不可约因子（通常涉及 Artin-Schreier 多项式 $x^p - x - \beta$）的条件，这直接决定了这些族中码的可能生成多项式。
• 最优码的构造：通过将搜索限制在已识别等价类的代表元上，作者构造了若干最优多循环码的实例。值得注意的实例包括：
  • 源自 $\mathbb{F}_3$ 上 $3\ell$-三项式码的 $[27, 3, 18]_3$ 码和 $[81, 3, 55]_3$ 码。
  • $\mathbb{F}_9$ 和 $\mathbb{F}_4$ 上的最优码，其参数匹配或达到了已知界（例如 Griesmer 界）。

意义与主张
本文主张其首要意义在于提供了一个系统性的框架，用于组织和分类多循环码。通过建立明确的等价判据，这项工作降低了搜索具有最优参数码的复杂性。研究人员无需调查所有可能的系数组合，而是可以专注于每个等价类的有限代表元集合。

此外，作者指出，理解环境空间的等价性对于研究多循环码的对偶性至关重要。由于多循环码的对偶码不一定关于同一环境空间是多循环的，但通常等价于源自不同环境的码，因此这种分类为未来关于对偶性的理论结果奠定了基础。本文结论认为，这些结果成功地将等价关系的应用从常循环码扩展到了更一般且更复杂的多循环码领域，为构造具有近最优参数的无限码族提供了一条途径。