Racah W-coefficient

Racah's W-coefficients were introduced by Giulio Racah in 1942. These coefficients have a purely mathematical definition. In physics they are used in calculations involving the quantum mechanical description of angular momentum, for example in atomic theory. The coefficients appear when there are three sources of angular momentum in the problem. For example, consider an atom with one electron in an s orbital and one electron in a p orbital. Each electron has electron spin angular momentum and in addition the p orbital has orbital angular momentum (an s orbital has zero orbital angular momentum). The atom may be described by LS coupling or by jj coupling as explained in the article on angular momentum coupling. The transformation between the wave functions that correspond to these two couplings involves a Racah W-coefficient.

Apart from a phase factor, Racah's W-coefficients are equal to Wigner's 6-j symbols, so any equation involving Racah's W-coefficients may be rewritten using 6-j symbols. This is often advantageous because the symmetry properties of 6-j symbols are easier to remember.

Angular momenta in the Racah W coefficients. The top is a 2d plane projection as a quadrilateral, the bottom is a 3d tetrahedral arrangement.

Racah coefficients are related to recoupling coefficients by

[math]\displaystyle{ W(j_1j_2Jj_3;J_{12}J_{23}) \equiv \frac{\langle (j_1, (j_2j_3)J_{23}) J | ((j_1j_2)J_{12},j_3)J \rangle}{\sqrt{(2J_{12}+1)(2J_{23}+1)}}. }[/math]

Recoupling coefficients are elements of a unitary transformation and their definition is given in the next section. Racah coefficients have more convenient symmetry properties than the recoupling coefficients (but less convenient than the 6-j symbols).

Recoupling coefficients

Coupling of two angular momenta [math]\displaystyle{ \mathbf{j}_1 }[/math] and [math]\displaystyle{ \mathbf{j}_2 }[/math] is the construction of simultaneous eigenfunctions of [math]\displaystyle{ \mathbf{J}^2 }[/math] and [math]\displaystyle{ J_z }[/math], where [math]\displaystyle{ \mathbf{J}=\mathbf{j}_1+\mathbf{j}_2 }[/math], as explained in the article on Clebsch–Gordan coefficients. The result is

[math]\displaystyle{ |(j_1j_2)JM\rangle = \sum_{m_1=-j_1}^{j_1} \sum_{m_2=-j_2}^{j_2} |j_1m_1\rangle |j_2m_2\rangle \langle j_1m_1j_2m_2|JM\rangle, }[/math]

where [math]\displaystyle{ J=|j_1-j_2|,\ldots,j_1+j_2 }[/math] and [math]\displaystyle{ M=-J,\ldots,J }[/math].

Coupling of three angular momenta [math]\displaystyle{ \mathbf{j}_1 }[/math], [math]\displaystyle{ \mathbf{j}_2 }[/math], and [math]\displaystyle{ \mathbf{j}_3 }[/math], may be done by first coupling [math]\displaystyle{ \mathbf{j}_1 }[/math] and [math]\displaystyle{ \mathbf{j}_2 }[/math] to [math]\displaystyle{ \mathbf{J}_{12} }[/math] and next coupling [math]\displaystyle{ \mathbf{J}_{12} }[/math] and [math]\displaystyle{ \mathbf{j}_3 }[/math] to total angular momentum [math]\displaystyle{ \mathbf{J} }[/math]:

[math]\displaystyle{ |((j_1j_2)J_{12}j_3)JM\rangle = \sum_{M_{12}=-J_{12}}^{J_{12}} \sum_{m_3=-j_3}^{j_3} |(j_1j_2)J_{12}M_{12}\rangle |j_3m_3\rangle \langle J_{12}M_{12}j_3m_3|JM\rangle }[/math]

Alternatively, one may first couple [math]\displaystyle{ \mathbf{j}_2 }[/math] and [math]\displaystyle{ \mathbf{j}_3 }[/math] to [math]\displaystyle{ \mathbf{J}_{23} }[/math] and next couple [math]\displaystyle{ \mathbf{j}_1 }[/math] and [math]\displaystyle{ \mathbf{J}_{23} }[/math] to [math]\displaystyle{ \mathbf{J} }[/math]:

[math]\displaystyle{ |(j_1,(j_2j_3)J_{23})JM \rangle = \sum_{m_1=-j_1}^{j_1} \sum_{M_{23}=-J_{23}}^{J_{23}} |j_1m_1\rangle |(j_2j_3)J_{23}M_{23}\rangle \langle j_1m_1J_{23}M_{23}|JM\rangle }[/math]

Both coupling schemes result in complete orthonormal bases for the [math]\displaystyle{ (2j_1+1)(2j_2+1)(2j_3+1) }[/math] dimensional space spanned by

[math]\displaystyle{ |j_1 m_1\rangle |j_2 m_2\rangle |j_3 m_3\rangle, \;\; m_1=-j_1,\ldots,j_1;\;\; m_2=-j_2,\ldots,j_2;\;\; m_3=-j_3,\ldots,j_3. }[/math]

