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

量子力学においてクレブシュ–ゴルダン係数（クレブシュ–ゴルダンけいすう、CG係数、テンプレート:Lang-en-short）またはウィグナー係数は、角運動量の合成で生じる係数の組である。2つの角運動量の和によって出来た角運動量の固有状態を得るために必要となる。

より数学的にはCG係数は表現論、特にコンパクトリー群において、既約表現の数とタイプが抽象的に分かっており、既約表現のテンソル積を既約表現に直和分解する場合に使われる。テンプレート:Illで同様の問題について研究したドイツの物理学者テンプレート:Ill（1833–1872）とテンプレート:Ill（1837–1912）にちなんで命名された。

古典力学では、CG係数やSO(3)群に関連するものは球面調和関数の乗算によってもっと直接的に定義される。量子力学的なスピンの導入はこのアプローチから行える。

クレブシュ–ゴルダン係数は全角運動量固有状態を結合していないテンソル積基底で展開したときの展開係数である。この定義の意味は角運動量演算子、角運動量固有状態、角運動量固有状態のテンソル積を定義することで明らかとなる。

角運動量の形式的な定義から、クレブシュ–ゴルダン係数における漸化式がわかる。係数の具体的な数値を定めるためには、位相則を選びださなければならない。

以下の定式化ではディラックのブラケット記法を使う。また位相則としてコンドン–ショートレーの位相則を用いる。

定義

全角運動量の固有状態は、カップリングしてない基底の完全性関係を使って展開できる。

| (j_{1} j_{2}) J M ⟩ = \sum_{m_{1} = - j_{1}}^{j_{1}} \sum_{m_{2} = - j_{2}}^{j_{2}} | j_{1} m_{1} j_{2} m_{2} ⟩ ⟨ j_{1} m_{1} j_{2} m_{2} | J M ⟩

この展開係数 $⟨ j_{1} m_{1} j_{2} m_{2} | J M ⟩$ をクレブシュ–ゴルダン係数と呼ぶ。

演算子

{\hat{J}}_{z} = j_{z} \otimes 1 + 1 \otimes j_{z}

を定義式の両辺に作用させると、クレブシュ–ゴルダン係数は

M = m_{1} + m_{2} .

の時のみ 0 にならない。

特別な場合

$J = 0$ におけるクレブシュ–ゴルダン係数は以下で与えられる。

⟨ j_{1} m_{1} j_{2} m_{2} | 00 ⟩ = δ_{j_{1}, j_{2}} δ_{m_{1}, - m_{2}} \frac{(- 1)^{j_{1} - m_{1}}}{\sqrt{2 j_{2} + 1}}

$J = j_{1} + j_{2}$ と $M = J$ におけるクレブシュ–ゴルダン係数は以下で与えられる。

⟨ j_{1} j_{1} j_{2} j_{2} | (j_{1} + j_{2}) (j_{1} + j_{2}) ⟩ = 1

$j_{1} = j_{2} = J / 2$ と $m_{2} = - m_{1}$ におけるクレブシュ–ゴルダン係数は以下で与えられる。

⟨ j_{1} m_{1} j_{1} - m_{1} | 2 j_{1} 0 ⟩ = \frac{(2 j_{1})!^{2}}{(j_{1} - m_{1})! (j_{1} + m_{1})! \sqrt{(4 j_{1})!}}

$j_{1} = j_{2} = m_{1} = - m_{2}$ におけるクレブシュ–ゴルダン係数は以下で与えられる。

⟨ j_{1} j_{1} j_{1} - j_{1} | J 0 ⟩ = (2 j_{1})! \sqrt{\frac{2 J + 1}{(J + 2 j_{1} + 1)! (2 j_{1} - J)!}}

具体的な形

クレブシュ–ゴルダン係数の具体的な形と数値はテンプレート:Illを参照。

角運動量演算子

角運動量演算子は、以下の交換関係を満たすエルミート演算子 ${\hat{j}}_{x}$ 、 ${\hat{j}}_{y}$ 、 ${\hat{j}}_{z}$ で定義される。

[{\hat{j}}_{k}, {\hat{j}}_{l}] = {\hat{j}}_{k} {\hat{j}}_{l} - {\hat{j}}_{l} {\hat{j}}_{k} = i ℏ \sum_{m} ε_{k l m} {\hat{j}}_{m} (k, l, m \in (x, y, z))

ここで $ε_{k l m}$ はエディントンのイプシロンである。 3つの演算子を合わせたものを「ベクトル演算子」と呼ぶ。

\hat{𝐣} = [{\hat{j}}_{x}, {\hat{j}}_{y}, {\hat{j}}_{z}]

この考えを発展させると、 $\hat{𝐣}$ の自分自身の内積の演算子を定義できる。

