Запросы о группах вращений SO(3)SO(3)\mathrm{SO}(3) и SU(2)SU(2)\mathrm{SU}(2) в QM

В тексте QM, который я использую (Sakurai 2nd edition 'Modern Quantum Mechanics'), он описывает две группы вращения, а именно С О ( 3 ) ротационная группа и С U ( 2 ) группа вращения (унитарная унимодулярная группа).

Он определяет С О ( 3 ) как группа с умножением матриц на набор ортогональных матриц (которые являются матрицами, удовлетворяющими р Т р "=" 1 "=" р р Т ), затем он заявляет, что эта группа включает только операторы вращения (а не обратные операторы, которые были бы группой О ( 3 ) ). Он никогда не дает строгого определения «вращательной операции».

  1. Как бы вы различали операторы вращения и обратные операторы, было бы достаточным определением, что операторы вращения - это преобразование с одной фиксированной точкой?

Он также определяет группу С U ( 2 ) который состоит из унитарных унимодулярных матриц и утверждает, что самая общая унитарная матрица в двух измерениях имеет четыре независимых параметра и определяется как

U "=" е я γ ( а б б * а * )
где | а | 2 + | б | 2 "=" 1 ,       γ * "=" γ .

  1. Правильно ли я предполагаю, что С О ( 3 ) Группа вращения не имеет большого применения в квантовой механике, а скорее используется в классической механике, тогда как С U ( 2 ) используется больше в квантовой механике, особенно для с "=" 1 2 спиновые системы, где мы работаем в двумерном гильбертовом пространстве?
  2. Откуда следует, что у общей унитарной матрицы есть четыре независимых параметра, как я вижу, есть три независимых параметра, а именно, а , б и γ ?
Что вы подразумеваете под «независимыми параметрами» — независимыми действительными или комплексными числами? А 2 × 2 специальная унитарная матрица может быть определена тремя комплексными числами а , б , γ как указано выше, что эквивалентно шести действительным числам. Они подчиняются двум уравнениям связи, | а | 2 + | б | 2 "=" 1 и γ * "=" γ . Следовательно, есть 6 2 "=" 4 независимыми действительными параметрами.
Причина использования таких групп, как С U ( 2 ) в квантовой механике можно до некоторой степени проследить до того факта, что два вектора гильбертова пространства, которые являются комплексными кратными друг другу, представляют одно и то же физическое состояние. Чтобы ответить на вопрос «Каково состояние моей системы после того, как я поверну все это на некоторый угол вдоль некоторой оси», нужно предоставить проективное унитарное представление группы поворотов. Проективные унитарные представления С О ( 3 ) соответствуют обычным унитарным представлениям С U ( 2 ) и работать с представлениями удобнее, чем с проективными.

Ответы (6)

При классификации представлений группы в КМ необходимо учитывать проективные представления , поскольку состояния на самом деле являются лучами (классами эквивалентности) в гильбертовом пространстве. Это означает, что для изучения вращательной симметрии системы вам нужны проективные представления С О ( 3 ) , которые являются стандартными представлениями С U ( 2 ) , потому что последний является универсальным покрытием первого. Это причина С U ( 2 ) важно в КМ.

Уже представленные ответы охватили разницу между О ( 3 ) и С О ( 3 ) подробно, так что я не буду повторяться. Вместо этого позвольте мне объяснить суть «использования» С О ( 3 ) по сравнению с "использованием" С U ( 2 ) , который, я думаю, еще не разъяснен:

  1. С U ( 2 ) представляет собой двойную обложку С О ( 3 ) , что означает, что существует гомоморфизм групп два к одному С U ( 2 ) 2 : 1 С О ( 3 ) , или, что то же самое, С О ( 3 ) С U ( 2 ) / Z 2 . Он также просто подключается, то есть является универсальным чехлом . Алгебры Ли обеих этих групп Ли одинаковы, т.е. с о ( 3 ) с ты ( 2 ) . Представление алгебры Ли всегда индуцирует линейное представление ассоциированной с ней односвязной группы Ли, но не всегда индуцирует представление других групп. Более конкретно, представление со спином 1/2 является линейным представлением с о ( 3 ) , но не из С О ( 3 ) , только из С U ( 2 ) .

  2. Однако представление со спином 1/2 является так называемым проективным представлением С О ( 3 ) . Квантовая механика на самом деле требует не обычных линейных представлений групп симметрии, а проективных. По общей причине это так, см. мои вопросы и ответы . В этом случае оказывается, что проективные представления С О ( 3 ) эквивалентны линейным представлениям с о ( 3 ) , или эквивалентные линейные представления С U ( 2 ) . Это причина С U ( 2 ) появляется в квантовой механике, но не в классической механике при представлении группы симметрии вращений в нашем пространстве состояний.

  3. Представление со спином 1/2 дается «стандартным» представлением С U ( 2 ) , т.е. только специальными унитарными матрицами 2 на 2. Но это еще и представление с о ( 3 ) с ты ( 2 ) и проективное представление С О ( 3 ) . Представление спина 1 дается «стандартным» представлением С О ( 3 ) как специальные ортогональные матрицы 3 на 3, но это также представление с ты ( 2 ) с о ( 3 ) и представление С U ( 2 ) через карту 2-к-1.

