[论文解读] Harder-Narasimhan theory for linear codes

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

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

一句话总结

本论文通过组合格与伽罗瓦联络，为线性码建立了更难-拉马钱德拉理论，利用子码的支撑大小定义了斜率、半稳定性和一个典范过滤。该理论统一了三种方法——球 packing 类比、几何观点与格理论方法，表明它们在半稳定性和过滤概念上等价，并证明了半稳定码的张量积仍保持半稳定性。

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.

研究动机与目标

• 通过组合格与伽罗瓦联络，为线性码发展更难-拉马钱德拉理论。
• 将三种不同的方法——球 packing 类比、几何视角与伽罗瓦联络构造——统一为一个连贯的框架。
• 基于支撑大小与广义汉明权重，为线性码建立典范过滤与半稳定性概念。
• 研究斜率与半稳定性在对偶与张量积运算下的行为。
• 重新审视魏氏对偶定理，并在附录中为码与拟阵发展黎曼-罗赫型定理。

提出的方法

• 将子码 $ 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) $，结合分部求和法，证明张量积的半稳定性。
• 在附录中利用黎曼-罗赫理论，推导出码与拟阵的 Serre 对偶、布里奇曼不等式与亏格序列的类比。

实验结果

研究问题

• RQ1 能否通过组合格与伽罗瓦联络，为线性码构建统一的更难-拉马钱德拉理论？
• RQ2 球 packing、几何与格理论方法在码的半稳定性中是否产生等价结果？
• RQ3 半稳定性在对偶下如何表现？其与高阶权重魏氏对偶定理有何关联？
• RQ4 两个半稳定码的张量积是否仍为半稳定？能否在码理论框架内直接证明？
• RQ5 线性码与拟阵是否存在黎曼-罗赫定理的类比？它们与对偶性和斜率不变量有何关系？

主要发现

• 三种方法——球 packing、几何与伽罗瓦联络——为线性码产生相同的典范过滤与半稳定性条件。
• 码的典范多边形是点 $ (i, n - d_i(C)) $ 的上凸包，其边数等于更难-拉马钱德拉过滤的步数。
• 半稳定性在对偶下保持不变，证明依赖于对魏氏对偶定理及其拟阵类比的重新诠释。
• 两个半稳定码的张量积是半稳定的，通过有界投影权重并利用秩函数上的分部求和法得以证明。
• 附录中发展的黎曼-罗赫理论包括了码与拟阵的 Serre 对偶、布里奇曼不等式与亏格序列的类比。
• 该理论表明，实际码通常为稳定码（即典范过滤平凡），因此该理论更适用于码族的分类，而非单个码。