Utilisation d'algèbres non-associatives pour classifier les codes polycycliques obliques jusqu'à l'isométrie et l'équivalence

Informations fondamentales

• ID de l'article: 2508.10139
• Titre: Using nonassociative algebras to classify skew polycyclic codes up to isometry and equivalence
• Auteur: Susanne Pumplün
• Classification: cs.IT math.IT math.RA
• Date de publication: 13 octobre 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2508.10139

Résumé

Cet article propose de nouvelles définitions de l'équivalence et de l'isométrie des codes polycycliques obliques en exploitant les isomorphismes entre algèbres ambiantes, ce qui conduit à une classification plus fine que les méthodes existantes. Cela réduit le nombre de classes d'isométrie et d'équivalence précédemment connus. Au cours de ce processus, l'auteur classifie les classes de codes obliques $(f,σ,δ)$-polycycliques ayant les mêmes paramètres de performance, afin d'éviter de dupliquer les codes existants, et précise exactement quand différents concepts d'équivalence coïncident.

Il existe une correspondance biunivoque entre les générateurs des codes polycycliques obliques et les générateurs des idéaux principaux à gauche dans leur algèbre ambiante. En permettant à l'algèbre ambiante d'être non-associative, on élimine les restrictions sur la longueur du code. Les isomorphismes algébriques préservant la distance de Hamming (appelés isométries) appliquent les générateurs des idéaux principaux à gauche aux générateurs des idéaux principaux à gauche, et préservent la longueur, la dimension et la distance de Hamming du code.

Contexte de recherche et motivation

Définition du problème

1. Importance du problème de classification: Les résultats d'équivalence des codes polycycliques obliques peuvent être utilisés pour optimiser la recherche de bons codes, éviter de dupliquer les paramètres de codes existants, et trouver les classes d'équivalence dans un ensemble de codes donné.
2. Limitations des méthodes existantes:
   • Les classifications existantes utilisent principalement l'équivalence et l'isométrie de Chen, considérant uniquement le cas τ = id
   • Absence de traitement systématique des algèbres ambiantes non-associatives
   • Classification insuffisamment fine, avec redondances
3. Motivation de la recherche:
   • Établir des relations d'équivalence plus fines, réduisant le nombre de classes d'équivalence
   • Étendre au cadre des algèbres non-associatives, éliminant les restrictions sur la longueur du code
   • Fournir des outils plus efficaces pour la construction de codes correcteurs d'erreurs quantiques

Contributions principales

1. Nouvelles définitions d'équivalence: Proposer des concepts d'équivalence et d'isométrie plus fins que l'équivalence de Chen existante, permettant l'utilisation d'automorphismes arbitraires τ ∈ Aut(S)
2. Cadre d'algèbres non-associatives: Traiter systématiquement les codes polycycliques obliques comme des idéaux principaux à gauche dans les algèbres de Petit non-associatives, éliminant les restrictions sur la longueur du code
3. Amélioration des résultats de classification:
   • Fournir des conditions nécessaires et suffisantes pour l'équivalence (Théorème 5.1)
   • Prouver que sous certaines conditions, l'équivalence et l'isométrie coïncident (Théorème 5.2)
   • Calculer toutes les classes d'équivalence (Théorème 5.7)
4. Applications concrètes: Fournir une classification plus fine des codes obliques constacycliques sur les corps finis, avec des formules de comptage explicites

Détails de la méthode

Définition de la tâche

Soit S un anneau associatif unitaire, σ ∈ Aut(S), f, h ∈ R = St;σ,δ des polynômes unitaires. La tâche consiste à classifier les classes d'équivalence et d'isométrie des codes obliques $(f,σ,δ)$-polycycliques de longueur m.

Concepts fondamentaux

1. Algèbres de Petit

Pour un polynôme unitaire $f(t) = t^m - \sum_{i=0}^{m-1} a_i t^i$, définir l'algèbre de Petit: $S_f = S[t;σ,δ]/S[t;σ,δ]f$

