0
$\begingroup$

I am learning about coupled angular momenta and came across the Wigner 3-j-symbols which are defined by \begin{equation} \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. \end{equation}

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. \begin{equation} \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 \end{equation}

  3. \begin{equation} \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} \end{equation}

  4. \begin{equation} \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} \end{equation}

  5. \begin{equation} \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} \end{equation}

Thank you in advance.

$\endgroup$
  • $\begingroup$ You might check out "Quantum Theory of Angular Momentum" edited by L C Biedharn and H van Dam, published by Academic Press (1965). $\endgroup$ – Lewis Miller Jan 2 at 16:32
0
$\begingroup$
  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.

$\endgroup$
  • $\begingroup$ Thank you. I have one more question regarding 2: You mention the definition of the 3-j-symbol as the coupling of three angular momenta. Is this another (maybe explicit) definition not involving Clebsch-Gordan coefficients? $\endgroup$ – physicist23 Jan 3 at 16:13
  • $\begingroup$ @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. $\endgroup$ – ZeroTheHero Jan 3 at 19:28
  • $\begingroup$ In this case, how can I see the connection between the 3-j-symbols and the coupling of three angular momentum more obviously? I mean: The definition above only refers to CG and those are the coefficients for coupling two angular momenta, not three. $\endgroup$ – physicist23 Jan 3 at 21:39
  • $\begingroup$ 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}$. $\endgroup$ – ZeroTheHero Jan 3 at 22:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.