Quasi-twisted codes and their connection with additive constacyclic codes over finite fields

本文通过多项式方法研究了准扭码与有限域上加法准循环码之间的联系，建立了两者间的一一对应关系，推导了准扭码的欧几里得、厄米特及辛对偶，并据此确定了加法准循环码在迹内积下的对偶结构。

要点

这篇论文就像是在密码学（给信息上锁）和纠错码（给信息修路）的世界里，发现了一座连接两个不同城市的秘密桥梁。

为了让你轻松理解，我们可以把这篇论文的研究内容想象成是在玩一种高级的“乐高积木”游戏。

1. 背景：什么是“准扭码”？（Quasi-twisted Codes）

想象你有一长串乐高积木，代表你要发送的信息。

• 普通循环码（Cyclic Codes）就像是一个圆环。如果你把圆环转一下（移位），它看起来还是一样的结构。这很好用，因为计算起来很快。
• 准扭码（Quasi-twisted Codes）则更灵活。想象你把这串积木分成了几组（比如每组 2 块），当你转动整个圆环时，不仅积木的位置变了，每组积木内部的颜色或形状也会发生某种特定的“扭曲”变化。

这种“扭曲”让准扭码比普通的码更强大，能构建出性能更好、能纠正更多错误的代码。这篇论文的前半部分，就是给这种“扭曲的积木”画了一张详细的说明书（多项式特征化），告诉工程师们：

• 怎么用最简单的公式描述这些积木的排列？
• 如果我想找出一组“互补”的积木（对偶码），该怎么算？
• 什么样的积木组合是“自正交”的（即自己和自己完美匹配，这在制造量子计算机的纠错码时非常关键）？

简单比喻：这就好比以前大家只知道怎么造圆形的轮子，现在作者发明了一种“螺旋轮”，并写出了制造这种轮子的精确图纸，还告诉你怎么造一个能和它完美咬合的“反向螺旋轮”。

2. 核心发现：两座城市的“秘密桥梁”

论文最精彩的部分，是发现了准扭码和加性恒循环码（Additive Constacyclic Codes）之间竟然有一一对应的关系。

• 城市 A（准扭码）：住在有限域 $F_q$ 上，积木是成组排列的，有“扭曲”特性。
• 城市 B（加性恒循环码）：住在更大的扩展域 $F_{q^l}$ 上，积木是单个排列的，但允许“加法”操作（比乘法更灵活）。

作者发现的桥梁：
如果你把城市 A 里长度为 $2m$、索引为 2 的“扭曲积木”，通过一种特殊的翻译器（基于基底的映射），就能直接变成城市 B 里长度为$m$ 的“加性积木”。

这个发现为什么牛？

• 以前：研究城市 B（加性码）很麻烦，因为它的数学规则（迹内积）很复杂，像是在迷雾中走路。
• 现在：作者说，“别怕迷雾！你只需要去城市 A 研究那些‘扭曲积木’的普通规则（欧几里得内积或辛内积），算出结果后，通过桥梁直接翻译过来，就是城市 B 的答案。”

生活化的类比：
想象你要计算一个复杂的外星数学题（加性码的对偶码）。

• 以前：你得直接在外星语言里死磕，非常难。
• 现在：作者告诉你，这个外星题目其实等价于地球上的一个普通数学题（准扭码的对偶码）。你只需要在地球上算出答案，然后套用这个“翻译公式”，外星题目的答案就自动出来了。

3. 具体成果：我们得到了什么？

通过这座桥梁，作者做了几件大事：

1. 统一了计算方法：以前计算加性码的“对偶码”（可以理解为密码的备用钥匙）很复杂。现在，只要算出对应的准扭码的钥匙，就能直接得到加性码的钥匙。
2. 找到了“自正交”的秘诀：在量子计算中，我们需要一种特殊的码，它自己和自己“正交”（互不干扰）。作者给出了具体的公式，告诉工程师们：只要你的积木满足哪几个多项式条件，就能造出这种完美的量子纠错码。
3. 发现了更优的代码：在论文最后的表格里，作者展示了一些例子。有些加性码（城市 B）的参数（比如能存多少数据、能修多少错）比现有的线性码（普通码）还要好。这意味着，利用这个新发现，我们可以造出性能更强、更可靠的通信系统或量子计算机。

