Projective systems and bounds on the length of codes of non-zero defect

技术摘要：射影系统与非零缺陷码长度的界限

问题陈述
本文探讨了编码理论中的一个基本问题，即确定具有固定 Singleton 缺陷 $s = n - k + 1 - d > 0$ 的线性 $[n, k, d]_q$ 码的最大长度 $n$。虽然零缺陷情况（$s=0$，即最大距离可分码或 MDS 码）已得到深入研究（遵循“MDS 码主猜想”），但对于非零缺陷码（即近 MDS 或 AMDS 码，以及更一般的 $A^s$MDS 码）的界限尚未形成统一。具体而言，作者研究了参数 $m_s(k, q)$（非退化 $A^s$MDS 码的最大长度）和 $m_s^t(k, q)$（其对偶码同时也是 $A^t$MDS 码的最大长度）。文献中存在的一个核心差距在于：在何种条件下，$A^s$MDS 码必然是对偶为 $A^s$MDS 码的码（即 $N^s$MDS 码），特别是在长度足够大的情况下。

方法论
作者采用了 Tsfasman 和 Vlăduţ 倡导的**射影系统（Projective Systems）**框架，将线性码表示为射影空间 $PG(k-1, q)$ 中有限点集的重集。这种几何视角允许将编码理论参数转化为点集、弧（arcs）和平坦（flats）的性质。

• 几何转换： 一个 $[n, k, d]_q$ 码被视为 $PG(k-1, q)$中$n$个点的重集$G$，其中没有任何超平面包含超过$n-d$ 个点。Singleton 缺陷 $s$ 对应于超平面中最多包含的点数为 $k+s-1$。
• 商几何（缩短法）： 本文利用代码缩短（code shortening）的几何形式。通过对环境空间 $PG(k-1, q)$关于一个平坦$\Lambda$取商，作者根据所得低维码的性质推导出原始码长度的界限。该技术被用于归纳地降低维度并建立不同$k$ 之间的界限关系。
• 组合计数： 作者利用涉及超平面束（pencils of hyperplanes）和平坦的计数论证，推导出必须满足长度极大码的整性条件（通过二项式系数）。

主要贡献与结果

1. 码长度的统一界限：
   本文推导了一系列关于 $m_s(k, q)$ 和 $m_s^t(k, q)$ 的界限，这些界限涵盖或改进了现有结果（例如 De Boer, Dodunekov, Landjev 以及 Faldum & Willems 的结果）。

   • 一般界限： 对于 $k \ge 3$，$m_s(k, q) \le (s+1)(q+1) + k - 2$。
   • 精细界限： 在特定条件下（例如 $0 < s < q-2$ 且 $(s+2, q) \neq (2^e, 2^h)$），界限被收紧为 $m_s(k, q) \le (s+1)(q+1) + k - 4$。
   • 对偶码约束： 作者建立了一个结论：如果一个码具有足够的长度（$n > s(q+1) + k - 1$），其对偶码必然是 AMDS 码（$t=1$）。这解决了以往文献中关于 $N^s$MDS 码充分条件过于空泛的问题。

2. 射影性与结构：
   本文提供了使长码必须是射影的（即没有重复坐标）的充分条件。

   • 如果 $n > s(q+1) + k - 1$，则该码是射影的。
   • 如果 $n$ 超过某些阈值，则该码必须达到 Griesmer 界限。
   • 研究表明，对于 $k \ge 3$，足够长的码必然是射影的，并且是对偶为 AMDS 码的码。

3. 高维下长度极大码的非存在性：
   作者研究了参数 $\kappa(s, q)$，定义为存在长度极大 $A^s$MDS 码的最大维度 $k$。

   • 他们为各种 $s$ 和 $q$ 提供了显式的数值和界限（汇总于表 2 和表 3）。
   • 猜想： 基于计算证据和理论界限，作者提出了两个猜想：
     • 弱猜想： 对于 $q > 3$，线性长度极大码的维度 $k \ge 5$ 时不存在（即 $\kappa(s, q) \le 4$）。
     • 强猜想： 对于 $q > 3$，$\kappa(s, q)$ 根据 $q$ 的奇偶性以及 $s+2$ 对 $q$ 的整除性，精确地等于 2、3 或 4。具体而言，维度为 5 或更高的长度极大码不存在。

4. $N^s$MDS 码的条件：
   本文确立了关于 $n$ 和 $k$ 的充分条件，使得一个 $A^s$MDS 码必然是 $N^s$MDS 码（即对偶码也是 $A^s$MDS 码）。具体而言，如果 $1 < s < q-1$，$k > (s-1)(q+1)-1$，且 $n > s(q+1) + k - 3$，则该码是 $N^s$MDS。

意义与主张
作者声称其几何方法统一并扩展了一系列现有结果，提供了通常优于先前文献的更紧致的界限。其主要意义在于：

• 统一性： 证明了射影系统框架能有效地处理具有非零缺陷的码，正如其处理 MDS 码的方式一样。
• 结构洞察： 表明具有非零缺陷的“长”码在结构上受到约束：它们必须是射影的、达到 Griesmer 界限，并具有 AMDS 对偶码。
• 填补空白： 为 $N^s$MDS 码提供了非空泛的充分条件，纠正了 Tong 以及 Liao & Liao 之前工作的局限性。
• 猜想性的极限： 提出长度极大码的图景在维度上是有限且微小的（对于 $q > 3$），这意味着寻找此类码的搜索实际上被限制在维度 $k \le 4$ 内。

论文最后指出，目前已知的维度 $k > 4$ 的线性长度极大码仅有三进制完美 Golay 码的对偶码 $[11, 5, 6]_3$ 和扩展三进制 Golay 码 $[12, 6, 6]_3$，这支持了上述猜想，即对于 $q > 3$，其他此类码并不存在。