Hence, the two total angular momentum bases are related by a unitary transformation. The matrix elements of this unitary transformation are given by a scalar product and are known as recoupling coefficients. The coefficients are independent of [math]\displaystyle{ M }[/math] and so we have

[math]\displaystyle{ |((j_1j_2)J_{12}j_3)JM\rangle = \sum_{J_{23}} |(j_1,(j_2j_3)J_{23})JM \rangle \langle (j_1,(j_2j_3)J_{23})J |((j_1j_2)J_{12}j_3)J\rangle. }[/math]

The independence of [math]\displaystyle{ M }[/math] follows readily by writing this equation for [math]\displaystyle{ M=J }[/math] and applying the lowering operator [math]\displaystyle{ J_- }[/math] to both sides of the equation. The definition of Racah W-coefficients lets us write this final expression as

[math]\displaystyle{ |((j_1j_2)J_{12}j_3)JM\rangle = \sum_{J_{23}} |(j_1,(j_2j_3)J_{23})JM \rangle W(j_1j_2Jj_3; J_{12}J_{23}) \sqrt{(2J_{12}+1)(2J_{23}+1)}. }[/math]

Algebra

Let

[math]\displaystyle{ \Delta(a,b,c)=[(a+b-c)!(a-b+c)!(-a+b+c)!/(a+b+c+1)!]^{1/2} }[/math]

be the usual triangular factor, then the Racah coefficient is a product of four of these by a sum over factorials,

[math]\displaystyle{ W(abcd;ef)=\Delta(a,b,e)\Delta(c,d,e)\Delta(a,c,f)\Delta(b,d,f)w(abcd;ef) }[/math]

where

[math]\displaystyle{ w(abcd;ef)\equiv \sum_z\frac{(-1)^{z+\beta_1}(z+1)!}{(z-\alpha_1)!(z-\alpha_2)!(z-\alpha_3)! (z-\alpha_4)!(\beta_1-z)!(\beta_2-z)!(\beta_3-z)!} }[/math]

and

[math]\displaystyle{ \alpha_1=a+b+e;\quad \beta_1=a+b+c+d; }[/math]

[math]\displaystyle{ \alpha_2=c+d+e;\quad \beta_2=a+d+e+f; }[/math]

[math]\displaystyle{ \alpha_3=a+c+f;\quad \beta_3=b+c+e+f; }[/math]

[math]\displaystyle{ \alpha_4=b+d+f. }[/math]

The sum over [math]\displaystyle{ z }[/math] is finite over the range

[math]\displaystyle{ \max(\alpha_1,\alpha_2,\alpha_3,\alpha_4) \le z \le \min(\beta_1,\beta_2,\beta_3). }[/math]

Relation to Wigner's 6-j symbol

Racah's W-coefficients are related to Wigner's 6-j symbols, which have even more convenient symmetry properties

[math]\displaystyle{ W(abcd;ef)(-1)^{a+b+c+d}= \begin{Bmatrix} a&b&e\\ d&c&f \end{Bmatrix}. }[/math]

Cf. or

[math]\displaystyle{ W(j_1j_2Jj_3;J_{12}J_{23}) = (-1)^{j_1+j_2+j_3+J} \begin{Bmatrix} j_1 & j_2 & J_{12}\\ j_3 & J & J_{23} \end{Bmatrix}. }[/math]

See also

• Clebsch–Gordan coefficients
• 3-j symbol
• 6-j symbol
• Pandya theorem

Further reading

• Edmonds, A. R. (1957). Angular Momentum in Quantum Mechanics. Princeton, New Jersey: Princeton University Press. ISBN 0-691-07912-9. https://archive.org/details/angularmomentumi0000edmo. 
• Condon, Edward U.; Shortley, G. H. (1970). "Chapter 3". The Theory of Atomic Spectra. Cambridge: Cambridge University Press. ISBN 0-521-09209-4. https://archive.org/details/in.ernet.dli.2015.212979. 
• Messiah, Albert (1981). Quantum Mechanics (Volume II) (12th ed.). New York: North Holland Publishing. ISBN 0-7204-0045-7. 
• Sato, Masachiyo (1955). "General formula of the Racah coefficient". Progress of Theoretical Physics 13 (4): 405–414. doi:10.1143/PTP.13.405. Bibcode: 1955PThPh..13..405S. 
• Brink, D. M.; Satchler, G. R. (1993). "Chapter 2". Angular Momentum (3rd ed.). Oxford: Clarendon Press. ISBN 0-19-851759-9. https://archive.org/details/angularmomentum0000brin. 
• Zare, Richard N. (1988). "Chapter 2". Angular Momentum. New York: John Wiley & Sons. ISBN 0-471-85892-7. 
• Biedenharn, L. C.; Louck, J. D. (1981). Angular Momentum in Quantum Physics. Reading, Massachusetts: Addison-Wesley. ISBN 0-201-13507-8. 

External links

• Hazewinkel, Michiel, ed. (2001), "Racah-Wigner coefficients", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=p/r110010