C'est une algèbre non-associative, associative si et seulement si Rf est un idéal bilatère.

2. Définition d'équivalence

Définition 3.1: Soit τ ∈ Aut(S), α ∈ S×, k ∈ ℕ. S'il existe un isomorphisme d'anneau $G : R/Rf → R/Rh$ défini par G|_S = τ et $G_{τ,α,k}(t) = αt^k$, alors G est appelé isométrie ou isomorphisme monomiale de degré k. Quand k = 1, $G_{τ,α}$ est appelé équivalence.

3. Théorèmes principaux

Théorème 5.1 (Critère d'équivalence): Deux classes de codes polycycliques obliques $C_f$ et $C_h$ sont équivalentes si et seulement s'il existe τ ∈ Aut(S) commutant avec σ et α ∈ S× tels que $τ(a_i) = N^σ_{m-i}(σ^i(α))b_i$ pour tous i ∈ {0,...,m-1}.

Théorème 5.2 (Coïncidence d'équivalence et d'isométrie): Soit n ≥ m-1 et f ne générant pas un idéal bilatère dans Kt;σ, Aut(K) étant un groupe abélien. Alors les concepts d'équivalence et d'isométrie pour les codes obliques $(f,σ)$-polycycliques de longueur m coïncident.

Points d'innovation technique

1. Caractérisation des isomorphismes monomiales: Caractériser complètement les isomorphismes préservant le poids de Hamming par la condition $ασ(τ(b)) = τ(σ(b))α$
2. Application systématique des algèbres non-associatives: Première utilisation systématique de la théorie des algèbres de Petit non-associatives pour traiter les codes polycycliques obliques
3. Construction explicite des classes d'équivalence: Fournir une description complète et une méthode de calcul des classes d'équivalence

Configuration expérimentale

Vérification théorique

Cet article est principalement un travail théorique, vérifié par:

1. Exemples concrets sur les corps finis:
   • Cas $K = \mathbb{F}_{p^2}$, σ étant l'automorphisme de Frobenius
   • Calculs concrets pour $K = \mathbb{F}_{32}$ et $K = \mathbb{F}_{22}$
2. Comparaison avec les résultats existants: Prouver que la nouvelle classification est effectivement plus fine que la classification de Chen

Métriques d'évaluation

• Degré de réduction du nombre de classes d'équivalence
• Finesse de la classification
• Complétude des résultats théoriques

Résultats expérimentaux

Résultats principaux

1. Classification améliorée sur les corps finis

Exemple 6.2: Quand $\gcd([m]_s, p^r-1) = p^r-1$, il y a $p^r-1$ classes de codes obliques constacycliques distincts sous l'équivalence de Chen, tandis que sous la nouvelle relation d'équivalence, chaque classe d'équivalence contient r éléments (quand $a \notin \mathbb{F}_p$), réduisant ainsi le nombre de classes à 1/r de l'original.

2. Résultats de comptage concrets

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

• Quand m est impair: nombre de classes d'équivalence de Chen = 1, nombre de nouvelles classes d'équivalence = 1
• Quand $m \equiv 2 \pmod{4}$: nombre de classes d'équivalence de Chen = 4, nombre de nouvelles classes d'équivalence = 2
• Quand $m \equiv 0 \pmod{4}$: nombre de classes d'équivalence de Chen = 8, nombre de nouvelles classes d'équivalence = 5

3. Conditions de coïncidence d'équivalence et d'isométrie

Prouver que dans la plupart des cas (particulièrement quand l'algèbre ambiante est non-associative), l'équivalence et l'isométrie coïncident, simplifiant le problème de classification.

Découvertes théoriques

1. Amélioration de la classification: La nouvelle relation d'équivalence produit effectivement moins de classes d'équivalence, validant l'efficacité de la méthode
2. Avantages des algèbres non-associatives: Permettre à l'algèbre ambiante d'être non-associative élimine les restrictions sur la longueur du code, rendant la théorie plus complète
3. Action du groupe d'automorphismes: La structure du groupe d'automorphismes Aut(S) affecte directement le nombre et la structure des classes d'équivalence

Travaux connexes

Directions de recherche principales

1. Théorie de classification classique: Travaux de classification des codes constacycliques par Chen et al. CFLL2012
2. Théorie des anneaux de polynômes obliques: Théorie des codes cycliques obliques de Boucher-Ulmer BouUl2009
3. Applications d'algèbres non-associatives: Applications de la théorie des algèbres de Petit en codage

Avantages de cet article

1. Classification plus fine: Réduction de la redondance par rapport à la classification de Chen
2. Complétude théorique: Traitement systématique du cas non-associatif
3. Généralité des applications: Applicable à la construction de codes correcteurs d'erreurs quantiques

Conclusion et discussion

Conclusions principales

1. Proposer de nouveaux concepts d'équivalence pour les codes polycycliques obliques, réalisant une classification plus fine
2. Utiliser systématiquement les algèbres de Petit non-associatives, éliminant les restrictions sur la longueur du code
3. Fournir des conditions de discrimination complètes pour l'équivalence et une construction explicite des classes d'équivalence
4. Prouver que dans la plupart des cas, les concepts d'équivalence et d'isométrie coïncident

Limitations

1. Complexité computationnelle: La caractérisation complète des classes d'isométrie reste difficile dans certains cas
2. Étendue des applications: Principalement concentrée sur le cas δ = 0, le cas δ ≠ 0 nécessite une recherche ultérieure
3. Anneaux non-commutatifs: Actuellement principalement considérés pour les anneaux commutatifs S

Directions futures

1. Étudier les isomorphismes préservant le poids de Hamming quand δ ≠ 0
2. Étendre au cas des anneaux non-commutatifs
3. Applications concrètes dans la construction de codes correcteurs d'erreurs quantiques
4. Considérer les concepts d'isométrie préservant la dualité

Évaluation approfondie

Points forts

1. Innovation théorique: Première utilisation systématique de la théorie des algèbres non-associatives pour la classification des codes polycycliques obliques
2. Complétude des résultats: Fournir des conditions nécessaires et suffisantes pour l'équivalence et une description complète des classes d'équivalence
3. Valeur pratique: Fournir des outils plus efficaces pour la recherche et la classification de codes
4. Rigueur mathématique: Preuves complètes et fondations théoriques solides

Insuffisances

1. Complexité computationnelle: La caractérisation des classes d'isométrie dans certains cas reste difficile
2. Vérification d'application: Absence de vérification d'application dans les problèmes de codage pratiques
3. Implémentation algorithmique: Pas de fourniture d'implémentation algorithmique concrète

Impact

1. Contribution théorique: Fournir de nouveaux outils algébriques pour la théorie du codage
2. Valeur pratique: Contribuer à l'optimisation des algorithmes de recherche de codes
3. Impact interdisciplinaire: Connecter les algèbres non-associatives et la théorie du codage

Scénarios d'application

1. Recherche théorique sur les codes polycycliques obliques
2. Construction de codes correcteurs d'erreurs quantiques
3. Classification de codes linéaires sur les anneaux finis
4. Développement ultérieur de la théorie algébrique du codage

Références

Cet article cite des travaux importants dans les domaines de la théorie du codage, de la théorie des anneaux de polynômes obliques et des algèbres non-associatives, notamment:

• Travaux de classification des codes constacycliques par Chen et al.
• Théorie des codes cycliques obliques de Boucher-Ulmer
• Théorie connexe des algèbres de Petit
• Travaux antérieurs de l'auteur sur les isomorphismes d'algèbres non-associatives

Résumé: Ceci est un article théorique de haute qualité qui, en introduisant la théorie des algèbres non-associatives, fournit de nouveaux outils et des résultats plus fins pour la classification des codes polycycliques obliques. Bien qu'il s'agisse principalement d'un travail théorique, il pose des fondations importantes pour les applications pratiques, particulièrement avec une valeur d'application potentiellement importante dans la construction de codes correcteurs d'erreurs quantiques.