4. 总结：这对普通人意味着什么？

虽然这篇论文充满了数学公式，但它的核心思想非常直观：

• 化繁为简：它把两个看起来完全不同的数学领域（准扭码和加性码）联系在了一起，把难的问题变成了容易的问题。
• 量子未来的基石：量子计算机非常脆弱，容易出错。这篇论文提供的“自正交”条件和新代码构造方法，就像是给量子计算机提供了一套更坚固的防错盔甲。
• 通信升级：对于未来的 6G 通信或卫星传输，这些新代码意味着数据传输更稳定，错误更少。

一句话总结：
这篇论文就像是一位聪明的建筑师，他不仅画出了“螺旋轮”（准扭码）的图纸，还发现了一个神奇的传送门，让我们能轻松地把“螺旋轮”的制造经验，直接应用到更复杂的“外星积木”（加性码）上，从而造出更强大的量子纠错码和通信系统。

技术摘要

这是一份关于论文《Quasi-twisted codes and their connection with additive constacyclic codes over finite fields》（有限域上的拟扭码及其与加性常循环码的联系）的详细技术总结。

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

• 背景：在编码理论中，寻找具有优良参数（如高码率、大最小距离）的码类是核心目标。拟扭码（Quasi-twisted, QT）是循环码、常循环码和拟循环码的重要推广，已知其具有渐近优良性，且许多破纪录的码都在此类中。此外，加性码（Additive codes）通过放宽线性性要求（仅保留加法性），往往能获得比同长度和维数的线性码更优的参数，并在量子纠错码（特别是稳定子码）的构造中发挥关键作用。
• 核心问题：
  1. 目前对拟扭码的研究多基于中国剩余定理（CRT）分解为分量码，或者局限于单生成元的情况。缺乏一种基于多项式的、不依赖分解的通用代数结构描述，特别是针对索引（index）为 2 的拟扭码。
  2. 拟扭码与加性常循环码（Additive constacyclic codes）之间存在深刻的联系，但现有的对应关系和其对偶性（Duals）的转换机制尚未被完全系统化，特别是在涉及迹内积（Trace inner products）和不同对偶类型（欧几里得、厄米特、辛）的对应上。
  3. 需要确定拟扭码在欧几里得、厄米特和辛内积下的对偶码生成多项式，以及自正交（Self-orthogonal）的充要条件，以便应用于量子码构造（如 CSS 构造）。

2. 方法论 (Methodology)

本文采用基于多项式的代数方法，主要工具包括：

• 多项式环表示：将长度为 $lm$、索引为 $l$ 的 $\lambda$-拟扭码视为环 $R = \mathbb{F}_q[x]/\langle x^m - \lambda \rangle$ 上的模 $R^l$ 的子模。
• 生成元分析：针对索引 $l=2$ 的情况，利用格罗布纳基（Gröbner bases）理论的思想，将码描述为由两个多项式向量生成的结构，而不进行 CRT 分解。
• 对偶性推导：定义并分析欧几里得（Euclidean）、厄米特（Hermitian）和辛（Symplectic）内积，利用多项式的互反多项式（reciprocal）和共轭互反多项式（conjugate reciprocal）性质，推导对偶码的生成多项式。
• 同构映射：建立有限域 $\mathbb{F}_q$ 上的拟扭码与扩域 $\mathbb{F}_{q^l}$ 上的加性常循环码之间的一一对应关系（$\phi$ 映射）。
• 迹内积转换：利用迹映射（Trace map）和基的选择（如几乎自对偶基、自对偶基），将加性码上的迹内积（Trace inner products）转化为拟扭码上的标准内积。

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

A. 索引为 2 的拟扭码的多项式刻画

