О показателе нелинейности кусочно-линейных подстановок аддитивной группы поля F2n Текст научной статьи по специальности «Математика»

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

2015

Теоретические основы прикладной дискретной математики

№ 4(30)

УДК 512.624

0 ПОКАЗАТЕЛЕ НЕЛИНЕЙНОСТИ КУСОЧНО-ЛИНЕЙНЫХ

ПОДСТАНОВОК АДДИТИВНОЙ ГРУППЫ ПОЛЯ F2n

А. Е. Тришин

ООО «Центр сертификационных исследований», г. Москва, Россия

Получена нижняя оценка показателя нелинейности подстановок поля F2n, ограничения которых на смежные классы группы F^n по её подгруппе H, |H| = l,

1 . r = 2п — 1, являются отображениями вида x ^ Ajx, Aj £ Fgn, j = 0,..., r — 1. В случаях r = 3, 5 найден спектр значений показателя нелинейности подстановок данного вида.

Ключевые слова: кусочно-линейная функция, подстановка конечного поля, показатель нелинейности.

DOI 10.17223/20710410/30/3

THE NONLINEARITY INDEX FOR A PIECEWISE-LINEAR SUBSTITUTION OF THE ADDITIVE GROUP OF THE FIELD F2n

A. E. Trishin

Certification Research Center, Moscow, Russia E-mail: Trishin17@yandex.ru

In this paper, we give a lower bound on the nonlinearity of permutations on a field F2n with restrictions to cosets of H in F2n, H < Fgn, |H| = l, l ■ r = 2n — 1, being the maps x ^ Ajx, Aj £ F2n, j = 0,..., r — 1. Nonlinearity spectra of this permutations are found in the cases r = 3, 5.

Keywords: piecewise-linear function, permutation of a finite field, nonlinearity.

Введение

Для натурального числа n введём обозначения: Vn = Fn; (x,y) —стандартное скалярное произведение векторов x,y £ Vn.

Напомним некоторые определения [1].

Преобразованием Уолша — Адамара булевой функции f : Vn ^ F2 называется целочисленная функция Wf : Vn ^ R, определяемая равенством

Wf (a) = (—l)f(x)+(a,x) для всех a £ Vn.

xeVn

Здесь суммирование производится в действительной области, при этом считается, что (—l)0 = 1, (—1)1 = —1. Для каждого a £ Vn значение Wf (a) называется коэффициентом Уолша — Адамара функции f Иногда используется термин «коэффициент Уолша — Адамара второго рода».

Нелинейностью Nf булевой функции f : Vn ^ F2 называется расстояние по Хэммингу между функцией f и множеством всех аффинных функций An = {f :

О показателе нелинейности кусочно-линейных подстановок аддитивной группы поля F2« 33

Vn^GF(2) : deg f ^ 1}. Здесь через deg f обозначена алгебраическая степень функции f равная степени её многочлена Жегалкина. Известно выражение нелинейности Nf через коэффициенты Уолша — Адамара функции f:

Nf = 2“-‘ - 2max|Wf (a)|.

2 aeVn

Напомним, что любое отображение F : Vn ^ Vm задаётся набором координатных функций (fi,...,fm), таких, что

F(x) = (fi(x),..., fm(x)) для всех x е Vn.

В этом случае пишут F = (fi,... , fm).

Нелинейностью или показателем нелинейности [2] отображения F называется число Np, определяемое равенством

NF = min NrF , eevm\{o}

где eF = fiifi + ... + Pmfm для произвольного вектора в е Vm и F = (fi,... , fm). Выражение показателя нелинейности Np через коэффициенты Уолша — Адамара координатных функций fi,... , fm имеет вид

Nf = 2n—i-----max max | WeF(a)|.

2 eevm\{o} aevn 1 e

Рассмотрим поле Fq из q = 2n элементов с нулём 0 и единицей 1, и пусть F : Fq ^Fq. Обозначим через Z образующий элемент группы F*. Поле Fq является векторным пространством размерности n над полем F2, а каждый его элемент x е Fq задаётся век-

n— i

