[論文レビュー] On Octonary Codes and their Covering Radii

Manoj K. Raut, Manish K. Gupta|arXiv (Cornell University)|Nov 7, 2014

Coding theory and cryptography被引用数 6

ひとこと要約

本稿は、ℤ₈ 上の線形八進コードに対して、新しい還元およびねじれ符号を導入し、繰返し、単体（種別 α および β）、MacDonald、Reed-Muller、および八進符号を含む主要な符号族の覆い半径に関する境界を確立する。ℤ₄ からの結果を ℤ₈ に拡張し、同型重み下での覆い半径について正確な値とタイトな境界を提供する。主な発見として、r_HW(Sₖ^α⊥) = 1 および r_HW(R¹,ᵐ⁻²) = 2^{m−1} − 2^{m/2−1}（m が偶数のとき）が得られた。

ABSTRACT

This paper introduces new reduction and torsion codes for an octonary code and determines their basic properties. These could be useful for the classification of self-orthogonal and self dual codes over $\mathbb{Z}_8$. We also focus our attention on covering radius problem of octonary codes. In particular, we determine lower and upper bounds of the covering radius of several classes of Repetition codes, Simplex codes of Type $α$ and Type $β$ and their duals, MacDonald codes, and Reed-Muller codes over $\mathbb{Z}_8$.

研究の動機と目的

• ℤ₈ 上の八進符号のための新しい還元およびねじれ符号を構築し、自己直交および自己双対符号の分類を支援すること。
• 非二進構造を持つ符号について、ℤ₄ からの覆い半径の結果を ℤ₈ に拡張すること。
• ℤ₈ 上の繰返し、単体（α および β）、MacDonald、Reed-Muller、および八進符号について、覆い半径の下限および上限を特定すること。
• 同型重み測度下での覆い半径の正確な値およびタイトな境界を確立すること。
• 還元／ねじれ符号と元の八進符号との間の構造的関係を調査すること。

提案手法

• ℤ₈ から ℤ₂ および ℤ₄ への準同型を用いて還元およびねじれ符号を定義し、自己直交性および自己双対性などの符号の性質を保持する。
• 一般化されたグレイ写像 φ: ℤ₈ⁿ → ℤ₂⁴ⁿ を用いて八進符号と二進符号を関連付け、既知の結果を移行する。
• ℤ₈ 上の生成行列の標準形を用いて、符号のタイプ {k₀, k₁, k₂} を分析し、構造的性質を導出する。
• 再帰的構成法および puncturing 技法を用いて、ℤ₈ 上の単体符号から MacDonald 符号を定義する。
• ℤ₄ 上での覆い半径に関する既知の結果を、重みに特化した境界を用いて ℤ₈ に拡張する。
• 距離の計算および覆い半径の境界を導出するために、同型重み関数 w_HW(x) = 2（x ≠ 4 のとき）、w_HW(x) = 4（x = 4 のとき）を適用する。

実験結果

リサーチクエスチョン

• RQ1 ℤ₈ 上の八進符号から導出される還元およびねじれ符号の構造的および代数的性質は何か？
• RQ2 同型重み測度下で、ℤ₈ 上の繰返し、単体（α および β）およびそれらの双対符号の覆い半径はどのように比較されるか？
• RQ3 MacDonald 符号の ℤ₈ 上での覆い半径の正確またはタイトな境界は何か？
• RQ4 同型重み下での第一順位 Reed-Muller 符号 R¹,ᵐ⁻² の覆い半径は何か？
• RQ5 ℤ₈ 上の八進符号の最小覆い半径は何か？

主な発見

• 同型重み下での α 型単体符号の双対符号の覆い半径は正確に 1 である：r_HW(Sₖ^α⊥) = 1。
• 同型重み下での β 型単体符号の双対符号の覆い半径は正確に 2 である：r_HW(Sₖ^β⊥) = 2。
• m が偶数のとき、第一順位 Reed-Muller 符号 R¹,ᵐ⁻² の同型重み下の覆い半径は正確に 2^{m−1} − 2^{m/2−1} である。
• 同型重み下での八進符号の覆い半径は 6 以上である：r_HW(C) ≥ 6。
• MacDonald 符号の ℤ₈ 上での覆い半径は、r_E(Mₖ,ᵤ^α) ≤ 6(8ᵏ − 8ʳ) + r_E(Mᵣ,ᵤ^α)（u < r ≤ k のとき）を満たす。
• ℤ₈ 上の単体符号 Sₖ^α および Sₖ^β は、生成行列の解析および双対性の性質により、自己直交的である。