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

Basic Information

• Paper ID: 2508.10139
• Title: Using nonassociative algebras to classify skew polycyclic codes up to isometry and equivalence
• Author: Susanne Pumplün
• Classification: cs.IT math.IT math.RA
• Publication Date: October 13, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2508.10139

Abstract

This paper proposes new definitions of equivalence and isometry for skew polycyclic codes by utilizing isomorphisms between ambient algebras, leading to tighter classifications than existing methods. This reduces the number of previously known isometry and equivalence classes. In the process, the author classifies skew $(f,σ,δ)$-polycyclic code classes with identical performance parameters to avoid duplicating existing codes and precisely specifies when different equivalence concepts coincide.

A one-to-one correspondence exists between generators of skew polycyclic codes and generators of principal left ideals in their ambient algebras. By allowing the ambient algebra to be nonassociative, restrictions on code length are eliminated. Algebra isomorphisms preserving Hamming distance (called isometries) map generators of principal left ideals to generators of principal left ideals while preserving code length, dimension, and Hamming distance.

Research Background and Motivation

Problem Definition

1. Importance of Classification: Equivalence results for skew polycyclic codes can be used to optimize searches for good codes, avoid duplicating existing code parameters, and identify equivalence classes within given code sets.
2. Limitations of Existing Methods:
   • Existing classifications primarily use Chen equivalence and Chen isometry, considering only the case τ = id
   • Lack of systematic treatment of nonassociative ambient algebras
   • Classifications are not sufficiently tight, with redundancies present
3. Research Motivation:
   • Establish finer equivalence relations to reduce the number of equivalence classes
   • Extend to nonassociative algebra settings, eliminating code length restrictions
   • Provide more effective tools for constructing quantum error-correcting codes

Core Contributions

1. New Equivalence Definitions: Proposes equivalence and isometry concepts finer than existing Chen equivalence, allowing arbitrary automorphisms τ ∈ Aut(S)
2. Nonassociative Algebra Framework: Systematically treats skew polycyclic codes as principal left ideals in nonassociative Petit algebras, eliminating code length restrictions
3. Improved Classification Results:
   • Provides necessary and sufficient conditions for equivalence (Theorem 5.1)
   • Proves that equivalence and isometry coincide under specific conditions (Theorem 5.2)
   • Computes all equivalence classes (Theorem 5.7)
4. Concrete Applications: Provides tighter classification for skew constacyclic codes over finite fields with explicit counting formulas

Methodology Details

Problem Formulation

Let S be a unital associative ring, σ ∈ Aut(S), and f, h ∈ R = St;σ,δ be monic polynomials. The task is to classify equivalence classes and isometry classes of skew $(f,σ,δ)$-polycyclic codes of length m.

Core Concepts

1. Petit Algebras

For a monic polynomial $f(t) = t^m - \sum_{i=0}^{m-1} a_i t^i$, define the Petit algebra: $S_f = S[t;σ,δ]/S[t;σ,δ]f$

This is a nonassociative algebra, associative if and only if Rf is a two-sided ideal.

2. Equivalence Definition

Definition 3.1: Let τ ∈ Aut(S), α ∈ S×, k ∈ ℕ. If there exists a ring isomorphism $G : R/Rf → R/Rh$ defined by G|_S = τ and $G_{τ,α,k}(t) = αt^k$, then G is called an isometry or monomial isomorphism of degree k. When k = 1, $G_{τ,α}$ is called an equivalence.

3. Main Theorems

Theorem 5.1 (Equivalence Criterion): Two skew polycyclic code classes $C_f$ and $C_h$ are equivalent if and only if there exist τ ∈ Aut(S) commuting with σ and α ∈ S× such that $τ(a_i) = N^σ_{m-i}(σ^i(α))b_i$ holds for all i ∈ {0,...,m-1}.

Theorem 5.2 (Coincidence of Equivalence and Isometry): If n ≥ m-1 and f does not generate a two-sided ideal in Kt;σ, and Aut(K) is an abelian group, then the concepts of equivalence and isometry for skew $(f,σ)$-polycyclic codes of length m coincide.

Technical Innovations

1. Characterization of Monomial Isomorphisms: Completely characterizes Hamming weight-preserving isomorphisms through the condition $ασ(τ(b)) = τ(σ(b))α$
2. Systematic Application of Nonassociative Algebras: First systematic use of nonassociative Petit algebra theory to handle skew polycyclic codes
3. Explicit Construction of Equivalence Classes: Provides complete description and computational methods for equivalence classes

Experimental Setup

Theoretical Verification

This is primarily theoretical work, verified through:

