[论文解读] Tables of subspace codes

Daniel Heinlein, Kiermaier, Michael+2 more|arXiv (Cornell University)|Jan 12, 2016

Coding theory and cryptography参考文献 78被引用 56

一句话总结

本文提出一个在线数据库及用户指南，提供关于 $ \mathbb{F}_q^n $ 上子空间码的完整、最新的最大尺寸 $ A_q(n,d;K) $ 的下界与上界，其中最小子空间距离为 $ d $，维度集合 $ K \subseteq \{0,1,\dots,n\} $。该数据库整合了理论结果、构造方法（如 LMRD 码、部分棱锥），以及算法约束（如 Johnson 型界、注入距离不等式），重点关注常维码与混合维码，使研究人员能够访问、验证并贡献于子空间编码领域的最前沿成果。

ABSTRACT

One of the main problems of subspace coding asks for the maximum possible cardinality of a subspace code with minimum distance at least $d$ over $\mathbb{F}_q^n$, where the dimensions of the codewords, which are vector spaces, are contained in $K\subseteq\{0,1,\dots,n\}$. In the special case of $K=\{k\}$ one speaks of constant dimension codes. Since this (still) emerging field is very prosperous on the one hand side and there are a lot of connections to classical objects from Galois geometry it is a bit difficult to keep or to obtain an overview about the current state of knowledge. To this end we have implemented an on-line database of the (at least to us) known results at \url{subspacecodes.uni-bayreuth.de}. The aim of this recurrently updated technical report is to provide a user guide how this technical tool can be used in research projects and to describe the so far implemented theoretic and algorithmic knowledge.

研究动机与目标

• 编制并维护一个集中化、最新的在线数据库，收录已知的子空间码下界与上界，特别是 $ A_q(n,d;K) $，以支持网络编码与有限几何领域的研究。
• 为研究人员提供用户友好的技术指南，用于访问、解释和贡献于该数据库，包括理论基础与算法约束。
• 在已知 $ A_q(n,d;K) $ 精确值的情况下，对最优子空间码按同构关系进行分类，尤其针对常维码与特殊参数集。
• 将关键理论结果（如 Anticode、Singleton 及 Johnson 型不等式）的界集成到数据库中，实现自动化评估与比较。
• 通过专用贡献接口鼓励社区参与，允许用户提交缺失的构造、界或参考文献。

提出的方法

• 该数据库围绕两类主要类别组织：固定维度 $ k $ 的常维码（CDC），以及允许 $ K \subseteq \{0,\dots,n\} $ 中维度变化的混合维码（MDC）。
• 对于 CDC，系统支持参数 $ 2 \leq q \leq 9 $，$ 4 \leq n \leq 19 $，并使用子空间距离 $ d_S(U,W) = 2\dim(U+W) - \dim(U) - \dim(W) $ 作为度量标准。
• 关键理论界以计算函数形式实现：例如 $ \text{relax}_d $ 用于 Johnson 型界，$ \text{d2} $ 用于 $ d=2 $，$ \text{neqdeven} $ 用于 $ d=n $，以及 $ \text{n5_d3_CPS} $ 用于 $ A_q(5,3)=2q^3+2 $。
• 数据库整合了近期文献中的界，包括 HKK 定理（定理 4.15）、Anticode 界与 Singleton 界，并利用 $ q $-Pochhammer 符号进行渐近比较。
• 系统可通过已知定理（如 $ A_q(5,3)=2q^3+2 $）实现精确值判定，并包含最优码的分类数据，例如 $ A_2(7,5)=34 $ 的 20 种同构类型。
• 贡献接口允许研究人员提交新构造、界或参考文献，未来将计划实现源代码追踪功能。

实验结果

研究问题

• RQ1 对于不同参数 $ q, n, d, K $，$ A_q(n,d;K) $ 的最佳已知下界与上界是什么？
• RQ2 对于常维码，理论界（如 Anticode、Singleton 与 Johnson 型界）在紧致性方面如何比较？
• RQ3 在哪些参数集中，$ A_q(n,d;K) $ 的精确值是已知的？所有最优码是否可按同构关系完全分类？
• RQ4 哪些构造（如 LMRD 码、部分棱锥、$ q $-阶 Steiner 系统）能产生子空间码的最佳已知下界？
• RQ5 如何扩展数据库以支持混合维码（即 $ K $ 包含多个维度）？当前知识中存在哪些空白？

主要发现

• 该数据库为许多参数提供了目前已知最紧的上界，其中 $ \text{relax}_d $ 在其他定理未被评估的情况下表现最优。
• 对于 $ d=2 $，当 $ n=2k $ 时，精确值为 $ A_q(n,2) = \sum_{i \equiv k \bmod 2} \binom{n}{i}_q $，当 $ n=2k+1 $ 时，为对偶数或奇数 $ i $ 的求和，该结果以 $ \text{d2} $ 实现。
• 对于 $ d=n $，当 $ n=2k $ 时 $ A_q(n,n) = q^k + 1 $，当 $ n $ 为奇数时 $ A_q(n,n) = 2 $，分别以 $ \text{neqdeven} $ 与 $ \text{HKK_theorem_3_3_i} $ 实现。
• 值 $ A_q(5,3) = 2q^3 + 2 $ 对所有 $ q $ 均为精确值，且 $ A_2(7,5) = 34 $，其最优码存在 20 种同构类型，见文献 [67]。
• 对于 $ d \leq 1 $，最大码包含所有子空间，因此 $ A_q(n,d) = \sum_{k=0}^n \genfrac{[}{]}{0pt}{}{n}{k}_q $，以 $ \text{trivial_dle1} $ 实现。
• 渐近意义上，LMRD 码大小与 Anticode 界之比收敛于至少 $ 0.577576 $，表明其具有很强的渐近最优潜力。