тором x = (x0,... , xn—i) е Vn, таким, что x = xi(г.

i=0

Если a е Vn — фиксированный вектор и x е Vn, то (a, x) —линейная функция на Vn. Значит, существует однозначно определённый элемент а е Fq, такой, что (a, x) = Tr(ax), где Tr : Fq ^ F2 — функция абсолютного следа элементов поля Fq [3, теорема 2.24]. Данное наблюдение и свойство линейности функции следа позволяют для показателя нелинейности отображения F : Fq ^ Fq получить формулу

Np = 2n—i - А р,

UF = (—1)Тг(ax+/3F(x))

В данной работе исследуется параметр Np подстановок из класса подстановок группы (Fq, +), взятого из [4], являющихся при выполнении одного условия ортоморфизмами. Дадим определение.

Пусть (G, •) — конечная группа с единицей е. Подстановка т из симметрической группы S(G) подстановок на множестве G называется ортоморфизмом группы G [4, 5], если отображение т1 : G ^ G, определяемое условием

т\д) = g—iT(д) для всех д е G, является подстановкой из S(G).

где

А

F

- max max

2 a£Fq eeF*

F I а,в I ,

1

34

А. Е. Тришин

Известно, что ортоморфизмы существуют для любой группы нечётного порядка [4, theorem 1.22]. Ортоморфизмами групп (Z3, +) и (Z5, +) являются, например, следующие подстановки:

/0 12\ ( 0 1 2 3 4 \

\1 0 2 ) \ 0 2 4 1 3 ) '

Примером ортоморфизма группы (G, •), |G| = m, является отображение ip : G ^ G, р(д) = дк для всех g Е G, где к Е N, (k,m) = (к — 1 ,m) = 1.

Для ортоморфизмов могут находиться применения, например при построении систем ортогональных латинских квадратов [6].

1. Определение кусочно-линейного преобразования конечного поля

Пусть H < F* —подгруппа порядка l мультипликативной группы поля Fq, 0 < l ^ q — 1, q — 1 = l • r, где r Е N. Группа F* раскладывается в объединение смежных классов по подгруппе H:

Г— 1

F* = U Hj, Hj = ZjH, j = 0,...,r — 1.

j=0

Рассмотрим кусочно-линейное отображение F : Fq ^ Fq, F(0) = 0, ограничение которого на каждый смежный класс Hj имеет вид

x Aj x для всех x Е Hj,

где Aj Е F*, j = 0,... , r — 1 (отображения такого вида изучаются в [4, ^apter 3]). Заметим, что существуют однозначно определённые числа aj Е {0, ...,q — 2}, j = = 0,... , r — 1, при которых Aj = Zaj.

Отображение F переводит смежные классы по подгруппе H в смежные классы по подгруппе H. Значит, F биективно в том и только в том случае, когда F осуществляет перестановку указанных смежных классов. Это выполняется тогда и только тогда, когда набор чисел a0, a1 + 1, ... , ar—1 + r — 1 образует полную систему вычетов по модулю r, то есть тогда и только тогда, когда отображение п : Zr ^ Zr,

n(j) = (aj + j) mod ^^, j = 0, ..., r — 1 (1)

является биективным.

Подстановка F указанного вида является ортоморфизмом группы (F2n, +) в том и только в том случае, если Aj = 1 для всех j = 0,..., r — 1 и отображение П : Zr ^ Zr,

n(j) = (logC (Aj + 1) + j) mod r, j = 0, ... , r — 1,

является биективным, где функция log^ : F* ^{0,...,q — 2} определяется условием: для любых у Е F*, c Е {0,... , q — 2} равенство log^(y) = c имеет место в том и только в том случае, когда Zc = Y.

2. Оценка показателя нелинейности кусочно-линейного преобразования

поля характеристики 2

Теорема 1. Пусть n,r,l Е N, q = 2n, q — 1 = rl, 3 ^ r ^ jq + 1, Z — примитивный элемент поля Fq, H = (Zr) —подгруппа группы F* порядка l, числа aj Е {0,... , q — 2},

О показателе нелинейности кусочно-линейных подстановок аддитивной группы поля F2« 35

j = 0,...,r — 1, попарно различные и такие, что отображение (1) является биективным, и отображение F : Fq ^ Fq имеет вид

F (x)

0, x = 0,

Zajx, x e ZjH, j = 0,... ,r — 1.

Тогда выполнено неравенство

