[論文レビュー] Z2Z4-linear codes: generator matrices and duality

Joaquim Borges, Cristina Fernández-Córdoba+3 more|ArXiv.org|Oct 5, 2007

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

ひとこと要約

本稿では、生成行列およびパリティーチェック行列を定義し、適切な内積を用いて双対性理論を確立し、自己双対なコードを特徴づける、Z2Z4線形コードの体系的フレームワークを提示する。主な貢献は、双対コードの完全な特徴づけと、自己双対性のための条件であり、明示的なパラメータ式と、非自己双対な二進部をもつ反対称自己双対コードの存在条件を含む。

ABSTRACT

A code ${\cal C}$ is $\Z_2\Z_4$-additive if the set of coordinates can be partitioned into two subsets $X$ and $Y$ such that the punctured code of ${\cal C}$ by deleting the coordinates outside $X$ (respectively, $Y$) is a binary linear code (respectively, a quaternary linear code). In this paper $\Z_2\Z_4$-additive codes are studied. Their corresponding binary images, via the Gray map, are $\Z_2\Z_4$-linear codes, which seem to be a very distinguished class of binary group codes. As for binary and quaternary linear codes, for these codes the fundamental parameters are found and standard forms for generator and parity check matrices are given. For this, the appropriate inner product is deduced and the concept of duality for $\Z_2\Z_4$-additive codes is defined. Moreover, the parameters of the dual codes are computed. Finally, some conditions for self-duality of $\Z_2\Z_4$-additive codes are given.

研究の動機と目的

• 適切な内積を用いて、Z2Z4線形コードの双対性理論を定義・形式化すること。
• Z2Z4線形コードの生成行列およびパリティーチェック行列の標準形を導出すること。
• 双対コードのパラメータを計算し、自己双対性のための条件を特定すること。
• 反対称自己双対Z2Z4線形コードが存在するための必要十分条件を特定すること、ただし二進部は自己双対ではないものとする。

提案手法

• Z2^α × Z4^β の部分群としてZ2Z4線形コードを定義し、座標を二進部と四進部に分割する。
• 二進部と四進部を明確に分離する標準的生成行列形を導入し、特定の構造的ブロックを有する。
• Z2×Z4 上で修正された内積を用いて双対性フレームワークを確立し、直交補空間の定義を可能にする。
• グレイ写像 φ を適用して、Z2Z4線形コードを二進群コードに変換し、構造的および計量的性質を保持する。
• 生成行列のランクおよびタイプ不変量の分析を通じて、自己双対性の条件を導出する。
• 組合せ論的および代数的議論（例：符号語の順序、重みの偶奇）を用いて、存在および非存在の証明を行う。

実験結果

リサーチクエスチョン

• RQ1 Z2Z4線形コードの双対性を定義するための適切な内積は何か？ また、グレイ写像像とはどのように関係するか？
• RQ2 Z2Z4線形コードの生成行列およびパリティーチェック行列を標準形で体系的に構成する方法は何か？
• RQ3 Z2Z4線形コードの双対コードの正確なパラメータは何か？ また、コードのタイプにどのように依存するか？
• RQ4 Z2Z4線形コードが自己双対であるための条件は何か？ また、その二進像が反対称であるための条件は？
• RQ5 二進部が自己双対でない自己双対Z2Z4線形コードは存在可能か？ もし可能であれば、最小のサイズは？

主な発見

• タイプ (α, β; γ, δ; κ) のZ2Z4線形コードの双対コードは、パrameters (α, β; β + κ - 2δ, δ; κ) をもち、生成行列の構造から明示的なパラメータ式が導出される。
• Z2Z4線形コードが自己双対であるための必要十分条件は、生成行列が特定のランクおよび直交性条件を満たすことであり、特に特定の標準形では β - 2δ ≡ 2 (mod 4) が成り立つ。
• 反対称二進像と非自己双対二進部をもつ加法的自己双対コードが存在するのは α ≥ 4 かつ β ≥ 4 のときであり、最小のコードはタイプ (4, 4; 4, 1; 2) である。
• 8行8列のZ2×Z4上での明示的生成行列の構成により、このような最小の反対称自己双対コードの存在が確認された。
• δ < κ かつ β - 2δ ≡ 2 (mod 4) のとき、タイプ (2κ, β; β + κ - 2δ, δ; κ) の自己双対コードが存在し、これにより完全な族が得られる。
• Z2Z4線形コードの二進像が反対称であるための必要十分条件は (1|2) ∈ C であることであり、これにより (1|0) および (0|2) も C に属することになり、コードの構造および重み分布に制約が生じる。