Clebsch-Gordan coefficients

From Wikipedia, the free encyclopedia

(Redirected from Clebsch-Gordan coefficient)
Jump to: navigation, search

In physics, the Clebsch-Gordan coefficients are sets of numbers that arise in angular momentum coupling under the laws of quantum mechanics.

In more mathematical terms, the CG coefficients are used in representation theory, particularly of compact Lie groups, to perform the explicit direct sum decomposition of the tensor product of two irreducible representations into irreducible representations, in cases where the numbers and types of irreducible components are already known abstractly. The name derives from the German mathematicians Alfred Clebsch (1833-1872) and Paul Gordan (1837-1912), who encountered an equivalent problem in invariant theory.

In terms of classical mathematics, the CG coefficients, or at least those associated to the group SO(3), may be defined much more directly, by means of formulae for the multiplication of spherical harmonics. The addition of spins in quantum-mechanical terms can be read directly from this approach. The formulas below use Dirac's bra-ket notation.

Contents

Clebsch-Gordan coefficients are the expansion coefficients of total angular momentum eigenstates in an uncoupled tensor product basis.

Below, this definition is made precise by defining angular momentum operators, angular momentum eigenstates, and tensor products of these states.

From the formal definition recursion relations for the Clebsch-Gordan coefficients can be found. To find numerical values for the coefficients a phase convention must be adopted. Below the Condon and Shortley phase convention is chosen.

Angular momentum operators are Hermitian operators j1,j2, and j3 that satisfy the commutation relations


  [j_k,j_l] = i \sum_{m=1}^3 \varepsilon_{klm}j_m,

where \varepsilon_{klm} is the Levi-Civita symbol. Together the three components define a vector operator {\mathbf j}. The square of the length of {\mathbf j} is defined as


\mathbf{j}^2 = j_1^2+j_2^2+j_3^2.

We also define raising (j + ) and lowering (j ) operators


j_\pm = j_1 \pm i j_2. \,

It can be shown from the above definitions that \mathbf{j}^2 commutes with j1,j2 and j3


  [\mathbf{j}^2, j_k] = 0\ \mathrm{for}\ k = 1,2,3

When two Hermitian operators commute a common set of eigenfunctions exists. Conventionally \mathbf{j}^2 and j3 are chosen. From the commutation relations the possible eigenvalues can be found. The result is


\begin{alignat}{2}
  \mathbf{j}^2 |j\,m\rangle = j(j+1) |j\,m\rangle & \;\;\; j=0, 1/2, 1, 3/2, 2, \ldots\\
   j_3|j\,m\rangle = m |j\,m\rangle               & \;\;\; m = -j, -j+1, \ldots , j.
\end{alignat}

The raising and lowering operators change the value of m


  j_\pm |j\,m\rangle = C_\pm(j,m) |j\,m\pm 1\rangle

with


  C_\pm(j,m) = \sqrt{j(j+1)-m(m\pm 1)} = \sqrt{(j\mp m)(j\pm m + 1)}.

A (complex) phase factor could be included in the definition of C_\pm(j,m) The choice made here is in agreement with the Condon and Shortley phase conventions. The angular momentum states must be orthogonal (because their eigenvalues with respect to a Hermitian operator are distinct) and they are assumed to be normalized


  \langle j_1\,m_1 | j_2\,m_2 \rangle = \delta_{j_1,j_2}\delta_{m_1,m_2}.

Let V1 be the 2j1 + 1 dimensional vector space spanned by the states


  |j_1 m_1\rangle,\quad m_1=-j_1,-j_1+1,\ldots j_1

and V2 the 2j2 + 1 dimensional vector space spanned by


  |j_2 m_2\rangle,\quad m_2=-j_2,-j_2+1,\ldots j_2.

The tensor product of these spaces, V_{12}\equiv V_1\otimes V_2, has a (2j1 + 1)(2j2 + 1) dimensional uncoupled basis


  |j_1 m_1\rangle|j_2 m_2\rangle \equiv |j_1 m_1\rangle \otimes |j_2 m_2\rangle, \quad m_1=-j_1,\ldots j_1, \quad m_2=-j_2,\ldots j_2.

