Коэффициенты Рака: пересвязка трёх угловых моментов

Когда складывают два угловых момента, хватает коэффициентов Клебша-Гордана: они переводят произведение состояний в состояния суммарного момента. Но как только моментов становится три, возникает выбор: какие два связать первыми. Разные порядки связывания дают разные базисы, и переход между ними описывают коэффициенты Рака. Это техническое, но ключевое звено: без него не посчитать матричные элементы в атомной спектроскопии, ядерной физике и теории групп. Разберём, что такое W-коэффициент Рака, как он связан с 6j-символом Вигнера, какие условия треугольника он накладывает и где именно студент встречает его в задачах. Ниже можно сразу подставить свои шесть моментов и проверить, не зануляется ли коэффициент на условиях треугольника.

Зачем нужны коэффициенты Рака

Сложим два момента $j_1$ и $j_2$. Состояния суммарного момента $j_{12}$ получаются из произведения одночастичных через коэффициенты Клебша-Гордана. Теперь добавим третий момент $j_3$. Полный момент $J$ один и тот же, но прийти к нему можно двумя путями:

• сначала связать $j_1$ и $j_2$ в $j_{12}$, затем добавить $j_3$;
• сначала связать $j_2$ и $j_3$ в $j_{23}$, затем добавить $j_1$.

Оба базиса описывают одно и то же физическое пространство состояний с полным моментом $J$, но это разные наборы базисных векторов. Переход между ними - унитарное преобразование, и его матричные элементы и есть коэффициенты Рака. Они показывают, насколько состояние с определённым промежуточным $j_{12}$ «перекрывается» с состоянием с определённым $j_{23}$.

Рассчитать для своей задачи

Физический смысл прямой: природе всё равно, в каком порядке мы мысленно складываем моменты, но удобный базис зависит от взаимодействия. В одном гамильтониане естественно связать первыми $j_1$ и $j_2$, в другом - $j_2$ и $j_3$. Коэффициент Рака - это словарь между двумя описаниями.

Определение W-коэффициента

Коэффициент Рака обозначают $W(j_1 j_2 J j_3; j_{12} j_{23})$. Переход между базисами записывается так:

$$|(j_1 j_2) j_{12}, j_3; J M\rangle = \sum_{j_{23}} \sqrt{(2 j_{12}+1)(2 j_{23}+1)}\, W(j_1 j_2 J j_3; j_{12} j_{23})\, |j_1, (j_2 j_3) j_{23}; J M\rangle.$$

Здесь $M$ - проекция полного момента; она в коэффициент не входит, что отражает скалярность преобразования. Множитель $\sqrt{(2 j_{12}+1)(2 j_{23}+1)}$ выносят отдельно, чтобы сам коэффициент Рака имел простые симметрии.

W-коэффициент можно записать через сумму четырёх коэффициентов Клебша-Гордана: пересвязка - это перестройка трёх последовательных сложений. Явная формула суммирования (формула Рака) громоздка, но важно понимать структуру: каждый коэффициент Рака есть свёртка элементарных сложений моментов, поэтому он автоматически наследует все ограничения на допустимые комбинации.

Условия треугольника

Коэффициент Рака отличен от нуля, только если выполнены четыре условия треугольника - для каждой тройки моментов, которая реально складывается:

$$\triangle(j_1\, j_2\, j_{12}), \quad \triangle(j_3\, j_{12}\, J), \quad \triangle(j_1\, j_{23}\, J), \quad \triangle(j_2\, j_3\, j_{23}).$$

Условие $\triangle(a\,b\,c)$ означает, что три числа удовлетворяют неравенству треугольника $|a-b| \le c \le a+b$ и их сумма $a+b+c$ целая. Если хотя бы одна тройка нарушает это правило, весь коэффициент обращается в ноль.

Это первый практический фильтр: прежде чем что-либо считать, проверьте четыре треугольника. Большинство «ненулевых» комбинаций на самом деле зануляются именно здесь. По сути коэффициенты Рака задают матрицу перехода от одного базиса к другому, и её элементы отличны от нуля только при «замкнутых» треугольниках.

Связь с 6j-символом Вигнера

В современной литературе чаще используют не сам W-коэффициент Рака, а 6j-символ Вигнера - его симметризованную версию. Связь линейная:

$$\begin{Bmatrix} j_1 & j_2 & j_{12} \\ j_3 & J & j_{23} \end{Bmatrix} = (-1)^{j_1+j_2+j_3+J}\, W(j_1 j_2 J j_3; j_{12} j_{23}).$$

6j-символ записывают в виде матрицы 2×3, но это не настоящая матрица - это компактная запись шести моментов, образующих четыре треугольника. Условия треугольника для 6j-символа читаются по столбцам и «диагоналям»: тройки $(j_1, j_2, j_{12})$, $(j_3, J, j_{12})$, $(j_1, J, j_{23})$, $(j_2, j_3, j_{23})$.

Рассчитать для своей задачи

Преимущество 6j-символа - высокая симметрия: он инвариантен относительно перестановки любых двух столбцов и относительно одновременной перестановки верхнего и нижнего элементов в любых двух столбцах. Всего это даёт 24 эквивалентные записи одного значения. У W-коэффициента Рака симметрии менее прозрачны, поэтому фактор $(-1)^{j_1+j_2+j_3+J}$ - небольшая плата за удобство.

Где встречаются на практике

