Использование неассоциативных алгебр для классификации косых полициклических кодов с точностью до изометрии и эквивалентности

Основная информация

• 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
• Дата публикации: 13 октября 2025 г. (препринт arXiv)
• Ссылка на статью: https://arxiv.org/abs/2508.10139

Аннотация

В данной работе предлагаются новые определения эквивалентности и изометрии косых полициклических кодов путём использования изоморфизмов между окружающими алгебрами, что приводит к более плотной классификации по сравнению с существующими методами. Это сокращает количество известных ранее классов изометрии и эквивалентности. В процессе автор классифицирует классы косых $(f,σ,δ)$-полициклических кодов с одинаковыми параметрами производительности, чтобы избежать дублирования существующих кодов, и точно указывает, когда различные концепции эквивалентности совпадают.

Существует взаимно однозначное соответствие между образующими косых полициклических кодов и образующими главных левых идеалов в их окружающей алгебре. Допуская неассоциативность окружающей алгебры, устраняются ограничения на длину кода. Алгебраические изоморфизмы, сохраняющие расстояние Хэмминга (называемые изометриями), отображают образующие главных левых идеалов в образующие главных левых идеалов и сохраняют длину, размерность и расстояние Хэмминга кода.

Исследовательский контекст и мотивация

Определение проблемы

1. Важность проблемы классификации: Результаты эквивалентности косых полициклических кодов могут использоваться для оптимизации поиска хороших кодов, избежания дублирования существующих параметров кода и нахождения классов эквивалентности в заданном наборе кодов.
2. Ограничения существующих методов:
   • Существующая классификация в основном использует эквивалентность и изометрию Чена, рассматривая только случай τ = id
   • Отсутствует систематическая обработка неассоциативных окружающих алгебр
   • Классификация недостаточно плотная, содержит избыточность
3. Исследовательская мотивация:
   • Установить более тонкие отношения эквивалентности, сокращающие количество классов эквивалентности
   • Расширить на неассоциативную алгебраическую установку, устранив ограничения на длину кода
   • Предоставить более эффективные инструменты для конструирования квантовых кодов с исправлением ошибок

Основные вклады

1. Новые определения эквивалентности: Предложены более тонкие концепции эквивалентности и изометрии по сравнению с существующей эквивалентностью Чена, допускающие использование произвольных автоморфизмов τ ∈ Aut(S)
2. Неассоциативная алгебраическая структура: Систематическое рассмотрение косых полициклических кодов как главных левых идеалов в неассоциативных алгебрах Пети, устраняющее ограничения на длину кода
3. Улучшенные результаты классификации:
   • Приведены необходимые и достаточные условия эквивалентности (теорема 5.1)
   • Доказано совпадение эквивалентности и изометрии при определённых условиях (теорема 5.2)
   • Вычислены все классы эквивалентности (теорема 5.7)
4. Конкретные приложения: Обеспечена более плотная классификация косых констациклических кодов над конечными полями с явными формулами подсчёта

Подробное описание методов

Определение задачи

Пусть S — унитарное ассоциативное кольцо, σ ∈ Aut(S), f, h ∈ R = St;σ,δ — унитарные многочлены. Задача состоит в классификации классов эквивалентности и изометрии косых $(f,σ,δ)$-полициклических кодов длины m.

Основные концепции

1. Алгебра Пети

Для унитарного многочлена $f(t) = t^m - \sum_{i=0}^{m-1} a_i t^i$ определяется алгебра Пети: $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 (Критерий эквивалентности): Два класса косых полициклических кодов $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) — абелева группа. Тогда концепции эквивалентности и изометрии для косых $(f,σ)$-полициклических кодов длины m совпадают.

Технические инновации

1. Характеризация мономиальных изоморфизмов: Полная характеризация изоморфизмов, сохраняющих вес Хэмминга, через условие $ασ(τ(b)) = τ(σ(b))α$
2. Систематическое применение неассоциативных алгебр: Первое систематическое использование теории неассоциативных алгебр Пети для обработки косых полициклических кодов
3. Явное построение классов эквивалентности: Полное описание и методы вычисления классов эквивалентности