Angular momentum operators acting on V12 can be defined by


  (j_i \otimes 1)|j_1 m_1\rangle|j_2 m_2\rangle \equiv (j_i|j_1m_1\rangle) \otimes |j_2m_2\rangle

and


  (1 \otimes j_i) |j_1 m_1\rangle|j_2 m_2\rangle) \equiv |j_1m_1\rangle \otimes j_i|j_2m_2\rangle.

Total angular momentum operators are defined by


  J_i = j_i \otimes 1 + 1 \otimes j_i\quad\mathrm{for}\quad i = 1,2,3

The total angular momentum operators satisfy the required commutation relations


  [J_k,J_l] = i 2\sum_{m=1}^3 \epsilon_{klm}J_m

and hence total angular momentum eigenstates exist


  \begin{align}
  \mathbf{J}^2 |(j_1j_2)JM\rangle &= J(J+1) |(j_1j_2)JM\rangle \\
  J_z |(j_1j_2)JM\rangle &= M |(j_1j_2)JM\rangle,\quad \mathrm{for}\quad M=-J,\ldots,J
  \end{align}

It can be derived that J must satisfy the triangular condition


  |j_1-j_2| \leq J \leq j_1+j_2

The total number of total angular momentum eigenstates is equal to the dimension of V12


  \sum_{J=|j_1-j_2|}^{j_1+j_2} (2J+1) = (2j_1+1)(2j_2+1)

The total angular momentum states form an orthonormal basis of V12


  \langle J_1 M_1 | J_2 M_2 \rangle = \delta_{J_1J_2}\delta_{M_1M_2}

