Конструкция бент-функций по бент-функции, аффинной на нескольких сдвигах подпространства | Прикладная дискретная математика. Приложение. 2017. № 10. DOI: 10.17223/2226308X/10/16

Конструкция бент-функций по бент-функции, аффинной на нескольких сдвигах подпространства

Предлагается конструкция бент-функций по имеющейся бент-функции, аффинной на нескольких смежных классах некоторого линейного подпространства размерности t. Конструкция обобщает метод построения бент-функций на минимальном возможном расстоянии от заданной бент-функции. Для t = 2 и для квадратичной бент-функции приведён упрощённый вид конструкции. Получена точная верхняя оценка числа порождаемых функций и доказано, что при любом t ^ 2 оценка достигается только для квадратичных бент-функций.

A bent function construction by a bent function that is affine on several cosets of a linear subspace.pdf Отображение вида f : Fn ^ F2 называется булевой функцией от n переменных, функция Daf(x) = f(x) ф f (x ф a) -её производная по направлению a Е Fn. Носитель функции f определяется как supp(f) = {x Е Fn : f(x) = 1}. Пусть (w,x) = w1x1 ф ... ф wnxn, где w,x Е Fn. Обозначим через IndS характеристическую булеву функцию множества S С Fn. Бент-функцией называется булева функция, производные которой по всем ненулевым направлениям уравновешены (принимают значения 0 и 1 на одинаковом числе аргументов), это возможно только при чётном числе переменных. Бент-функции предложены О. Ротхаусом [1]. Они имеют приложения в алгебре, комбинаторике, теории кодирования, криптографии [2, 3]. Обозначим через B2fc множество всех бент-функций от 2k переменных. В работе исследуются свойства приведённой в следующей теореме конструкции, порождающей бент-функции путём изменения некоторой имеющейся бент-функции. Теорема 1. Пусть f Е B2k и для некоторого w Е F2k бент-функция f (x) ф (w,x) постоянна на каждом из 22k-2t различных смежных классов a1 ф L,... , a22k-2t ф L некоторого линейного подпространства L С F^ размерности t, где 0 ^ t ^ k. Тогда функция f ф Ind(aieL)U...U(a22k_2t®L) (1) также является бент-функцией. Замечание 1. Конструкция (1) при t = k становится конструкцией, предложенной К. Карле [4] и порождающей все бент-функции на расстоянии 2k от f (это минимальное возможное расстояние Хэмминга между двумя бент-функциями) [5]. Замечание 2. В случае t Е {0,1} конструкция (1) тривиальна и даёт сходный результат для любой бент-функции f: при t = 0 можно получить только функцию f ф 1, а при t =1 порождается в точности семейство функций {f (x ф a) ф c : a Е F2k\{0}, c Е F2}. Замечание 3. Требуемый для конструкции (1) набор смежных классов размерности t всегда найдётся, если бент-функция представлена в виде линейного разветвления с индексом линейности не меньше t [6] или принадлежит классу Мэйорана - МакФарланда [7]. Заметим также, что при разных t конструкция порождает различные бент-функции. При t = 2 теорему 1 можно переформулировать следующим образом. Следствие 1. Пусть f Е B2k и для произвольных u, v Е F^, u = v, и c, d Е F2 U = supp(c ф Duf) П supp(d ф Dvf). Тогда при U С supp(1 ф DMDv f) функция f ф Ind^ является бент-функцией. Для квадратичной бент-функции f множество U = (а1 ф L) U ... U (a22k-2t ф L) всегда является аффинным подпространством. Заметим, что общий подход к получению бент-функций инверсией значений исходной бент-функции на аффинном подпространстве можно найти в [4]. Опишем функции, порождаемые конструкцией (1) из квадратичной бент-функции. Теорема 2. Пусть квадратичная бент-функция f Е B2k постоянна на некотором смежном классе линейного подпространства L С F^ с базисом b1,... , bt Е F2k. Тогда t для U = П supp(Dbif ф сг) при произвольных c1,... , ct Е F2 функция f фIndU является г=1 бент-функцией, а U - аффинным подпространством F2k размерности 2k - t. В силу замечания 1 конструкция (1) является обобщением конструкции бент-функ-ций на расстоянии 2k от заданной бент-функции. Обобщим также некоторые результаты, касающиеся бент-функций, располагающихся на минимально возможном расстоянии друг от друга. Теорема 3. Для произвольной f Е B2k конструкция (1) порождает не более чем t-1 22k-2г _ 1 2t П ^- 11 Ot-г 1 г=0 2 - 1 бент-функций (для фиксированного t). При t ^ 2 оценка достигается, если и только если f является квадратичной бент-функцией.

Ключевые слова

булевы функции, бент-функции, минимальное расстояние, аффинность, Boolean functions, bent functions, the minimal distance, affinity

Авторы

ФИООрганизацияДополнительноE-mail
Коломеец Николай АлександровичИнститут математики им. С. Л. Соболева СО РАНкандидат физико-математических наук, научный сотрудникnkolomeec@gmail.com
Всего: 1

Ссылки

Rothaus O. On bent functions // J. Combin. Theory. Ser.A. 1976. V.20. No.3. P. 300-305.
Логачев О. А., Сальников А. А., Смышляев С. В., Ященко В. В. Булевы функции в теории кодирования и криптологии. 2-е изд. М.: МЦНМО, 2012. 584с.
Tokareva N. N. Bent Functions, Results and Applications to Cryptography. Acad. Press. Elsevier, 2015.
Carlet C. Two new classes of bent functions // LNCS. 1994. V. 765. P. 77-101.
Коломеец Н.А. Верхняя оценка числа бент-функций на расстоянии 2k от произвольной бент-функции от 2k переменных // Прикладная дискретная математика. 2014. №3. С.28-39. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000487973
Ященко В. В. О критерии распространения для булевых функций и о бент-функциях // Проблемы передачи информации. 1997. Т. 33. №1. С. 75-86.
McFarland R. L. A family of difference sets in non-cyclic groups // J. Combin. Theory. Ser. A. 1973. V. 15. P. 1-10.
 Конструкция бент-функций по бент-функции, аффинной на нескольких сдвигах подпространства | Прикладная дискретная математика. Приложение. 2017. № 10. DOI: 10.17223/2226308X/10/16

Конструкция бент-функций по бент-функции, аффинной на нескольких сдвигах подпространства | Прикладная дискретная математика. Приложение. 2017. № 10. DOI: 10.17223/2226308X/10/16