[論文レビュー] Harder-Narasimhan theory for linear codes

Hugues Randriambololona|arXiv (Cornell University)|Sep 2, 2016

Coding theory and cryptography参考文献 24被引用数 4

ひとこと要約

本稿は、組合せ的ラティスとガロア接続を用いて線形符号のハーダー＝ナラシムハン理論を確立し、部分符号のサポートサイズに基づき、勾配、半安定性、および標準的層化を定義する。球詰め、幾何的、ラティス理論的という3つのアプローチを統合し、それらが同値な半安定性および層化をもたらすことを示し、半安定符号のテンソル積が依然として半安定であることを証明する。

ABSTRACT

In this text we develop some aspects of Harder-Narasimhan theory, slopes, semistability and canonical filtration, in the setting of combinatorial lattices. Of noticeable importance is the Harder-Narasimhan structure associated to a Galois connection between two lattices. It applies, in particular, to matroids. We then specialize this to linear codes. This could be done from at least three different approaches: using the sphere-packing analogy, or the geometric view, or the Galois connection construction just introduced. A remarkable fact is that these all lead to the same notion of semistability and canonical filtration. Relations to previous propositions towards a classification of codes, and to Wei's generalized Hamming weight hierarchy, are also discussed. Last, we study the important question of the preservation of semistability (or more generally the behaviour of slopes) under duality, and under tensor product. The former essentially follows from Wei's duality theorem for higher weights---and its matroid version---which we revisit in an appendix, developing analogues of the Riemann-Roch, Serre duality, Clifford, and gap and gonality sequence theorems for codes. Likewise the latter is closely related to the bound on higher weights of a tensor product, conjectured by Wei and Yang, and proved by Schaathun in the geometric language, which we reformulate directly in terms of codes. From this material we then derive semistability of tensor product.

研究の動機と目的

• 組合せ的ラティスとガロア接続を用いて線形符号のハーダー＝ナラシムハン理論を構築すること。
• 球詰め類似、幾何的視点、ガロア接続構成という3つの異なるアプローチを、単一の整合的な枠組みに統合すること。
• サポートサイズと一般化されたハミング重みに基づき、線形符号の標準的層化と半安定性の概念を確立すること。
• 双対性およびテンソル積の演算における勾配と半安定性の振る舞いを調査すること。
• 付録でワイの双対性定理を再考し、コードおよびマトロイドに対するリーマン・ローチ型定理を展開すること。

提案手法

• 部分符号 $ C' \subseteq C $ の次数を $ \deg(C') = n - w(C') $ と定義する。ここで $ w(C') $ はサポートサイズを表す。
• 勾配を $ \mu(C') = \deg(C') / \dim(C') $ として定義し、勾配が厳密に減少する部分符号の系列の最大の細分としてハーダー＝ナラシムハン層化を定義する。
• 符号 $ C $ の部分符号のラティスとその双対 $ C^\bot $ の部分符号のラティスとの間のガロア接続を用い、標準的層化を誘導する。
• ワイの一般化されたハミング重み階層 $ d_i(C) $ を点 $ (i, n - d_i(C)) $ の上側凸包として再定式化し、標準的多角形を形成する。
• 射影 $ \widehat{\pi_j}(C) $ の重みをランク関数 $ \operatorname{R}(A), \operatorname{R}(B) $ を用いて評価し、部分和の公式を適用することで、テンソル積の半安定性を証明する。
• 付録のリーマン・ローチ理論を用いて、セール双対性、クリフォードの定理、およびギャップ列の類似をコードおよびマトロイドに対して導出する。

実験結果

リサーチクエスチョン

• RQ1 組合せ的ラティスとガロア接続を用いて、線形符号の統一的ハーダー＝ナラシムハン理論を構築できるか？
• RQ2 球詰め、幾何的、ラティス理論的という3つのアプローチが、符号の半安定性に関して同値な結果をもたらすか？
• RQ3 双対性において半安定性はどのように振る舞い、高次重みにおけるワイの双対性定理とはどのような関係にあるか？
• RQ4 2つの半安定符号のテンソル積は自身も半安定か？そして、符号理論的枠組み内で直接証明可能か？
• RQ5 線形符号およびマトロイドに対して、リーマン・ローチ定理の類似は存在するか？また、それらは双対性および勾配不変量とどのように関係するか？

主な発見

• 球詰め、幾何的、ガロア接続の3つのアプローチは、すべて同じ標準的層化と半安定性条件を線形符号に対してもたらす。
• コードの標準的多角形は点 $ (i, n - d_i(C)) $ の上側凸包であり、その辺の数はハーダー＝ナラシムハン層化の段階数に等しい。
• 半安定性は双対性において保存され、その証明はワイの双対性定理およびそのマトロイド版の再解釈に依存する。
• テンソル積の半安定性は、射影の重みを評価し、ランク関数に対して部分和の公式を適用することで示される。
• 付録で開発されたリーマン・ローチ理論には、コードおよびマトロイドに対するセール双対性、クリフォードの不等式、ギャップ列の類似が含まれる。
• 理論は、実用的コードは通常安定的（すなわち、標準的層化が自明）であることを示しており、したがって理論は個々の符号の分類よりも、符号の族の分類に主に関連している。