Np ^

VQ(r

1 )(Vq - r + 1)

2 r

Доказательство. Для произвольных a e Fq, в e F* имеем равенство

= e x(ax+eF (x)),

x€Fq

где функция x ством

Получим далее

или

канонический аддитивный характер поля Fq, определяемый равен-x(y) = (-1)Tr(y) для всех у e Fq.

Ua,e = 1+ ЕЕ x(ax + eF (x)),

j=0 xEHj

Ua,e = 1 + E E X(YjZjx), (2)

j=0 xeH

где yj = a + fiAj = a + aj, j = 0,..., r - 1.

Заметим, что по условию теоремы числа а0, ai, ..., ar-1 попарно различны. Поэтому при фиксированных элементах a e Fq, в e F* элементы yo, Yi , ..., Yr-i попарно

различны, и возможен один из двух случаев:

а) Yj = 0 для всех j e {0,..., r — 1};

б) Yj0 = 0 для некоторого jo e {0,... , r — 1} и Yj = 0 для всех j e {0,... , r — 1}\{jo}.

1. Пусть имеет место случай «а». Воспользуемся разложением аддитивного характера x по мультипликативным характерам поля Fq [3]:

Х(У)

1

q — 1

Е ^(ф х)ф(у) для всех y e F^

ф

где сумма берётся по всем мультипликативным характерам поля Fq; ф — характер, сопряжённый для характера ф; 0(ф, х) — сумма Гаусса, определяемая равенством

с(ф,х) = Е ф(с)х(с).

ceF*

Из (2) получим

UF

а,в

r-1 1 _

1 + Е Е —^ Е G(ф, х)ф(тjCjx)

j=о xeH q 1 ф

1 r-1

1 + —^ E G(ф, х) E ф(тjCj) E ф(x).

q 1 ф j=о xeH

E ф(^ =

xeH

Учитывая равенство

|H | 0,

ф e Ann(H) ф e Ann(H),

36

А. Е. Тришин

получим

1 _ r-1

= 1 +----1 Е G{;ф, х) Е ф(Тjz).

q — 1 yeAnn (H) j=0

Здесь Ann(H) —аннулятор группы H = {(r), состоящий из всех мультипликативных характеров ф поля Fq, для которых ф((r) = 1.

Пусть ф0 — тривиальный мультипликативный характер, тогда, учитывая равенство lr = q — 1, получим

1 _ r-1

Ua,e = 1 + Е С(ф,х)Т; ф(ЪCj) + О(ф0,х).

q 1 yeAnn (H )\{Уо} j=0

Так как С(ф0,х) = —1, то

l _ r-1

Ua,l3 = —1 Е G(ф, х) Е ф(ъСj).

q 1 yeAnn(H )\{Уо} j=0

r-1

Учитывая неравенство

Е ф(ъ У)

j=0

всех ф = ф0 и всех х, получим

^ r и равенство |С(ф,х)|

y/q, справедливое для

и^з\ У —^т Е \С(ф,х)\ • r = (|Ann(H)| — 1) y/q.

q 1 yeAnn(H )\{Уо}

Так как |Ann(H)| = r [3, теорема 5.6], получим неравенство

|и<У\ у(r — 1)/q. (3)

2. Пусть теперь имеет место случай «б», т. е. yj0 = 0 для некоторого индекса j0 Е Е {0,... , r — 1} и уj = 0 для всех j Е {0,... , r — 1}\{j0}. Учитывая равенство х(0) = 1, из (2) получим

иа,в = 1 + |H 1 + Е Е х(ЪСjx).

je{0,...,r-i}\{jo}xeH

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

Ule = 1А |H 1 + Е Е^гЕ с(ф,х)ф(ъ Cj x) =

je{0,...,r-i}\{jo} xeH q 1 y

= 1A |H 1 + E ^ф,х) E ф(ЪCj) =

q 1 yeAnn(H) je{0,...,r-i}\{jo}

= 1 + |H| + G(фo,х) + -^T E G(y, х) E ф(7j Zj)•

q 1 q 1 yeAnn(H )\{Уо} je{0,...,r-i}\{jo}

Так как G^0, х) = — 1, |H| = l и lr = q — 1, то

uFe = - +1 Е GE^) Е ф(ъ Zj )• (4)