{\hat{𝐣}}^{2} = {\hat{j}}_{x}^{2} + {\hat{j}}_{y}^{2} + {\hat{j}}_{z}^{2}

これはテンプレート:Illである。

また「上昇演算子」（ ${\hat{j}}_{+}$ ）と「下降演算子」（ ${\hat{j}}_{-}$ ）を以下のように定義する。

\hat{j_{\pm}} = \hat{j_{x}} \pm i \hat{j_{y}}

角運動量演算子の同時固有ベクトル

上記の定義から分かるように、 ${\hat{𝐣}}^{2}$ は ${\hat{j}}_{x}$ 、 ${\hat{j}}_{y}$ 、 ${\hat{j}}_{z}$ と交換する。

[{\hat{𝐣}}^{2}, {\hat{j}}_{k}] = 0 (k = x, y, z)

２つのエルミート演算子が交換する場合、同時固有ベクトルが存在する。 ${\hat{𝐣}}^{2}$ と ${\hat{j}}_{z}$ は交換するので、それらの同時固有ベクトルを $| j m ⟩$ とすると以下を満たす。

{\hat{𝐣}}^{2} | j m ⟩ = ℏ^{2} j (j + 1) | j m ⟩ (j = 0, \frac{1}{2}, 1, \frac{3}{2}, 2, \dots)

{\hat{j}}_{z} | j m ⟩ = ℏ m | j m ⟩ (m = - j, - j + 1, \dots, j .)

$m$ の値は昇降演算子で変化する。

{\hat{j}}_{\pm} | j m ⟩ = C_{\pm} (j, m) | j m \pm 1 ⟩

ここで

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

位相因子は $C_{\pm} (j, m)$ の定義に含まれている。位相則はコンドン-ショートレーの位相則に従っている。

角運動量演算子はエルミート演算子なので固有状態（固有ベクトル）は完全系をなす。固有状態は以下のように規格直行化されているとする。

⟨ j_{1} m_{1} | j_{2} m_{2} ⟩ = δ_{j_{1}, j_{2}} δ_{m_{1}, m_{2}}

テンソル積空間

$V_{1}$ を以下の状態で張られる $2 j_{1} + 1$ 次元ベクトル空間とする。

| j_{1} m_{1} ⟩ (m_{1} = - j_{1}, - j_{1} + 1, \dots j_{1})

$V_{2}$ を以下の状態で張られる $2 j_{2} + 1$ 次元ベクトル空間とする。

| j_{2} m_{2} ⟩ (m_{2} = - j_{2}, - j_{2} + 1, \dots j_{2})

これらの空間のテンソル積 $V_{12} \equiv V_{1} \otimes V_{2}$ は $(2 j_{1} + 1) (2 j_{2} + 1)$ 次元のカップリングしていない基底を持つ。

| j_{1} m_{1} ⟩ | j_{2} m_{2} ⟩ \equiv | j_{1} m_{1} ⟩ \otimes | j_{2} m_{2} ⟩ (m_{1} = - j_{1}, \dots j_{1}, m_{2} = - j_{2}, \dots j_{2})

$V_{12}$ で作用する角運動量演算子は以下で定義される。

(j_{i} \otimes 1) | j_{1} m_{1} ⟩ | j_{2} m_{2} ⟩ \equiv (j_{i} | j_{1} m_{1} ⟩) \otimes | j_{2} m_{2} ⟩

(1 \otimes j_{i}) | j_{1} m_{1} ⟩ | j_{2} m_{2} ⟩ \equiv | j_{1} m_{1} ⟩ \otimes j_{i} | j_{2} m_{2} ⟩ (i = x, y, z)

全角運動量演算子は以下で定義される。

{\hat{J}}_{i} \equiv j_{i} \otimes 1 + 1 \otimes j_{i} (i = x, y, z .)

全角運動量演算子は以下の交換関係を満たす。

[{\hat{J}}_{k}, {\hat{J}}_{l}] = i ℏ ϵ_{k l m} {\hat{J}}_{m} (k, l, m \in (x, y, z))

よって全角運動量の同時固有状態が存在する。

{\hat{𝐉}}^{2} | (j_{1} j_{2}) J M ⟩ = ℏ^{2} J (J + 1) | (j_{1} j_{2}) J M ⟩

{\hat{J}}_{z} | (j_{1} j_{2}) J M ⟩ = ℏ M | (j_{1} j_{2}) J M ⟩ (M = - J, \dots, J)

これは $J$ が以下を満たさなければならないことに由来する。

| j_{1} - j_{2} | \leq J \leq j_{1} + j_{2}

全角運動量の同時固有状態の総数は $V_{12}$ の次元と等しい。

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

全角運動量の同時固有状態は $V_{12}$ の正規直交基底を作る。

