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