[论文解读] The Expurgation-Augmentation Method for Constructing Good Plane Subspace Codes

Jingmei Ai, Thomas Honold+1 more|arXiv (Cornell University)|Jan 7, 2016

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

一句话总结

本文提出了一种广义的删减-增强方法，用于在有限域上构造最优的常维子空间码，该方法利用提升的Gabidulin码，并系统性地删去和重新插入子空间以提升码的大小。该方法在 $v \equiv 3 \pmod{4}$ 时产生的码比楔形-Ferrers构造更大，且具有严格的渐近性能改进证明以及小参数下的计算验证。

ABSTRACT

As shown in [28], one of the five isomorphism types of optimal binary subspace codes of size 77 for packet length v=6, constant dimension k=3 and minimum subspace distance d=4 can be constructed by first expurgating and then augmenting the corresponding lifted Gabidulin code in a fairly simple way. The method was refined in [32,26] to yield an essentially computer-free construction of a currently best-known plane subspace code of size 329 for (v,k,d)=(7,3,4). In this paper we generalize the expurgation-augmentation approach to arbitrary packet length v, providing both a detailed theoretical analysis of our method and computational results for small parameters. As it turns out, our method is capable of producing codes larger than those obtained by the echelon-Ferrers construction and its variants. We are able to prove this observation rigorously for packet lengths v = 3 mod 4.

研究动机与目标

• 将删减-增强方法推广至任意小规模情况之外的优质平面子空间码构造。
• 为构造比现有构造（如楔形-Ferrers）更大的常维子空间码提供理论基础和计算框架。
• 严格证明该方法在包长 $v \equiv 3 \pmod{4}$ 时优于楔形-Ferrers构造。
• 探索该方法在更高维子空间及其它LMRD码中的潜力。

提出的方法

• 该方法以提升的Gabidulin码为基底，然后系统性地删去（移除）某些子空间，以腾出空间用于增强。
• 识别出‘自由平面’——与固定子空间 $S$ 不相交的子空间——这些子空间可被重新插入，以在保持最小距离 $d=4$ 的前提下增加码的大小。
• 该构造使用子空间多项式和Dickson不变量来分析和分类子空间，尤其关注与 $S$ 相交于一点或一条直线的平面。
• 关键组成部分是利用LMRD界作为阈值，评估增强后的净收益，确保最终码的大小超过原始码。
• 为进行计算验证，该方法应用最大团算法，以在删去后找到可添加的最优自由平面集合。
• 该方法被推广至任意包长 $v$，其理论分析基于Galois几何和有限域性质。

实验结果

研究问题

• RQ1 删减-增强方法能否推广至任意包长 $v$，同时保持或提升码的大小？
• RQ2 该方法是否产生比楔形-Ferrers构造更大的码，特别是当 $v \equiv 3 \pmod{4}$ 时？
• RQ3 通过该方法可实现的理论改进极限是什么？能否为无限参数族提供严格证明？
• RQ4 该方法能否适配非-Gabidulin LMRD码或其他最优子空间码？
• RQ5 该方法如何扩展至 $k > 3$ 的常维子空间码？

主要发现

• 对于所有 $v \equiv 3 \pmod{4}$，删减-增强方法产生的 $(v,M,4;3)_2$ 码比楔形-Ferrers构造更大，且该改进具有严格的理论证明。
• 当 $v=7$ 时，该方法构造出大小为 $M=329$ 的码，与目前最优的 $(7,329,4;3)_2$ 码大小一致。
• 该方法在小参数下计算上可行且有效，实验结果表明增强后净收益显著，尤其在添加与 $S$ 相交于一点的自由平面时。
• 当 $v=8$ 时，该方法得到大小为 $M=1286$ 的码，超过先前步骤的 $1259$，但仍低于群不变构造得到的最优值 $1326$。
• 该方法揭示了现有构造的结构性局限，例如存在无法通过标准删减-增强方法构造的 Type B $(6,77,4;3)_2$ 码，原因在于其包含非-Gabidulin子码（如Beasley码）。
• 理论分析表明，该方法的渐近性能优于楔形-Ferrers构造，尤其当 $v \to \infty$ 且 $v \equiv 3 \pmod{4}$ 时。