Эта ограничения не учитывают возможные ошибки в определении значения вакуумного среднего ⟨αsG²⟩ . Если добавить и их, то получим ограничение снизу
m̂
u
+m̂
d
≥13 МэВ .
(32.8)
Во всяком случае, это ограничение совместимо в пределах ошибок с ограничениями (31.7), хотя некоторое предпочтение отдается бо́льшим массам кварков.
Этот метод можно использовать не только для получения ограничений на массы кварков, но и для
m̂
u
+m̂
d
≥(20±6) МэВ ,
(32.9)
Недавно был развит альтернативный метод [210], который можно рассматривать как основанное на КХД улучшение классических оценок, полученных в работе [192]. Этот метод позволил получить приближенное значение m̂u+m̂d≈(27±8) МэВ при параметре обрезания Λ=130 ± 50 МэВ. Как было указано выше, мы получаем массы кварков, согласующиеся с оценками (31.7), но смещенные в сторону больших значений. Между прочим, эти оценки показывают, что ограничение (32.6) является очень строгим, и, возможно, приближенное равенство
m̂
u
+m̂
d
≈
⎧
⎪
⎩
2π
3
⎫½
⎪
⎭
⋅
8m
2
π
ƒ
2
π
3⟨αG²⟩½
,
по крайней мере в некотором пределе, является точным.
§ 33. Распад π0→γγ; аксиальная аномалия
Одно из первых указаний на существование цветовых степеней свободы было получено при изучении распада π0→γγ, к детальному рассмотрению которого мы теперь переходим.
Используя редукционные формулы, амплитуду этого распада можно записать в виде
⟨γ(k
1
,λ
1
),γ(k
2
,λ
2
)
|S|π
0
(q)⟩
=
-ie2
(2π)9/2
ε
*
μ
(k
1
,λ
1
)
ε
*
ν
(k
2
,λ
2
)
∫
𝑑
4
x
1
𝑑
4
x
2
𝑑
4
z
e
i(x1⋅k1+x2⋅k2-z⋅q)
×
(∂
2
z
+m
2
π
⟨TJ
μ
em
(x
1
)
J
ν
em
(x
2
)
φ
π0
(z)⟩
0
,
(33.1)
где принято
∂A
μ
(x)=J
μ
em
(x),
A — поле фотонов48а). Выделяя дельта-функиию δ(k1+k2+q), получаем
48а) Мы оставляем читателю в качестве упражнения доказательство этого равенства, а также равенства ∂
2
x1 ∂
2
x2 TAμ(x1)Aν(x2)φ(z) = T(∂²Aμ(x1)∂²Aν(x2))φ(z) , означающего, что возможные члены, в которых производные действуют на функцию θ01-z0 в хронологическом произведении, приводят к вкладам, равным нулю.
F(π
0
)→γ(k
1
,λ
1
),γ(k
2
,λ
2
))
=
e
2
(q
2
-m
2
π
)
√2π
ε
*
μ
(k
1
,λ
1
)
ε
*
ν
(k
2
,λ
2
)
F
μν
(k
2
,k
2
) ,
(33.2а)
где вакуумное среднее
F
μν
(k
2
,k
2
)
=
∫
𝑑
4
x𝑑
4
y
e
i(x⋅k1+y⋅k2)
⟨TJ
μ
(x)J
ν
(y)φ
π0
(0)⟩
0
,
q
=
k
1
+k
2
.
(33.2б)
Всюду в дальнейшем при токе J подразумевается индекс em, обозначающий электромагнитное взаимодействие. Теперь можно использовать соотношение (31.1), обобщив его так, чтобы включить поля π0-мезонов:
∂
μ
A
μ
3
(x)
=
2ƒ
π
m
2
π
φ
π0
(x),
A
μ
3
(x)
=
u
(x)γ
μ
γ
5
u(x)
-
d
(x)γ
μ
γ
5
d(x),
(33.3)
и записать с его помощью равенства
F
μν
(k
1
,k
2
)
=
1
ƒπm
2
π
T
μν
(k
1
,k
2
),
T
μν
(k
1
,k
2
)
=
1
2
∫
𝑑
4
x𝑑
4
y
e
i(x⋅k1+y⋅k2)
⟨TJ
μ
(x)J
ν
(0)∂A
3
(0)⟩
0
.
(33.4)
До сих пор все вычисления были точными. Следующий же шаг связан с применением гипотезы частичного сохранения аксиального тока (ЧСАТ), сформулированной в таком виде: предполагается, что в пределе q²→0 амплитуду F(π→γγ) можно аппроксимировать ее ведущим членом. Из чисто кинематических соображений видно, что при этом также q, k1, k2 → 0. Тогда можно написать
T
μν
(k
1
,k
2
)
=
ε
μναβ
k
1α
k
2β
Φ+O(k
3
).
(33.5)
Гипотеза частичного сохранения аксиального тока означает,
что в выражении (33.5) мы сохраняем только первый член.
Ниже будет показано, что это приводит к противоречию, для разрешения которого необходимо ввести так называемую
Первый шаг состоит в рассмотрении величины
R
μνλ
(k
1
,k
2
)
=
∫
𝑑
4
x𝑑
4
y
e
i(x⋅k1+y⋅k2)
⟨TJ
μ
(x)J
ν
(y)A
λ
3
(0)⟩
0
.
(33.6)
Исходя только из требования лоренц-инвариантности, для нее можно написать общее разложение
R
μνλ
(k
1
,k
2
)
=
ε
μνλα
k
1α
Φ
1
+
ε
μνλα
k
2α
Φ
2
+O(k³),
(33.7)
где члены O(k³) имеют вид εμλαβkiαkiβklλΦlij + три перестановки, и для случая m≠0 функция Φ является регулярной в пределе ki→0. Сохранение электромагнитного тока ∂J=0 приводит к равенствам
k
1μ
R
μνλ
=
k
2ν
R
μνλ
=0;
(33.8)
первое из этих равенств обеспечивает выполнение соотношения
Φ
1
=
O(k²),
(33.9а)
а второе - соотношения
Φ
2
=
O(k²),
(33.9б)
Но из формул (33.4) и (33.6) следует равенство
q
λ
R
μνλ
(k
1
,k
2
)
=
T
μν
(k
1
,k
2
), т.е. Φ=Φ
2
-Φ
1
,
(33.10)
и, следовательно, учитывая выражения (33.9) , получаем результат [238, 255]
Φ=O(k²).
(33.11)
Импульс k имеет величину порядка m откуда следует оценка Φ2π. По это противоречит эксперименту и, что еще хуже, противоречит результату прямого вычисления. Действительно, используя уравнение движения, можно написать
∂
μ
A
μ
3
(3)=2i
⎧
⎨
⎩
m
u
u
(x)γ
5
u(x)
-
m
d
d
(x)γ
5
d(x)
⎫
⎬
⎭
.
(33.12)
Рис. 25. Диаграммы с аномалиями (а, б) и диаграммы, не содержащие аномалий (в, г).