⟨ J_{1} M_{1} | J_{2} M_{2} ⟩ = δ_{J_{1} J_{2}} δ_{M_{1} M_{2}}

漸化式

漸化式はテンプレート:Illによって発見された。以下で定義される全角運動量昇降演算子をクレブシュ–ゴルダン係数の定義式の両辺に作用させる。

{\hat{J}}_{\pm} = j_{\pm} \otimes 1 + 1 \otimes j_{\pm}

左辺は、

{\hat{J}}_{\pm} | (j_{1} j_{2}) J M ⟩ = C_{\pm} (J, M) | (j_{1} j_{2}) J M \pm 1 ⟩ = C_{\pm} (J, M) \sum_{m_{1} m_{2}} | j_{1} m_{1} ⟩ | j_{2} m_{2} ⟩ ⟨ j_{1} m_{1} j_{2} m_{2} | J M \pm 1 ⟩

右辺は、

\begin{matrix} {\hat{J}}_{\pm} & \sum_{m_{1} m_{2}} | j_{1} m_{1} ⟩ | j_{2} m_{2} ⟩ ⟨ j_{1} m_{1} j_{2} m_{2} | J M ⟩ \\ = \sum_{m_{1} m_{2}} [C_{\pm} (j_{1}, m_{1}) | j_{1} m_{1} \pm 1 ⟩ | j_{2} m_{2} ⟩ + C_{\pm} (j_{2}, m_{2}) | j_{1} m_{1} ⟩ | j_{2} m_{2} \pm 1 ⟩] ⟨ j_{1} m_{1} j_{2} m_{2} | J M ⟩ \\ = \sum_{m_{1} m_{2}} | j_{1} m_{1} ⟩ | j_{2} m_{2} ⟩ [C_{\pm} (j_{1}, m_{1} \mp 1) ⟨ j_{1} m_{1} \mp 1 j_{2} m_{2} | J M ⟩ + C_{\pm} (j_{2}, m_{2} \mp 1) ⟨ j_{1} m_{1} j_{2} m_{2} \mp 1 | J M ⟩] \end{matrix}

ここで

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

よってクレブシュ–ゴルダン係数についての漸化式が得られる。

C_{\pm} (J, M) ⟨ j_{1} m_{1} j_{2} m_{2} | J M \pm 1 ⟩ = C_{\pm} (j_{1}, m_{1} \mp 1) ⟨ j_{1} m_{1} \mp 1 j_{2} m_{2} | J M ⟩ + C_{\pm} (j_{2}, m_{2} \mp 1) ⟨ j_{1} m_{1} j_{2} m_{2} \mp 1 | J M ⟩

漸化式の $C_{+}$ について $M = J$ では、

0 = C_{+} (j_{1}, m_{1} - 1) ⟨ j_{1} m_{1} - 1 j_{2} m_{2} | J J ⟩ + C_{+} (j_{2}, m_{2} - 1) ⟨ j_{1} m_{1} j_{2} m_{2} - 1 | J J ⟩

コンドン-ショートレーの位相則における係数 $⟨ j_{1} j_{1} j_{2} J - j_{1} | J J ⟩$ は正の実数である。最後の方程式では、他のすべてのクレブシュ–ゴルダン係数 $⟨ j_{1} m_{1} j_{2} m_{2} | J J ⟩$ がある。規格化は状態 $| (j_{1} j_{2}) J J ⟩$ のノルムに相当する、二乗の合計が１でなければならないという条件から行われる。

漸化式の $C_{-}$ は $M = J - 1$ の全てのクレブシュ–ゴルダン係数を見つけるために使われる。この式を繰り返し使うと全ての係数が得られる。 CG係数を得る手続きによって（コンドン–ショートレーの位相則において）CG係数がすべて実数であることがわかる。

直交関係

これらのことは、代わりの表現を導入することで簡潔に書ける。

⟨ J M | j_{1} m_{1} j_{2} m_{2} ⟩ \equiv ⟨ j_{1} m_{1} j_{2} m_{2} | J M ⟩

第一の直交関係は

\sum_{J = | j_{1} - j_{2} |}^{j_{1} + j_{2}} \sum_{M = - J}^{J} ⟨ j_{1} m_{1} j_{2} m_{2} | J M ⟩ ⟨ J M | j_{1} {m_{1}}^{'} j_{2} {m_{2}}^{'} ⟩ = ⟨ j_{1} m_{1} j_{2} m_{2} | j_{1} {m_{1}}^{'} j_{2} {m_{2}}^{'} ⟩ = δ_{m_{1}, {m_{1}}^{'}} δ_{m_{2}, {m_{2}}^{'}}

(完全性関係 $1 \equiv \sum_{x} | x ⟩ ⟨ x |$ を用いた )

第二の直交関係は

