[論文レビュー] Cyclic Codes over Some Finite Rings

Murat Güzeltepe, Mehmet Özen|ArXiv.org|May 26, 2009

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

ひとこと要約

本稿では、ガウス整数とマンハイム距離を用いて有限環上の巡回符号を構築し、シンディーム計算に基づくデコーディングアルゴリズムを提示する。$ℝ[i]/\langle\pi^2\rangle$および$ℝ[i]/\langle\pi_1\pi_2\rangle$上での特定長の巡回符号の構成法を示し、一次または二次の生成多項式を用い、マンハイム距離モデル下でのシンディームデコーディングによる誤り訂正能力を証明する。

ABSTRACT

In this paper cyclic codes are established with respect to the Mannheim metric over some finite rings by using Gaussian integers and the decoding algorithm for these codes is given.

研究の動機と目的

• 有限体上の線形ブロック符号をガウス整数とマンハイム距離を用いて有限環へ拡張すること。
• 指定された長さを持つ$ℝ[i]/\langle\pi^2\rangle$および$ℝ[i]/\langle\pi_1\pi_2\rangle$上での巡回符号を体系的に構成する方法を開発すること。
• 有限体とは構造が異なる有限環の文脈において、マンハイム距離に適応したシンディームデコーディング技術を適用すること。
• これらの環上でのモニック生成多項式が一次および二次である巡回符号の存在を証明すること。

提案手法

• $\pi = a+ib$を$p = a^2 + b^2 = 4n+1$を満たす素数とするとき、ガウス整数$\mathbb{Z}[i]$とその商環$G_\pi = \mathbb{Z}[i]/\langle\pi\rangle$を用いる。
• マンハイム重みを$w_M(\gamma) = |\operatorname{Re}(\gamma)| + |\operatorname{Im}(\gamma)|$、マンハイム距離を$d_M(\alpha,\beta) = w_M(\alpha - \beta \mod \pi)$として定義する。
• 群論的結果を適用：$g$が$G_{\pi^k}^*$の生成元であれば、$g^{\phi(p^k)/4} \equiv \pm i \mod \pi^k$が成り立つ。
• 根が$x^{\phi(p^2)/4} \pm i \equiv 0 \mod \pi^2$を満たす多項式から、モニック生成多項式を一次または二次の形で導出する。
• シンディームデコーディングを用いる：$S = r(x) \mod g(x)$を計算し、テーブル（例：表I、表II）を用いてシンディームをコセットリーダーにマッピングし、誤りパターンを差し引いて誤りを訂正する。
• 有限体から有限環への代数的構造の移行を実現するため、$G_{\pi^k}$と$\mathbb{Z}_{p^k}$の同型を用いる。

実験結果

リサーチクエスチョン

• RQ1 ガウス整数とマンハイム距離を用いて、有限環上での巡回符号をどのように構築できるか。
• RQ2 $\mathbb{Z}[i]/\langle\pi^2\rangle$上での特定長の巡回符号が存在するための構造的・代数的条件は何か。
• RQ3 マンハイム重み付き符号の文脈において、有限体から有限環に移行する際、デコーディングプロセスはどのように異なるか。
• RQ4 $\mathbb{Z}[i]/\langle\pi_1\pi_2\rangle$上での一次または二次の生成多項式が、非ゼロ因子成分を有する有効な巡回符号を生成できるか。
• RQ5 $G_{\pi^k}^*$における生成元の乗法的位数が、符号長および構造を決定する役割を果たすか。

主な発見

• 長さ$\phi(p^2)/4$および$\phi(p^2)/2$の巡回符号が$G_{\pi^2}$上に存在し、それぞれ一次および二次のモニック生成多項式を持つ。
• $p = 5$の場合、$G_{3+4i}$上での符号は長さ10で、生成多項式$g(x) = x^2 + (1-2i)x + (-2+i)$をもち、生成行列$G$の各行にゼロ因子を含まない。
• シンディームデコーディングは有効である：例1では、誤り$ix^3$を含む受信ベクトルがシンディーム$S \equiv ix^3$により正しく復元され、正しい符号語$c = (-2+i, 1-2i, 1, 0, \dots)$が得られる。
• 例2では、$p_1=5$、$p_2=13$の$G_{\pi_1\pi_2}$上での符号は生成多項式$g(x) = x - 3 - i$をもち、シンディーム$1+4i \equiv x^2 \cdot i$により誤り$ix^2$が特定され、$r(x)$は$c(x) = x - 3 - i$に訂正される。
• コセットリーダー表（表II）により、シンディーム$1, 3+i, 4-i, 2-2i$がそれぞれ誤りパターン$1, x, x^2, x^3$に対応しており、体系的なデコーディングが可能である。
• $G_{\pi_1\pi_2}^* \cong G_{\pi_1}^* \times G_{\pi_2}^*$の同型により、乗法的群の生成元の存在が保証され、合成モジュラス上での巡回符号の構成が可能となる。