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)。