[論文レビュー] Propelinear structure of Z_{2k}-linear codes

Joaquim Borges, Cristina Fernández-Córdoba+1 more|ArXiv.org|Jul 30, 2009

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

ひとこと要約

本稿は、Z_{2k}-線形符号を二進線形符号に変換する独自のグレイ写像Φを導入し、リー距離をハミング距離に保存する。この写像の下で、k > 2 のとき Z_{2k}-符号はプロパライン一様ではないが、プロパラインとなることが示され、これにより1-完全な二進混合群符号は型 (Z_k^2, Z_{(n-k)/2}^4) に限られ、高次成分は除外される。

ABSTRACT

Let C be an additive subgroup of $\Z_{2k}^n$ for any $k\geq 1$. We define a Gray map $Φ:\Z_{2k}^n \longrightarrow \Z_2^{kn}$ such that $Φ(\codi)$ is a binary propelinear code and, hence, a Hamming-compatible group code. Moreover, $Φ$ is the unique Gray map such that $Φ(C)$ is Hamming-compatible group code. Using this Gray map we discuss about the nonexistence of 1-perfect binary mixed group code.

研究の動機と目的

• Z_{2k}-線形符号から二進プロパライン符号への標準的グレイ写像を確立すること。
• この写像下での Z_{2k}-符号の構造的性質、特に k > 2 のときの非平行移動不変性を特定すること。
• 提案されたグレイ写像枠組みを用いて、1-完全な二進混合群符号の存在を調査すること。
• 混合群符号設定における1-完全符号の型制約を特定すること。
• グレイ写像による Z_{2k}-符号から二進符号への写像における情報レートの低下を分析すること。

提案手法

• 任意の加法的部分群 C ⊆ Z_{2k}^n に対して Φ(C) が二進プロパライン符号であるようなグレイ写像 Φ: Z_{2k}^n → Z_{2k}^n を定義する。
• Φ が Z_{2k} と二進空間間のハミング適合性および距離構造を保存する唯一のグレイ写像であることを証明する。
• 写像を用いて Z_{2k}-符号を二進符号に変換し、その群符号的性質を分析する。
• Z_{k_1}^{2^{i_1}} × ⋯ × Z_{k_r}^{2^{i_r}} の形をした混合群符号に変換を適用する。
• i_j > 2 を満たす成分の存在を仮定し、距離および重みの議論により矛盾を導くことで、1-完全符号条件を分析する。
• 座標の置換不変性および重み保存性を用いて、写像の置換を除いて一意であることを示す。

実験結果

リサーチクエスチョン

• RQ1 Z_{2k}-線形符号を二進プロパライン符号に変換し、距離構造を保存する標準的グレイ写像は存在するか？
• RQ2 一意なグレイ写像を用いて、Z_{2k}-符号はハミング適合群符号として表現可能か？
• RQ3 Z_2 および Z_4 を超える成分を含む1-完全な二進混合群符号は存在するか？
• RQ4 1-完全混合群符号が満たすべき成分タイプに関する構造的制約は何か？
• RQ5 提案されたグレイ写像を用いて Z_{2k}-符号を二進符号に写像する際、情報レートはどのように変化するか？

主な発見

• 提案されたグレイ写像 Φ は、任意の加法的部分群 C ⊆ Z_{2k}^n に対して Φ(C) がハミング適合群符号であるような Z_{2k}^n から Z_{2k}^n への唯一の写像である。
• k > 2 のとき、任意の Z_{2k}-符号 C の像 Φ(C) は平行移動不変でないプロパライン符号である。
• 二進像 Φ(C) の情報レート R′ は R′ = (1 + log₂k)/k × R で与えられ、k ≥ 3 のとき R より厳密に小さい。
• 任意の1-完全な二進混合群符号は、ある k ∈ ℕ に対して型 (Z_k^2, Z_{(n-k)/2}^4) に限られる。i_j > 2 を満たす成分は除外される。
• Z_6 に同型な成分を含む1-完全符号の存在は、符号語近傍における距離の不整合により矛盾を引き起こす。
• 証明は、i_j > 2 を満たす成分 Z_{2^{i_j}} が存在する場合、1-完全性に必要な符号語分布が、非一意的または非最小距離関係のため成立しないことを示すことに依拠している。