Научная статья на тему 'ВЫЧИСЛЕНИЕ ПАР, ИСПРАВЛЯЮЩИХ ОШИБКИ ДЛЯ АЛГЕБРО-ГЕОМЕТРИЧЕСКОГО КОДА'

ВЫЧИСЛЕНИЕ ПАР, ИСПРАВЛЯЮЩИХ ОШИБКИ ДЛЯ АЛГЕБРО-ГЕОМЕТРИЧЕСКОГО КОДА Текст научной статьи по специальности «Математика»

CC BY
15
4
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
функциональное поле / алгебро-геометрический код / исправляющая ошибки пара / подполевой подкод / functional field / algebraic-geometric code / error-correcting pair / subfield subcode

Аннотация научной статьи по математике, автор научной работы — Кунинец Артем Андреевич, Малыгина Екатерина Сергеевна

Для произвольного алгебро-геометрического кода и дуального к нему явно вычислены пары, исправляющие ошибки. Такая пара состоит из кодов, которые необходимы для эффективного алгоритма декодирования заданного кода. Вид пар зависит от степеней дивизоров, с помощью которых строится как исходный код, так и один из кодов, входящих в пару. Для алгебро-геометрического кода Cl(D, G) длины и, ассоциированного с функциональным полем F/Fq род а д, парами, исправляющими t = [(n — deg(G) — g — 1)/2] ошибок, при определённых ограничениях на степени дивизоров, участвующих в их построении, являются пары кодов (Cl(D,F),Cl(D,G + F)┴) или (Cl(D,F)┴,Cl(D,F — G)). Выведены ограничения на степени дивизоров кодов (Cl(D,F), Cl(D,G — F)), составляющих пару, исправляющую t = [(deg(G) — 3g + 1)/2] ошибок для дуального кода Cl(D, G)┴. Рассмотрены случаи принадлежности одного из кодов, участвующих в построении пары, к классу MDS-кодов и выведены параметры, при которых данная ситуация возможна. Кроме того, вычислены возможные границы для дивизоров, участвующих в построении пар, исправляющих ошибки для подполевых подкодов Cl(D,G)|fp и Cl(D, G)┴|fp исходного алгебро-геометрического кода и дуального к нему, при степени расширения m = 2 (Fq = Fp²).

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Кунинец Артем Андреевич, Малыгина Екатерина Сергеевна

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

CALCULATION OF ERROR-CORRECTING PAIRS FOR AN ALGEBRAIC-GEOMETRIC CODE

Error-correcting pairs are calculated explicitly for an arbitrary algebraic-geometric code and its dual code. Such a pair consists of codes that are necessary for an effective decoding algorithm for a given code. The type of pairs depends on the degrees of divisors with which both the original code and one of the codes from error-correcting pair are constructed. So for the algebraic-geometric code Cl(D,G) of the length n associated with a functional field F/Fq of genus g the error-correcting pair with number of errors t = [(n — deg(G) — g — 1)/2] is (Cl(D, F), Cl(D, G + F)┴) or (Cl(D, F)┴, Cl(D, F—G)). For the dual code Cl(D, G)┴ the error-correcting pair with number of errors t = [(deg(G) — 3g + 1)/2] is (Cl(D, F), Cl(D, G — F)). Considering each component of pair as MDS-code, we obtain additional conditions on the degrees of the divisors G and F. In addition, error-correcting pairs are calculated for subfield subcodes Cl(D,G)|Fp and Cl(D,G)┴|Fp, where Fp is a subfield of Fq. The form of a first component in the pair depends on the degrees of the divisors G and F and, in some cases, on the genus g.

Текст научной работы на тему «ВЫЧИСЛЕНИЕ ПАР, ИСПРАВЛЯЮЩИХ ОШИБКИ ДЛЯ АЛГЕБРО-ГЕОМЕТРИЧЕСКОГО КОДА»

ПРИКЛАДНАЯ ДИСКРЕТНАЯ МАТЕМАТИКА

2024 Прикладная теория кодирования № 63

ПРИКЛАДНАЯ ТЕОРИЯ КОДИРОВАНИЯ

УДК 519.725 DOI 10.17223/20710410/63/4

ВЫЧИСЛЕНИЕ ПАР, ИСПРАВЛЯЮЩИХ ОШИБКИ ДЛЯ АЛГЕБРОГЕОМЕТРИЧЕСКОГО КОДА1

A.A. Кунинец*, Е. С. Малыгина**

* Балтийский федеральный университет, им. И.Канта, г. Калининград, Россия

**

E-mail: [email protected], [email protected]

Для произвольного алгеброгеометрического кода и дуального к нему явно вычислены пары, исправляющие ошибки. Такая пара состоит из кодов, которые необходимы для эффективного алгоритма декодирования заданного кода. Вид пар зависит от степеней дивизоров, с помощью которых строится как исходный код, так и один из кодов, входящих в пару. Для алгеброгеометрического кода Cl(D, G) длины и, ассоциированного с функциональным полем F/Fq рода д, парами, исправляющими t = |_(и — deg(G) — д — 1)/2j ошибок, при определённых ограничениях на степени дивизоров, участвующих в их построении, являются пары кодов (Cl(D,F),Cl(D,G + Fили (CL(D,F)±, CL(D,F — G)). Выведены ограничения на степени дивизоров кодов (Cl(D, F), Cl(D,G — F)), составляющих пару, исправляющую t = |(deg(G) — 3д + 1)/2j ошибок для дуального кода Cl(D, G)^. Рассмотрены случаи принадлежности одного из кодов, участвующих в построении пары, к классу MDS-кодов и выведены параметры, при которых данная ситуация возможна. Кроме того, вычислены возможные границы для дивизоров, участвующих в построении пар, исправляющих ошибки для подполевых подкодов Cl(D,G)|fp и Cl(D, G)x|fp исходного алгеброгеометрического кода и дуального к нему, при степени расширения m = 2 (Fq = Fp2).

Ключевые слова: функциональное поле, алгеброгеометрический код, исправляющая ошибки пара, подполевой подкод.

CALCULATION OF ERROR-CORRECTING PAIRS FOR AN ALGEBRAIC-GEOMETRIC CODE

A.A. Kuninets*, E,S, Malvgina**

* Immanuel Kant Baltic Federal University, Kaliningrad, Russia

**

Error-correcting pairs are calculated explicitly for an arbitrary algebraic-geometric code and its dual code. Such a pair consists of codes that are necessary for an effective decoding algorithm for a given code. The type of pairs depends on the

1 Работа первого автора поддержана грантом Российского научного фонда №22-41-0441, работа второго автора выполнена в рамках Программы фундаментальных исследований НИУ ВШЭ.

degrees of divisors with which both the original code and one of the codes from error-correcting pair are constructed. So for the algebraic-geometric code CL(D,G) of the length n associated with a functional field F/Fq of genus g the error-correcting pair with number of errors t = |_(n - deg(G) - g - 1)/2j is (Cl(D, F), Cl(D, G + F)±) or (CL(D, F)±, Cl(D, F-G)). For the dual code CL(D, G)x the error-correcting pair with number of errors t = |_(deg(G) - 3g + 1)/2j is (Cc(D, F), Cc(D, G - F)). Considering each component of pair as MDS-code, we obtain additional conditions on the degrees of the divisors G and F. In addition, error-correcting pairs are calculated for subfield subcodes Cl(D,G)|Fp and CL(D,G)±|Fp, where Fp is a subfield of Fq. The form of a first component in the pair depends on the degrees of the divisors G and F and, in some cases, on the genus g.

Keywords: functional field, algebraic-geometric code, error-correcting pair, .subfield subcode.

Введение

Исследование задачи декодирования кодов, построенных на алгебраических кривых, явилось очень востребованным за последние тридцать лет. Изначально Т. Хёхольдт и др. предложили синдромный алгоритм декодирования для кодов, ассоциированных с плоской кривой [1]. Затем А. Скоробогатов и С, Влэдуц обобщили этот алгоритм на произвольные кривые [2]. Далее Р. Пелликаан и Р, Кёттер независимо друг от друга предложили алгоритм декодирования, исключающий абстрактные понятия алгебраической геометрии и использующий пары, исправляющие ошибки [3, 4]. Парой, исправляющей ошибки для кода С, является пара кодов А и В, удовлетворяющая некоторым ограничениям на размерность и минимальное расстояние, а также

АВ

ном коде ССуществование такой пары обеспечивает эффективный алгоритм декодирования для алгеброгеометричееких кодов (АГ-кодов), который использует лишь методы линейной алгебры. Особый интерес представляет построение таких пар, поскольку сама пара является входным параметром для алгоритма декодирования. Стоит также отметить, что пары, исправляющие ошибки, заслуживают внимания и с криптографической точки зрения, поскольку лежат в основе атаки на АГ-коды [5].

Структура работы следующая: в п, 1 мы даём предварительные сведения, касающиеся базовых объектов теории функциональных полей и алгебраических кривых, необходимых для задания АГ-кода с помощью пространства Римана — Роха, а также для задания дуального АГ-кода с помощью пространства дифференциалов, В п, 2 представлен основной результат работы, заключающийся в ряде теорем. Первоначально мы задаём пары, исправляющие ошибки для АГ-кода и дуального к нему, накладывая ограничения на степени их дивизоров. Затем мы исследуем, при каких значениях код из пары или исходный код, для которого находится пара, является МВБ-кодом (т, е, минимальное расстояние кода достигает максимального значения границы Синглтона), Далее мы даём полную классификацию пар, исправляющих ошибки для подполевых подкодов исходного АГ-кода и дуального к исходному Л Г-коду при условии, что эти коды определены над квадратичным расширением конечного поля. Классификация включает в себя явный вид кодов из пары, значение рода кривой, длину кода, а также условия, налагаемые на степени дивизоров, ассоциированных с исходным кодом и его подполевым подкодом.

Данная работа является продолжением работы, представленной на конференции 81ВЕСКУРТ'23 [6].

1. Предварительные сведения

1,1, Алгебраические кривые и функциональные поля

Будем обозначать через ¥я конечное поле, состоящее из д элементов, где д — степень простого числа.

Под проективной кривой над конечным полем ¥д понимается проективное многообразие над ¥я размерности один, где проективное многообразие представляет собой неприводимое замкнутое подмножество в проективном пространстве Р" [7], Далее будем обозначать проективную кривую через X,

В большинстве случаев в теории кодирования используются кривые, определённые над конечным полем. Под проективной кривой X, определённой над ¥д, будем понимать кривую X С Рп(¥д), где ¥я — алгебраическое замыкание поля ¥я, причём однородный многочлен, определяющий кривую, имеет коэффициенты в ¥я. Определим поле функций кривой X:

(X) = {к : € ¥д [х1,...,хп-1], к = о} .

Здесь сама кривая определена однородным многочленом из кольца ¥д [Х1,..., Хп] и X X

х1 = -—, ,,,, хп-1 = —П—, Говорят, что ¥д (X) является функциональным полем

Хп Хп

кривой X/¥я.

Пусть Р —точка кривой X, Функция f € ¥д(X) называется регулярной в точке Р,

д

если её можно записать в виде f = — ид(Р) = 0, Множество регулярных функций

к

в точке Р образует кольцо, называемое локальним кольцом Ор. Отметим, что точка кривой может иметь степень. Точки кривой, имеющие координаты в ¥д, называются рациональными точками или точками степени один. Если координаты точки кривой лежат в расширении базового конечного поля, то точка имеет степень, равную степени этого расширения.

Приведём базовые определения и свойства функциональных полей, чтобы посмотреть, как они связаны с алгебраическими кривыми.

Алгебраическим, функциональным полем Т/¥д от одной переменной называется расширение ¥я (х) тол я ¥я, являющееся конечным алгебраическим расширением для некоторого трансцендентного над ¥д элемента х € ¥д (х). Соответственно функциональным полем от п переменных является конечное алгебраическое расширение ¥д(х1;..., хп), где х1;..., хп трансцендентны над ¥д.

Для функциональных полей аналогом локального кольца в случае алгебраических кривых является кольцо нормирования. Кольцом нормирования функционального поля Т/¥я называется кольцо О, такое, что:

- ¥я С О С Р;

— для любого элемента х € Т выполняется: х € О ми х-1 € О,

Следует отметить, что если мы работаем над алгебраически замкнутым полем, то существует взаимно однозначное соответствие между точками кривой и точками её функционального поля, хотя точка функционального поля имеет совсем иную специфику, Точкой Р функционального поля Т/¥д называется максимальный идеал неко-

О

По свойствам кольца нормирования оно является локальным кольцом, а значит, ОР

Ор = {х € Р : х-1 € Р}.

Кроме того, по свойствам кольца нормирования Р является главным идеалом, следовательно, Р = ¿рОр, при этом элемент ¿р называется локальным параметром точки Р. Теперь определим степень точки Р как степень расширения поля Ор/Р над ¥д, а именно:

deg(P) = [Ор/Р : Fp].

Далее будем отождествлять кривую с её функциональным полем и перейдём к рассмотрению основополагающих объектов для определения АГ-кода — дивизорам кривой (или её функционального поля).

Группой дивизоров ) проективной кривой X называется свободная абелева

группа, порождённая точками X. Элементы группы О Е БЬ'(Х) называются дивизорами и представляют собой формальную сумму точек:

О = £ пр Р, р ех

причём только конечное число пр € Ъ отлично от нуля. Определим степень дивизора как

deg(D) = £ пр • deg(P). р ех

В группе БЬ'(Х) определено частичное упорядочивание:

пр Р ^ £ тр Р пр ^ тр для любой точки Р Е X. рех р ех

Теперь определим дивизор функции. Пусть Д Е ^(X)*, Обозначим через X (через Щ множество пулей (полюсов) функции Д, определяемых с помощью точек Р Е X, Тогда для функции Д определим:

— её дивизор нулей:

(Д)о = £ пр Р, где пр — кратность, соответствующая точке Р; р еz

— дивизор полюсов:

(Д= £ (—пр) Р, вде пр — кратность, соответствующая точке Р; р ем

— главный дивизор:

(Д) = (Д)о - (Д)«,

Чтобы определить дуальный код, потребуется ряд понятий, связанных с дифференцированием и дифференциалами.

Определим дифференцирование над Fq(X) как Ед-линейное отображение

△ : ^(X) ^ ^(X),

удовлетворяющее правилу Лейбница А(Дд) = ДА(д) + дА(Д) для Д,д Е Fq(X), Множество таких дифференцирований Бег^(X)) образует векторное пространство над Fq(X),

Дифференциальной формой или дифференциалом на кривой X называется Fq(X)-линейное отображение Бег^ (X)) ^ Fq (X), Множество всех дифференциалов кривой X будем обозначать П^),

