Матрицы Адамара: идеальная ортогональность и коды Уолша

Неравенство Адамара и объем гиперокуба

Жак Адамар задался абстрактным вопросом: какое максимальное значение может принимать определитель квадратной матрицы, если элементы этой матрицы строго ограничены по модулю единицей (каждое число лежит в отрезке от -1 до +1)? Геометрически модуль определителя равен объему параллелепипеда, натянутого на векторы-строки матрицы. Адамар доказал знаменитое неравенство: этот объем никогда не превышает числа n^(n/2) (где n — размер матрицы). Этот абсолютный математический максимум достигается только в одном единственном случае: когда все векторы-строки состоят только из крайних значений (+1 и -1) и являются строго взаимно ортогональными (перпендикулярными). Матрицы, удовлетворяющие этому предельному условию, и были названы матрицами Адамара. Умножение матрицы Адамара H на свою транспонированную H^T всегда дает диагональную матрицу n*I.

Конструкция Сильвестра и тензорное произведение

Построить матрицу Адамара вручную довольно сложно. Английский математик Джеймс Сильвестр разработал гениальный рекурсивный алгоритм для создания таких матриц, если их размерность является степенью двойки. Конструкция начинается с базовой матрицы размера 2x2, содержащей три единицы и одну минус единицу. Чтобы получить матрицу Адамара следующего порядка (4x4), нужно взять матрицу 2x2 и заменить каждый ее элемент на всю эту матрицу целиком, умноженную на значение этого элемента (операция Кронекерова тензорного произведения). Этот элегантный фрактальный процесс позволяет компьютерам мгновенно генерировать ортогональные матрицы огромных размеров (например, 1024x1024), которые гарантированно будут удовлетворять всем свойствам Адамара.

Гипотеза Адамара: нерешенная проблема математики

Матрицы Адамара обладают жесткими ограничениями на свои размеры. Легко доказать, что если матрица Адамара существует, то ее размер n должен быть равен либо 1, либо 2, либо быть строго кратным числу 4 (n = 4k). Однако математики до сих пор не могут доказать обратное утверждение. Знаменитая Гипотеза Адамара, остающаяся одной из главных нерешенных проблем комбинаторной алгебры, гласит: для абсолютно любого целого числа, кратного четырем (4, 8, 12, 16...), гарантированно существует хотя бы одна матрица Адамара. На сегодняшний день эта гипотеза проверена с помощью суперкомпьютеров для множества чисел (первое наименьшее число, для которого матрица Адамара еще не найдена, равно 668), но строгого аналитического доказательства для бесконечного множества чисел пока нет.

Коды Уолша-Адамара и мобильная связь (CDMA)

Инженерное применение матриц Адамара произвело революцию в радиосвязи. Строки матрицы Адамара (известные как функции Уолша) используются как ортогональные цифровые коды. В технологии CDMA (стандарт 3G-связи) базовая вышка отправляет сигналы тысячам абонентов на одной и той же несущей частоте одновременно. Чтобы сигналы не превратились в шумовую кашу, сообщение каждого абонента умножается на его личную, уникальную строку из гигантской матрицы Адамара. Поскольку все строки матрицы строго ортогональны, телефон абонента, умножая весь полученный эфирный шум на свою личную строку (код), мгновенно отфильтровывает все чужие звонки (они математически обнуляются при скалярном произведении) и восстанавливает свой чистый полезный сигнал с идеальной математической точностью.