Комплексная матрица Адамара любая комплексная матрица , удовлетворяющая двум условиям:
- унимодулярность (модуль каждой записи равен единице):
- ортогональности : ,
где обозначает эрмиты транспонирования из и является единичной матрицей. Эта концепция является обобщением матрицы Адамара . Обратите внимание, что любую комплексную матрицу Адамара можно превратить в унитарную матрицу , умножив ее на ; наоборот, любая унитарная матрица, все элементы которой имеют модуль, становится комплексной Адамара после умножения на .
Комплексные матрицы Адамара возникают при изучении операторных алгебр и теории квантовых вычислений . Вещественные матрицы Адамара и матрицы Адамара типа Бутсона образуют частные случаи комплексных матриц Адамара.
Комплексные матрицы Адамара существуют для любых натуральных (сравните реальный случай, в котором существование известно не для всех ). Например, матрицы Фурье (комплексно сопряженные матрицы ДПФ без нормирующего множителя),
принадлежат к этому классу.
Эквивалентность [ править ]
Две комплексные матрицы Адамара называются эквивалентными, записываются , если существуют диагональные унитарные матрицы и матрицы перестановок такие, что
Любая комплексная матрица Адамара эквивалентна дефазированной матрице Адамара, в которой все элементы в первой строке и первом столбце равны единице.
Для и все комплексные матрицы Адамара эквивалентны матрице Фурье . Ведь существует непрерывное однопараметрическое семейство неэквивалентных комплексных матриц Адамара,
Для следующих семейств комплексных матриц Адамара известны:
- одно двухпараметрическое семейство, которое включает ,
- единое однопараметрическое семейство ,
- однопараметрическая орбита , включающая циркулянтную матрицу Адамара ,
- двухпараметрическая орбита, включая два предыдущих примера ,
- однопараметрическая орбита симметричных матриц,
- двухпараметрическая орбита, включая предыдущий пример ,
- трехпараметрическая орбита, включающая все предыдущие примеры ,
- дальнейшая конструкция с четырьмя степенями свободы , дающая другие примеры, чем ,
- одна точка - одна из матриц Butson типа Адамара, .
Однако неизвестно, является ли этот список полным, но предполагается, что это исчерпывающий (но не обязательно неизбыточный) список всех комплексных матриц Адамара порядка 6.
Ссылки [ править ]
- У. Хаагеруп, Ортогональные максимальные абелевы * -подалгебры матриц размера n × n и циклические корни n, Операторные алгебры и квантовая теория поля (Рим), 1996 (Кембридж, Массачусетс: International Press), стр. 296–322.
- П. Дита, Некоторые результаты по параметризации комплексных матриц Адамара, J. Phys. A: Математика. Gen 37, 5355-5374 (2004).
- F. Szollosi, Двухпараметрическое семейство сложных матриц Адамара порядка 6, индуцированных гипоциклоидами, препринт, arXiv: 0811.3930v2 [math.OA]
- W. Tadej и K. yczkowski , Краткое руководство по комплексным матрицам Адамара. Открытые системы и информация. Дин. 13 133–177 (2006)
Внешние ссылки [ править ]
- Для получения точного списка известных комплексных матриц Адамара и нескольких примеров матриц Адамара размера 7-16 см. Каталог комплексных матриц Адамара.