Using nonassociative algebras to classify skew polycyclic codes up to isometry and equivalence

基本信息

• 论文ID: 2508.10139
• 标题: Using nonassociative algebras to classify skew polycyclic codes up to isometry and equivalence
• 作者: Susanne Pumplün
• 分类: cs.IT math.IT math.RA
• 发表时间: October 13, 2025 (arXiv预印本)
• 论文链接: https://arxiv.org/abs/2508.10139

摘要

本文通过利用环境代数之间的同构，提出了斜多循环码等价性和等距性的新定义，这将导致比现有方法更紧密的分类。这减少了先前已知的等距和等价类的数量。在此过程中，作者分类了具有相同性能参数的斜$(f,σ,δ)$-多循环码类，以避免重复已存在的码，并精确说明了不同等价概念何时重合。

斜多循环码的生成元与其环境代数中主左理想的生成元之间存在一一对应关系。通过允许环境代数为非结合的，消除了对码长度的限制。保持汉明距离的代数同构（称为等距）将主左理想的生成元映射到主左理想的生成元，并保持码的长度、维数和汉明距离。

研究背景与动机

问题定义

1. 分类问题的重要性：斜多循环码的等价性结果可用于优化良好码的搜索，避免重复现有码参数，并在给定码集中找到等价类。
2. 现有方法的局限性：
   • 现有分类主要使用Chen等价性和Chen等距性，仅考虑τ = id的情况
   • 缺乏对非结合环境代数的系统性处理
   • 分类不够紧密，存在冗余
3. 研究动机：
   • 建立更精细的等价关系，减少等价类数量
   • 扩展到非结合代数设置，消除码长度限制
   • 为量子纠错码的构造提供更有效的工具

核心贡献

1. 新的等价性定义：提出了比现有Chen等价性更精细的等价和等距概念，允许使用任意自同构τ ∈ Aut(S)
2. 非结合代数框架：系统性地将斜多循环码视为非结合Petit代数中的主左理想，消除了对码长度的限制
3. 分类结果的改进：
   • 给出了等价性的充要条件（定理5.1）
   • 证明了在特定条件下等价性与等距性重合（定理5.2）
   • 计算了所有等价类（定理5.7）
4. 具体应用：为有限域上的斜常循环码提供了更紧密的分类，并给出了具体的计数公式

方法详解

任务定义

设S为一元结合环，σ ∈ Aut(S)，f, h ∈ R = St;σ,δ为首一多项式。任务是分类长度为m的斜$(f,σ,δ)$-多循环码的等价类和等距类。

核心概念

1. Petit代数

对于首一多项式$f(t) = t^m - \sum_{i=0}^{m-1} a_i t^i$，定义Petit代数： $S_f = S[t;σ,δ]/S[t;σ,δ]f$

这是一个非结合代数，当且仅当Rf是双边理想时才结合。

2. 等价性定义

定义3.1：设τ ∈ Aut(S)，α ∈ S×，k ∈ N。如果存在环同构 $G : R/Rf → R/Rh$ 定义为G|_S = τ且$G_{τ,α,k}(t) = αt^k$，则称G为度数k的等距或单项同构。当k = 1时，称$G_{τ,α}$为等价。

3. 主要定理

定理5.1（等价性判别）：两个斜多循环码类$C_f$和$C_h$等价当且仅当存在与σ交换的τ ∈ Aut(S)和α ∈ S×使得 $τ(a_i) = N^σ_{m-i}(σ^i(α))b_i$ 对所有i ∈ {0,...,m-1}成立。

定理5.2（等价与等距的重合）：设n ≥ m-1且f在Kt;σ中不生成双边理想，Aut(K)为阿贝尔群。则长度为m的斜$(f,σ)$-多循环码的等价性与等距性概念重合。

技术创新点

1. 单项同构的刻画：通过条件$ασ(τ(b)) = τ(σ(b))α$完全刻画了保持汉明权重的同构
2. 非结合代数的系统应用：首次系统性地使用非结合Petit代数理论来处理斜多循环码
3. 等价类的显式构造：给出了等价类的完整描述和计算方法

实验设置

理论验证

本文主要为理论工作，通过以下方式验证结果：

