[論文レビュー] 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）の2つの一般式を提示する。特に $e' = 1$ または $2$ の場合、および半原始的・その他の構造的条件下で、重み階層を完全に特定し、$d_r(C)$ の明示的表現を提供する。代数的数論の道具を用いることで、巡回符号におけるGHWsの理解が著しく進展する。

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.

研究の動機と目的

• 有限体上の非可約巡回符号の一般化されたハミング重み $d_r(C)$ の一般式を、ガウス和および指標和を用いて導出すること。
• ガウス和および指標和を明示的に評価可能な特定のクラスの非可約巡回符号について、完全な重み階層 $\{d_1(C), \dots, d_k(C)\}$ を特定すること。
• 従来の二進非可約巡回符号に関する結果を、半原始的指標および特定の体拡張構造を有する一般の $q$-進ケースに拡張すること。
• 双対式 (3.3) および (3.4) を用いて、$r$ が小さくても大きくても $d_r(C)$ を計算するフレームワークを提供し、重み階層の体系的解析を可能にすること。
• 今後の還元可能巡回符号およびカサミ符号などの関連族における一般化されたハミング重みの研究の基盤を築くこと。

提案手法

• 体 $\mathbb{F}_q$ の部分空間 $H \subseteq \mathbb{F}_{q^k}$ に対して、$H$ の次元が $r$ または $k-r$ であるとき、$d_r(C)$ の2つの一般式 (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))$ を用いて符号パラメータをパrameter化する。
• 双対性および境界（例：補題 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 を異なる手法で再確認・再証明する。
• $k - m \leq r \leq k$ の場合、仮定が定理 4.3(1) を満たす限り、$d_r(C) = n - \frac{e'}{e}(q^{k-r} - 1)$ が成り立つ。特に $\mathbb{F}_{q^m}^* \subseteq \langle \theta^{e'} \rangle$ のときが該当する。
• ガウス和が一定である場合、指標和 $\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)$ を効果的に計算でき、中間の $r$ の場合では部分空間 $H$ における極値指標和の評価が必要となる。