クレブシュ–ゴルダン係数

量子力学においてクレブシュ–ゴルダン係数（CG係数、）またはウィグナー係数は、角運動量の合成で生じる係数の組である。2つの角運動量の和によって出来た角運動量の固有状態を得るために必要となる。
より数学的にはCG係数は表現論、特にコンパクトリー群において、既約表現の数とタイプが抽象的に分かっており、既約表現のテンソル積を既約表現に直和分解する場合に使われる。
不変理論で同様の問題について研究したドイツの物理学者アルフレッド・クレブシュ（1833–1872）とポール・ゴルダン（1837–1912）にちなんで命名された。
古典力学では、CG係数やSO(3)群に関連するものは球面調和関数の乗算によってもっと直接的に定義される。量子力学的なスピンの導入はこのアプローチから行える。
クレブシュ–ゴルダン係数は全角運動量固有状態を結合していないテンソル積基底で展開したときの展開係数である。この定義の意味は角運動量演算子、角運動量固有状態、角運動量固有状態のテンソル積を定義することで明らかとなる。
角運動量の形式的な定義から、クレブシュ–ゴルダン係数における漸化式がわかる。係数の具体的な数値を定めるためには、位相則を選びださなければならない。
以下の定式化ではディラックのブラケット記法を使う。また位相則としてコンドン–ショートレーの位相則を用いる。
定義.
全角運動量の固有状態は、カップリングしてない基底の完全性関係を使って展開できる。
この展開係数formula_2をクレブシュ–ゴルダン係数と呼ぶ。
演算子
を定義式の両辺に作用させると、クレブシュ–ゴルダン係数は
の時のみ 0 にならない。
特別な場合.
formula_5におけるクレブシュ–ゴルダン係数は以下で与えられる。
formula_7とformula_8におけるクレブシュ–ゴルダン係数は以下で与えられる。
formula_10とformula_11におけるクレブシュ–ゴルダン係数は以下で与えられる。
formula_13におけるクレブシュ–ゴルダン係数は以下で与えられる。
具体的な形.
クレブシュ–ゴルダン係数の具体的な形と数値はクレブシュ–ゴルダン係数の表を参照。
角運動量演算子.
角運動量演算子は、以下の交換関係を満たすエルミート演算子formula_15、formula_16、formula_17で定義される。
ここでformula_19はエディントンのイプシロンである。
3つの演算子を合わせたものを「ベクトル演算子」と呼ぶ。
この考えを発展させると、formula_21の自分自身の内積の演算子を定義できる。
これはカシミール演算子である。
また「上昇演算子」（formula_23）と「下降演算子」（formula_24）を以下のように定義する。
角運動量演算子の同時固有ベクトル.
上記の定義から分かるように、formula_26はformula_15、formula_16、formula_17と交換する。
２つのエルミート演算子が交換する場合、同時固有ベクトルが存在する。
formula_26とformula_17は交換するので、それらの同時固有ベクトルをformula_33とすると以下を満たす。
formula_36の値は昇降演算子で変化する。
ここで
位相因子はformula_39の定義に含まれている。位相則はコンドン-ショートレーの位相則に従っている。
角運動量演算子はエルミート演算子なので固有状態（固有ベクトル）は完全系をなす。固有状態は以下のように規格直行化されているとする。
テンソル積空間.
formula_41を以下の状態で張られるformula_42次元ベクトル空間とする。
formula_44を以下の状態で張られるformula_45次元ベクトル空間とする。
これらの空間のテンソル積formula_47はformula_48次元のカップリングしていない基底を持つ。
formula_50で作用する角運動量演算子は以下で定義される。
全角運動量演算子は以下で定義される。
全角運動量演算子は以下の交換関係を満たす。
よって全角運動量の同時固有状態が存在する。
これはformula_57が以下を満たさなければならないことに由来する。
全角運動量の同時固有状態の総数はformula_50の次元と等しい。
全角運動量の同時固有状態はformula_50の正規直交基底を作る。
漸化式.
漸化式はジュリオ・ラカーによって発見された。
以下で定義される全角運動量昇降演算子をクレブシュ–ゴルダン係数の定義式の両辺に作用させる。
左辺は、
右辺は、
ここで
よってクレブシュ–ゴルダン係数についての漸化式が得られる。
漸化式のformula_68についてformula_8では、
コンドン-ショートレーの位相則における係数formula_71は正の実数である。
最後の方程式では、他のすべてのクレブシュ–ゴルダン係数formula_72がある。
規格化は
状態formula_73のノルムに相当する、二乗の合計が１でなければならないという条件から行われる。
漸化式のformula_74はformula_75の全てのクレブシュ–ゴルダン係数を見つけるために使われる。
この式を繰り返し使うと全ての係数が得られる。
CG係数を得る手続きによって（コンドン–ショートレーの位相則において）CG係数がすべて実数であることがわかる。
直交関係.
これらのことは、代わりの表現を導入することで簡潔に書ける。
第一の直交関係は
第二の直交関係は
対称性.
これらの関係を得る便利な方法は、クレブシュ–ゴルダン係数を以下の式で3j記号に変換することである。
3j記号の対称性はより簡潔である。
量子数が整数または半整数になりうるので、位相因子を簡単にする場合は注意が必要である。
例えばformula_81は整数formula_82で１に等しく、半整数formula_82で−１に等しい。
しかし以下の関係は、どちらの場合でも有効である。
同じクレブシュ–ゴルダン係数に現れるformula_85、formula_86、formula_57では
3-jm記号との関係.
クレブシュ–ゴルダン係数は、より便利な対称関係をもつ3-jm記号と以下のような関係がある。
SU(N) クレブシュ–ゴルダン係数.
任意の群と表現でのクレブシュ–ゴルダン係数は知られていない。
しかし特殊ユニタリ群でのクレブシュ–ゴルダン係数を得るアルゴリズムが作られている。
 を参照。