r r yeAnn(H)\{yo} je{0,...,r-i}\{jo}

О показателе нелинейности кусочно-линейных подстановок аддитивной группы поля F2« 37

Учитывая неравенство

Е ^(YjC)

ie{o,...,r-i}\{jo}

справедливое для всех ф = ф0 и всех х, получим неравенство

^ r — 1 и равенство |С(ф,х)| = /q,

UF - -

Ua,e r

< У—4 (|Ann(H)| — 1) /-,

которое равносильно

U f _ -

иа,в r

(r — 1)2 ^ ^ ----------/-.

Объединяя оба случая, из (3) и (5) получим

max lUF, | ^ max < (r — 1 )v/q, - +

a£Fq ,e^F(

q (r — 1)2

/q

q (r — 1)2

Заметим, что неравенство (r — 1)y/q Ф —I---------y/q выполняется тогда и только

тогда, когда r ^ y/q + 1. Последнее выполняется по условию, значит,

max |U£e1 ^ q + (Г—^/q.

aGFg ,e^F*

r

r

Таким образом, имеем неравенство Nf Ф

/q(r

1)(/q — r — 1)

2r

Замечание 1. Если в условии теоремы 1 неравенство r < y/q + 1 заменить на r Ф y/q + 1, то получится оценка Nf Ф 0, которая является тривиальной.

3. Спектр показателя нелинейности кусочно-линейного преобразования поля характеристики 2 в частных случаях

В некоторых случаях для отображения F можно находить точные значения показателя нелинейности.

Теорема 2. Пусть n Е N — чётное число, q = 2n, Z — примитивный элемент поля Fq, H = (Z3) — подгруппа группы F* порядка (q —1)/3, числа a0,a1,a2 Е {0,... ,q — 2} попарно различные и такие, что отображение

п : Z3 ^ Z3, n(j) = (aj + j) mod 3, j = 0,1, 2,

является подстановкой группы Z3, и отображение F : Fq ^ Fq имеет вид

F (x)

0, x = 0,

Zajx, x Е (jH, j = 0,1 2.

Тогда если n = 0 (mod 4), то

Nf = VqWq — 1)/3,

а если n = 2 (mod 4), то

Nf е W-(2Vq — 1)/6^/qWq — 2)/3} .

38

А. Е. Тришин

При этом в случае n = 2 (mod 4) равенство NF = — 1)/6 имеет место тогда и

только тогда, когда

C(j+1) mod 3 = Cj + 1 (mod 3), j = 0,1, 2,

где

Cj = (logz(Za(j+1) mod 3-aj + 1) + aj) mod 3, j = 0,1, 2. Доказательство. Так как при r = 3 и n ^ 2 справедливо равенство

max

