![](http://image.absoluteastronomy.com/images//topicimages/noimage.gif)
Clebsch-Gordan coefficients
Encyclopedia
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 harmonic
s. The addition of spins in quantum-mechanical terms can be read directly from this approach. The formulas below use Dirac's
bra-ket notation
.
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 of angular momentum, 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–Shortley phase convention is chosen.
s
,
,
and
that satisfy the commutation relations![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-4.gif)
where
is the Levi-Civita symbol. Together the three operators define a "vector operator":
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-6.gif)
By developing this concept further, one can define an operator as an "inner product" of
with itself:
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-8.gif)
It is an example of a Casimir operator.
We also define raising (
) and lowering (
) operators:
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-11.gif)
commutes with
, ![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-14.gif)
and![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-15.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-16.gif)
When two Hermitian operators commute a common set of eigenfunctions exists.
Conventionally
and
are chosen.
From the commutation relations the possible eigenvalues can be found.
The result is![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-19.gif)
The raising and lowering operators change the value of![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-20.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-21.gif)
with![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-22.gif)
A (complex) phase factor could be included in the definition of![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-23.gif)
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![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-24.gif)
be the
dimensional
vector space spanned by the states![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-27.gif)
and
the
dimensional
vector space spanned by![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-30.gif)
The tensor product of these spaces,
,
has a
dimensional uncoupled basis![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-33.gif)
Angular momentum operators acting on
can be defined by![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-35.gif)
and![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-36.gif)
Total angular momentum operators are defined by![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-37.gif)
The total angular momentum operators satisfy the required commutation relations![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-38.gif)
and hence total angular momentum eigenstates exist![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-39.gif)
It can be derived that
must satisfy the triangular condition![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-41.gif)
The total number of total angular momentum eigenstates is equal to the dimension
of![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-42.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-43.gif)
The total angular momentum states form an orthonormal basis of![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-44.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-45.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-46.gif)
The expansion coefficients![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-47.gif)
are called Clebsch–Gordan coefficients.
Applying the operator![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-48.gif)
to both sides of the defining equation shows that the Clebsch–Gordan coefficients
can only be nonzero when![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-49.gif)
Applying the total angular momentum raising and lowering operators![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-50.gif)
to the left hand side of the defining equation gives![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-51.gif)
Applying the same operators to the right hand side gives![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-52.gif)
where![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-53.gif)
Combining these results gives recursion relations for the Clebsch–Gordan
coefficients![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-54.gif)
Taking the upper sign with
gives![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-56.gif)
In the Condon and Shortley phase convention the coefficient
is taken
real and positive. With the last equation all other
Clebsch–Gordan coefficients![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-58.gif)
can be found. The normalization is fixed by the requirement that
the sum of the squares, which corresponds to the norm of the
state
must be one.
The lower sign in the recursion relation can be used to find
all the Clebsch–Gordan coefficients with
.
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).
and tables with numerical values, see
table of Clebsch–Gordan coefficients.
alternative notation![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-61.gif)
The first orthogonality relation is![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-62.gif)
(using the completeness relation that
)and the second![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-64.gif)
the Clebsch–Gordan coefficients are given by![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-66.gif)
For
and
we have![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-69.gif)
For
and
we have![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-72.gif)
For
we have![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-74.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-75.gif)
A convenient way to derive these relations is by converting
the Clebsch–Gordan coefficients to 3-jm symbols using the equation
given below. The symmetry properties of 3-jm symbols are much simpler.
Care is needed when simplifying phase factors, because the
quantum numbers can be integer or half integer, e.g.,![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-76.gif)
is equal to 1 for integer
and
equal to −1 for half-integer
. The
following relations, however, are valid in either case:![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-79.gif)
and for
,
and
appearing in the
same Clebsch–Gordan coefficient:![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-83.gif)
more convenient symmetry relations.![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-84.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-85.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-86.gif)
are known. A web interface for tabulating SU(N) Clebsch–Gordan coefficients is readily available.
Physics
Physics is a natural science that involves the study of matter and its motion through spacetime, along with related concepts such as energy and force. More broadly, it is the general analysis of nature, conducted in order to understand how the universe behaves.Physics is one of the oldest academic...
, the Clebsch–Gordan coefficients are sets of numbers that arise in angular momentum coupling
Angular momentum coupling
In quantum mechanics, the procedure of constructing eigenstates of total angular momentum out of eigenstates of separate angular momenta is called angular momentum coupling. For instance, the orbit and spin of a single particle can interact through spin-orbit interaction, in which case the...
under the laws of quantum mechanics
Quantum mechanics
Quantum mechanics, also known as quantum physics or quantum theory, is a branch of physics providing a mathematical description of much of the dual particle-like and wave-like behavior and interactions of energy and matter. It departs from classical mechanics primarily at the atomic and subatomic...
.
In more mathematical terms, the CG coefficients are used in representation theory
Representation theory
Representation theory is a branch of mathematics that studies abstract algebraic structures by representing their elements as linear transformations of vector spaces, and studiesmodules over these abstract algebraic structures...
, particularly of compact Lie groups, to perform the explicit direct sum decomposition of the tensor product
Tensor product
In mathematics, the tensor product, denoted by ⊗, may be applied in different contexts to vectors, matrices, tensors, vector spaces, algebras, topological vector spaces, and modules, among many other structures or objects. In each case the significance of the symbol is the same: the most general...
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
Alfred Clebsch
Rudolf Friedrich Alfred Clebsch was a German mathematician who made important contributions to algebraic geometry and invariant theory. He attended the University of Königsberg and was habilitated at Berlin. He subsequently taught in Berlin and Karlsruhe...
(1833–1872) and Paul Gordan (1837–1912), who encountered an equivalent problem in invariant theory
Invariant theory
Invariant theory is a branch of abstract algebra dealing with actions of groups on algebraic varieties from the point of view of their effect on functions...
.
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 harmonic
Spherical Harmonic
Spherical Harmonic is a science fiction novel from the Saga of the Skolian Empire by Catherine Asaro. It tells the story of Dyhianna Selei , the Ruby Pharaoh of the Skolian Imperialate, as she strives to reform her government and reunite her family in the aftermath of a devastating interstellar...
s. The addition of spins in quantum-mechanical terms can be read directly from this approach. The formulas below use Dirac's
Paul Dirac
Paul Adrien Maurice Dirac, OM, FRS was an English theoretical physicist who made fundamental contributions to the early development of both quantum mechanics and quantum electrodynamics...
bra-ket notation
Bra-ket notation
Bra-ket notation is a standard notation for describing quantum states in the theory of quantum mechanics composed of angle brackets and vertical bars. It can also be used to denote abstract vectors and linear functionals in mathematics...
.
Clebsch–Gordan coefficients
Clebsch–Gordan coefficients are the expansion coefficients oftotal 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 of angular momentum, 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–Shortley phase convention is chosen.
Angular momentum operators
Angular momentum operators are self-adjoint operatorSelf-adjoint operator
In mathematics, on a finite-dimensional inner product space, a self-adjoint operator is an operator that is its own adjoint, or, equivalently, one whose matrix is Hermitian, where a Hermitian matrix is one which is equal to its own conjugate transpose...
s
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-1.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-2.gif)
and
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-3.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-4.gif)
where
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-5.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-6.gif)
By developing this concept further, one can define an operator as an "inner product" of
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-7.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-8.gif)
It is an example of a Casimir operator.
We also define raising (
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-9.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-10.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-11.gif)
Angular momentum states
It can be shown from the above definitions that![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-12.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-13.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-14.gif)
and
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-15.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-16.gif)
When two Hermitian operators commute a common set of eigenfunctions exists.
Conventionally
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-17.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-18.gif)
From the commutation relations the possible eigenvalues can be found.
The result is
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-19.gif)
The raising and lowering operators change the value of
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-20.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-21.gif)
with
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-22.gif)
A (complex) phase factor could be included in the definition of
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-23.gif)
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
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-24.gif)
Tensor product space
Let![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-25.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-26.gif)
vector space spanned by the states
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-27.gif)
and
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-28.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-29.gif)
vector space spanned by
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-30.gif)
The tensor product of these spaces,
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-31.gif)
has a
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-32.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-33.gif)
Angular momentum operators acting on
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-34.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-35.gif)
and
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-36.gif)
Total angular momentum operators are defined by
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-37.gif)
The total angular momentum operators satisfy the required commutation relations
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-38.gif)
and hence total angular momentum eigenstates exist
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-39.gif)
It can be derived that
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-40.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-41.gif)
The total number of total angular momentum eigenstates is equal to the dimension
of
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-42.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-43.gif)
The total angular momentum states form an orthonormal basis of
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-44.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-45.gif)
Formal definition of Clebsch–Gordan coefficients
The total angular momentum states can be expanded with the use of the completeness relation in the uncoupled basis![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-46.gif)
The expansion coefficients
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-47.gif)
are called Clebsch–Gordan coefficients.
Applying the operator
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-48.gif)
to both sides of the defining equation shows that the Clebsch–Gordan coefficients
can only be nonzero when
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-49.gif)
Recursion relations
The recursion relations were discovered by the physicist Giulio Racah.Applying the total angular momentum raising and lowering operators
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-50.gif)
to the left hand side of the defining equation gives
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-51.gif)
Applying the same operators to the right hand side gives
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-52.gif)
where
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-53.gif)
Combining these results gives recursion relations for the Clebsch–Gordan
coefficients
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-54.gif)
Taking the upper sign with
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-55.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-56.gif)
In the Condon and Shortley phase convention the coefficient
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-57.gif)
real and positive. With the last equation all other
Clebsch–Gordan coefficients
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-58.gif)
can be found. The normalization is fixed by the requirement that
the sum of the squares, which corresponds to the norm of the
state
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-59.gif)
The lower sign in the recursion relation can be used to find
all the Clebsch–Gordan coefficients with
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-60.gif)
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).
Explicit expression
For an explicit expression of the Clebsch–Gordan coefficientsand tables with numerical values, see
table of Clebsch–Gordan coefficients.
Orthogonality relations
These are most clearly written down by introducing thealternative notation
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-61.gif)
The first orthogonality relation is
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-62.gif)
(using the completeness relation that
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-63.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-64.gif)
Special cases
For![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-65.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-66.gif)
For
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-67.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-68.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-69.gif)
For
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-70.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-71.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-72.gif)
For
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-73.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-74.gif)
Symmetry properties
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-75.gif)
A convenient way to derive these relations is by converting
the Clebsch–Gordan coefficients to 3-jm symbols using the equation
given below. The symmetry properties of 3-jm symbols are much simpler.
Care is needed when simplifying phase factors, because the
quantum numbers can be integer or half integer, e.g.,
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-76.gif)
is equal to 1 for integer
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-77.gif)
equal to −1 for half-integer
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-78.gif)
following relations, however, are valid in either case:
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-79.gif)
and for
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-80.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-81.gif)
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-82.gif)
same Clebsch–Gordan coefficient:
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-83.gif)
Relation to 3-jm symbols
Clebsch–Gordan coefficients are related to 3-jm symbols which havemore convenient symmetry relations.
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-84.gif)
Relation to Wigner D-matrices
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-85.gif)
Other Properties
![](http://image.absoluteastronomy.com/images/formulas/0/1/2014676-86.gif)
SU(N) Clebsch–Gordan coefficients
For arbitrary groups and their representations, Clebsch–Gordan coefficients are not known in general. However, algorithms to produce Clebsch–Gordan coefficients for the Special unitary groupSpecial unitary group
The special unitary group of degree n, denoted SU, is the group of n×n unitary matrices with determinant 1. The group operation is that of matrix multiplication...
are known. A web interface for tabulating SU(N) Clebsch–Gordan coefficients is readily available.