Унитарная матрица
В линейной алгебре комплексная , квадратная матрица U унитарна U если ее обратная матрица обратимая −1 равно сопряженному ему транспонированию U * , то есть, если
где I — единичная матрица .
В физике, особенно в квантовой механике, сопряженное транспонирование называется эрмитовым сопряжением матрицы и обозначается кинжалом ( †), поэтому приведенное выше уравнение записывается
Комплексная матрица U называется специальной унитарной, если она унитарна и ее определитель матрицы равен 1 .
Для действительных чисел аналогом унитарной матрицы является ортогональная матрица . Унитарные матрицы имеют важное значение в квантовой механике, поскольку они сохраняют нормы и, следовательно, амплитуды вероятности .
Характеристики
[ редактировать ]Для любой унитарной матрицы U конечного размера справедливы следующие условия:
- Учитывая два комплексных вектора x и y , умножение на U сохраняет их внутренний продукт ; то есть ⟨ U x , U y ⟩ = ⟨ x , y ⟩ .
- У тебя всё в норме ( ).
- U диагонализуемо ; то есть U диагональной унитарно подобен матрице, как следствие спектральной теоремы . Таким образом, U имеет разложение вида где V унитарен, а D диагональен и унитарен.
- . То есть, будет лежать на единичной окружности комплексной плоскости.
- Его собственные пространства ортогональны.
- U можно записать как U = e iH , где e обозначает матричную экспоненту , i — мнимая единица, а H — эрмитова матрица .
Для любого неотрицательного целого числа n набор всех унитарных матриц размера n × n с матричным умножением образует группу , называемую унитарной группой U( n ) .
Каждая квадратная матрица с единичной евклидовой нормой представляет собой среднее двух унитарных матриц. [1]
Эквивалентные условия
[ редактировать ]Если U — квадратная комплексная матрица, то следующие условия эквивалентны: [2]
- является унитарным.
- является унитарным.
- является обратимым с .
- Столбцы образуют ортонормированный базис относительно обычного внутреннего продукта. Другими словами, .
- Ряды образуют ортонормированный базис относительно обычного внутреннего продукта. Другими словами, .
- является изометрией относительно обычной нормы. То есть, для всех , где .
- - нормальная матрица (эквивалентно, существует ортонормированный базис, образованный собственными векторами матрицы ) с собственными значениями, лежащими на единичной окружности .
Элементарные конструкции
[ редактировать ]Унитарная матрица 2 × 2
[ редактировать ]Одно общее выражение 2 × 2 унитарной матрицы :
который зависит от 4 реальных параметров (фазы a , фазы b , относительной величины между a и b и угла φ ). Форма настроена так, что определитель такой матрицы равен
Подгруппа этих элементов с называется специальной унитарной группой SU(2).
Среди нескольких альтернативных форм матрицу U можно записать в следующем виде:
где и выше, а углы может принимать любые значения.
Представляя и имеет следующую факторизацию:
Это выражение подчеркивает связь между 2 × 2 унитарными матрицами 2 × 2 и ортогональными матрицами с углом θ .
Другая факторизация [3]
Возможны многие другие факторизации унитарной матрицы в базовых матрицах. [4] [5] [6] [7] [8] [9]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Ли, Чи-Квонг; Пун, Эдвард (2002). «Аддитивное разложение действительных матриц». Линейная и полилинейная алгебра . 50 (4): 321–326. дои : 10.1080/03081080290025507 . S2CID 120125694 .
- ^ Хорн, Роджер А.; Джонсон, Чарльз Р. (2013). Матричный анализ . Издательство Кембриджского университета . дои : 10.1017/CBO9781139020411 . ISBN 9781139020411 .
- ^ Фюр, Хартмут; Жешотник, Зиемовит (2018). «Заметка о факторизации унитарных матриц» . Линейная алгебра и ее приложения . 547 : 32–44. дои : 10.1016/j.laa.2018.02.017 . ISSN 0024-3795 . S2CID 125455174 .
- ^ Уильямс, Колин П. (2011). «Квантовые ворота». В Уильямсе, Колин П. (ред.). Исследования в области квантовых вычислений . Тексты по информатике. Лондон, Великобритания: Спрингер. п. 82. дои : 10.1007/978-1-84628-887-6_2 . ISBN 978-1-84628-887-6 .
- ^ Нильсен, Массачусетс ; Чуанг, Исаак (2010). Квантовые вычисления и квантовая информация . Кембридж, Великобритания: Издательство Кембриджского университета . п. 20. ISBN 978-1-10700-217-3 . OCLC 43641333 .
- ^ Баренко, Адриано; Беннетт, Чарльз Х.; Клив, Ричард; ДиВинченцо, Дэвид П.; Марголус, Норман; Шор, Питер; и др. (1 ноября 1995 г.). «Элементарные вентили для квантовых вычислений». Физический обзор А. 52 (5). Американское физическое общество (APS): 3457–3467, особенно. 3465. arXiv : Quant-ph/9503016 . дои : 10.1103/physreva.52.3457 . ISSN 1050-2947 . ПМИД 9912645 . S2CID 8764584 .
- ^ Марвиан, Иман (10 января 2022 г.). «Ограничения на реализуемые унитарные операции, налагаемые симметрией и локальностью» . Физика природы . 18 (3): 283–289. arXiv : 2003.05524 . дои : 10.1038/s41567-021-01464-0 . ISSN 1745-2481 . S2CID 245840243 .
- ^ Ярлског, Сесилия (2006). «Рекурсивная параметризация и инвариантные фазы унитарных матриц». arXiv : math-ph/0510034 .
- ^ Альгамбра, Альваро М. (10 января 2022 г.). «Запрещено симметрией» . Новости и мнения. Физика природы . 18 (3): 235–236. дои : 10.1038/s41567-021-01483-x . ISSN 1745-2481 . S2CID 256745894 .
Физику больших систем часто понимают как результат локальных действий между ее компонентами. Теперь показано, что эта картина может быть неполной в квантовых системах, взаимодействия которых ограничены симметриями.
Внешние ссылки
[ редактировать ]- Вайсштейн, Эрик В. «Унитарная матрица» . Математический мир . Тодд Роуленд.
- Иванова, О.А. (2001) [1994], «Унитарная матрица» , Энциклопедия Математики , EMS Press
- «Покажите, что собственные значения унитарной матрицы имеют модуль 1» . Обмен стеками . 28 марта 2016 г.