[論文レビュー] Z2Z4-linear codes: rank and kernel

Cristina Fernández-Córdoba, Jaume Pujol+1 more|ArXiv.org|Jul 26, 2008

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

ひとこと要約

本稿は、ℤ₂ℤ₄線形符号のランクおよびカーネル次元の特性を調査し、これらのパラメータのタイトな境界を確立し、可能なすべてのペア (ランク, カーネル次元) を達成する符号の明示的構成を提供する。本稿は、このような符号のカーネルおよびスパンが、ともに ℤ₂ℤ₄線形であることを証明しており、これにより ℤ₂^α × ℤ₄^β 上の加法的符号構造を介して効率的な計算が可能になる。

ABSTRACT

A code C is Z2Z4-additive if the set of coordinates can be partitioned into two subsets X and Y such that the punctured code of C by deleting the coordinates outside X (respectively, Y) is a binary linear code (respectively, a quaternary linear code). In this paper, the rank and dimension of the kernel for Z2Z4-linear codes, which are the corresponding binary codes of Z2Z4-additive codes, are studied. The possible values of these two parameters for Z2Z4-linear codes, giving lower and upper bounds, are established. For each possible rank r between these bounds, the construction of a Z2Z4-linear code with rank r is given. Equivalently, for each possible dimension of the kernel k, the construction of a Z2Z4-linear code with dimension of the kernel k is given. Finally, the bounds on the rank, once the kernel dimension is fixed, are established and the construction of a Z2Z4-additive code for each possible pair (r,k) is given.

研究の動機と目的

• ℤ₂ℤ₄線形符号のランクおよびカーネル次元の可能な値を特定すること。
• 任意の実現可能なランクまたはカーネル次元を達成する ℤ₂ℤ₄線形符号の明示的構成を提供すること。
• 固定されたカーネル次元に対してランクの境界を確立し、各有効な (ランク, カーネル) ペアに対して符号を構成すること。
• ℤ₂ℤ₄線形符号のカーネルおよびスパンが、自身が ℤ₂ℤ₄線形であることを示し、逆グレイ写像を介して効率的な計算を可能にすること。

提案手法

• ℤ₂ℤ₄線形符号のランクおよびカーネル次元の下界および上界を導出するための組合せ的列挙技術を用いる。
• ℤ₂ℤ₄加法的符号の標準的生成行列形式を活用し、対応する ℤ₂ℤ₄線形符号の構造をパラメータ化する。
• 逆グレイ写像 Φ⁻¹ を適用して、二値符号 C をその ℤ₂ℤ₄加法的符号 ℒ に変換し、加法的符号空間におけるカーネル計算を可能にする。
• ℤ₂ℤ₄線形符号 C のカーネル K(C) を、C ∪ (x + C) = C を満たすベクトル x の集合として定義し、K(C) が ℤ₂ℤ₄線形であることを証明する。
• 生成行列 ℒ_G_S = [I_γ | T' | 0 | 0 | 0; 0 | 0 | 0 | 2 | 0; 0 | S' | S_{r,k} | 0 | I_δ] の構造を用いて、所望の (ランク, カーネル) パrameter を持つ符号を構成する。
• サイズ δ × (β - γ - δ) の ℤ₄ 上の部分行列 S_{r,k} を特徴づけることにより、特定の (ランク, カーネル) ペア (r, k) を達成する。

実験結果

リサーチクエスチョン

• RQ1 タイプ (α, β; γ, δ; κ) の ℤ₂ℤ₄線形符号に対して、ランクの最もタイトな下限および上限は何か？
• RQ2 ランク r の任意の実現可能な値に対して、そのランクを持つ ℤ₂ℤ₄線形符号を明示的に構成できるか？
• RQ3 カーネル次元 k の任意の実現可能な値に対して、そのカーネル次元を持つ ℤ₂ℤ₄線形符号を明示的に構成できるか？
• RQ4 固定されたカーネル次元 k に対して、ℤ₂ℤ₄線形符号のランク r の可能な範囲のタイトな境界は何か？また、各 (r, k) ペアに対して符号を構成できるか？
• RQ5 下位の ℤ₂ℤ₄加法的符号構造を用いて、ℤ₂ℤ₄線形符号のカーネルおよびスパンをどのように効率的に計算できるか？

主な発見

• タイプ (α, β; γ, δ; κ) の ℤ₂ℤ₄線形符号 C のランクは、γ + 2δ から γ + 2δ + 1 の間で制限され、両端の値が達成可能である。
• このような符号のカーネル次元は、γ + 2δ - 2⌈(δ - 1)/2⌉ から γ + 2δ の間であり、この区間内のすべての整数値が達成可能である。
• 区間 [γ + 2δ, γ + 2δ + 1] 内の任意の実現可能なランク r に対して、ℤ₄ 上の適切な部分行列を有する生成行列を用いて、そのランクを持つ ℤ₂ℤ₄線形符号を構成可能である。
• 区間 [γ + 2δ - 2⌈(δ - 1)/2⌉, γ + 2δ] 内の任意の実現可能なカーネル次元 k に対して、そのカーネル次元を持つ ℤ₂ℤ₄線形符号を構成可能である。
• 固定されたカーネル次元 k に対して、ℤ₂ℤ₄線形符号のランク r は、r_min = γ + 2δ - (2⌈(δ - 1)/2⌉ - k) から r_max = γ + 2δ + 1 の間で制限され、この区間内のすべての値が達成可能である。
• 各有効なペア (r, k) に対して、ℤ₄ 上の適切に選ばれた S_{r,k} 部分行列を有する標準的生成行列形式を用いて、ランク r およびカーネル次元 k を持つ ℤ₂ℤ₄線形符号を明示的に構成可能である。