CC BY
16
Серия «Математика»
2016. Т. 17. С. 37—45
Онлайн-доступ к журналу: http://isu.ru/izvestia
УДК 519.715 ЫБО 68д17
Верхние оценки сложности функций над непростыми конечными полями в классе поляризованных полиномов *
А. С. Казимиров, С. Ю. Реймеров
Иркутский государственный университет
Аннотация. В настоящее время активно исследуются представления дискретных функций над конечными полями, в том числе полиномиальные. Одним из основных направлений этих исследований является сложность таких представлений.
В статье предложены новые верхние оценки сложности дискретных функций над некоторыми конечными полями в классе поляризованных полиномов. При этом результаты излагаются на языке матричных форм. Под матричной формой понимается представление вектора функции в виде произведения квадратной невырожденной матрицы и вектор-столбца. Сложность функции в классе поляризованных полиномов совпадает со сложностью функции в классе матричных форм специального вида.
Под сложностью матричной формы понимается число ненулевых элементов в векторе этой формы. Каждая функция может быть реализована несколькими матричными формами из одного класса. Под сложностью функции в классе понимается минимально возможная сложность реализующей ее матричной формы из этого класса.
В данной работе получены верхние оценки для функций над полями порядков 2к и рк, где р — простое и р ^ 3.
Ключевые слова: конечное поле; полином; поляризованный полином; сложность.
Пусть д — степень простого числа, Fg — конечное поле порядка д, п — натуральное число, п ^ 1, N = дп.
* Работа выполнена при частичной финансовой поддержке РФФИ, проект 1631-00280, и ФЦП «Исследования и разработки по приоритетным направлениям развития научно-технического комплекса России на 2014-2020 годы (14.579.21.0092), проект № RFMEFI57914X0092.
1. Введение
В статье используются следующие обозначения и соглашения:
— N = {0,1,...} — множество натуральных чисел;
— Z — множество целых чисел;
— avg 5 = щ х — среднее арифметическое конечного непустого
хЕЯ
числового множества 5;
— если а — действительное число, то [а] = шах{г £ Z | г ^ а};
— нотация Айверсона [3]: если Я — некоторое утверждение, то
, I 1, если Я истинно,
1Я1 = п „
I 0, если Я ложно;
— целое число к в контексте операций над Fq равняется а £ Fq, где
а = (_1)^<о]^1 + ■■■ + !),
\к\ раз
в частности, в Fq выполняется равенство ц — 1 = —1;
— будем считать, что для любого а £ Fq выполняется а0 = 1;
— биномиальный коэффициент (р при г<] равен 0;
— если М — матрица размера шхк, 1 ^ г ^ т, 1 ^ ] ^ к, то через М[г,]} обозначим элемент, стоящий на пересечении г-й строки и ]-го столбца М;
если М1 — матрица размера т1 хк1, М2 — матрица размера т2хк2, то матрица М = М1 ® М2 размера т1т2хк1 к2, в которой для всех ¿1, ¿2,]1,]2, 1 ^ г1 ^ т1, 1 ^ ¿2 ^ т2, 1 ^ л ^ к1, 1 ^ ]2 ^ к2,
выполняется М[(г1 — 1)т2 + %2, (л — 1)к2 + ]2] = М^1 ,л]М[12,32], называется кронекеровым произведением матриц М1 и М2; г(М) = 1{(г3) I М[г,]} =0, 1 ^ г ^ т, 1 ^ ] ^ к}1 — количество нулевых элементов матрицы М размера тхк;
Мд[тхк] — множество всех матриц размера тхк с элементами из ^;
— функцию / : F™ — Fq будем отождествлять с вектором ее значений / £ , / = (¡1,...,/), полагая ¡к = / (ак) для всех к, 1 ^ к ^ N, и вместо / : Fn — Fq будем писать / £ FN.
2. Матричные формы дискретных функций
Следуя [1], введем следующие определения. Определение 1. Пусть V £ Fn. Выражение
Ф>1,...,*п)= Е С4(Ж1 + Vl)al ...(Хп + Vn)an , (2.1)
где с € , назовем поляризованным полиномом переменных х1,...,хп над полем ^ с поляризацией V и вектором коэффициентов с.
Если переменным х1,...,хп придавать всевозможные значения из Fg, то полином ФС из (2.1) задает некоторую функцию ФС € FN. Сложностью полинома ФС назовем величину Ь(Ф"С) = \{сг \ сг = 0, 1 ^ Ь ^ N}|. При этом выполняется Ь(ФС) = дп — 2(с).
Сложностью функции / € FN в классе поляризованных полиномов назовем величину Ьр(I) = тт{Ь(ФС) \ с € FN, V € Т^1, ФС = I}. При этом Ьр(I) = дп — тах{2(с) \ с € FN, V Ф® = I}.
Сложностью множества функций Е С FN в классе поляризованных полиномов назовем величину Ьр (Е) = тах{Ьр (I) \ I € ^}. Сложность класса всех п-местных функций определим как Ьр (п) = Ьр ).
Понятие поляризованного полинома использовалось в работах [7; 9; 6; 1; 2]. Среди верхних оценок сложности можно отметить следующие. В работе [9] для простого д было показано, что справедливо неравенство
Ьр (п) <
ч(я -1) п .<?(<?-1) + 1 .
В [1] была получена параметрическая верхняя оценка для различных классов полиномов.
Определение 2. Пусть М € Мд N xN] — квадратная матрица. Пару {М, с), где с € FN, назовем матричной формой.
Матричная форма задает некоторую функцию I € FN, определяемую равенством I = Мс. Под сложностью матричной формы будем понимать Ь({М, с)) = \{сг \ сн = 0, 1 ^ Ь ^ N}\.
Пусть К С Мд N xN] —некоторое, возможно пустое, множество матриц. Классом матричных форм, порожденных множеством К, назовем множество {{М, с) \ М € К, с € FN}.
Сложностью функции I € FN в классе матричных форм, порожденных множеством К, назовем величину
Ьк(I) = тт{Ь({М, с)) \ М € К, с € FN, I = Мс}.
Аналогичным образом вводятся определения сложности семейства функций и класса всех п-местных функций.
Матрицу М € Мд[дхд] назовем верхней треугольной, или просто треугольной, если М[г, г] =0 для всех г, 1 ^ г ^ д и М[г,]}=0 для всех г,3, 1 ^ 3 < г ^ д. Множество всех треугольных матриц размера дхд будем обозначать Тд[д]. Заметим, что так определенные треугольные матрицы являются невырожденными.
Для каждого а € Fg определим матрицы Ма € Тд [д] следующим образом:
[г,3] = _ 1) а" 1 < г,з < д.
Множество таких матриц обозначим через Тр = {Ма | а € Fq}. В [1] показано, что сложность функции в классе поляризованных полиномов совпадает со сложностью функции в классе матричных форм, порожденных множеством Тр: Ьр(/) = Ь^р(/).
Также для каждого а € Fq определим матрицы Та € Тд [р]:
Та[г,;] = (З _ 1) а"-г1,1 < г,з < р.
Лемма 1. Для всех а € Fq выполняется Т-1 = Т-а.
Доказательство. При 1 ^ г ^ з ^ д выполняется (см. таблицу 99 в [3])
д
(Т-аТа)[г,з] = £ (к_ ;>_а)I к-ч(к __ 1)а"-к 1
к=1 4 7 4 7
£ (! _ 0 ( _а)к-<к __ 1)а- = а'-'(1 _ £(и _ ,
к= 4 7 4 7 4 7 к=
= а1 -г{\ _1)(1_1)"-г = [г = з].
Так как Та и Т-а являются верхними треугольными матрицами, то
-а.
Т-1 = т_а. □
3. Верхние оценки сложности
В [1] была получена параметрическая верхняя оценка сложности для различных классов кронекеровых форм:
Теорема 1. Пусть К С Тд [д] и для любой функции / € Fq выполняется avg^(М-1 /) | М € К} ^ в + $[/я = 0]; для некоторых вещественных ¡3 > 0 и 5 ^ 0. Тогда Ьк®(п) ^ [(1 ~~ а)сР\> где а =
Лемма 2. При а € Fq выполняется Ма = ТаРк-1 0 ... 0 Тар 0 Та.
Доказательство. Представим каждое из чисел г _ 1 и з _ 1 в р-ричной системе счисления:
г_ 1 = (гк _ 1)рк-1 + ... + (г2 _ 1)р + г1 _ 1, 3_ 1 = (Зк _ 1)рк-1 + ... + (32 _ 1)р + 31 _ 1.
C использованием теоремы Люка (см., например, упр. 5.61 в [3])
j | mod p = (jk I ... (jl I mod p г - 1) \ik - \) - V
выполним преобразования для элемента матрицы Ma[l,j]:
м'М={ j - 0 К i - 0411 - О о(А --ott
jk - Мj-ik)рк-1 ...(jl - 1 )j-ii)p1-1.
ik - V '"Vil - V
По определению матриц Ta имеем:
Ma[i, j] = Tp-l [ik ,jk ] . . . TaPl-l [ii,ji]. Из определения кронекерова произведения следует
Ma[i, j ] = (Tapk-l ® ... ® TaP ® Ta) [i, j ]. Таким образом, получаем Ma = ТаРк-1 ® ... ® ТаР ® Та. □
С использованием лемм 1, 2 получаем {Ma\a £ Fg} = {M-1\a £ Fg} и, таким образом, avg{Z(M-1 f) \ a £ Fg} = avg{Z(Maf) \ a £ Fg}.
Теорема 2. Пусть p ^ 3 — простое, k ^ 1, q = pk. Тогда
q - 1) - k
LTv (n) ^
-qn
д(д — 1)
Доказательство. Представим число г — 1 в р-ричной системе счисления:
г — 1 = (г к — 1)рк-1 + ... + (к — 1)рг-1 + ... + (11 — 1)р0.
По лемме 2 имеем Ма[г,з] = ТаРк-1 [гк,3к] .. •Тар1-1 [г1,31]. Рассмотрим некоторые элементы матрицы Ма. Для Ма[рк,]\ имеем:
Ма[рк,з] = Тарк-1 [р, 3к] ... Тар1-1 [р, 31 ]
Поскольку Та — верхние треугольные матрицы размера р х р, то данное произведение не равно нулю только при 3 = р для всех в, 1 ^ в ^ к, то есть при 3 = рк .В случае 3 = рк произведение равно 1. Таким образом, выполняется Ма[рк,]\ = [3=рк]. Для Ма[д—рь-1,]\ имеем:
Ма[д—рг-1,3] = Тарк-1 [р, 3к]... ТаР- [р—1,3]... Та[р, 31 ].
Множители ТаР-1 [р,л] равны 1 при = р и 0 иначе. Множитель
ТаРг-1 [р)-1,31 ] при А = р — 1 равен 1 , при А = р равен —а? 1 и равен 0 всех остальных случаях. Таким образом,
Ма[д—р/-1,А = и=д—р/-1] — а?*'1 Ц=д]. Для Ма[д—2рг—1,]\ имеем:
Ма[д—2р— А = Тарк-1 [р,]к].. .ТаР*-1 [р—2,зг].. .Та[р,п]. Для множителя ТаР*-1 [р—2,^] возможны следующие случаи:
{1,*_ 1 при п = р — 2; —2(/-1, при п = р — 1; а2? , при п = р; 0, иначе.
Получаем
Ма[д—2рь-1п] = [?=д—2р*-1] — 2а?*-1 [¿=д—р—] + а2?*-1 [А=д].
Рассмотрим произвольную функцию / € Fg. Определим множества К = {а € Fg | (Ма/)г = 0}, 1 < г < д.
Для функции / возможны следующие случаи. 1. /д = 0. Рассмотрим значение (Ма/)д_рг-1 = /д-рг-1 — а? " /д. При
_
)д—р1-1 / д-р* 1 а
выб°ре а = (/д-?ь-1 /1д)Р получаем /д-р*-1 — /д-р*-1 /1д)Я/д = 0. Таким образом, (Ма/)д—р*-1 =0 и, следовательно, Кд—рг-11 ^ 1. Для а возможно к вариантов выбора, поэтому среди чисел Кг | как минимум к штук больше нуля.
2. /д = 0, /д-р*-1 = 0. Рассмотрим
(Ма/)д-2р-1 = Ъ-2р*-1 — 2а? /д-р+ а2? .
. .рк-Ь+1
При выборе а = {/д—2р*-1 /2/д-?ь-1) получаем (Ма/)д—2?*-1 = 0,
Кд-2Р*-11 ^ 1. Также имеем Кд| = д.
3. /д = /д-р*-1 = 0. Рассмотрим (Ма/)д-р*-1 = /д—?*-1 — арр 1 /д = 0. В этом случае Кд—рг-11 = д, Кд| = д.
Оценим avg{Z(Ма/) | а € Fд}. По определению Кг имеем
avg{Z(Ma/) | а е F(г} = - (\Кг\ + ... + \Кд\).
Тогда avg{Я(М0/) | а е ¥д} > | + [Д = 0].
По теореме 1 из [1] ЬТр (п) ^ [(1 — а)дп\. Для данного случая имеем к/д
а = при подстановке получаем
(п) ^
~ 1) ~ к п
— 1)
□
ВЕРХНИЕ ОЦЕНКИ СЛОЖНОСТИ В КЛАССАХ ПОЛИНОМОВ 43
Теорема 3. Пусть д = 2к, к ^ 1. Тогда
Ьт-р (п) ^
9(9-1) ге
д — 1) + к
Доказательство. Представим число 1—1 в двоичной системе счисления:
г — 1 = (гк — 1)2к-1 + ... + (ц — 1)2- + ... + (н — 1)2°.
По лемме 2 имеем
Ма[г,з] = Та2и-1 [гк,3к]... Та21-1 [гг,з].
По аналогии с доказательством предыдущей теоремы найдем значения следующих элементов матрицы Ма:
Ма[2к,з] = Та2к-1 [2,3к] ...Та21-1 [2,31 ] = [з=2к].
Ма[д—2ь-1,з] = Та2к-1 [2,3к] ... Та2г-1 [1,3] ... Та[2,з] = [з=д—21-1] — а*- [з=д].
Рассмотрим произвольную функцию / € FЯ. Определим множества К = {а € Fg I (Ма!)г = 0}, 1 < г < д.
Для функции / возможны следующие случаи.
1. /я = 0. Рассмотрим значение (Ма/)я-2г-1 = /я-2—1 — а2 /я. При
выборе а = {/д-2Ь-1 Пя) получаем !я-2-1 — {^-2-1 Пя) /я = 0.
Таким образом, (Ма/)я-2*-1 =0 и Кя-2г-11 ^ 1. Для а возможно к вариантов выбора, поэтому среди чисел Кг I как минимум к штук больше нуля.
2. /я = 0. Рассмотрим значение (Ма/)я = /я = 0. В этом случае
1КI = д.
По определению Щ имеем avg{Z(Ma/) | а е Fg} = . .+\КЯ\).
Тогда
ауёЩМа/)\ае¥я}>^Ця^0] + Ця = 0} = ^ + ^[¡я = 0].
По теореме 1 из [1] ЬТр (п) ^ [(1 — а)дп\. Для данного случая имеем
к/я к
а = я-(я-к)/я = д(д-1 )+к-> ПРИ подстановке получаем
Ьт-р (п) ^
ч(я -1) п
(д-1)+к\
□
Список литературы
1. Балюк А. С. Верхние оценки сложности функций над конечными полями в некоторых классах кронекеровых форм / А. С. Балюк, Г. В. Янушковский // Изв. Иркут. гос. ун-та. Сер. Математика. - 2015. - Т. 14. - С. 3-17.
2. Балюк А. С. Нижняя оценка сложности функций над конечным полем порядка 4 в классе поляризованных полиномов / А. С. Балюк, А. С. Зинченко // Изв. Иркут. гос. ун-та. Сер. Математика. - 2016. - Т. 16. - С. 19-29.
3. Грэхэм Р. Конкретная математика. Основание информатики : пер. с англ. / Р. Грэхэм, Д. Кнут, О. Паташник. - М. : Мир, 1998. - 703 с.
4. Зинченко А. С. Полиномиальные операторные представления функций k-значной логики / А. С. Зинченко, В. И. Пантелеев // Дискретный анализ и исследование операций. Сер. 1. - 2006. - Т. 13, № 3. - С. 13-26.
5. Лидл Р. Конечные поля : пер. с англ. / Р. Лидл, Г. Нидеррайтер. - М. : Мир, 1988. - Т. 1. - 430 с.
6. Маркелов Н. К. Нижняя оценка сложности функций трехзначной логики в классе поляризованных полиномов / Н. К. Маркелов // Вестн. Моск. ун-та. Сер. 15, Вычисл. математика и кибернетика. - 2012. - № 3. - С. 40-45.
7. Перязев Н. А. Сложность булевых функций в классе полиномиальных поляризованных форм / Н. А. Перязев // Алгебра и логика. - 1995. - Т. 34, № 3. -С. 323-326.
8. Селезнева С. Н. О сложности задания k-значных функций обобщенно-поляризованными полиномами / С. Н. Селезнева // Дискрет. математика. -2009. - Т. 21, № 4. - С. 20-29.
9. Селезнева С. Н. О сложности представления функций многозначных логик поляризованными полиномами / С. Н. Селезнева // Дискрет. математика. -2002. - Т. 14, № 2. - С. 48-53.
Казимиров Алексей Сергеевич, кандидат физико-математических наук, доцент, Институт математики, экономики и информатики, Иркутский государственный университет, 664003, Иркутск, ул. К. Маркса, 1, тел.: (3952)242210 (e-mail: [email protected])
Реймеров Сергей Юрьевич, старший преподаватель, Институт математики, экономики и информатики, Иркутский государственный университет, 664003, Иркутск, ул. К. Маркса, 1, тел.: (3952)242210 (e-mail: [email protected])
A. S. Kazimirov, S. Yu. Reymerov On upper bounds of the complexity of functions over non-prime finite fields in some classes of polarized polynomials
Abstract. Recently, the interest to polynomial representations of functions over finite fields and over finite rings is being increased. Complexity of those representations is widely studied.
This paper introduces new upper bounds on complexity of discrete functions over particular finite fields in class of polarized polynomials. The results are state in the terms of matrix forms. A matrix form is representation of functions vector of values as a product of nonsingular matrix and a vector of coefficients. The complexity of matrix form of a special kind is equal to complexity of polarized polynomial for same function.
A complexity of a matrix form is a number of nonzero coefficients in its vector. Every function can be represented by variety of matrix forms of the same class. A complexity of a function in a class of matrix forms is the minimal complexity of forms in the class representing this function.
This paper introduces new upper bounds on complexity of functions in class of polarized polynomials over fields of orders 2k and pk, p is prime and p ^ 3. Keywords: finite field, polynomial, polarized polynomial, complexity.
References
1. Baliuk A. S., Yanushkovsky G.V. Upper bounds of the complexity of functions over finite fields in some classes of Kroneker forms (in Russian). Izvestiya Irkustkogo gosudarstvennogo universiteta. Series Mathematics, 2015, vol. 14, pp. 3-17.
2. Baliuk A.S., Zinchenko A.S. Lower bound on complexity of functions over finite field of order 4 in class of polarized polynomials (in Russian). Izvestiya Irkustkogo gosudarstvennogo universiteta. Series Mathematics, 2016, vol. 16, pp. 19-29.
3. Graham R., Knuth D., Patashnik O. Concrete Mathmatics. A Foundation for Computer Science. Addison Wesley, 1994. 672 p.
4. Zinchenko A.S., Panteleev V.I. Polinomial operator representations of fc-valued functions (in Russian). Diskretnyi Analiz i Issledovanie Operatsii. Series 1, 2006, vol. 13, no 3, pp. 13-26.
5. Lidl R., Niederreiter H. Finite Fields (Encyclopedia of Mathematics and its Applications). Cambridge University Press, England, 1984. 660 p.
6. Markelov N.K. A lower estimate of the complexity of three-valued logic functions in the class of polarized polynomials. Moscow University Computational Mathematics and Cybernetics, 2012, vol. 36, issue 3, pp. 150-154.
7. Peryazev N.A. The complexity of Boolean functions in the class of polarized polynomial forms (in Russian). Algebra and Logic, 1995, vol. 34, no 3, pp. 323-326.
8. Selezneva S.N. On the complexity of representation of k-valued functions by generalised polarised polynomials. Discrete Mathematics and Applications, 2010, vol. 19, issue 6, pp. 653-663.
9. Selezneva S.N. On the complexity of representations of functions over multivalued logics by polarized polynomials (in Russian). Discrete Mathematics and Applications, 2002, vol. 14, no 2. pp. 48-53.
Kazimirov Alexey Sergeevich, Candidate of Sciences (Physics and Mathematics), Irkutsk State University, 1, K. Marx st., Irkutsk, 664003; tel.: (3952)242210 (e-mail: [email protected]).
Reymerov Sergey Yurievich, Senior Lecturer, Irkutsk State University, 1, K. Marx st., Irkutsk, 664003; tel.: (3952)242210 (e-mail: [email protected]).
