2025-11-22T14:52:15.250654

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

Pumpluen

Employing isomorphisms between their ambient algebras, we propose new definitions of equivalence and isometry for skew polycyclic codes that will lead to tighter classifications than existing ones. This reduces the number of previously known isometry and equivalence classes. In the process, we classify classes of skew $(f,Ï,Î´)$-polycyclic codes with the same performance parameters, to avoid duplicating already existing codes, and state precisely when different notions of equivalence coincide. The generator of a skew polycyclic code is in one-one correspondence with the generator of a principal left ideal in its ambient algebra. We allow the ambient algebras to be nonassociative, thus eliminating the need on restrictions on the length of the codes. Algebra isomorphisms that preserve the Hamming distance (called isometries) map generators of principal left ideals to generators of principal left ideals and preserve length, dimension and Hamming distance of the codes. The isometries between the ambient algebras can also be used to classify corresponding linear codes equipped with the rank metric.

academic

非結合代数を用いた斜多環的符号の等距性と等価性による分類

基本情報

論文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
発表日時: 2025年10月13日（arXiv プレプリント）
論文リンク: https://arxiv.org/abs/2508.10139

要約

本論文は、環境代数間の同型を利用することにより、斜多環的符号の等価性と等距性に関する新しい定義を提案し、既存の方法よりも厳密な分類をもたらす。これにより、従来知られていた等距類および等価類の数が削減される。その過程で、著者は同じ性能パラメータを持つ斜 $(f,σ,δ)$ -多環的符号類を分類し、既存の符号の重複を避け、異なる等価概念がいつ一致するかを正確に明示する。

斜多環的符号の生成元と環境代数における主左イデアルの生成元の間には一対一対応が存在する。環境代数を非結合的なものとすることで、符号長に対する制限が排除される。ハミング距離を保つ代数同型（等距と呼ばれる）は、主左イデアルの生成元を主左イデアルの生成元に写し、符号の長さ、次元、およびハミング距離を保存する。

研究背景と動機

問題定義

分類問題の重要性：斜多環的符号の等価性結果は、良好な符号の探索を最適化し、既存の符号パラメータの重複を避け、与えられた符号集合内で等価類を見つけるために使用できる。
既存方法の制限：
- 既存の分類は主にChen等価性とChen等距性を使用し、τ = idの場合のみを考慮している
- 非結合環境代数の体系的処理が欠けている
- 分類が十分に厳密ではなく、冗長性が存在する
研究動機：
- より精細な等価関係を確立し、等価類の数を削減する
- 非結合代数設定に拡張し、符号長の制限を排除する
- 量子誤り訂正符号の構成に対してより効果的なツールを提供する

核心的貢献

新しい等価性の定義：既存のChen等価性よりも精細な等価および等距の概念を提案し、任意の自己同型τ ∈ Aut(S)の使用を許可する
非結合代数フレームワーク：斜多環的符号を非結合Petit代数における主左イデアルとして体系的に扱い、符号長の制限を排除する
分類結果の改善：
- 等価性の必要十分条件を与える（定理5.1）
- 特定の条件下で等価性と等距性が一致することを証明する（定理5.2）
- すべての等価類を計算する（定理5.7）
具体的応用：有限体上の斜常循環符号に対してより厳密な分類を提供し、具体的な計数公式を与える

方法の詳細

タスク定義

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 ∈ ℕとする。環同型 $G : R/Rf → R/Rh$ が存在し、G|_S = τかつ $G_{τ,α,k}(t) = αt^k$ で定義される場合、Gを次数kの等距または単項同型と呼ぶ。k = 1の場合、 $G_{τ,α}$ を等価と呼ぶ。

3. 主要定理

定理5.1（等価性判別法）：2つの斜多環的符号類 $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,σ)$ -多環的符号の等価性と等距性の概念は一致する。

技術的革新点

単項同型の特性化：条件 $ασ(τ(b)) = τ(σ(b))α$ を通じてハミング重みを保つ同型を完全に特性化する
非結合代数の体系的応用：非結合Petit代数理論を初めて体系的に斜多環的符号の処理に適用する
等価類の明示的構成：等価類の完全な記述と計算方法を与える

実験設定

理論的検証

本論文は主に理論的研究であり、以下の方法で結果を検証する：

有限体上の具体例：
- $K = \mathbb{F}_{p^2}$ 、σがFrobenius自己同型の場合
- $K = \mathbb{F}_{32}$ および $K = \mathbb{F}_{22}$ の具体的計算
既存結果との比較：新しい分類がChen分類よりも実際に精細であることを証明する

評価指標

等価類数の削減程度
分類の厳密性
理論結果の完全性

実験結果

主要結果

1. 有限体上の改善された分類

例6.2： $\gcd([m]_s, p^r-1) = p^r-1$ の場合、Chen等価性の下では $p^r-1$ 個の異なる斜常循環符号類が存在するが、新しい等価関係の下では、各等価類は（ $a \notin \mathbb{F}_p$ の場合）r個の要素を含み、したがって類数は元の1/rに削減される。