[論文レビュー] Matrix-Product Complementary dual Codes

Xiusheng Liu, Hualu Liu|arXiv (Cornell University)|Apr 13, 2016

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

ひとこと要約

本稿では、有限体上の行列積符号を用いて、準正規行列と特定の行列構造を活用することで、線形補完双対（LCD）符号を構築する新しい手法を提案する。主な貢献は、行列積符号がLCDであるための十分条件のセットを特定し、最小距離が少なくとも9で長さが68までの良好なパラメータを持つLCD符号の明示的構成を可能にすることである。具体的には、$\mathbb{F}_{13}$ および $\mathbb{F}_{5^2}$ 上の例が提示され、$[68, 26, \geq 17]_{5^2}$ や $[68, 34, \geq 9]_{5^2}$ といったパラメータを持つ符号が得られている。

ABSTRACT

Linear complementary dual codes (LCD) are linear codes satisfying $C\cap C^{\perp}=\{0\}$. Under suitable conditions, matrix-product codes that are complementary dual codes are characterized. We construct LCD codes using quasi-orthogonal matrices. Some asymptotic results are derived.

研究の動機と目的

• 良好なパラメータを持つ線形補完双対（LCD）符号を生成する新しい構築的手法を開発すること。
• 行列積符号がLCDである条件を特定し、特に行列構造と符号の性質に焦点を当てる。
• 行列積フレームワークと準正規行列を活用することで、既存のLCD符号の構築を拡張すること。
• 高い最小距離と有利な長さ-次元比を持つLCD符号の明示的例を提供すること。
• 行列積法を用いた良好なLCD符号の構築の漸近的挙動と実現可能性を検討すること。

提案手法

• 本稿では、$A$ が特定の構造的性質を持つ $s \times m$ 行列である有限体 $\mathbb{F}_q$ 上の行列積符号 $C = [C_1, \dots, C_s]A$ を用いる。
• 非特異的列（NSC）行列とフル・ロー・ランク（FRR）行列の概念を導入し、行列積符号がLCD性質を継承することを保証する。
• 符号 $C \cap C^\perp = \{0\}$ の条件を満たすことを、双対符号の解析と行列逆行列技術を用いて検証する。
• 変換 $C^{(l)}$ を適用し、ヘルミート双対性を $C^{(l)}$ のユークリッド双対性に関連づけることで、ヘルミート設定における既知のLCD基準を活用可能にする。
• 特定の行列、例えば $A = \begin{pmatrix}1&1&1&1\\1&1&-1&-1\\1&-1&1&-1\\1&-1&-1&1\end{pmatrix}$ や $A = \begin{pmatrix}1&0&0&0\\1&1&0&0\\1&1&1&0\\1&1&1&1\end{pmatrix}$ を用いて、既知のLCD成分符号から新しいLCD符号を生成する。
• 特に $(A^{-1})^T$ を用いて $C^\perp$ を成分符号の双対の言いかえで表現することで、行列逆行列と双対符号の関係を理論的に導出する。

実験結果

リサーチクエスチョン

• RQ1 有限体 $\mathbb{F}_q$ 上の行列積符号 $[C_1, \dots, C_s]A$ がLCD符号であるための条件は何か？
• RQ2 NSC や FRR 行列などの行列構造は、行列積符号におけるLCD性質を保証するためにどのように利用できるか？
• RQ3 準正規行列を体系的に用いて、パラメータが向上した新しいLCD符号を構築できるか？
• RQ4 既知のLCD成分符号から構築された行列積LCD符号の最小距離と次元の上限は何か？
• RQ5 成分数が増加する際、このような行列積LCD符号の漸近的性質はどのように振る舞うか？

主な発見

• 行列 $A = \begin{pmatrix}1&1&1&1\\1&1&-1&-1\\1&-1&1&-1\\1&-1&-1&1\end{pmatrix}$ を用いた行列積符号 $C = [C_1, C_2, C_3, C_4]A$ は、$\mathbb{F}_{5^2}$ 上でパラメータ $[68, 26, \geq 17]_{5^2}$ のヘルミートLCD符号である。
• 行列 $A = \begin{pmatrix}1&0&0&0\\1&1&0&0\\1&1&1&0\\1&1&1&1\end{pmatrix}$ を用いた行列積符号 $C = [C_1, C_1, C_2, C_2]A$ は、$\mathbb{F}_{5^2}$ 上でパラメータ $[68, 34, \geq 9]_{5^2}$ のヘルミートLCD符号である。
• $\mathbb{F}_{13}$ 上では、行列 $A = \begin{pmatrix}1&1&1&1\\1&1&-1&-1\\1&-1&1&-1\\1&-1&-1&1\end{pmatrix}$ を用いた行列積符号 $[C_1, C_2, C_3, C_4]A$ は、パラメータ $[40, 11, \geq 2]_{13}$ のLCD符号をもたらす。
• 2進符号の場合、定理4.4により、$A = \begin{pmatrix}1&0&1\\1&1&0\\1&1&1\end{pmatrix}$ を用いた $C = [C_1, C_1, C_2]A$ は、$\mathbb{F}_2$ 上でパラメータ $[30, 18, \geq 4]_2$ のLCD符号を生成する。
• 本稿では、$\mathbb{F}_2$ 上のLCD符号 $C_1$ と $C_2$ がそれぞれ $[10,8,2]_2$ と $[10,2,5]_2$ のパラメータを持つ場合、結果として得られる行列積符号の次元は $2k_1 + k_2 = 18$ であり、最小距離は $\min\{2d_1, d_2\} = 4$ 以上であることを証明している。
• 理論的結果により、行列 $A$ がNSCであり、成分符号がLCDである場合、符号 $C$ がLCDであることが確認され、$C \cap C^\perp = \{0\}$ を満たすことが保証されている。