Вычисление матриц Адамара Ферма Текст научной статьи по специальности «Математика»

КРАТКИЕ СООБЩЕНИЯ X

УДК 519.614

ВЫЧИСЛЕНИЕ МАТРИЦ АДАМАРА - ФЕРМА

Н. А. Балонин,

доктор техн. наук, профессор, старший научный сотрудник М. Б. Сергеев,

доктор техн. наук, профессор, директор

НИИ информационно-управляющих систем Санкт-Петербургского национального исследовательского университета информационных технологий, механики и оптики Л. А. Мироновский, доктор техн. наук, профессор

Санкт-Петербургский государственный университет аэрокосмического приборостроения

Приведено определение обобщенных матриц Адамара, порядок которых отвечает числовой последовательности Ферма. Рассмотрены свойства матриц Адамара — Ферма, описан алгоритм их построения, приведены числовые примеры.

Ключевые слова — ортогональные матрицы, матрицы Адамара, матрицы Белевича, числа Ферма.

Введение

Решению проблемы поиска ортогональных матриц, близких по смыслу к матрицам Адамара, порядков, для которых последние не существуют, посвящены работы [1-5]. Один из подходов состоит в поиске ортогональных матриц, у которых элементы близки по абсолютной величине и принимают два или три различных значения — уровня. Будем называть такие матрицы двухуровневыми и трехуровневыми М-мат-рицами [2].

В теории чисел существуют хорошо известные последовательности чисел Мерсенна и Ферма. Последовательность Мерсенна задается формулой п = 2к _ 1 и начинается с чисел 1, 3, 5, 15, 31, ..., она принадлежит подмножеству чисел вида 4к - 1. Последовательность Ферма, определяемая соотношением п = 2 +1, начина-

ется с чисел 3, 5, 17, 257, 65537, 4294967297,

18446744073709551617, ... и принадлежит подмножеству чисел вида 4к + 1.

В работе авторов [1] предложен итерационный способ построения последовательности двухуровневых ортогональных матриц (они названы матрицами Адамара — Мерсенна), порядки которых равны числам Мерсенна. В его основе лежит аналогия с классическим способом построения матриц Адамара порядков п = 2к с помощью формулы Сильвестра

$2п =

Эп Эп

-Э„

(1)

где в качестве начального значения используется число Sl = 1.

В настоящей статье предлагается итерационная процедура построения последовательности трехуровневых ортогональных матриц, порядки которых равны числам Ферма, а также числам вида п = 2к + 1, где к — четное (за исключением к = 1): 3, 5, 17, 65, 257, 1025, ... .

Матрицы, порождаемые этой процедурой, будем называть матрицами Адамара — Ферма и обозначать Fn. Они обладают следующими свойствами:

— симметричны, ортогональны с тремя значениями элементов а = 1, -Ь (Ь < а), Ь < в < а;

— все элементы первых строки и столбца (и только они) равны в, кроме начального элемента, равного а.

Особо оговорим случай-исключение, матрицу Fз (к — нечетное число), когда значения Ь = в = 2а (превышают на старте значение а).

Таким образом, задача сводится к отысканию матриц с минимальной т-нормой на множестве ортогональных трехуровневых матриц порядков, равных числам последовательности Ферма.

Модифицированная формула Сильвестра

Пусть имеется матрица Адамара — Ферма Fn порядка п. Обозначим через Sn _ 1 симметричную

ХУ

■ Пьер Ферма, современник и друг математика Марена Мерсенна, был организатором и руководителем блестящего научного семинара, который посещали такие крупные ученые, как Декарт, Паскаль и др. Он широко известен благодаря так называемой теореме Ферма, трехсотлетние поиски доказательства которой создали целые отрасли математики, возросшие на еще более древней почве задач античности, идущих от великого Диофанта

матрицу, получаемую из матрицы Fn удалением ее первых строки и столбца. Модифицируем формулу удвоения порядка Сильвестра (1), заменив ее учет-верением порядка по правилу, описанному ниже.

Положение 1. Рассмотрим модифицированную формулу Сильвестра

,4и-

к* Сп-1 Эп-1 Эп-1 Эп-1

Эп—1 С* Сп-1 Эп-1 Эп-1

Эп—1 Эп-1 С* Сп-1 Эп-1

Сп-1 Эп-1 Эп-1 С* Эп-1

С* Эп —1 образована заменой

(2)

уровней а на _Ь и наоборот.

Полученная по формуле (2) матрица S4n _ 4 симметрична, но ее порядок четен и на единицу меньше порядка следующей матрицы Адамара — Ферма РАп _ 3. Для завершения рекурсивного перехода необходимо дополнительное окаймление матрицы (добавление строки и столбца). Важнейшим требованием является ортогональность матрицы, получаемой в результате окаймления.

