Фиксация фазы коэффициентов Клебша-Гордана для jjjs меньше максимального значения

У меня вопрос по шагу в расчете CG-коэффициентов для состояния продукта

| л , с , Дж , м Дж "=" м Дж , м с С м Дж , м с | л , м л | с , м с

для заданных квантовых чисел л "=" 1 и с "=" 1 / 2 .

Очевидно | 1 , 1 / 2 , 3 / 2 , 3 / 2 "=" | 1 , м л "=" 1 | 1 / 2 , м с "=" 1 / 2 . Применение лестничного оператора Дж "=" л + с это легко увидеть

| 1 , 1 / 2 , 3 / 2 , 1 / 2 "=" Дж | 1 , 1 / 2 , 3 / 2 , 3 / 2 "=" 2 / 3 | 1 , 0 | 1 / 2 , 1 / 2 + 1 / 3 | 1 , 1 | 1 / 2 , 1 / 2

Похожий

Дж + | 1 , 1 / 2 , 3 / 2 , 3 / 2 "=" 2 / 3 | 1 , 0 | 1 / 2 , 1 / 2 + 1 / 3 | 1 , 1 | 1 / 2 , 1 / 2

Меня интересует вычисление | 1 , 1 / 2 , 1 / 2 , 1 / 2 и | 1 , 1 / 2 , 1 / 2 , 1 / 2 .

По условию ортогональности они должны быть ортогональны | 1 , 1 / 2 , 3 / 2 , ± 1 / 2 .

Используя это, я получаю, например, только

| 1 , 1 / 2 , 1 / 2 , 1 / 2 "=" 1 / 3 | 1 , 0 | 1 / 2 , 1 / 2 + ± 2 / 3 | 1 , 1 | 1 / 2 , 1 / 2

так что я могу рассчитать ЦТ с точностью до знака ± . По CG однозначно определяются. Как можно их вычислить?

Ответы (2)

Коэффициенты CG обычно определяются путем сначала построения наивысшего состояния в каждом ирреанимации, т. е. состояния, для которого М "=" Дж . Это состояние определяется требованием, что оно должно быть убито л + , т.е.

л + | , с , Дж , Дж "=" 0
Отсюда можно получить рекурсивное соотношение для всех CG, необходимых для высшего состояния | , с , Дж , Дж , и эта рекурсия может быть полностью определена в терминах С , м с с м с "=" Дж . Этого достаточно, чтобы зафиксировать относительные фазы ЦТ для высшего состояния, но не общую фазу. На известном примере "=" 1 / 2 и с "=" 1 / 2 , Штаты
(1) | 00 ± "=" ± 1 2 ( | 1 2 , 1 2 | 1 2 , 1 2 | 1 2 , 1 2 | 1 2 , 1 2 ) .
оба убиты л + "=" л + ( 1 ) + л + ( 2 ) .

Коэффициент С , м с часто оценивается с использованием условия нормализации, поэтому его знак может быть произвольным. Обычное фазовое соглашение Кондона-Шортли состоит в том, чтобы выбрать положительным коэффициент С , м с государства | , | с , Дж , т.е. сохранить | 00 + состояние в примере (1). Это фазовое соглашение является наиболее часто используемым.

Как только относительные фазы этого высшего состояния установлены, фаза других коэффициентов с м Дж Дж следуют из действия понижающего оператора.

Нет ничего более широко принятого, чем соглашение Кондона-Шортли для фазы CG для представлений других (ли) алгебр, vg с ты ( 3 ) . В самом деле, нет согласия даже в отношении знаков образующих матричных элементов, хотя схема Гельфанда Цейтлина в качестве ассоциированных матричных элементов часто принимается (эта схема может стать громоздкой для алгебраических манипуляций).

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

Beyond Mathematica (со встроенной функцией ClesbshGordan для с ты ( 2 ) случай), есть веб-интерфейс для численного вычисления с ты ( Н ) CG для любого Н с использованием базиса Гельфанда-Цейтлина.

Здесь есть некоторая двусмысленность, потому что состояния | 1 , 1 2 , 1 2 , 1 2 и | 1 , 1 2 , 3 2 , 1 2 живут в разных представлениях, и если применить глобальную фазу ко всему Дж "=" 1 / 2 представление о последствиях будет весьма ограниченным. Тем не менее, поскольку мы хотим иметь единственное однозначное определение коэффициентов Клебша-Гордана (как дано, например, в главе 34 DLMF , в частности, в уравнениях 34.1.1 и 34.2.4), нам необходимо зафиксировать эту фазу.

Основной критерий для этого дан в §3.4 книги Эдмондса « Угловой момент в квантовой механике» , и вкратце он заключается в том, что вы требуете, чтобы

Все матричные элементы Дж 1 Икс которые недиагональны в Дж действительны и неотрицательны.

Это предполагает условие, что если зафиксировать фазу м Дж "=" Дж состояние с использованием матричного элемента в одно состояние в другом Дж представление, то все возможные матричные элементы между двумя представлениями также будут обладать этим свойством. Это нетривиально, и доказательство есть у Эдмондса, но повторять его здесь нет смысла.

Если вы хотите перепроверить свою работу, один удобный прием — это вычисление коэффициента в Mathematica (например, как ClebschGordan[{1/2, 1/2}, {1, 0}, {1/2, 1/2}] , или, в более общем смысле, используя синтаксис ClebschGordan[{j1, m1}, {j2, m2}, {j, m}]), или попросив Wolfram Alpha сделать этот расчет за вас .