\sum_{m_{1} m_{2}} ⟨ J M | j_{1} m_{1} j_{2} m_{2} ⟩ ⟨ j_{1} m_{1} j_{2} m_{2} | J^{'} M^{'} ⟩ = ⟨ J M | J^{'} M^{'} ⟩ = δ_{J, J^{'}} δ_{M, M^{'}}

対称性

\begin{matrix} ⟨ j_{1} m_{1} j_{2} m_{2} | J M ⟩ \\ = (- 1)^{j_{1} + j_{2} - J} ⟨ j_{1} - m_{1} j_{2} - m_{2} | J - M ⟩ \\ = (- 1)^{j_{1} + j_{2} - J} ⟨ j_{2} m_{2} j_{1} m_{1} | J M ⟩ \\ = (- 1)^{j_{1} - m_{1}} \sqrt{\frac{2 J + 1}{2 j_{2} + 1}} ⟨ j_{1} m_{1} J - M | j_{2} - m_{2} ⟩ \\ = (- 1)^{j_{2} + m_{2}} \sqrt{\frac{2 J + 1}{2 j_{1} + 1}} ⟨ J - M j_{2} m_{2} | j_{1} - m_{1} ⟩ \\ = (- 1)^{j_{1} - m_{1}} \sqrt{\frac{2 J + 1}{2 j_{2} + 1}} ⟨ J M j_{1} - m_{1} | j_{2} m_{2} ⟩ \\ = (- 1)^{j_{2} + m_{2}} \sqrt{\frac{2 J + 1}{2 j_{1} + 1}} ⟨ j_{2} - m_{2} J M | j_{1} m_{1} ⟩ \end{matrix}

これらの関係を得る便利な方法は、クレブシュ–ゴルダン係数を以下の式で3j記号に変換することである。 3j記号の対称性はより簡潔である。

量子数が整数または半整数になりうるので、位相因子を簡単にする場合は注意が必要である。例えば $(- 1)^{2 j}$ は整数 $j$ で１に等しく、半整数 $j$ で−１に等しい。しかし以下の関係は、どちらの場合でも有効である。

(- 1)^{4 j} = (- 1)^{2 (j - m)} = 1

同じクレブシュ–ゴルダン係数に現れる $j_{1}$ 、 $j_{2},$ 、 $J$ では

(- 1)^{2 (j_{1} + j_{2} + J)} = (- 1)^{2 (m_{1} + m_{2} + M)} = 1

3-jm記号との関係

クレブシュ–ゴルダン係数は、より便利な対称関係をもつ3-jm記号と以下のような関係がある。

⟨ j_{1} m_{1} j_{2} m_{2} | j_{3} m_{3} ⟩ = (- 1)^{j_{1} - j_{2} + m_{3}} \sqrt{2 j_{3} + 1} (\begin{matrix} j_{1} & j_{2} & j_{3} \\ m_{1} & m_{2} & - m_{3} \end{matrix})

ウィグナーのD行列との関係

\int_{0}^{2 π} d α \int_{0}^{π} \sin β d β \int_{0}^{2 π} d γ D_{M K}^{J} (α, β, γ)^{*} D_{m_{1} k_{1}}^{j_{1}} (α, β, γ) D_{m_{2} k_{2}}^{j_{2}} (α, β, γ) = \frac{8 π^{2}}{2 J + 1} ⟨ j_{1} m_{1} j_{2} m_{2} | J M ⟩ ⟨ j_{1} k_{1} j_{2} k_{2} | J K ⟩

その他の性質

\sum_{m} (- 1)^{j - m} ⟨ j m j - m | J 0 ⟩ = \sqrt{2 j + 1} δ_{J 0}

SU(N) クレブシュ–ゴルダン係数

任意の群と表現でのクレブシュ–ゴルダン係数は知られていない。しかし特殊ユニタリ群でのクレブシュ–ゴルダン係数を得るアルゴリズムが作られている。 ^[1] [1] を参照。

参考書

参考文献

↑ テンプレート:Cite journal

外部リンク

[1] テンプレート:Cite journal

[1]

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

目次

定義

特別な場合

具体的な形

角運動量演算子

角運動量演算子の同時固有ベクトル

テンソル積空間

漸化式

直交関係

対称性

3-jm記号との関係

ウィグナーのD行列との関係

その他の性質

SU(N) クレブシュ–ゴルダン係数

関連項目

参考書

参考文献

外部リンク

ナビゲーションメニュー

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

定義

特別な場合

具体的な形

角運動量演算子

角運動量演算子の同時固有ベクトル

テンソル積空間

漸化式

直交関係

対称性

3-jm記号との関係

ウィグナーのD行列との関係

その他の性質

SU(N) クレブシュ–ゴルダン係数

関連項目

参考書

参考文献

外部リンク

ナビゲーション メニュー

検索

ナビゲーションメニュー