[論文レビュー] Binary Cyclic Codes from Explicit Polynomials over $\gf(2^m)$

Cunsheng Ding, Zhengchun Zhou|arXiv (Cornell University)|Oct 5, 2013

Coding theory and cryptography被引用数 4

ひとこと要約

本稿では、$\mathrm{GF}(2^m)$ 上の単項式および三項式を用いて、最適および近似的に最適な二値循環符号を構成する。明示的な多項式を活用することで、柔軟な次元と最小距離の厳密な境界を達成する。この手法により、既知の線形符号に関する境界に一致またはそれに近い符号が得られ、$[31,10,12]$ や $[31,15,8]$ といった符号の最適性が複数の例で示されている。

ABSTRACT

Cyclic codes are a subclass of linear codes and have applications in consumer electronics, data storage systems, and communication systems as they have efficient encoding and decoding algorithms. In this paper, monomials and trinomials over finite fields with even characteristic are employed to construct a number of families of binary cyclic codes. Lower bounds on the minimum weight of some families of the cyclic codes are developed. The minimum weights of other families of the codes constructed in this paper are determined. The dimensions of the codes are flexible. Some of the codes presented in this paper are optimal or almost optimal in the sense that they meet some bounds on linear codes. Open problems regarding binary cyclic codes from monomials and trinomials are also presented.

研究の動機と目的

• 明示的な単項式および三項式を用いて、$\mathrm{GF}(2^m)$ 上で二値循環符号の体系的構成法を開発すること。
• 特定の族に対して、構成された符号の最小重量および次元を同定すること。
• 既知の線形符号に関する境界と比較して、符号が最適またはほぼ最適となる条件を同定すること。
• 良好な距離特性と高い線形スパンを有することから、符号理論および暗号理論における応用可能性を検討すること。
• 単項式および三項式から得られる循環符号の構造およびパラメータに関する今後の研究のための未解決問題を提示すること。

提案手法

• 周期性が特定の性質を満たすように、$\mathrm{GF}(2^m)$ 上の形 $x^e$ および $x^e + x^f + x^g$ の単項式および三項式を用いて系列を定義する。
• 系列の生成関数を $S^n(x)$ とすると、生成多項式は $g(x) = \frac{x^n - 1}{\gcd(S^n(x), x^n - 1)}$ で与えられる。
• $n = 2^m - 1$ における $q$-巡回部分集合を用いて、循環符号の構造を分析する。
• BCH境界および最小多項式の性質を応用し、最小距離の下界を導出する。
• 線形スパンを計算することで、特にストリーム暗号応用における暗号的強度を評価する。
• トレース関数 $\mathrm{Tr}(x)$ および関数 $\mathbb{N}_q(i)$ を用いて、系列構造およびその代数的性質を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 $m \equiv 3 \pmod{4}$ のとき、$e = 2^{(m-1)/2} + 2^{(3m-1)/4} - 1$ である単項式 $x^e$ によって定義される二値循環符号 $\mathcal{C}_s$ の次元および最小重量は何か？
• RQ2 $m = 5i$ のとき、$e = 2^{4i} + 2^{3i} + 2^{2i} + 2^i - 1$ である単項式 $x^e$ によって定義される $\mathcal{C}_s$ の次元および最小重量は何か？
• RQ3 三項式構成において $h > 0$ のとき、符号 $\mathcal{C}_s$ の最小距離に対するタイトな下界を確立できるか？
• RQ4 単項式および三項式から導かれる系列の線形スパンはどのように比較されるか？ また、暗号的応用に与える影響は何か？
• RQ5 どのような条件下で、構成された二値循環符号が最小距離の観点で最適またはほぼ最適となるか？

主な発見

• $\mathrm{GF}(2^4)$ 上で生成多項式 $x^4 + x + 1$ を持つ符号 $\mathcal{C}_s$ は、$[15,11,3]$ の最適二値循環符号である。
• $m=4$, $h=2$ のとき、生成多項式 $x^8 + x^7 + x^6 + x^4 + 1$ を持つ符号 $\mathcal{C}_s$ は、$[15,7,5]$ の最適二値循環符号である。
• $m=5$, $h=0$ のとき、生成多項式 $x^{21} + x^{18} + \cdots + x + 1$ を持つ符号 $\mathcal{C}_s$ は、$[31,10,12]$ の最適二値循環符号である。
• $m=5$, $h=1$ のとき、生成多項式 $x^{16} + x^{14} + \cdots + x + 1$ を持つ符号 $\mathcal{C}_s$ は、$[31,15,8]$ の最適二値循環符号である。
• 特定の単項式および三項式から得られる系列の線形スパンは大きく、キーストリーム生成に適した強力な暗号的性質を示している。
• $m$ が奇数で $h=0$ のとき、逆最小多項式の零点に基づき、BCH境界により最小距離 $d \geq 8$ の下界が得られる。