Рассмотрим отображение

i :

Fq (X ) ^ Q(X ), f ^ if,

сопоставляющее всякой функции f дифференциал if : Der(Fq(X)) ^ Fq(X) по правилу if (△) = A(f) для любого △ G Der(Fq(X)),

Отметим, что любой дифференциал ш G Q(X) можно уникально представить как ш = f $tp для точки P G X и локального параметра tp, где f G Fq(X), Будем говорить,

что P является нулём ш, если P — нуль функции f, аналогично P —полюс ш, если P

f

f G Fq(X)* можно определить дивизор для дифференциала ш G Q(X)*:

(ш) = Е np P, p ew

однако специфика вычисления значения np достаточно сложная, поэтому за деталями

(ш)

W = (ш), тогда, согласно [8], deg(W) = 2g — 2,

Одним из важных понятий является понятие рода кривой (её функционального X

такие кривые рассматриваются для приложений в теории кодирования) степени г, то g(X) = (г — 1)(г — 2)/2.

1,2, А лгеброгео метрические коды и дуальные к ним Рассмотрим две конструкции АГ-кодов, а именно: конструкцию АГ-кода с привлечением пространства Римана — Роха и конструкцию дуального к нему АГ-кода с привлечением пространства дифференциалов.

Построение CL(D, G)

Пусть G —дивизор кривой X, Определим множество

L(G) = {f G Fq(X) : (f) ^ —G}.

Fq

на — Роха. Обозначим dimFq(L(G)) = 1(G), Благодаря теореме Римана —Роха, можно получить значение 1(G),

XW

G G (X)

1(G) = deg(G) + 1 — g(X) + l(W — G).

Кроме того, если deg(G) > 2g — 2, то 1(G) = deg(G) + 1 — g(X),

Пусть Pi, P2,..., Pn — попарно различные рациональные точки кривой X или точки функционального поля Fq(X) степени один. Обозначим D = P1 + ... + Pn и G — дивизоры кривой X, причём в записи дивизора G те участвуют точки дивизора D и deg(G) < n, Рассмотрим отображение

D \ f ^ (f (Pi),...,f (Pn)).

Определение 1. АГ-кодом CL(D, G), ассоциированным с кривой X и дивизора-

ми D и G, называется подпроетранетво в F™ вида

Cl(D,G) = {evD(f): f eL(G)}.

