[論文レビュー] Z2Z4Z8-Cyclic Codes

İsmail Aydoğdu, Fatmanur Gürsoy|arXiv (Cornell University)|Apr 24, 2017

Coding theory and cryptography被引用数 3

ひとこと要約

本稿は、Z₂Z₄-additiveコードの理論を拡張し、Z₂Z₄Z₈-加法的およびZ₂Z₄Z₈-巡回コードを導入・特徴づける。生成行列および検査行列の標準形を確立し、巡回コードの生成多項式と生成集合を導出するとともに、これらのコードを二値線形コードに関連付けるグレイ写像を提示する。主な貢献は、明示的な構成と[57,33,4]二値コードの例を含む、Z₂Z₄Z₈-巡回コードの完全な代数的フレームワークの確立である。

ABSTRACT

In this paper we study Z2Z4Z8-additive codes, which are the extension of recently introduced Z2Z4-additive codes. We determine the standard forms of the generator and parity-check matrices of Z2Z4Z8-additive codes. Moreover, we investigate Z2Z4Z8-cyclic codes giving their generator polynomials and spanning sets. We also give some illustrative examples of both Z2Z4Z8-additive codes and Z2Z4Z8-cyclic codes.

研究の動機と目的

• Z₂Z₄-additiveコードの理論を、Z₂、Z₄、Z₈の3つの環上でのZ₂Z₄Z₈-加法的コードに拡張すること。
• Z₂Z₄Z₈-加法的コードの生成行列および検査行列の標準形を特定すること。
• 生成多項式と生成集合を用いて、Z₂Z₄Z₈-巡回コードを定義し、特徴づけること。
• Z₂Z₄Z₈-コードから二値線形コードへの一般化グレイ写像を確立すること。
• 加法的および巡回的Z₂Z₄Z₈-コードの明示的例を提示し、[57,33,4]二値コードを含む。

提案手法

• Z₈-加法的加法とZ₈-スカラー乗法を用いて、Z₂Z₄Z₈をZ₈-加群として定義する。
• Z₂Z₄Z₈-加法的コードをZ₂^α × Z₄^β × Z₈^θの部分群として導入し、不変因子に基づくタイプ分類を実施する。
• Z₄ → Z₂²およびZ₈ → Z₂⁴を写像する一般化グレイ写像φ = (φ₁, φ₂)を構築し、Z₂Z₄Z₈-コードを二値コードに変換する。
• Z₂Z₄Z₈-巡回コードを環R = Z₂[x]/⟨x^α−1⟩ × Z₄[x]/⟨x^β−1⟩ × Z₈[x]/⟨x^θ−1⟩におけるイデアルとして特徴づける。
• x^n−1の因数分解と環上のイデアル構造を用いて、生成多項式と生成集合を導出する。
• グレイ写像を巡回コードの生成子に適用し、[57,33,4]のパラメータを持つ二値線形コードを取得する。

実験結果

リサーチクエスチョン

• RQ1 Z₂Z₄Z₈-加法的コードの生成行列の標準形は何か？ また、そのコードのタイプによってどのように特定されるか？
• RQ2 生成多項式と生成集合を用いて、Z₂Z₄Z₈-巡回コードを代数的にどのように特徴づけられるか？
• RQ3 Z₂Z₄Z₈-加法的コードの双対コードの構造は何か？ また、元のコードとどのように関係するか？
• RQ4 一般化グレイ写像はZ₂Z₄Z₈-コードをどのように二値線形コードに変換するか？ どのようなパラメータを達成するか？
• RQ5 明示的なZ₂Z₄Z₈-巡回コードの例を構築できるか？ その二値グレイ写像のパラメータは何か？

主な発見

• Z₂Z₄Z₈-加法的コードの生成行列の標準形は、タイプ(α,β,θ;k₀;k₁,k₂;k₃,k₄,k₅)によって完全に特徴づけられ、明示的なブロック構造を持つ。
• Z₂Z₄Z₈-加法的コードの検査行列は、生成行列の標準形を用いて導出され、双対性と誤り検出特性を保証する。
• Z₂Z₄Z₈-巡回コードは環R = Z₂[x]/⟨x^α−1⟩ × Z₄[x]/⟨x^β−1⟩ × Z₈[x]/⟨x^θ−1⟩におけるイデアルであり、x^n−1の因数分解から生成多項式が得られる。
• Z₂Z₄Z₈-巡回コードの生成集合は、生成多項式f(x)、g₁(x)、g₂(x)、およびr(x)から構成され、h_p(x)、h_q(x)、およびh₁(x)との関係を満たす。
• Z₂Z₄Z₈-巡回コードのグレイ写像は二値線形コードである。例では、Z₂Z₄Z₈-巡回コードの写像が[57,33,4]二値コードである。
• 明示的な例が構築され、標準形の生成行列を用い、そのグレイ写像により[57,33,4]二値コードが得られ、構成法の実現可能性と有用性が示された。