=
∑
a,l
t
a
il
t
a
lk
,
δ
ab
T
F
=
Tr t
a
t
b
=
∑
k,i
t
a
ik
t
b
ki
.
При этом
C
A
=N, C
F
=
N²-1
2N
, T
F
=
1
2
.
В приложениях часто встречаются соотношение
Tr t
a
t
b
t
c
=
i
4
ƒ
abc
+
i
4
d
abc
,
а также инварианты
∑
abc
d
2
abc
=
40
3
,
∑
abc
ƒ
2
abc
=24 ,
∑
rka
ε
irk
t
a
jr
t
a
kl
=-
2
3
ε
ijl
.
Приложение Г. Фейнмановские правила диаграммной техники для КХД
Имеются следующие фейнмановские правила:
igγ
μ
t
a
kj
-gƒ
abc
[(p-q)
ν
g
λμ
+(q-k)
λ
+(k-p)
μ
g
νλ
]
-igƒ²
∑
e
{ƒ
abe
ƒ
cde
(g
λν
g
νσ
-g
λσ
g
μν
)
+
ƒ
ace
ƒ
bde
(g
λμ
g
νσ
-g
λσ
g
μν
)
+
ƒ
ade
ƒ
cbe
(g
λν
g
μσ
-g
λμ
g
σν
)}
-gƒ
acb
p
μ
i
δ
jk
i
-gμν+ξkμkν/(k²+i0)
k2+i0
δ
ab
(лоренцева калибровка)
i
-gμν+(nμkν+nνkμ)/n⋅k-n²(kμkν/n⋅k)
k2+i0
δ
ab
(аксиальная калибровка)
i
k²+i0
δ
ab
.
При вычислении диаграмм следует добавлять общий множитель (2π)4δ(Pi-Pƒ), описывающий сохранение полного 4-импульса, и коэффициент (— 1) на каждую замкнутую фермионную петлю или петлю ду́хов. Статистические множители таковы:
1
2!
для
1
3!
для
Каждое интегрирование по петле содержит комбинацию
ν
4-D
0
∫
𝑑
D
k/(2π)
D
≡
∫
𝑑
d
k̂ .
Диаграммы с несвязанными графиками не рассматриваются. Читать диаграммы следует против направлений стрелок на ориентированных линиях. Для получения матричных элементов S-матрицы нужно добавить линии, отвечающие начальным и конечным частицам:
(2π)
-3/2
u(p,σ)
(2π)
-3/2
v
(p,σ)
(2π)
-3/2
ε
μ
(k,λ)
(2π)
-3/2
ε
μ
(k,λ)
*
(2π)
-3/2
u
(p,σ)
(2π)
-3/2
v(p,σ)
(2π)
-3/2
ε
μ
(k,λ)
*
(2π)
-3/2
ε
μ
(k,λ)
Спиноры и векторы поляризации предполагаются нормированными следующим образом:
∑
σ
u(p,σ)
u
=
+m ,
∑
λ
ε
μ
(k,λ)
*
ε
ν
(k,λ)=-g
μν
(фейнмановская калибровка).
Эта сводка правил диаграммной техники отличается от правил, приведенных в книге [40], нормировкой спиноров
∑
σ
u
BD
u
BD
=
2m
,
а также множителями (2π)-3/2 вследствие разного определения амплитуд 𝓣 и 𝓣BD
Приложение Д. Фейнмановские правила диаграммной техники для составных операторов
Введем обозначения: γ+=1, γ-=γ5 и Δ — произвольный 4-вектор, удовлетворяющий условию Δ=0. Тогда фейнмановские правила диаграммной техники для составных операторов имеют вид
N=q(0)γμ1…∂μnγ±q(0)