Экспериментальная установка

Теоретическая верификация

Данная работа является в основном теоретической, результаты верифицируются следующим образом:

1. Конкретные примеры над конечными полями:
   • $K = \mathbb{F}_{p^2}$, σ — автоморфизм Фробениуса
   • Конкретные вычисления для $K = \mathbb{F}_{32}$ и $K = \mathbb{F}_{22}$
2. Сравнение с существующими результатами: Доказано, что новая классификация действительно более тонкая, чем классификация Чена

Метрики оценки

• Степень сокращения количества классов эквивалентности
• Плотность классификации
• Полнота теоретических результатов

Экспериментальные результаты

Основные результаты

1. Улучшенная классификация над конечными полями

Пример 6.2: Когда $\gcd([m]_s, p^r-1) = p^r-1$, при эквивалентности Чена существует $p^r-1$ различных классов косых констациклических кодов, тогда как при новом отношении эквивалентности каждый класс эквивалентности содержит r элементов (когда $a \notin \mathbb{F}_p$), таким образом, количество классов сокращается в r раз.

2. Конкретные результаты подсчёта

Пример 6.4 ($K = \mathbb{F}_{32}$):

• Когда m нечётно: количество классов Чена = 1, количество новых классов = 1
• Когда $m \equiv 2 \pmod{4}$: количество классов Чена = 4, количество новых классов = 2
• Когда $m \equiv 0 \pmod{4}$: количество классов Чена = 8, количество новых классов = 5

3. Условия совпадения эквивалентности и изометрии

Доказано, что в большинстве случаев (особенно когда окружающая алгебра неассоциативна), эквивалентность и изометрия совпадают, упрощая задачу классификации.

Теоретические находки

1. Улучшение классификации: Новое отношение эквивалентности действительно производит меньше классов эквивалентности, подтверждая эффективность метода
2. Преимущества неассоциативных алгебр: Допуск неассоциативности окружающей алгебры устраняет ограничения на длину кода, делая теорию более полной
3. Действие группы автоморфизмов: Структура группы автоморфизмов Aut(S) непосредственно влияет на количество и структуру классов эквивалентности

Связанные работы

Основные направления исследований

1. Классическая теория классификации: Классификация констациклических кодов Чена и др. CFLL2012
2. Теория косых полиномиальных колец: Теория косых циклических кодов Бушера-Ульмера BouUl2009
3. Приложения неассоциативных алгебр: Применение теории алгебр Пети в кодировании

Преимущества данной работы

1. Более тонкая классификация: По сравнению с классификацией Чена сокращена избыточность
2. Полнота теории: Систематическая обработка неассоциативного случая
3. Широкий спектр приложений: Применимо к конструированию квантовых кодов с исправлением ошибок

Заключение и обсуждение

Основные выводы

1. Предложены новые концепции эквивалентности для косых полициклических кодов, обеспечивающие более плотную классификацию
2. Систематическое использование неассоциативных алгебр Пети устраняет ограничения на длину кода
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. Дальнейшее развитие алгебраической теории кодирования

Библиография

Данная работа ссылается на важные работы в области теории кодирования, теории косых полиномиальных колец и неассоциативной алгебры, включая:

• Работы по классификации констациклических кодов Чена и др.
• Теорию косых циклических кодов Бушера-Ульмера
• Соответствующую теорию алгебр Пети
• Предыдущие работы автора об изоморфизмах неассоциативных алгебр

Резюме: Это высокачественная теоретическая работа, которая посредством введения теории неассоциативных алгебр предоставляет новые инструменты и более тонкие результаты для классификации косых полициклических кодов. Хотя работа в основном теоретическая, она закладывает важный фундамент для практических приложений, особенно в конструировании квантовых кодов с исправлением ошибок.