Quantum MDS codes from complements of unions of finite-field subsets

技术摘要：基于有限域子集并集的补集的量子 MDS 码

问题陈述
构造长度 $n > q+1$ 且最小距离超过 $q/2 + 1$ 的量子最大距离可分（MDS）码仍然是量子编码理论中的一个重大挑战。虽然 Hermitian 构造将此问题简化为寻找定义在 $\mathbb{F}_{q^2}$ 上的经典 Hermitian 自正交广义 Reed–Solomon (GRS) 码，但现有的基于迹映射（trace maps）、线性变换以及乘法子群陪集的方法，在特定码长下往往面临可达最小距离的限制。具体而言，需要新的构造方法，以便直接或通过传播规则获得具有严格更大最小距离的量子 MDS 码。

方法论
作者提出了一种统一的框架，通过利用 $\mathbb{F}_{q^2}$（或 $\mathbb{F}_{q^2}^*$）中子集并集的补集作为定位集（locator sets）来构造 Hermitian 自正交 GRS 码。

1. 理论框架：

   • 令 $X \in \{\mathbb{F}_{q^2}, \mathbb{F}_{q^2}^*\}$ 且 $B \subset X$ 为所选子集的并集。定位集定义为 $A = X \setminus B$。
   • 作者通过将 $A$ 的 Lagrange 系数表示为 $B$ 的消去多项式（vanishing polynomial）的形式，推导出了 Hermitian 自正交性的充分条件（定理 3.3）。
   • 该条件依赖于 Frobenius 自同构 $x \mapsto x^q$，并要求找到一个多项式 $G(x)$，使得对于所有 $\alpha \in A$，满足 $G(\alpha)^q = \gamma G(\alpha)$，其中 $\gamma$ 是范数映射核中的特定元素。
   • 列乘数 $v_\alpha$ 的选择需满足由组成子集的消去多项式所导出的特定约束。

2. 五类族的构造：
   作者应用这一通用条件，通过组合不同类型的子集，构造了五个不同的 Hermitian 自正交 GRS 码族：

   • 族 I： 结合了具有预设范数值（$U_\nu$）的集合与乘法子群的陪集（$M_\delta$）。
   • 族 II： 结合了具有预设迹值（$L_c$）的集合与陪集（$M_\delta$）。
   • 族 III： 结合了具有预设迹值（$L_c$）的集合与具有预设范数值（$U_\nu$）的集合。
   • 族 IV： 结合了两个具有预设迹值的集合族（$L_c$ 和 $K_e$）与陪集（$M_\delta$）。
   • 族 V： 结合了两个具有预设迹值的集合族（$L_c$ 和 $K_e$）与具有预设范数值（$U_\nu$）的集合。
   • 至关重要的是，该框架允许子集之间存在非空交集，其码长通过并集 $B$ 的基数通过包含排斥原理确定。

3. 参数比较：
   所得量子码具有共同的参数形式：长度 $n = q^2 - Sq + \theta$ 以及最小距离范围 $2 \le d \le d^* = q - S + 1$。作者系统地将这些参数与以下内容进行了比较：

   • 基于迹映射结合子空间或范数映射的构造（Fang 等人）。
   • 基于仿射和射影线性变换的构造（Li 等人）。
   • 基于乘法子群陪集的构造（各种作者，附录中列为 R5–R20）。
   • 比较过程考虑了通过传播规则导出的码。

主要结果

1. 五类族的实现： 本文确立了五类具有最小距离 $d^* = q - S + 1$ 的 $q$ 元量子 MDS 码的存在性。对于足够大的 $q$，这些距离满足 $d^* > q/2 + 1$。
2. 对基于迹构造的严格改进：
   • 作者推导了从迹-子空间和迹-范数构造中获得的码的最小距离上界（命题 4.3）。
   • 他们提供了充分条件（推论 4.4），在这些条件下，他们的五个族在相同长度下能实现比这些基于迹的构造严格更大的最小距离。这些改进在无穷多个 $q$ 值下发生。
3. 对线性变换构造的严格改进：
   • 对于范围 $(q^2 - 1)/2 < n < q^2$，作者确定了线性变换构造所能达到的最大最小距离（命题 4.5）。
   • 将此应用于他们的第二族，得到了长度为 $n = (q-R)(q-b)$ 的两参数族（推论 4.7）。在特定条件下，该族实现的最小距离严格大于线性变换的最佳可能值。
   • 在固定参数 $R$ 和 $b$ 时，最小距离的增益（$d^* - d_{LLJ}$）随 $q$ 线性增长（推论 4.8）。
4. 对基于陪集构造的严格改进：
   • 通过分析来自族 R5–R16 的码的长度同余条件，作者推导出了它们最小距离的固定长度上界（推论 4.10）。
   • 他们表明，他们的第二种构造（推论 4.11）产生的长度为 $n = (q-R)(q-b)$ 的码严格超过了这些上界。
   • 此外，他们证明了来自族 R17–R20 的码无法达到其改进所覆盖的长度，因为它们的原始长度被限制在 $(q^2-1)/2$ 以内。

意义
本文声称提供了一种系统的方法，通过利用有限域子集补集的代数结构来构造具有改进参数的量子 MDS 码。其主要意义在于：

• 泛化性： 用于 Hermitian 自正交性的充分条件适用于任何满足特定假设的有限集合，从而允许复杂的交集。
• 参数扩展： 这些构造产生了长度为 $n = q^2 - O(q)$ 且最小距离为 $d^* = q - O(1)$ 的量子 MDS 码，特别是超过了 $q/2 + 1$。
• 可证明的优越性： 本文提供了严格的证明，表明在适当的参数条件下，这些新的码在相同码长下比几种著名的现有构造（基于迹、基于线性变换、基于陪集）具有严格更大的最小距离。
• 无限族： 作者展示了特定的无限子族，其中相对于已知构造的最小距离增益随 $q$ 线性增长。

该工作并非提出实验实现或新的物理应用，而是侧重于量子纠错码参数空间的理论推进。建议未来的工作将此方法扩展到扩展 GRS 码以及其他具有可计算交集的结构化子集。