[论文解读] Generalized Hamming Weights of Irreducible Cyclic Codes

Minghui Yang, Jin Li+2 more|arXiv (Cornell University)|Oct 10, 2014

Coding theory and cryptography参考文献 9被引用 4

一句话总结

本文利用高斯和与有限域子空间上的特征和，提出了 $q$-元不可约循环码广义汉明权重（GHWs）的两个通用公式。在多个情形下完全确定了权重层级，特别是当 $e' = 1$ 或 $2$ 时，并在半初等及其他结构条件下提供了 $d_r(C)$ 的显式表达式，显著推进了代数数论工具在循环码广义汉明权重研究中的理解。

ABSTRACT

The generalized Hamming weight (GHW) $d_r(C)$ of linear codes $C$ is a natural generalization of the minimum Hamming distance $d(C)(=d_1(C))$ and has become one of important research objects in coding theory since Wei's originary work [23] in 1991. In this paper two general formulas on $d_r(C)$ for irreducible cyclic codes are presented by using Gauss sums and the weight hierarchy $\{d_1(C), d_2(C), \ldots, d_k(C)\}$ $(k=\dim C)$ are completely determined for several cases.

研究动机与目标

• 利用高斯和与有限域 $\mathbb{F}_q$ 上子空间的特征和，推导不可约循环码广义汉明权重 $d_r(C)$ 的通用公式。
• 在高斯和与特征和可显式计算的特定不可约循环码类中，完全确定权重层级 $\{d_1(C), \dots, d_k(C)\}$。
• 将先前关于二元不可约循环码的研究结果推广至一般 $q$-元情形，包括具有半初等特征和特定域扩张结构的情形。
• 提出一种框架，利用对偶公式 (3.3) 和 (3.4) 系统分析 $d_r(C)$ 的计算，适用于 $r$ 较小和较大的情况。
• 为未来研究可约循环码及其相关族（如 Kasami 码）的广义汉明权重奠定基础。

提出的方法

• 基于 $\mathbb{F}_{q^k}$ 中 $\mathbb{F}_q$-子空间 $H$（维度为 $r$ 或 $k-r$）上的高斯和与特征和，推导 $d_r(C)$ 的两个通用公式 (3.3) 和 (3.4)。
• 利用乘法特征 $\varphi$ 及其高斯和 $G(\chi, \lambda)$ 的结构，特别关注二次和半初等情况。
• 应用引理 2.2（二次高斯和）和引理 2.3（半初等高斯和），在 $p$、$l$、$e$ 和 $t$ 满足特定条件时，计算 $G(\chi)$ 的精确值。
• 当高斯和在子空间上为常数时，将特征和 $\sum_{\beta \in H \setminus \{0\}} \varphi(\beta)$ 化为交集大小 $|H \cap \langle \theta^{e'} \rangle|$。
• 使用域扩张 $\mathbb{F}_{q^k} = \mathbb{F}_Q$，其中 $Q = q^k$，并定义 $n = (Q-1)/e$，$e' = \gcd(e, (Q-1)/(q-1))$，以参数化码参数。
• 应用对偶性与界（如引理 2.5），在特定条件下，利用对偶码结构和 $d_r(C) = n - \frac{e'}{e}(q^{k-r} - 1)$ 推导 $r \geq k/2$ 时的 $d_r(C)$。

实验结果

研究问题

• RQ1 不可约循环码的广义汉明权重 $d_r(C)$ 如何用高斯和与特征和表示？
• RQ2 在何种场参数与码结构条件下，可完全确定权重层级 $\{d_1(C), \dots, d_k(C)\}$？
• RQ3 半初等与二次高斯和在简化不可约循环码 $d_r(C)$ 计算中起什么作用？
• RQ4 维度 $k$、$m = 2^{c-a}k'$ 以及 $s$ 和 $e'$ 的奇偶性如何影响权重层级的结构？
• RQ5 当特征和的极值难以计算时，公式 (3.3) 和 (3.4) 是否可用于计算中间 $r$ 值的 $d_r(C)$？

主要发现

• 当 $e' = 1$ 或 $2$ 时，完全确定了权重层级 $\{d_r(C)\}_{r=1}^k$，其中 $r \leq k/2$ 时 $d_r(C) = n - \frac{1}{eq^r}(q^k - q^r + (e'-1)q^{k/2}(q^r - 1))$，$r \geq k/2$ 时 $d_r(C) = n - \frac{e'}{e}(q^{k-r} - 1)$。
• 当 $c \geq a$ 且 $2 \nmid se'$ 时，权重层级由推论 4.4 完全刻画，对 $r \leq k/2$ 和 $r \geq k/2$ 给出显式分段公式。
• 在 $p=2$ 的半初等情况中，条件 $2 \nmid s$ 确保权重层级完全确定，以不同方法重新推导并恢复了文献 [14] 中的定理 3。
• 在定理 4.3(1) 的假设下，当 $\mathbb{F}_{q^m}^* \subseteq \langle \theta^{e'} \rangle$ 时，对 $k - m \leq r \leq k$，公式 $d_r(C) = n - \frac{e'}{e}(q^{k-r} - 1)$ 成立。
• 当高斯和为常数时，特征和 $\sum_{\beta \in H \setminus \{0\}} \varphi(\beta)$ 可化为 $|H \cap \langle \theta^{e'} \rangle|$，从而实现 $d_r(C)$ 的精确计算。
• 该方法成功利用 (3.3) 计算小 $r$ 的 $d_r(C)$，利用 (3.4) 计算大 $r$ 的 $d_r(C)$，中间情形则需对子空间 $H$ 上的极值特征和进行评估。