Additive Conjucyclic Codes over $\F_{q^2}$: Trace Correspondence and Applications to Quantum Codes

这篇论文《Additive Conjucyclic Codes over Fq2: A Trace Correspondence and Quantum Error-Correction》（$F_{q^2}$上的加性共轭循环码：迹对应与量子纠错）主要解决了$F_{q^2}$上一般有限域上加性共轭循环码（Additive Conjucyclic Codes）缺乏统一代数理论的问题，并基于此构建了$q$-元量子纠错码（QECC）。

以下是对该论文的详细技术总结：

1. 研究背景与问题 (Problem)

• 背景：加性码（Additive Codes）在构建量子纠错码（QECC）中起着关键作用，特别是四元（quaternary）加性码与二进制量子码之间的联系已被广泛研究。加性循环码（Additive Cyclic Codes）因其移位寄存器实现的高效性而备受关注。
• 问题：
  • 尽管加性循环码已有深入研究，但加性共轭循环码（Additive Conjucyclic Codes）的研究相对匮乏。
  • 现有的研究主要集中在$F_4$（四元域）上，缺乏适用于一般有限域$F_{q^2}$的统一代数框架。
  • 加性共轭循环码不具有像线性循环码那样的标准多项式表示，导致其结构分析困难，难以直接利用循环码的成熟理论。
  • 需要一种系统的方法来枚举这些码、构造生成矩阵，并确定其对偶包含条件以用于构建量子码。

2. 方法论 (Methodology)

论文提出了一种基于**迹映射（Trace Map）**的统一框架，核心思想是建立$F_{q^2}$上的加性共轭循环码与$F_q$上的线性循环码之间的同构对应。

• 迹同构映射 ($\Psi_\beta$)：
  • 利用从$F_{q^2}$到$F_q$的迹映射 $Tr(x) = x + x^q$。
  • 固定$F_{q^2}$的一个本原元 $\beta$，定义映射 $\phi_\beta: F_{q^2} \to F_q^2$ 为 $\phi_\beta(\alpha) = (Tr(\beta\alpha), Tr(\bar{\beta}\alpha))$，其中 $\bar{\alpha} = \alpha^q$ 是共轭。
  • 证明 $\phi_\beta$ 是$F_q$-线性同构，并将其分量扩展到向量空间，得到 $\Psi_\beta: F_{q^2}^n \to F_q^{2n}$。
• 结构对应：
  • 证明在 $\Psi_\beta$ 映射下，$F_{q^2}^n$ 上的加性共轭循环码（在共轭循环移位 $T$ 下封闭）一一对应于 $F_q^{2n}$ 上的线性循环码（在普通循环移位 $\sigma$ 下封闭）。
  • 建立了最小汉明重量与最小辛重量的等价关系：$w_H(C) = w_s(D)$。
• 交替内积 (Alternating Inner Product)：
  • 为了处理加性码的对偶结构（传统的欧几里得或辛内积在$F_{q^2}$上对加性码不适用），定义了一个新的交替内积 $\langle u, v \rangle_{a,\beta}$。
  • 证明该内积在 $\Psi_\beta$ 映射下与 $F_q^{2n}$ 上的辛内积（Symplectic Inner Product）保持正交性一致。

3. 主要贡献与结果 (Key Contributions & Results)

A. 代数结构与枚举

• 一一对应定理：确立了$F_{q^2}$上长度为$n$的加性共轭循环码与$F_q$上长度为$2n$的线性循环码之间的双射。
• 枚举公式：利用$F_q$上多项式 $x^{2n}-1$ 的因子分解，推导出了$F_{q^2}$上加性共轭循环码的总数。若 $x^{2n}-1$ 在$F_q$上有 $t$ 个不同的不可约因子，且特征为 $p$，则码的总数为 $(p^\ell + 1)^t$。
• 生成矩阵：给出了加性共轭循环码生成矩阵的显式构造方法。通过对应循环码的生成多项式 $g(x)$ 的系数向量，利用逆映射 $\Psi_\beta^{-1}$ 和共轭移位算子 $T$ 构造生成矩阵 $\hat{G}$。

B. 对偶性与校验矩阵

• 交替对偶码：定义了交替对偶码 $C^{\perp a}$，并证明了 $C^{\perp a} = \Psi_\beta^{-1}(D^{\perp s})$，即加性共轭循环码的交替对偶码对应于其线性循环码的辛对偶码。
• 校验矩阵：利用循环码对偶码的生成多项式 $h^*(x)$（互反多项式），推导出了加性共轭循环码的显式校验矩阵（即对偶码的生成矩阵）$\hat{H}_a$。
• 特征为2时的简化：当 $char(F_{q^2})=2$ 时，证明了交替对偶码本身也是加性共轭循环码，并给出了简化的生成矩阵形式。

C. 量子纠错码构建

• 构建条件：利用交替内积下的对偶包含条件（$C^{\perp a} \subseteq C$），结合稳定子码形式（Stabilizer Formalism），构建了$q$-元量子纠错码。
• 主要定理：若 $C$ 是满足 $C^{\perp a} \subseteq C$ 的 $(n, M=q^k, d)$ 加性共轭循环码，则存在一个纯量子码 $[[n, k-n, \ge d]]_q$。
• 实例验证：
  • 以 $q=4, n=11$ 为例，构造了一个具体的加性共轭循环码。
  • 验证了其满足对偶包含条件，并成功构建了一个 $[[11, 1, 5]]_4$ 量子码。
  • 性能对比：该码不仅优于已知的 $[[19, 1, 5]]_4$ 码，且达到了 Grassl 码表中的最优参数。更重要的是，由于其代数结构（循环结构），其生成矩阵比传统稳定子码更紧凑，显著降低了存储需求。

4. 意义与影响 (Significance)

1. 理论统一：填补了$F_{q^2}$上一般有限域加性共轭循环码代数理论的空白，将之前局限于$F_4$的研究推广到了任意$q$的情况。
2. 方法创新：通过迹映射将复杂的共轭循环结构转化为经典的循环码结构，使得可以利用成熟的循环码理论（如因子分解、生成多项式）来解决加性共轭循环码的问题。
3. 量子码构建：提供了一种系统化的方法来从加性共轭循环码构建非二进制量子纠错码。
4. 性能优势：构建出的量子码在参数上具有竞争力（甚至最优），且由于具有循环结构，在实际存储和实现上比无结构的稳定子码更具优势。

总结：该论文通过建立迹同构，成功地将$F_{q^2}$上的加性共轭循环码纳入到$F_q$线性循环码的框架下，不仅解决了其结构分析和枚举问题，还定义了合适的对偶内积，从而为构建高性能的非二进制量子纠错码提供了坚实的理论基础和构造方法。