The total angular momentum states can be expanded in the uncoupled basis


  |(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

The expansion coefficients \langle j_1m_1j_2m_2|JM\rangle are called Clebsch-Gordan coefficients.

Applying the operator


  J_3 = j_3 \otimes 1 + 1 \otimes j_3

to both sides of the defining equation shows that the Clebsch-Gordan coefficients can only be nonzero when


M = m_1 + m_2.\,

Applying the total angular momentum raising and lowering operators


  J_\pm = j_\pm \otimes 1 + 1 \otimes j_\pm

to the left hand side of the defining equation gives


  J_\pm|(j_1j_2)JM\rangle = C_\pm(J,M) |(j_1j_2)JM\pm 1\rangle =
  C_\pm(J,M)\sum_{m_1m_2}|j_1m_1\rangle|j_2m_2\rangle \langle j_1 m_1 j_2 m_2|J M\pm 1\rangle.

Applying the same operators to the right hand side gives


  \begin{align}
  J_\pm  & \sum_{m_1m_2} |j_1m_1\rangle|j_2m_2\rangle \langle j_1m_1j_2m_2|JM\rangle\\
  & =\sum_{m_1m_2}\left[ C_\pm(j_1,m_1)|j_1 m_1\pm 1\rangle |j_2m_2\rangle
                     +C_\pm(j_2,m_2)|j_1 m_1\rangle |j_2 m_2\pm 1\rangle \right]
                \langle j_1 m_1 j_2 m_2|J M\rangle \\
 &= \sum_{m_1m_2} |j_1m_1\rangle|j_2m_2\rangle \left[
   C_\pm(j_1,m_1\mp 1) \langle j_1 {m_1\mp 1} j_2 m_2|J M\rangle
   +C_\pm(j_2,m_2\mp 1) \langle j_1 m_1 j_2 {m_2\mp 1}|J M\rangle \right].
 \end{align}

Combining these results gives recursion relations for the Clebsch-Gordan coefficients


  C_\pm(J,M) \langle j_1 m_1 j_2 m_2|J M\pm 1\rangle
  = C_\pm(j_1,m_1\mp 1) \langle j_1 {m_1\mp 1} j_2 m_2|J M\rangle
   + C_\pm(j_2,m_2\mp 1) \langle j_1 m_1 j_2 {m_2\mp 1}|J M\rangle.

Taking the upper sign with M = J gives


  0 = C_+(j_1,m_1-1) \langle j_1 {m_1-1} j_2 m_2|J J\rangle
      + C_+(j_2,m_2-1) \langle j_1 m_1 j_2 m_2-1|J J\rangle.

In the Condon and Shortley phase convention the coefficient \langle j_1 j_1 j_2 J-j_1|J J\rangle is taken real and positive. With the last equation all other Clebsch-Gordan coefficients \langle j_1 m_1 j_2 m_2|J J\rangle can be found. The normalization is fixed by the requirement that the sum of the squares, which corresponds to the norm of the state |(j_1j_2)JJ\rangle must be one.

The lower sign in the recursion relation can be used to find all the Clebsch-Gordan coefficients with M = J − 1. Repeated use of that equation gives all coefficients.

This procedure to find the Clebsch-Gordan coefficients shows that they are all real (in the Condon and Shortley phase convention).

For an explicit expression of the Clebsch-Gordan coefficients and tables with numerical values see table of Clebsch-Gordan coefficients.

These are most clearly written down by introducing the alternative notation


  \langle J M|j_1 m_1 j_2 m_2\rangle \equiv \langle j_1 m_1 j_2 m_2|J M \rangle

The first orthogonality relation is


  \sum_{J=|j_1-j_2|}^{j_1+j_2} \sum_{M=-J}^{J}
  \langle j_1 m_1 j_2 m_2|J M \rangle \langle J M|j_1 m_1' j_2 m_2'\rangle
   = \delta_{m_1,m_1'}\delta_{m_2,m_2'}

and the second


  \sum_{m_1m_2} \langle J M|j_1 m_1 j_2 m_2\rangle
                \langle j_1 m_1 j_2 m_2|J' M' \rangle
   = \delta_{J,J'}\delta_{M,M'}.

For J = 0 the Clebsch-Gordan coefficients are given by


  \langle j_1 m_1 j_2 m_2 | 0 0 \rangle = \delta_{j_1,j_2}\delta_{m_1,-m_2}
\frac{(-1)^{j_1-m_1}}{\sqrt{2j_2+1}}.

For J = j1 + j2 and M = J we have


   \langle j_1 j_1 j_2 j_2 | (j_1+j_2) (j_1+j_2) \rangle = 1.


\langle j_1 m_1 j_2 m_2|J M \rangle = (-1)^{j_1+j_2-J}
\langle j_1 {-m_1} j_2 {-m_2}|J {-M}\rangle
= (-1)^{j_1+j_2-J} \langle j_2 m_2 j_1 m_1|J M \rangle.

Clebsch-Gordan coefficients are related to 3-jm symbols which have more convenient symmetry relations.


  \langle j_1 m_1 j_2 m_2 | j_3 m_3 \rangle =
  (-1)^{j_1-j_2+m_3}\sqrt{2j_3+1}
\begin{pmatrix}
  j_1 & j_2 & j_3\\
  m_1 & m_2 & m_3
\end{pmatrix}.


  \int_0^{2\pi} d\alpha \int_0^\pi \sin\beta d\beta \int_0^{2\pi} d\gamma
  D^J_{MK}(\alpha,\beta,\gamma)^\ast D^{j_1}_{m_1k_1}(\alpha,\beta,\gamma) D^{j_2}_{m_2k_2}(\alpha,\beta,\gamma)
  = \frac{8\pi^2}{2J+1}  \langle j_1 m_1 j_2 m_2 | J M \rangle \langle j_1 k_1 j_2 k_2 | J K \rangle.

close
Advanced Search
close
Included Web Search Engines

Choose the search engines to include in your metasearch




Safe Search

Smart Search
close

Top Matching Results

Occasionally Search.com will highlight specialized results that are based on the context of your query. Examples of specialized results include specific links to news, images, or video.

Top Matching Results may highlight information from other Search.com pages, content from the CNET Network of sites, or third party content. The listings are based purely on relevance. Search.com does not receive payment for listings in this section but our partners that provide this data may get paid for listing these products.

Sponsored Links

This section contains paid listings which have been purchased by companies that want to have their sites appear for specific search terms and related content. These listings are administered, sorted and maintained by a third party and are not endorsed by Search.com.

Search Results

Search.com sends your search query to several search engines at one time and integrates the results into one list which has been sorted by relevance using Search.com's proprietary algorithm. You can customize the list of search engines included in your metasearch from the preferences.

The search engines that are used in your metasearch may allow companies to pay to have their Web sites included within the results. To view the Paid Inclusion policy for a specific search engine, please visit their Web site. Search.com does not accept payment or share revenue with any search engine partner for listings in this section.