Английская Википедия:9-j symbol
In physics, Wigner's 9-j symbols were introduced by Eugene Paul Wigner in 1937. They are related to recoupling coefficients in quantum mechanics involving four angular momenta
<math>
\sqrt{(2j_3+1)(2j_6+1)(2j_7+1)(2j_8+1)}
\begin{Bmatrix}
j_1 & j_2 & j_3\\
j_4 & j_5 & j_6\\
j_7 & j_8 & j_9
\end{Bmatrix}
=
\langle ( (j_1j_2)j_3,(j_4j_5)j_6)j_9 | ((j_1 j_4)j_7,(j_2j_5)j_8)j_9\rangle.
</math>
Recoupling of four angular momentum vectors
Coupling of two angular momenta <math>\mathbf{j}_1</math> and <math>\mathbf{j}_2</math> is the construction of simultaneous eigenfunctions of <math>\mathbf{J}^2</math> and <math>J_z</math>, where <math>\mathbf{J}=\mathbf{j}_1+\mathbf{j}_2</math>, as explained in the article on Clebsch–Gordan coefficients.
Coupling of three angular momenta can be done in several ways, as explained in the article on Racah W-coefficients. Using the notation and techniques of that article, total angular momentum states that arise from coupling the angular momentum vectors <math>\mathbf{j}_1</math>, <math>\mathbf{j}_2</math>, <math>\mathbf{j}_4</math>, and <math>\mathbf{j}_5</math> may be written as
- <math>
| ((j_1j_2)j_3, (j_4j_5)j_6)j_9m_9\rangle.
</math> Alternatively, one may first couple <math>\mathbf{j}_1</math> and <math>\mathbf{j}_4</math> to <math>\mathbf{j}_7</math> and <math>\mathbf{j}_2</math> and <math>\mathbf{j}_5</math> to <math>\mathbf{j}_8</math>, before coupling <math>\mathbf{j}_7</math> and <math>\mathbf{j}_8</math> to <math>\mathbf{j}_9</math>:
- <math>
|((j_1j_4)j_7, (j_2j_5)j_8)j_9m_9\rangle.
</math> Both sets of functions provide a complete, orthonormal basis for the space with dimension <math>(2j_1+1)(2j_2+1)(2j_4+1)(2j_5+1)</math> spanned by
- <math>
|j_1 m_1\rangle |j_2 m_2\rangle |j_4 m_4\rangle |j_5 m_5\rangle, \;\; m_1=-j_1,\ldots,j_1;\;\; m_2=-j_2,\ldots,j_2;\;\; m_4=-j_4,\ldots,j_4;\;\;m_5=-j_5,\ldots,j_5.
</math> Hence, the transformation between the two sets is unitary and the matrix elements of the transformation are given by the scalar products of the functions. As in the case of the Racah W-coefficients the matrix elements are independent of the total angular momentum projection quantum number (<math>m_9</math>):
- <math>
|((j_1j_4)j_7, (j_2j_5)j_8)j_9m_9\rangle = \sum_{j_3}\sum_{j_6}
| ((j_1j_2)j_3, (j_4j_5)j_6)j_9m_9\rangle
\langle ( (j_1j_2)j_3,(j_4j_5)j_6)j_9 | ((j_1 j_4)j_7,(j_2j_5)j_8)j_9\rangle.
</math>
Symmetry relations
A 9-j symbol is invariant under reflection about either diagonal as well as even permutations of its rows or columns:
- <math>
\begin{Bmatrix}
j_1 & j_2 & j_3\\
j_4 & j_5 & j_6\\
j_7 & j_8 & j_9
\end{Bmatrix}
=
\begin{Bmatrix}
j_1 & j_4 & j_7\\
j_2 & j_5 & j_8\\
j_3 & j_6 & j_9
\end{Bmatrix}
=
\begin{Bmatrix}
j_9 & j_6 & j_3\\
j_8 & j_5 & j_2\\
j_7 & j_4 & j_1
\end{Bmatrix}
=
\begin{Bmatrix}
j_7 & j_4 & j_1\\
j_9 & j_6 & j_3\\
j_8 & j_5 & j_2
\end{Bmatrix}.
</math>
An odd permutation of rows or columns yields a phase factor <math>(-1)^S</math>, where
- <math>S=\sum_{i=1}^9 j_i.
</math> For example:
- <math>
\begin{Bmatrix}
j_1 & j_2 & j_3\\
j_4 & j_5 & j_6\\
j_7 & j_8 & j_9
\end{Bmatrix}
=
(-1)^S
\begin{Bmatrix}
j_4 & j_5 & j_6\\
j_1 & j_2 & j_3\\
j_7 & j_8 & j_9
\end{Bmatrix}
=
(-1)^S
\begin{Bmatrix}
j_2 & j_1 & j_3\\
j_5 & j_4 & j_6\\
j_8 & j_7 & j_9
\end{Bmatrix}.
</math>
Reduction to 6j symbols
The 9-j symbols can be calculated as sums over triple-products of 6-j symbols where the summation extends over all Шаблон:Math admitted by the triangle conditions in the factors:
- <math>
\begin{Bmatrix}
j_1 & j_2 & j_3 \\
j_4 & j_5 & j_6 \\
j_7 & j_8 & j_9
\end{Bmatrix} = \sum_x (-1)^{2 x}(2 x + 1)
\begin{Bmatrix}
j_1 & j_4 & j_7 \\
j_8 & j_9 & x
\end{Bmatrix}
\begin{Bmatrix}
j_2 & j_5 & j_8 \\
j_4 & x & j_6
\end{Bmatrix}
\begin{Bmatrix}
j_3 & j_6 & j_9 \\
x & j_1 & j_2
\end{Bmatrix}
</math>.
Special case
When <math>j_9=0</math> the 9-j symbol is proportional to a 6-j symbol:
- <math>
\begin{Bmatrix}
j_1 & j_2 & j_3\\
j_4 & j_5 & j_6\\
j_7 & j_8 & 0
\end{Bmatrix}
=
\frac{\delta_{j_3,j_6} \delta_{j_7,j_8}}{\sqrt{(2j_3+1)(2j_7+1)}}
(-1)^{j_2+j_3+j_4+j_7}
\begin{Bmatrix}
j_1 & j_2 & j_3\\
j_5 & j_4 & j_7
\end{Bmatrix}.
</math>
Orthogonality relation
The 9-j symbols satisfy this orthogonality relation:
- <math>
\sum_{j_7 j_8} (2j_7+1)(2j_8+1)
\begin{Bmatrix}
j_1 & j_2 & j_3\\
j_4 & j_5 & j_6\\
j_7 & j_8 & j_9
\end{Bmatrix}
\begin{Bmatrix}
j_1 & j_2 & j_3'\\
j_4 & j_5 & j_6'\\
j_7 & j_8 & j_9
\end{Bmatrix}
= \frac{\delta_{j_3j_3'}\delta_{j_6j_6'} \begin{Bmatrix} j_1 & j_2 & j_3 \end{Bmatrix} \begin{Bmatrix} j_4 & j_5 & j_6\end{Bmatrix} \begin{Bmatrix} j_3 & j_6 & j_9 \end{Bmatrix}}
{(2j_3+1)(2j_6+1)}.
</math> The triangular delta Шаблон:Math is equal to 1 when the triad (j1, j2, j3) satisfies the triangle conditions, and zero otherwise.
3n-j symbols
The 6-j symbol is the first representative, Шаблон:Math, of Шаблон:Math-j symbols that are defined as sums of products of Шаблон:Math of Wigner's 3-jm coefficients. The sums are over all combinations of Шаблон:Math that the Шаблон:Math-j coefficients admit, i.e., which lead to non-vanishing contributions.
If each 3-jm factor is represented by a vertex and each j by an edge, these Шаблон:Math-j symbols can be mapped on certain 3-regular graphs with Шаблон:Math edges and Шаблон:Math nodes. The 6-j symbol is associated with the K4 graph on 4 vertices, the 9-j symbol with the utility graph on 6 vertices (K3,3), and the two distinct (non-isomorphic) 12-j symbols with the Q3 and Wagner graphs on 8 vertices. Symmetry relations are generally representative of the automorphism group of these graphs.
See also
- Clebsch–Gordan coefficients
- 3-j symbol, also called 3-jm symbol
- Racah W-coefficient
- 6-j symbol
References
- Шаблон:Cite book
- Шаблон:Cite book
- Шаблон:Cite book
- Шаблон:Dlmf
- Шаблон:Cite book
- Шаблон:Cite book
- Шаблон:Cite book
- Шаблон:Cite book
- Шаблон:Cite book
- Шаблон:Cite journal
External links
- Шаблон:Cite web (Gives answer in exact fractions)
- Шаблон:Cite web (Answer as floating point numbers)
- Шаблон:Cite web
- Шаблон:Cite web (accurate; C, fortran, python)
- Шаблон:Cite web (fast lookup, accurate; C, fortran)
