CC BY
54
2015 Псевдослучайные генераторы № 1(27)
УДК 512.624.5
ПЕРИОДЫ РАЗРЯДНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ ЛИНЕЙНЫХ РЕКУРРЕНТ МАКСИМАЛЬНОГО ПЕРИОДА НАД КОНЕЧНЫМИ ПРОСТЫМИ ПОЛЯМИ
С. А. Кузьмин
г. Москва, Россия
Найдены периоды разрядных последовательностей, полученных из r-ичного разложения знаков линейной рекуррентной последовательности максимального периода над конечным простым полем для произвольного натурального r ^ 3.
Ключевые слова: линейные рекурренты максимального периода, разрядные последовательности, конечные поля, простые поля, период последовательности.
PERIODS OF DIGIT-POSITION SEQUENCES RECEIVED FROM LINEAR RECURRENT SEQUENCES OF MAXIMAL PERIOD
OVER FINITE PRIME FIELDS
S. A. Kuzmin
Moscow, Russia E-mail: kzmn_sr@mail.ru
In the paper, for any integer r ^ 3, the periods of digit-position sequences obtained from r-ary representation of elements in a linear recurrent sequence of the maximal period over prime field are computed.
Keywords: linear recurrent sequences of maximal period, digit-position sequences, finite fields, prime fields, periods of linear recurrent sequences.
Введение
Пусть дано поле вычетов Zp = {0,1,... ,p — 1}, где p — простое число, p ^ 3. Пусть также u — линейная рекуррентная последовательность (ЛРП) максимального периода (МП) над полем Zp с характеристическим многочленом g(x) степени т. Известно, что период линейной рекурренты u равен T(u) = pm — 1 [1, с. 330].
Пусть целое число r удовлетворяет условиям 1 < r < p. В этом случае знаки u(i), i ^ 0, ЛРП u однозначно представляются в виде
к
u(i) = Е ut(i)rt, (1)
t=0
где 0 ^ ut(i) < r; k = [logrp].
Для каждого s E {1,... , k} из элементов us(i) r-ичного разложения знаков ЛРП u образуем разрядные последовательности us = (us(0), us(1),...). Будем рассматривать их как усложнения ЛРП u.
Отметим, что в настоящее время наблюдается большой интерес к изучению p-ич-ных разрядных последовательностей над кольцами вычетов по модулю pn. Это связано с тем, что данные последовательности обладают высокой линейной сложностью и
могут рассматриваться как псевдослучайные последовательности для датчиков случайных чисел. С большим количеством работ по этой тематике можно ознакомиться в [2, 3]. Следует также отметить работы зарубежных авторов [4, 5], в которых проводится анализ частотных и алгебраических свойств приведённых по модулю 2 ЛРП МП над кольцами вычетов вида Zpn и Zpq, где q и p — различные простые числа.
Нетрудно заметить, что так как T(u) является одним из периодов ЛРП us, то, согласно [1, с. 320], T(us) делит период ЛРП u.
Для r = 2 и для некоторых r ^ 3 А. С. Кузьминым в [6] найдены периоды ЛРП us, s Е{1,...,к}.В настоящей работе этот результат обобщён для случая r ^ 3. Доказано, что T(us) = T(u) для всех r ^ 3 и любого s Е {1,... , k}.
1. Общие сведения
Для натурального числа r, удовлетворяющего условию 2 ^ r < p, рассмотрим r-ичное разложение числа p:
k к— 1 p = ak r + ak-ir +----+ air + ao,
где k = [logr p]; a^ Е {0,... , r — 1}. Выделим s-й разряд полученного разложения:
p = в + asrs + a(s)rs+i, (2)
где
Eatrt' если s = 0' a(s) = E atrt-s-i, 0, если s = 0, *=s+i
рассмотрение a(s) при k = 0 лишено смысла.
Нетрудно заметить, что для элементов в и a(s) справедливы следующие свойства. Лемма 1. Во введённых обозначениях при s = 0 имеют место следующие соотношения:
1) в = p (mod rs);
2) 0 < в < rs;
3) в = —1 (mod p);
4) a(s) + 1 < p.
Отметим, что, согласно работе [6], справедливы неравества —^ T(us) ^ T(u),
где d — наибольший общий делитель чисел появлений элементов ш Е {0,... , r — 1} в последовательности us на отрезке длины T(u).
Воспользуемся результатом, который даёт следующая теорема. Теорема 1 [6]. Если as ^ 2 и r ^ 3, то наибольший общий делитель количеств появлений элементов ш Е {0, . . . , r — 1} на отрезке длины T(u) последовательности us равен единице. При этих условиях T(us) = T(u).
Получаем, что для всех возможных значений as, за исключением as = 0 и as = 1, период T (us) заведомо равен периоду исходной рекурренты.
Для нахождения периодов в двух оставшихся случаях применим следующий подход. Рассмотрим функции 6s : Zp ^ Zp, s Е {0,...,k}, k = [logrp], задаваемые по правилу: is(y) = ys для всех y Е Zp, где ys — s-я координата r-ичного разложения числа y = yo + yir +-----+ ykrk.
Тогда, согласно [7, с. 179], получаем, что для всех в € {0,... , к} функции ^ одно-
р-1 , )
значно представимы над Zp полиномами вида С(5)(ж) = Е с4 ж4.
4=0
Таким образом, для всех у € Zp справедливо ^(у) = С(5)(у). Многочлены С(5)(ж) могут быть найдены при помощи интерполяционной формулы Лагранжа, представленной, согласно [6], в виде
р—1 р—2 р—1 С(5)(ж) = ¿,(0) — Е )жр—1 — Е жк Е ^(з)зр—к—^ (3)
7=0 к=1 7=1
Кроме того, в работе [6] доказана следующая лемма.
Лемма 2 [6]. Пусть и — ЛРП МП над полем Zp, Т(и) = рт — 1 и многочлен
р-1
Л(ж) = Е Лж7, заданный над полем Zp, отличен от константы. Тогда период Т(V)
.7=0
последовательности V, знаки которой определяются равенством = Л(и(г)), г ^ 0, равен а(рт — 1)/(р — 1), где (р — 1)/^ — наибольший общий делитель р — 1 и чисел 3 € {1, 2,... , р — 2}, для которых коэффициент Л7- при ж7 отличен от нуля.
Используем лемму 2 для оценки Т(и5) при < 2. Для этого установим, когда коэффициент ср-2 многочлена С (*) отличен от 0. Вычисление коэффициента ср-2 производится по той причине, что если он не сравним с нулём по модулю р, то, согласно лемме 2, период Т(и5) последовательности и5 будет заведомо равен периоду Т(и) последовательности и при любом выборе в € {0, . . . , к}, независимо от других коэффициентов в выражении (3).
2. Основные результаты
Из формулы (3) непосредственно вытекает, что коэффициент при жр—2 в многочлене С(5)(ж) имеет вид
г ^ Р-1
С- = — £ зад)• (4)
. =0
Представим число р в виде (2), тогда суммирование в формуле (4) можно разбить на три суммы: по старшим разрядам, в-му и младшим соответственно. При этом индекс суммирования также представляется посредством г-ичного разложения с выделенным в-м разрядом.
Формула (4) для подсчёта значений — ср-2 в случае = 0 имеет вид
«(«) —1 г— 1 г8 —1 «(«) 0 0-1
—С— = Е Е Е*(кг*+1 + ^ + ¿)+ Е Е Е ¿(кг5+1 + ^ + д (5)
к=0 4=0 7=0 &=«(«) 4=0 7=0
а для случая = 1 формула (5) принимает вид
«(«) —1 Г—1 г8 —1 «(«) 0 г8 —1
»
-р—2
—С-О = Е Е Е ¿(кг*+1 + ¿г5 + з)+ Е Е £ ^(кг5+1 + ¿г5 + з)+
к=0 4=0 7=0 &=«(«) 4=0 7=0
«(«) 1 0—1 + Е Е Е^(кг5+1 + ¿г5 + з).
&=«(«) 4=1 7=0
Так как получаемые в ходе анализа формулы (6) громоздкие выражения не дают
,(5 р—
возможности определить, верно условие — сР^2 = 0 или нет, применим следующий
подход: введём вспомогательные функции , определив их для любого ? Е {0,... , р— 1} по правилу
/. ) Г 1, если ¿Д?) =
) \ 0, если ) =
Таким образом произведено отождествление всех ненулевых значений функций Функции (ж) также представимы многочленами С/(5)(ж) над полем , которые находятся при помощи формулы (3) с заменой ) на (?). При этом если п'3 = = (^(п(0),^5(п(1) •••) и Т(п5) = рт — 1, то очевидно, что Т(п5) = рт — 1, так как справедливы неравенства Т(п) ^ Т(п) ^ Т(п5). Формула (4) для случая а = 0 принимает вид
а(з)-1 г-1 г8-1
—сД = Е Е Е (кг5+1 + ¿Г5 + ?), (7)
к=0 *=1 .=0
а для случая а = 1
«(«)-! Г-1 г8-1 «(«) 1 0-1
„'(s)
-p-2
—= Е Е Е (krs+i + trs + j) + Е ЕЕ (krs+i + trs + j).
k=0 t=i j=0 k=a(s) t=i j=0
Лемма 3. Пусть для числа р выполнены условия (2). Тогда для любого Е {0,1} коэффициент при жр-2 в многочлене С/(5)(ж) отличен от нуля, за исключением случая а = 0, в = г5 — 1.
Доказательство. Рассмотрим сначала случай = 0, то есть р = а(^)г5+1 + в. Вычислим — ср-2 по формуле (7):
a(s)-1 r-i rs-1 r-i rs-1 / a(s) _ 1 \
—cp-2 = E EE (krs+i + trs + j) = a(s) E E ^^^ rs+i + trs + j k=0 t=i j=0 t=i j=0 \ 2 /
/ a(s) — 1 +i rs+i \ = a(s)(r — 1) ЕД-4^-rs+1 + ^ + jj =
a(s)(r — 1)rs.. . . ,+1 ,+1 s _ a(s)(r — 1)rs. . , ,+1 s ,
= 2-— ((a(s) — 1)rs+1 + rs+1 + rs — 1) = wv --—(a(s)rs+1 + rs — 1).
Выясним, когда выполняется соотношение cp-(x) = 0 (mod p).
Заметим, что ни один из элементов, входящих в произведение a(s)(r — 1)rs/2, не сравним с нулем по модулю p, а следовательно, и a(s)(r — 1)rs/2 = 0 (mod p). Значит, cp(-2(x) = 0 (mod p) тогда и только тогда, когда a(s)rs+1 + rs — 1 = 0 (mod p), что возможно только при в = rs — 1.
Теперь рассмотрим случай as = 1, то есть p = a(s)rs+1 + rs + в. Из (7) и (8) следует, что к вычисленной выше сумме будет добавлено слагаемое
a(s) 1 0-1 0-1
Е Е Е (krs+1 + trs + j) = Е (a(s)rs+1 + rs + j) = в (a(s)rs+1 + rs + (в — 1)/2).
k=ai=1j=0 j=0
Надо выяснить, верно ли сравнение
a(s)(r — 1)rs (a(s)rs+1 + rs — 1)+в(a(s)rs+1 + rs + (в — 1)/2) = 0 (mod p). (9)
2
Так как p = a(s)rs+1 + rs + в, то —в = rs+1 + rs (mod p).
Из (9) получаем a(s)(r — 1)rs(—9 — 1) + 9(—1 — 9) = 0 (mod p). Так как, согласно лемме 1, —1 — 9 = 0 (mod p), то элемент (—1 — 9) является обратимым в Zp. Последнее сравнение равносильно сравнению
a(s)(r — 1)rs + 9 = —rs — 9 — a(s)rS + 9 = —a(s)rS — rs = 0 (mod p),
что выполняется тогда и только тогда, когда 1 + a(s) = 0 (mod p). В итоге получаем противоречие с видом числа p, так как, согласно лемме 1, справедливо неравенство a(s) + 1 < p, а значит, —сР— = 0, что и требовалось доказать. ■
Теорема 2. Пусть p = 9 + asrs + a(s)rS+1, u — ЛРП МП над полем Zp, последовательности ut для любого t Е {0,..., k}, k = [logr p], образованы из последовательностей ut путём замены в формуле (3) всех значений yt = $t(j) на
/( ) Г ^ если ¿t(j) = 0,
°t(j) \ 0, если ¿t(j) = 0.
Тогда T(uS) = T(u) всегда, за исключением случая as = 0, 9 = rs — 1.
Доказательство. Заметим, что лемма 2 справедлива и для многочленов C/(s) (x). Тогда сокращение периода ЛРП u's возможно, если наибольший общий делитель p — 1 и чисел j Е {1, 2,...,p — 2}, для которых cj(s) = 0, больше единицы. По лемме 3 коэффициент при xp-2 в многочлене C/(s)(x) отличен от нуля, и так как (p — 2,p — 1) = 1, то и наибольший общий делитель всех j Е {1, 2,... ,p — 2}, таких, что cj(s) = 0, равен единице. Значит, выполняется равенство T(u's) = pm — 1 = T(u). ■
Следствие 1. В условиях теоремы 2 верно равенство T(ut) = T(u).
Доказательство следствия вытекает из двойного неравенства T(u) ^ T(ut) ^ T(ut) для любого t Е {0,... , k}, k = [logr p].
Таким образом, остался не исследованным вопрос о равенстве нулю коэффициента при xp-2 в случае 9 = rs — 1, as = 0, то есть в случае p = a(s)rS+1 + rs — 1.
Лемма 4. Пусть p = a(s)rS+1 + rs — 1. Тогда коэффициент при xp-2 в многочлене C(s)(x) отличен от нуля при r ^ 3.
Доказательство. Заметим, что a(s) = 0, так как иначе получим противоречие с леммой 1. Вычислим сумму (5), учитывая, что p > r ^ 3:
a(s)-1 r-1 rs-1 a(s) 0 0-1
—cp-2 = E E E t(krS+1 + trs + j)+ E E E t(krS+1 + trs + j) =
fc=0 t=0 j=0 fc=a(s) t=0 j=0
= g ^ /a(s)(a(s) — 1) rs+1 + ta(s)rS + a( j =
t=0 j=0 V 2 /
11 /a(s)r(r — 1)(a(s) — 1) S+1 a(s)rS+1(r — 1)(2r — 1) a(s)r(r — 1)j
l /1 r + a +
j=0 \ 4 6 2
a(s)r(r — 1)(a(s) — 1) ^ + a(s)(r — 1)(2r — 1) + a(s)(rS — 1)(r — 1)rS+1
4 +6 +4
a(s)rS+1(r — 1)
12
-(3rS+1(a(s) — 1) + 2rs(2r — 1) + 3(rs — 1)).
a(s) r S+1 (r_1)
Так как -—-= 0 (mod p), сравнение (9) эквивалентно сравнению
3rS+1(a(s) — 1) + 2rs(2r — 1) + 3(rs — 1) = 0 (mod p). (10)
Раскроем в полученном выражении скобки. Учитывая сравнение
a(s)rs+1 = 1 — rs (mod p),
получаем, что выполнение сравнения (10) эквивалентно выполнению сравнения
3(1 — rs) + rs+1 + rs — 3 = 0 (mod p).
Следовательно, rs+1 — 2rs = 0 (mod p). Поэтому rs(r — 2) = 0 (mod p), что равносильно сравнению r — 2 = 0 (mod p). Последнее не выполняется, так как 3 ^ r < p.
Таким образом, коэффициент при xp-2 в многочлене C(s)(x) отличен от нуля. ■
Теорема 3. Пусть p = a(s)rs+1 + rs — 1, r ^ 3, u — ЛРП МП над полем Zp, последовательности us образованы из последовательности u по правилу (1). Тогда T (us) = T (u).
Доказательство. Согласно лемме 2, сокращение периода ЛРП ut возможно, если наибольший общий делитель p — 1 и чисел j Е {1, 2, . . . , p — 2}, для которых cjs) = 0, больше единицы. Согласно лемме 4, коэффициент при xp-2 в многочлене C(s)(x) отличен от нуля, и так как (p — 2,p — 1) = 1, то и наибольший общий делитель всех j, таких, что cjs) = 0, равен единице. Значит, T(ut) = T(u) = pm — 1. ■
Замечание 1. Пусть r = 2. Тогда для каждого нечётного простого числа p, не являющегося числом Мерсенна, найдётся такое s, что p = 2s — 1 + a(s)2s+1. Для так выбранного s в работе [6] доказано, что T(us) = T(u)/2, и T(ut) = T(u) для всех t = s.
Заключение
Из следствия к теореме 2 и теоремы 3 следует, что периоды всех разрядных последовательностей us равны периоду последовательности u во всех случаях, за исключением r = 2, в = rs — 1 и a(s) = 0.
ЛИТЕРАТУРА
1. Глухов М. М, Елизаров В. П., Нечаев А. А. Алгебра. Т. 2. М.: Гелиос АРВ, 2003. 416с.
2. Труды по дискретной математике. Т. 1. / сост. В. Н. Сачков, Ю. Н. Горчинский, А.Н. Зубков, С. В. Яблонский. М.: ТВП, 1997. 280 с.
3. Труды по дискретной математике. Т. 2. / сост. В. Н. Сачков, Ю. Н. Горчинский, А.Н. Зубков, С. В. Яблонский. М.: ТВП, 1998. 314с.
4. Zhu X. Y. and Qi W.-F. On the distinctness of modular reductions of maximal length sequences modulo odd prime powers // Math. Comput. 2008. V. 77. No. 263. P. 1623-1637.
5. Zheng Q.-X. and Qi W.-F. A new result on the distinctness of primitive sequences over Z/(pq) modulo 2 // Finite Fields Their Appl. 2011. V. 17. No.3. P. 254-274.
6. Кузьмин А. С. О периодах разрядов в r-ичной системе счисления знаков линейных рекуррентных последовательностей над конечными простыми полями // Безопасность информационных технологий. 1995. Вып. 4. С. 71-75.
7. Глухов М. М, Елизаров В. П., Нечаев А. А. Алгебра. Т. 1. М.: Гелиос АРВ, 2003. 336с.
REFERENCES
1. Gluhov M. M, Elizarov V. P., Nechaev A. A. Algebra. V. 2. Moscow, Gelios ARV Publ., 2003. 416 p. (in Russian)
2. Sachkov V. N., Gorchinskij Ju. N., ZubkovA.N., Jablonskij S.V., eds. Trudy po Diskretnoi Matematike. V. 1. Moscow, TVP Publ., 1997. 280 p. (in Russian)
3. Sachkov V. N., Gorchinskij Ju. N., ZubkovA.N., Jablonskij S. V., eds. Trudy po Diskretnoi Matematike. V.2. Moscow, TVP Publ., 1998. 314 p. (in Russian)
4. Zhu X. Y. and Qi W.-F. On the distinctness of modular reductions of maximal length sequences modulo odd prime powers. Math. Comput., 2008, vol.77, no.263, pp. 1623-1637.
5. Zheng Q.-X. and Qi W.-F. A new result on the distinctness of primitive sequences over Z/(pq) modulo 2. Finite Fields Their Appl., 2011, vol. 17, no.3, pp. 254-274.
6. Kuz'min A. S. O periodah razrjadov v r-ichnoj sisteme schislenija znakov linejnyh rekurrentnyh posledovatel'nostej nad konechnymi prostymi poljami. Bezopasnost' Informacionnyh Tehnologij, 1995, no. 4, pp. 71-75. (in Russian)
7. Gluhov M. M, Elizarov V. P., Nechaev A. A. Algebra. V. 1. Moscow, Gelios ARV Publ., 2003. 336 p. (in Russian)
