[論文レビュー] Full Characterization of Minimal Linear Codes as Cutting Blocking Sets

Chunming Tang, Yan Qiu+2 more|arXiv (Cornell University)|Nov 22, 2019

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

ひとこと要約

本稿は、最小線形符号をカットブロッキング集合として完全な幾何的特徴付けを確立し、次を証明する：次元3の最小射影符号は、t ≥ 2 に対して射影平面におけるt重ブロッキング集合と同値である。この特徴付けにより、最小距離に対するタイトな下界が得られ、最近の予想が裏付けられ、Aschikhmin-Barg 条件を満たさない新しい符号の構成が可能となり、明示的な重み分布を持つ無限族が得られる。

ABSTRACT

In this paper, we first study in detail the relationship between minimal linear codes and cutting blocking sets, which were recently introduced by Bonini and Borello, and then completely characterize minimal linear codes as cutting blocking sets. As a direct result, minimal projective codes of dimension $3$ and $t$-fold blocking sets with $t\ge 2$ in projective planes are identical objects. Some bounds on the parameters of minimal codes are derived from this characterization. This confirms a recent conjecture by Alfarano, Borello and Neri in [a geometric characterization of minimal codes and their asymptotic performance, arXiv:1911.11738, 2019] about a lower bound of the minimum distance of a minimal code. Using this new link between minimal codes and blocking sets, we also present new general primary and secondary constructions of minimal linear codes. As a result, infinite families of minimal linear codes not satisfying the Aschikhmin-Barg's condition are obtained. In addition to this, the weight distributions of two subfamilies of the proposed minimal linear codes are established. Open problems are also presented.

研究の動機と目的

• 最小線形符号とブロッキング集合、特にカットブロッキング集合の間の厳密な幾何的関係を確立すること。
• この幾何的特徴付けを用いて、最小符号の最小距離に関する下界に関する最近の予想を解決すること。
• Aschikhmin-Barg 条件を満たさない新しい一次的および二次的構成法を最小線形符号に開発すること。
• 提案された最小符号の特定の部分族の重み分布を特定すること。
• 最小符号とブロッキング集合の理論における今後の研究のための未解決問題を提示すること。

提案手法

• BoniniとBorelloが最近導入したカットブロッキング集合の概念を用い、最小線形符号を幾何的に再定式化する。
• 次元3の最小射影符号が、t ≥ 2 に対して射影平面におけるt重ブロッキング集合と同値であることを証明する。
• 有限体上のベクトル空間における超平面とアフィンブロッキング集合を用いた、最小符号の一次的構成法を導入する。
• 定義集合に条件を課した2つの部分集合の集合論的和を用いた、一般の二次的構成法を開発する。
• 得られる符号の最小性を保証するために、集合D₁がGF(q)^{k-1}におけるアフィンブロッキング集合でなければならない条件を適用する。
• 支持集合の包含関係による最小符号の双対的特徴付けを用い、有限体上の線形代数を用いて最小性を検証する。

実験結果

リサーチクエスチョン

• RQ1 最小線形符号は、カットブロッキング集合という幾何的概念を用いて完全に特徴付け可能か？
• RQ2 この幾何的特徴付けにより、最小符号の最小距離に対するタイトな下界が得られ、Alfarano, Borello, Neriによる予想が裏付けられるか？
• RQ3 Aschikhmin-Barg 条件を満たさない新しい無限族の最小符号を構成可能か？
• RQ4 提案された最小符号の特定の部分族の重み分布は何か？
• RQ5 有限幾何におけるブロッキング集合の観点から、最小符号に対する新たな構造的洞察が得られるか？

主な発見

• 次元3の最小射影符号は、t ≥ 2 に対して射影平面におけるt重ブロッキング集合と同値であり、完全な幾何的対応関係が確立された。
• 最小符号の最小距離に対するタイトな下界が導出され、Alfarano, Borello, Neriによる最小符号の漸近的性能に関する予想が裏付けられた。
• w_min / w_max ≤ (q−1)/q を満たす無限族の最小q進線形符号が構成され、Aschikhmin-Barg 条件が最小性に必要ではないことを示した。
• 提案された最小符号の2つの部分族の重み分布が明示的に決定され、完全な構造的情報を得た。
• 補題56の構成により、[♯D₂ + (k−1)(q−1) + 1, k, (k−1)(q−1) + 1] のパラメータを持つ最小符号が得られ、最小距離の下界に達している。
• カットブロッキング集合による幾何的特徴付けにより、既知の最小符号（例：[2] の定理5.4）が新たな解釈を受け、一般構成法の特別な場合として再解釈された。