[論文レビュー] The Parameters of Minimal Linear Codes

Wei Lu, Xia Wu+1 more|arXiv (Cornell University)|Nov 18, 2019

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

ひとこと要約

本稿では、有限体上の線形符号の最小性を判定する新しい必要十分条件を導入し、最小線形符号の構築と検証を容易にする。$[n,k]_q$ 最小符号が存在するための閾値 $ n(k;q) $ が存在することを確立し、任意の素数べき $ q $ に対して4つの一般化された最小符号クラスを提示。先行の2進結果を拡張するが、より単純で効果的な手法を用いる。

ABSTRACT

Let $k\leq n$ be two positive integers and $q$ a prime power. The basic question in minimal linear codes is to determine if there exists an $[n,k]_q$ minimal linear code. The first objective of this paper is to present a new sufficient and necessary condition for linear codes to be minimal. Using this condition, it is easy to construct minimal linear codes or to prove some linear codes are minimal. The second objective of this paper is to use the new sufficient and necessary condition to partially give an answer to the basic question in minimal linear codes. The third objective of this paper is to present four classes of minimal linear codes, which generalize the results about the binary case given in [X. Li and Q. Yue, Des. Codes Cryptogr., 2019]. One can find that our method is much easier and more effective.

研究の動機と目的

• 線形符号が最小であるかどうかを判定するための新しい必要十分条件を、重み分布に依存しない形で開発すること。
• 存在の根本的問題に取り組むこと：$[n,k]_q$ 最小線形符号が存在するための閾値 $ n(k;q) $ を確立すること。
• 既存の文献における最小線形符号の構成、特に2進の場合を任意の素数べき体に一般化すること。
• 従来の手法よりも単純で効果的な最小線形符号の構築法を提供すること。

提案手法

• 支持集合の包含に基づく最小性の新しい基準を提案：符号語 $ \mathbf{c} $ が最小であるとは、$ \mathbf{b} \neq a\mathbf{c} $ である他の符号語 $ \mathbf{b} $ が $ \mathrm{Suppt}(\mathbf{b}) \subseteq \mathrm{Suppt}(\mathbf{c}) $ を満たさないときを意味する。
• この基準を用いて、$[n,k]_q$ 最小符号が存在するための閾値 $ n(k;q) $ を導出。$ n \geq n(k;q) $ であるときかつそのときに限り存在する。
• 境界を確立：$ q(k-1) < n(k;q) \leq (q-1)\frac{k(k-1)}{2} + k $、かつ正確な値 $ n(2;q) = q+1 $ を得る。
• $ \mathbb{F}_q^k $ 内の構造化された定義集合を用いて、4つの新しい最小符号クラス $ \mathcal{C}(D_1), \mathcal{C}(D_2), \mathcal{C}(D_3), \mathcal{C}(D_4) $ を構築。
• 定義集合の包含関係を活用し、既知の最小符号 $ \mathcal{C}(D_0) $（$ D_0 = \{\mathbf{e}_i\} \cup \{\mathbf{e}_i + a\mathbf{e}_j \} $）が各 $ D_i $ に含まれることを示すことにより、最小性を証明。
• [14] の2進構成を任意の $ q $ に一般化し、対称的かつネストされた部分空間を用いて、支持集合の包含に関して閉じた構造を保証する。

実験結果

リサーチクエスチョン

• RQ1 線形符号が最小であるための新しい必要十分条件は何か？重み分布に依存しない。
• RQ2 $[n,k]_q$ 最小線形符号が存在する $ n $ の値は何か？
• RQ3 閾値 $ n(k;q) $ は有界化可能か？また、小さな $ k $ に対して正確な値は何か？
• RQ4 既存の2進符号の最小構成は、任意の素数べき体に一般化可能か？
• RQ5 従来の手法よりも単純で効果的な最小線形符号の構築法は存在するか？

主な発見

• 支持集合の包含にのみ依存する新しい最小性の必要十分条件が確立され、ハミング重みや重み分布への依存を回避する。
• $[n,k]_q$ 最小符号が存在するための閾値 $ n(k;q) $ が存在し、$ n \geq n(k;q) $ のときかつそのときに限り存在する。これにより、存在の問題の一部が解決される。
• 閾値は $ q(k-1) < n(k;q) \leq (q-1)\frac{k(k-1)}{2} + k $ を満たし、$ n(2;q) = q+1 $ は正確に特定される。
• 任意の素数べき $ q $ に対して4つの新しい最小線形符号クラスが構築され、[14] の2進構成を非2進体に一般化する。
• 最小性を証明する手法は、従来の手法よりも単純で効果的である。複雑な重み解析を避けて、集合の包含に基づく。
• 構成はすべて $ k \geq 2 $ および任意の素数べき $ q $ に対して有効であり、部分空間とコセットに基づく明示的な定義集合 $ D_1, D_2, D_3, D_4 $ を用いる。