CC BY
76
ТЕОРЕТИЧЕСКАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА /
УДК 519.614
^1:10.15217/1ззп1684-8853.2016.1.2
МАТРИЦЫ МЕРСЕННА И АДАМАРА
Н. А. Балонин3, доктор техн. наук, профессор
М. Б. Сергеев3, доктор техн. наук, профессор
эСанкт-Петербургский государственный университет аэрокосмического приборостроения,
Санкт-Петербург, РФ
Цель: показать соответствие чисел Мерсенна, Ферма и прочих числовых последовательностей малоуровневым матрицам локального максимума детерминанта, гарантирующее как существование матриц, так и взаимное соответствие матричных портретов видам чисел: простых, пар простых чисел, степеней простых чисел. Методы: поиск матриц глобального и локального максимумов детерминанта ведется итерационной вычислительной процедурой, ориентированной на минимизацию максимального абсолютного значения элементов ортогональной матрицы. Результаты: разработана теория взаимного соответствия чисел и экстремальных матриц, упрощающая поиск неизвестных матриц обращением к классификации матриц по типам чисел. Предложено расширительное толкование гипотезы Адамара адекватными ей гипотезами о существовании семейств малоуровневых квазиортогональных матриц. Приведено доказательство существования матриц Мерсенна и, следствием, доказательство существования матриц Адамара. На основе арифметики конечных полей Галуа построены алгоритмы вычисления матриц Мерсенна, согласованные по результатам с оптимизационными процедурами повышения детерминанта и дополняемые ими. Практическая значимость: малоуровневые матрицы локального максимума детерминанта ортогональны и имеют непосредственное практическое значение для задач помехоустойчивого кодирования, сжатия и маскирования видеоинформации.
Ключевые слова — ортогональные матрицы, матрицы Мерсенна, матрицы Адамара, гипотеза Адамара, конечные поля Галуа, циклические матрицы, негациклические матрицы, бициклические матрицы, вычислительные алгоритмы.
Введение
Отношения чисел и математических объектов иной природы, таких как функции и матрицы, естественны, поскольку математика — единый предмет, разделенный на области. Выход на границы областей, как правило, лежит вне основного интереса отдельных научных направлений, и они развиваются автономно. Вместе с тем междисциплинарные исследования приносят свои плоды. Пример — гипотеза Таниямы. Любая эллиптическая кривая, заданная над полем рациональных чисел, характеризуется своими параметрами. Математический объект другой природы, модулярная форма, также дает некоторую последовательность чисел. В сентябре 1955 г. Ютака Танияма высказал предположение о том, что эллиптические кривые являются модулярами, т. е. нет такой эллиптической кривой, для которой не нашлась бы адекватная ей по набору параметров модулярная форма. Гипотезой заинтересовались, когда в 1985 г. Герхар Фрэй предположил, что она является обобщением Великой теоремы Ферма, поскольку любой контрпример к Великой теореме Ферма приводил в итоге к немодулярной эллиптической кривой. Гипотезу доказали, и эта история служит хорошей иллюстрацией продуктивности исследований в пограничных областях наук, когда устанавливаются связи между объектами совершенно различной, казалось бы, математической природы.
Интерес настоящей статьи связан с системами ортогональных векторов, далекими от числовых
последовательностей, объектов не геометрической природы. Ортогональные базисы описываются ортогональными матрицами или квазиортогональными матрицами — масштабированными ортогональными матрицами с максимальным элементом, равным по модулю единице.
Наше видение состоит в том, что с числовыми последовательностями соотносятся не все такие матрицы, а только экстремальные, у которых детерминант максимален. То, что экстремальные квазиортогональные матрицы имеют порядки, соответствующие элементам числовой последовательности 4г, где г — натуральное число, заметил еще Адамар [1]. Он высказал предположение, сходное с предположением Таниямы, о том, что экстремальные матрицы подобны «модулярам» для четных чисел вида 4г. Гипотеза раскрывает разнообразие систем чисел и ортогональных базисов, которое в пределах даже такого сравнительно узкого предположения способно дать почву для столетних изысканий матриц Адамара.
Предположение, высказанное нами и подкрепленное примерами матриц в работе [2], состоит в том, что семейства экстремальных матриц существуют не только на четных порядках 4г и 4г - 2, но и на нечетных порядках 4г - 1 и 4г - 3.
Приведенные числовые последовательности распадаются на вложенные в них последовательности простых чисел р, степеней простых чисел рт, где т — натуральное число, пар близких простых чисел р и р + 2, чисел Мерсенна 2 - 1, где Ъ — натуральное число, чисел Ферма 22 +1, где Ъ — неотрицательное целое число, и др. Согласно
предположению, на соответствующие подсемейства распадаются также и матрицы, подробно рассмотренные в работе [2].
Опираясь на отмеченное разнообразие последовательностей чисел, можно отойти от универсальных алгоритмов и кардинально ускорить поиск экстремальных матриц.
Интерпретация теоремы Эйлера — Ферма
В качестве иллюстрации тесной связи чисел и ортогональных матриц приведем нашу интерпретацию теоремы Эйлера — Ферма.
Одна из знаменитых теорем теории чисел связана с заменой в левой части уравнения для триады чисел Пифагора (пифагоровы тройки) квадратичной зависимости, типичной для уравнения круга, на линейную зависимость с получением p = x2 + у2. Жирар и Ферма заметили, что любое натуральное число представляется суммой не более чем четырех квадратов целых чисел. Ни одно число вида ^ - 1 не представимо в виде суммы двух квадратов. В 1749 г. Эйлер после семи лет работы и почти через сто лет после смерти Ферма доказал теорему о простых числах, согласно которой разложение числа p на сумму двух квадратов всегда возможно для чисел 4t - 3.
Форма представления ортогональных массивов (матриц Адамара) бициклом является специфической иллюстрацией теоремы Эйлера — Ферма для чисел p = п/4 = x2 + у2 (буквальная визуализация представления матрицы двумя квадратами). В популярной характеристике бинарных матриц в форме 8ВЯ(2р; г, в; X) разности г = p - x и в = p - у описывают число 1 или -1 матриц бицикла (просто проверяется по портретам матриц на рис. 1), X = р - х - у — четвертый параметр, равный числу сходных элементов в двух соседних строках.
Позднее результат развил Лагранж — теоремой о сумме четырех квадратов. Теорема утверждает, что всякое натуральное число можно представить в виде суммы четырех квадратов целых чисел. Она является основой поиска матриц Адамара в форме четырехблочного массива Гетхальса — Зейделя.
С нашей точки зрения, это структурный избыток, поскольку достаточно бицикла и двойной каймы. Этой форме соответствует разложение матрицы Мерсенна (на единицу меньшего порядка) в виде бицикла и одинарной каймы.
Важную для теоремы лемму о том, что произведение сумм четырех квадратов есть сумма четырех квадратов, доказал Эйлер, однако саму теорему доказал Лагранж в 1770 г. Доказательство теоремы представляет собой алгоритм, позволяющий находить разложение числа N с помощью 0(N2log2{N}) арифметических операций.
Матрицы Ферма и золотого сечения
Матрицы Ферма [2, 3] порядка 17 и золотого сечения [4, 5] порядка 10 приведены на рис. 2.
Простые числа Ферма ¥и являются классическими объектами теории чисел, известно пять таких чисел: 3, 5, 17, 257, 65 537. В 1796 г. Карл Фридрих Гаусс обнаружил неожиданную связь между ними и геометрическими фигурами, вписав в круг правильный семнадцатиугольник и доказав более общее положение, что если число сторон правильного многоугольника равно простому числу Ферма, то его можно построить при помощи циркуля и линейки.
Поскольку между числами и матрицами есть соответствие, то эта связь должна иметь продолжение у матриц Ферма. Матрицы Ферма — матрицы, построенные расширением регулярных матриц Адамара (суммы элементов которых по строкам и по столбцам равны) каймой. Это матрицы ортогонализуемые параметрически без изменения структуры выбором значений элементов каймы и отрицательных элементов. Первые три целочисленные матрицы Ферма порядков 3, 5, 17 — матрицы глобального максимума детерминанта - 1)1/2В, где В — ограничение на детерминант сверху, данное Гвидо Барба. Проверка оставшихся порядков 257, 65 537 не проведена, но предположение (гипотеза), что они отвечают экстремумам, в слабом варианте — локальным, логично вытекает из знаменитой теоремы Гаусса.
Рис. 1. Бициклические матрицы порядков п = 20 и 52: р = 5 и 13
Рис. 2. Матрицы Ферма порядка 17 и золотого сечения порядка 10
Другой пример не менее примечателен — в работе [5] описана матрица золотого сечения порядка 10, ее бициклическая форма построена на паре последовательностей ^, 1, -g, 1], [-1, 1, g, g, 1] с модулями элементов 1 и g. Условие ортогональности столбцов матрицы — уравнение золотого сечения g2 + g - 1 = 0. В решении фигурирует иррациональный корень g = 0,618..., известный в теории чисел Фибоначчи.
Экстремальные квазиортогональные матрицы
Для правильного восприятия материала приведем некоторые определения.
Определение 1. Ортогональной матрицей называется квадратная матрица A порядка п такая, что ATA = I, где I — единичная матрица.
Определение 2. Квазиортогональной матрицей называется квадратная матрица A порядка п с ограниченными по модулю элементами < 1 такая, что ATA = ю(п)!, где I — единичная матрица; ю(п) — весовая функция.
Определение 3. Локальный максимум ^е!;^) квазиортогональной матрицы достигнут, если любое достаточно малое по параметрам изменение матрицы не нарушает вида уравнения связи ATA = юПД при свободно заданном значении веса ю(п), но приводит к уменьшению модуля детерминанта.
Таким образом, допустимыми являются любые изменения параметров варьируемой матрицы, не нарушающие условие ортогональности ее столбцов. Весовая функция в задачах поиска условного максимума ^е!;^) при ограничении вида ATA = ю (пД заранее не задана, и сама является предметом поиска. В этом состоит важное их отличие от задачи поиска матриц Адамара с жестко заданным заранее весом ю(п) = п.
Квазиортогональные матрицы имеют следующие принципы деления их на семейства и подсемейства по аналогии с семействами и подсемействами чисел. Крупное семейство матриц порядков, равных числам некоторой достаточно общей числовой последовательности, отличается от прочих матриц количеством различных элементов (уровней). Например, матрицы Адамара с элементами 1 и -1 являются двухуровневыми матрицами, причем значения уровней не зависят от их порядков, функции уровней — константы.
Для экстремальных двухуровневых матриц один из уровней равен 1 (или -1), иначе значение детерминанта матрицы можно повысить элементарным масштабированием. Следовательно, варьируемая функция уровня семейства двухуровневых матриц — всего одна. К таким матрицам примыкают матрицы четных порядков, удвоение уровней наблюдается здесь лишь в силу
изменения знака при блоках в блочных конструкциях.
Подсемейства квазиортогональных матриц строятся на порядках, вложенных в основные числовые последовательности. Элементы подсемейств различаются между собой структурами. Простейшими структурами являются циклические, бициклические и негациклические матрицы. Если регулярная структура не реализуема, появляются более сложные структуры, содержащие в своем составе циклические, обратные циклические, негациклические и др. блоки составных матриц, а также кайму.
Стоит отметить также возможность выделения некоторой универсальной структуры для всех подсемейств семейства матриц, разрешимой для любого вложения. Например, для матриц Адамара такой является структура из четырех блоков. Отделять универсальные структуры от частных полезно, они различимы на всех порядках 4t, 4t - 1, 41 - 2, 4t - 3 4 + 1) основных семейств.
Семейство квазиортогональных матриц порядков 4t - 3 дисперсное, значения порядков вложенных матриц нарастают в нем неаддитивно, поскольку по своей конструкции матрицы являются специфичными производными от основных матриц. В данном семействе есть оригинальные подсемейства с нарастающими по величине пропусками порядков и особыми точками, где матриц не существует или их существование ставится под сомнение. Свойство числа 9 последовательности 4t - 3 распадаться на пару множителей 3 последовательности 4t - 1 находит свое отражение в блочной структуре матрицы Якобсталя (основе матрицы Белевича из семейства порядков 4t - 2). Для разделения сугубо различных между собой подсемейств удобно пользоваться разными обозначениями 4t - 3 (матрицы Зейделя) и 4t + 1 (матрицы Ферма) этих порядков.
Семейство двухуровневых матриц Адамара порядков 4t характеризуется глобальным максимумом детерминанта. Как уже оказалось, для матриц соседних семейств важно не то, что максимум глобальный — он может быть и локальным, а то, что число уровней минимально — два.
Осознав это, можно уйти от исследования матриц с глобальным максимумом детерминанта по причинам, рассмотренным в работе [2]. Матрицы, отличающиеся глобальным максимумом детерминанта на уравнении связи ATA = ю(п)!, соответствуют своему семейству чисел. На нечетных порядках 4t - 1 или 4t - 3 количество уровней не постоянно, оно растет почти линейно как (п + 1)/2. На порядках 3 и 5 имеются 2 и 3 уровня соответственно. На последующих порядках количество уровней отличается не более чем на 1 от оценочного. На четных порядках усложнения
матриц не наблюдаются, для 4t - 2 они являются трехуровневыми (иногда количество уровней больше). Особые точки на 4t - 2 — предмет отдельных исследований.
Порядок 13 специальный — это критическая точка; для него и далее для всех нечетных порядков количество уровней квазиортогональных матриц глобального максимума детерминанта значительно превышает приведенную выше линейную оценку. Переход от матриц с абсолютным условным экстремумом к матрицам локального максимума детерминанта принципиален.
Малое число уровней гарантирует лишь «слабый оптимум», но именно оно соответствует обширным семействам чисел. Отказ от поисков матриц глобального условного экстремума, характерного только для четных порядков, позволяет установить достаточно прочную связь между числами и квазиортогональными матрицами.
Неравенства Адамара
Неравенство Адамара 1. ^61^)1 < N1 х N2 х ...
х Nn, где Ni — квадратичная норма столбца.
Соответствующая теорема доказана Адамаром [1]. На множестве квазиортогональных матриц неравенство Адамара сводится к следующему.
Неравенство Адамара 2. ^01^)1 < пп/2.
Из ATA = ю(п)! следует, что |det(A)|2 = |ю (n)I| = = ю(п)п, максимальное значение ю(п) = п достижимо при равенстве 1 модулей всех элементов каждого столбца. Равенство модулей и ортогональность столбцов совокупно достижимы лишь на порядках 1, 2 и далее на 4^ На остальных порядках |det(A)| < пп/2.
Определение 4. Матрица Адамара — это квазиортогональная матрица H порядка п с элементами 1 и -1, для которой ю(п) = п.
Значение = пп/2, и, соответственно, для
нее достигается верхняя граница неравенства Адамара. Матрицы Адамара — это матрицы глобального максимума детерминанта, как условного, с учетом уравнения связи И^ = Ш, так и безусловного, верхняя граница справедлива и для неортогональных по столбцам матриц.
Гипотеза Адамара состоит в том, что соответствующие матрицы существуют на порядках 1, 2 и 4^
Определение матриц Адамара через равенство, фиксирующее ортогональность их столбцов, и возможные уровни 1 и -1, не эквивалентно их определению через абсолютный максимум детерминанта. Оптимизационная постановка шире, это обстоятельство важно отметить в связи с другими нецелочисленными двухуровневыми матрицами.
Определение через равенство приводит к определению матриц основного семейства через сово-
купность всех его подсемейств. Так как подсемейства неисчерпаемы, как и вложенные в базисные порядки разнообразные подсистемы чисел, определение неконструктивно — оно не способствует собиранию подсемейств в единое семейство в рамках основной и общей для них черты — иметь максимум детерминанта.
Матрицы Мерсенна
Квазиортогональные матрицы вложенных в 4t порядков п = 2к выделены еще Сильвестром ввиду их орнаментальных свойств — способности создавать сложный фрактальный узор совокупно с исключительно простым правилом инверсии (транспонированием с масштабированием).
Адамар нашел пару матриц с аналогичными свойствами на порядках 12 и 20, выходящих за пределы последовательности, и предложил расширить семейство до 4^ но не указал путь его пополнения.
Аналогично можно построить квазиортогональные матрицы порядков п = 2к - 1, вложенных в последовательность 4t - 1 и обладающих локальным максимумом детерминанта. Последовательность 2к - 1 называется последовательностью чисел Мерсенна, поэтому сопровождающие их матрицы названы матрицами Мерсенна [6].
Возможны два определения матриц порядков 4t - 1.
Определение 5. Матрица Мерсенна — это квазиортогональная матрица M порядка п с элементами а = 1 и -Ь, где Ь = —- для п = 2к - 1.
г+7 г
Эти матрицы существуют, алгоритмы их вычисления описаны в работах [2, 6, 7]. Заметим, что у матриц Мерсенна каждый второй порядок отличается тем, что один их уровень иррационален. Как и в случае с матрицами Адамара, матрицы Мерсенна найдены на порядках 11 и 19 [8], что позволило сформулировать гипотезу о существовании матриц с нужной функцией уровня на порядках 4t - 1 [9].
Определение 6. Матрица Мерсенна — это двухуровневая квазиортогональная матрица порядка 4t - 1, имеющая локальный максимум |det(M)| на уравнении MTM = ю(п)! при свободной правой
части ю(п), с уровнем Ь = —, согласованным
гг
с уровнем матриц чисел Мерсенна 2к - 1.
В отличие от матриц Адамара, отсутствие которых на соседних нечетных порядках необходимо еще доказать, какие-либо другие порядки, кроме 4t - 1, не включены, поскольку в них не содержится последовательность чисел Мерсенна.
Оптимизация при свободной правой части ю(п) существенно отличается от оптимизации при зажатом нормировании. Не получить решение
в таких условиях невозможно. Не все решения могут быть признаны матрицами Мерсенна, а только те, которые согласованы по функции уровня с матрицами Мерсенна в узком их смысле.
Функция уровня является основой классификации семейств квазиортогональных матриц и составляет дополнительный критерий отбора входящих в семейство матриц. Такой подход предлагается распространить на все семейства квазиортогональных матриц, связанных с вложенными числовыми последовательностями.
Задачи разрешимые и неразрешимые
В теории и практике разрешимых и неразрешимых задач хорошо известен пример системы линейных алгебраических уравнений (СЛАУ) Ax = Ь, где Ь — вектор правой части. Система считается разрешимой, если существует вектор x, при котором соблюдается тождество левой и правой частей этого уравнения.
Неразрешимая система называется несовместной.
Неразрешимую задачу можно формально «решить». Большое значение для систематизации решений неразрешимых задач матричной алгебры имеют работы Пенроуза, предложившего определения псевдорешения и псевдообратной матрицы, основанные на свойстве экстремальности.
Для решения приведенной задачи необходимо изменить ее формулировку на оптимизационную. Рассмотрим невязку левой и правой части линейного уравнения § = Ax - Ь. Поставим цель оптимизировать невязку в смысле минимума квадрата ее нормы ^^ = ||Ax - Ь||2.
Все обычные решения СЛАУ определяются вектором нулевых невязок, самым малым из возможных значений квадратичной нормы. Они являются также решениями оптимизационной задачи.
В отличие от исходной задачи точного решения СЛАУ, оптимизационная совместна при любом векторе правой части, поскольку при нежестких условиях на область поиска решения всегда есть некоторый минимум.
Следует отметить, что переход к оптимизационной трактовке переводит задачу решения формально неразрешимых задач к заведомо разрешимым.
Пенроуз предусмотрел минимизацию нормы самого решения как дополнительное условие, если основная оптимизация дает не одно решение, а множество. Так, менее ста лет назад в линейной алгебре появилось новое понятие: псевдорешение x = A+b, где A+ — псевдообратная матрица Пенроуза [10, 11].
Другой, более близкой рассматриваемой в данной статье задаче, является задача на разре-
шимость квадратичного уравнения с одной переменной x2 = Ь. Для Ь = 2 задача не разрешима, например, в целых числах или отношениях целых чисел. Вместе с тем геометрический объект, который уравнение описывает, — прямоугольный треугольник с катетами единичной длины — существует.
Для поиска такого «решения» нужна смена парадигмы. От равенства переходят к задаче минимизации невязки % = |x2 - Ь|, выражая x все более точно через значения частных сумм ряда. Иными словами, осмысленное решение формально неразрешимой задачи получено аккуратной аксиоматикой, приведшей к возникновению понятия иррационального числа.
Квадратичное ограничение MTM = ю(п)1 — матричное обобщение уравнения x2 = Ь. Поиск целочисленного решения при зажатой правой части, как это делается при ограничении ИН = nI, приводит к той же проблеме, что и в элементарном частном случае. Поступим иначе — будем искать экстремальные по детерминанту квазиортогональные матрицы определенных порядков 4t - 1, не зажимая условие в правой части, т. е. не назначая ю(п). Эта функция задается не априорно, а узнается апостериорно. После оптимизации из имеющихся экстремальных решений должно быть выбрано одно, согласованное с решением для числовой последовательности Мерсенна.
Это иной путь решения, повторяющий в некоторых деталях логику определения псевдообратных матриц по Пенроузу.
Смена парадигмы
Новый подход приводит к широкой программе исследований, в которой, в силу наличия различных числовых последовательностей и связей чисел с матрицами, возникают предположения и утверждения.
Мы утверждаем, что:
— числам Мерсенна соответствуют специальным образом определенные матрицы Мерсенна, числам Ферма — матрицы Ферма и т. п.;
— вложенность числовой последовательности чисел Мерсенна 2к - 1 в последовательности нечетных чисел 4t - 1 обусловливает существование обобщенных матриц Мерсенна, соответствующих более широкой области чисел. У матриц, как и у чисел, существует наследование признаков принадлежности к более широким семействам;
— семейства квазиортогональных матриц различаются инвариантами, в которые входят значения их элементов (уровни): все матрицы Мерсенна и обобщенные матрицы Мерсенна порядков 4t - 1 имеют два возможных значения
модулей уровней a = 1 и Ъ =-■=. Остальные
семейства квазиортогональных матриц также отличаются своими функциями уровней;
— несуществование квазиортогональных матриц на порядках, соответствующих некоторым числам определенной последовательности, означает их неэквивалентность друг другу по матрицам, и там, где для возникновения неэквивалентности нет основания, справедливы теоремы, аналогичные теореме Таниямы.
В последовательности чисел 4t - 1 нет пропусков. Это означает, что существуют все без исключения обобщенные матрицы Мерсенна. Заметим, что гипотезы о существовании всех матриц Мерсенна нечетных порядков 4t - 1 и матриц Адамара четных порядков 4t сходны. Следуя логике теоремы Таниямы, можно говорить о сопоставлении матриц Адамара и Мерсенна между собой по их числовым инвариантам (порядкам).
Иными словами, если существуют матрицы Мерсенна, то существуют и матрицы Адамара, и наоборот.
Тождество SBIBD
для матриц Мерсенна и Адамара
Для бинарных матриц порядков V количество элементов одного знака (пусть а = 1) в строке принято описывать параметром к. Параметр X равен числу элементов одного знака, встречающихся попарно в двух соседних строках или столбцах. Сочетание параметров {V, к, X}, которое принято называть симметричным блочным дизайном и обозначать устоявшейся аббревиатурой ЯВ1ВВ, предложено как средство поиска междисциплинарных связей.
Один и тот же ЯВ1ВВ могут иметь различные между собой математические объекты, столь же далекие, как числа и матрицы. Понятие «блок» в него пришло от графических задач с блоками, а симметрия напоминает о симметрии таких схем. Пример: матроид Фано — объект конечномерной геометрии, имеющий общий ЯВ1ВВ с матрицей Адамара порядка п = 8.
Все матрицы Адамара характеризует один и тот же ЯВ1ВВ {4Ь - 1, 2^ называемый адамаро-вым дизайном [12].
Если существует один объект какой-либо одной математической природы (блок, схема или таблица чисел) с ЯВ1ВВ {V, к, X}, то существуют и другие объекты, описываемые тем же самым ЯВ1ВВ. Этим свойством пользуются для нахождения особенно сложных матриц Адамара или сходных с ними трехуровневых конференц-матриц Белевича. Так была найдена матрица Белевича порядка п = 46 конструкции Матона [13].
В адамаровом дизайне {4Ь - 1, 2^ {} понятно все, кроме размера V = 4t - 1, не имеющего прямого отношения к порядку матрицы.
Заметим, что числа положительных элементов k и попарных соответствий элементов X рассчитываются на всю матрицу. Наиболее часто происхождение несогласованного с порядком матрицы числа v = 4t - 1 объясняется тем, что оно описывает порядок основы (core) нормализованной матрицы Адамара без ее каймы в предположении, что она не несет информационной нагрузки.
Числа 4t - 1 являются порядками обобщенных матриц Мерсенна, которые имеют два уровня (бинарны) и могут быть описаны SBIBD. Размер дизайна соответствует мерсеннову дизайну, поскольку в нем фигурирует порядок матриц Мерсенна. Покажем, что приведенный выше дизайн является общим для матриц Адамара и Мерсенна.
Параметры k, X связаны с коэффициентами квадратичного условия связи. Произведение двух соседних строк матрицы содержит X произведений aa, 2(k - X) произведений ab (k - X элементов a каждой из строк умножено на b), и остающиеся n - 2k + X произведений b2. Согласно ATA = ro(n)I, оно равно нулю, что дает уравнение (n - 2k + X) х х b2 - 2(k - X)ab + Xa2 = 0, которое будем называть характеристическим. Оно в сжатой форме выражает условие ортогональности бинарной по уровням матрицы.
После подстановки значений {n, k, X} = {4t - 1, 2t, t} характеристическое уравнение сводится к (t - 1)b2 - 2tba + ta2 = 0. Положительный корень
ь *
полинома левой части Ъ = является модуль-
t + л/1
ным уровнем матриц Мерсенна.
Следовательно, SBIBD — прямое параметрическое описание матриц Мерсенна порядков 4t - 1, отвечающее характеристическому уравнению для искомого варьируемого уровня. Если матрицы порядков 4t - 1 с иррациональными уровнями, называемые матрицами Мерсенна, существуют, то существуют и целочисленные матрицы Адамара. И наоборот: если существуют матрицы Адамара, то существуют и матрицы Мерсенна.
Существование матриц Мерсенна
Заметим, что в задачах определения существования решения не требуется уметь находить оптимальные матрицы. Важно указать на неразрешимое противоречие, которое возникает, если решения задачи нет.
Переход от целочисленных задач к задачам с иррациональными элементами описан выше, остается доказать существование матриц Мер-сенна, причем в облегченной постановке, когда они рассматриваются как результат оптимизации. Задача на оптимум не меняется для порядков, входящих в последовательность 4t - 1, она
одинаково формулируется для любого t, и нет причин выделять одну матрицу среди других, опираясь только на различие в значениях t. Хотя искомых матриц бесконечно много, для нахождения не самих матриц, а всего лишь функции модуля уровня в виде формул Ь = Ь(п) или Ь = Ь(Ь), не обязательно искать все такие матрицы.
Пусть матрица порядка п = 4t - 1 имеет уровни (о = 1, - Ь) при Ь < 1.
Значение Ь = b(t) удовлетворяет квадратичному условию связи МТМ = ю(п)1, т. е. это корень полинома второго порядка a2b2 + a2Ьa + a0a2 = 0. Для идентификации зависимости трех коэффициентов полинома a2, a2, a0 от порядка матрицы (а значит, и искомой формулы для корня) нам достаточно найти несколько таких матриц на порядках, все равно каких, поскольку они не отличаются и ничем не предпочтительны. В табл. 1 приведены найденные нами для порядков, равных первым числам Мерсенна п = 2и - 1, параметры матриц и полиномы, которым они удовлетворяют согласно условию МТМ = ю(п)1, отвечающих при свободно заданной правой части ю(п) локальному максимуму детерминанта. Они найдены не из уравнений, а строго в оптимизационной постановке, включая многие порядки п = 4t - 1 (в табл. 1 содержится только часть обработанного нами материала, для иллюстрации).
Таблицу можно продолжить, заметив, что для п = 4t - 1 все описанные ею полиномы являются частными случаями полинома (Ь - 1)Ь2 - 2tba + + ta2 = 0.
Отсюда, при уровне a = 1, имеем формулу для
Ъ =-=■, график этой зависимости приведен на
г+л/ г рис. 3.
Зависимость коэффициентов Ь матриц Мерсенна от порядка п не содержит особых точек, свидетельствующих об отсутствии матриц. Так как функция уровня монотонна и не имеет осо-
■ Таблица 1. Полиномы связи и значения уровней матриц Мерсенна
и Порядок п = 2и - 1 Полином Уровни
1 1 Ь = О Ь = О
2 3 2Ь - о = 0 Ь = а/2
3 7 Ь2 - 4оЬ + 2а2 = 0 Ь = (2--¡2 )а
4 15 3Ь2 - 8аЬ + 4о2 = 0 Ь = 2О/3
5 31 7Ь2 - 16ОЬ + 8О2 = 0 Ь = (8 - 2у[2)О/7
6 63 15 Ь2 - 32ОЬ + + 16О2 = 0 Ь = 4О/5
7 127 31Ь2 - 64ОЬ + +32О2=0 Ь = (32 - 472)о/31
8 255 63Ь2 - 128ОЬ + + 64О2=0 Ь = 8о/9
бых точек на области ее определения п = 4t - 1, отсюда следует вывод, что такая оптимизационная задача совместна всегда. В противном случае мы пришли бы к противоречию: уровень пред-вычислен, включая даже возможный тут иррациональный уровень, а матрицы нет. Это свидетельствовало бы о неоднородности такой задачи, а она, как нам известно, одинакова для всех порядков.
Итак, матрицы Мерсенна существуют для всей оси порядков вида п = 4t - 1.
Выводы из существования матриц Мерсенна
Выводы касаются не только порядков матриц Адамара, но и всей числовой оси — всех последовательностей чисел и всех квазиортогональных матриц. Выделенные числами экстремальные
Ь НН Н 1,0
0,9
0,8
0,7
0,6
0,5
0,4
0,3
0,2
0,1
Н Н Н Н
Н Н
Н
Н Н Н Н
Н Н
Н
Н
0 2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 36 38 40 42 44 46 48 50 52 54 56 58 60 62 п Рис. 3. Зависимость уровней матриц Мерсенна (М) и Адамара (Н) от порядка п
■ Таблица 2. Значения уровней и функции веса семейств матриц
Порядок матрицы n Матрица Возможные значения элементов матрицы Функция веса ю(я)
4t Адамара 1, -1 n
2t, 4t Белевича 1, -1, 0 n - 1
t, 2t, 3t, 4t Себерри (взвешенная) 1, -1, 0 n - k
4t - 1 Мерсенна г 1, Ь, где Ь = _ г +>/ í ((n + 1) + (n - 1)b2)/2 = 2t + (2t - 1)b2
4t - 2 Эйлера* í 1, -Ь, где Ь - .— г + 2t ((n + 2) + (n - 2)b2)/2 = 2t + (2t - 2)b2
4t - 3 Зейделя 1, -Ь, 1, где Ь = 1 - 21, <1 = — 1 + л/ п (n - 1)(1 + b2)/2 + d2 = 2(t - 1)(1 + b2) + d2
4t - 3 Ферма 1, -Ь, в, где q = п - 1 = 4и2, р = д , 2 п - р 2 и -1 1 Ь = 'р= 1 х , р 2 и +1 и л]пд - у/пи -1 1 в = —-=-х—= р 2и+1 1 + 4u2s2 = k + (q - k)b2 + s2, , Ч ~4<i О 2 где k =-1— = zu - и 2
* Для матрицы Эйлера четного порядка указаны значения двух блоков ее бицикла.
ортогональные базисы существуют, им отвечают как целочисленные, так и иррациональные матрицы.
К матрицам Мерсенна примыкают, например, матрицы Эйлера [2], дополняющие порядки 4к и 4к - 1 четными порядками 4к - 2, не кратными 4.
Порядки матриц Ферма 22 +1 погружены в более общее семейство чисел 22к + 1, на которые соответствующие матрицы можно распространить. Они вложены в 4t + 1 не прямо, а опосредованно. Более общее их описание состоит в том, что они соответствуют произведениям близких пар чисел 4t - 1 и 4t - 3 или (с точность до 1) взвешенным квадратам чисел, т. е. 4^ + 1. Порядки идут неравномерно 3, 5, 17, 35, 65, ..., среди них встречаются все числа Ферма 3, 5, 17, . Среди меньших на 1 чисел им соответствуют порядки регулярных матриц Адамара, для которых все суммы столбцов и строк равны друг другу.
Матрицы Ферма, Адамара, Мерсенна, Эйлера (соседствующие с ними матрицы Белевича и взвешенные матрицы) и Зейделя, описанные в работе [2], отвечают основным числовым системам для порядков п = 4t + 1, п = 4t, п = 4t - 1, п = 4t - 2, п = 4t - 3 соответственно. Матрицы Зейделя порядков п = 4t - 3 сопровождают матрицы Белевича порядков п = 4t - 2, это не экстремальные матрицы, а матрицы седловых точек. Они существуют не всегда, но если нет матрицы Зейделя, то нет и матрицы Белевича, и наоборот. Матриц Зейделя нет, если их порядок п = 4t - 3
не выразить суммой двух целых чисел. Это повторение взаимоотношений матриц Адамара порядков n = 4t и Мерсенна порядков n = 4t - 1.
Основная ветвь матриц описывается SBIBD {4t - 1, 2t, t}, включающим в себя непосредственно параметры матриц Мерсенна (табл. 2).
Примеры подсемейств матриц Мерсенна
Получение подсемейств матриц Мерсенна опирается на различие числовых последовательностей, входящих в n = 4t - 1. Эти нечетные числа, включая числа Мерсенна, распадаются на простые (или степени простых чисел) и прочие. Для вычисления матриц соответствующих порядков в первом случае естественно привлекать конечные поля Галуа. Второй случай сложнее, поскольку конечное поле не может быть использовано. Особняком стоят порядки, равные произведениям пар простых чисел n = p(p + 2). Близким соседством к степеням простого числа 2m отличаются и числа Мерсенна n = 2m - 1, поэтому для них существует процедура с использованием поля Галуа GF(2), хотя сами по себе числа Мерсенна могут быть простыми и составными.
Сказывается выделенность числовых последовательностей Мерсенна и Ферма, базовых для всех квазиортогональных матриц.
Расчеты в поле GF(2). Начнем примеры с этого случая. Матрицы, отвечающие порядкам чисел Мерсенна n = 2m - 1, отличает самая простая
структура — циклическая. Циклические матрицы находят, рассматривая их первую строку как выход динамической системы xk = Fxk_1 с компонентами вектора состояния в поле GF(2), F — матрица фробениусовой формы порядка т.
В имеющейся на этот счет обширной литературе свойственно подчеркивать необходимость адекватного выбора вектора начального состояния и параметров матрицы фробениусовой формы. От них, на самом деле, мало что зависит. Основной параметр здесь — порядок динамической системы т, а влияние каких-либо других чисел на вычислительный расчет означает их внутреннюю связь с числами Мерсенна, которой нет. Поэтому почти любой выбранный случайным образом вектор начального состояния и параметры динамической системы, определенные в поле GF(2), генерируют матрицу.
Итерационные процессы такого сорта хорошо известны в практике нахождения собственных векторов, теории цепей Маркова и т. п., когда вектор состояния стремится от некоторого почти произвольного начального состояния к главному собственному вектору матрицы системы. Конечное поле вносит свои коррективы, но п = 2т - 1 — максимальная длина генерируемой последовательности, после которой эволюции динамической системы утрачивают свое разнообразие. По истечении п тактов дискретная система может только воспроизвести тот же самый процесс, появляется период.
Заменяя в выходном сигнале 0 на -Ь, получаем первую строку циклической матрицы, генерируемую сдвиговым регистром. Заметим, что динамическая система тоже может быть реализована на сдвиговом регистре, и этот метод усиленно рекламируется, хотя он малопродуктивен для порядков вне основной зависимости. Кроме того, в литературе этот генератор не ассоциируют с матрицами Мерсенна, хотя он генерирует именно их.
Дополняя циклическую матрицу каймой, получим матрицу Адамара порядка Сильвестра п = 2т, на ней и концентрируется внимание. Это иной метод придания ортогональности циклическому массиву, не связанный с адаптацией положительного или отрицательного уровня.
Отсюда родом твиттер Мерсенна, описывающий блок в виде полосы верхних элементов матрицы Мерсенна шириною т, используемый для бинарного кодирования символов (кодов столбцов этой полосы).
Расчеты в поле GF(p). Выше была описана несложная, но большая динамическая система порядка т, теперь поле большое, и наступает черед упростить порядок системы до первого. Выход такой динамической системы первого порядка — показательная функция хХк (экспонента, для
краткости); от основания х и параметра X мало что зависит (противоположное означало бы связи внутри числовой системы, они почти произвольны).
Значения этой экспоненты непосредственно описывают индексы отрицательных элементов -Ь первой строки циклической матрицы Мерсенна.
Для большинства случаев подходит выбор х = 2 и Х = 1. Чтобы не выбирать с начальным условием, часто переходят к иному сорту комбинаторики, вычисляя степенные функции k2modp. Те значения к, которые совпадут с любыми такими квадратами (мы ищем пересечение множества индексов с множествами квадратов индексов), называются квадратичными вычетами. Им присваивается значение символа Лежандра, равное 1. Остальным индексам соответствуют отрицательные символы Лежандра — в нашем случае выгодно считать их равными -Ь. Стартовому значению к = 0 отвечает 1. Трудность состоит в том, что к сравнивается не с собственным квадратом, а со всеми полученными квадратами, возникает перебор. Так что метод экспонент, описанный выше, более прост. Не надо подбирать, сразу имеем нужный нам индекс.
Для генерации матриц Мерсенна, поскольку эти матрицы пока малоизвестны, метод этот никогда не применялся, он описывается нами впервые.
Расчет для пары простых чисел p, p + 2.
Поля Галуа размера п = р(р + 2) нет. Можно вычислить р значений xkmod(n) и q - р значений ykmod(n) с основаниями х = ymod(p), х = 0mod(p + 2), где у — примитивный элемент групп GF(p) и GF(p + 2), q = (п - 1)/2. Примитивный элемент — это любой элемент, показательная функция от которого обходит всю группу, такие элементы связаны с размерами группы и подбираются несложно, можно случайным поиском. Этот расчет отличается от предыдущего только тем, что индексы отрицательных элементов -Ь первой строки циклической матрицы Мерсенна генерируются совокупно двумя динамическими системами первого порядка.
Метод этот никогда не применялся для генерации матриц Мерсенна по той же причине, что и предыдущий, он описывается нами впервые.
Расчеты в поле GF(pm). В данном случае также рассчитываются две функции, содержащие сумму и разность двух «экспонент» +
аналогов тригонометрических фун-
X^к _
X
кций, косинуса и синуса (при равенстве, с точностью до знака, показателей, рассчитываемых в поле GF(p)). Бинарной последовательности или последовательности индексов в таком поле нет. Все элементы его имеют размер т, это векторы. Значения «парных символов Лежандра» рассчитаем сопоставлениями хХ0к с двумя указанными функциями. В этой удивительной математике
мало что зависит от второстепенных параметров, при выборе Х0 = Х1 = 1, Х2 = 0 «экспонента» генератора упрощается до хи, она сопоставляется на предмет пересечения с хи + 1, хи - 1.
Если экспонента пересекает функцию, то ставится 1, если нет, то -1, амплитудой отрицательного элемента заниматься пока рано. Отсюда получим две последовательности, для которых построим циклические матрицы А, В размера (п - 1)/2, п = рт.
С их помощью складывается бициклическая Г А В ^
форма (бицикл)
В1 -А1
охватываемая каи-
мой с элементами из -1 и 1 напротив соответствующих матриц, первый элемент каймы 1 (рис. 4).
На завершающей стадии расчета отрицательный элемент -1 замещается на уровень матрицы Мерсенна -Ь. У этого метода есть альтернатива, когда вместо матрицы Мерсенна рассчитывается негациклическая матрица Белевича четного порядка п = рт + 1. В данном случае нужна только одна последовательность (рис. 5). Она генерируется суммой экспоненты а = со своей степенью, т. е. функцией а + ап_1. Сопоставляемая с нею на предмет пересечения вторая функция построена на квадрате основания р = х2 в таком случае аддитивной добавкой в виде степени можно пренебречь, она не меняет расчет. Показатели Х1 = п - 1 (нечетное число) и Х2 = п (четное число) можно упростить, взяв первый параметр равным 1. Вторую функцию рассчитываем для мень-
Рис. 4. Циклическая и бициклическая матрицы Мерсенна порядка 19
Рис. 5. Негациклическая матрица порядка 20
шего количества (п - 1)/2 точек, остальные будут повторениями в силу ее четного показателя. Если сумма пересекает вторую функцию, то ставится -1, если нет, то 1, первое число последовательности равно 0.
Далее матрица разбивается на четыре блока разделением четных и нечетных строк и столбцов, верхние два блока А, В после добавления к А единичной матрицы образуют бицикл четного порядка — матрицу Адамара. После нормирования от нее отнимают кайму, начинается стадия вытеснения -1 уровнем матрицы Мерсенна -Ь.
Этот метод расчета базируется на работах [14, 15], не соотнесенных, впрочем, с расчетом матриц Мерсенна, т. е. этот метод расчета матриц Мерсенна также нов. Упоминается он потому, что иллюстрирует сложный вид, который могут принимать матрицы подсемейств, основанных на разных системах чисел.
Нет никакого поля. Случай порядков п = 4t - 1 максимально общий, в него входят все предыдущие порядки. Сложность формы матрицы Мерсенна ограничена — это бициклическая матрица Мерсенна с одной каймой. Следовательно, все разнообразие числовой системы не повышает сложность структуры в сравнении с максимально сложным случаем расчета в полях Галуа. Алгоритм поиска универсален и нами освещен отдельно в работе [16]. Его общность и безотносительность к виду числовой системы, в которую входят порядки искомых матриц, подтверждают высказанные в работе [17] положения.
Произведение матриц Мерсенна. В силу тождества ЯВШБ матриц Мерсенна М порядка # и Адамара Н порядка п имеет место тождество
Л
н =
.т ^
где e — вектор единичных элемен-
тов; С = -sign(M). СвоИством округлять отрицательные элементы матрицы Мерсенна до -1 обладает также произведение Скарпи [18] (Scarpic product)
Нгед - С X С -
1
с11е с21е
с11е с
с21е* С
„Т ^
т ^ (
1
с12е 1
с22е
„Т ^
с12е С
с22е* ТС
.т ^
1
clq е 1
c2q е
clq е
С
c2q е~
Т« _1(
Т ^
„Т ^
1 сд1е
ся1е С
^ ( 1 1 1 сд2е
Т ^
cq2e
Т® С
cqqe
_Т ^
, yCqqe 1 ^
//
где Т — матрица циклического сдвига в степени произведения индексов (£ - 1)(/ - 1). Конструкция
симметричная, сдвигать можно как строки, так и столбцы. Это аналог кронекерова произведения матриц Адамара, ориентированный на вложение друг в друга матриц Мерсенна, знаки элементов С оказывают влияние только на кайму.
Итоговую матрицу Адамара порядка щ, q — простое число, можно, в свою очередь, представить в виде матрицы Мерсенна размера щ - 1 и продолжить квадрирование. Матричная степенная функция дает связанные между собой пары матриц Мерсенна и Адамара новых порядков по отношению к матрицам, вычисляемым выше. Произведение Скарпи известно применительно к матрицам Адамара [18], первое применение к матрицам Мерсенна с поднятием негативного уровня до -1 описано в работе [19].
Некоторые рекомендации по исследованиям. Несмотря на обилие литературы по полям Галуа, а может быть, ввиду этого, найти конкретное описание операции, служащей для вычисления показательных функций, сложно. Правило сложения и вычитания векторов такое же, как и в обычной векторной алгебре. Операция умножения в полиномиальной арифметике полей Галуа основана на свертке, которая дает примерно вдвое (менее на 1, чем вдвое) больше коэффициентов, чем нужно элементу поля.
Нередуцируемый полином, с помощью которого образуется поле GF(pm), по сути, представляет собой обратную связь, с помощью которой к т коэффициентам младшей части полинома произведения прибавляются старшие.
Чаще всего это хт = вх1 + г, при 1 = 1 ко всем т младшим коэффициентам свертки прибавляются все старшие с множителями в, г за исключением крайних членов, к младшему коэффициенту произведения не дотягивается ветвь с весом в, к старшему коэффициенту — ветвь с весом г.
При 1 > 1 в этом алгоритме возникают поправки, описываемые следующей вычислительной схемой для векторов C = AB: на начальной стадии C = ^пу^, B), это обычное произведение коэффициентов полиномов, поправки формируем в цикле для индекса 0<г< т: с = ОД;
И (г < т - 1) {с + = г * ^т + г];
(г < 1 - 1) с + = г * в * ЭД2 * т - 1 + г]}; (г > 1 - 1) {с + = в * ^т + г - 1];
И (г < 2 * 1 - 1) с + = в * в * ЭД2 * (т - 1) + г])};
ОД = с%р.
Схема полиномиального умножения напоминает нейронную, вспомогательный полином дает веса обратных связей, желательно, чтобы большую часть ветвей ликвидировали нулевые коэффициенты. Потребность в в-ветви отпадает совсем для GF(p2), р — нечетное простое, произведение пары чисел (а, Ь)(с, 1) = (ас - гЬ1), (а1 + Ьс). Это поле сходно с полем комплексных чисел, где -г — ана-
■ Таблица 3. Параметры неприводимого полинома
р т 1 в г р т 1 в г р т 1 в г
2 2 1 1 1 7 3 1 0 2 19 3 1 0 2
2 3 1 1 1 7 4 1 1 3 19 4 1 1 1
2 4 1 1 1 7 5 1 1 3 19 5 1 1 3
2 5 2 1 1 7 6 1 0 3 23 3 1 1 4
2 6 1 1 1 7 7 1 1 1 23 4 1 1 3
2 7 1 1 1 7 8 1 1 1 23 5 1 1 2
2 8 5 1 1 7 9 1 0 2 29 3 1 1 1
3 3 1 1 1 7 10 1 2 1 29 4 1 1 1
3 4 1 1 1 11 3 1 1 3 31 3 1 3
3 5 1 1 1 11 4 1 1 6 31 4 1 1 1
3 6 1 1 1 11 5 1 1 1 37 3 1 2
3 7 2 1 2 11 6 1 1 1 37 4 1 1 1
3 8 2 1 1 13 3 1 0 2 41 3 1 2
3 9 5 1 1 13 4 1 0 2 41 4 1 1 7
5 3 1 1 1 13 5 1 1 1 47 3 1 1 1
5 4 1 1 1 13 6 1 0 2 47 4 1 1 1
5 5 1 1 1 17 3 1 1 2 53 3 1 1 4
5 6 1 1 3 17 4 1 0 3 53 4 1 1 2
5 7 1 1 2 17 5 1 1 6 57 3 1 1 8
5 8 1 0 2 17 6 1 1 4 57 4 1 1 5
лог -1 (квадрат невычета). Параметр г = 1 (при р + 1 кратно 4) или г = 3 (при р + 1 кратно 6), в остальных случаях г = 2. Для более сложных полей параметры полинома приведены в табл. 3.
Заключение
Описав конкретные методы нахождения матриц Мерсенна, теперь позволим себе несколько фраз об общей философии рассматриваемого нами подхода. Достаточно очевидно, что матрицы Адамара — это фрактальный объект (его сравнивают с треугольником Серпинского), так же, как и все прочие такие матрицы. Мы показали, что матрицы могут быть иррациональными. Такой подход преимущественен с точки зрения меньших сомнений в существовании искомых матриц. Нет матриц — нет и соответствующих им чисел, а они есть, такая привязка дает существенные гарантии и позволяет по-новому взглянуть на старую проблему поиска целочисленных решений. Гипотеза Адамара, как и прочие сходные с ней гипотезы, уступает в своей сложности Великой теореме Ферма. Их проверка не должна быть столь же замысловатой.
В конечном поле показательная функция заметает собой все пространство и играет роль спирали, пронизывающей каждую его точку
без пересечения, что свойственно моделям детерминированного хаоса. Таковы решения некоторых нелинейных дифференциальных уравнений в бесконечномерном трехмерном пространстве. 3Б нужно, чтобы интегральной кривой было место, где разместиться без самопересечений. Интегральная кривая (странный аттрактор) прошивает любую точку заполняемого ею объема один раз. В конечных полях происходит нечто аналогичное. «Аттракторы» динамических систем с пространством состояния в конечном поле образованы степенями примитивного элемента мультипликативной циклической группы (или подгруппы), выступающего в качестве начального условия показательной функции. Системы просты, сложность их поведения содержится в логике модульной или полиномиальной арифметики.
Не забываем и об оптимизируемом таким движением квадратичном критерии — детерминанте. Задача в любом случае — квадратичная. Квазиортогональные матрицы глобального максимума детерминанта нечетного порядка увеличиваются в размерах путем бифуркации их уровней, причем есть критическая точка — порядок 13. Матрицы Адамара — островные области, где ни количество уровней, ни сами эти уровни не меняются с ростом порядка.
Вся числовая система связана с малоуровневы-ми квазиортогональными матрицами. Матрицы высоких порядков (см. рис. 3 и табл. 3) при увеличении их размера все менее отличаются друг от друга и от матриц Адамара. Варьируемый отрицательный уровень позволяет матрице Мерсенна
Литература
1. Hadamard J. Résolution d'une Question Relative aux Déterminants// Bulletin des Sciences Mathématiques. 1893. Vol. 17. P. 240-246.
2. Балонин Н. А., Сергеев М. Б. Матрицы локального максимума детерминанта // Информационно-управляющие системы. 2014. № 1(68). С. 2-15.
3. Балонин Н. А., Сергеев М. Б., Мироновский Л. А. Вычисление матриц Адамара — Ферма // Информационно-управляющие системы. 2012. № 6(61). С. 90-93.
4. Балонин Н. А., Сергеев М. Б. Матрица золотого сечения G10 // Информационно-управляющие системы. 2013. № 6(67). С. 2-5.
5. Balonin N. A., Vostrikov A. A., Sergeev M. B. Two-Circulant Golden Ratio Matrices // Информационно-управляющие системы. 2014. № 5(72). С. 5-11.
6. Балонин Н. А., Сергеев М. Б., Мироновский Л. А. Вычисление матриц Адамара—Мерсенна // Информационно-управляющие системы. 2012. № 5(60). С. 92-94.
удерживать ортогональность столбцов, причем с ростом порядка элемент -b стремится к -1.
Даже если читатель не согласен с рядом выдвинутых здесь положении или затрудняется их проверить самостоятельно, все же, согласитесь, это полезные примеры познания чисел и матриц в их взаимосвязи, имеющие перспективы в теории и практике вычисления экстремальных матриц ортогональных базисов.
Благодарности
Наше исследование циклических, бицикли-ческих, негациклических структур экстремальных матриц (называемых ради большеи краткости критскими [20]) в том виде, как оно изложено, невозможно было бы без деиственнои помощи и совета профессоров Дженифер Себерри (Jennifer Seberry) и Драгомира Джоковича (Dragomir Bokovic).
Дж. Себбери и Д. Джокович своими интересными работами и творчеством внесли большои вклад в создание алгоритмов поиска экстремальных квазиортогональных матриц с использованием полеИ Галуа.
В отношении доказательства гипотезы Адамара Дж. Себерри поддерживает ту часть утверждения, которая констатирует эквивалентность матриц Мерсенна и Адамара. Согласно более осторожному подходу, если нет матрицы Адамара, то нет и матрицы Мерсенна в том первом ее определении, где она задана равенством и сопоставляется с матрицеи Адамара по системе совместных числовых инвариантов [21].
7. Балонин Ю. Н. Программный комплекс MMatrix-2 и найденные им М-матрицы // Вестник компьютерных и информационных технологий. 2013. № 10(112). С. 58-64.
8. Балонин Н. А. О существовании матриц Мерсенна 11-го и 19-го порядков // Информационно-управляющие системы. 2013. № 2(63). С. 89-90.
9. Сергеев А. М. Обобщенные матрицы Мерсенна и гипотеза Балонина // Автоматика и вычислительная техника. 2014. № 4. С. 35-43.
10. Bellman R. Introduction to Matrix Analysis. — Philadelphia: SIAM, 1997. — 395 p.
11. Воеводин В. В., Кузнецов Ю. А. Матрицы и вычисления. — М.: Наука. Гл. ред. физ.-мат. лит., 1984. — 320 с.
12. Handbook of Combinatorial Designs. Second Edition (Discrete Mathematics and its Applications). 2nd Ed. / Charles J. Colbourn, Jeffrey H. Dinitz Ed. — Chapman and Hall, 2006. — 1000 p.
13. Balonin N. A., Seberry J. A Review and New Symmetric Conference Matrices // Информационно-управляющие системы. 2014. № 4(71). С. 2-7.
14. Balonin N. A., Djokovic D. Z. Negaperiodic Golay Pairs and Hadamard Matrices // Информационно-управляющие системы. 2015. № 5(78). С. 2-17. doi:10.15217/issn1684-8853.2015.5.2
15. Балонин Н. А., Джокович Д. Ж. Симметрия дву-циклических матриц Адамара и периодические пары Голея // Информационно-управляющие системы. 2015. № 3(76). С. 2-16. doi:10.15217/ issn1684-8853.2015.3.16
16. Балонин Н. А., Сергеев М. Б. О значении матриц начального приближения в алгоритме поиска обобщенных взвешенных матриц глобального и локального максимума детерминанта // Информационно-управляющие системы. 2015. № 6(79). С. 2-9. doi:10.15217/issn1684-8853.2015.6.2
17. Балонин Н. А., Сергеев М. Б. К вопросу существования матриц Мерсенна и Адамара // Информационно-управляющие системы. 2013. № 5(66). С. 2-8.
18. Scarpis U. Sui Determinanti di Valore Massimo// Rendiconti della R. Istituto Lombardo di Scienze e Lettere. 1898. Vol. 31. P. 1441-1446.
19. Балонин Н. А., Балонин Ю. Н., Сергеев М. Б. Вычисление матриц Мерсенна и Адамара методом Скарпи // Вестник информационных технологии, механики и оптики. 2014. № 3. С. 104112.
20. Balonin N. A., Seberry J. Remarks on Extremal and Maximum Determinant Matrices with Real Entries < 1 // Информационно-управляющие системы. 2014. № 5(71). С. 2-4.
21. Seberry J., Balonin N. A. Equivalence of the Existence of Hadamard Matrices and Cretan(4i-1,2)-Mer-senne Matrices. http://arxiv.org/abs/1501.07012v1. (дата обращения: 20.12.2015).
UDC 519.614
doi:10.15217/issn1684-8853.2016.1.2 Mersenne and Hadamard Matrices
Balonin N. A.a, Dr. Sc., Tech., Professor, [email protected] Sergeev M. B.a, Dr. Sc., Tech., Professor, [email protected]
aSaint-Petersburg State University of Aerospace Instrumentation, 67, B. Morskaia St., 190000, Saint-Petersburg, Russian Federation
Purpose: The goal of the paper is to show the correspondence of Mersenne numbers, Fermat numbers and numbers of other numerical sequences to multilevel matrices of local maximum determinant, which would guarantee both the existence of the matrices and the mutual correspondence of the matrix portraits to various kinds of numbers such as prime numbers, prime pairs or prime powers. Methods: The search for global or local maximum determinant matrices is performed by an iterative computational procedure focused on the minimization of the maximum absolute values of the elements of an orthogonal matrix. Results: A theory of mutual correspondence between numbers and extremal matrices has been developed, which simplifies the search for unknown matrices, classifying the matrices by types of numbers. We propose a broader interpretation of Hadamard conjecture by adequate hypotheses about the existence of multilevel quasiorthogonal matrices. A proof is given for the existence of Mersenne matrices and, as a consequence, of Hadamard matrices, too. For the calculation of Mersenne matrices, we propose algorithms based on Galois finite field arithmetics. These algorithms are concordant by results with the optimization procedures of increasing the determinant, being complemented by them. Practical relevance: Multilevel local maximum determinant matrices are orthogonal and have a direct practical value for the problems of error-correcting coding, video compression and masking.
Keywords — Orthogonal Matrices, Mersenne Matrices, Hadamard Matrices, Hadamard Conjecture, Galois Finite Fields, Cyclic Matrices, Negacyclic Matrices, Bicirculant Matrices, Numerical Methods.
References
1. Hadamard J. Résolution d'une Question Relative aux Déterminants. Bulletin des Sciences Mathématiques, 1893, vol. 17, pp. 240-246 (In French).
2. Balonin N. A., Sergeev M. B. Local Maximum Determinant Matrices Informatsionno-upravliaiushchie sistemy [Information and Control Systems], 2014, no. 1(68), pp. 2-15 (In Russian).
3. Balonin N. A., Sergeev M. B., Mironovsky L. A. Calculation of Hadamard Fermat Matrices. Informatsionno-upravliai-ushchie sistemy [Information and Control Systems], 2012, no. 6(61), pp. 90-93 (In Russian).
4. Balonin N. A., Sergeev M. B. Matrix of Golden Ratio G10. Informatsionno-upravliaiushchie sistemy [Information and Control Systems], 2013, no. 6(67), pp. 2-5 (In Russian).
5. Balonin N. A., Vostrikov A. A., Sergeev M. B. Two-Cir-culant Golden Ratio Matrices. Informatsionno-upravliai-ushchie sistemy [Information and Control Systems], 2014, no. 5(72), pp. 5-11.
6. Balonin N. A., Sergeev M. B., Mironovsky L. A. Calculation of Hadamard-Mersenne Matrices. Informatsionno-upravli-aiushchie sistemy [Information and Control Systems], 2012, no. 5(60), pp. 92-94 (In Russian).
7. Balonin Yu. N. The Software Complex MMatrix-2 and Searched Minimax Matrices. Vestnik komp'iuternykh i in-formatsionnykh tekhnologii [Herald of Computer and Information Technologies], 2013, no. 10(112), pp. 58-64 (In Russian).
8. Balonin N. A. Existence of Mersenne Matrices of 11th and 19th Orders. Informatsionno-upravliaiushchie sistemy [Information and Control Systems], 2013, no. 2(63), pp. 89-90 (In Russian).
9. Sergeev A. M. Generalized Mersenne Matrices and Balo-nin's Conjecture. Avtomatika i vychislitel'naia tekhnika, 2014, vol. 48, no. 4, pp. 214-220 (In Russian).
10. Bellman R. Introduction to Matrix Analysis. Philadelphia, SIAM, 1997. 395 p.
11. Voevodin V. V., Kuznetsov Iu. A. Matritsy i vychisleniia [Matrices and Calculations]. Moscow, Nauka Publ., 1984, 320 p. (In Russian).
12. Handbook of Combinatorial Designs. Second Edition (Discrete Mathematics and its Applications). 2nd Ed. (Charles J. Colbourn, Jeffrey H. Dinitz Ed.). Chapman and Hall/CRC, 2006. 1000 p.
13. Balonin N. A., Seberry J. A Review and New Symmetric Conference Matrices. Informatsionno-upravliaiushchie
sistemy [Information and Control Systems], 2014, no. 4(71), pp. 2-7.
14. Balonin N. A., Djokovic D. Z. Negaperiodic Golay Pairs and Hadamard Matrices. Informatsionno-upravliaiushchie sistemy [Information and Control Systems], 2015, no. 5(78), pp. 2-17. doi:10.15217/issn1684-8853.2015.5.2
15. Balonin N. A., Djokovic D. Z. Symmetry of Two Circulant Hadamard Matrices and Periodic Golay Pairs. In-formatsionno-upravliaiushchie sistemy [Information and Control Systems], 2015, no. 3(76), pp. 2-16 (In Russian). doi:10.15217/issn1684-8853.2015.3.16
16. Balonin N. A., Sergeev M. B. Initial Approximation Matrices in Search for Generalized Weighted Matrices of Global or Local Maximum Determinant. Informatsionno-uprav-liaiushchie sistemy [Information and Control Systems], 2015, no. 6, pp. 2-9 (In Russian). doi:10.15217/issn1684-8853.2015.6.2
17. Balonin N. A., Sergeev M. B. On the Issue of Existence of Hadamard and Mersenne Matrices. Informatsionno-upravli-
aiushchie sistemy [Information and Control Systems], 2013, no. 5(66), pp. 2-8 (In Russian).
18. Scarpis U. Sui Determinanti di Valore Massimo. Rendi-conti della R. Istituto Lombardo di Scienze e Lettere, 1898, vol. 31, pp. 1441-1446 (In Italian).
19. Balonin N. A., Balonin Yu. N., Sergeev M. B. Mersenne and Hadamard Matrices Calculation by Scarpis Method. Vest-nik informatsionnykh tekhnologii, mekhaniki i optiki, 2014, no. 3, pp. 104-112 (In Russian).
20. Balonin N. A., Seberry J. Remarks on Extremal and Maximum Determinant Matrices with Moduli of Real Entries < 1. Informatsionno-upravliaiushchie sistemy [Information and Control Systems], 2014, no. 5(71), pp. 2-4.
21. Seberry J., Balonin N. A. Equivalence of the Existence of Hadamard Matrices and Cretan(4t-1,2)-Mersenne Matrices. Available at: http://arxiv.org/abs/1501.07012v1 (accessed 20 December 2015).
Научный журнал «ИНФОРМАЦИОННО-УПРАВЛЯЮЩИЕ СИСТЕМЫ» выходит каждые два месяца.
Стоимость годовой подписки (6 номеров) для подписчиков России — 4800 рублей,
для подписчиков стран СНГ — 5400 рублей, включая НДС 18%, таможенные и почтовые расходы.
Подписку на печатную версию журнала можно оформить в любом отделении связи по каталогу:
«Роспечать»: № 48060 — годовой индекс, № 15385 — полугодовой индекс,
а также через посредство подписных агентств:
«Северо-Западное агентство „Прессинформ"»
Санкт-Петербург, тел.: (812) 335-97-51, 337-23-05,
эл. почта: [email protected], [email protected],
сайт: http://www.pinform.spb.ru
«МК-Периодика» (РФ + 90 стран)
Москва, тел.: (495) 681-91-37, 681-87-47,
эл. почта: [email protected], сайт: http://www.periodicals.ru «Информнаука» (РФ + ближнее и дальнее зарубежье) Москва, тел.: (495) 787-38-73, эл. почта: [email protected], сайт: http://www.informnauka.com «Деловая пресса»
Москва, тел.: (495) 962-11-11, эл. почта: [email protected], сайт: http://delpress.ru/contacts.html «Коммерсант-Курьер»
Казань, тел.: (843) 291-09-99, 291-09-47, эл. почта: [email protected],
сайт: http://www.komcur.ru/contacts/kazan/
«Урал-Пресс» (филиалы в 40 городах РФ)
Сайт: http://www.ural-press.ru
«Идея» (Украина)
Сайт: http://idea.com.ua
«В^» (Узбекистан)
Сайт: http://btl.sk.uz/ru/cat17.html и др.
На электронную версию нашего журнала (все выпуски, годовая подписка, один выпуск, одна статья)
вы можете подписаться на сайтах НЭБ: http://elibrary.ru;
РУКОНТ: http://www.rucont.ru; ИВИС: http://www.ivis.ru/
Полнотекстовые версии журнала за 2002-2015 гг.
в свободном доступе на сайте журнала (http://www.i-us.ru),
НЭБ (http://www.elibrary.ru)
и Киберленинки (http://cyberleninka.ru/journal/n/informatsionno-upravlyayuschiesistemy).