1. 有限域上的具体例子：
   • $K = \mathbb{F}_{p^2}$，σ为Frobenius自同构的情况
   • $K = \mathbb{F}_{32}$和$K = \mathbb{F}_{22}$的具体计算
2. 与现有结果的对比：证明新的分类确实比Chen分类更精细

评价指标

• 等价类数量的减少程度
• 分类的紧密性
• 理论结果的完整性

实验结果

主要结果

1. 有限域上的改进分类

例6.2：当$\gcd([m]_s, p^r-1) = p^r-1$时，Chen等价下有$p^r-1$个不同的斜常循环码类，而在新的等价关系下，每个等价类包含r个元素（当$a \notin \mathbb{F}_p$时），从而类数减少为原来的1/r。

2. 具体计数结果

例6.4（$K = \mathbb{F}_{32}$）：

• 当m为奇数：Chen等价类数 = 1，新等价类数 = 1
• 当$m \equiv 2 \pmod{4}$：Chen等价类数 = 4，新等价类数 = 2
• 当$m \equiv 0 \pmod{4}$：Chen等价类数 = 8，新等价类数 = 5

3. 等价与等距的重合条件

证明了在大多数情况下（特别是当环境代数非结合时），等价性与等距性重合，简化了分类问题。

理论发现

1. 分类的改进：新的等价关系确实产生了更少的等价类，验证了方法的有效性
2. 非结合代数的优势：允许环境代数非结合消除了对码长度的限制，使理论更加完整
3. 自同构群的作用：自同构群Aut(S)的结构直接影响等价类的数量和结构

相关工作

主要研究方向

1. 经典分类理论：Chen等人的constacyclic码分类CFLL2012
2. 斜多项式环理论：Boucher-Ulmer的斜循环码理论BouUl2009
3. 非结合代数应用：Petit代数理论在编码中的应用

本文的优势

1. 更精细的分类：相比Chen分类，减少了冗余
2. 理论的完整性：系统处理了非结合情况
3. 应用的广泛性：可应用于量子纠错码构造

结论与讨论

主要结论

1. 提出了斜多循环码的新等价概念，实现了更紧密的分类
2. 系统性地使用非结合Petit代数，消除了码长度限制
3. 给出了等价性的完整判别条件和等价类的显式构造
4. 证明了在多数情况下等价与等距概念重合

局限性

1. 计算复杂性：等距类的完全刻画在某些情况下仍然困难
2. 应用范围：主要集中在δ = 0的情况，δ ≠ 0的情况需要进一步研究
3. 非交换环：目前主要考虑交换环S的情况

未来方向

1. 研究δ ≠ 0时的汉明权重保持同构
2. 扩展到非交换环的情况
3. 在量子纠错码构造中的具体应用
4. 考虑对偶性保持的等距概念

深度评价

优点

1. 理论创新：首次系统性地使用非结合代数理论处理斜多循环码分类
2. 结果的完整性：给出了等价性的充要条件和等价类的完整描述
3. 实用价值：为码的搜索和分类提供了更有效的工具
4. 数学严谨性：证明完整，理论基础扎实

不足

1. 计算复杂性：某些情况下的等距类刻画仍然困难
2. 应用验证：缺乏在实际编码问题中的应用验证
3. 算法实现：未提供具体的算法实现

影响力

1. 理论贡献：为编码理论提供了新的代数工具
2. 实用价值：有助于优化码的搜索算法
3. 跨学科影响：连接了非结合代数与编码理论

适用场景

1. 斜多循环码的理论研究
2. 量子纠错码的构造
3. 有限环上线性码的分类
4. 代数编码理论的进一步发展

参考文献

本文引用了编码理论、斜多项式环理论和非结合代数等领域的重要文献，包括：

• Chen等人的constacyclic码分类工作
• Boucher-Ulmer的斜循环码理论
• Petit代数的相关理论
• 作者前期关于非结合代数同构的工作

总结：这是一篇高质量的理论论文，通过引入非结合代数理论，为斜多循环码的分类提供了新的工具和更精细的结果。虽然主要是理论工作，但为实际应用奠定了重要基础，特别是在量子纠错码的构造方面具有潜在的重要应用价值。