Wigner -符號(Messiah 1962, p. 1062),通常簡稱為
-符號,是 Clebsch-Gordan 係數 和 Wigner 3j-符號 的推廣,它們出現在三個角動量的耦合中。它們也被稱為 “
符號”(Messiah 1962, p. 1062)或 6-
符號(Shore 和 Menzel 1968, p. 279)。
Wigner -符號由 Wolfram 語言 函式返回SixJSymbol[
j1, j2, j3
,
j4, j5, j6
].
設張量算符 和
分別作用於系統 1 和系統 2 的子系統,其中子系統 1 以角動量
為特徵,子系統 2 以角動量
為特徵。那麼,這兩個張量算符在耦合基
中標量積的矩陣元素由下式給出
|
(1)
|
其中 是 Wigner
-符號,而
和
代表表徵子系統 1 和子系統 2 的其他相關量子數 (Gordy and Cook 1984)。
符號表示為
,併為整數和半整數
、
、
、
、
、
定義,它們的陣列
、
、
和
滿足以下條件(Messiah 1962, p. 1063)。
1. 每個陣列都滿足三角不等式。
2. 每個陣列的元素之和為整數。因此,每個陣列的成員要麼都是整數,要麼包含兩個半整數和一個整數。
如果這些條件不滿足,則 。
-符號在其列的排列下是不變的,例如,
|
(2)
|
以及在行之間交換兩個對應元素的情況下,例如,
|
(3)
|
(Messiah 1962, pp. 1063-1064)。
-符號可以使用拉卡公式計算
|
(4)
|
其中 是三角形係數,
|
(5)
|
總和是對所有整數 進行的,對於這些整數,
中的階乘都具有非負引數 (Wigner 1959;Messiah 1962, p. 1065;Shore 和 Menzel 1968, p. 279)。特別是,項數等於
,其中
是十二個數字中最小的
|
(6)
|
(Messiah 1962, p. 1064)。
符號滿足所謂的拉卡-埃利奧特和正交關係,
|
(7)
| |
|
(8)
| |
|
(9)
| |
|
(10)
| |
|
(11)
| |
|
(12)
| |
|
(13)
| |
|
(14)
|
(Messiah 1962, p. 1065)。
Edmonds (1968) 給出了簡單情況下 -符號的解析形式,Shore 和 Menzel (1968) 以及 Gordy 和 Cook (1984) 給出了
|
(15)
| |||
|
(16)
| |||
|
(17)
|
公式
|
(18)
| |||
|
(19)
|
(Edmonds 1968;Shore 和 Menzel 1968, p. 281;Gordy 和 Cook 1984, p. 809)。請注意,由於 必須是整數,因此
,因此用其負值替換上述
的定義會得到等效的結果。
Messiah (1962, p. 1066) 給出了其他特殊情況
|
(20)
| |||
|
(21)
|
對於 。
Wigner -符號透過下式與 Racah W 係數相關
|
(22)
|
(Messiah 1962, p. 1062;Shore 和 Menzel 1968, p. 279)。