Отметим, что всякий код CL(D, G) можно задать параметрами [n, k, d], где n —длина кода (число точек в записи дивизора D); k = k(C) — размерность кода (размерность пространства Римана —Роха L(G)); d = d(C) — минимальное расстояние кода. Согласно [8, Theorem 2,2,2], код CL(D, G) является [n, k, dj-кодом, причём

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

k ^ deg(G) + 1 - g, d ^ n - deg(G),

и если 2g — 2 < deg(G) < n, то k = deg(G) + 1 — g.

Если {fi,..., fk} — базис L(G), то порождающая матрица кода CL(D, G) имеет следующий вид:

fl(Pi) fi(P2) ... fi(Pn)\

f2 ( Pi ) f2 ( P2 ) ... f2(Pn)

Vfk (Pi) fk (P2) ... fk (Pn)J

Построение Cq(D, G)

Для определения дуального кода к коду CL(D, G) определим множество

fi(G) = {w е fi(X) : (w) ^ G}.

Оно является векторным пространством над Fq и называется пространством дифференциалов. Размерность dimFq (Q(G)) = i(G) называется индексом, специальности G

i(G) = 1(G) — deg(G) + g(X) — 1.

Чтобы задать дуальный код непосредственно, нужно ввести понятия вычета дифференциала w = f5tp в точке P, где f е Fq(X) и tp —локальный параметр. Для этого разложим функцию f в ряд Лорана по степеням tP:

те

f = Е a^tp,

где а € Вычетом дифференциала, ш в точке Р называется коэффициент а-1 в представленном разложении, он обозначается Еев^(Р),

Как и ранее, пусть Р1; Р2,..., Рп — попарно различные рациональные точки кривой X, О = Р1 + ... + Рп и С —дивизоры кривой X, такие, что в записи дивизора С не участвуют точки дивизора О и deg(G) > 2д — 2, Рассмотрим отображение

fn(G) ^ Fn,

resD : < q

\w ^ (Resw(Pi),...,Resw(Pn)).

Определение 2. АГ-кодом Cq(D, G), ассоциированным с кривой X и дивизорами D и G и являющимся дуальным к CL(D, G), называется

Cn(D, G) = {resD(w) : w е H(G — D)}.

Если параметры кода Cq(D,G) обозначить через [n, k',d'], то, согласно [8, Theorem 2,2,7],

k' = n + g — 1 — degG, d' ^ degG — (2g — 2),

если 2g — 2 < deg G < n,

С учётом построения имеем

C£(D,G)X = Cn(D,G) и Cn(D,G) = C£(D,D — G + W),

W = (ш) X

В общем случае рассматриваемые коды могут исправить до |_(d(d') — 1)/2J ошибок, где d и d' — минимальные расстояпия кодов CL(D,G) и Cq(D,G) соответственно. Будем называть код MPS-кодом, если его минимальное расстояние достигает границы Синглтона, т. е. d(C) = n + 1 — k(C).

1.3. Пары, исправляющие ошибки

Произведение Шура двух векторов a,b G F^ определяется как произведение их соответствующих координат:

(ai,..., a„) * (bi,...,bn) = (aibi,..., a„b„), (ai,... ,a„)* = (ai,... ,aJJ.

Для кодов A, Be Fn произведение Ш ура A * B определяется следующим образом:

A * B = SpanF {a * b | a G A, b G B}.

Определение 3. Пусть C G F^^ —линейный код. Тогда пара линейных кодов (A, B), где A, Be F^ парой, исправляющей t ^^^^^к для кода C, если

выполняются следующие условия: 1) A * B С C

dim(A) > t 3) d(Bx) > t;

d(A) + d(C) > n В обозначениях определения считаем, что d(C) ^ 2t + 1.

A B t

2. Основной результат

Несмотря на наличие ряда работ, посвящённых вопросу существования пар, исправляющих ошибки для линейных кодов, ни в одной из них не представлено нахождение такой пары для произвольного АГ-кода. Исключением является работа [5, Theorem 14], посвящённая криптоанализу криптосистемы Мак-Элиса, в которой рассмотрен общий вид пары, исправляющей ошибки для дуального кода. В следующих теоремах мы не только описываем вид кодов в паре, исправляющей ошибки для Cl(D,G) и Cl(D,G)x, но также задаём классификацию относительно рода функционального поля и степеней дивизоров, ассоциированных с кодами из пары. Отметим, что теорему 14 из [5] мы специализируем на случай принадлежности одного из кодов пары, исправляющей ошибки, к MDS-кодам,

Теорема 2 [11, Theorem 6], Пусть F/Fq — некоторое функциональное поле рода g D = Pi + ... + Pn —дивизор, носитель которого состоит из точек степени один поля F; G и Я —дивизоры, такие, что supp(D) П (supp(G) U supp(H)) = 0. Тогда

CL(D, G) * CL(D, Я) С CL(D, G + Я).

Если deg(G) ^ 2д, deg(H) ^ 2д + 1, то выполняется равенство

Ос (О, С) * Сс(О, Н) = Ос (О, С + Н).

На основе теоремы 2 построим пару, исправляющую £ ошибок для кода С = = С£(О,С).

Теорема 3. Пусть С = Сс(О, С) — АГ-код, ассоциированный с функциональным полем Т/¥ч рода д. Тогда если зирр(С) П шрр(Р) = 0, то парами, исправляющими £ = 1_(п — deg(G) — д — 1)/2] ошибок для кода С, являются следующие коды:

1) А = Сс(О, Р) и В = Сс(О, С + Ресли £ + д ^ deg(F) < п — deg(G) — £ и 2д — 2 < deg(G) < п — д — 1;

2) А = Сс(О, и В = Сс(О, Р — С), если deg(G)+ £ + 2д — 2 < deg(F) ^ п+д — £ — 2 и 2д — 2 < deg(G) < п — д — 1,

Доказательство. Выведем вид пары (А, В), исправляющей ошибки для кода С = Сс(О, С) и покажем, при каких параметрах и ограничениях на степени дивизоров будут выполняться все условия определения 3,

Обоснуем равносильность условий А*В С Сх и В С (А*СДействительно, пусть а €А, Ь € В и с € С, тогда если имеет место включение А * В С Сто (а * Ь, с) = 0, а по свойствам скалярного произведения (а * Ь, с) = (Ь, а * с), откуда (Ь, а * с) = 0, а значит, В С (А * СОбратное рассуждение, а именно: если выполняется условие ВС (А * С то верно и А * В С С— аналогично,

1) Обозначим А = Сс(О, Р) для некоторого дивизора Р. Далее оценим deg(F), но В

Поскольку условие А * В С Сх равносильно условию ВС (А * С покажем, что код В имеет вид Сс(О, С + Р)х:

Сс(О, Р) * Сс(О, С) С Сс(О, С + Р) ^ В = Сс(О, С + РС (С£(О, Р) * С£(О,

Далее, исходя из трёх оставшихся условий определения 3, выведем границы для deg(F):

— Если степень дивизора Р лежит в границах £ + д ^ deg(F) < п, то по теореме Рпмана — Роха

к(А) ^ deg(F) + 1 — д ^ £ + д + 1 — д = £ + 1 >£.

Учитывая верхнюю границу deg(G + Р) < п на степень дивизора С + Р, получаем ограничение deg(G) < п — д — Раскрывая получаем неравенство

deg(G) < п — д — [(п — deg(G) — д — 1)/2],

откуда, накладывая ограничение £ ^ 0, получаем верхнюю границу

deg(G) ^ п — д — 1

на степень дивизора С,

— Если deg(F) ^ п — deg(G) — £ — 1, то

^(Вх) ^ п—deg(F+С) = п—deg(G)—deg(F) ^ п—deg(G)—n+deg(G)+í+1 = £+1 >

— Если deg(Б + С) < п (что справедливо, учитывая предыдущие ограничения), то выполняется условие 4 определения 3:

¿(А) + ¿(С) ^ п - deg(Б) + п - deg(G) = 2п - deg(Б + С) > п.

2, Обозначим А = С^(Б,Рдля некоторого дивизора Р. Далее проверим выполнимость условия 1 определения 3,

По аналогии с предыдущим случаем покажем, что В = Сс (Б, Р — С):

С£(Б, Р* С£(Б, С) = С£(Б, Б - Р + (и)) * С£(Б, С)) С С£(Б, Б + С - Р + (и)) = = С£(Б,Б-(Б+С-Р+(ш)) + (и))± = С£(Б,Р^ В = С£(Б,Б-С) С (А * С

Рассмотрим три оставшихся условия определения 3 с целью уточнения границ для степени дивизора Б:

— Если deg(Б) > 2д - 2, то по теореме Римана —Роха выполняется

к(А) ^ п + д - 1 - deg(Б).

Следовательно, условие 2 выполняется при deg(Б) ^ п+д-2, Учитывая нижнюю границу deg(Б - С) > 2д - 2 и то, что £ ^ 0, как и в прошлом случае, получаем ограничение deg(G) ^ п - д - 1 на степень дивизора С,

— Если deg(Б) ^ deg(G) + £ + 2д - 1, то выполняется следующее:

¿(Вх) ^ deg(Б - С) - 2д + 2 ^ deg(G) + £ + 2д - 1 - deg(G) - 2д + 2 = £ + 1 >

— Если deg(Б - С) > 2д - 2 (всегда верно, учитывая предыдущие ограничения), то выполняется условие 4 определения 3:

¿(А) + ¿(С) ^ deg(Б) - 2д + 2 + п - deg(G) = п + deg(Б - С) - 2д + 2 > п.

Теорема 3 доказана, ■

Следующая теорема даёт некоторую классификацию относительно параметров как кодов из пары, исправляющей ошибки, так и самого кода, для которого эта пара представлена.

Теорема 4. Пусть С = С^(Б, С) — АГ-код, ассоциированный с функциональным полем Трода д. Если тара кодов (А, В) является парой, исправляющей

£ = |_(п - deg(G) - д - 1)/2]

С

1. В случае А = С£(Б,Р) и В = С£(Б,С + Р)х:

1.1) если А = [п, £ +1, п-£], то д — произвольный, 2д - 2 < deg(G) < п- 3д + 3 и deg(Б) = £ + д;

1.2) если В = [п, п - £ + 1], то д = 0 0 < deg(G) < п и deg(Б) = п - deg(G) -- £ - 1;

1.3) если С = [п, п - 2£, 2£ + 1], то д = 0 deg(G) = п - 2£ - 1 и deg(Б) = ¿.

2. В случае А = С£(Б, Ри В = С£(Б, Р - С):

2,1) если А = [п, £ +1, п - £],то д — произвольн ый, 2д - 2 < deg(G) < п - 3д + 3 и deg(Б) = п + д - £ - 2;

2.2) если В = [п,£,п — £ + 1], то д = 0 0 < deg(G) < п и deg(F) = deg(G)+ £ — 1;

2.3) если С = [п, п — 2£, 2£ + 1], то д = 0 deg(G) = п — 2£ — 1 и deg(F) = п — £ — 2, Доказательство.

1, Вид кодов А = Сс(О, Р) и В = Сс(О, С + Рполучен в теореме 3,

1.1, Очевидно, если код А имеет параметры [п,£ + 1,п — £], то А является МВБ-кодом. Таким образом, если 2д — 2 < deg(F) < п, то

к (А) = deg(F ) + 1 — д = £ + 1,

откуда deg(F) = £ + д, Учитывая, что deg(F) > 2д — 2, получаем ограничение deg(G) < < п — 3д + 3 на степень дивизора С,

Теперь проверим, при каких ограничениях выполняются три оставшихся условия определения 3, если А = [п, £ + 1, п — £]:

— Поскольку deg(F) = £ + д, имеем

к(А) = deg(F) + 1 — д = £ + 1 >

— Оценим минимальное расстояние кода Вх, учитывая его нижнюю границу:

¿(Вх) = ¿(С£(О, С + Р)) ^ п — deg(G + Р) = п — deg(G) — £ — д.

По условию определения необходимо, чтобы ¿(Вх) ^ п — deg(G) — £ — д > Данное неравенство имеет место при любых значениях deg(G), поскольку £ = [(п —deg(G) —

— д —1)/2].

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

— Применяя аналогичные рассуждения, проверяем условие 4 определения 3:

¿(А) + ¿(С) ^ п — deg(F) + п — deg(G) = 2п — £ — д — deg(G).

Соответственно ¿(А) + ¿(С) > п, если £ < п — д — deg(G), Ввиду того, что £ = = [(п — deg(G) — д — 1)/2], неравенство (п — deg(G) — д — 1)/2 ^ п — д — deg(G) выполняется всегда,

1.2, Если код В имеет параметры [п, п — £ + 1], то он является МВБ-кодом, Таким образом, если 2д — 2 < deg(G + Р) < п, то

к(В) = п + д — 1 — deg(G + Р) =

откуда deg(F) = п + д — 1 — £ — deg(G),

Проверим, при каких ограничениях выполняются три оставшихся условия определения 3, если В = [п, п — £ + 1]:

— Поскольку deg(F) = п + д — 1 — £ — deg(G), имеем

к(А) = deg(F) + 1 — д = п — £ — deg(G) >

следовательно, £ < (п — deg(G))/2, что выполняется при любых значениях deg(G) при £ = [(п — deg(G) — д — 1)/2].

— Оценим минимальное расстояние кода В±, учитывая его нижнюю границу:

¿(Вх) ^ п — deg(G + Р) = п — deg(G) — deg(F) = £ +1 — д.

По условию определения необходимо, чтобы ¿(Вх) ^ £ +1 — д > что возможно д=0

— Применяя аналогичные рассуждения, проверяем условие 4 определения 3:

¿(А) + ¿(С) ^ п - deg(F) + п - deg(G) = п + £ + 1.

Соответственно ¿(А) + ¿(С) > п, если £ > -1. Поскольку £ = |_(п - deg(G) - 1)/2_|, неравенство (п - deg(G) - 1)/2 > -1 выполняется при deg(G) < п +1, что всегда верно в силу первоначального выбора дивизора С,

1,3, Если код С имеет параметры [п, п- 2£, 2£ +1], то он является МБЯ-кодом, Тогда если 2д - 2 < deg(G) < п, то

к(С) = deg(G) + 1 - д = п - 2£,

откуда deg(G) = п + д - 2£ - 1,

Проверим, при каких ограничениях выполняются три оставшихся условия определения 3, если С = [п, п - 2£, 2£ + 1]:

— Условие к(А) = deg(F) + 1 - д > £ имеет место, если deg(F) > £ + д - 1,

— Оценим минимальное расстояние кода В±, учитывая его нижнюю границу:

¿(Вх) ^ п - deg(G + Р) = -д + 2£ + 1 - deg(F).

По условию определения необходимо, чтобы ¿(Вх) ^ -д + 2£ + 1 - deg(F) > т. е, deg(F) < £ +1 - д. Окончательно имеем

£ + д - 1 < deg(F) < £ + 1 - д,

что возможно лишь при д = 0 и, как следствие, deg(F) =

д=0

¿(А) + ¿(С) ^ п - deg(F) + п - deg(G) = п + £ + 1. Очевидно, ¿(А) + ¿(С) > п.

2, Вид кодов А = Сс(Б, Ри В = Сс(Б, Р - С) получен в теореме 3, 2,1, Если код А имеет параметры [п, £ + 1, п - ¿], то он является МВБ-кодом, Таким образом, если 2д - 2 < deg(F) < п, то

к(А) = п + д - 1 - deg(F) = £ + 1,

откуда deg(F) = п + д - £ - 2, Учитывая, что deg(F) > 2д - 2, получаем ограничение deg(G) < п - 3д + 3 на степень дивизора С,

Проверим, при каких ограничениях выполняются три оставшихся условия определения 3, если А = [п, £ + 1, п - £]:

— Поскольку deg(F) = п + д - £ - 2, имеем

к(А) = п + д - 1 - deg(F) = £ + 1 >

— Оценим минимальное расстояние кода Вх, учитывая его нижнюю границу:

¿(Вх) = ¿(С£(Б, Р - С)) ^ deg(F - С) - 2д + 2 = п - д - £ - deg(G).

По условию определения необходимо, чтобы ¿(Вх) ^ п - д - £ - deg(G) > Данное неравенство имеет место при любых значениях deg(G) при условии, что £ = |_(п -- deg(G) - д - 1)/2|

— Применяя аналогичные рассуждения, проверяем условие 4 определения 3:

¿(А) + ¿(С) ^ deg(F) — 2д + 2 + п — deg(G) = 2п — £ — д — deg(G).

Соответственно ¿(А) + ¿(С) > п, если £ < п — д — deg(G), Ввиду того, что £ = = [(п — deg(G) — д — 1)/2|, неравенетво (п — deg(G) — д — 1)/2 ^ п — д — deg(G) выполняется всегда,

2.2, Если код В имеет параметры [п, п — £ + 1], то он является МБЯ-кодом, Таким образом, если 2д — 2 < deg(F — С) < п, то

к(В) = deg(F — С) + 1 — д = deg(F) — deg(G) + 1 — д =

откуда deg(F) = deg(G) + £ + д — 1,

Проверим, при каких ограничениях выполняются три оставшихся условия определения 3, если В = [п, п — £ + 1]:

— Поскольку deg(F) = deg(G) + £ + д — 1, имеем

к(А) = п + д — 1 — deg(F) = п — £ — deg(G) >

следовательно, £ < (п — deg(G))/2, что справедливо при любых значениях deg(G) с учётом того, что £ = [(п — deg(G) — д — 1)/2].

— Оценим минимальное расстояние кода В±, учитывая его нижнюю границу:

¿(Вх) ^ deg(F — С) — 2д + 2 = deg(F) — deg(G) — 2д + 2 = £ + 1 — д.

По условию определения необходимо, чтобы ¿(Вх) ^ £ +1 — д > что возможно д=0

— Применяя аналогичные рассуждения, проверяем условие 4 определения 3:

¿(А) + ¿(С) ^ deg(F) + 2 + п — deg(G) = п + £ + 1.

Соответственно ¿(А) + ¿(С) > п, если £ > — 1, Поскольку £ = [(п — deg(G) — 1)/2_|, неравенство (п — deg(G) — 1)/2 > — 1 выполняется при deg(G) < п +1, что всегда верно в силу первоначального выбора дивизора С,

2.3, Если код С имеет параметры [п, п — 2£, 2£ +1], то он является МБЯ-кодом, Тогда, если 2д — 2 < deg(G) < п, то

к(С) = deg(G) + 1 — д = п — 2£,

откуда deg(G) = п + д — 2£ — 1,

Проверим, при каких ограничениях выполняются три оставшихся условия определения 3, если С = [п, п — 2£, 2£ + 1]:

— Условие к(А) = п + д — 1 — deg(F) > £ имеет место, если deg(F) <п + д — £ — 1,

— Оценим минимальное расстояние кода В±, учитывая его нижнюю границу и deg(G) = п + д — 2£ — 1:

¿(Вх) ^ deg(F — С) — 2д + 2 = deg(F) — deg(G) — 2д + 2 = deg(F) — п — 3д + 2£ + 3.

По условию определения необходимо, чтобы ¿(Вх) ^ deg(F) — п — 3д + 2£ + 3 > т. е, deg(F) > п + 3д — £ — 3, Окончательно имеем

п + 3д — £ — 3 < deg(F) <п + д — £ — 1,

что возможно лишь при д = 0 и, как следствие, deg(F) = п — £ — 2,

д=0

¿(А) + ¿(С) ^ deg(F) + 2 + п - deg(G) = deg(F) + 2£ + 3.

Соответственно ¿(А)+^(С) > п, если deg(F) > п-2£-3, что справедливо, поскольку deg(F) = п - £ - 2. Теорема 4 доказана, ■

Построим пару, исправляющую £ ошибок для кода Сх = Сс(Б, Теорема 5. Пусть С = Сс(Б, С) — АГ-код, ассоциированный с функциональным полем Трода д, и Сх = Сс(Б, — код, дуальный к С. Если тара кодов (А, В) является парой, исправляющей £ = L(deg(G) + 1 - 3д)/2| ошибок для кода Сто в случае А = Сс(Б, Р) и В = Сс(Б, С - Р):

1) если А = [п, £+1, п-£], то д —произвольный, 5д-5 < deg(G) < п и deg(F) = £+д;

2) если В = [п, п - £ + 1], то д = 0 0 < deg(G) < п и deg(F) = deg(G) - £ +1;

3) если С = [п, £ - 2£, 2£ + 1], то д = 0 deg(G) = 2£ - 1 и deg(F) = Доказательство. Обозначим А = Сс(Б, Р) для некоторого дивизора Р. Далее

мы оценим deg(F), то прежде постройм код В так, чтобы выполнялось условие 1 определения 3,

Поскольку А * В С С, то В С (А * СПоложим В = (А * С±)±, В обозначениях АГ-кодов получаем

Сс(Б, Р)*Сс(Б, СХ)СС£(Б, Б-С+Р +(и))=С£(Б, С-Р^ В=С£(Б, С-Р)С(А*С

1, Если код А имеет параметры [п, £ + 1, п - ¿], то он является МВБ-кодом, Таким образом, если 2д - 2 < deg(F) < п, то

к (А) = deg(F ) + 1 - д = £ + 1,

откуда deg(F) = £ + д. Учитывая, что deg(F) > 2д - 2, получаем ограничение deg(G) > > 5д - 5 па степень дивизора С,

Проверим, при каких ограничениях выполняются три оставшихся условия определения 3, если А = [п, £ + 1, п - £]:

— Поскольку deg(F) = £ + д, имеем

к(А) = deg(F) + 1 - д = £ + 1 >

— Оценим минимальное расстояние кода Вх, учитывая его нижнюю границу:

¿(Вх) = ¿(Сс(Б, С - Р)х) ^ deg(G - Р) - 2д - 2 = deg(G) - £ - 3д + 2.

По условию определения необходимо, чтобы ¿(Вх) ^ deg(G) - £ - 3д + 2 > ¿. Данное неравенство имеет место при любых значениях deg(G) с учётом того, что £ = |_^(С) + 1 - 3д)/2|

— Применяя аналогичные рассуждения, проверяем условие 4 определения 3:

¿(А) + ¿(С^ п - deg(F) + deg(G) - 2д + 2 = п + deg(G) + 2 - £ - 3д.

Соответственно ¿(А) + ¿(С> п, если £ < deg(G) + 2 - 3д, Ввиду того, что £ = = L(deg(G) + 1 — 3д)/2|, неравенство (deg(G) + 1 —3д)/2 ^ deg(G)+2—3д выполняется всегда.

2, Если код В имеет параметры [п, п — £ + 1], то он является МБЯ-кодом, Таким образом, если 2д — 2 < deg(G — Р) < п, то

к(В) = deg(G — Р) + 1 — д = deg(G) — deg(F) + 1 — д =

откуда deg(F) = deg(G) + 1 — д —

Проверим, при каких ограничениях выполняются три оставшихся условия определения 3, если В = [п, п — £ + 1]:

— Поскольку deg(F) = deg(G) + 1 — д — имеем

к(А) = deg(F) + 1 — д = deg(G) + 2 — £ — 2д >

следовательно, £ < (deg(G) + 2 — 2д)/2, Данное неравенство выполняется при любых значениях deg(G), поскольку £ = [(deg(G) + 1 — 3д)/2|

— Оценим минимальное расстояние кода В±, учитывая его нижнюю границу и deg(F) = deg(G) + 1 — д —

¿(Вх) ^ deg(G — Р) — 2д + 2 = deg(G) — deg(F) — 2д + 2 = £ + 1 — д.

По условию определения необходимо, чтобы ¿(Вх) ^ £ +1 — д > что возможно д=0

— Применяя аналогичные рассуждения, проверяем условие 4 определения 3:

¿(А) + ¿(С^ п — deg(F) + deg(G) — 2д + 2 = п + £ + 1. Очевидно, что ¿(А) + ¿(С> п.

3, Если код С имеет параметры [п, п — 2£, 2£ + 1], то он является МБЯ-кодом, Тогда если 2д — 2 < deg(G) < п, то к(С) = п+д — 1 — deg(G) = п — 2£, откуда deg(G) = 2£+д — 1,

Проверим, при каких ограничениях выполняются три оставшихся условия определения 3, если С = [п, п — 2£, 2£ + 1]:

— Условие к(А) = deg(F) + 1 — д > £ имеет место, если deg(F) > £ + д — 1,

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

— Оценим минимальное расстояние кода В±, учитывая его нижнюю границу:

¿(Вх) ^ deg(G — Р) — 2д + 2 = deg(G) — deg(F) — 2д + 2 = 2£ — д + 1 — deg(F).

По условию определения необходимо, чтобы ¿(Вх) ^ 2£ — д +1 — deg(F) > т. е, deg(F) < £ +1 — д. Окончательно имеем

£ + д — 1 < deg(F) < £ — д + 1,

что возможно лишь при д = 0 и, как следствие, deg(F) =

д=0

¿(А) + ¿(Сх) ^ п — deg(F) + deg(G) — 2д + 2 = п — deg(F) + 2£ +1.

Соответственно ¿(А) + ¿(С> п, если deg(F) < 2£ +1, что справедливо, поскольку deg(F) = Теорема 5 доказана, ■

Интересным объектом исследования относительно кодовых криптосистем являются подполевые подкоды, поскольку существует гипотеза, что именно такие коды являются стойкими к атаке на основе пар, исправляющих ошибки (по аналогии с классическими кодами Гоппы, являющимися некоторой модификацией подполевых подкодов обобщённых кодов Рида—Соломона), Дадим определение подполевого подкода.

Определение 4. Пусть код С определён над полем ¥я (С С ¥^) и ¥р С ¥я. Под-полевым подходом линейного кода С называется код С|¥р = С П

В действительности если С|¥р — подкод кода С = определён-

ного над ¥д, и ¥р С ¥д, то, согласно [9], тара, исправляющая Ь ошибок для кода С, является парой, исправляющей такое же количество ошибок и для подполевого под-кода С|¥р, При этом алгоритм декодирования работает над расширением ¥д конечного поля ¥р за время 0((тп)3), где д = рт, Соответственно вопрос редукции сложности задачи декодирования подполевых подкодов сводится к нахождению пары, исправляющей ошибки для подполевого подкода над ¥р.

Теорема 6. Пусть С = С) — АГ-код, ассоциированный с функциональным

полем Т/¥я рода д, где д = р2, Тогда если зирр(С) Пзирр(Б) = 0, то парой, исправляющей Ь = |_(п — deg(G) — д — 1)/2] ошибок для кода С|¥р, является пара кодов (А, В) при условии их существования:

1) А=(С£(ДБ)к,если

д = 0 и

п = 6, deg(G) = 1, deg(F) = 1 или

п = 5, deg(G) ^ 2, deg(F) = 1

или

д =1, п = 5, deg(G) = 1, deg(F) = 2.

2) А=(С£(ДБ)|¥Р)

±

если

п

4, deg(G) = 1, deg(F) ^ 2;

или

0 ^ д ^ 1,

п

или

и

четное

п ^ 6, 2д—2 < deg(G) < п—д—3, deg(F) ^ (п— deg (С)+д+1)/2 или

п ^ 10, deg(G) = п — д — 3, deg(F) ^ п — deg(G) — 1;

д = 2, п ^ 10 п —чётное и 2 < deg(G) < п — 5, deg(F) ^ (п — deg(G) + 3)/2;

или

д ^ 3, п > 5д — 4, п — чётное, 2д — 2 < deg(G) < п — 3д + 3, deg(F) ^ (п — deg(G) + д + 1)/2;

или

д ^ (п — 1)/3, п = 4, 6, 8, deg(G) = п — д — 3, deg(F) ^ п — deg(G) — 1,

и в каждом случае deg(F) > 2д — 2,

3) А = С£(ДР)|¥р,если

д = 0, п = 3, deg(G) = 1, deg(F) = 1.

4) А=((С£(ДБ)х)кесли

д=0

п = 4, deg(G) = 1, deg(F) ^ deg(G)

или

п = 6, 8,10, deg(G) ^ п — 5, deg(F) ^ (п + deg(G) — 5)/2;

0

д

или

1 ^ д < 2

и

п — чётное

п ^ 3д + 1, deg(G) = п - д - 3, deg(F) ^ deg(G) + 2д - 1 или

п ^ 4д + 2, 2д - 1 ^ deg(G) ^ п - д - 4 и deg(F) ^ (п + deg(G) + 3д - 5)/2;

или

д = 3, п ^ 12 и п — чётное, 4 < deg(G) ^ п-6, deg(F) ^ (n+deg(G)+4)/2; или

д ^ 5, п ^ 5д - 5и п — чётное, 2д - 2 < deg(G) ^ п - 3д + 3, deg(F) ^ (п + deg(G) + 3д - 5)/2,

и в каждом случае deg(F) < п. Во всех четырёх случаях 5 = (А * С|^р

Доказательство. Обозначим А = С£(В,Р) и отметим, что изначально код С определён над квадратичным расширением поля т, е, ¥д = Ер2,

1, Проверим, является ли пара кодов А = А±|^р н 5> = (у! * С|^рпарой, исправляющей ошибки для кода С|^р:

- Учитывая вид А и 5, получаем А * 5 С (С|^р

- к(А) = к(А%р) ^ 2к(Ах) - п = п + 2д - 2 - 2deg(F).

Так как Ь = (п - deg(G) - д - 1)/2, условие к(А) > £ имеет место, если deg(F) ^ ^ (deg(G) + п + 5д - 3)/4.

- ¿(5х) = ¿(А^ * С|Жр) ^ ¿((Ах * С)|Жр) ^ ¿(Ах * С). Поскольку А± = С£(В, В - Р + (ш)) и С = С£(В, G), то

Ах * С С С£(В, В + G - Р + (ш)) = С£(В, Р - G)±,

тогда

¿(Ах * С) ^ ¿(С£(В, Р - G)±)) ^ deg(F - G) - 2д + 2 = deg(F) - deg(G) - 2д + 2.

Так как Ь = |_(п - deg(G) - д - 1)/2], условие с^(1>>^) > Ь выполняется при deg(F) ^ ^ (deg(G) + п + 3д - 5)/2.

- ¿(А) + ¿(С|^р) = ) + ¿(С|жр) ^ ¿(Ах) + ¿(С) ^ deg(F) - 2д + 2 + п - deg(G). Очевидно, что ¿(А>) + ¿(С|^р) > п, если deg(F) ^ deg(G) + 2д - 1,

Таким образом, А и 5 —пара, исправляющая ошибки для кода С|щр, если имеет место следующая система:

{deg(F) ^ (deg(G) + п + 5д - 3)/4, deg(F) ^ (deg(G) + п + 3д - 5)/2, deg(F) ^ deg(G) + 2д - 1.

Здесь следует рассмотреть два случая:

— Условие (deg(G) + п + 3д — 5)/2 ^ deg(F) ^ (deg(G) + п + 5д — 3)/4 выполняется, если deg(G) ^ п — д — 3 и deg(G) ^ —п — д + 7, Соответственно получаем следующие значения для рода д, длины п и степе ни deg(G):

= 0 и п = 6, deg(G) = 1, откуда deg(F) = 1, д И п = 5, deg(G) ^ 2, откуда deg(F) = 1;

д = 1 и п = 5, deg(G) = 1, откуда deg(F) = 2.

— Условие deg(G) + 2д — 1 ^ deg(F) ^ (deg(G) + п + 5д — 3)/4 выполняется, если п — д — 3 ^ ¿ед^) ^ (п — 3д + 1)/3, Соответственно получаем следующие значения для рода д, длины п и степени deg(G):

д = 0 и п = 5, deg(G) = 2, откуда deg(F) = 1; д = 1 и п = 5, deg(G) = 1, откуда deg(F) = 2.

2, Проверим, может ли пара кодов А = (А|¥ри В? = (А * С|¥рявляться парой, исправляющей ошибки для кода С|¥р:

— Учитывая вид А и £>, получаем А * В? С (С|¥р

- к(А) = к((А|¥р)х) = п — к(А|¥р).

Так как Ь = [(п — deg(G) — д — 1)/2], условие к(А) > Ь имеет место, если deg(F) ^ ^ + 3п + 5д — 3)/4.

- ^) = ¿((А|¥р*С|¥р).

Рассмотрим случай, когда код А является самодуальным, т.е. (А|¥р= А|¥р. Следовательно, к(А|¥р) = п/2, что возможно при deg(F) ^ (3п + 4д — 4)/4. Тогда получаем

¿(В^) = ^(А|¥р*С|¥р) ^ ¿((А*С)|¥р) ^ ¿(А*С) ^ ¿(С£(ДР+G)) ^ п—deg(F)—deg(G).

Поскольку Ь = [(п — deg(G) — д — 1).2], условие > Ь выполняется при deg(F) ^

^ (п + д + 1 — deg(G)).2.

Имеем два случая для определения deg(F):

— Случай deg(F) ^ (3п + 4д — 4)/4 имеет место при deg(G) ^ (6 — п — 2д)/2, что возможно, если

д = 0, п = 2, 4, deg(G) ^ 2

или

д = 1, п = 2, deg(G) = 1.

— Случай deg(F) ^ (п + д + 1 — deg(G))/2 имеет место при deg(G) > (6 — п — 2д)/2.

- ф?)+ед¥р) = ¿((А|¥р)х)+^(С|¥р) = ^(А|¥р)+¿(С|¥р) ^ ¿(А) +¿(С) ^ 2п—deg(F) —

— deg(G), Очевидно, что ¿(А) + ¿(С|¥р) > п, если deg(F) < п — deg(G),

Таким образом, построение пары А и В?, исправляющей ошибки для кода С|¥р, возможно, если справедлива одна из систем:

' deg(F) ^ + 3п + 5д — 3)/4,

deg(F) ^ (3п + 4д — 4)/4,

или

deg(G) ^ (6 — п — 2д)/2, ^(Б) ^ п — deg(G) — 1

^(Б) ^ (deg(G) + 3п + 5д — 3)/4, deg(F) ^ (п + д + 1 — deg(G))/2, deg(G) > (6 — п — 2д)/2, ^(Б) ^ п — deg(G) — 1.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Уточняя обе системы, окончательно получаем следующие результаты:

д = 0, п = 4, deg(G) = 1, deg(F) ^ 2, 0 ^ д ^ 2, п ^ 9, 2д-2 < deg(G) < п-д-3, 2д-2 < deg(F) ^ (п- deg(G)+д+1)/2, д ^ 3, п > 5д-4, 2д-2 < deg(G) < п-3д+3, 2д-2 < deg(F) ^ (п- deg(G)+д+1)/2,

0 ^ д ^ 1, п ^ 9, deg(G) = п - д - 3, 2д - 2 < deg(F) ^ п - deg(G) - 1, д = 0,1, п = 6, 8, 2д-2 < deg(G) < п-д-3, 2д-2 < deg(F) ^ (п- deg(G)+д+1)/2, д ^ (п - 1)/3, п = 4, 6, 8, deg(G) = п - д - 3, 2д - 2 < deg(F) ^ п - deg(G) - 1.

п

3, Проверим, является ли пара кодов А = А|щр и 1 = (А * С|^рпарой, исправляющей ошибки для кода С|^р:

— Учитывая вид а? и 1?, получаем А * 1? С (С|^р

- к(А) = к(А|жр) ^ 2к(А) - п = 2deg(F) + 2 - 2д - п.

Так как £ = [(п - deg(G) - д - 1)/2], условие к(А) > Ь имеет место, если deg(F) ^ ^ (3п + 3д - deg(G) - 5)/4.

- ¿(1^) = ¿(А|жр * С|^р) ^ ¿((А * С)|Жр) ^ ¿(А * С).

Поскольку А = Сс(В, Р) и С = Сс(В, G), то А * С С Сс(В, G + Р) и

¿(¿?±) ^ ¿(Сс(В, Р + G))) ^ п - deg(F + G) = п - deg(F) - deg(G).

Так как £ = [(п - deg(G) - д - 1)/2], услов ие ¿(£>±) > Ь выполняется при deg(F) ^ ^ (п + д + 1 - deg(G))/2.

- ¿(А) + ¿(С|жр) = ¿(А|жр) + ¿(С|жр) ^ ¿(А) + ¿(С) ^ 2п - deg(F) - deg(G). Очевидно, что ¿(А?) + ¿(С|^р) > п, если deg(F) ^ п - deg(G) - 1,

Таким образом, А и 1 — пара, исправляющая ошибки для кода С|щр, если справедлива следующая система:

' deg(F) ^ (3п + 3д - deg(G) - 5)/4, deg(F) ^ (п + д + 1 - deg(G))/2, ^(В) ^ п - deg(G) - 1.

Здесь следует рассмотреть два случая:

— Условие (3п + 3д - deg(G) - 5)/4 ^ deg(F) ^ п - deg(G) - 1 выполняется, если deg(G) ^ п - д - 2 и deg(G) ^ (п +1 - 3д)/3. Соответственно получаем следующие значения рода д, длины п, степейи deg(G), а также степени deg(F):

д = 0, п = 3, deg(G) = 1, deg(F) = 1.

— Условие (3п + 3д - deg(G) - 5)/4 ^ deg(F) ^ (п + д + 1 - deg(G))/2 не выполняется никогда, поскольку в результате накладывания ограничений на степени дивизоров получаем следующие несовместные системы:

'deg(F) ^ (3п + 3д - deg(G) - 5)/4, Гdeg(F) ^ (3п + 3д - deg(G) - 5)/4,

deg(F) ^ (п + д + 1 - deg(G))/2, или Г deg(F) ^ (п + д + 1 - deg(G))/2, п ^ 3; 0 < deg(G) ^ п - д - 3 1п ^ 4; 0 < deg(G) ^ 4 - п - д.

4, Проверим, является ли пара кодов А = (А^шри В = (А*С|Шрпарой, исправляющей ошибки для кода С |Шр:

— Учитывая вид А и В, получаем А * В С (С|ш

- к(А) = к((А±|Жр)х) = п — ЦА^р)■

Для выполнения условия 2 определения 3 необходимо, чтобы к(А±|Шр) < п — ¿. С другой стороны, к(А±|Шр) ^ 2к(А±) — п = п + 2д — 2deg(F) — 2, Принимая во внимание, что £ = |_(п — deg(G) — д — 1)/2], и уточняя, при каком ограничении на deg(F) выполняются неравенства

п + 2д — 2deg(F) — 2 ^ к(А±|шр) < п —

получаем deg(F) ^ (п + 3д — deg(G) — 5)/4,

- ¿(3^ = ¿((Ах|шр* С|^р)■

Здесь снова будем рассматривать случай, когда код А является самодуальным, т.е. (Ах|^р= А^^р. Следовательно, к(А±|Шр) = п/2, что возможно при deg(F) ^ ^ (п + 4д — 4)/4. Тогда ¿(Вх) = ¿(Ах|шр * С |шр) ^ ¿(Ах *С). Поскольку А = С£(В,Р) и С = С£(В, С), то

¿(Вх) ^ ¿(С£(В,В—Р +(^))*С£(Б,С)) ^ ¿(С£(В,Р—) ^ deg(F)—deg(G) —2д+2.

Так как £ = |_(п — deg(G) — д — 1)/2], условие ¿(Вх) > £ выполняется при deg(F) ^ ^ (п + deg(G) + 3д — 5)/2.

Следует рассмотреть два случая, чтобы определить deg(F):

— Случай deg(F) ^ (п + deg(G) + 3g — 5)/2 имеет место при deg(G) > (6 — п — 2д)/2.

— Случай deg(F) ^ (п + 4д — 4)/4 имеет место при deg(G) ^ (6 — п — 2д)/2, что возможно, если

д = 0, п = 2, 4, deg(G) ^ 2

или

д = 1, п = 2, deg(G) = 1.

- ¿(А) + ¿(С|шр) = ^((Ах|шр)х) + ¿(С|шр) = ^(Ах|шр) + ¿(С|шр) ^ ¿(Ах)+ ¿(С) ^ deg(F) —

— 2д + 2+п — deg(G), Очевидно, что ¿(А) + ¿(С|Шр) > п, если deg(F) > deg(G) + 2д — 2,

Таким образом, построение пары А и В, исправляющей ошибки для кода С|Шр, возможно, если справедлива одна из систем:

'deg(F) ^ (п + 3д — deg(G) — 5)/4, deg(F) ^ (п + deg(G) + 3д — 5)/2,

или

deg(G) > (6 — п — 2д)/2, ^(Р) > deg(G) + 2д — 2

' deg(Р) ^ (п + 3д — deg(G) — 5)/4, deg(Р) ^ (п + 4д — 4)/2, deg(G) ^ (6 — п — 2д)/2, ^(Р) > deg(G) + 2д — 2.

Уточняя обе системы, окончательно получаем следующие результаты:

д = 0, п = 4, deg(G) = 1, deg(G) ^ deg(Р) ^ п — 1, д = 0, п = 6, 8,10, (6 — п)/2 < deg(G) ^ п — 5, (п + deg(G) — 5)/2 ^ deg(Р) ^ п — 1, д = 0, п ^ 5 и п — чётное, п — 2 ^ deg(G) ^ п — 1, deg(G) — 1 ^ deg(Р) ^ п — 1, д =1, п ^ 4и п — чётное, п — 4 ^ deg(G) ^ п — 2, deg(G) + 1 ^ deg(Р) ^ п — 1, д =1, п ^ 6и п — чётное, 1 ^ deg(G) ^ п — 5, (п + deg(G) — 2)/2 ^ deg(Р) ^ п — 1,

д = 2, п ^ 8 и п — чётное, п - 5 ^ deg(G) ^ п - 4, deg(G) + 3 ^ deg(F) ^ п - 1, д = 2, п ^ 9 и п — чётное, 3 ^ deg(G) ^ п - 6, (п + deg(G) + 1)/2 ^ deg(F) ^ п - 1,

д = 3, п ^ 12 и п — чётное, 4 < deg(G) ^ п - 6, deg(F) ^ (п + deg(G) + 4)/2, д ^ 5, п ^ 5д-5 и п — чётное, 2д-2 < deg(G) ^ п-3д+3, deg(F) ^ (п+ deg(G)+3д—5)/2.

Теорема 6 доказана, ■

Теорема 7. Пусть С = Сс(В, G) — АГ-код, ассоциированный с функциональным полем Т/¥ч рода д, где д = р2, и С± — дуальный к С. Тогда если вирр^) ^шрр(Р) = 0, то парой, исправляющей £ = [(deg(G) - 3д + 1)/2] ошибок для кода (Сх)|жр, является ( А? , 1?)

1) А = Сс(В,Р)|жр,если

д=0

п = 7, deg(G) = 5, deg(F) = 4, или п = 6, deg(G) = 3, deg(F) = 3 или п = 5, deg(G) = 1 или п = 3, deg(G) = 1

deg(F) = 3, deg(F) ^ 2.

2) А=(Сс(В,Р)|жр,если

д = 0 и п = 5 deg(G) = 1, deg(F) = 1

или д = 1 и п = 5 deg(G) = 4, deg(F) = 2,

3) А=(Сс(В,Р)±,если

д=0

п = 4, 6, (3п - 10)/2 ^ deg(G) ^ п, deg(F) ^ (4п - deg(G) - 5)/4,

или

п =10, 1 ^ deg(G) ^ 8, deg(F) ^ (35 - deg(G))/4, или

п ^ 12 и п — чётное, 1 ^ deg(G) ^ п - 2, deg(F) ^ (deg(G) + 3)/2,

или

д =1, п ^ 4 и п — чётное, 2 ^ deg(G) ^ п - 1, deg(F) ^ (deg(G) + 2)/2,

или д ^ 2 п ^ 6 и п — чётное, deg(G) = 4, deg(F) = 1, или

д ^ 2, п ^ 5д-5 и п — чётное, 5д-6 ^ deg(G) ^ п-1, deg(F) ^ (deg(G)+3—д)/2. 4) А=((Сс(В,Р)^)|Жр)х, если

д=0

п = 4, deg(G) = 2, 1 ^ deg(F) ^ 3

или

п = 6, 8, 2 ^ deg(G) ^ (3п - 11)/2, deg(F) ^ (2п - deg(G) - 7)/2 или 1 ^ д ^ 3, п ^ 3д + 3 и п — четное, 3д + 2 < deg(G) ^ п - 1,

deg(F) ^ (2п - deg(G) + 5д - 7)/2.

Во всех четырёх случаях 1 = (А * (С

Доказательство. Обозначим А = Сс(В, В) и отметим, что изначально код С± определён над квадратичным расширением поля Ер, т. е. над ¥д = Ер2,

1, Проверим, является ли пара кодов А = А|^р и 1 = (А * С±|^р)± парой, исправляющей ошибки для кода С±|^р:

— Учитывая вид А и 1, получаем А * 1 С (С±|^р)±,

- к(А) = 2к(А|жр) ^ к(А) - п = 2 deg(В) - 2д - п + 2.

Так как £ = L(deg(G) + 1 - 3д)/2], условие к(А) > £ имеет место, если deg(В) ^ ^ (2п + deg(G) + д - 3)/4.

= ^(А|жр * С) ^ ¿(А * С±). Поскольку А = Сс(В, В) и С± = Сс(В, В - G + (ш)), то

А * С± С Сс(В, В + В - G + (ш)) = Сс(В, G - В)±,

тогда

¿(А * С±) ^ ¿(Сс(В, G - В)±) ^ deg(G) + 2 - deg(В) - 2д.

Так как £ = L(deg(G) + 1 - 3д)/2], условие ¿(1±) > £ выполняется при deg(В) ^ ^ (deg(G) + 3 - д)/2.

¿(А) + ¿(С) ^ ¿(А) + ¿(С±) ^ п - deg(В) + deg(G) - 2д + 2. Очевидно, что ¿(41) + ¿(С|то ) > п, если deg(В) < deg(G) - 2д + 2,

Таким образом, А и 1 — пара, исправляющая ошибки для кода С±|^р, если имеет место система

deg(В) ^ (2п + deg(G) + д - 3)/4, deg(В) ^ (deg(G) + 3 - д)/2, ^(В) < deg(G) + 2 - 2д. Здесь следует рассмотреть два случая:

— Условие (deg(G) + д + 2п - 3)/4 ^ deg(В) ^ (deg(G) + 3 - д)/2 выполняется, если

п = 7, deg(G) = 5, deg(В) = 4,

или п = 6, deg(G) = 3, deg(В) = 3,

или п = 5, deg(G) = 1, deg(В) = 3,

_ или п = 3, deg(G) = 1, deg(В) ^ 2.

д=0

Условие (deg(G) + д + 2п - 3)/4 ^ deg(В) < deg(G) - 2д + 2 не выполняется никогда, 2, Проверим, является ли пара кодов 41 = (А±)|жр и 1 = (А *С±|то )± парой, исправ-

ляющей ошибки для кода С_№,

±1

то , р

Учитывая вид 41 и 1, получаем 41 * 1 С (С±|^р)±, к(А) = к((А±)|жр) ^ 2к(А±) - п = п + 2д - 2 - 2 deg(В).

Так как £ = L(deg(G) + 1 - 3д)/2], условие к(А) > £ имеет место, если deg(В) ^ ^ (2п + 7д - deg(G) - 5)/4.

¿(1±) = ¿((А±)|жр * С±|Жр) ^ ¿((А± * С±)|Жр) ^ ¿(А± * С±).

Поскольку А± = Сс(В, В - В + (ш)) и С± = Сс(В,В - G + (ш)), то А± * С± С С Сс(В, 2В - G - В + 2(ш)), тогда

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

¿(А± * С±) ^ ¿(Сс(В, 2В - G - В + 2(ш))) ^ deg(G) + deg(В) - п - 4д + 4.

Поскольку £ = L(deg(G) + 1 - 3д)/2], условие ) > £ выполняется при deg(В) ^ ^ (2п + 5д - deg(G) - 7)/2.

- ¿(А) + ¿(Сх|шр) ^ ¿(Ах) + ¿(С^ deg(F) + deg(G) — 4д + 4. Очевидно, что ¿(А) + ¿(Сх|Шр) > п, если deg(F) > п + 4д — deg(G) — 4,

Таким образом, А и В —пара, исправляющая ошибки для кода Сх|Шр, если имеет место следующая система:

' deg(F) ^ (2п + 7д — deg(G) — 5)/4, deg(F) ^ (2п + 5д — deg(G) — 7)/2, deg(F) > п + 4д — deg(G) — 4.

Здесь следует рассмотреть два случая:

— Условие (2п + 5д — deg(G) — 7)/2 ^ deg(F) ^ (2п + 7д — deg(G) — 5)/4 выполняется, если

д = 1 и п = 5, deg(G) = 4, deg(F) = 2

или

д = 0 и п = 5, deg(G) = 1, deg(F) = 1.

— Условие п + 4д — deg(G) — 4 ^ deg(F) ^ (2п + 7д — deg(G) — 5)/4 выполняется, если

1 ^ п ^ 3 и (2п + 9д — 11)/3 < deg(G) < 3д — 1.

3, Проверим, является ли пара кодов А = (А|Шри В = (А*Сх|Шрпарой, исправляющей ошибки для кода Сх|Шр:

— Учитывая вид А и В?, получаем А * В С (Сх|ш

- к(А) = к((А|шр)х) = п — к(А|шр)■

Отметим, что к(А|Шр) ^ 2к(А) — п = 2deg(F) + 2 — 2д — п. С другой стороны, необходимо, чтобы выполнялось к(А) > Поскольку £ = L(deg(G) — 3д + 1)/2_|, окончательно имеем deg(F) ^ (4п + 7д — deg(G) — 5)/4,

- ¿(В^) = ¿((А|шр* С|шр)■

Рассмотрим случай, когда код А является самодуальным, т.е. (А|Шр= А|Шр. Следовательно, к(А|Шр) = п/2, что возможно при deg(F) ^ (3п + 4д — 4)/4. Тогда получаем

¿(Вх) = ¿(А|шр * Сх|шр) ^ ¿((А * Сх)|шр) ^ ¿(А * С^ ^ ¿(С£(В, G — Р)х) ^ deg(G) — deg(F) — 2д + 2.

Так как £ = (deg(G) + 1 — 3д)/2, условие ¿(В>^) > £ выполняется при deg(F) ^ ^ (deg(G) + 3 — д)/2.

Следует рассмотреть два случая, чтобы определить deg(F):

— Случай deg(F) ^ (3п + 4д — 4)/4 имеет место при deg(G) > (3п + 6д — 10)/2, что возможно, если

д = 0, п = 4, 6, 8, deg(G) ^ (3п — 10)/2, deg(F) ^ (3п — 4)/4

или

д = 1, п = 2, deg(G) = 1, deg(F) = 1.

— Случай deg(F) ^ (deg(G) + 3 — д)/2 имеет место при deg(G) < (3п + 6д — 10)/2,

Таким образом, построение пары А и 1, исправляющей ошибки для кода С±|Жр,

д = 1, п = 2, deg(G) = 1, deg(В) = 1,

deg(В) ^ (4п + 2 - deg(G))/4, deg(В) < deg(G),

или

¿(41) + ¿(С|жр) = ¿((А|жр)±) + ¿(С±|жр) = ¿(Акр) + ¿(С±|жр) ^ ¿(А) + ¿(С) ^ п -- deg(В) + deg(G) - 2д + 2.

Очевидно, что ¿(41) + ¿(С |жр) > п, если deg(В) < deg(G) + 2 - 2д,

щей ошибки для кода С

возможно, если справедлива одна из следующих систем:

'д = 0,п = 4, 6,8, deg(G) > (3п - 10)/2, deg(В) ^ (3п - 4)/4, или

deg(В) ^ (4п - deg(G) - 5)/4, ^(В) < deg(G) + 2,

< (3п + 6д - 10)/2, deg(В) ^ (4п + 7д - deg(G) - 5)/4, deg(В) ^ (deg(G) + 3 - д)/2, (^(В) < deg(G) + 2 - 2д.

Уточняя все три системы, окончательно получаем следующие результаты:

д = 0, п = 4, 6, (3п - 10)/2 ^ deg(G) ^ п - 2, deg(В) ^ (4п - deg(G) - 5)/4, д = 0, п =10, deg(G) ^ 8, deg(В) ^ (35 - deg(G))/4, д = 0, п> 10 и п — чётное, 1 ^ deg(G) ^ п - 2, deg(В) ^ (deg(G) + 3)/2, д =1, п ^ 4 и п — чётное, 2 ^ deg(G) ^ п - 1, deg(В) ^ (deg(G) + 2)/2, д ^ 2, п ^ 6 и п — чётное, deg(G) = 4, deg(В) = 1, д ^ 2, п ^ 5д - 5и п - чётное, 5д - 6 ^ deg(G) ^ п - 1, deg(В) ^ (deg(G) + 3 - д)/2.

4, Проверим, является ли пара кодов 41 = (А±|Жр)± и 1 = (А * С±|Жр)± парой, исправляющей ошибки для кода С±|Жр:

- Учитывая вид а! и 1, получаем 41 * 1 С (С±|ж )±,

- к(А) = к((А±|жр)±) = п - к(А±|жр)■

Для выполнения условия 2 определения 3 необходимо, чтобы к(А±|Ж ) < п -С другой стороны, к(А±|Жр) ^ 2к(А±) - п = п + 2д - 2deg(В) - 2, Принимая во внимание, что £ = L(deg(G) + 1 - 3д)/2], и уточняя, при каком ограничении на deg(В) выполняются неравенства

п + 2д - 2 deg(В) - 2 ^ к(А±|жр) < п -

получаем deg(В) ^ (deg(G) + д - 3)/4.

- ¿(15±) = ¿((А±|жр)± * С±|жр)■

Рассмотрим случай, когда код 41 является самодуальным, т.е. (А|Жр)± = А|Жр. Следовательно, к(А|Жр) = п/2, что возможно при deg(В) ^ (п + 4д - 4)/4. Тогда ¿(1±) = ¿(А±|жр * С±|жр) ^ ¿(А± * С±). Поскольку А = С£(В, В) и С = С£(в, G), то

¿(15±) ^ ¿(Сс(В,В - В + (ш)) * Сс(В, В - G + (ш))) ^ ^ ¿(Сс(В, 2В - G - В + 2(ш))) ^ п + 2д - 2 - 2 deg(В).

Так как £ = L(deg(G) + 1 - 3д)/2], условие ¿(1±) > £ выполняется при deg(В) ^ ^ (2п + 5д - deg(G) - 7)/2.

Следует рассмотреть два случая, чтобы определить deg(В):

— Случай deg(F) ^ (2п + 5д — deg(G) — 7)/2 имеет место при deg(G) ^ (3п + 6д — — 10)/2.

— Случай deg(F) ^ (п + 4д — 4)/4 имеет место при deg(G) > (3п + 6д — 10)/2, что возможно, если

д = 0, п = 4, 6, 8, deg(G) > (3п — 10)/2, deg(F) ^ (п — 4)/4.

- ¿(А) + ¿(С) = ¿((Ах|шр)х) + ¿(Сх|шр) = ¿(Ах|шр) + ¿(Сх|шр) ^ ¿(Ах) + ¿(С±) >

^ deg(F) + deg(G) — 4д + 4.

Очевидно, что ¿(А) + ¿(Сх|Шр) > п, если deg(F) > п — deg(G) + 4д — 4,

Таким образом, построение пары а! и В, исправляющей ошибки для кода Сх|Шр, возможно, если справедлива одна из систем:

д = 1,

п = 2, deg(G) = 1, deg(F) = 1,

deg(F) ^ п + 1 — deg(G),

д = 0,

п = 4, 6, 8,

deg(G) > (3п — 10)/2, или deg(F) ^ (п — 4)/4, deg(F) ^ п — deg(G) — 3,

deg(G) ^ (3п + 6д — 10)/2, или <( deg(F) ^ (2п + 5д — deg(G) — 7)/2, deg(F) > п + 4д — deg(G) — 3.

Уточняя системы, окончательно получаем следующие результаты:

д = 0, п = 4, deg(G) = 2, 1 ^ deg(F) ^ 3; д = 0, 6 ^ п ^ 8 и п — чётное, 2 ^ deg(G) ^ (3п—11)/2, deg(F) ^ (2п— deg(G) — 7)/2; 1 ^ д ^ 3, п ^ 3д+3 и п — чётное, 3д+2< deg(G)^n—1, deg(F)^(2п— deg(G)+5д—7)/2.

Теорема 7 доказана, ■

Замечание 1. Стоит отметить, что в условиях теорем 6 и 7 вовсе не гарантируется, что пара, исправляющая ошибки, существует для любого кода С с заданными параметрами; получены границы, при которых существование пары в принципе возможно, В п, 2 и 4 теоремы 6 и в п, 3 и 4 теоремы 7 рассматривается случай самодуальности кода А, что на практике труднодостижимо, В дополнение, ввиду грубости границы для оценки размерности подполевого подкода, в общем случае коды, составляющие пару, могут вырождаться. Необходимы дополнительные вычислительные эксперименты для уточнения полученных границ для параметров пар, исправляющих ошибки для подполевого подкода.

Заключение

Для обеспечения условия 2 в определении пары, исправляющей ошибки, в теоремах 4 и 5 мы ограничиваемся рассмотрением случаев, когда deg(F) = £ + д и deg(F) = п + д — £ — 2, хотя данные значения являются нижней и верхней границами соответственно для deg(F) в зависимости от вид а кода А.

Отметим, что теоремы 6 и 7 доказаны для случая, когда исходный АГ-код определён над квадратичным расширением Шр2, чтобы получить более компактные соотношения, Построение пар, исправляющих ошибки для произвольного АГ-кода, определённого над расширениями больших степеней, — всё ещё открытый вопрос. Кроме того,

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

Весьма интересным представляется также вычисление пар, исправляющих ошибки для трэйс-кодов (такие коды получены с помощью применения к кодовым словам кода С, определённым над Fg, функции следа tr : Fpm ^ Fp), поскольку такие коды связаны с дуальными соотношением (C|Fp= tr(C±),

ЛИТЕРАТУРА

1. Justesen J., LarsenK., Jensen H., et al. Construction and decoding of a class of algebraic geometry codes 11 IEEE Trans. Inform. Theory. 1989. No. 35(4). P. 811-821. Skorobogatov A. N. and Vladut S. G. On the decoding of algebraic-geometric codes // IEEE Trans. Inform. Theory. 1990. No. 36(5). P. 1051-1060.

Pellikaan R. On decoding by error location and dependent sets of error positions // Discrete Math. 1992. No. 106-107. P. 369-381. 4. Kotter R. A unified description of an error locating procedure for linear codes // Proc. Algebraic Combinatorial Coding Theory III. Hermes, 1992. P. 113-117. Couvreur A., Marquez-Corbella I., and Pellikaan R. Crvptanalvsis of McEliece cryptosvstem based on algebraic geometry codes and their subcodes // IEEE Trans. Inform. Theory. 2017. No. 63. P. 5404-5418.

6. Малыгина, E. С., Кунинец А. А. Вычисление пар, исправляющих ошибки, для алгеброгеометрического кода // Прикладная дискретная математика. Приложение. 2023. №16. С.136-140.

7. Milne J.S. Algebraic Geometry. https://www.jmilne.org/math/CourseNotes/AG510.pdf.

8. Stichtenoth H. Algebraic Function Fields and Codes. Springer Verlag, 1991.

9. Pellikaan R. On the existence of error-correcting pairs // Statistical Planning and Inference. 1996. No. 51. P. 229-242.

10. Marquez-Corbella I. and Pellikaan R. Error-correcting pairs: a new approach to code-based cryptography // 20th Conf. АСА 2014, Jul 2014, New York, USA. https ://hal. science/ hal-01088433.

11. Mumford D. Varieties defined by quadratic equations // Questions on Algebraic Varieties. Berlin; Heidelberg: Springer, 2011. P. 29-100.

REFERENCES

Justesen J., Larsen K., Jensen H., et al. Construction and decoding of a class of algebraic geometry codes. IEEE Trans. Inform. Theory 1989, no. 35(4), pp. 811-821. Skorobogatov A. N. and Vladut S. G. On the decoding of algebraic-geometric codes. IEEE Trans. Inform. Theory 1990, no. 36(5), pp. 1051-1060.

Pellikaan R. On decoding by error location and dependent sets of error positions. // Discrete Math., 1992, no. 106-107, pp. 369-381.

Kotter R. A unified description of an error locating procedure for linear codes. Proc. Algebraic Combinatorial Coding Theory III, Hermes, 1992, pp. 113-117.

Couvreur A., Marquez-Corbella I., and Pellikaan R. Crvptanalvsis of McEliece cryptosvstem based on algebraic geometry codes and their subcodes. IEEE Trans. Inform. Theory, 2017, no. 63, pp.5404-5418.

Malygina E. S. and Kuninets A. A. Vvchislenie par, ispravlvavushchikh oshibki, diva algebro-geometricheskogo koda [Calculation of error-correcting pairs for an algebraic-geometric code]. Prikladnava Diskretnava Matematika. Prilozhenie, 2023, no. 16, pp. 136-140. (in Russian)

7. Milne J.S. Algebraic Geometry. https://www.jmilne.org/math/CourseNotes/AG510.pdf.

8. Stichtenoth if. Algebraic Function Fields and Codes. Springer Verlag, 1991.

9. Pellikaan R. On the existence of error-correcting pairs. Statistical Planning and Inference, 1996, no.51, pp.229-242.

10. Marquez-Corbella I. and Pellikaan R. Error-correcting pairs: a new approach to code-based cryptography. 20th Conf. ACA 2014, Jul 2014, New York, USA. https ://hal. science/ hal-01088433.

11. Mumford D. Varieties defined by quadratic equations. Questions on Algebraic Varieties. Berlin, Heidelberg, Springer, 2011, pp. 29-100.

i Надоели баннеры? Вы всегда можете отключить рекламу.