В квантовой электродинамике существует естественная перенормировочная схема; в ней электроны и фотоны выбираются на массовой поверхности (т.е. электронный пропагатор S задается в точке р2=m2, а фотонный D - при q2=0). Поскольку в КХД, по-видимому, происходит удержание кварков и глюонов, в ней не существует столь же естественного способа выбора схемы перенормировки. Следовательно, имеется определенный произвол в выборе перенормировочной схемы который может быть использован для того, чтобы максимально упростить вычисления. Этим требованиям удовлетворяет схема минимального вычитания, к обсуждению которой мы переходим.
2. Схема минимального вычитания
Как заметил т’Хофт [249], простейший способ исключения расходимостей из
функций Грина состоит в отбрасывании полюсов по параметру
1/, появляющихся в размерной регуляризации (
N
=
2
-
E
+ log4.
(9.15)
Следовательно, если отбросить только член 2/, то остаются трансцендентные величины E, log 4. Напомним, что зти величины возникают в результате обобщения проводимых вычислений на случай пространства произвольной размерности D=4-, что находит свое отражение в членах вида
(4)/2(/2)=N+O
Кажется вполне естественным отбросить и эти трансцендентные
слагаемые. Это требование приводит к
15) Схема MS может быть сведена к схеме MS заменой выражения dDk=4-D0 x dDk/(2)D на выражение dDk={4-d0/(2)D} / {(4)(4-D)/2(3-D/2)}.
Z
=1 - C
g
(1-)N
,
F
F
4
(9.16)
Z
=1 - C
3
g
N
.
m
4
(9.17)
Мы будем пользоваться в основном схемой MS, поэтому черту над перенормировочными множителями Z, относящимися к этой схеме, в дальнейшем будем опускать. (В схеме MS множитель Zm не зависит от калибровки. В двухпетлевом приближении это проверено в работе [242], но результат, по-видимому, справедлив во всех порядках теории возмущений вследствие калибровочной независимости массового члена mqq .) Из выражений (9.16) и (9.17) видно, что, определив коэффициент с выражением C=cN можно написать
c
(1)
= - C
F
(1-) ,
F
(9.18)
c
(1)
= - 3C
F
m
(9.19)
Эти вычисления были проведены во втором порядке теории возмущений 16).
16) Вычисления были проведены Нанолулосом и Россом [208]; Таррач [242] проверил их и исправил тривиальную ошибку, допущенную в оригинальной работе [208].
Вычислим теперь в схеме MS другие перенормировочные константы. Начнем с глюонного пропагатора. Поперечная часть глюонного пропагатора записывается в виде
D
(q,g
u
,m
u
,
u
)
utr;ab
=
i
-g
+q
q
/q
2
ab
q
2
+
-g
'
+q
u
q
'
/q
2
a'b'
q
2
aa'
''
b'b
x
i
-g
'
+q
'
q
/q
2
+ … .
2
(9.20)
В этом выражении во втором порядке теории возмущений не требуется проведения перенормировки константы связи, калибровочного параметра или массы.
Рис. 6. Глюонный пропагатор.
Часть поляризационного оператора , обусловленная вкладами духов и глюонов (рис. 6, а), вычислена выше (выражение (5.9)16a). Часть оператора , возникающая от вклада кварковой петли (рис. 6, б), для кварка каждого аромата f записывается в виде
16a) Выражение (5.9) получено без учета множителя 4-D0. Если учесть его, то единственное изменение заключается в замене log(-q2) на log(-q2/20).
=
ig
2
t
a
t
b
d
D
k
4-D
Tr(
+m
f
)
(
+
+m
f
)
.
fquark;ab
ij
ij
(2)
D
0
(k
2
-m
2
f
)[(k+q)-m
2
f
]
ij
Вычисление этого выражения проводится стандартными методами. За исключением множителя Tr tatb, результат совпадает с хорошо известным из КЭД выражением для фотонного поляризационного оператора. Если через nf обозначить полное число ароматов кварков, то результат имеет вид
all quarks;ab
=
ab
-2T
F
g
2
(-g
q
2
+q
q
)
16
2
x
nf
{
2
N
n
f
-4
1
dx·x(1-x)
log
m
2
f
-x(1-x)q
2
}
.
3
0
2
0
f=1
(9.21)
Во втором порядке теории возмущении можно просуммировать все диаграммы рис. 6, в, где кружками обозначены петли кварков, плюонов или духов. Выделяя из поляризационного оператора тензорную структуру вида
''
= -
a'b'
(-g
''
q
2
+q
'
q
'
),
a'b'
(9.22 а)
получаем аналог выражения (7.5)
D
q = i
-g
+q
q
/q
2
u tr;ab
(1-)q
2
(9.22 б)
Введем запись
div
f
=
g,
которая означает, что коэффициенты при члене N в выражениях для величин f и g равны. Тогда перенормированный глюонный пропагатор D запишется в виде
D
=Z
-1
D
.
R tr;ab
B
u tr;ab
Из уравнений (5.9), (9.20). и (9.21) следует равенство
1-
div
=
1+
g
2
{
10C
A
-
8T
F
n
f
}
N
.
32
2
3
3
Следовательно, в рамках схемы MS в калибровке Ферми - Фейнмана для перенормировочного множителя получаем выражение
Z
B
=1+
g
{
10C
A
-
8T
F
n
f
}
N
.
8
3
3
(9.23)
В произвольной калибровке перенормировочный множитель ZB был вычислен в работах [160, 218]. Соответствующий коэффициент C(1)B равен
C
(1)
=
1
{
10+3-
4n
f
}
.
B
2
3
(9.24)