[論文レビュー] On products and powers of linear codes under componentwise multiplication

Randriambololona, Hugues|arXiv (Cornell University)|Nov 29, 2013

Polynomial and algebraic computation被引用数 5

ひとこと要約

本稿は、成分ごとの乗算の下での線形符号の積およびべき乗の代数的・組合せ論的理論を展開し、符号理論と代数幾何学・多重線形代数を結びつける基礎的性質を確立する。対称テンソル分解の形式的枠組みを導入し、符号パラメータの乗算における境界を提示する。暗号理論および漸近的符号理論への応用を含む。

ABSTRACT

In this text we develop the formalism of products and powers of linear codes under componentwise multiplication. As an expanded version of the author's talk at AGCT-14, focus is put mostly on basic properties and descriptive statements that could otherwise probably not fit in a regular research paper. On the other hand, more advanced results and applications are only quickly mentioned with references to the literature. We also point out a few open problems. Our presentation alternates between two points of view, which the theory intertwines in an essential way: that of combinatorial coding, and that of algebraic geometry. In appendices that can be read independently, we investigate topics in multilinear algebra over finite fields, notably we establish a criterion for a symmetric multilinear map to admit a symmetric algorithm, or equivalently, for a symmetric tensor to decompose as a sum of elementary symmetric tensors.

研究の動機と目的

• 成分ごとの乗算の下での線形符号の積およびべき乗の代数的構造を形式化し、符号理論と代数幾何学を橋渡しする。
• これらの演算の基礎的性質（結合則、可換則、和への分配則）を確立する。
• 特に漸近的良さに関連して、符号のべき乗における自己同型群および計量的不変量の振る舞いを調査する。
• 特に部分体部分符号、トレース符号、および連結符号に関して、符号積構成における未解決問題を検討する。
• 特に $ t $ 乗における符号パラメータの境界を拡張し、このような操作の下で漸近的に良い族の存在を評価する。

提案手法

• 有限体 $ \mathbb{F}^n $ 上の成分ごとの乗算 $*$ を用い、符号 $ C * C' $ を $ C $ と $ C' $ の符号語のすべての成分ごとの積の線形包として定義する。
• 特に対称冪 $ S^t V $ および対称多重線形写像を用いた有限体上の対称代数および多重線形代数を適用する。
• Appendix B に詳細記載の通り、$ \mathbb{F}_q $ 上の同次多重線形化多項式による対称テンソル分解のための基準を導入する。
• 符号双対とその台の双対性を活用し、$ n_i = \dim \langle x \in C^\perp \mid w(x) \leq i \rangle^\perp $ を定義する。$ n_0, n_1, n_2 $ はそれぞれ長さ、台長、射影的長さに対応する。
• 符号理論における境界（Singleton境界や純粋境界など）を、連結符号およびAG符号の文脈において符号積およびべき乗に適用する。
• 自己同型群 $ \operatorname{Aut}(C^{\langle t \rangle}) $ および $ \operatorname{Aut}^{\textrm{in}}(C^{\langle t \rangle}) $ の $ t $ の増加に伴う振る舞いを分析し、異なる符号族間で比較する。

実験結果

リサーチクエスチョン

• RQ1 漸近的に良い二進線形符号 $ C $ の族が存在し、$ C^{\langle 3 \rangle} $ もまた漸近的に良いものとなるか？（すなわち $ \tau(2) > 2 $? ）
• RQ2 漸近的に良い二進符号 $ C $ の $ t $ 乗 $ C^{\langle t \rangle} $ が任意に大きな $ t $ に対しても漸近的に良いまま保たれるか？（すなわち $ \tau(2) = \infty $? ）
• RQ3 $ C^{\langle 2 \rangle} $ および $ C^\perp $ がともに漸近的に良いような二進線形符号 $ C $ の族が存在するか？
• RQ4 $ n_i $（$ i \geq 3 $）の幾何学的または組合せ論的解釈は何か？ここで $ n_i $ は低重み双対符号語の生成する部分空間の双対の次元として定義される。
• RQ5 $ t > q $ の場合に、連結符号積の境界を拡張するための、Frobenius対称 $ t $ 重線形化多項式の普遍族を構成できるか？

主な発見

• 二つの線形符号の積 $ C * C' $ は、部分空間の和に関して可換、結合的、分配的であり、線形符号の集合上に半環構造をなす。
• $ C $ の $ t $ 乗 $ C^{\langle t \rangle} $ は、$ C $ の符号語のすべての $ t $ 重成分ごとの積の線形包として定義され、$ \operatorname{Aut}(C^{\langle t \rangle}) \subseteq \operatorname{Aut}(C^{\langle t' \rangle}) $ が成り立つのは $ t \mid t' $ または $ t' \geq r(C) $ のときのみである。
• $ \delta \in (0,1) $ に対して、$ 0.001872 - 0.5294\delta \leq \alpha_2^{\langle 2 \rangle}(\delta) \leq 0.5 - 0.5\delta $ が成り立つ。これは、二進符号積パラメータに関する現在の知識の大きな空白を示している。
• 漸近的に良い二進符号族の立方が再び漸近的に良いかどうかの存在は未解決であり、$ \tau(2) > 2 $ は中心的な未解決問題の一つである。
• $ t \leq q $ の場合、Appendix B に詳細記載の通り、$ \mathbb{F}_q $ 上の同次 $ t $ 重線形化多項式を用いて、連結符号の $ t $ 乗のパラメータに関する境界が確立される。
• $ t > q $ の場合、$ S_{\text{Frob}, \mathbb{F}_q}^t \mathbb{F}_{q^r} $ のFrobenius対称冪は依然として十分に理解されていない。非同次多重線形化多項式の普遍族の構成を提案し、連結符号積の境界を拡張するための道筋とする。