On additive MDS codes with linear projections

关于具有线性投影的加性 MDS 码的技术摘要

问题陈述
本文研究了有限域上加性最大距离可分（MDS）码的结构性质。具体而言，它探讨了长加性 MDS 码是否必然等价于线性码。虽然 MDS 猜想指出对于线性码，长度 $n$ 受限于 $q+1$（存在特定例外情况），但加性码（即在子域上是线性的，但不一定在全域上是线性的）的行为则较少为人所知。作者旨在为以下假设提供证据：具有特定“类线性”投影的足够长的 $\mathbb{F}_{q^h}$ 上加性 MDS 码，其自身必然等价于线性码（或至少是相对于更大子域线性的）。

方法论与框架
作者利用先前工作 [BGL22] 中建立的几何方法，将加性码与被称为**伪弧（pseudo-arcs）**的几何对象联系起来。

1. 几何对应关系： 一个长度为 $n$、维数为 $k$ 的 $\mathbb{F}_{q^h}$ 上 $\mathbb{F}_q$-线性码对应于 $PG(k-1, q)$中的一个射影$h$-系统。当且仅当该系统是一个伪弧（即任何$k$ 个子空间都能张成整个空间的子空间集合）时，该码是 MDS 码。
2. 线性等价判据： 一个码等价于线性码，当且仅当其关联的射影 $h$-系统包含在一个**笛思格扬铺展（Desarguesian spread）**中。
3. 投影分析： 核心方法是分析码（以及对应的伪弧）从特定坐标位置的投影。作者利用关于伪弧和翻译广义二次型（例如 Penttila、Van de Voorde 等人的结果）的已知结论，这些结论指出，如果伪弧的投影位于笛思格扬铺展中，那么弧本身通常也位于其中。
4. 代数特征化： 在证明过程中，作者将 MDS 码表示为由 $\mathbb{F}_q$-线性映射 $f$ 定义的“标准型”。他们分析了在何种条件下，投影的线性性会迫使码的定义多项式必须是单项式或半线性的，从而暗示了码的线性。

主要贡献与结果
本文建立了两个定理，为加性 MDS 码等价于线性码提供了充分条件：

• 定理 1.1（情形 $k=3$）：
  设 $C$ 为一个 $\mathbb{F}_q$-线性 $(n, q^{3h}, n-2)_{q^h}$ MDS 码。若 $n$ 足够大（具体而言，当 $h=2$ 时 $n \ge 2q+3$，且当 $h=3$ 时 $n \ge q^2+3+\delta_{2,q}$），且 $C$ 拥有三个坐标，使得从这些坐标出发的投影等价于线性码，则 $C$ 本身等价于一个线性码。

  • 证明策略： 这依赖于引理 5.10，该引理将问题简化为：证明满足特定性质（Prop$_m$）的一对可逆线性化多项式 $(f, g)$ 必须是单项式。证明过程使用 Dickson 矩阵和秩的论证来表明，对于较大的 $m$，这些多项式的系数必须为零，从而迫使其成为单项式。

• 定理 1.2（情形 $k>3$）：
  设 $C$ 为一个 $\mathbb{F}_q$-线性 $(n, q^{hk}, n-k+1)_{q^h}$ MDS 码，其中 $k > 3$。若存在两个不相交的坐标子集 $A$ 和 $B$，使得 $|A| + |B| \le k-2$，且从 $A$ 和 $B$ 出发的 $C$ 的投影均等价于线性码，且 $n > q+k$，则 $C$ 等价于一个在更大域 $\mathbb{F}_{q^s}$ 上线性的码（其中 $s$ 是 $h$ 的一个约数）。

  • 精炼： 如果 $n$ 更大（即 $n > q^e + k$，其中 $e$ 是 $h$ 的最大真约数），则 $C$ 等价于一个在 $\mathbb{F}_{q^h}$ 上线性的码。
  • 证明策略： 证明通过构造一个标准型码，并利用投影的线性性来推导定义多项式的约束条件。它证明了两个不相交的线性投影集合的存在，会迫使定义映射在某个子域上是半线性的，从而在长度限制下最终暗示了完全线性。

意义与主张
作者将这些结果框架化为为更广泛的猜想（即长加性 MDS 码等价于线性码）提供“一些证据”。

• 桥接几何学与编码理论： 本文成功地将关于伪弧和笛思格扬铺展的几何结果（特别是 [BGL22] 中的结果 4.4）转化为关于加性 MDS 码的具体编码理论定理。
• 扩展已知结果： 该工作扩展了先前的发现（如结果 4.6），这些发现曾局限于特定情况（例如 $h=2$）。定理 1.1 将其推广到了 $h=3$ 并为 $k=3$ 提供了一个统一的框架。
• 界限的紧致性： 作者承认定理中关于 $n$ 的界限可能并不紧致。文中通过一个反例构造（引理 5.8）表明，如果长度 $n$ 过小（具体而言是在接近界限 $n_q(k)$ 时），可以构造出仍具有线性投影的非线性加性 MDS 码。这突显了其定理中“长码”假设的必要性。

文章最后指出，虽然这些结果支持了该猜想，但是否存在不包含在笛思格扬铺展中的伪弧仍是一个开放的几何问题，且代数证明依赖于特定的码长度界限。