Good Integers: (T,k)-Subclasses and Applications to Galois Duality in Coding Theory

技术摘要：好整数：(T, k)-子类及其在编码理论伽罗瓦对偶中的应用

问题陈述
本文探讨了整数 $d$ 的算术刻画，这些整数整除序列 $(a^{ks+T} + b^{ks+T})_{s \ge 1}$ 的项，其中 $a$ 和 $b$ 是非零互素整数，$k, T$ 是满足 $0 \le T < k$ 的整数。这些整数被称为关于 $(a, b)$ 的 (T, k)-好整数。这项工作推广了“好整数”（即 $a^s + b^s$ 的除数）的经典概念，以及“奇好”和“偶好”整数，它们此前曾作为研究循环码和阿贝尔码的欧几里得对偶与埃尔米特对偶的关键算术工具。主要挑战在于为这些 $(T, k)$-好整数建立自包含的算术理论，并将该理论应用于编码理论中伽罗瓦对偶的刻画，特别是有限域 $\mathbb{F}_{q^k}$ 上的循环码。

方法论
作者结合了初等数论与代数编码理论：

1. 算术分析：研究首先将整除条件 $d \mid (a^{ks+T} + b^{ks+T})$ 转化为涉及 $ab^{-1}$ 模 $d$ 的乘法阶的同余式。分析被分解为：
   • 局部判据：利用 $p$-进赋值和乘法阶的性质，刻画奇素数幂 $p^e$ 处的情况。
   • 奇整数的全局判据：通过中国剩余定理组合局部结果，建立基于各素因子乘法阶的 2-进赋值一致性的条件。
   • 偶数情形：对偶数进行单独处理，区分 $a, b$ 中恰好有一个为偶数（此时不存在偶好整数）和两者均为奇数的情形，后者依赖于 $a+b$ 的 2-进赋值。
   • 算法构造：开发了一个显式算法，用于判定是否属于 $(T, k)$-好整数集合，并计算相应的指数 $s$。
2. 编码理论应用：将算术结果特化到 $(a, b) = (q, 1)$ 的情形，其中 $q$ 是素数幂。这将算术集合与有限阿贝尔群上的 $q^k$-分圆类 联系起来。证明了这些类在映射 $g \mapsto -q^T g$ 下的稳定性，恰好对应于类阶属于 $(T, k)$-好整数集合。
3. 分解与对偶：将该理论应用于 $\mathbb{F}_{q^k}$ 上 $x^n - 1$ 的分解。作者分析了 $\theta$-自互反不可约因子（其中 $\theta(\alpha) = \alpha^{q^T}$），并利用这些因子刻画伽罗瓦线性互补对偶（LCD）和伽罗瓦自对偶循环码，包括具有重根的码。

主要贡献与结果

• $(T, k)$-好整数的算术理论：

  • 定理 5 与推论 6：提供了奇素数幂 $p^e$ 为 $(T, k)$-好整数的充要条件，用 $ab^{-1}$ 模 $p^e$ 的乘法阶及 $T$ 的同余条件表示。
  • 定理 9：建立了奇整数 $d$ 的全局刻画，要求 $ab^{-1}$ 的乘法阶的 2-进赋值对 $d$ 的所有素因子为常数，并满足涉及 $T$ 和 $k$ 的特定同余与整除条件。
  • 命题 10 与 11：刻画了偶数情形，表明对于奇数 $a, b$，$2^\varepsilon d_0$ 是 $(T, k)$-好整数当且仅当 $d_0$ 是 $(T, k)$-好整数，且 $\varepsilon$ 与 $ks+T$ 的奇偶性满足特定条件。
  • 算法 1：一个判定 $G_{(T,k)}(a, b)$ 成员资格并构造指数 $s$ 的实用过程。
  • 关系：本文研究了 $T$ 变化时集合 $G_{(T,k)}(a, b)$ 之间的关系，引入集合 $C_k(T)$ 来描述成员资格在不同 $T$ 值间的传播（例如，对于奇整数，$G_{(T,k)} = G_{(k-T,k)}$）。

• 编码理论应用：

  • 分圆类刻画（定理 23）：有限阿贝尔群中的 $q^k$-分圆类 $S_{q^k}(g)$ 为"$T$ 型”（即在 $g \mapsto -q^T g$ 下稳定）当且仅当 $g$ 的阶属于 $G_{(T,k)}(q, 1)$。
  • 计数（命题 26）：推导了计算有限阿贝尔群中 $T$ 型和 $T'$ 型 $q^k$-分圆类数量的公式。
  • $\theta$-自互反因子（定理 27）：$x^n - 1$ 的不可约因子 $f_Q(x)$ 是 $\theta$-自互反的，当且仅当对应的分圆类 $Q$ 为 $T$ 型。
  • 伽罗瓦 LCD 码（定理 30）：提供了长度为 $n = n_0 p^r$ 的伽罗瓦 LCD 循环码的完整刻画。生成多项式通过选择 $\theta$-自互反因子（重数为 0 或 $p^r$）以及非自互反因子的轨道乘积（重数为 0 或 $p^r$）来构造。给出了计数公式 $2^{|\Omega_1| + |\Omega_2|}$。
  • 伽罗瓦自对偶码（定理 32 与推论 33）：本文证明了伽罗瓦自对偶循环码仅当 $q$ 和 $n$ 均为偶数时存在（重根情形）。它提供了显式的生成多项式形式和计数公式，区分了一般轨道结构与对合情形（轨道大小为 2）。

意义与主张
本文声称提供了一个统一的算术框架，将好整数的经典理论扩展到更广泛的伽罗瓦对偶背景中。通过引入 $(T, k)$-好整数，作者弥合了欧几里得对偶（$T=0, k=1$）与埃尔米特对偶（$T=1, k=2$）之间的鸿沟，将它们视为由自同构 $\theta(\alpha) = \alpha^{q^T}$ 定义的更一般伽罗瓦对偶的特例。

其意义在于将这些整数的算术性质转移到循环码的结构分析中。结果提供了：

1. 显式判据：清晰、可计算的判定伽罗瓦 LCD 码和自对偶码存在性及结构的条件。
2. 计数：基于 $G_{(T,k)}(q, 1)$ 的算术性质，给出了这些码族的精确计数公式。
3. 推广：该框架针对有限阿贝尔群构建，表明其不仅适用于循环码，还可应用于群代数中的阿贝尔码。

作者指出，虽然当前工作建立了通用理论和计数方法，但未来的研究可聚焦于特定的码长和码类，以推导更明确的结构描述和更精确的公式。本文并未声称解决关于特定码构造的具体开放性问题，而是提供了分析这些问题的理论工具。