[論文レビュー] Rank weight hierarchy of some classes of cyclic codes

Jérôme Ducoat, Frédérique Oggier|arXiv (Cornell University)|Jul 15, 2014

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

ひとこと要約

本稿は、有限体 $\mathbb{F}_{q^m}$ 上の循環符号におけるランク重み階層を確立し、$[n,n-1]$ 循環符号について正確な公式を導出し、特定の条件下でのランク距離が1である符号の特徴を明らかにした。$n$ と $q$ が互いに素である場合の循環符号に対する洗練されたSingleton上限を導入し、ネットワーク符号化応用におけるランク距離特性の理解を著しく進展させた。

ABSTRACT

We study the rank weight hierarchy, thus in particular the rank metric, of cyclic codes over the finite field $\mathbb F_{q^m}$, $q$ a prime power, $m \geq 2$. We establish the rank weight hierarchy for $[n,n-1]$ cyclic codes and characterize $[n,k]$ cyclic codes of rank metric 1 when (1) $k=1$, (2) $n$ and $q$ are coprime, and (3) the characteristic $char(\mathbb F_q)$ divides $n$. Finally, for $n$ and $q$ coprime, cyclic codes of minimal $r$-rank are characterized, and a refinement of the Singleton bound for the rank weight is derived.

研究の動機と目的

• $[n,n-1]$ 循環符号の完全なランク重み階層を $\mathbb{F}_{q^m}$ 上で特定すること。
• $k=1$, $\gcd(n,q)=1$, または $\mathrm{char}(\mathbb{F}_q) \mid n$ のとき、ランク距離が1である $[n,k]$ 循環符号を特徴づけること。
• $r$-ランクが最小である循環符号を特定し、$n$ と $q$ が互いに素である条件の下でランク重みの洗練されたSingleton上限を導出すること。
• 特にワイヤータップ状況において、ネットワーク符号化応用を念頭に置いたランク距離符号の理論的枠組みを拡張すること。

提案手法

• 符号語の行列表現 $\lambda(c)$ を、$\mathbb{F}_{q^m}$ の $\mathbb{F}_q$-基底を用いて定義し、ランク重みをその行列の $\mathbb{F}_q$-ランクとして定義する。
• $V \in \Gamma(\mathbb{F}_{q^m}^n)$ で $V^q = V$ を満たす部分空間を用いてランク重み階層を定義し、$\dim(C \cap V) \geq r$ を満たす中で $\dim V$ を最小化する。
• 双対符号 $C^\perp$ と双対性関係 $\{d_r(\lambda(C))\} \sqcup \{n+1 - d_s(\lambda(C^\perp))\} = \{1,\dots,n\}$ を用いて不等式を導出する。
• $\mathbb{F}_q$ 上の生成多項式の根の最小多項式の次数の和として定義される符号の $q$-次数 $\eta_q(C)$ を用いてランク特性を特徴づける。
• 離散フーリエ変換と多項式代数の技法を用いて符号語およびその $\mathbb{F}_q$-線形包を分析する。
• 洗練されたSingleton上限を導出：$\gcd(n,q)=1$ のとき $d(\lambda(C)) \leq \min(\eta_q(C^\perp) - k + 1, m)$。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{F}_{q^m}$ 上の $[n,n-1]$ 循環符号の正確なランク重み階層は何か？
• RQ2 $k=1$, $\gcd(n,q)=1$, または $\mathrm{char}(\mathbb{F}_q) \mid n$ のとき、$[n,k]$ 循環符号がランク距離1をとる条件は何か？
• RQ3 $n$ と $q$ が互いに素であるとき、$r$-ランクが最小である循環符号はどのように特徴づけられるか？
• RQ4 $n$ と $q$ が互いに素である条件下で、標準Singleton上限よりもタイトなランク重みの上限を導出できるか？
• RQ5 $q$-次数 $\eta_q(C)$ と循環符号のランク重み階層との関係は何か？

主な発見

• $[n,n-1]$ 循環符号のランク重み階層は完全に特定された：すべての $1 \leq r \leq n-1$ に対して $d_r(\lambda(C)) = r$ であり、これは符号がすべての $r$ に対して $r$-MRD であることを意味する。
• $[n,1]$ 循環符号では、$n$ と $q$ にかかわらず最小ランク距離は常に1である。これは文献に先行する結果を確認するものである。
• $k=1$, $\gcd(n,q)=1$, または $\mathrm{char}(\mathbb{F}_q) \mid n$ のとき、本稿はランク距離が1である $[n,k]$ 循環符号を完全に特徴づけた。
• $\gcd(n,q)=1$ のとき、本稿は $d_r(\lambda(C)) = r$ がかつて $\eta_q(C) \leq n - r$ であることと同値であることを証明した。これは $q$-次数とランク重み階層との関連を示している。
• 洗練されたSingleton上限が導出された：$d(\lambda(C)) \leq \min(\eta_q(C^\perp) - k + 1, m)$。これは $\gcd(n,q)=1$ のとき、古典的上限を改善する。
• 例として、$\mathbb{F}_{3^5}$ 上の $[11,8]$ 符号について、$\eta_q(C^\perp) = 10$ であり、$d(\lambda(C)) \leq 3$ を得るが、実際の最小ランク距離は2である。