Эти матрицы названы в честь физика Вольфганга Паули . В квантовой механике они встречаются в уравнении Паули , учитывающем взаимодействие спина частицы с внешним электромагнитным полем . Они также представляют состояния взаимодействия двух поляризационных фильтров для горизонтальной/вертикальной поляризации, 45-градусной поляризации (правая/левая) и круговой поляризации (правая/левая).
Каждая матрица Паули является эрмитовой , и вместе с единичной матрицей I (иногда рассматриваемой как нулевая матрица Паули σ 0 ), матрицы Паули образуют основу для реального векторного пространства эрмитовых матриц размера 2 × 2 . Это означает, что любую эрмитову матрицу размера 2 × 2 можно единственным образом записать как линейную комбинацию матриц Паули, где все коэффициенты являются действительными числами.
Эрмитовы операторы представляют наблюдаемые в квантовой механике, поэтому матрицы Паули охватывают пространство наблюдаемых комплексного двумерного гильбертова пространства . В контексте работы Паули σ k представляет собой наблюдаемую, соответствующую вращению вдоль k -й координатной оси в трехмерном евклидовом пространстве.
Матрицы Паули (после умножения на i , чтобы сделать их антиэрмитовыми ) также порождают преобразования в смысле алгебр Ли : матрицы iσ 1 , iσ 2 , iσ 3 образуют базис вещественной алгебры Ли , которая возводится в степень до специальной унитарной группа SU(2) . [a] Алгебра , порожденная тремя матрицами σ 1 , σ 2 , σ 3 , изоморфна алгебре Клиффорда из [1] , а (единичная) ассоциативная алгебра, порожденная iσ 1 , iσ 2 , iσ 3 , функционирует тождественно ( изоморфна ) к кватернионам ( ).
Алгебраические свойства
Все три матрицы Паули можно сжать в одно выражение:
где решение i 2 = −1 — это « мнимая единица », а δ jk — это дельта Кронекера , которая равна +1 , если j = k , и 0 в противном случае. Это выражение полезно для «выбора» любой из матриц численно путем замены значений j = 1, 2, 3 , что, в свою очередь, полезно, когда любая из матриц (но не конкретная) должна использоваться в алгебраических манипуляциях.
Отсюда мы можем сделать вывод, что каждая матрица σ j имеет собственные значения +1 и −1.
С включением единичной матрицы I (иногда обозначаемой σ 0 ), матрицы Паули образуют ортогональный базис (в смысле Гильберта–Шмидта ) гильбертова пространства 2 × 2 эрмитовых матриц , над , и гильбертова пространства всех комплексных матриц 2 × 2 , , над .
Коммутационные и антикоммутационные отношения.
Коммутационные отношения
Матрицы Паули подчиняются следующим коммутационным соотношениям:
где определяется как и δ ij — дельта Кронекера . I обозначает единичную матрицу 2 × 2 .
Эти антикоммутационные отношения делают матрицы Паули генераторами представления алгебры Клиффорда для обозначенных
Обычная конструкция генераторов с использованием алгебры Клиффорда восстанавливает приведенные выше коммутационные соотношения с точностью до несущественных числовых множителей.
Ниже в качестве примеров приведены несколько явных коммутаторов и антикоммутаторов:
Более формально это определяет отображение из в векторное пространство бесследовых эрмитовых матриц. Это отображение кодирует структуры нормированного векторного пространства и алгебры Ли (с векторным произведением в качестве скобки Ли) через функции матриц, что делает отображение изоморфизмом алгебр Ли. Это делает матрицы Паули переплетающимися с точки зрения теории представлений.
Другой способ рассматривать вектор Паули - это эрмитовский бесследовый двойной матричный вектор, то есть элемент этого отображения .
Отношение полноты
Каждый компонент можно восстановить из матрицы (см. соотношение полноты ниже).
Это представляет собой обратную карту , демонстрируя, что карта является биекцией.
Определитель
Норма задается определителем (с точностью до знака минус)
Тогда, рассматривая действие сопряжения матрицы в этом пространстве матриц,
мы находим и это эрмитово и бесследно. Тогда имеет смысл определить, где имеет ту же норму, что и, следовательно, интерпретировать как вращение трехмерного пространства. Фактически оказывается, что специальное ограничение на подразумевает, что вращение сохраняет ориентацию. Это позволяет определить карту, заданную формулой
где Эта карта представляет собой конкретную реализацию двойной оболочки by и , следовательно, показывает, что компоненты можно восстановить с помощью описанного выше процесса трассировки:
перекрестное произведение
Перекрестное произведение определяется матричным коммутатором (с точностью до коэффициента )
На самом деле существование нормы следует из того, что является алгеброй Ли: см. форму Киллинга .
Это векторное произведение можно использовать для доказательства свойства сохранения ориентации карты выше.
Собственные значения и собственные векторы
Собственные значения : Это непосредственно следует из бесследности и явного вычисления определителя.
Более абстрактно, без вычисления определителя, что требует явных свойств матриц Паули, это следует из того, что, поскольку это может быть факторизовано в Стандартный результат в линейной алгебре (линейное отображение, которое удовлетворяет полиномиальному уравнению, записанному в различных линейных множителях, является диагональным) означает это подразумевает диагональность с возможными собственными значениями. Бесследность означает, что у каждого собственного значения ровно одно собственное значение.
Его нормированные собственные векторы равны
В качестве альтернативы можно использовать сферические координаты для получения собственных векторов и .
Паули 4-векторный
4-вектор Паули, используемый в теории спиноров, записывается компонентами
Это определяет отображение из векторного пространства эрмитовых матриц:
который также кодирует метрику Минковского ( в основном с минусовым соглашением) в своем определителе:
Этот 4-вектор также имеет отношение полноты. Удобно определить второй 4-вектор Паули
и разрешить подъем и опускание с помощью метрического тензора Минковского. Тогда соотношение можно записать
Аналогично случаю 3-вектора Паули, мы можем найти группу матриц, которая действует как изометрия, в этом случае группа матриц равна и это показывает. Как и выше, это можно явно реализовать для с компонентами
Фактически, свойство детерминанта абстрактно следует из свойств следа матриц For , имеет место следующее тождество:
То есть «перекрестные члены» можно записать в виде следов. Когда выбраны разные, перекрестные члены исчезают. Далее следует, теперь явно показывая суммирование. Поскольку матрицы равны, это равно
Связь со скалярным и векторным произведением
Векторы Паули элегантно отображают эти коммутационные и антикоммутационные отношения в соответствующие векторные произведения. Добавление коммутатора к антикоммутатору дает
так что,
Стягивая каждую часть уравнения компонентами двух 3 -векторов a p и b q (которые коммутируют с матрицами Паули, т. е. a p σ q = σ q a p ) для каждой матрицы σ q и векторной компоненты a p (и аналогично с b q ) дает
Если i отождествляется с псевдоскаляром σ x σ y σ z , то правая часть становится , что также является определением произведения двух векторов в геометрической алгебре.
Если мы определим оператор вращения как J =час/2σ , то J удовлетворяет коммутационному соотношению:
Некоторые следовые отношения
Следующие следы можно получить, используя коммутационные и антикоммутационные соотношения.
Если также рассматривать матрицу σ 0 = I , эти соотношения становятся
где греческие индексы α , β , γ и μ принимают значения от {0, x , y , z } , а обозначения используются для обозначения суммы по циклической перестановке включенных индексов.
Экспонента вектора Паули
Для
для четных степеней имеем 2 p , p = 0, 1, 2, 3, ...
что можно показать сначала для случая p = 1 , используя антикоммутационные соотношения. Для удобства случай p = 0 по соглашению принимается за I.
в то время как определитель самой экспоненты равен всего 1 , что делает его общим групповым элементом SU(2) .
Более абстрактный вариант формулы (2) для общей матрицы 2×2 можно найти в статье о матричных экспонентах . Общий вариант (2) для аналитической (при a и − a ) функции дается применением формулы Сильвестра , [3]
Закон группового состава SU(2)
Непосредственное применение формулы (2) дает параметризацию закона композиции группы SU(2) . [c] Можно напрямую найти c в
которое задает умножение родовой группы, где, очевидно,
Следовательно, составные параметры вращения в этом групповом элементе (в данном случае замкнутой форме соответствующего разложения БЧХ ) просто равны [4]
(Разумеется, когда параллельно , то же самое происходит и c = a + b .)
Сопутствующее действие
Также несложно аналогичным образом определить сопряженное действие на вектор Паули, а именно поворот на любой угол вдоль любой оси :
Скалярное произведение любого единичного вектора с приведенной выше формулой генерирует выражение любого оператора одного кубита при любом вращении. Например, можно показать, что .
Отношение полноты
Альтернативное обозначение, которое обычно используется для матриц Паули, состоит в том, чтобы записать индекс вектора k в верхнем индексе, а индексы матрицы в виде нижних индексов, так что элемент в строке α и столбце β k - й матрицы Паули равен σ k αβ. .
В этих обозначениях соотношение полноты для матриц Паули можно записать
Доказательство
Тот факт, что матрицы Паули вместе с единичной матрицей I образуют ортогональный базис гильбертова пространства всех комплексных матриц размера 2 × 2, означает, что мы можем выразить любую матрицу M как
где c — комплексное число, а a — трехкомпонентный комплексный вектор. Используя перечисленные выше свойства, несложно показать, что
где « tr » обозначает след , и, следовательно, что
которое можно переписать в терминах матричных индексов как
Как отмечалось выше, единичную матрицу размера 2 × 2 принято обозначать через σ 0 , поэтому σ 0 αβ = δ αβ . Отношение полноты альтернативно может быть выражено как
Тот факт, что любые эрмитовы комплексные матрицы 2 × 2 могут быть выражены через единичную матрицу и матрицы Паули, также приводит к представлению сферы Блоха матрицы плотности смешанных состояний 2 × 2 ( положительные полуопределенные матрицы 2 × 2 с единичным следом В этом можно убедиться, сначала выразив произвольную эрмитову матрицу как действительную линейную комбинацию { σ 0 , σ 1 , σ 2 , σ 3 } , как указано выше, а затем наложив условия положительно-полуопределенности и следа 1 .
Следовательно, его собственные значения равны [d] 1 или −1. Таким образом, его можно использовать как член взаимодействия в гамильтониане, разделяя собственные значения энергии его симметричных и антисимметричных собственных состояний.
СУ(2)
Группа SU(2) — это группа Ли унитарных матриц размера 2 × 2 с единичным определителем; ее алгебра Ли представляет собой набор всех антиэрмитовых матриц размера 2 × 2 со следом 0. Непосредственный расчет, как и выше, показывает, что алгебра Ли представляет собой трехмерную вещественную алгебру, натянутую на множество { iσ k } . В компактных обозначениях
В результате каждый iσ j можно рассматривать как бесконечно малый генератор SU(2). Элементы SU (2) представляют собой экспоненты линейных комбинаций этих трех генераторов и умножаются, как указано выше при обсуждении вектора Паули. Хотя этого достаточно для генерации SU(2), это не является правильным представлением su(2) , поскольку собственные значения Паули масштабируются нетрадиционным способом. Традиционная нормировка: λ =1/2, так что
Алгебра Ли изоморфна алгебре Ли , которая соответствует группе Ли SO( 3 ) — группе вращений в трёхмерном пространстве. Другими словами, можно сказать, что iσ j являются реализацией (и, по сути, реализацией самой низкой размерности) бесконечно малых вращений в трехмерном пространстве. Однако, хотя и изоморфны как алгебры Ли, SU(2) и SO(3) не изоморфны как группы Ли. SU(2) на самом деле является двойным покрытием SO (3) , что означает, что существует групповой гомоморфизм два к одному от SU(2) до SO(3) , см. связь между SO(3) и SU(2) .
Кватернионы
Действительная линейная оболочка { I , iσ 1 , iσ 2 , iσ 3 } изоморфна вещественной алгебре кватернионов , , представленной оболочкой базисных векторов. Изоморфизм от этому множеству задается следующим отображением (обратите внимание на обратные знаки матриц Паули):
Альтернативно, изоморфизм может быть достигнут с помощью отображения с использованием матриц Паули в обратном порядке, [5]
Поскольку набор версоров U ⊂ образует группу, изоморфную SU(2) , U дает еще один способ описания SU(2) . Гомоморфизм два к одному из SU (2) в SO (3) может быть задан через матрицы Паули в этой формулировке.
Физика
Классическая механика
В классической механике матрицы Паули полезны в контексте параметров Кэли-Клейна. [6] Матрица P , соответствующая положению точки в пространстве, определяется в терминах приведенной выше векторной матрицы Паули:
Следовательно, матрица преобразования Q θ для поворотов вокруг оси x на угол θ может быть записана через матрицы Паули и единичную матрицу как [6]
Аналогичные выражения следуют для общих вращений вектора Паули, как подробно описано выше.
Интересное свойство частиц со спином 1/2 состоит в том, что их необходимо повернуть на угол 4 π , чтобы вернуться в исходную конфигурацию . Это связано с соответствием два к одному между SU(2) и SO(3), упомянутым выше, и тем фактом, что, хотя можно визуализировать вращение вверх/вниз как полюс север-юг на 2- сфере S 2 , на самом деле они представлены ортогональными векторами в двумерном комплексном гильбертовом пространстве .
Для частицы со спином 1 ⁄ 2 оператор спина имеет вид J =час/2σ ,фундаментальное представлениеSU(2). Многократно взявкронекеровские произведенияэтого представления с самим собой, можно построить все высшие неприводимые представления. То есть результирующиеоператоры спинадля систем с более высоким спином в трех пространственных измерениях для сколь угодно большогоjмогут быть рассчитаны с использованием этогооператора спинаилестничных операторов. Их можно найти вгруппе вращений SO(3) § Замечание об алгебрах Ли. Аналогичная формула приведенному выше обобщению формулы Эйлера для матриц Паули, группового элемента в терминах спиновых матриц, понятна, но менее проста. [7]
В релятивистской квантовой механике спиноры в четырех измерениях представляют собой матрицы размером 4 × 1 (или 1 × 4). Следовательно, матрицы Паули или матрицы Сигмы, действующие на эти спиноры, должны быть матрицами размера 4 × 4. Они определяются в терминах матриц Паули 2 × 2 как
Из этого определения следует, что матрицы обладают теми же алгебраическими свойствами, что и матрицы σk .
Однако релятивистский угловой момент представляет собой не трехвектор, а четырехтензор второго порядка . Следовательно, его необходимо заменить на Σ µν , генератор преобразований Лоренца на спинорах . Из-за антисимметрии углового момента Σ µν также антисимметричны. Следовательно, независимых матриц всего шесть.
Первые три — это оставшиеся три, где матрицы Дирака α k определяются как
Релятивистские спиновые матрицы Σ µν записываются в компактной форме через коммутатор гамма-матриц как
Квантовая информация
В квантовой информации однокубитные квантовые вентили представляют собой унитарные матрицы размером 2 × 2. Матрицы Паули являются одними из наиболее важных операций с одним кубитом. В этом контексте приведенное выше разложение Картана называется «Z-Y-разложением однокубитного вентиля». Выбор другой пары Картана дает аналогичное «X–Y -разложение однокубитного вентиля ».
^ Это соответствует математическому
соглашению о матричной экспоненте , iσ ⟼ exp( iσ ) . Согласно физике , σ ⟼ exp(− iσ ) , следовательно, в нем не требуется никакого предварительного умножения на i , чтобы попасть в SU(2) .
^ Отношение между a, b, c, n, m, k, полученное здесь в представлении 2 × 2 , справедливо для всех представлений SU (2) и является групповым тождеством . Обратите внимание, что в силу стандартной нормализации генераторов этой группы как половины матриц Паули параметры a , b , c соответствуют половине углов вращения группы вращения. То есть связанная формула Гиббса равна .
^
Явно, в соглашении о «преобразовании матриц правого пространства в элементы матриц левого пространства», это
Примечания
^ Галл, Сан-Франциско; Ласенби, АН; Доран, CJL (январь 1993 г.). «Мнимые числа недействительны – геометрическая алгебра пространства-времени» (PDF) . Найденный. Физ . 23 (9): 1175–1201. Бибкод : 1993FoPh...23.1175G. дои : 10.1007/BF01883676. S2CID 14670523 . Проверено 5 мая 2023 г. - через Geometry.mrao.cam.ac.uk.
^ Нильсен, Майкл А .; Чуанг, Исаак Л. (2000). Квантовые вычисления и квантовая информация . Кембридж, Великобритания: Издательство Кембриджского университета. ISBN978-0-521-63235-5. ОСЛК 43641333.
^ Гиббс, JW (1884). Элементы векторного анализа . Нью-Хейвен, Коннектикут. п. 67.{{cite book}}: CS1 maint: location missing publisher (link)На самом деле, однако, формула восходит к Олинде Родригесу (1840 г.), изобилующему полууглами: Родригес, Олинде (1840 г.). «Des lois géometriques qui regissent les déplacements d' un systéme Solide dans l' espace, et de lavariation des coordonnées producant de ces déplacement, рассматриваемые как независимые причины, которые могут быть произведены» (PDF) . Дж. Математика. Приложение Pures. 5 : 380–440.
^ Накахара, Микио (2003). Геометрия, топология и физика (2-е изд.). ЦРК Пресс. п. XXII. ISBN978-0-7503-0606-5– через Google Книги.