CC BY
49
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 16 Выпуск 2 (2015)
УДК 512.532+519.142+517.43
БАЗИСЫ РЕКУРРЕНТНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ
Ф. М. Малышев (г. Москва)
Аннотация
В работе приводится обзор результатов (с разной степенью подробности) по трём различным направлениям.
Основное центральное направление относится к рекуррентным последовательностям, прежде всего к их базисным (в различном понимании) множествам.
Другое направление связано с новыми комбинаторными объектами -(v,ki, ^-конфигурациями, возникающими на пути ослабления условий, определяющих известные комбинаторные объекты - (v, k, А)-конфигура-ции.
Третье направление имеет дело с инвариантными дифференциалами высших порядков от нескольких гладких функций одной вещественной переменной.
В каждой из этих тем рассматриваемые вопросы связаны с комбинаторными конфигурациями в виде конечных плоскостей, а приводимые результаты получены благодаря однотипным представлениям точек соответствующих конфигураций точками многомерных локально евклидовых пространств. В случае инвариантных дифференциалов эти представления возникают естественно, а в случае рекуррентных последовательностей и (v,ki, к2)-конфигураций вводятся по аналогии, но уже искусственным образом.
Ключевые слова: рекуррентные последовательности, решётки, торы, комбинаторные конфигурации, инвариантные дифференциальные операторы.
Библиография: 39 названий.
BASES OF RECURRENT SEQUENCES
F. M. Malyshev (Moscow)
Abstract
This paper provides an overview of the results (with varying degrees of detail) in three different directions.
The main Central direction refers to recurrent sequences, primarily to their base (in a different sense) sets.
Another direction is related to new combinatorial objects (v, k\, k2)-configurations encountered on the way of weakening the determinants of well-known combinatorial objects (v, k, A)-configuration.
The third direction deals with invariant differentials of higher orders from several smooth functions of one real variable.
In each of these themes the issues associated with combinatorial configurations in the form of finite planes, and the results obtained through the same type of views, points of the corresponding configurations of points in multidimensional locally Euclidean spaces. In the case of invariant differentials of these representations arise naturally, and in the case of recurrent sequences and (v,ki, k2)-configurations are introduced by analogy, but in an artificial way.
Keywords: recurrent sequences, lattices, Torah, combinatorial configuration, invariant differential operators.
Bibliography: 39 titles.
1. Введение
Основное содержание предлагаемого обзора относится к рекуррентным последовательностям. Приводимые результаты относительно порождающих множеств в рекуррентных последовательностях получены благодаря дополнительно вводимой мно-гомерноной структуре на множестве индексов, нумерующих элементы последовательности. Во введении приводится краткий обзор других примеров использования многомерных структур на дискретных нумерующих множествах, изначально мыслимых одномерными, линейно упорядоченными.
В качестве эпиграфа к настоящему обзору можно отнести высказывание со стр. 15 учебника [1] о том, что базисные векторы линейных пространств "совершенно не обязательно " нумеровать от 1 до п. Там подчёркивалось, что при решении конкретных задач вместо линейного упорядочения "может оказаться важной другая структура на множестве индексов базиса " , а собственно линейная упорядоченность, добавим, может оказаться даже вредной.
Аналогичная ситуация имеет место с определениями декартова произведения семейств множеств, где также не всегда полезна линейная упорядоченность на множестве, индексирующем семейство "сомножителей" [2]. Элементы декартова произведения конечного или счётного числа множеств совсем не обязательно представлять упорядоченной последовательностью. Каждая решаемая задача, как правило, требует своей присущей именно ей какой-либо структуры на множестве индексов.
Впервые на важность этих замечаний автор обратил внимание в связи с одной из задач доклада [3] по описанию инвариантных дифференциалов
d(fi(x), ...,fk(x)) порядка k + r от гладких вещественных функций f1(x), ..., f (x):
d(fi(x), ...,ffc(x)) = £ cn...ikf11+il)(x) ...fk1+ik)(x)(dx)fc+r, (1)
¿1^0,... ,ik^0 ¿1 +... +ik=r
где Сг1...гк € М - некоторые определяющие дифференциал коэффициенты. В случае гладких замен переменной х = х(г) данный дифференциал (г), ..., ^к(г)) от функций ^(г) = /,(х(£)), = 1, ..., к, следует вычислять по формуле (1), в которой вместо у^+Ь) (х) должны быть производные ) (г) = 1+%3 (г)), а вместо (^х)к+7, соответственно, (^£)к+7. Но можно непосредственно в правую часть выражения (1) вместо х подставить х(г) (тогда /1+г') (х) заменяется на /1+г'^х(г))), а вместо (^х)к+7, соответственно, (^х(£))к+7 = = х(г)к+7(^г)к+г. Дифференциал (1), задава-
емый коэффициентами с^...^, является инвариантным, если результаты вычислений по этим двум схемам дают одинаковые выражения для любых функций Д(х), ..., /(х) и замен х(г). Отдельное ненулевое слагаемое в (1) является инвариантным дифференциалом только при г = 0, поскольку дифференциал /(1+г)(х)(^х)1+г является инвариантным только при г = 0. При к = 1, г = 0 дифференциал (1) инвариантен по известной теореме об инвариантности первого дифференциала. Непосредственно проверяется, что инвариантным является дифференциал
¿(/1(х),/2(х)) = (/1 (х)/2'(х) - /1'(х)/2(х))(^х)3.
Необходимые и достаточные условия на коэффициенты с^...^ для инвариантности дифференциала (1) в работе [4] сформулированы на языке однородных уравнений в частных производных многочленов от к переменных. Эти условия сводятся (см. [5]) к системе из Ь = (к+7-1) лиинейных уравнений с V = (к+7-1) неизвестными Сг1...гк, причём в каждом уравнении к неизвестных, а каждое неизвестное участвует в г уравнениях, vг = Ьк. Совокупность из V неизвестных образует конечную плоскость [6] с Ь "прямыми", состоящими из к точек. Каждая точка плоскости содержится ровно в г "прямых". Приписывание в работе [5] неизвестных с^...^ к точкам (¿1, ..., ¿к) € N0 С Мк высветило особенности этой системы, указывающие на способ её
решения. После введения новых переменных с^...^ = г 1!___¿к'с^...^ система предстаёт
в виде
к
+ 5 + Щ!..^-!^ = °
3=1
5 = 1, ... , г, ¿1 > 0, ..., ¿к > 0, ¿1 + ... + гк = г — 5. В работе [5] доказано, что верхними оценками для размерностей пространств решений этих систем при разных к и г выступают величины ак,7, определяемые равенством ^¿>о аМ = (1 + г)(1 + г +
г2)...(1 + г + ... + гк-1). Отсюда следует, что Вронскиан ||/7(г)|| (¿х) 2 ' яв-
7 г,7=1,...,к
ляется инвариантным дифференциалом для к функций самого высокого возможного порядка.
Полезная для нахождения инвариантных дифференциалов (к — 1)-мерная структура на номерах (¿1, ..., ¿к) неизвестных с^1 ...¿к присутствует в явном виде, оставалось только её использовать.
Ситуация иная в случае рекуррентных последовательностей х^ € X, я € Ъ, рассматриваемых в настоящей работе в общем виде:
хг+т — / хг+«1, хг+«к—2) , (2)
к > 3, 0 < < ... < 8к-2 < т, НОД(^, ...,«к-2,т) = 1. Алфавит X и отображение / : Xк-1 ^ X, задающие рекуррентное соотношение (2), могут быть произвольными.
Через v обозначаем минимальный период последовательности {xi,i € Z}: Xi+v = Xi, i € Z. При отсутствии конечного периода считаем v = то. Здесь "прямые" {i, i + si, ...,i + Sk-2,i + m}, i € Zv, образуют конечную плоскость с параметрами b = v, r = k на множестве вычетов Zv = {0,1, ..., v — 1} = Z/v^. Считаем Z = Z^.
Группы по сложению Z и Zиз-за их естественных вложений соответственно в R и {z € C, |z| = 1}, обычно представляются одномерными. Но конкретные приложения рекуррентных последовательностей и удачный пример с инвариантными дифференциалами инициировали искусственное введение (к — 1)-мерных структур на Z и Zv путём их дискретных вложений в (к — 1)-мерные цилиндр и тор соответственно. Такие вложения обеспечиваются эпиморфизмами
: Zk-i ^ Zv, <^(zo, zi,..., Zk-2) = (mzo + sizi + ... + s^zk-2) mod v,
при которых Zv = Zk-i/ker^ С Rk-i/kerДанные вложения позволили (см. §§ 2 - 6) определить строение всех возможных минимальных подмножеств элементов последовательности {xi, i € Z}, по которым каждый знак Xj, j ^ 0, может быть получен за конечное число применений рекуррентного соотношения (2). Такие подмножества названы базисными в [7].
Случаю к = 3 дополнительно посвящена работа [8]. Он рассматривается в § 7 особо. Возникающее семейство вложений Z в цилиндр для всех пар (si,m), 0 < si < m, (si,m) = 1, устанавливает в работе [9] связь между известным разбиением на фундаментальные области верхней комплексной полуплоскости при действии модулярной группой и приёмом (в плоском случае) максимального пустого шара Делоне - Санда-ковой [10].
Ещё одно приложение связано с приводимым ниже рис. 1, взятым из работы [11] по клеточным автоматам. Там на местах (i, j) € Z2 располагаются значения zij € GF(2) (0 - светлая клетка, 1 - тёмная) так, что z»—i,j + zij + zij+i = 0. На самой нижней горизонтальной линии эти значения выбирались псевдо случайным образом.
Рис. 1
Аналогичная картина будет иметь место и для рекуррентных последовательностей при к = 3, X = С^(2), /(ж, у) = х + у, если вложение Ъ в цилиндр таково, что номера ^ + «1, £ + т знаков х^, , оказываются соответственно на местах
(г — 1,(г,.?'), (г,,? + 1) плоской развёртки цилиндра. Данное обстоятельство как раз и предопределило представление вычетов Ъ точками многомерных торов.
Наблюдаемая на рис. 1 закономерность позволила, в частности, получить теоремы о распределении в левой зоне числа единиц в булевых аналогах треугольников Паскаля [12].
В случае решёток Г С Ък1-1 максимального ранга вложения групп Ък1-1/г в торы Мк1-1/р позволяют строить относительно новые комбинаторные объекты, так называемые (V, к1, к2)-конфигурации. Каждая такая конфигурация задаётся парой конечных плоскостей на одном и том же множестве из V точек с Ь = V "прямыми", состоящими из к1 точки в одной плоскости и из к2 точек в другой плоскости. В первой плоскости через одну точку проходит п = к1 "прямых", а во второй, соответственно, Г2 = к2 "прямых". Матрицы инцидентности этих плоскостей должны быть невырожденными над полем С^(2) и взаимно обратными. При к1 = к2 = к используется обозначение (V, к)-конфигурация. Если в качестве "прямых" выступают смежные классы подмножеств в группе С мощности соответственно к1, к2, то (V, к1, к2)-конфигурацию называем , к2)-группой, а при к1 = к2 = к - (V, к)-группой.
Первоначальные примеры (V, к)-конфигураций были получены в работе [13]. При их построении привлекались известные по монографиям [14] - [18] (V, к, А)-конфигура-ции, матрицы Адамара, конечные проективные плоскости, совершенные разностные множества, теоретико-числовые конструкции, графы с различными свойствами симметрии, однородные многогранники, триангуляции двумерных торов, связанные с расположениями на них вычетов Ъ^, описываемыми выше в случае к = 3. Построением (V, к1, к2)-конфигураций в разное время занимались М. В. Брославский, А. М. Зубков, Е. Г. Красулина, Ф. М. Малышев, В. Н. Сачков, В. Е. Тараканов, А. Е. Тришин, А. А. Фролов.
К настоящему времени удалось показать, что каждая связная (V, 3)-конфигурация реализуется на группе Ъ "прямыми" {г, г + 1,г + 1 + v/2}, г € Ъ, при чётном V, и триангуляцией листа Мёбиуса при V = 5. Доказательство этого утверждения в работе [19] продемонстрировало важность отсутствия структуры линейного упорядочения на множестве из V точек соответствующих конечных геометрий, упорядоченность сковывала бы инвариантные рассуждения при доказательстве. В практических приложениях ^,к1, к2)-конфигурации выступают в виде их матриц инцидентности, называемых (V, к1, к2)-матрицами и (V, к)-матрицами при к1 = к2 = к. Роль линейной упорядоченности на V точках чисто техническая, требуется только для задания этих матриц.
В работе [20] приводится исчерпывающая классификация циклических (V, 5)-групп, а в [21] - остальных абелевых (V, 5)-групп. В работе [22] дана классификация циклических (V, 3, 7)-групп и всех конечных (V, 3, 5)-групп.
Имеется способ получения (V, 3, к)-конфигураций на двумерных торах, использующий паркетирование евклидовой плоскости правильными треугольниками. В качестве "прямых" рассматриваются вершины одинаково ориентированных треугольников, закрашенных для определённости, в тёмный цвет. Вокруг каждой вершины имеет место чередование светлых и тёмных треугольников. Если группа Г движений плоскости (см. [23]) сохраняет такое паркетирование (с учётом раскраски), то оно
переносится и на поверхность К2/г. В случае тора решётки Г С 22 (см. [24]) разбиваются на два класса. Решётки одного класса предоставляют (V, 3, к)-конфигурации, когда матрица инцидентности Ь соответствующей конечной геометрии с 3-х точечными "прямыми" на V = |Ъ2/г| точках невырождена над полем С^(2). Тогда Ь-1 будет матрицей инцидентности другой конечной геометрии на тех же V точках с некоторыми нечётными параметрами к = г. Для решёток другого класса, когда матрица Ь вырождена, вложение Ъ2/г С К2/г будет отвечать описываемому в § 3 вложению, соответствующему трёхчленной рекуррентной последовательности или полилинейной рекуррентной последовательности [25], [26]. Напротив, для решёток Г первого класса такая реализация вложения Ъ2/г С К2/г невозможна. Интересно, что реальная практика криптографического синтеза давно предопределила такое разбиение: решётки первого класса предоставляют матрицы для блочных шифраторов (см., например, [27] - [30]), а решётки второго класса отвечают рекуррентным и полилинейным рекуррентным последовательностям, используемым в поточных шифраторах.
Изначально использование геометрических представлений в задачах рекуррентной природы, привлекающих для своих формулировок семейства подмножеств г + В, г € Ъ, с фиксированным В = {0,51, ...,5^-2,ш} С Ъ, предполагало предварительный поиск вложений С М, V € N и {то}, в римановы пространства М как можно меньшей размерности, которые удовлетворяли бы следующим качественным не формальным требованиям: а) элементы равномерно, дискретно и достаточно плотно рассосредотачиваются по М; б) имеется действие группы на М изометриями, при котором г ■ х = г + х для всех г € , х € С М; в) элементы подмножества Ву = {г(шо^), г € В} должны находиться в непосредственной близости друг от друга.
Такие вложения может обеспечивать следующая конструкция. Пусть имеется кристаллографическая группа С движений на одном из римановых односвязных пространств Л постоянной кривизны [31], содержащая нормальную подгруппу Г, свободно действующую на Л, такую, что С/г = . Требуемое вложение С/г С Л/г = М задаётся орбитой внутренней точки фундаментальной области при действии С/г на М. Условия а) и б) при этом выполняются. Для обеспечения свойства в) тройка Г < С : Л должна подбираться специальным образом. К настоящему времени использовался только случай, когда: Л - евклидово пространство; С С Л - решётка максимального ранга [24]; Г < С - подрешётка того же или на единицу меньшего ранга.
В заключении, обращаясь к началу введения, отметим, что в некоторых ситуациях бывает исключительно полезным даже отказ от искусственно вводимой линейной упорядоченности на конечных множествах. Примером этому может служить работа [32]. Там, действуя вопреки представлениям систем корней простых алгебр Ли из монографии [33], использующей линейную упорядоченность базиса, удалось описать регулярные подалгебры матричных алгебр Ли, содержащих все диагональные элементы, на языке предупорядоченностей [34] и конечных топологий [35]. В результате размерности когомологий этих подалгебр стали выражаться через числа Бетти обычных клеточных комплексов. Благодаря этому была получена большая серия ранее не известных (см. [36]) примеров так называемых жёстких разрешимых алгеб Ли. Алгебра является жёсткой, если при малом изменении её структурных констант получающаяся алгебра изоморфна исходной. К жёстким относятся прежде всего простые
и полупростые алгеебры Ли.
2. Определения порождающих наборов элементов рекуррентных последовательностей
В настоящем и следующих параграфах рассматриваются последовательности Xi € X, г € Ъ, заданные рекуррентными соотношениями вида
xi+m — / (хг,хг+«х , 2) ' г € Ъ, (3)
где к ^ 3, 0 — з0 < < ••• < зк_2 < зк_1 — т, НОД^, •••, зк_2, т) — 1. Случай, когда НОД^, •••,5^_2,т) — й > 1, легко сводится к рассматриваемому, поскольку тогда рекуррентная последовательность разбивается на й подпоследовательностей, каждая из которых удовлетворяет соотношению вида (3).
Интересующие нас вопросы не зависят от конкретного алфавита X и отображения / : Xк-1 ^ X, а целиком определяются набором чисел к, т, «1, ••• , 2. Элементы рекуррентной последовательности Xi, г € Ъ, будут пониматься как переменные, принимающие значения из алфавита X.
Свойства рекуррентных последовательностей при заданном т зависят как от к, так и от конкретных значений «1, • ••,з^_2 [37].
Для подмножества 5 С Ъ будем обозначать через [5] С Ъ совокупность всех таких г € Ъ, что xi представимо формулой (см. [38]), содержащей (кроме скобок и запятых) только символы / и Х(, < € 5. Построение формулы для х^ г € [5], производится путём суперпозиции с помощью начального соотношения (3), начиная с равенства xi — / (х^т, х^т+51, ••• ,х-1_т+3к_2). К некоторым переменным из правой части последнего равенства снова применяется соотношение (3), конечно, если номера этих переменных ещё не содержатся в 5. Соотношения (3) привлекаются до тех пор, пока хотя бы один номер входящих в очередную формулу переменных не содержится в 5. Полученную таким образом формулу будем записывать в виде xi — ^¿(х^ € 5).
Определение 1. Множество Б С Ъ назовём минимальным порождающим набором, если выполняются следующие два условия:
а) при некотором Т € Ъ имеем: [5] Э {Т, Т + 1, Т + 2, ••• };
б) условие а) не выполняется ни для какого собственного подмножества множества 5.
Множество 5 рассматривается с точностью до сдвигов на целые числа, поскольку для любых п € Ъ и минимального порождающего набора 5 множество 5 + п — {з + п| з € 5} тоже будет минимальным порождающим набором.
Случай с минимально возможным значением т — 2 (когда к — 3 и «1 — 1) не является типичным (хотя к нему относится одна из наиболее известных рекуррентных последовательностей - числа Фибоначчи). При т — 2, к — 3 и «1 — 1, как нетрудно убедиться, минимальными порождающими наборами являются {г, г + 1}, г € Ъ. Здесь всегда |5| — т — 2. Далее считаем т ^ 3.
Не является типичным и случай с максимально возможным значением к — т + 1, когда s¿ — г, г — 1, •••,т — 1. В этом случае минимальный порождающий набор тоже
только один с точностью до сдвигов, он состоит из m подряд идущих номеров. Далее считаем 3 ^ k ^ m.
Подробные доказательства приводимых далее достаточно простых замечаний имеются в работе [7]. Это же относится и к формулируемым в этом параграфе теоремам.
Для минимального порождающего набора S представления элементов xi, i € [S] в виде Xi = Fi(xt,t € S), единственны. Но свойство однозначного представления Xi для всех i ^ T при некотором достаточно большом T нельзя рассматривать в качестве эквивалентного определения для минимального порождающего набора. Минимальный порождающий набор существует, например, S = {-1, —2, ..., —m}, его мощность всегда конечна - |S| < то, но при заданных параметрах m, k, si, ..., sk_2 мощность |S| может быть сколь угодно большой.
Минимальный порождающий набор S минимально возможной мощности (с |S| = m) назовём базисным набором для рекуррентной последовательности.
Далее в § 3 теоремами 1, 2 и 3 характеризуются минимальные порождающие наборы в случае трёхчленных рекуррентных последовательностей (когда k = 3). При k ^ 4 в § 4 теоремами 4 и 5 описываются базисные наборы. В случае, когда функция f биективна по первой переменной при любой фиксации остальных переменных, имеется возможность однозначно продолжать рекурренту в обратную сторону. Тогда естественно рассматривать минимальные порождающие наборы, позволяющие получать x_i для всех достаточно больших i, пользуясь при этом только соотношениями Xi = f (xi+si, ...,xi+sfc_2,xi+m), i € Z, где используемое отображение f : Xk-i ^ X получается из (3) благодаря биективности f по первой переменной. Базисный набор S, который остаётся базисным набором и в этом новом смысле, называем совершенным базисным набором. Теоремы 6 и 7 в § 5 устанавливают строение совершенных базисных наборов для любых k ^ 3. В § 6 формулируются другие постановки задач, относящихся к порождающим множествам.
3. Минимальные порождающие наборы для трёхчленных рекуррентных последовательностей
При k = 3 полагаем si = s € {1, ...,m — 1}. Воспользуемся специальным расположением множества целых чисел на бесконечном двумерном цилиндре, являющемся прямым произведением окружности T1 = R/z и вещественной прямой R. Приведём подробное описание конструкции такого расположения.
Пусть ^ : Z2 ^ Z - гомоморфизм решётки Z2 С R2 евклидовой плоскости R2 на множество целых чисел Z, заданный равенством
^>(x,y)=x(s — m) + ym. (4)
В силу взаимной простоты чисел m и s гомоморфизм ^ является эпиморфизмом. Обозначим через Г ядро гомоморфизма Г = ker^> = ((m, m — s)).
Векторы ei = (1, 0) и в2 = (0,1) считаем ортонормальными в R2, первый считаем горизонтальным и направленным вправо, а второй - вертикальным и направленным вверх.
По теореме о гомоморфизме эпиморфизм ^ естественным образом задаёт изоморфизм Z2/r = Z. Коль скоро Z2 С R2, то Z2/r С R2/p. Тем самым имеем требуемое
вложение множества целых чисел Ъ = Ъ2/г в цилиндр К2/г, обозначаемый далее через 2.
Плоскость К2 является накрывающей поверхностью для цилиндра К2/г, а часть плоскости К2 между параллельными прямыми, перпендикулярными вектору (т, т — в) и проходящими, соответственно, через точки (0, 0) и (т,т — в), является развёрткой этого цилиндра. Окружность на цилиндре, накрываемую отрезком плоскости с концами (0,0) и (т, т — в), обозначим через С.
Проводимые ниже построения на цилиндре удобней заменять соответствующими Г-инвариантными построениями на его накрывающей плоскости.
Расположение целых чисел на цилиндре можно задать и непосредственно. Для этого на плоскости К2 рассмотрим три семейства параллельных прямых: б2-семейство состоит из прямых
{(ж, 0) + ¿в2, £ € К} = {(х,£), £ € К}, х € Ъ;
(—в1)-семейство состоит из прямых
{(0, у) + *(-в1), £ € К} = {(-*, у), £ € К}, у € Ъ;
(е1 + в2)-семейство состоит из прямых
{(0, г) + ¿(в1 + в2), £ € К} = {(£, £ + г), £ € К}, г € Ъ.
Данные три семейства прямых образуют 3-сеть на плоскости К2, которая инвариантна относительно сдвигов на элементы подгруппы Г в К2 (групповой операцией в К2 является обычное сложение векторов). В силу Г-инвариантности эта 3-сеть переносится на цилиндр.
Припишем какому-либо узлу 3-сети на цилиндре целое число 0. У этого узла ткани имеется шесть соседних узлов. Паре этих узлов на проходящей через нулевой узел прямой б2-семейства припишем целые числа т и —т соответственно. При продвижении от узла 0 к узлу т должно происходить увеличение параметра £ на соответствующей прямой. Двум другим парам узлов, соседних с узлом 0, аналогичным образом приписываем целые числа т — в ив — т, в и —в. Числа в и —8 на прямой (в! + в2)-семейства, а числа т — в ив — т на прямой (—в1)-семейства. Увеличение параметра £ на соответствующих прямых должно происходить при продвижении от узла 0 к узлам в и т — в соответственно. По такому же принципу соседям узла г, г € Ъ, будем приписывать целые числа г + т, г — т, г + т — в, г — т + в, г + в, г — в. В результате каждому узлу на цилиндре (см. рис. 2) будет приписано единственное целое число, при этом каждое целое число будет отвечать какому-то одному узлу. Это свойство следует из использованной выше теоремы о гомоморфизме, применённой к эпиморфизму заданному равенством (4).
Заметим, что всего на цилиндре имеется т прямых в в2-семействе, т — в прямых в (—в1)-семействе и в прямых в (в1 + в2)-семействе. Вершинам сети на одной прямой приписаны целые числа с одним значением вычета по модулю т, т — в и в соответственно.
г-2е + Зм-г-5 +1т —¡+ш-г + э -I
■/ Н -г -5 -¡а-г - -г + г - Зш-г -4ш
Рис. 2
Далее нам удобно картинку на рис. 2 представлять повёрнутой на 45° по часовой стрелке. Тогда отрезки (а + в2)-прямых будут горизонтальными, на них параметр Ь увеличивается при движении направо (на развёртке цилиндра). У отрезков е2-прямых параметр Ь увеличивается при движении на "северо-восток", а у отрезков (—в1)-прямых параметр Ь увеличивается при движении на "северо-запад". Отрезки е2-прямых и (—в1)-прямых далее считаем наклонными.
На рис. 3 приведена развёртка цилиндра для значений параметров т = 5, в = 2. Пунктиром там указан отрезок, превращающийся в окружность С после склейки развёртки в цилиндр. (Рекомендуется представлять "шов" склейки за плоскостью рис.
3).
Прямые 3-сети на цилиндре 2 (общим числом 2т) являются винтовыми линиями. Прямые е2-семейства и (в! + в2)-семейства соответствуют правой резьбе, а прямые (—в1)-семейства закручены в противоположном направлении и соответствуют левой резьбе. Отрезки на этих прямых с концами в виде узлов сети будем называть в2-отрезками, (—в!)-отрезками и (в! + в2)-отрезками соответственно. Естественно, в2-отрезки и (—в!)-отрезки считать наклонными, а (в! + в2)-отрезки - горизонтальными. Целые числа будем отождествлять с узлами сети, называя их ещё целочисленными точками цилиндра.
За единицу длины (в! + в2)-отрезков (в отличие от в2-отрезков и (—в!)-отрезков) берётся длина вектора е1+е2, т. е. (как и для е2-отрезков и (—е1)-отрезков) расстояние между двумя соседними узлами на отрезке.
Теперь мы располагаем всем необходимым для описания минимальных порождающих наборов.
Рассмотрим на цилиндре гомотопный окружности С цикл (замкнутый путь) Ь, состоящий из строго чередующихся горизонтальных и наклонных отрезков. Соседние отрезки образуют угол в 45° при вершине, обязательно являющейся узлом сети. Гомотопность означает непрерывную стягиваемость цикла Ь к окружности С. Другими словами, цикл Ь делает один оборот вокруг цилиндра.
На цикле Ь выбираем такую ориентацию, что на его горизонтальных (а + в2)-отрезках она отвечает увеличению параметра Тогда на (—в^-отрезках эта ориентация тоже будет отвечать увеличению но на в2-отрезках будет иметь место уменьшение параметра ¿.
Рис. 3
Каждой точке у € 2 \ Ь припишем белый или чёрный цвет. Для этого вначале в достаточно малых окрестностях О(х), х € Ь \ Z, пересекающихся только с одним отрезком Ь, точки справа от Ь объявим белыми, а слева - чёрными. Если отрезок [у, г] целиком содержится в 2 \ Ь и точке у приписан некоторый цвет, то точке г приписываем тот же цвет. В результате каждой точке у € 2 \ Ь будет приписан белый или чёрный цвет, а некоторым точкам 2 \ Ь возможно будут приписаны оба цвета.
Определение 2. Цикл Ь на цилиндре 2, гомотопный окружности О и являющийся ломаной из чередующихся горизонтальных и наклонных отрезков с углами в 45° в целочисленных вершинах, назовём правильным, если каждой точке 2 \ Ь приписан только один цвет - белый или чёрный и каждая белая точка содержится в горизонтальном отрезке из белых точек длиной более 1.99.
Пример правильного цикла приведён на рис. 4. Там представлена накрывающая плоскость цилиндра, вертикальные прямые накрывают "шов" продольного разреза цилиндра, полоса между двумя соседними из этих прямых является развёрткой цилиндра. Концы О ломаной на рис. 4 находятся на соседних вертикалях, потому как цикл Ь делает один оборот вокруг цилиндра.
Правильный цикл Ь не может иметь самопересечений, но может дважды проходить через некоторые целочисленные точки, которые называем точками касания.
На правильном цикле Ь точки касания могут быть только трёх следующих типов: а) внутренний узел (—в1)-отрезка, являющийся одновременно концевой точкой (е1 + в2)-отрезка и начальной точкой следующего за ним в2-отрезка (точка А рис. 4); б) внутренний узел в2-отрезка, являющийся одновременно концевой точкой (—в1)-отрезка и начальной точкой следующего за ним (е1 + е2)-отрезка (точка В рис. 4); в) узел при вершине угла в виде конечной точки (е1 + е2)-отрезка и начальной точки е2-отрезка, являющийся одновременно вершиной угла в виде конечной точки (—е1)-отрезка и начальной точки (е1 + е2)-отрезка (точка О рис. 4).
Множество белых точек, отвечающих правильному циклу Ь, связно неограниченно и располагается ниже Ь. Множество чёрных точек состоит из нескольких ограниченных односвязных областей и связной неограниченной области, располагающейся выше Ь.
Рис. 4
Каждая из 2т прямых 3-сети на цилиндре разбивается на белые и чёрные отрезки и на два луча - один белый, другой чёрный.
Далее через М обозначим суммарную длину всех (в1 + в2)-отрезков правильного цикла Ь, через К - суммарную длину всех в2-отрезков на I и через 5 - суммарную длину всех (—в1)-отрезков на Ь. Тогда, очевидно, имеем: М(1,1)+К(0, —1)+5(—1, 0) = (т, т — в), или
Теорема 1. Пусть Ь - правильный цикл на цилиндре 2 = К2/г. Тогда совокупность узлов Б = Б(Ь), состоящая из внутренних узлов горизонтальных отрезков Ь и крайних нижних узлов наклонных отрезков, будет минимальным порождающим набором. Обратно, любой минимальный порождающий набор представляется в таком виде для некоторого правильного цикла Ь.
Для доказательства данной простой на первый взгляд теоремы в работе [7] потребовалось 4 страницы. По ходу доказательства устанавливается, что для правильного цикла Ь множество (Ь)] состоит из всех целочисленных точек чёрного цвета и всех целочисленных точек, расположенных непосредственно на цикле Ь. Белые целочисленные точки в множество [Б(Ь)] не входят.
Поскольку на правильном цикле Ь имеет место строгое чередование наклонных и горизонтальных отрезков, мощность |Б(Ь)| соответствующего минимального порождающего набора Б(Ь) равна суммарной длине горизонтальных отрезков цикла Ь, обозначенной выше через М. Согласно условию (5) имеем: |Б| = М ^ т.
При т ^ 3 мощностью минимального порождающего набора может быть любое целое, не меньшее т. В самом деле, Бт = {0, в, 2в, ..., (т — 1)в} - не уменьшаемый порождающий набор мощности т, а для г > т по индукции строится не уменьшаемый порождающий набор Бг = (5'г_1\{тт5'г_1})и{тт5'г_1 — т, ттБг-1 — т + в} мощности г.
Для базисных порождающих наборов, когда |5| = т, из равенств (5) получаем 5 = 0. Тогда на соответствующем правильном цикле нет (—в1)-отрезков, суммарная длина (в1 + в2)-отрезков равна М = т, а суммарная длина в2-отрезков на этом цикле равна К = в.
Множество так устроенных правильных циклов Ь находится в естественной биек-ции с множеством ожерелий (см. [17]) из т+в бусинок двух цветов - т бусинок одного цвета ( (в1 + в2)-отрезки длины один) и в бусинок другого цвета ( в2-отрезки длины один). С учётом взаимной простоты т ив это замечание позволяет сформулировать следующую теорему.
Теорема 2. Число базисных наборов для трёхчленных рекуррентных по-
следовательностей с параметрами т, в, 0 < в < т, (в,т) = 1, равно
М = т + 5, К = в + М — т = в + 5.
(5)
1 /т — 1 + в т \ т — 1
Как видно из этой теоремы, число базисных наборов увеличивается с увеличением в. При в = 1 базисный набор только один, он состоит из т подряд идущих номеров.
Теорема 3. Любой базисный набор для трёхчленной рекуррентной последовательности с параметрами т, в, 0 < в < т, (в, т) = 1, представляется объединением упорядоченной совокупности из г ^ в конечных арифметических прогрессий с разностью в: аг, аг + в, ..., Ьг — в, Ьi, ъ = 0,1, ..., г — 1, в которой а(г+1)тоаг < Ь + в, Ьг + в — а^^^ = 0шоёт для всех I = 0,1, ...,г — 1, и + в — а(г+1)то^7) = вт.
Обратно, любой набор указанного вида является базисным.
Арифметическими прогрессиями в формулировке этой теоремы являются целочисленные точки отдельных горизонтальных отрезков соответствующего правильного цикла. Число горизонтальных отрезков обозначено через г. Крайние правые точки этих отрезков из указанных арифметических прогрессий исключаются.
4. Базисные наборы в случае к > 4
Здесь нам потребуется гомоморфизм п : Ъ — Ът, п(г) = ¿(шоёт), г € Ъ. Если Б С Ъ - базисный набор для рекуррентной последовательности (3), то | = т и |£ П п-1(у)| = 1 для всех у € Ът. В силу этого Б является образом Ът при некотором отображении а : Ът — Ъ, удовлетворяющем условию (аоп)(у) = п(а(у)) = у для всех у € Ът, Б = 1та. Справедлива следующая теорема.
Теорема 4. Множество Б = 1ша для отображения а : Ът —^ Ъ с условием (а о п)(у) = п(а(у)) = у, у € Ът, является базисным набором рекуррентной последовательности (3) тогда и только тогда, когда
а (у + п(вг)) ^а(у)+ вг (6)
для всех у € Ът и % = 1, 2, ...,к — 2. А в случае выполнения неравенств (6) имеем:
[Б]=П _ (а(у)+ mNо). (7)
^уеЪт
При конкретном формировании базисных наборов, как и в § 3, воспользуемся представлением множества целых чисел Ъ точками (к — 1)-мерного цилиндра Ск-1 = Тк-2 х М, где Тк-2 - (к — 2)-мерный тор. По аналогии с гомоморфизмом (4), рассмотрим гомоморфизм : Ък-1 — Ъ, ...,гк-2) = тг0 + ^Ь^в^, являющийся эпиморфизмом, и потому Ъ = Ък-1/г, Г = кег^>.
Используя вложение Ък-1 = Ъ х Ък-2 С М х Мк-2 = Мк-1, получаем вложение множества всех целых чисел Ъ = Ък-1/г в Ск-1 = Мк-1/г = Тк-2 х М. Здесь Тк-2 = кегФ/г, а Ф : Мк-1 — М, Ф(х0,хь ...,хк-2) = тх0+ Е¿=Т12вгхг. Точке (¿0,^1, ... ,гк-2) + Г на цилиндре отвечает число ,г1, ...,гк-2).
Прямую М в произведении М х Мк-2 удобно представлять направленной вертикально вверх, а пространство Мк-2 считать горизонтальным.
Числа г € Ъ будем считать приписанными к соответствующим целочисленным точкам цилиндра Ск-1 и его односвязной накрывающей Мк-1. В последнем случае одно и то же число г приписывается ко всем точкам некоторого смежного класса по подгруппе Г. Здесь и далее целочисленными считаем точки с целочисленными координатами или смежные классы по Г, содержащие такие точки.
Далее часто используется проекция р пространства Мк 1 = М х Мк 2 на Мк 2 параллельно М, р(а, ж) = ж, а € М, ж € Мк_2.
Положим Г = р(г), Тк -2 = Мк -2/г, Г0 = Г П Мк -2 С Г. Нетрудно убедиться, что Го = кег ф, где ф : Zfc_2 — Z, ф(г1, ..., гк_2) = Х^—2 в^. В этом случае Г = кег(ф о п).
Пусть НОД(в1, ..., вк-2) = Тогда 1тф = Ж,
^-2/г0 = ^ С Мк-2/г0 = Ск_2, НОД(д, т) = 1, 1т(ф о п) = Zm,
^к-2/Г ^ С Мк-2/Г = Тк_2. Таким образом, вершинам (г, Zfc_2) приписаны числа из гт+Ж, г € Z. Учитывая взаимную простоту чисел т и имеем: Z = и^Т01(гт+^), Г = Г0® ((¿, у)) для некоторого у € Zfc_2.
К целочисленным точкам (к — 2)-мерного цилиндра Ск_2 = Мк-2/г0, вложенного в Ск-1 = Мк-1/г в виде винтовой гиперповерхности, приписаны числа из Ж. Это же относится и к целочисленным точкам (к — 2)-мерного цилиндра гт + Ск_2 = гт+Мк-2/г0, которым приписаны числа из гт+Ж, г = 1, ..., 1. Данные д винтовых гиперповерхностей покрывают все целочисленные точки Ск-1, т. е. всё множество Z. Если точке ж € Мк_2 приписано число тд, то Г = Г0 ® (ж) и Тк_2 = Мк-2/г =
Ск-2/(т^>.
Отображение р : индуцирует отображение п : Ск 1 — Тк 2, при этом
г € Z ССк-1 переходит в г(тоё т) € Zm С Тк_2, т. е. п|Z = п. Отметим, что п^т+Ск-2 является бесконечнолистным накрытием тора Тк_2 при каждом г = 0,1, ..., д — 1.
Пространство Мк_2 естественным образом разбивается на элементарные ячейки в виде единичных (к — 2)-мерных кубов с целочисленными вершинами, их рёбра параллельны главным осям. Такое разбиение переносится также на цилиндры гт + Ск_2, г = 0,1, ... — 1, и на тор Тк_2. Число г € гт + Ск_2 дополнительно будем вписывать в куб с вершинами г, г + в,, ; = 1, ... ,к — 2. Напомним, что в соответствии с основной конструкцией число г = гт + =1 в,г, приписывалось точке (г, , ..., гк-2) +Г € гт + Ск_2 С Ск-1 , и эту точку согласно установленному вложению Z С Ск-1 стали обозначать через г. В результате дополнительно в элементарную ячейку с вершиной г вписываем число г. Аналогично, вычет V € Zm С Тк_2 вписываем в куб с вершинами V, V + п(в,), ; = 1, ..., к — 2, (остальные 2к_2 — к + 1 вершины куба по к — 1 указанным восстанавливаются однозначно).
Замкнутую гиперповерхность М в цилиндре Ск_2, составленную из (к — 3)-мерных граней элементарных ячеек, будем называть монотонной, если она гомотопна тору Тк_3 = (Мк_2 П кегФ)/г0 цилиндра Ск_2, разбивает этот цилиндр на две части - верхнюю и нижнюю, и для любой точки г € М П (Ж) все точки вида г + ^к=12 в^, ^ € N0, г = 1, ...,к — 2, содержатся или на самой гиперповерхности М или в верхней части цилиндра Ск_2. По определению замкнутая гиперповерхность не имеет самопересечений, и окрестность любой её точки гомеоморфна окрестности Мк_3 - внутренности (к — 3)-мерного шара. Далее (к — 3)-мерные грани элементарных ячеек будем называть стенками.
При наличии каких-либо д монотонных гиперповерхностей М0, ...,М^_1 в Ск_2 будем рассматривать также семейство гиперповерхностей и = {гтд + М,1 г € Z, ; = 0,1, ... — 1}. Возможно совпадающие гиперповерхности этого семейства различаем по их номеру (г,;) € Z х {0,1, — 1}. Каждой стенке в приписываем вес Л,(в), равный числу гиперповерхностей семейства и, которым она принадлежит: Л,(в) = ¡{(г,;) € Z х {0,1, — 1}| в С гтд + М, }|.
Семейство и является (шб)-инвариантным, поэтому введённая система весов переносится на стенки в тора Тк-2. Для в С Тк-2 имеем:
ВД = Е 1[п-1(в) П М, ]|. ,=0
(Через |[... ]| обозначаем число стенок в соответствующем множестве.) Систему весов на торе Тк-2 можно определять как и на цилиндре Ск-2, используя вместо и семейство и = {7т(М,)| ] = 0,1, ..., б — 1}, при этом нужно только учитывать, что в гиперповерхности 7т(М,), ] =0,1, ..., б — 1, могут возникать кратные стенки в, накрываемые несколькими ячейками из М,. Соответствующую кратность обозначим через
А, (в) = |[п-1(в) ПМ,- ]1 Длястено,
А,(в) = |[П 1(/?) П М,]|. Для стенок в в Ск 2 кратности равны нулю или единице: А, (в) = 1, если в С гш + М,, и А, (в) = 0 иначе. В этих обозначениях для в С Тк-2 имеем: Л,(в) = А,(в), а для в С Ск-2 соответственно имеем:
й-1 й- 1 Л(в) = Е ЕА,(в) = ЕА,(П(в)) = Л(тт(в)).
гей ,=0 ,=0
Обозначим, наконец, вес стенки между ячейками V и V + п(вг) тора Тк-2 через Лг(и), г = 1, ...,к — 2.
Теорема 5. Для любых б монотонных гиперповерхностей на цилиндре Ск-2 'равенства: а(0) = 0, а^ + п(вг)) = а^) + вг — V € г = 1, ...,к — 2,
корректным образом задают отображение а : — й, для которого 1т а является базисным набором. Обратно, любой базисный набор Б после возможного сдвига на целое число может быть реализован таким способом для некоторых монотонных гиперповерхностей М0, М1, ..., М^-1 в Ск-2.
Доказательство этой теоремы на порядок сложней доказательства теоремы 1, в работе [7] оно потребовало 6 страниц. Из доказательства следует, в частности, что в качестве монотонных гиперповерхностей М0,М1, ...,М^-1 на цилиндре Ск-2 можно брать не произвольные, а только "непересекающиеся", но, возможно, совпадающие и касающиеся друг друга по нескольким стенкам, при этом следующие друг за другом гиперповерхности М1, ...,М^-1 находятся между М0 и М^ = шб + М0, гиперповерхность Мг находится между Мг- и Мг+1, г = 1, ...,б — 1. Гиперповерхности П(М0), П(М1), ...,П(Мй-1) на торе тоже гомотопны тору Тк-3 = (Мк-2 П кегФ)/Го и следуют друг за другом, за П(Мй-1) следует П(М0).
Оценка числа базисных наборов (рассматриваемых, напомним, с точностью до сдвига) является отдельной задачей. Пока же, в соответствии с теоремой 2, можно утверждать, что при к = 4, НОД(в^в2) = 1 и при достаточно больших ш ^ ш(в1,в2) число базисных наборов равно « + « (51+'52). Если же НОД(в^в2) = б > 1, то при ш — то и ограниченных в 1,82 асимптотически число базисных наборов совпадает с
«1+22 1. При к ^ 5 и ограниченных в1, ..., вк-2 это число имеет поря-
док 0(шй-1). Если в1 = 1, то при любом к ^ 3 базисный набор только один, состоит из ш подряд идущих номеров.
5. Совершенные базисные наборы
Если в соотношении (3) отображение / является подстановочным по первой переменной при любой фиксации остальных к — 2 переменных, то для некоторого отображения / : X1 — X наряду с (3) справедливо соотношение
хг — / (хг+«х , •••,хг+«к_2 , хг+т) , г € (8)
что указывает на возможность продолжать рекурренту в обратную сторону. В этом случае для конечного подмножества Б С 2, наряду с [5] С 2, будем рассматривать и обозначать через [[5]] С 2 совокупность всех номеров г € 2, для которых хг предста-вимо формулой, содержащей кроме скобок и запятых символы / и х^, £ € 5.
Определение 3. Для рекуррентной последовательности (3), в которой отображение / является подстановочным по первой переменной при любой фиксации остальных к — 2 переменных, подмножество Б С 2 мощности т назовём совершенным базисным набором, если для некоторого достаточно большого Т € N имеем: [Б] э Т + N и [[Б]] э —(Т +
Переписав соотношение (8) в виде
х.7—т — / — (т—«х), ••• , — (т—«к-2),х^ , €
по аналогии с теоремой 4 можно утверждать, что для множества Б — 1ша, отвечающего отображению а : 2т — 2 с условием п(а(у)) — у, у € 2т, множество [[Б]] содержит Т — N — {Т — 1, Т — 2, ••• } при некотором Т € 2 тогда и только тогда, когда
а (у) — т + ^ а(у + п(^)) (9)
для всех у € 2т иг — 1, •••,к — 2. Также в случае выполнения неравенств (9), имеем
[[Б]]— У с2 (а(у) — т^)- (10)
При одновременном выполнении неравенств (6) и (9), с учётом того, что п(а(у) — т + ¿г) — п(а(у + п(«г))) — п(а(у) + 5г), у € 2т, г — 1, ••• , к — 2, для а(у + п(«г)) имеются только две возможности: либо а (у + п(3г)) — а(у) + либо а(у+п(3г)) — а(у)+ «г — т. В этом случае, согласно равенствам (7) и (10), получаем: [Б] и [[Б]] — 2, [Б] П [[Б]] — Б. В результате справедлива следующая теорема.
Теорема 6. Множество Б — 1ш а для отображения
а : 2т —У 2 с условием
п(а(у)) — у, у € 2т, является совершенным базисным набором рекуррентной последовательности (3) тогда и только тогда, когда для всех у € 2т иг — 1, •••, к — 2 либо а (у + п(«г)) — а(у) + либо а (у + п(«г)) — а(у) + — т. В случае выполнения этого условия справедливы 'равенства:
[Б] и [[Б]] — 2, [Б] П [[Б]] — Б.
В условиях теоремы 5 совершенность базисного набора равносильна, тем самым, требованиям: Л,г(-и) € {0,1}, V € 2т, г — 1, •••, к — 2. Другими словами, задающие отображение а : 2т — 2 и следующие друг за другом гиперповерхности 7г(М0), П(М1), ..., 7т(М^—1) на торе Тк—2 не только попарно "не пересекаются", но и исключается
наличие стенок, принадлежащих одновременно двум и более из этих гиперповерхностей, причём ограничения ПМ, г — 0,1, •••, й — 1, являются гомеоморфизмами между М; и П(М;). Последнее означает, что у П(М;) нет кратных стенок.
Особенно просто совершенные базисные наборы устроены при к — 3. Они отождествляются с ожерельями из з и т — з бусинок. Как и в случае теоремы 2 для этого достаточно обратиться к введённым в § 3 3-сетям на бесконечном двумерном цилиндре. По аналогии с теоремами 2 и 3 убеждаемся в справедливости следующей теоремы.
Теорема 7. Для трёхчленной рекуррентной последовательности порядка т подмножество 5 С Ъ мощности т является совершенным базисным набором тогда и только тогда, когда 5 находится на замкнутом гомотопном окружности О цикле, состоящем из (е1 + е2)-отрезков и (—е1)-отрезков общей длиной т. Совокупность (е1 + е2)-отрезков на таком цикле имеет общую длину т — з, а совокупность (—е1)-отрезков имеет общую длину з. Число совершенных базисных наборов, рассматриваемых с точностью до сдвигов, 'равно т (т) •
Согласно теореме 3 можно также утверждать, что любой совершенный базисный набор для трёхчленной рекуррентной последовательности с параметрами т, з, 0 < з < т, (з, т) — 1, представляется объединением упорядоченной совокупности из з конечных арифметических прогрессий с разностью з и общей длиной т: а;, а; + з, •••, — з, Ь;; Ь; — а,; ^ 0, г — 0,1, •••, з — 1, Г1 + ^ — т, в которой Ь; —
а^+^тоа« — т — з для всех г — 0,1, •••,з — 1. Обратно, любое конечное множество целых чисел мощности т указанного вида является совершенным базисным набором. Иначе ещё можно сказать, что совершенный базисный набор при к — 3 является конечной последовательностью целых чисел длины т, в которой каждый следующий член, начиная со второго, либо больше предыдущего на з, либо меньше предыдущего на т — з, а самый первый член в этой последовательности либо больше её последнего члена на з, либо меньше его на т — з.
6. Общий случай порождающих наборов рекуррентных последовательностей
Обратим внимание, что при наличии дополнительного к (3) условия (8) понятие совершенных базисных наборов, не смотря на красивое их описание, связанное с ожерельями, является несколько искусственным. С практической точки зрения логичней для подмножества 5 С Ъ рассматривать в качестве его расширения подмножество 5 С Ъ, представляющее собой совокупность всех номеров г € Ъ, для которых х; представимо формулой, содержащей (кроме скобок и запятых) символы /, / и х^, Ь € 5, а базисными наборами логичней считать те подмножества 5 мощности т, для которых 5 — Ъ. Множество базисных наборов в этом смысле гораздо шире множества совершенных базисных наборов, являющегося пересечением множества наборов, определяемых неравенствами (6), и множества наборов, определяемых неравенствами (9).
Обобщая приведённую здесь точку зрения, следует рассматривать подмножество
в С {0,1, ...,к — 2}, состоящее из всех таких номеров ] € {0,1, ..., к — 2}, что отображение
/ (хг, хг+«1, ...,хг+«к_2 )
подстановочно по переменной Xi+Sj при любой фиксации остальных к — 2 переменных. Если ] € в, то для некоторого отображения
/: Xк-1 ^ X
наряду с (3) справедливо соотношение
xi+s, — ,, ..^х^.^,х^.^^, ...,Xi+sk-2,хг+т), г € Ъ.
Если 0 € в, то /(0) = /.
Определившись с в, для подмножества Б С Ъ нужно рассматривать его расширение Б С Ъ, представляющее собой совокупность всех номеров г € Ъ, для которых Жi представимо формулой, содержащей (кроме скобок и запятых) символы: /; /^\ ] € в; х^, £ € Б, а в-базисными наборами нужно считать такие подмножества Б мощности т, что Б 3 Т + N при некотором достаточно большом Т. В этом случае, если 0 € в, то автоматически будем получать условие Б = Ъ. В настоящем параграфе рассмотрен только случай, когда в = 0. Важными, на наш взгляд, являются следующие два крайних случая: в = {0} и в = {0,1, ..., к — 2}. Следующий параграф посвящён неуменьшаемым множествам Б С Ъ, |Б| ^ т, для которых Б = Ъ, в случае к = 3 и в = {0,1}.
7. Минимальные порождающие наборы трёхчленных рекуррентных последовательностей с квазигрупповыми рекуррентными соотношениями
7.1. В случае трёхчленных рекуррентных последовательностей соотношение (3) предстаёт в виде: х^т, = /(х^х^.), г € Ъ, 0 < в < т, (в, т) = 1. Отображение / : X2 ^ X здесь задаёт квазигрупповую операцию на множестве X. Неуменьшаемые порождающие множества Б С Ъ, когда Б = Ъ, введённые в § 6, в настоящем параграфе рассматриваются относительно в = {0,1}. Будем называть их (т, в)-базисами множества целых чисел Ъ.
Понятие (т, в)-базиса удобно связывать с частичной бинарной операцией отт;. на множестве Ъ. Значение етт>.(г1,г2), г1,г2 € Ъ, определено только при |г1 — г2| € {в, т, т — в}, когда имеется единственное г € Ъ такое, что {г1, г2} С {г, г + в, г + т}, и тогда ГОтД-гъ^) = {г,г + в, г + т}\{гьг2}.
Для подмножества Б С Ъ через [Б] С Ъ обозначим минимальное содержащее Б подмножество в Ъ, замкнутое относительно операции гот,..
Определение 4. Конечное подмножество Б С Ъ назовём (т, в)-базисом, если [5] = Ъ, а любое собственное подмножество Б этим свойством не обладает.
Если Б - (т, в)-базис, то 1 + Б = {1 + г € Б} тоже будет (т, в)-базисом для всех 1 € Ъ. Базисные множества рассматриваем поэтому с точность до сдвигов на целые числа.
В формулировке основной теоремы параграфа используется специальная функция ф : N ^ N. Для определения ф(т), т € N аргумент т зададим в виде суммы чисел Фибоначчи (см., например, [39]) г > 0: ^>0 = 1, = 2, = п >2. Если
т = ..., П0йП1йП2й ..., тоф(т) = 2П0 + 2П1+1 + 2П2+2 + ... + + ....
Выражение ПгдПг+1 здесь означает, что п — > 2, г > 0.
Представление натурального т такой суммой чисел Фибоначчи всегда существует и единственно [39]. В качестве ^>гао берётся максимальное число Фибоначчи, не превосходящее т, в качестве - максимальное, не превосходящее т — ^>гао, и т.д. Единственность проверяется по индукции, поскольку ^>гао ^ т < ^>гао+1. Для такой суммы используется также запись
га—1
т = 1е„- 1С„-2 ...С1С0 = ^га + ^/¿^ (11)
¿=0
с п = п0 > 0, в которой нет двух соседних единиц среди а € {0,1} и обязательно сп-1 = 0. Запись (11) можно представлять ещё в виде
т = 1(^)1(^-01... 1(^1 )1(^), (12)
где через (V?) обозначена серия нулей длины V?, j = 0,1, ...,1, 1 > 0, причём V? > 0 для j > 1. При таком представлении т запись ф(т) в двоичной системе счисления имеет вид
ф(т) = — 1)1(^-1 — 1)1... — 1)1(^ + 1). (13)
Как видим, для получения ф(т) достаточно по одному нулю из каждой серии нулей между двумя единицами в фибоначчиевом представлении т в (12) перенести в самый конец - в область младших разрядов, а полученную в результате последовательность нулей и единиц (13) воспринимать как двоичное представление натурального числа ф(т).
Для функции ф(т) при т >2 в работе [8] доказываются неравенства
ГТГ ^ ^
0.719тТ < ф{т) < + 7—^-< 0.797тт + -, (14)
(а2)V(a - 1) """.....4'
где а = т = log« 2, ipn - < m ^ fn+i + ipn-з и ^ = 0 при i < 0. Здесь
\/5Т/4 € (0.7967, 0.7968); а2/2 € (1.3, 1.31); а4(а- 1) € (4.236, 4.2361).
Верхняя оценка в (14) достаточно точная, по крайней мере, для m = значение ) = 2n является ближайшим целым к -^4— (^>га)т• К сожалению, для нижней оценки в (14) можно утверждать лишь, что 0.721 mT > ^(m) для неограниченного множества значений m вида m = + ^>га-з + ^П-6 + ... + + ... • Нам не известно
значение нижнего предела с* — Ншт^00 ^¡т^ € (0-719, 0,721), и мы не располагаем доказательством того, что с*тт ^ ^(т) хотя бы для достаточно больших т.
Довольно объёмная работа [8] практически целиком посвящена доказательству следующей теоремы.
Теорема 8. Если 5 - (т,з)-базис, то т ^ |51 ^ ^(т). Обратно, для любого целого п, т ^ п ^ ^(т), имеется (т, з)-базис мощности п.
В случае квазигрупповых рекуррентных соотношений
х;+т — /(х;,х;+«1, •••,х;+«к—2^ г € Ъ,
0 — зо < з1 < з2 < ••• < з^_2 < з^_1 — т, НОД(з1, з2, •••, з^_2, т) — 1,
в работе [8] аналогичным образом определяются (т,з1, •••, з^_2)-базисы и для к ^ 4. При к — 4, в отличие от сформулированной теоремы, существуют пары з1, з2, при которых (т, з1, з2)-базисы могут иметь сколь угодно большую мощность. В то же время при любых т и к ^ т + 1 существуют такие наборы з1,з2, •••,з^_2, что мощности (т, з1,з2, •••, з^_2)-базисов ограничены константой, зависящей от т.
7.2. Основным средством для доказательства теоремы 8 служит 3-сеть на бесконечном цилиндре, введённая в § 3. Она предоставляет удобное правило построения множества [5] для каждого конкретного подмножества 5 С Ъ. Для этого заштрихуем половину треугольников, на которые цилиндр разбивается нашей 3-сетью. Заштриховываем треугольники с вершинами {г, г + з, г + т}, г € Ъ. Треугольники с вершинами {г, г + з, г — т}, г € Ъ, оставляем светлыми. Светлые и заштрихованные треугольники будем называть элементарными. Можно считать их равносторонними с углами по 60° и длиной сторон 1.
Правило построения множества [5] заключается в следующем. Прежде всего, 5 С [5]. Далее, если две вершины заштрихованного треугольника входят в [5], то третья вершина этого треугольника тоже должна входить в [5].
Описание возможных (т, з)-базисов начнём с введения необходимых понятий, относящихся к треугольникам. Доказательства всех используемых при этом утверждений имеются в работе [8].
Треугольники со сторонами, находящимися на прямых 3-сети, у которых внутри при угловых вершинах стоят заштрихованные элементарные треугольники, называем стандартными. Стандартный треугольник обозначаем через Дг(г) или Д^, если его угловыми вершинами являются г, г + Ьз, г + Ьт, г € Ъ, Ь ^ 0. Длину стороны стандартного треугольника Д обозначаем через т(Д): т(Д^г)) — Ь, г € Ъ, Ь ^ 0. Считаем До (г) — {г}, г € Ъ. Заштрихованными являются элементарные треугольники Д1(г), г € Ъ.
При Ь ^ т — 1 треугольники Д^г), г € Ъ, располагаются на цилиндре без самопересечений. Треугольники Д^г) при Ь ^ т являются самопересекающимися на цилиндре. Уже при Ь — т вершина г + тз треугольника Дт(г) оказывается на противоположной стороне этого треугольника (с концами г иг + т2). При Ь ^ т треугольники Д^г) охватывают цилиндр полностью, они гомологичны окружности О.
Непересекающиеся треугольники Д^1 (г1), Д^2(г2) считаем близкими, если пересекаются их 0.5-окрестности. Под 0.5-окрестностью треугольника понимается объединение
всех замкнутых кругов диаметра 1 с центрами в этом треугольнике. Для близких треугольников существуют целые € Д^ (г1) и ¿2 € Д^2 (г2), расстояние между которыми равно 1. В этом случае ¿1, ¿2 являются соседними вершинами 3-сети.
Обратим внимание, что хотя треугольник Дт— 1(г) и не является самопересекающимся, но его 0.5-окрестность уже самопересекающаяся - охватывает цилиндр полностью. Угловая вершина г + (т — 1)з треугольника Дт— 1(г) является соседней на 3-сети для точек г + (з — 1)т иг + «т, находящихся на противоположной стороне треугольника с концами г и г + (т — 1)т.
Последние замечания позволяют заключить, что [Д^ П 2] — 2 при £ ^ т — 1 и Д П 2] — Д4 П 2 при £ < т — 2.
Построение множества [Б] происходит довольно эффективно благодаря специальной операции * над парой стандартных треугольников Д', Д'' с т(Д') ^ т — 2 и т(Д '') ^ т — 2, которые пересекаются или являются близкими. Результатом операции * является минимальный стандартный треугольник Д — Д' * Д'' , содержащий треугольники Д' и Д''. Нетрудно убедиться, что [(Д' П 2) и (Д'' П 2)] — [Д П 2]. Если т(Д) ^ т — 1, то левая и правая части в последнем равенстве совпадают с 2. В редких случаях, когда объединение 0.5-окрестностей треугольников Д', Д'' целиком охватывает цилиндр (гомологично окружности С), треугольник Д задаётся неоднозначно, но конкретный его выбор для нас не принципиален, поскольку в каждом из двух возможных случаев [Д П 2] — 2.
7.3. Пусть вначале Б С 2 произвольное конечное подмножество. Введём неориентированный граф Г — Г(Б) с множеством вершин Б, соединяя вершины, расстояние между которыми равно единице. Рёбрами будут единичные отрезки прямых 3-сети или, иначе, стороны заштрихованных элементарных треугольников. Если граф Г(Б) связен и [Б] — 2, то [Б] совпадает с целочисленными точками минимального стандартного треугольника Д, содержащего Б, с длиной стороны т(Д) ^ т — 2: [Б] — Д П 2. Множество [Б] — 2 тоже называем треугольником, если оно совпадает с совокупностью целочисленных точек минимального стандартного треугольника, содержащего Б.
Далее до конца параграфа подмножество Б С 2 считаем (т, з)-базисом. Пусть Б^, ] € 3, - множества вершин связных компонент графа Г — Г(Б), Б — Б^'. Тогда [Б/] П [БН — 0 при ;'— /'
Приведём два типа примеров связных компонент графа Г.
Тип I. За основу берётся светлый треугольник {г, г+8, г+8—т}, г € 2. Из вершины г + 8 выходит ветвь из единичных отрезков. Каждый очередной отрезок параллелен одному из векторов в2 или в1 +в2. Единственной точкой ветвления (инцидентной более чем двум рёбрам) на этой ветви является исходная вершина г + последняя вершина ветви инцидентна только одному ребру. Аналогичная ветвь из единичных отрезков, параллельных (—в1) или —в! — в2, выходит из вершины г. Такая же ветвь выходит и из вершины г + 8 — т с единичными отрезками, параллельными в1 или —в2. Длина отдельной ветви может быть и нулевой: тогда ветвь отсутствует. Могут отсутствовать две и даже все три ветви. Введённые выше ветви будем называть (в2, в1 + в2)-ветвью, (—в1, —в1 — в2)-ветвью и (в1, —в2)-ветвью соответственно. Вершинами связной компоненты типа I, вместе с г, г + 8, г + 8 — т, будут вершины на этих ветвях, а рёбрами, кроме (г, г + 8), (г, г + 8 — т), (г + г + 8 — т), будут отрезки на этих ветвях.
Тип II. За основу берётся вершина г € Ъ, из которой выходят (в2, в1 + в2)-ветвь, (—в1, —в1 — в2)-ветвь и (в1, —в2)-ветвь. Какие-то из этих ветвей могут отсутствовать, может не быть ни одной ветви. Вершинами и рёбрами связной компоненты типа II будут вершины и отрезки на этих ветвях. При их отсутствии связная компонента состоит из единственной вершины г. Как пример, связная компонента типа II может состоять из одной (—в1, —в1 — в2)-ветви, образующей цикл, целиком охватывающий цилиндр. В этом случае конец (—в1, —в1 — в2)-ветви будет находиться на расстоянии 1 от её начала г.
Теорема 9. Если подмножество Б С Ъ является (т, в)-базисом, то каждая связная компонента Г0 = Г(Б0) графа Г(Б), Б0 С Б, содержит не более т вершин и относится или к типу I или к типу II. Размер треугольника [Б0] равен |Б0| — 1 при |Б0| < т. Если |Б0| = т, то Б = Б0.
В случае Б = Б0, |Б| = т, при опоясывании цилиндра 0.5-окрестностью минимального содержащего Б стандартного треугольника А размера т — 1, его угловая вершина V, принадлежащая сторонам, параллельным векторам в1 и в1 + в2, будет находиться на расстоянии 1 от вершин г>1 и ^2, лежащих на противоположной к г стороне. Если г € Б, а {г1, г2}ПБ = 0, то Г(Б) состоит из одной (—в1, —е1 — в2)-ветви. Если бы такая ветвь заканчивалась вершиной г1 или вершиной г2 (при |{г1,г2} П Б| = 1), то граф Г(Б) был бы циклом, целиком охватывающим цилиндр. На этом цикле из т рёбер т — в параллельны в1 + в2, а остальные в рёбер параллельны в1. В § 5 совокупности целочисленных точек на таких циклах отнесены к совершенным базисным наборам, отвечающим ожерельям из в и т — в бусинок.
7.4. В данном пункте приводится описание строения (т, в)-базисов Б С Ъ минимально возможной мощности т. Вначале же определим последовательность графов Г(0) = Г(Б),Г(1), ...,Г(г), связанную с произвольным (т,в)-базисом Б С Ъ, |Б| ^ т. Вершинами графов Г-\ о = 1, ...,г, будут стандартные треугольники. Обратная последовательность Г(г), Г(г-1), ..., Г(1), Г(0) будет задавать структуру (т, в)-базиса.
Выше связные компоненты графа Г(0) параметризовались множеством Л. По теореме 9 для дальнейшего рассмотрения представляет интерес только случай, когда |Л| ^ 2, иначе г = 0.
Рассмотрим неориентированный граф Г(1) с множеством вершин Л, в котором ребро О',/') существует тогда и только тогда, когда треугольники [Б,'] и [Б-,»] пересекаются или являются близкими, т. е. когда пересекаются их 0.5-окрестности. В последнем случае найдутся г1 € [Б,'] и г2 € [Б,»], расстояние между которыми равно 1. Эти вершины соединены отрезком 3-сети. Правильнее считать вершинами графа Г(1) сами минимальные стандартные треугольники [Б,], о € Л, содержащие связные компоненты графа Г = Г(0).
Вершинами графа Г(^, г ^2, являются минимальные стандартные треугольники, содержащие связные компоненты графа Г^-1). Вершины [Б' ] и [Б''] в графе Г(^ соединены ребром, если они сами пересекаются или пересекаются их 0.5-окрестности. Замыкающим в последовательности Г(0), Г(1), ..., Г(г), является граф Г(г), г ^0, состоящий из одной связной компоненты. Задание какого-либо (т, в)-базиса сопряжено с построением цепочки этих графов, но в обратной последовательности:
Г(г), Г(г_1), ..., Г(1), Г(0).
Подробное строение графов Г(г), г ^ 1, при |Б| ^ т будет приведено в следующем п. 7.5. При |£| = т потребуются два описываемых ниже типа связных компонент графов Г(г), г ^ 1, вершинами которых являются стандартные треугольники размера нуль и выше.
Как и в § 3 при описании строения графов вектор е1 + е2 представляем горизонтальным, направленным вправо, а вектор е1 - направленным вниз направо, тогда вектор е2 будет направлен вверх направо. При таком представлении угловые вершины стандартного треугольника при нижнем горизонтальном основании называем соответственно левой и правой, а третью угловую вершину - верхней, одну боковую сторону называем левой, другую - правой.
Тип А. Граф состоит из трёх ветвей, каждая из которых состоит из стандартных треугольников. Первая ветвь, называемая (е2,е1 + е2)-ветвью, выходит из вершины г + в, г € Z, и начинается стандартным треугольником Д(1) размера Ь ^ 0 с левой вершиной г + в. Пусть V - вершина внутри или на границе угла в 60°, образованного лучами г + в + и(е1 + е2), и ^ 0, иг + в + ие2, и ^ 0, не содержащаяся в Д(1), но находящаяся на расстоянии 1 от одной из целочисленных точек в Д(1). Для следующего стандартного треугольника Д(2) рассматриваемой ветви точка V является левой угловой вершиной. Далее, стандартные треугольники Д(,), ; ^ 3, соотносятся с треугольниками Д(-?-1) в точности так же, как треугольник Д(2) соотносится с Д(1). Из вершины г выходит аналогичная (—е1, —е1 — е2)-ветвь, в которой г будет правой угловой вершиной первого треугольника ветви. Из вершины г + в — т выходит (е1, —е2)-ветвь, в которой г + в — т будет верхней угловой вершиной первого треугольника ветви. Каждая из этих ветвей может состоять из единственного первого треугольника, один из которых, в свою очередь, может иметь нулевой размер -принадлежать {г, г + в, г + в — т}.
Тип В. За основу берётся треугольник Д(1) с угловыми вершинами г, г + 1в, г + 1т, г € Z, 1 ^0, начиная с которого строятся (е2, е1 + е2)-ветвь, (—е1, —е1 — е2)-ветвь и (е1, —е2)-ветвь. Каждая из этих трёх ветвей может состоять из одного единственного треугольника Д(1).
Теорема 10. Если Б С Z - (т, в)-базис, |Б| = т, то связные компоненты графов Г(г), г = 1, ... .г, относятся или к типу А или к типу В.
7.5. Для (т, в)-базиса Б с2, |Б| ^т,вп. 7.4 была определена последовательность неориентированных графов Г(0) = Г(Б),Г(1), ...,Г(г), г ^ 0. Первым связным графом в указанной последовательности (с двумя и более вершинами при г ^1) является граф Г(г). Структура графа Г(0) была представлена в теореме 9. Приведём пять типов графов для Г(-?), ; ^ 1.
Тип А. За основу берутся три смежных друг с другом стандартных треугольника Д(1), Д(2), Д(3) таких, что каждая сторона минимального стандартного треугольника Д, их содержащего, содержит сторону только одного треугольника из трёх исходных, причём последние не содержат угловых вершин Д. Треугольник Д(ф г € {1, 2, 3}, (возможно нулевого размера) примыкает к стороне окаймляющего треугольника Д, параллельной е^ при г = 1, 2 или е1 + е2 при г = 3. Пусть вершинами треугольника Д являются г, г+1т, г+1в, г € Z, 1 > 0. От треугольника Д(1) отходит направленная вправо (е2, е1+е2)-ветвь Д(0) = Д(1), Д(1), ..., Д(^), Н ^ 0, из стандартных треугольников не обязательно положительного размера, определяемая следующими тремя условиями:
а) треугольники Д^'\ ] = 0,1, ...,Л, не пересекаются с лучами {г + ¿6211 ^0} и {г + ¿(61 + 62)1 * ^ 0};
б) треугольник Д(,), j = 1, ...,Л, смежен с треугольником Д(,-1) и не смежен с треугольниками Д(,-2), -3), ..., Д(1), Д(0) = Д(1), Д(2), Д(3);
в) стороны треугольников Д^'), j = 1, ...,Л, параллельные 61, строго монотонно удаляются от прямой {г + 1в + *е1| * € М}.
Аналогично определяется направленная вниз (61, —б2)-ветвь, начинающаяся с треугольника Д(з), и направленная влево (—61, —61 — 62)-ветвь, начинающаяся с треугольника Д (2). Каждая из трёх ветвей в графе типа А может ограничиваться единственной вершиной Д(0) € {Д(1), Д(2), Д(з)}.
Тип В. За основу берётся стандартный треугольник Д(0) и ещё три стандартных треугольника, обозначаемых как Д(1), Д(2) и Д(з). Последние смежны с Д(0) и не смежны друг с другом. Каждая сторона минимального стандартного треугольника Д с угловыми вершинами г, г + 1ш, г + 1в, г € й, 1 > 0, содержащего Д(1), Д(2), Д(з), содержит сторону только одного из этих треугольников. Треугольник Д(0) не пересекается с периметром треугольника Д, содержится строго внутри Д. Треугольник Д(г), г € {1, 2, 3}, примыкает к стороне треугольника Д, параллельной соответственно 6г или 61 + 62 при г = 3. От треугольника Д(1) вправо отходит (62,61 + 62)-ветвь, от треугольника Д(з) вниз - (61, —62)-ветвь, от треугольника Д(2) влево (—61, —61 — 62)-ветвь.
Тип С. За основу берётся стандартный треугольник Д(0) с нижним основанием на прямой {г + ¿(61 + 62)| * € М}, г € й, смежный со стандартными треугольниками Д(1) и Д(2). Треугольники Д(1) и Д(2) не смежны друг с другом. Основание минимального стандартного треугольника Д, содержащего треугольники Д(0), Д(1), Д(2), находится на прямой {г + *(61 + 62)| * € М}. Левая сторона треугольника Д пересекается только с Д(2), содержит левую сторону треугольника Д(2) и не пересекается с Д(0) и Д(1). Аналогично, правая сторона треугольника Д пересекается только с Д(1), содержит правую сторону треугольника Д(1) и не пересекается с Д(0) и Д(2). От треугольника Д(1) вправо отходит (62,61 + 62)-ветвь, а от треугольника Д(2) влево (—61, —61 — 62)-ветвь. Условия а) и б) в определении ветвей из описания графов типа А здесь несколько ослаблены, они принимают следующий вид:
а') никакая часть какого-либо треугольника из обеих ветвей не может быть ниже прямой {г + ¿(61 + 62)| * € М}; треугольники (62, 61 + 62)-ветви, начиная с Д(0) = Д(1), не пересекаются с лучом {V + *621 * ^ 0}, а треугольники (—61, —61 — 62)-ветви не пересекаются с лучом {-ш — *61| * ^ 0}, если V = г и ш = г + 1в, 1 > 0, суть левая и правая вершины треугольника А; б') объединение обеих ветвей и
Д(0)
является простой цепью. Принципиальное условие в) сохраняется в прежнем виде.
Графы, получающиеся из описанного поворотом на 120° в одну или другую сторону, тоже относятся к типу С.
Тип Ю. За основу берётся стандартный треугольник Д(0) размера 1 ^ 0 с вершинами г, г + 1ш, г + 1в, г € й, от которого отходит (—61, —61 — 62)-ветвь. Условие на ветви а) из описания графов типа А здесь принимает вид:
а") треугольники Д(,), j = 0,1, ..., Л, содержатся в углу с вершиной г + 1в и лучами {г + 1в — *61| * ^ 0}, {г + 1в — *(61 + 62)| * ^ 0}, стороны треугольников Д(,), j = 0,1, ..., Л,
могут находиться на лучах угла.
Условия б) и в) сохраняются в прежнем виде.
Графы, получающиеся из описанного поворотом на 120° в одну или другую сторону, тоже относятся к типу D.
Тип Е. Простая замкнутая цепь из стандартных треугольников
A(j), j = 0,1, ..., h - 1,
целиком охватывающая цилиндр. Смежными являются только треугольники
ДС?), A((j+l)modh), j = о, 1, ... ,h - 1,
причём левая сторона треугольника A((j+1)modh) располагается строго правее левой стороны треугольника A(j), а прямая в2-семейства, содержащая правую вершину треугольника A((j+1)modh) располагается строго правее прямой в2-семейства, содержащей правую вершину треугольника A(j).
Теорема 11. Если S С Z является (m, s)-базисом, то каждая связная компонента графов r(i), i = 1, ..., r, относится к одному из типов A, B, C, D, а граф Г(г) может ещё иметь тип E.
8. Заключение
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Кострикин А. И, Манин Ю. И. Линейная алгебра и геометрия. М.: Наука, 1986. 304 с.
2. Кон П. Универсальная алгебра. М.: Мир, 1968. 352 с.
3. Veblen O. Differential invariants and geometry. //Atti del Congr., Int. Mat., Bologna. 1928.
4. Кириллов А.А. Инвариантные операторы над геометрическими величинами. //Итоги науки и техники. Современные проблемы математики. Т. 16. М. 1980. С. 3 - 29.
5. Малышев Ф.М. Симплициальные системы линейных уравнений. //Алгебра: Сб. ст-й. Изд-во МГУ им. М.В. Ломоносова. 1980. C. 53-56.
6. Картеси Ф. Введение в конечные геометрии. М.: Наука, 1980. 320 с.
7. Малышев Ф.М. Порождающие наборы элементов рекуррентных последовательностей. //Труды по дискретной математике. 2008. Т. 11,
№ 2. С. 86 - 111.
8. Малышев Ф.М. Базисные множества целых чисел относительно многоместных операций сдвига. //Математические вопросы криптографии. 2011. Т. 2, № 1. С. 29 - 74.
9. Малышев Ф.М. Метрические свойства вложений множества целых чисел в цилиндр. //Математические вопросы криптографии. 2012. Т. 3, № 3. С. 57 - 79.
10. Делоне Б.Н., Сандакова Н.Н. Теория стероэдров. //Труды Математического института им. В.А. Стеклова. 1961. Т. 64. С. 28 - 51.
11. Wolfram S. Cellular Automaton Supercomputing. //In High-Speed Computing. University of Illinois Press. 1988. P. 40-48.
12. Малышев Ф.М., Кутырёва Е.В. О распределении числа единиц в булевом треугольнике Паскаля. //Дискретная математика. 2006. Т.18, № 2. С. 123 - 131.
13. Малышев Ф.М., Тараканов В.Е. О (v, к)-конфигурациях. //Математический сборник. 2001. Т. 192, № 9. С. 85 - 108.
14. Холл М. Комбинаторика. //М.: Мир, 1970. 424 с.
15. Харари Ф. Теория графов. //М.: Мир, 1973. 302 с.
16. Камерон П., ван Линт Дж. Теория графов, теория кодирования и блок-схемы. //М.: Наука, 1980. 144 c.
17. Сачков В.Н. Комбинаторные методы дискретной математики. //М.: Наука, 1977. 320 c.
18. Тараканов В.Е. Комбинаторные задачи и (0,1)-матрицы. //М.: Наука, 1985. 192 с.
19. Малышев Ф.М., Фролов А.А. Классификация (v, 3)-конфигураций. //Математические заметки. 2012. Т. 91, № 5. С. 741 - 749.
20. Тришин А.Е. Классификация циркулянтных (v, 5)-матриц. //Обозрение прикладной и промышленной математики. 2004. Т. 11, № 2. С. 258 - 259.
21. Фролов А.А. Классификация неразложимых абелевых (v, 5)-групп. //Дискретная математика. 2008. Т. 20, № 1. С. 94 - 108.
22. Брославский М.В. Примеры (v, ki, к2)-конфигураций. //Дипломная работа. М.: в/ч 33965, 2010.
23. Никулин В.В., Шафаревич И.Р. Геометрии и группы. //М.: Наука, 1973. 240 с.
24. Рышков С.С., Барановский Е.П. Классические методы теории решётчатых упаковок. //Успехи математических наук. 1979. Т. 34, № 4(202). С. 3 - 63.
25. Kuzmin A.S., Kurakin V.L., Mikhalev A.V., Nechaev A.A. Linear recurreces over rings and modules. //J. Math. Science (Contemporary Math. and Its Appl. Thematic surveys). V. 76, № 6. P. 2793 - 2915.
26. Кузьмин А.С., Куракин В.Л., Нечаев А.А. Псевдослучайные и полилинейные последовательности. //Труды по дискретной математике. 1997. Т. 1, С. 139 - 202.
27. National Institute of Standards and Technology, U.S.A., Advanced Encryption Standard (AES) FIPS - 197, 2001.
28. Specification of ARIA. National Security Research Institute (NSRI). January, 2005. http://www.nsri.re.kr/ARIA/index-e.html.
29. SEED Algorithm Specification. Korea Information Security Agency. 2005. https:// tools. ietf.org / draft-park-seed-01.
30. Lu J., Ji W., Hu L., Ding J., Pyshkin A., Weinmann R. Analysis of the SMS4 Block Cipher. Procedings of ACISP'07. LNCS 4586, 2007. P. 306 - 318.
31. Винберг Э.Б., Шварцман О.В. Дискретные группы движений пространств постоянной кривизны. //Итоги науки и техники. Современные проблемы математики. Фундаментальные направления. Т. 29. М. 1988. С. 147 - 259.
32. Малышев Ф.М. О замкнутых подмножествах корней и когомологиях регулярных подалгебр. //Математический сборник. 1977. Т. 104(146), № 1(9). С. 140 - 150.
33. Бурбаки Н. Группы и алгебры Ли. М.: Мир, 1972. 336 с.
34. Morgado I. Note on quasi-orders, partial orders and orders. //Notes comuus mat. 1972. № 43. P. 31 - 40.
35. Krishnamurthy. On the number of topologies on a finite set. //Amer. Math. Monthly. 1966. V. 73. P. 154 - 157.
36. Толпыго А.К. О когомологиях параболических алгебр Ли. //Математические заметки. 1972. Т. 12, № 3. С. 251 - 255.
37. Лидл Р., Нидеррайтер Г. Конечные поля: В 2-х томах. М.: Мир, 1988. 822 с.
38. Лупанов О.Б. Введение в математическую логику. Конспект лекций. //М.: Мех -мат МГУ им. М.В. Ломоносова. 2007. 199 с.
39. Воробьёв Н.Н. Числа Фибоначчи. М.: Наука, 1978. 144 с.
REFERENCES
1. Kostrikin, A. I. & Manin, Yu. I. 1986, "Lineinaya algebra i geometriya" (Russian) [Linear algebra and geometry] Second edition. "Nauka", Moscow, 304 pp.
2. Kon, P. 1968, "Universal'naya algebra" (Russian) [Universal algebra] Translated from the English by T. M. Baranovic. Edited by A. G. Kurosh "MIR", Moscow 351 pp.
3. Veblen, O. 1928, "Differential invariants and geometry" , Atti del Congr., Int. Mat., Bologna.
4. Kirillov, A. A. 1980, "Invariant operators over geometric quantities" (Russian) Current problems in mathematics, Vol. 16 (Russian), Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i Tekhn. Informatsii, Moscow, pp. 3-29, 228.
5. Malyshev, F. M. 1980, "Simpletsialnye system of linear equations" , Algebra, Moscow, Moscow University Press, pp. 53-56.
6. Kartesi, F. 1980, "Vvedenie v konechnye geometrii" (Russian) [Introduction to finite geometries] Translated from the English by F. L. Varpahovskii and A. S. Solodovnikov.,
"Nauka", Moscow, 320 pp.
7. Malyshev, F. M. 2008, "Generating sets of elements of recurrent sequences", Tr. discr. Mat., Fizmatlit, Moscow, vol. 11, № 2, pp. 86 - 111.
8. Malyshev, F. M. 2011, "Bases of the set of integers with respect to multi-shift operations" , Mat. Issues. kriptogr., vol. 2, no. 1, pp. 29-73.
9. Malyshev, F. M. 2012, "Metric properties of the nested set of integers into a cylinder", Mat. Issues. kriptogr., vol. 3, no. 3, pp. 57-79.
10. Delone, B. N. & Sandakova, N. N. 1961, "Theory of stereohedra" (Russian) Trudy Mat. Inst. Steklov., vol. 64, pp. 28—51.
11. Wolfram, S. 1988, "Cellular Automaton Supercomputing" , In High-Speed Computing. University of Illinois Press., pp. 40-48.
12. Malyshev, F. M. & Kutyreva, E. V. 2006, "On the distribution of the number of ones in a Boolean Pascal's triangle" (Russian) Diskret. Mat., vol. 18, no. 2, pp. 123-131; translation in Discrete Math. Appl., vol. 16 (2006), no. 3, pp. 271—279.
13. Malyshev, F. M. & Tarakanov, V. E. 2001, "On (v,k)-configurations" (Russian) Mat. Sb., vol. 192, no. 9, pp. 85-108; translation in Sb. Math., vol. 192 (2001), no. 9-10, pp. 1341—1364.
14. Holl, M. 1970, "Kombinatorika" (Russian) [Combinatorial theory] Translated from the English by S. A. Shirokova. Edited by A. O. Gel'fond and V. E. Tarakanov, "MIR", Moscow, 424 pp.
15. Harary, F. 1973, "Teoriya grafov" (Russian) [Graph theory] Translated from the English by V. P. Kozyrev. Edited by G. P. Gavrilov., "MIR", Moscow, 300 pp.
16. Cameron, Peter J. & van Lint, Jacobus Hendricus 1980, "Teoriya grafov, teoriya kodirovaniya i blok-skhemy" (Russian) [Graph theory, coding theory and block designs] Translated from the English by B. S. Steckin. "Nauka", Moscow, 140 pp.
17. Sachkov, V. N. 1977, "Kombinatornye metody diskretnoi matematiki" (Russian) [Combinatorial methods of discrete mathematics], "Nauka", Moscow, 320 pp.
18. Tarakanov, V. E. 1985, "Kombinatornye zadachi i (0,1)-matritsy" (Russian) [Combinatorial problems and (0,1)-matrices], Problemy Nauki i Tekhnicheskogo Progressa. [Problems of Science and Technological Progress], "Nauka", Moscow, 192 pp.
19. Malyshev, F. M. & Frolov, A. A. 2012, "Classification of (v,3)-configurations", Translation of Mat. Zametki, vol. 91, no. 5, pp. 741—749. Math. Notes, vol. 91 (2012), no. 5-6, pp. 689—696.
20. Trishin, A. E. 2004, "Classification circulant (v, 5)-matrices" , Review of Applied and Industrial Mathematics, vol. 11, № 2. pp. 258 - 259.
21. Frolov, A. A. 2008, "Classification of indecomposable abelian (v,5)-groups" (Russian) Diskret. Mat., vol. 20, no. 1, pp. 94-108; translation in Discrete Math. Appl., vol. 18, no. 1, pp. 99—114.
22. Broslavsky, M. V. 2010, "Examples of (v, fci, k2)-configurations" Thesis. Moscow, v/ch 33965 (Russian).
23. Nikulin, V. V. & Shafarevich, I. R. 1983, "Geometrii i gruppy" (Russian) [Geometries and groups], "Nauka", Moscow, 240 pp.
24. Ryshkov, S. S. & Baranovskii, E. P. 1979, "Classical methods of the theory of lattice packings" (Russian) Uspekhi Mat. Nauk, vol. 34, no. 4(208), pp. 3--63, 256.
25. Kurakin, V. L., Kuzmin, A. S., Mikhalev, A. V. & Nechaev, A. A. 1995, "Linear recurring sequences over rings and modules", Algebra, 2. J. Math. Sci., vol. 76, №. 6, pp. 2793 - 2915.
26. Kuzmin, A. S.; Kurakin, V. L.; Nechaev, A. A. 1997, "Pseudorandom and polylinear sequences" (Russian) Proceedings in discrete mathematics, Tr. Diskretn. Mat., Na-uchn. Izd. TVP, Moscow, vol. 1, pp. 139—202.
27. National Institute of Standards and Technology, U.S.A., Advanced Encryption Standard (AES) FIPS - 197, 2001.
28. Specification of ARIA. National Security Research Institute (NSRI). January, 2005. http: //www.nsri.re.kr/ARIA/index-e.html.
29. SEED Algorithm Specification. Korea Information Security Agency. 2005. https:// tools.ietf.org/draft-park-seed-01.
30. Lu J., Ji W., Hu L., Ding J., Pyshkin A., Weinmann R. Analysis of the SMS4 Block Cipher. Procedings of ACISP'07. LNCS 4586, 2007. P. 306 - 318.
31. Vinberg, E. B. & Shvartsman, O. V. 1988, "Discrete groups of motions of spaces of constant curvature" (Russian), Current problems in mathematics. Fundamental directions, Itogi Nauki i Tekhniki, Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i Tekhn. Inform., Moscow, vol. 29, pp. 147 - 259.
32. Malyshev, F. M. 1977, "Closed subsets of roots and the cohomology of regular subalgebras" (Russian), Mat. Sb. (N.S.), vol. 104(146), no. 1, pp. 140—150, 176.
33. Burbaki, N. 1972, "Gruppy i algebry Li. Gruppy Kokstera i sistemy Titsa. Gruppy, porozhdennye otrazheniyami. Sistemy kornei." (Russian) [Lie groups and algebras. Coxeter groups and Tits systems. Groups generated by reflections. Root systems] Translated from the French by A. I. Kostrikin and A. N. Tjurin. Edited by A. I. Kostrikin. "MIR", Moscow, 334 pp.
34. Morgado, I. 1972, "Note on quasi-orders, partial orders and orders", Notes comuus mat., № 43, pp. 31 - 40.
35. Krishnamurthy, V. 1966, "On the number of topologies on a finite set" , Amer. Math. Monthly., vol. 73. pp. 154 - 157.
36. Tolpygo, A. K. 1972, "The cohomology of parabolic Lie algebras" (Russian) Mat. Zametki, vol. 12, № 3, pp. 251-255.
37. Lidl, R. & Niderraiter, G. 1988, "Konechnye polya. Tom 1" (Russian) [Finite fields. Vol. 1] Translated from the English by A. E. Zhukov and V. I. Petrov. Translation edited and with a preface by V. I. Nechaev. "MIR", Moscow, 430 pp.; Lidl, R. & Niderraiter, G. 1988, "Konechnye polya. Tom 2" (Russian) [Finite fields. Vol. 2] Translated from the English by A. E. Zhukov and V. I. Petrov. Translation edited by V. I. Nechaev. "MIR", Moscow, pp. 433—822.
38. Lupanov, O. B. 2007, "Introduction to mathematical logic. Lecture notes.", Moscow, Mekh - mat. MGU M. V. Lomonosov, 199 p.
39. Vorob'ev, N. N. 1978, "Chisla Fibonachchi" (Russian) [Fibonacci numbers] Fourth edition. Populyarnye Lektsii po Matematike [Popular Lectures on Mathematics], 6. "Nauka", Moscow, 142 pp.
Математический институт им. В. А. Стеклова РАН. Поступило 30.04.2015