• 结构定理：证明了任何长度为 $2m$、索引为 2 的$\lambda$-拟扭码$C$都可以由两个元素$g_1 = (g_{11}(x), g_{12}(x))$和$g_2 = (0, g_{22}(x))$ 生成，且满足特定的整除和次数条件（定理 3.1）。
• 单生成元条件：给出了该码可由单元素生成的充要条件（定理 3.2），即 $g_{11}(x)g_{22}(x) \equiv 0 \pmod{x^m-\lambda}$（在 $\gcd(m,q)=1$ 时）。
• 对偶码构造：
  • 欧几里得对偶：明确给出了 $C^\perp_e$ 的生成多项式（定理 4.4），证明了其是 $\lambda^{-1}$-拟扭码。
  • 辛对偶：给出了 $C^\perp_s$ 的生成多项式（定理 5.1）。
  • 厄米特对偶：针对 $\mathbb{F}_{q^2}$ 上的码，给出了 $C^\perp_h$ 的生成多项式（定理 6.4）。
• 自正交性条件：推导了码在欧几里得、辛和厄米特内积下自正交（$C \subseteq C^\perp$）的充要条件（定理 7.1, 7.2, 7.3）。这些条件表现为生成多项式及其互反/共轭互反多项式之间的同余关系。
• 包含关系：给出了两个拟扭码 $C_1 \subseteq C_2^\perp$ 的充要条件（定理 7.4），这对构造量子码至关重要。

B. 拟扭码与加性常循环码的对应关系

• 一一对应：建立了 $\mathbb{F}_q$ 上长度为 $lm$、索引为 $l$ 的拟扭码与 $\mathbb{F}_{q^l}$ 上长度为 $m$ 的加性常循环码之间的一一对应（$\phi$ 映射）。
• 内积与对偶的转换：
  • 迹欧几里得对偶：证明了在特定基（几乎自对偶基或自对偶基）下，加性码的迹欧几里得对偶对应于拟扭码的欧几里得对偶（定理 8.6, 8.8）。
  • 迹厄米特对偶：
    • 当 $q$ 为奇数时，迹厄米特对偶对应于拟扭码的欧几里得对偶（定理 8.12）。
    • 当 $q$ 为偶数时，迹厄米特对偶对应于拟扭码的辛对偶（定理 8.14, 9.7）。
• 推广性：这些结果将文献 [14, 17, 36, 38] 中关于加性循环码的结论推广到了更一般的加性常循环码和任意索引 $l$ 的情况。

C. 实例与性能

• 论文提供了多个具体算例（Example 4.1, 7.4 等），展示了生成的拟扭码及其对偶码的参数。
• 构造了具有优良参数的量子纠错码（如 $[[10, 2, 4]]_4$），其参数与已知最佳量子码一致。
• 表 3 展示了在 $\mathbb{F}_9$ 上，某些加性常循环码的参数优于任何已知的线性循环码（例如，存在参数为 $(23, 3^{34}, 5)_9$ 的加性码，而该长度和维数下不存在线性循环码）。

4. 意义与影响 (Significance)

1. 理论统一：本文通过多项式方法，统一了拟扭码的代数结构描述，避免了繁琐的 CRT 分解，为分析此类码提供了更直接的工具。
2. 桥梁作用：深刻揭示了拟扭码与加性常循环码之间的内在联系。这一联系使得研究者可以通过研究结构更清晰的拟扭码（在 $\mathbb{F}_q$ 上），来解决加性码（在 $\mathbb{F}_{q^l}$ 上）的对偶性和自正交性问题。
3. 量子码构造：通过明确给出自正交条件和包含条件，为利用 CSS 构造法生成新的量子稳定子码提供了系统的方法论。
4. 参数优化：证明了加性常循环码在特定参数下能超越线性循环码，为设计高性能通信和存储系统提供了新的码类选择。
5. 通用性：结果不仅适用于索引 $l=2$，还推广到了任意索引 $l$，涵盖了更广泛的码类。

总结

该论文通过引入基于多项式的代数框架，系统地解决了索引为 2 的拟扭码的结构、对偶性及自正交性问题，并成功建立了其与加性常循环码的等价对应关系。这一工作不仅丰富了编码理论的代数结构研究，也为构造高性能经典码和量子码提供了强有力的理论支撑和构造工具。