Коэффициенты Рака и 6j-символы появляются всюду, где складывают больше двух моментов или вычисляют матричные элементы тензорных операторов:

1. Атомная спектроскопия. В LS-связи терм атома получается сложением орбитальных и спиновых моментов нескольких электронов; промежуточные пересвязки требуют 6j-символов.
2. Теорема Вигнера-Эккарта. Матричный элемент составного тензорного оператора сводится к произведению приведённых элементов и 6j-символа - это стандартный приём при расчёте интенсивностей переходов.
3. Ядерная физика. Оболочечная модель ядра постоянно пересвязывает моменты нуклонов; 6j- и 9j-символы - рабочий инструмент.
4. Спиновые системы. В задачах про обменное взаимодействие нескольких спинов, родственных спин-спиновому взаимодействию в ЯМР, порядок связывания влияет на удобство счёта.

Когда моментов становится четыре, переход между базисами описывает уже 9j-символ, который раскладывается в сумму произведений трёх 6j-символов. Так иерархия пересвязок продолжается: 3j - для сложения двух, 6j - для трёх, 9j - для четырёх моментов.

Как считать на практике

Руками коэффициент Рака почти никогда не выводят из формулы суммирования - это долго и легко ошибиться в фазах. На практике поступают так:

• проверяют четыре условия треугольника (если хоть одно нарушено - ответ ноль);
• пользуются таблицами или замкнутыми формулами для частных случаев (например, когда один из моментов равен $0$, $1/2$ или $1$);
• применяют симметрии 6j-символа, чтобы привести запись к табличной форме;
• для произвольных значений считают численно по формуле Рака через факториалы.

Частный случай: если любой из шести моментов равен нулю, 6j-символ сводится к простому выражению с дельта-символами и корнями из $(2j+1)$. Например, при $j_{23}=0$ получается

$$\begin{Bmatrix} j_1 & j_2 & j_{12} \\ j_3 & J & 0 \end{Bmatrix} = \frac{(-1)^{j_1+j_2+j_{12}}}{\sqrt{(2 j_{12}+1)(2 j_3+1)}}\, \delta_{j_2 j_3}\, \delta_{j_1 J}.$$

Это удобная проверка: подставив ноль в одну из ячеек, вы должны получить именно такой ответ с дельтами и корнями. Если численный код выдаёт что-то другое, значит, где-то перепутаны аргументы или потеряна фаза.

Ещё один полезный ориентир - ортогональность. Просуммировав квадраты 6j-символов по одному из промежуточных моментов с весом $(2 j_{12}+1)(2 j_{23}+1)$, получают единицу или дельта-символ. Это прямое следствие унитарности преобразования базисов: пересвязка не теряет и не добавляет состояний, поэтому сумма «вероятностей перекрытия» по полному набору промежуточных моментов нормирована. Соотношения ортогональности часто быстрее ведут к ответу, чем лобовой счёт по формуле Рака, и служат контролем при численных расчётах.

Частые ошибки

• Забывают проверить все четыре треугольника. Студенты проверяют один-два и считают коэффициент ненулевым, хотя он давно занулился на третьем.
• Путают порядок аргументов W-коэффициента и 6j-символа. В $W(j_1 j_2 J j_3; j_{12} j_{23})$ и в 6j-символе моменты стоят в разных местах; перенос «как есть» даёт неверную тройку.
• Теряют фазовый множитель $(-1)^{j_1+j_2+j_3+J}$ при переходе от W к 6j. Знак влияет на интерференцию вкладов.
• Считают $M$ существенной. Проекция полного момента в коэффициент Рака не входит - он скаляр по построению.
• Игнорируют целочисленность суммы. Неравенство треугольника выполнено, но сумма полуцелая - коэффициент всё равно ноль.

FAQ

Чем коэффициент Рака отличается от коэффициента Клебша-Гордана? Клебш-Гордан складывает два момента в один (произведение двух состояний → суммарный момент). Коэффициент Рака пересвязывает три момента - переводит базис с одной промежуточной связью в базис с другой. По сути Рака - это свёртка нескольких Клебшей-Горданов.

Почему чаще говорят про 6j-символ, а не про W-коэффициент? 6j-символ Вигнера - симметризованная версия коэффициента Рака. Он отличается лишь фазовым множителем $(-1)^{j_1+j_2+j_3+J}$, зато обладает 24 симметриями (перестановки столбцов и пар строк), что резко упрощает работу с таблицами и формулами.

Когда коэффициент Рака равен нулю? Когда нарушено хотя бы одно из четырёх условий треугольника: для троек $(j_1 j_2 j_{12})$, $(j_3 j_{12} J)$, $(j_1 j_{23} J)$, $(j_2 j_3 j_{23})$. Нарушение - это либо невыполнение неравенства $|a-b|\le c\le a+b$, либо полуцелая сумма $a+b+c$.

Коротко

Коэффициенты Рака описывают пересвязку трёх угловых моментов: переход между базисами, где первыми связаны $j_1$ и $j_2$, и базисом, где первыми связаны $j_2$ и $j_3$. Их симметризованная форма - 6j-символ Вигнера, отличающийся фазой $(-1)^{j_1+j_2+j_3+J}$ и обладающий 24 симметриями. Коэффициент отличен от нуля только при выполнении четырёх условий треугольника. На практике его не выводят руками, а берут из таблиц, частных формул или считают численно, проверив сначала треугольники.