[論文レビュー] Z4-Linear Perfect Codes

Denis S. Krotov|ArXiv.org|Oct 1, 2007

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

ひとこと要約

本稿は、$n = 2^k \geq 16$ における $\mathbb{Z}_4$-線形拡張完全符号を完全に分類し、ちょうど $\lfloor(k+1)/2\rfloor$ 個の相異なる同値類に属する符号が存在することを示している。すべての符号の距離は 4 である。符号は $\mathbb{Z}_4$ 上のチェック行列を用いて構成され、ランクの差異を用いて同値でないことを証明している。さらに、行列のタイリングと和の制約に基づく再帰的帰納的構成法も確立している。

ABSTRACT

For every $n = 2^k > 8$ there exist exactly $[(k+1)/2]$ mutually nonequivalent $Z_4$-linear extended perfect codes with distance 4. All these codes have different ranks.

研究の動機と目的

• 長さ $n = 2^k \geq 16$ のすべての $\mathbb{Z}_4$-線形拡張完全符号を同値性の観点から完全に分類すること。
• 長さ $n = 2^k \geq 16$ の $\mathbb{Z}_4$-線形拡張完全符号が、特定のチェック行列構造によって構成されるものに限ることを証明すること。
• 各符号のランクが異なることから、それらが互いに同値でないことを示すこと。
• より小さい基本符号からすべてのこのような符号を生成する帰納的構成法を提供すること。
• すべての $\mathbb{Z}_4$-線形完全および拡張完全二進符号を特徴付けるという未解決問題を解決すること。

提案手法

• $\mathbb{Z}_4$-線形拡張完全符号を、特定の列パターンを持つチェック行列 $A^{r_1,r_2}$ を用いて構成する：最初の行はすべて 1、最後の $r_2$ 行には 0 と 2 のみ、残りの $r_1 - 1$ 行には $\{0,1,2,3\}$ からの任意の値を含む。
• 座標の置換と符号の反転を用いて、任意の $\mathbb{Z}_4$-線形符号をチェック行列 $A^{r_1,r_2}$ を持つ標準形に変換し、構成済みの符号の一つに同値であることを証明する。
• 各符号 $\mathcal{C}^{r_1,r_2}$ のランクが $r_1 + r_2 + 1$ であることを示し、$r_1$ と $r_2$ が変化するためランクも異なることから、同値でないことを証明する。
• 積符号を用いた帰納的構成を定義する：符号 $\mathcal{C}'$ と $\mathcal{C}''$ がチェック行列 $A'$ と $A''$ を持つとき、$\mathcal{C} = \{ c \in \mathbb{Z}_4^{n'n''} \mid p'(c) \in \mathcal{C}',\ p''(c) \in \mathcal{C}'' \}$ と定義する。ここで $p'$ と $p''$ はそれぞれ列和と行和を 4 を法としてとる。
• 結果の符号が正しいサイズ $2^n / 2n$ と最小距離 4 を持つこと、およびチェック行列が所定の $A^{r_1,r_2}$ 形式に一致することを検証する。
• 標準チェック行列のすべての列が相異なること、かつ第1行と 0/2 の制約を満たすことから、構成が完全であることを示す。

実験結果

リサーチクエスチョン

• RQ1 長さ $n = 2^k \geq 16$ の $\mathbb{Z}_4$-線形拡張完全符号の中で、相異なる同値類に属するものはいくつ存在するか？
• RQ2 長さ $n = 2^k \geq 16$ の $\mathbb{Z}_4$-線形拡張完全符号は、構成的メソッドを用いて完全に分類可能か？
• RQ3 構成された符号は互いに異なるランクを持つのか？そして、その差異を用いて同値でないことを証明できるか？
• RQ4 より小さい符号からすべてのこのような $\mathbb{Z}_4$-線形拡張完全符号を再帰的または帰納的に生成する方法は存在するか？
• RQ5 長さ $n = 2^k$ の $\mathbb{Z}_4$-線形拡張完全符号で、構成されたものと同値でないものは存在するか？

主な発見

• すべての $n = 2^k \geq 16$ に対して、ちょうど $\lfloor(k+1)/2\rfloor$ 個の相異なる同値類に属する $\mathbb{Z}_4$-線形拡張完全符号が存在し、最小距離は 4 である。
• これらの符号は、チェック行列 $A^{r_1,r_2}$ によって完全に特徴付けられる。この行列は、高さ $r_1 + r_2$ のすべての相異なる列から構成され、最初の位置に 1、最後の $r_2$ 位置に 0 と 2 のみ、残りの $r_1 - 1$ 位置に $\{0,1,2,3\}$ の任意の値が入る。
• 符号は、それぞれのランクが異なることから、互いに同値でない：$\text{rank}(\mathcal{C}^{r_1,r_2}) = r_1 + r_2 + 1$ であり、$n = 2^{2r_1 + r_2 + 1}$ を満たす非負整数 $r_1, r_2$ の組で変化する。
• 帰納的構成（5）によりすべての符号が生成可能である：基本符号 $\mathcal{C}^{0,1}$ と $\mathcal{C}^{1,0}$ から出発し、列和と行和の制約を満たすように再帰的にすべての $\mathbb{Z}_4$-線形拡張完全符号を構築できる。
• この構成により、符号のサイズが $2^n / 2n$ で最小距離が 4 となることが保証され、拡張完全符号であることが確認される。
• 本稿では、構成されたもの以外に $\mathbb{Z}_4$-線形拡張完全符号は存在しないことを証明しており、完全な分類が得られた。