The Wigner -symbols , also known as " symbols" (Messiah 1962, p. 1056) or Wigner coefficients (Shore and Menzel 1968, p. 275) are quantities that arise in considering coupled angular momenta in two quantum systems.
They are returned by the Wolfram Language function ThreeJSymbol[j1, m1, j2, m2, j3, m3].
The parameters of the symbol (where has been written as ) are either integers or half-integers. Additionally, they satisfy the follow selection rules (Messiah 1962, pp. 1054-1056; Shore and Menzel 1968, p. 272).
1. , , and .
2. .
3. The triangular inequalities .
4. Integer perimeter rule: is an integer.
Note that not all these rules are independent, since rule (4) is implied by the other three. If these conditions are not satisfied, .
The Wigner -symbols have the symmetries
(1)
| |||
(2)
| |||
(3)
| |||
(4)
| |||
(5)
| |||
(6)
|
(Messiah 1962, p. 1056).
The -symbols can be computed using the Racah formula
(7)
|
where is a triangle coefficient,
(8)
|
and the sum is over all integers for which the factorials in all have nonnegative arguments (Messiah 1962, p. 1058; Shore and Menzel 1968, p. 273). In particular, the number of terms is equal to , where is the smallest of the nine numbers
(9)
|
(Messiah 1962, p. 1058).
The symbols obey the orthogonality relations
(10)
|
(11)
|
where is the Kronecker delta.
General formulas are very complicated, but some specific cases are
(12)
| |||
(13)
| |||
(14)
| |||
(15)
|
for (Condon and Shortley 1951, pp. 76-77; Messiah 1962, pp. 1058-1060; Shore and Menzel 1968, p. 275; Abramowitz and Stegun 1972, pp. 1006-1010).
For spherical harmonics ,
(16)
|
For values of obeying the triangle condition ,
(17)
|
and
(18)
|
They can be expressed using the related Clebsch-Gordan coefficients (Condon and Shortley 1951, pp. 74-75; Wigner 1959, p. 206), or Racah V-coefficients .
Connections among the Wigner -, Clebsch-Gordan, and Racah -symbols are given by
(19)
|
(20)
|
(21)
|