[論文レビュー] Construction of Quasi-Cyclic Product Codes

Alexander Zeh, San Ling|arXiv (Cornell University)|Jan 26, 2015

Coding theory and cryptography参考文献 24被引用数 3

ひとこと要約

本稿では、有限体上の多項式環における還元済みグレブナー基底を用いたRGB/POT形式で表現されたℓ準巡回符号と、生成多項式を用いて表現された巡回符号を組み合わせることで、準巡回積符号を構成する構成的手法を提示する。主な貢献は、得られた積符号の明示的基底表現であり、特に1段階準巡回積符号の特殊ケースに対して還元済みグレブナー基底が導出されており、効率的なデコーディングと距離解析を可能にする。

ABSTRACT

Linear quasi-cyclic product codes over finite fields are investigated. Given the generating set in the form of a reduced Gr{ö}bner basis of a quasi-cyclic component code and the generator polynomial of a second cyclic component code, an explicit expression of the basis of the generating set of the quasi-cyclic product code is given. Furthermore, the reduced Gr{ö}bner basis of a one-level quasi-cyclic product code is derived.

研究の動機と目的

• 準巡回符号と巡回符号の2つの成分符号からなる準巡回積符号を体系的に構成するための手法を開発すること。
• 還元済みグレブナー基底技術を用いて、積符号の生成集合の明示的基底表現を提供すること。
• 1段階準巡回積符号に対して還元済みグレブナー基底を導出し、デコーディングと距離推定を容易にすること。
• 有限体上の代数的構造を用いて、従来の巡回および準巡回積符号に関する結果を一般化すること。

提案手法

• 有限体上の多項式環において、還元済みグレブナー基底に基づいたRGB/POT形式を用いてℓ準巡回符号を表現する。
• 準巡回符号の符号語を、係数が商環R = F_q[X]/⟨X^m - 1⟩に属するXの多項式として表現する。
• 巡回符号の生成多項式g^B(Y)を用いて、テンソル積構成により積符号の構造を定義する。
• モジュールの最小化と行演算を適用して、特に1段階符号に対して生成集合を最小基底に還元する。
• 指数変換とモジュラ再帰を用いて、成分符号の生成子を変換することで、積符号の基底を導出する。
• 積符号の生成多項式に対して閉形式の表現を確立し、X^{ℓm} - 1を法として有効であることを示す。

実験結果

リサーチクエスチョン

• RQ1 1つの成分符号が準巡回で、もう1つが巡回である場合、どのようにして準巡回積符号を明示的に構成できるか？
• RQ2 得られた積符号の生成集合の構造は、グレブナー基底表現においてどのように特徴づけられるか？
• RQ3 1段階準巡回積符号に対して還元済みグレブナー基底を導出できるか。これによりデコーディングと解析が簡略化されるか？
• RQ4 成分符号の代数的構造は、最小距離やレートなどの積符号のパラメータにどのように影響を与えるか？
• RQ5 生成多項式と指数変換の役割は、積符号の基底を構成する際に果たすか？

主な発見

• 本稿では、Aがℓ準巡回でBが巡回である積符号A⊗Bについて、Aの還元済みグレブナー基底とBの生成多項式を用いて、明示的な基底表現を提供する。
• 1段階準巡回積符号という特殊ケースに対して、還元済みグレブナー基底が導出されており、これにより効率的なデコーディングと最小距離解析が可能になる。
• 積符号の生成多項式は、F_q上での最小多項式の積として表現可能であり、具体的にはm_0^{⟨51⟩}(X)からm_19^{⟨51⟩}(X)までが含まれ、[51,9,11]_2符号が得られる。
• 長さ51、次元9、最小距離11の明示的な2準巡回バイナリ積符号が構成され、本手法の実用的妥当性が示された。
• 本手法により、積符号がRGB/POT形式で表現可能であり、生成多項式g_{0,0}(X)とg_{0,1}(X)がX^{51}+1を法として明示的に計算可能である。
• 基底還元プロセスにより、線形従属関係が行演算によって除去され、積符号の最小生成集合が得られる。