1. Concrete Examples over Finite Fields:
   • Case $K = \mathbb{F}_{p^2}$ with σ as Frobenius automorphism
   • Explicit computations for $K = \mathbb{F}_{32}$ and $K = \mathbb{F}_{2^2}$
2. Comparison with Existing Results: Demonstrates that the new classification is indeed finer than Chen's classification

Evaluation Metrics

• Reduction in the number of equivalence classes
• Tightness of classification
• Completeness of theoretical results

Experimental Results

Main Results

1. Improved Classification over Finite Fields

Example 6.2: When $\gcd([m]_s, p^r-1) = p^r-1$, there are $p^r-1$ distinct skew constacyclic code classes under Chen equivalence, while under the new equivalence relation, each equivalence class contains r elements (when $a \notin \mathbb{F}_p$), reducing the number of classes to 1/r of the original.

2. Concrete Counting Results

Example 6.4 ($K = \mathbb{F}_{32}$):

• When m is odd: Chen equivalence classes = 1, new equivalence classes = 1
• When $m \equiv 2 \pmod{4}$: Chen equivalence classes = 4, new equivalence classes = 2
• When $m \equiv 0 \pmod{4}$: Chen equivalence classes = 8, new equivalence classes = 5

3. Conditions for Coincidence of Equivalence and Isometry

Proves that in most cases (particularly when the ambient algebra is nonassociative), equivalence and isometry coincide, simplifying the classification problem.

Theoretical Findings

1. Improved Classification: The new equivalence relation indeed produces fewer equivalence classes, validating the method's effectiveness
2. Advantages of Nonassociative Algebras: Allowing nonassociative ambient algebras eliminates code length restrictions, making the theory more complete
3. Action of Automorphism Groups: The structure of the automorphism group Aut(S) directly affects the number and structure of equivalence classes

Related Work

Main Research Directions

1. Classical Classification Theory: Chen et al.'s constacyclic code classification CFLL2012
2. Skew Polynomial Ring Theory: Boucher-Ulmer's skew cyclic code theory BouUl2009
3. Nonassociative Algebra Applications: Applications of Petit algebra theory in coding

Advantages of This Work

1. Finer Classification: Reduces redundancy compared to Chen's classification
2. Theoretical Completeness: Systematically handles nonassociative cases
3. Broad Applicability: Applicable to quantum error-correcting code construction

Conclusions and Discussion

Main Conclusions

1. Proposes new equivalence concepts for skew polycyclic codes, achieving tighter classification
2. Systematically uses nonassociative Petit algebras, eliminating code length restrictions
3. Provides complete discrimination conditions for equivalence and explicit construction of equivalence classes
4. Proves that equivalence and isometry concepts coincide in most cases

Limitations

1. Computational Complexity: Complete characterization of isometry classes remains difficult in certain cases
2. Scope of Application: Primarily focuses on the case δ = 0; the case δ ≠ 0 requires further research
3. Noncommutative Rings: Currently mainly considers commutative rings S

Future Directions

1. Study Hamming weight-preserving isomorphisms when δ ≠ 0
2. Extend to noncommutative ring cases
3. Concrete applications in quantum error-correcting code construction
4. Consider isometry concepts preserving duality

In-Depth Evaluation

Strengths

1. Theoretical Innovation: First systematic use of nonassociative algebra theory to handle skew polycyclic code classification
2. Completeness of Results: Provides necessary and sufficient conditions for equivalence and complete description of equivalence classes
3. Practical Value: Provides more effective tools for code search and classification
4. Mathematical Rigor: Complete proofs with solid theoretical foundations

Weaknesses

1. Computational Complexity: Characterization of isometry classes remains difficult in certain cases
2. Application Verification: Lacks verification in practical coding problems
3. Algorithm Implementation: No concrete algorithm implementation provided

Impact

1. Theoretical Contribution: Provides new algebraic tools for coding theory
2. Practical Value: Helps optimize code search algorithms
3. Interdisciplinary Impact: Connects nonassociative algebra with coding theory

Applicable Scenarios

1. Theoretical research on skew polycyclic codes
2. Construction of quantum error-correcting codes
3. Classification of linear codes over finite rings
4. Further development of algebraic coding theory

References

This paper cites important literature from coding theory, skew polynomial ring theory, and nonassociative algebra, including:

• Chen et al.'s work on constacyclic code classification
• Boucher-Ulmer's skew cyclic code theory
• Related theory on Petit algebras
• Author's prior work on nonassociative algebra isomorphisms

Summary: This is a high-quality theoretical paper that provides new tools and finer results for skew polycyclic code classification by introducing nonassociative algebra theory. Although primarily theoretical, it establishes important foundations for practical applications, particularly with potential significant applications in quantum error-correcting code construction.