как бы вы различали операторы вращения и обратные операторы, было бы достаточным определением, что операторы вращения - это преобразование с одной фиксированной точкой?

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

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

Икс Икс "=" Икс ϵ у , у у "=" у + ϵ Икс .
Такая бесконечно малая операция может быть записана как
в "=" ( я + ϵ Т ) в ,
где я является единичной матрицей и
Т "=" [ 0 1 1 0 ] .
Теперь выполните бесконечно много таких операций в такой последовательности, что н ϵ "=" θ где н в целое число, уходящее в бесконечность и θ является конечным действительным,
в "=" ( я + θ н Т ) н в "=" опыт ( θ Т ) в .
Последний знак равенства является тождеством. Приведенное выше уравнение определяет поворот на угол θ , р ( θ ) "=" опыт ( θ Т ) . Можно вычислить эту экспоненту, разложив Тейлора, и мы получим
р ( θ ) "=" [ потому что θ грех θ грех θ потому что θ ] .

Мы говорим, что матрица М представляет поворот тогда и только тогда, когда его можно записать в приведенной выше форме. Обратите внимание, что такая матрица, как

С ( у ) "=" [ 1 0 0 1 ] ,
который просто отображает ( Икс , у ) к ( Икс , у ) это не ротация. Это называется отражением (то, что вы странно называете обратным оператором).

Вы можете легко проверить, что матрицы вращений ортогональны (O), р р Т "=" я , и специальные (S), дет р "=" 1 . Они образуют группу С О ( 2 ) (или С О ( 3 ) в трех измерениях). Матрицы отражения имеют определитель 1 но также ортогональны. Вместе с матрицами вращения образуют группу О ( 2 ) (или О ( 3 ) в трех измерениях).

Правильно ли я предполагаю, что С О ( 3 ) Группа вращения не имеет большого применения в квантовой механике, а скорее используется в классической механике, тогда как С U ( 2 ) используется больше в квантовой механике, особенно для с "=" 1 2 спиновые системы, где мы работаем в двумерном гильбертовом пространстве?

В трех измерениях бесконечно малые вращения генерируются тремя генераторами: Т 1 , Т 2 , Т 3 которые играют роль Т выше. Они удовлетворяют коммутационным соотношениям

[ Т а , Т б ] "=" я ϵ а б с Т с ,
и образуют алгебру Ли, а именно с ты ( 2 ) . Дело в том, что обе группы С О ( 3 ) и С U ( 3 ) имеют одну и ту же алгебру Ли. Бесконечно малые операции одинаковы. Более того, в общем случае эти генераторы можно представить квадратными матрицами разного размера. Как только мы выбираем размер этих матриц (выбор не произвольный), мы получаем группу, ассоциированную с алгеброй Ли. Например, если мы начнем с алгебры с ты ( 2 ) и выберите представление его 2 × 2 матрицы, то полученная группа С U ( 2 ) . С другой стороны, если мы представим его через 3 × 3 матрицы получаем группу С О ( 3 ) . Эта последняя группа действительно важна в квантовой механике. Это относится к вращению 1 .

откуда следует, что для общей унитарной матрицы есть четыре независимых параметра, как я вижу, есть три независимых параметра, а именно, а , б и γ ?

Как уже упоминалось в комментарии jc315, шесть реальных параметров подвергаются двум ограничениям, что оставляет четыре реальных независимых параметра.

Спасибо, это очень хороший ответ. Это основная причина, по которой мы решили сначала определить вращение, используя бесконечно малые операции, чтобы мы могли аппроксимировать | в | ϵ по прямой? Кроме того, согласны ли вы с другим ответом, который С О ( 3 ) и С U ( 2 ) изоморфны, в тексте, который я использую, говорится, что это не так?
Да, мы аппроксимируем дугу между двумя векторами прямой линией, когда ϵ бесконечно мала. Группы С О ( 3 ) и С U ( 2 ) не изоморфны. Они различны. Однако ассоциированные алгебры Ли изоморфны. Другой способ выразить это — сказать, что группы локально изоморфны, но глобально различны. Это означает, что инфинитезимальные операции выполняются одинаково в обеих группах (помните, что инфинитезимальные операции относятся к образующим или к алгебре). Однако конечные операции отличаются.
Из памяти ТАК ( 3 ) СУ ( 2 ) / Z 2 .
@Diracology Могу ли я задать один вопрос о том, как изменяется матрица вращения при рассмотрении вращения декартова тензора 2-го порядка (диадического тензора), как я понимаю, у нас есть что-то вроде
Т я Дж "=" U я В Дж я Дж р я Дж U я В Дж
где р я Дж являются элементами 3 × 3 Матрица, это правильно? Какова природа матрицы вращения? И почему скалярное произведение U В инвариант относительно вращения? Спасибо за любую помощь.
  1. Тот или иной находится в группе, так что на самом деле не имеет значения, какой из них считать обратным другому. Обратите внимание, что С U ( 2 ) имеет 3 (нет 4 ) независимые параметры. U ( 2 ) имеет общую фазу, связанную с определителем его элементов, в дополнение к 3 параметры в С U ( 2 ) .
  2. С О ( 3 ) вероятно, имеет больше приложений, чем С U ( 2 ) поскольку весь орбитальный угловой момент равен С О ( 3 ) и не С U ( 2 ) . В любой задаче с центральным потенциалом вы будете обозначать состояния С О ( 3 ) нет С U ( 2 ) невозвр. Волновые функции для жестких роторов (используемых для описания различных волчков и линейных молекул) имеют вид С О ( 3 ) групповые функции.
  3. Параметры сложные. Если начать с 8 комплексные числа
    U "=" ( А Б С Д ) , А , Б , С , Д е С ,
    то условия унитарности U U "=" 1 ^ силы 4 условия понравились ортогональности строк и столбцов. Если вы применяете условие det "=" + 1 это пятое условие 8 параметры - 5 ограничения = 3 «свободные» параметры.
    Генерал н × н унитарная матрица будет содержать н 2 сложные параметры или 2 н 2 реальные параметры. Есть н 2 условия для строк и столбцов, покидающих н 2 независимые действительные параметры, из которых вы вычитаете другой, если хотите, чтобы определитель был +1.

