Следует помнить, что присутствие в пространстве состояний, в котором определены поля, нефизических векторов может привести к нарушению соотношения унитарности. Условие (2.7) или (2.8), выражающее унитарность S-матрицы, справедливо только в пространстве физических состояний. Определяя проекторы на физические состояния P соотношениями
P
H
GB
=
L
,
P
2
=P
+
=P ,
(5.1)
Условия унитарности (2.7) или (2.8) можно записать во всем пространстве в виде
(PSP)(PSP)
+
= P.
(5.2)
Если лагранжиан эрмитов, то S-матрица унитарна в пространстве GB, поэтому условие (5.2) будет выполнено только в том случае, когда S-матрица коммутирует с оператором P. В описанных в предыдущем параграфе калибровках это соотношение справедливо для квантовой электродинамики и не справедливо для КХД, так как, за исключением случая g = 0, калибровочные преобразования в КХД приводят к самодействию глюонов. Это означает, что лагранжиан
L
=
{i
q
q - m
q
q
q} -
1
(DxB)
2
-
(B)
2
, =1-1/ ,
4
2
q
(5.3)
полученный добавлением к выражению (3.5) члена, фиксирующего калибровку, не полон, и его следует изменить.
Для того чтобы понять, какие члены необходимо еще ввести в лагранжиан (5.3), проследим, как нарушается соотношение (5.2) в частном случае калибровки Ферми - Фейнмана. Рассмотрим процесс рассеяния кварка и антикварка во втором порядке теории возмущений.
Фейнмановские диаграммы, дающие вклад в этот процесс, приведены на рис. 1.
Вычисление диаграмм рис. 1,
6Диаграмма рис. 1, д,
часто называемая глюонным "головастиком", не дает вклада в амплитуду
рассеяния, так как в
Рис. 1. Диаграммы qq-рассеяния (а- в), глюонная петпя (г) и глюонный "головастик" (д).
4
=
-g
2
v
k
u
i
t
a
-ig
'
aa'
-ig
'
u
'
k'
v'
i'
t
a'
(P
i
-P
j
),
(2)
2
tr
q
2
q
2
tr
(5.4 а)
где
(q)
=
-ig
2
f
abc
f
a'bc
d
D
k
·
1
2
(2)
D
k
2
(k+q)
2
aa'
x
{[
-(2k+q)
g
+(k-q)
g
+(2q+k)
q
]
a
a
a
x
[
-(2k+q)
g
a
+(k-q)
g
a
+(2q+k)
a
g
]}
.
(5.4 б)
Используя соотношение ff=aa'CA (см. приложение В) и произведя стандартные выкладки, получаем для тензора aa' следующее выражение:
=
aa'
C
A
g
2
32
2
aa'
x
{[
19
N
+
1
-
1
dx(11x
2
-11x+5)log(-x(1-x)q
2
)
]
q
2
g
6
2
0
-
[
11
N
+
2
-
1
dx(-10x
2
+10x+2)
3
3
0
x
log(-x(1-x)q
2
)
]
q
q
}
;
N
2
-
E
+log 4 ,
= 4-D -> 0 .
(5.5)
Оно расходится в пределе ->0, но нас сейчас беспокоит не эта расходимость. Соотношение унитарности требует выполнения равенства Im =(1/2)+. Но Im получается из выражения (5.4) заменой тензора на его мнимую часть Im , которая, согласно (5.5), имеет вид
Im
(q) =
aa'
C
A
g
2
(q
2
)
{
-
19
q
2
g
+
22
q
q
}
,
aa'
32
2
6
6
(5.6)
и конечна даже при D = 4. Она должна быть равна величине
1/2
q
q|
|c,phys.c,phys.|
+
|
q
q
,
c,phys.
т.е. квадрату амплитуды процесса
qq->BB с
aa'
C
A
(k
1
,k
2
;
1
2
)
*
(k
1
,k
2
;
1
2
)
1,2
k1+k2=2
(5.7 a)
Рис. 2. Мнимая часть величины .
где параметр =± 1 обозначает физические значения спиральностей глюонов, а функции имеют вид
=
[(k
+q)
g
-(q+k
)
g
+(k
-k
)
g
]
1
2
2
1
x
(k
,
)
(k
,
) .
p
1
1
p
2
2
(5.7 б)
Здесь p - вектор поляризации испущенного физического глюона, заданный выражением
(k,)=
1
{
(1)
(k) + i
(2)
(k)} ,
p
2
содержащим тетрады (i), определяемые аналогично выражениям (4.10). Для физического глюона выполняется условие поперечности kp(k,) = 0, k2 = 0, поэтому выражение (5.7б) можно записать в виде (напомним, что q = k1 + k2)
=[2k
g
-2k
+(k
-k
)
g
]
(k
,
)
(k
,
).
1
1
2
1
1
1
p
2
2
Легко убедиться в справедливости равенства q = 0. Очевидно, что условию унитарности в пространстве состояний физических глюонов удовлетворить нельзя. В самом деле, из формулы (5.6) следует
q
(q) /= 0.
aa'
Конечно, противоречие возникло из-за того, что лагранжиан переводит
физические состояния в нефизические. На это впервые обратили внимание Де Витт
[94] и Фейнман, решение проблемы для некоторых частных случаев было предложено
Фейнманом [118], а для общего случая - Фаддеевым и Поповым [113]. Идея
заключается в следующем. Нужно ввести дополнительные нефизические частицы (
L
=L
+
(
(x))(
-gf
B
(x))
(x) ,
all
ab
abc
c
b
(5.8)
где лагранжиан L определен формулой (5.3). Поля и , обладая нулевым спином, подчиняются статистике Ферми — Дирака6a). Эти поля не появляются в начальных или конечных состояниях (по предположению они нефизические), поэтому несоответствие их спина и статистики не должно вызывать беспокойства.