(r

q + (r - 1)2^g r

q + (r - 1)2^д

r

то (как следует из доказательства теоремы 1) для нахождения Np достаточно рассмотреть случай «б»: элементы а Е Fq, в Е F* —произвольные такие, что yj0 = 0 для некоторого индекса j0 Е {0,1,2} и Yj = 0 для всех j Е {0,1, 2}\{j0}.

Обозначим {0,1, 2}\{j0} = {j1,j2}. Так как Ann(H) = {ф0,ф,ф2}, где ф0 — три-

виальный мультипликативный характер; ф — мультипликативный характер порядка 3 поля Fq и С(ф, х) = С(ф2, х), то из (4) получим

ирв = 3 + 3G(ф, Х) (a(YnCj1) + a(Yj2j)) ,

где a : F* ^ C*, a(Zu) = ф((u) + ф2((u) для всех u Е {0,... , q - 2}.

Известно [7, 8], что если ф — мультипликативный характер порядка 3 поля F2n, х — канонический аддитивный характер поля F2n, то

£(ф,х) = (-1)(n-2)/2 ■ 2n/2.

Поэтому

UE = 3 + i(-1)(“-2)/2Vq (a(YjiZj1) + a(Yj2Zj2)) =

= 3 + 3<-Y“-2V2Vq (a ((a + ez a'i )Zj1) + a ((a + eZ j )Zj2)) .

Так как в рассматриваемом случае a + eZajo = 0, то

ЕЕ = 3 + i(-1)("-2)/2Vq (a(aZU1) + a(aZU2)),

где Zu1 = (Zaj1 -ajo + 1)Zj1; Zu2 = (Zaj2-ajo + 1)Zj2; Ui, u Е {0,... , q - 2}.

Заметим, что если в = 0 и выполняется равенство a + eZajo = 0, то a = 0. Заметим далее, что так как a(Zu) = e2niu/3 + e4niu/3 для всех u Е {0,... , q - 2}, то

a(Z u)

2, u = 0 (mod 3), - 1 иначе,

т.е. a(Z u)

2, Zu Е H,

— 1 иначе.

Поэтому если u1 = u2 (mod 3), то найдётся элемент a Е F*, для которого aZu1 Е H, aZu2 Е H, и найдётся элемент a' Е F*, для которого a'Zu1 Е H, a'Zu2 Е H. Значит, если u1 = u2 (mod 3), то

max (a (aZu1) + a (aZu2))

aGF*

4, miTn(a (aZu1) + a (aZu2))

aGF*

2.

О показателе нелинейности кусочно-линейных подстановок аддитивной группы поля F2« 39

Если же u1 = u2 (mod 3), то найдутся элементы a, a' G F*, для которых а(Ui G H, a(U2 G H и a'ZUl G H, a'ZU2 G H, но не найдётся элемента a'' G F*, для которого a''zUl g H, a''ZU2 G H. Значит, в этом случае

max (a (aZU1) + a (aZU2)) = 1, min (a (aZU1) + a (aZU2)) = — 2.

a€F* a€F*

Таким образом, если n = 0 (mod 4), то

max I Ua в I = (q + 2v/q)/3,

aeFq , eeF* 1 a , в| v v

а если n = 2 (mod 4), то

maxF, | Ua,e I G {(q + А)/3, (q + Vq)/3I.

aGFq ,pGF*

При этом в случае n = 2 (mod 4) равенство max AA I = (q+Pq)/3 выполняется

a€Fq ,eeF* ,e 1 v

тогда и только тогда, когда для любого j0 G {0,1, 2} верно условие

ui = u2 (mod 3). (6)

Так как ZU1 = (Zaji ajo + 1)Zji, ZU2 = (Zaj2 ajo + 1)Zj2, u1,u2 G {0,... , q—2}, то выполнение условия (6) для всех jo G {0,1, 2} означает, что имеет место система

( logz (Zai ao + 1) = logz (Za2 ao + 1) + 1 (mod 3),

<j logz(Zao-ai + 1) = logz(Za2-ai + 1) + 2 (mod 3),

У logz(Zao-a2 + 1) = logz(Zai-a2 + 1) + 1 (mod 3),

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

c(j+1) mod 3 = cj + 1 (mod 3) , j 0, 1, 2,

где Cj = (logz(Za(j+i) mod 3 aj + 1) + aj) mod 3, j = 0,1,2. ■

Следствие 1. В случае n = 2 (mod 4) при r = 3 оценка из теоремы 1 является достижимой.

Доказательство. В условиях теоремы 2 в случае n = 2 (mod 4) существует отображение F рассматриваемого вида, для которого имеет место равенство

max

a£Fq ,e^F*

иF I

U ,в

(q + V^A

Действительно, данное равенство выполнено, если, например,

logz(Za2 ai + 1) + ai = logz(Zai ao + 1) + ao + 1 (mod 3).

Ясно, что для любого значения в правой части последнего сравнения найдётся такое a2 G {0,..., q — 2}, что сравнение будет справедливо. ■

Как и в случае мультипликативного характера порядка 3, сумма Гаусса для любого мультипликативного характера порядка 5 и канонического аддитивного характера поля Fq принимает одно и то же действительное значение.

40

А. Е. Тришин

Лемма 1. Пусть n,m G N, n = 4m, q = 2n. Если ф' — мультипликативный характер порядка 5 поля Fq, х' — канонический аддитивный характер этого поля, то

w,x') = (-i)m-1vq.

Доказательство. Пусть Z — примитивный элемент поля Fq. Тогда n = Z(q-1)/15 — примитивный элемент поля F16, и мультипликативный характер ф поля F16, определяемый равенством

ф(П) = ф/((),

имеет порядок 5.

Пусть х — канонический аддитивный характер поля F16. Для характера ф поля F16 = F42 выполняются условия теоремы Штикельбергера [3, теорема 5.16], и по этой теореме получим равенство С(ф,х) = 4 (которое можно проверить и непосредственным вычислением). Так как х' и ф' — поднятия до поля Fq характеров х и ф поля F16 соответственно и [Fq : F16] = m, то по теореме Дэвенпорта — Хассе [3, теорема 5.14] получим С(ф',х') = (-1 )т-1С(ф,х)т = (-1)m-1 /q. ■

Теорема 3. Пусть n,m G N, n = 4m, q = 2n, Z — примитивный элемент поля Fq, H = (Z5) — подгруппа группы F* порядка (q — 1)/5, числа aj G {0,... , q — 2}, j = 0, ... , 4, — попарно различные и такие, что отображение

п : Z5 ^ Z5, п(j) = (aj + j) mod 5, j = 0,... , 4, является биективным, и отображение F : Fq ^ Fq имеет вид

F (x)

0, x = 0,

Z aj x, x G Zj H, j = 0,..., 4

Тогда если n = 0 (mod 8), то

Nf = 2/q(/q — 1)/5,

а если n = 4 (mod 8), то

Nf G {/q(4/q — t)/10 : t =1, 6,11,16} . Доказательство. Так как при r = 5 и n ф 4 справедливо равенство

q + (r — 1)2/Л _ q + (r — 1)2/

max< (r — 1)^/q,

то (как следует из доказательства теоремы 1) для нахождения Nf достаточно рассмотреть случай «б»: элементы a G Fq, в G F* — произвольные такие, что yj0 = 0 для некоторого индекса jo G {0,... , 4} и yj = 0 для всех j = {0,... , 4}\{j0}.

Обозначим {0, ..., 4}\{jo} = {j'1, j'2, j3, j'4} и пусть l = (q — 1)/5. Если ф — произвольный мультипликативный характер поля Fq порядка 5, х — канонический аддитивный характер поля Fq, то по лемме 1 имеем С(ф,х) = (—1)m-1/q. Тогда из (4) получим

q 1 4

UFe = 5+ 5(—1)m-1/q Е Gj Zjk),

5 5 fc=1

О показателе нелинейности кусочно-линейных подстановок аддитивной группы поля F2« 41

гДе У ■ F* ^ С*, a((u) = Е E(Zu) Для всех u е {о ,...,q — 2}; = а + “jk,

s=1

k = 1,..., 4. Так как в рассматриваемом случае а + вС“jo = 0, то

q 1 4

= 5 + 5(—Е у(аСuk),

5 5 k=1

где Zuk = (Zajk-“jo + 1)Zjk, uk е {0,... , q — 2}, k = 1,... , 4. Заметим, что если в = 0 и выполняется равенство а + eZ“jo = 0, то а = 0. Заметим далее, что так как

y(Zu) = Е e2nisu/5,

s=1

то

y(Zu)

4, u = 0 (mod 5), — 1 иначе,

т.е. y(Zu)

4, Zu е H,

— 1 иначе.

Какие бы ни были числа Uk е {0,..., q — 2}, k = 1,..., 4, найдётся элемент а е F*, для которого аZuk е H для всех k е {1,... , 4}. Следовательно,

min i Е ^EZ^ ) ) = —4, aeF?Vk=1 )

и при n = 0 (mod 8) получим max I = (q + 4/q)/5.

ae Fq ,eeF* 1 ,ei

Пусть теперь n = 4 (mod 8).

Случай 1. Если u1 = u2 = u3 = u4 (mod 5), то найдётся элемент а е F*,

/4 \

для которого аZuk е H для всех k е {1,... , 4}. Тогда max

«eF*

получим

max

aeFq ,eeFq

uf I

Ua,e I

(q + 16Vq)/5.

E aEZ uk)

k= 1

16, откуда

Случай 2. Если u^ = ufe = uk3 = щ4 (mod 5), где {kb k2, k3, k4} = {1,..., 4},

то возможны три подслучая:

2.1. За е F* EZukl е H, аZuk2, аZuk3, аZuk4 е H);

2.2. За' е F* (а/Zuki е H, а^uk2, а/Zuk3, а^uk4 е H);

2.3. За'' е F* (аЕuki, а''Zuk2, аЕuk3, а''Zuk4 е H).

4 4 4

Так как aEZuk) = 11, E aE'Zuk) = 1, E у EEuk) = —4, в случае 2 получим

k=1 k=1 k=1

max I E aEZ^ ) | = 11, следовательно, max EE1 = (q + 11/o)/5.

a€F* \k=i ) aeFq,fieF*q ' a,P 1 V

Аналогично получим следующее.

Случай

3. Если ukl

uk2

4

uk3 = uk4 (mod 5), uki = uk4 (mod 5), где

{k1,k2,k3,k4} = {1,..., 4}, то max EC aEZuk)

aeFq \k=1

6, следовательно,

max EE1 = (q + 6/q)/5

aeFq ,eeFq 1 a,PI v v

42

А. Е. Тришин

Случай 4. Если ukl ф uk2 (mod 5) для всех k\,k2 Е {1,..., 4}, k\ = k2, то

max (У' a(aCUk) I = 1, следовательно, max I UFe I = (q + Л/о)/5.

a€F* \k=i ) «eFq,eev*q 1 a,pl v

Теорема доказана. ■

Автор признателен О. В. Камловскому за полезные рекомендации и обсуждения в ходе выполнения работы.

ЛИТЕРАТУРА

1. Логачёв О. А., Сальников А. А., Смышляев С. В., Ященко В. В. Булевы функции в теории кодирования и криптологии. 2-е изд., доп. М.: МЦНМО, 2012. 584 с.

2. Nyberg K. On the construction of highly nonlinear permutations // EUROCRYPT’92. LNCS. 1993. V. 658. P. 92-98.

3. Лидл Р., Нидеррайтер Г. Конечные поля: в 2-х т.: пер. с. англ. М.: Мир, 1988. 822 с.

4. Evans A. B. Orthomorphisms Graphs and Groups. Berlin: Springer Verlag, 1992.

5. Paige L. J. Complete mappings of finite groups // Pacific J. Math. 1955. V. 1. P. 111-116.

6. Глухов М. М. О методах построения систем ортогональных квазигрупп с использованием групп // Математические вопросы криптографии. 2011. Т. 2. №4. C.5-24.

7. Ding C. Cyclotomic linear codes of order 3 // IEEE Trans. Inf. Theory. 2007. V. 53. No. 6.

P. 2274-2277.

8. McEliece R. J. Irreducible cyclic codes and Gauss sums // Combinatorics / eds. M. Hall and

J.H. van Lint. Amsterdam: Math. Centre, 1975. P.185-202.

REFERENCES

1. Logachev O.A., Sal’nikov A. A., Smyshlyaev S. V., Yashchenko V. V. Bulevy funktsii v teorii kodirovaniya i kriptologii [Boolean Functions in Coding Theory and Cryptology]. Moscow, MCCME Publ., 2012. 584 p. (in Russian)

2. Nyberg K. On the construction of highly nonlinear permutations. EUROCRYPT’92, LNCS, 1993, vol. 658, pp. 92-98.

3. LidlR., Niderrayter G. Konechnye polya [Finite Fields]. Moscow, Mir Publ., 1988, vol. 1,2. 822 p. (in Russian)

4. Evans A. B. Orthomorphisms Graphs and Groups. Berlin, Springer Verlag, 1992.

5. Paige L. J. Complete mappings of finite groups. Pacific J. Math., 1955, vol. 1, pp. 111-116.

6. Gluhov M. M. O metodakh postroeniya sistem ortogonal’nykh kvazigrupp s ispol’zovaniem grupp [On a method of construction of orthogonal quasigroup systems by means of groups]. Mat. Vopr. Kriptogr., 2011, vol. 2, iss. 4, pp. 5-24. (in Russian)

7. Ding C. Cyclotomic linear codes of order 3. IEEE Trans. Inf. Theory, 2007, vol. 53, no. 6, pp. 2274-2277.

8. McEliece R. J. Irreducible cyclic codes and Gauss sums. Combinatorics (eds. M. Hall and J. H. van Lint). Amsterdam, Math. Centre, 1975, pp. 185-202.