Symmetry Properties for Wigner 3j-symbols

I am learning about coupled angular momenta and came across the Wigner 3-j-symbols which are defined by $$$$\left( { \begin{array}{ccc} j_1 & j_2 & j_3 \\ m_1 & m_2 & m_3 \\ \end{array} } \right) = \frac{(-1)^{j_1 - j_2 - m_3}}{\sqrt{2 j_3 + 1}} \langle j_1 \, m_1 \, j_2 \, m_2 | j_3 \, (-m_3) \rangle.$$$$

According to Wikipedia, various symmetries and selection rules hold for these symbols. For example, it is said that the exponent of the sign factor is always an integer and that the symbols have something to do with the addition of three angular momenta.

I have already taken a look into Quantum Mechanics by Tannoudji, Messiah and Schwabl, but could only find the properties and no proof for these claims. That is why I want to ask if someone can provide me with a reference for those proofs, especially why

1. The exponent of the sign is always an integer.

2. $$$$\sum_{m_1=-j_1}^{j_1} \sum_{m_2=-j_2}^{j_2} \sum_{m_3=-j_3}^{j_3} |j_1 m_1\rangle |j_2 m_2\rangle |j_3 m_3\rangle \begin{pmatrix} j_1 & j_2 & j_3\\ m_1 & m_2 & m_3 \end{pmatrix} = |0\,0\rangle$$$$

3. $$$$\begin{pmatrix} j_1 & j_2 & j_3\\ m_1 & m_2 & m_3 \end{pmatrix} = \begin{pmatrix} j_2 & j_3 & j_1\\ m_2 & m_3 & m_1 \end{pmatrix} = \begin{pmatrix} j_3 & j_1 & j_2\\ m_3 & m_1 & m_2 \end{pmatrix}$$$$

4. $$$$\begin{pmatrix} j_1 & j_2 & j_3\\ m_1 & m_2 & m_3 \end{pmatrix} = (-1)^{j_1+j_2+j_3} \begin{pmatrix} j_2 & j_1 & j_3\\ m_2 & m_1 & m_3 \end{pmatrix} = (-1)^{j_1+j_2+j_3} \begin{pmatrix} j_1 & j_3 & j_2\\ m_1 & m_3 & m_2 \end{pmatrix}$$$$

5. $$$$\begin{pmatrix} j_1 & j_2 & j_3\\ -m_1 & -m_2 & -m_3 \end{pmatrix} = (-1)^{j_1+j_2+j_3} \begin{pmatrix} j_1 & j_2 & j_3\\ m_1 & m_2 & m_3 \end{pmatrix}$$$$

• You might check out "Quantum Theory of Angular Momentum" edited by L C Biedharn and H van Dam, published by Academic Press (1965). – Lewis Miller Jan 2 at 16:32

1. If $$j_1$$ and $$j_2$$ are half-integer, their product $$j_1\otimes j_2$$ can only contain integer values of $$j_3$$; for instance, coupling $$j_1=1/2$$ to $$j_2=1/2$$ yields $$j_3=0,1$$. In such a case clearly the sum is an integer. Likewise, if one of $$j_1$$ or $$j_2$$ is half-integer, then $$j_3$$ will also be half integer; for instance the coupling $$j_1=1/2$$ to $$j_2=1$$ yields $$j_3=1/2,3/2$$. Again the sum is an integer.
2. By definition the $$3j$$ symbol is defined as the coupling of $$j_1, j_2,j_3$$ to a scalar.
3., 4. and 5. actually follow from the definition the $$3j$$ via 2.
In the case of "vectors", where $$j_1=j_2=j_3=1$$, the $$3j$$ can be thought of as related to the invariant constructed from $$\vec j_1\cdot \vec j_2\times \vec j_3$$. This can be evaluated as a determinant, which is invariant under cyclic permutations of column as in (3) but picks up a sign under transposition of two rows, as in 4. Likewise, 5. can be seen as related to the parity operation that interchanges the $$\hat z$$ axis. I would not take these analogies very far but at least they give you a sense of why one would expect some sort of sign to occur in elementary situations.
• @physicist23 not that I know of. AFAIR the $3j$-coefficient was introduced in the context of invariant theory; if anything I believe it predates the actual CG; Wigner at least studied and wrote in terms of $3j$’s, not CGs. – ZeroTheHero Jan 3 at 19:28
• If you want this interpretation in terms of CG you need $\langle j_1 m_!;j_2m_2\vert JM\rangle \langle JM; j_3 m_3\vert 00\rangle$ and use the fact that only $J=j_3$ and $M=-m_3$ can give you coupling to $0$. The CG $\langle JM; j_3 m_3\vert 00\rangle$ is basically the factor of $1/\sqrt{2 j_3+1}$. – ZeroTheHero Jan 3 at 22:06