Алгоритм построения матриц Адамара — Ферма

Для нахождения ортогонализирующего окаймления применим прием, описанный в работе [1].

Он основан на свойствах собственных чисел и собственных векторов блочных матриц.

Положение 2. Сформируем матрицу F4n _ 3 путем окаймления матрицы S4n - 4 (2) в следующем виде:

(—X е'

*4«-3 = с

, е ®4«-4 0

где X, e — соответственно собственное число и собственный вектор матрицы S4n - 4.

Полученная таким образом матрица будет симметричной и ортогональной, если начинать итерационный процесс с матрицы

Ъ =

а в в в в

в а -Ь -Ь -Ь

в -Ь а -Ь -Ь

в -Ь -Ь а -Ь

в -Ь -Ь -Ь а

(3)

Матрицу S4 получаем удалением ее первой строки и первого столбца («каймы»). Здесь а = -X — собственное число матрицы S4, взятое с обратным знаком; в — элементы соответствующего собственного вектора, причем Ь < в < а.

При п = 5, в частности, имеем Ь = в = 2а/3, в об-

д/гар—2/Р

и п-Ц щем случае Ь =------- а, в =

Я 2Я

р = п - 1. Справедливость положения 2 следует непосредственно из условия ортогональности.

Вырожденный случай-исключение Fз получается из F5 усечением той же структуры, но только вдвое (вследствие чего Ь = в = 2а):

а

в

-Ь

в а в —Ь а

Структура матрицы F5 и построенная по ней итерационно матрица Fl7 показаны на рис. 1, промежуточный уровень второй матрицы отвечает элементам отмеченного собственного вектора. Здесь белое поле — элемент матрицы вида а = 1, черное поле — элемент вида _Ь, серое поле — элемент каймы Ь < в < а.

■ Рис. 1. Портреты матриц Адамара — Ферма Р5, Р

б> * 17

Полузависимые значения уровней матриц являются корнями следующих алгебраических уравнений, называемых далее характеристическими:

ф - (п - q)a = 0, q2s2 — (р — 2^[р)а2 /4 = 0.

Уровни матриц Адамара — Мерсенна и Ада-мара — Ферма показаны на рис. 2, промежуточный уровень второй матрицы отвечает элементам собственного вектора симметричного вложения Я16.

Примеры характеристических уравнений для уровней, отвечающих условию ортогональности столбцов матрицы Адамара — Ферма, приведены в таблице.

При построении матриц Адамара — Мерсенна [1] собственному значению X = -а соответствует собственный вектор е, составленный из обоих элементов внутреннего блока (у матриц Адамара элементы собственного вектора равны 1). Строительный блок матрицы Адамара — Ферма отличается от них только тем, что собственный вектор содержит некоторые новые элементы Ь < в < а. При этом с ростом порядка уровни матриц не остаются постоянными, но их значения сближаются. Иными словами, элементы матриц Адамара — Ферма с ростом п стремятся к {1, -1}, т. е. в пределе они точно такие же, как и матриц Адамара.

Пример. Для матрицы Адамара — Ферма (3) первая итерация модифицированного алгоритма Сильвестра дает

■ Рис. 2. Уровни матриц Адамара — Мерсенна М^д и Адамара — Ферма Р17

■ Уравнения и значения уровней

к Матрица Уравнения Уровни

1 Рз Ь = 2а, в = 2а Ь = в = 2а

2 Рд ЗЬ = 2а, 32в2 = 4а2 Ь = 2а/3, в = 2а/3

4 Р17 10 Ь = 7а, 102в2 = 66а2 Ь = 7а/10, s = 4&&а /10

6 Р65 36Ь = 29а, 362в2 = 1036а2 Ь = 29а/36, s = л/1036а / 36

8 Р257 136Ь=121а, 1362в2 = 16440а2 Ь = 121а/136, s = л/16440а/136

■ Рис. 3. График уровней элементов и портрет матрицы Адамара — Ферма Р257

а —Ь —Ь —Ь —Ь а а а

—Ь а —Ь —Ь , э4 = 4 а —Ь а а

—Ь —Ь а —Ь а а —Ь а

—Ь —Ь —Ь а а а а —Ь

84 =

На их основе расширенный блок следующей матрицы будет представлен в виде

-Ь а а а а -Ь-Ь-Ь а -Ь-Ь-Ь а -Ь-Ь-Ь а -Ь а а -Ь а -Ь-Ь-Ь а -Ь-Ь-Ь а -Ь-Ь а а -Ь а -Ь-Ь а -Ь-Ь-Ь а -Ь-Ь-Ь а -Ь а а а -Ь-Ь-Ь-Ь а -Ь-Ь-Ь а -Ь-Ь-Ь а а -Ь-Ь-Ь-Ь а а а а -Ь-Ь-Ь а -Ь-Ь-Ь -Ь а -Ь-Ь а -Ь а а -Ь а -Ь-Ь-Ь а -Ь-Ь -Ь-Ь а -Ь а а -Ь а -Ь-Ь а -Ь-Ь-Ь а -Ь -Ь -Ь -Ь а а а а -Ь -Ь -Ь -Ь а -Ь -Ь -Ь а а -Ь -Ь -Ь а -Ь -Ь -Ь -Ь а а а а -Ь -Ь -Ь -Ь а -Ь-Ь-Ь а -Ь-Ь а -Ь а а -Ь а -Ь-Ь -Ь-Ь а -Ь-Ь-Ь а -Ь а а -Ь а -Ь-Ь а -Ь -Ь-Ь-Ь а -Ь-Ь-Ь а а а а -Ь-Ь-Ь-Ь а а -Ь-Ь-Ь а -Ь-Ь-Ь а -Ь-Ь-Ь-Ь а а а -Ь а -Ь-Ь-Ь а -Ь-Ь-Ь а -Ь-Ь а -Ь а а -Ь-Ь а -Ь-Ь-Ь а -Ь-Ь-Ь а -Ь а а -Ь а

816=

-Ь-Ь-Ь а -Ь-Ь-Ь а -Ь-Ь-Ь а а а а -

V у

Среди собственных чисел 8^, рассчитанной с учетом а = 1 и Ь = 0,7, выберем X = -1, отвечающее уровню а = 1 этой матрицы. Соответствующий собственный вектор будет содержать 16 одинаковых элементов. Их значения получаем из условия ортогональности: в = 0,8124.

После формирования матрицы И7 через две итерации получим матрицу Р257 (рис. 3), порядок которой соответствует следующему числу Ферма. Интересно отметить, что все эти матрицы содержат на портретах стилизованную букву Ф.

Заключение

В процессе поиска ортогональных матриц нечетных порядков, близких по своим свойствам к матрицам Адамара, удалось выделить класс трехуровневых матриц, названных матрицами Адамара — Ферма, и разработать итерационный алгоритм их построения для порядков 2к + 1 при к = 1 и при всех четных к. Элементы этих матриц

с ростом k стремятся к значениям {1, -1}, как и у матриц Адамара.

С учетом ранее полученных итерационных процедур построения матриц Адамара, Белевича и Адамара — Мерсенна теперь порядки начальных

Литература

1. Балонин Н. А., Сергеев М. Б., Мироновский Л. А.

Вычисление матриц Адамара — Мерсенна // Ин-формационно-управляющие системы. 2012. № 5. С.92-94.

2. Балонин Н. А., Сергеев М. Б. М-матрицы // Ин-формационно-управляющие системы. 2011. № 1. С. 14-21.

3. Балонин Н. А., Мироновский Л. А. Матрицы Ада-мара нечетного порядка // Информационно-управ-ляющие системы. 2006. № 3. C. 46-50.

матриц охватывают все целые числа начала числовой оси. Известные в теории пропуски среди матриц Белевича [6] также восполняются матрицами, близкими к матрицам Адамара — Мерсенна или Адамара — Ферма, что определяет их значимость.

4. Балонин Ю. Н., Сергеев М. Б. М-матрица 22-го порядка // Информационно-управляющие системы. 2011. № 5. С. 87-90.

5. Шинтяков Д. В. Алгоритм поиска матриц Адамара нечетного порядка // Девятая научная сессия ГУАП: сб. докл. Ч. II. Технические науки. СПб.: ГУАП, 2006. C. 207-211.

6. Belevitch V. Theorem of 2n-terminal networks with application to conference telephony // Electr. Commun. 1950. Vol. 26. P. 231-244.

ПАМЯТКА ДЛЯ АВТОРОВ

Поступающие в редакцию статьи проходят обязательное рецензирование.

При наличии положительной рецензии статья рассматривается редакционной коллегией. Принятая в печать статья направляется автору для согласования редакторских правок. После согласования автор представляет в редакцию окончательный вариант текста статьи.

Процедуры согласования текста статьи могут осуществляться как непосредственно в редакции, так и по е-шаП ([email protected]).

При отклонении статьи редакция представляет автору мотивированное заключение и рецензию, при необходимости доработать статью — рецензию. Рукописи не возвращаются.

Редакция журнала напоминает, что ответственность за достоверность и точность рекламных материалов несут рекламодатели.

№ Б, 2012

йнФаР^ 93