С О ( 3 ) это группа всех 3 × 3 вещественные матрицы с определителем 1 . Это определение правильного вращения. С О ( 3 ) является группой в формально-математическом смысле, поэтому

М е С О ( 3 )   М 1 е С О ( 3 ) : М М 1 "=" я .

The О в С О ( 3 ) означает «ортогональный», что означает, что

М 1 "=" М Т г е т ( М ) "=" ± 1 ,

и С стандарт для «особых», который ограничивает это только положительными детерминантами. Я не знаю, откуда вы взяли, что инверсия существует только в О ( 3 ) (все ортогональные матрицы с положительным или отрицательным определителем), но это неверно. Элементы О ( 3 ) не в С О ( 3 ) (т.е. элементы О ( 3 ) С О ( 3 ) ) — матрицы со строго отрицательным определителем, и они называются неправильными вращениями. Они инвертируют оси координат, а также вращаются, из-за чего может возникнуть путаница. (Для ясности: правильное вращение г е т ( М ) "=" 1 , неправильное вращение г е т ( М ) "=" 1 .)

С U ( 2 ) это группа всех 2 × 2 комплексные матрицы с определителем 1 . U обозначает унитарный, который является сложной версией ортогонального:

U 1 "=" U г е т ( U ) "=" ± 1 ,

где кинжал является эрмитовым сопряжением, но все остальное то же самое (кроме сложных элементов). Есть четыре свободных реальных параметра, потому что есть шесть (несвободных) реальных параметров и два условия, 6 2 "=" 4 . В частности, это сложные этапы а и б (два действительных числа), относительная величина а и б , а значение γ , который является одним свободным вещественным параметром (или двумя вещественными числами и сложным условием, обеспечивающим его действительность).

Важным в этих двух группах является то, что С U ( 2 ) представляет собой двойную обложку С О ( 3 ) . Вот почему вам нужно четыре параметра, чтобы указать вращение в трехмерном пространстве, а не только три. Сфера Блоха в квантовой механике является проявлением этой связи. Двойное покрытие — вот почему угол уменьшается вдвое при переходе к блоховскому представлению кубита.

Спасибо за Ваш ответ. Ваше использование меня немного смущает. Вы говорите о любой матрице 3 x 3 с г е т ( М ) "=" ± 1 является ортогональным (определяется М 1 "=" М Т ) и наоборот? И любая матрица 2x2 с г е т ( U ) "=" ± 1 унитарна и наоборот. Это то, что вы говорите? Во-вторых, в Сакураи прямо говорится, что С О ( 3 ) и С U ( 2 ) не изоморфны, так как, например, поворот на 2 π и 4 π в С О ( 3 ) является одновременно единичной матрицей, где, как и в С U ( 2 ) они в -1 раз больше единичной матрицы и единичной матрицы соответственно. Что вы думаете?
Ре , да. Это означает «если и только если» и подразумевает двусторонний подход. Извините, да, я ошибся. С U ( 2 ) представляет собой двойную обложку С О ( 3 ) . С U ( 2 ) изоморфен кватернионам единичной нормы.

Во-первых, S означает «особый», что означает, что определитель матрицы равен 1. Ортогональные матрицы, удовлетворяющие О Т О "=" я с определителем -1 — повороты, совмещенные с преобразованиями четности — отражением в зеркале. Для вращений О Т это, конечно, матрица, обратная О ; но преобразования четности иногда называют «инверсией».

Обе группы используются в квантовой механике для описания свойств при вращении различных физических систем в зависимости от их углового момента. С U ( 2 ) описывает частицы-фермионы со спином 1/2, такие как электрон. С О ( 3 ) описывает системы со спином 1, такие как p-орбиталь атома водорода или поляризация массивного векторного бозона.