ЯДЕРНАЯ ФИЗИКА, 2021, том 84, № 6, с. 535-552
ЭЛЕМЕНТАРНЫЕ ЧАСТИЦЫ И ПОЛЯ
РАСЧЕТ ДВУХБОЗОННОГО ОБМЕНА
С КОМПЛЕКСНЫМИ МАССАМИ
© 2021 г. В. А. Зыкунов1),2)*
Поступила в редакцию 9.12.2020 г.; после доработки 22.01.2021 г.; принята к публикации 22.01.2021 г.
Описан новый метод расчета вклада в сечение четырехфермионного процесса диаграмм двухбозонного
обмена (боксов) с одной и двумя комплексными массами бозонов. Сделан подробный численный
анализ полученных результатов и их сверка с асимптотическими выражениями для областей энергий
ниже и выше Z-резонанса.
DOI: 10.31857/S0044002721050160
1. ВВЕДЕНИЕ
108. Принципиальной трудностью является также
то, что предлагаемое представление приводит к
Нетривиальная задача расчета вклада диаграмм
неточностям при расчете в некоторых проблем-
двухбозонного обмена (ДО) возникла как часть
ных кинематических областях из-за возникающих
задачи учета однопетлевых электромагнитных ра-
численных “псевдонеопределенностей” вида ∞ -
диационных поправок в экспериментах физики вы-
- ∞,∞∞,00, либо их более сложной комбинации.
соких энергий. На первом этапе эта задача в ос-
Определенные успехи в упрощении были достигну-
новном решалась аналитически. Одним из пер-
ты, например, в работе [4] (там результат состоит
вых методически последовательных аналитических
из “всего 16 функций Спенса”) и в работе [5],
расчетов ДО для случая двух фотонов была работа
где получены простые аналитические выражения
Дж. Кахане (J. Kahane) [1]. Ключом для упроще-
для нейтральных s-канальных боксов, но только в
ния вычислений в [1] стала догадка скомбиниро-
области m2f ≪ s ≤ 2Rem2a.
вать инфракрасно-расходящиеся 3- и 4-точечные
функции в инфракрасно-конечное выражение. Хо-
По прошествии времени, с развитием компью-
тя это выражение более сложно по форме в сравне-
терных технологий, появилось большое число про-
нии с простым скалярным 4-точечным интегралом
граммных комплексов, позволяющих эффектив-
(из-за наличия в числителе комбинации, квадра-
но рассчитывать диаграммы не только в одно-
тичной по 4-импульсу переменной интегрирова-
петлевом приближении (например, коды FF [6],
ния), однако рассчитывается проще, так как из-за
LoopTools [7]), но и в высших порядках (в насто-
инфракрасной конечности учет инфинитезималь-
ящий момент до четырехпетлевого уровня). По-
скольку стандартным приемом остается объеди-
ной массы фотона λ в нем не требуется.
нение знаменателей с помощью приема Фейнма-
Далее, Г. ’т Хоофтом и М. Велтманом в работе
на (так называемый Feynman’s trick [8], см. ни-
[2] был предложен общий метод аналитического
же), то усилия в основном были сосредоточе-
расчета скалярных многоточечных интегралов. Для
ны на эффективном интегрировании по фейнма-
3-точечных функций метод приводит к выражению,
новским параметрам. Среди разработанных с тех
состоящему из не более чем 12 дилогарифмов (или
пор программ-интеграторов необходимо упомянуть
функций Спенса [3], см. Приложение А). Если для
программу 1978 г. VEGAS [9] (автор — П. Лепаж
3-точечных функций метод [2] хорошо работает
[P. Lepage]). Этот код задал высочайший уро-
при произвольных массах и значениях энергии,
вень качества подобных программ и до сих пор
то для 4-точечных функций в случае комплекс-
весьма продуктивно используется. Из популярных
ных масс (характерных для s-канальных амплитуд)
в настоящее время интеграторов следует назвать
сложность выражения существенно увеличивает-
библиотеку программ Cuba [10] (автор — Т. Хан
ся, например, количество слагаемых возрастает до
[T. Hahn]). В нее, кроме кода VEGAS, входят также
алгоритмы Cuhre, Divonne и Suave. Библиотека
1)Объединенный институт ядерных исследований, Дубна,
Cuba лежит в основе ряда современных программ
Россия.
многопетлевых вычислений, стоит упомятуть такие
2)Гомельский государственный университет им. Ф. Скори-
ны, Гомель, Беларусь.
эффективные пакеты как, например, FIESTA [11] и
*E-mail: zykunov@cern.ch
SECDEC [12].
535
536
ЗЫКУНОВ
p1
p3
Не стояли на месте и аналитические методы
расчета многопетлевых диаграмм. Так, давно хоро-
шо изученными функциями, наряду с упоминаемы-
c(q)
ми дилогарифмами, стали так называемые кратные
полилогарифмы (multiple polylogarithms) [13], с по-
мощью которых выражаются результаты для неко-
торых классов многопетлевых диаграмм (напри-
-p2
-p4
мер, для вычисления боксов пакетами XLOOPS-
GiNaC [14]). Активно идет работа по изучению
Рис. 1. Фейнмановская диаграмма процесса qq →
→ l-l+ вборновскомприближении.Волнистойлинией
эллиптических полилогарифмов [15], которые по-
обозначены фотон или Z-бозон.
могают в ряде случаев при расчете тех высших
диаграмм, которые не выражаются через кратные
полилогарифмы.
Фейнмановская диаграмма, соответствующая
В настоящей работе будет показано, как точно и
процессу (1) в борновском приближении, при-
быстро рассчитать вклад ДО в канале нейтрально-
ведена на рис.
1. Обозначения на диаграмме
го тока с комплексными массами без сложностей,
следующие:
связанных с представлением через комплексно-
значные дилогарифмы и применением продвинутых
• p1 —4-импульс первого кварка с ароматом
адаптивных техник интегрирования. Другими сло-
q и массой mq;
вами, полученный аналитический результат прост,
удобен для программирования, анализа и примене-
• p2 —4-импульс второго антикварка (с тем
ния для конкретной интерпретации в физическом
же ароматом и массой);
эксперименте (это будет проиллюстрировано на
примере реакции Дрелла-Яна на эксперименте
• p3 —4-импульс конечного лептона l- с аро-
CMS LHC). План работы следующий: в разд. 2
матом l и массой ml;
дано общее описание четырехфермионного процес-
са, в разд. 3 приведены выражения для сечения
• p4 —4-импульс конечного антилептона l+
процесса с ДО, в разд. 4 с использованием но-
тем же ароматом и массой);
вой техники проделан расчет 4-точечных функций:
для γZ-бокса (разд. 4.1), для ZZ- и W W -боксов
• q = p1 +p2 = p3 +p4 — 4-импульс c-бозона
(разд. 4.2). Численный анализ проведен в разд. 5.
с массой mc.
Технические детали вынесены в Приложения, в
частности, в Приложении Г приведен упрощенный
Промежуточные бозоны везде в работе будут обо-
вариант формул, пригодных для расчета ДО с
значаться малыми латинскими буквами: a, b, c, ... =
комплексными массами в произвольной кинемати-
= γ,Z,W.
ческой области.
Приведем стандартный набор лоренц-инвари-
антных переменных Мандельштама:
2. ОПИСАНИЕ ПРОЦЕССА
s = q2 = (p1 + p2)2, t = (p1 - p3)2,
(2)
В БОРНОВСКОМ ПРИБЛИЖЕНИИ
u = (p2 - p3)2,
Дадим общее описание четырехфермионного
которые сформированы из 4-импульсов частиц.
процесса с продольной поляризацией началь-
В работе применяется ультрарелятивистское при-
ных частиц. Для определенности рассмотрим в
ближение (УРП):
начальном состоянии кварки, а в конечном —
лептоны (пользуясь элементарными заменами,
s,|t|,|u| ≫ m2f.
(3)
можно использовать все полученные формулы для
произвольной фермионной конфигурации):
Также будем пользоваться общим фермионным
индексом f = q, l.
q(p1) + q(p2) → c(q) → l-(p3) + l+(p4).
(1)
Для расчета0 — дифференциального сечения
Поляризацию полезно удержать в расчете, так
процесса (1), изображенного на рис. 1, — применя-
как в планируемых экспериментах на будущем
ется стандартная техника. Прежде всего, сформи-
электрон-позитронном коллайдере, описание ко-
руем амплитуды, используя правила Фейнмана из
торых входит в круг задач, которые возможно ре-
[5], и кратко опишем их. Входящему фермиону с 4-
шить предлагаемым в этой работе методом, наме-
импульсом p соответствует биспинорная амплитуда
чается поляризовать по крайней мере электрон.
u(p), выходящему — биспинорная амплитуда u(p).
ЯДЕРНАЯ ФИЗИКА том 84
№6
2021
РАСЧЕТ ДВУХБОЗОННОГО ОБМЕНА
537
Пропагатору бозона (в калибровке Фейнмана) от-
Амплитуда процесса (1) выглядит так:
вечает выражение -igαβ Da(q), где
Mc0 = ie2Dc(q) · u(-p2)γμΓcu(p1) ×
(11)
1
Da(q) =
,
(4)
× u(p3)γμΓcu(-p4).
q2 - m2a
Сечение формируется по общему правилу
а q —4-импульс передачи в пропагаторе. Исполь-
1
зуется общее правило так называемых комплекс-
=
|M|2dΦ2,
(12)
ных масс
8π2s
m2a → m2a - iϵa.
(5)
где M — амплитуда процесса, а фазовый объем
реакции имеет вид
Фотонная масса mγ ≡ λ равна нулю везде, кроме
специально отмеченных случаев, где она исполь-
dΦ2 = δ(p1 + p2 - p3 - p4) ×
(13)
зуется как инфинитезимальный параметр, который
d3p3 d3p4
π
регуляризует инфракрасную расходимость. Масса
×
dt.
Z-бозона обозначена как mZ , величина ΓZ — это
2p30 2p40
2s
его ширина. Мнимая часть знаменателя пропага-
Квадрируя суммарную амплитуду для обмена
тора в случае фотона ϵγ 0 служит для обхода
фотоном и Z-бозоном, получим борновское сече-
полюса. В случае массивного Z-бозона могут быть
ние в виде
использованы разные схемы для корректного учета
ширины. В настоящей работе используется схема с
πα2
0 =
ΠacRaacq · dt.
(14)
фиксированной шириной, для которой величина ϵZ
s2
a,c=γ,Z
выглядит следующим образом:
ϵZ = mZΓZ.
(6)
Функция Rq получается из расчета произведения
следов матриц:
Фермионный (электронный) пропагатор выгля-
[
]
дит так (тут p — 4-импульс передачи, также везде
Rabcq = Sp γμΓaqU1Γcq+γνU2
×
(15)
используется сокращенная запись p = γμpμ):
[
]
p+m
× Sp γμΓblU4Γcl+γνU3
,
iS(p) = i
(7)
p2 - m2
где U1,2 — матрицы плотности, U3,4 — проекцион-
Вершине взаимодействия фермиона f с калибро-
ные операторы:
вочным бозоном a соответствует выражение
U1 = u(p1)u(p1), U2 = u(-p2)u(-p2),
ieγμΓaf, где Γaf = vaf - aafγ5.
(8)
U3 =
u(p3)u(p3), U4 =
u(-p4)u(-p4).
Векторные и аксиально-векторные константы свя-
зи фермиона аромата f с фотоном и Z-бозоном:
Пропагаторы бозонов образуют комбинации:
Πac = Da(q)D∗c(q).
vγf = -Qf, aγf = 0,
Используем коммутационные свойства гамма-
I3f - 2Qf s2W
I3f
матриц и подберем удобную сокращенную форму
vZf =
,
aZf =
;
2sWcW
2sWcW
записи констант связи и степеней продольной по-
ляризации начальных частиц (λ1 и λ2):
константы связи фермионов с W -бозоном:
1
Rabcq = Tabcq + Uabcq
,
(16)
vWf = aWf =
2
2sW
где функции Tq и Uq выглядят так:
(
)
Используются следующие параметры Стандарт-
Tabcq = 2t2
[1 - λ1λ2]fabcq- + [λ1 - λ2]gabcq-
,
(17)
ной модели (СМ): Qf — электрический заряд f-
(
)
частицы в единицах протонного заряда e, третья
Uabcq = 2u2
[1 - λ1λ2]fabcq+ - [λ1 - λ2]gabcq+
,
компонента слабого изоспина для конкретного ти-
а комбинации констант связи и степеней поляриза-
па фермиона:
ций имеют вид
1
1
1
1
I3ν = +
,
I3e = -
,
I3u = +
,
I3d = -
,
(9)
fabcq± = λacq+λbcl+ ± λacq-λbcl-,
2
2
2
2
а sW (cW) —синус (косинус) угла Вайнберга, ко-
gabcq± = λacq+λbcl- ± λacq-λbcl+.
торые связаны с массами Z- и W -бозона согласно
Используются следующие обозначения для произ-
правилам СМ:
ведений констант связи:
mW
cW =
,
sW =
1-c2W.
(10)
mZ
λabf+ = vafvbf + aafabf , λabf- = vafabf + aafvbf.
(18)
ЯДЕРНАЯ ФИЗИКА том 84
№6
2021
538
ЗЫКУНОВ
3. ВКЛАД В СЕЧЕНИЕ ОТ ДИАГРАММ
где Cs = 4πα3D∗c(q). Приведем выражения U1-4 в
ДВУХБОЗОННОГО ОБМЕНА
УРП:
Сечение вклада ДО (с обменом бозонами a и b)
Uabc1,4 = ΓaΓbΓcU1,4 = (vabc0 - aabc0γ5)U1,4,
(22)
имеет вид
1
(
)
U2 =
(1 - λ2γ5)p2, U3 = p3.
ab
1
2
=
MabD + Mab
Mc0+.
(19)
C
dt
23πs2
c=γ,Z
Упрощая, получаем:
Произведения боксовских прямой (соответствует
1
Uabc1 =
(vabc1,q - aabc1,qγ5)p1,
(23)
рис. 2а) и перекрестной (соответствует рис. 2б)
2
амплитуд с борновской выглядят так:
Uabc4 = (vabc0,l - aabc0,lγ5)p4,
dk
MabDMc0+
= +Cs
Da(k) ×
(20)
vabc1,f = vabc0,f - λ1aabc0,f,
2
1
vabc0,f = vafvbf vcf + vafabfacf + aafvbfacf + aafabf vcf,
× Db(q - k)
×
(k2 - 2p1k)(k2 - 2p3k)
[
]
aabc1,f = aabc0,f - λ1vabc0,f,
× Sp γβ(p1 - k)γμUabc
1
γνU2
×
aabc0,f = aafabf acf + aafvbfvcf + vafabf vcf + vafvbfacf .
[
]
× Sp γμ(p3 - k)γβ Uabc4γνU3 ,
Как выяснится ниже, в сечение ДО константы
связи входят только в двух комбинациях:
dk
MabCMc0+
= -Cs
Da(k) ×
(21)
(
)
2
Cabc3 =
vabc1,q + λ2aabc1,q
vabc0,l,
(24)
1
(
)
× Db(q - k)
×
Cabc4 =
aabc1,q + λ2vabc1,q
aabc0,l.
(k2 - 2p1k)(k2 - 2p4k)
[
]
× Sp γβ(p1 - k)γμUabc
1
γνU2
×
Как видно из (20), нужно уметь рассчитывать
[
]
четырехточечные скалярный, векторный и тензор-
× Sp γβ(p4 - k)γμUabc4γνU3 ,
ный интегралы, для прямого бокса они имеют вид
dk
1, kα, kαkβ
Iab0,α,αβ =
(
)(
)(
)(
).
(25)
2
k2 - m2a
(k - q)2 - m2b
k2 - 2p1k
k2 - 2p3k
[
Векторный и тензорный интегралы для прямого
+ 4Cabc4 (a1 + a2 - I0)t(u2 - t2) +
бокса представляются в виде
+ 2b0(u2 - 4t2) +
Iabα = a1p1α + a2p3α + a3qα,
(26)
]
+ 2(a3 - b3 - b5 - b6)st2 + b4t(2t2 - u2) .
Iabαβ = b0gαβ + b1p1αp1β + b2p3αp3β +
(27)
+ b3qαqβ + b4(p1αp3β + p3αp1β) +
Во всех коэффициентах I0, a1,..., b0,... подразумева-
+ b5(p1αqβ + qαp1β) + b6(p3αqβ + qαp3β).
ются верхние индексы ab, как в левой части урав-
нений (26), (27). Аналогично, произведение следов
Выражения для перекрестного бокса получаются
для перекрестного бокса (21) такое:
из формул (25), (26), (27) заменой p3 → p4.
[
]
[
]
Подставляя выражения (26), (27) в (20), полу-
-Sp
Sp
(29)
C
чим для произведения следов гамма-матриц:
[
[
]
[
]
4Cabc
-(a1 + a2 - I0)u(u2 + t2) -
+Sp
Sp
(28)
3
D
[
- 2b0(4u2 + t2) +
4Cabc3 (a1 + a2 - I0)t(t2 + u2) +
]
+ 2(a3 - b3 - b5 - b6)su2 + b4u(2u2 + t2) +
+ 2b0(4t2 + u2) -
]
[
2(a3 - b3 - b5 - b6)st2 - b4t(2t2 + u2) +
+ 4Cabc4 (a1 + a2 - I0)u(t2 - u2) +
ЯДЕРНАЯ ФИЗИКА том 84
№6
2021
РАСЧЕТ ДВУХБОЗОННОГО ОБМЕНА
539
а
б
p1
p3
p1
p3
a(k)
a(k)
p1 - k
p
- k
p1 - k
k - p4
3
b(q - k)
b(q - k)
p2
-p4
-p2
p4
Рис. 2. Диаграммы двухбозонных вкладов в процесс qq → l-l+. Волнистой линией обозначен фотон, Z-бозон или
W -бозон.
+ 2b0(t2 - 4u2) +
E = A · xyz + B · xyz + C · yz + D · z.
]
+ 2(a3 - b3 - b5 - b6)su2 + b4u(2u2 - t2) .
Пользуясь (31), преобразуем подынтегральное
выражение 4-точечных функций Iab. Существу-
Отметим, что коэффициенты I0, a1,..., b0,... для пря-
ет 4! = 24 способа выбрать последовательность
мых и перекрестных боксов разные, связь между
множителей в знаменателе. Оказывается, только
ними объяснена выше.
3! из них (если D = k2 - m2a) дают возможность
Сведение (редукция) четырехточечных вектор-
факторизовать результат в целях его дальнейшего
ных и тензорных интегралов к скалярным (так
упрощения в случае a = γ. Выбирая один из таких
называемое векторное и тензорное инте-
вариантов:
грирование) обычно осуществляется методом
A = (k - q)2 - m2b, B = k2 - 2p3k,
(32)
Вельтмана-Пассарино
[16], это довольно тру-
доемкая процедура. В настоящей работе будет
C = k2 - 2p1k, D = k2 - m2a,
предложен другой, как полагает автор, более
простой путь.
получим для произвольного случая:
E = k2 - 2Pk + Δ,
4. РАСЧЕТ ЧЕТЫРЕХТОЧЕЧНЫХ
P = (y· p1 + xy · p3 + xy · q)z,
ФУНКЦИЙ
Δ = -m2a · z+ (q2 - m2b) · xyz.
Для начала рассмотрим прямой бокс. Приведем
Для дальнейшего нам понадобится квадрат 4-
формулы, позволяющие объединить произведение
вектора P:
в знаменателе 4-точечного интеграла [8],
1
P2 = A · z2,
(33)
1
dx
=
,
(30)
где коэффициент A не зависит от индексов бокса ab
AB
(Ax + Bx)2
при условии такого же порядка выбора последова-
0
тельности A, B, C, D (заметим, что A > 0 во всей
1
области интегрирования):
1
2xdx
=
,
A2B
(Ax + Bx)3
A=m2q
· y(1 - xy) +
(34)
0
1
+ m2l · xy(1 - xy) - t · xyy+ s · xy.
1
3x2dx
=
A3B
(Ax + Bx)4
0
4.1. Расчет γZ-бокса
Параметр Фейнмана с чертой традиционно означа-
Приступаем к расчету 4-точечной функции IγZ0
ет:
(случай отдельно не рассматривается в силу
x = 1 - x,
y=1-y,
z=1-z.
очевидной симметрии результата: = γZ). По
Последовательно применяя формулы (30), получим
причине инфракрасной расходимости IγZ0 нельзя
занулить массу фотона в общем выражении. Для
1
1
1
начала поступим в духе работы [1] — скомбиниру-
1
yz2
= 3! dx dy
dz
,
(31)
ем 3- и 4-точечные функции, чтобы аналитически
ABCD
E4
выделить инфракрасную расходимость (ИКР), для
0
0
0
ЯДЕРНАЯ ФИЗИКА том 84
№6
2021
540
ЗЫКУНОВ
этого введем 4-точечный инфракрасно-конечный
функциям. Итак, зная YγZ0 (40), Hγ0 (П.2) и FZ0
интеграл:
(П.8), получим IγZ0 :
(
)
Y γZ0 = (q2 - m2Z)IγZ0 - Hγ0 + FZ0 .
(35)
1
Z
IγZ0 =
YγZ0 +Hγ0 -F
(41)
0
q2 - m2
3-точечные функции Hγ0 и FZ0 определяются и
Z
рассчитываются в Приложении А. Интеграл YγZ0
Займемся векторным интегралом
(26), он
после приведения к общему знаменателю подынте-
инфракрасно-конечен, так что перекомбинаций
грального выражения приобретает вид
делать не нужно. Объединим знаменатели и
YγZ0 =
(36)
проинтегрируем по формуле (37):
dk
2kq
1
1
1
=
(
)(
)(
).
Pα
2 k2
(k - q)2 - m2Z
k2 - 2p1k
k2 - 2p3k
IγZα = dx ydy z2dz
(42)
(P2 - Δ)2
0
0
0
Объединяем знаменатели по формулам (32), за-
тем снимаем интеграл по k, пользуясь известными
Интегрируя по z и сравнивая коэффициенты при
выражениями:
одинаковых 4-векторах с выражением (26), полу-
чим
dk
1; kα; kαkβ
3!
=
(37)
1
1
2 [k2 - 2Pk + Δ]4
a1 =
dx yyYS dy,
(43)
1; Pα; PαPβ - gαβ (P2 - Δ)/2
=
,
0
0
(P2 - Δ)2
1
1
тогда
a2 =
xdx y2YS dy,
1
1
1
2Pq
0
0
Y γZ0 = dx ydy z2dz
(38)
1
1
(P2 - Δ)2
0
0
0
a3 = xdx y2YSdy.
Упрощая, получим 2Pq = q2(1 + xy)z. Далее, с
0
0
учетом (5) и после сокращения в дроби z2 получаем
Теперь вычислим тензорный интеграл (27), он
1
1
также инфракрасно-конечен. Объединяем знаме-
YγZ0 =q2
dx y(1 + xy)dy ×
(39)
натели и интегрируем по формуле (37):
0
0
1
1
1
zdz
IγZαβ = dx ydy ×
(44)
×
,
(Az + B - iC)2
0
0
0
1
PαPβ - gαβ(P2 - Δ)/2
где
× z2dz
(P2 - Δ)2
B = (m2Z - q2)xy, C = ϵZxy.
0
Теперь нетрудно снять аналитически интеграл по z
Снова интегрируем по z и сравниваем коэффици-
(все нужные интегралы подобного типа приведены
енты при одинаковых тензорах с выражением (27),
в Приложении Б):
в результате получаем
1
1
1
1
1
YγZ0 =q2
dx y(1 + xy)YS dy.
(40)
b0 = -
dx yYAdy.
(45)
2
0
0
0
0
Коэффициенты b1 и b2 не входят в ультрареля-
В полученном виде (40) интеграл Y γZ0 не имеет
тивистское выражение для сечения, тем не менее
особенностей и областей, сложных с точки зре-
приведем их:
ния возможной потери точности. Другими сло-
вами, представляется возможность интегрировать
1
1
Y γZ0 численно, не затрачивая усилий на сведение
b1 = dx yy2YBdy,
(46)
результата к дилогарифмам и трансцендентным
0
0
ЯДЕРНАЯ ФИЗИКА том 84
№6
2021
РАСЧЕТ ДВУХБОЗОННОГО ОБМЕНА
541
0
AΣ
LR
Σ00, пбн0
а
б
0.8
104
103
0.6
102
0.4
101
100
0.2
10-1
0
-2
10
10
50
100
500
1000
10
50
100
500
1000
s, ГэВ
s, ГэВ
Рис. 3. Борновские полное сечение и поляризационная интегральная асимметрия в зависимости от энергии.
1
1
стью A = k2 - m2Z , B = (k - q)2 - m2Z , C = k2 -
b2 =
x2dx y3YBdy.
- 2p3k, D = k2 - 2p1k, получим
0
0
P = z· p1 + yz · p3 + xyz · q,
Наконец, остальные тензорные коэффициенты
Δ = (q2 · x - m2Z)yz.
имеют вид
В случае бозонов с массами, значительно превы-
1
1
шающими фермионные, достаточно получить уль-
b3 = x2dx y3YBdy,
(47)
трарелятивисткий результат. Пренебрежем фер-
мионными массами, тогда выражения в подын-
0
0
тегральной функции 4-точечных интегралов IZZ
1
1
выглядят снова P2 - Δ = z(Az + B - iC) (мы ис-
b4 =
xdx y2 yYBdy,
пользуем то же обозначение коэффициентов, что
0
0
и в предыдущем разделе, но сами коэффициенты
1
другие):
1
b5 = xdx y2yYBdy,
A = t · y- s · xxy2,
(48)
0
0
B = -t · y+ m2Z · y, C = ϵZ · y.
1
1
Приведем выражения, требующиеся для вычис-
b6 = xxdx y3YBdy.
ления сечения (28): скалярный интеграл
0
0
1
1
Выражения YA,B приведены в Приложении Б.
IZZ0 = dx yYPdy,
(49)
Мы получили выражения для скалярных, век-
0
0
торных и тензорных коэффициентов для случая
векторные коэффициенты
прямого γZ-бокса. Нетрудно сообразить, что
1
1
непосредственной заменой p3 → p4 из них получа-
ются выражения для коэффициентов перекрестно-
a1 = dx y(YP - YS)dy,
(50)
го γZ-бокса (такая замена означает перестановку
0
0
t ↔ u).
1
1
a2 =
dx yyYS dy,
4.2. Расчет ZZ- и W W -боксов
0
0
1
1
Для расчета вклада диаграмм с двумя массив-
ными бозонами применяем технику, использован-
a3 =
xdx y2YS dy
ную выше. Выбирая вариант с последовательно-
0
0
ЯДЕРНАЯ ФИЗИКА том 84
№6
2021
542
ЗЫКУНОВ
δγZ
а
б
δγZ
0.2
exact
exact
0.2
θ = 10°
θ = 30°
LE
LE
0.1
HE
HE
0
0
-0.1
-0.2
-0.2
-0.4
−0.3
10
50
100
500
1000
10
50
100
500
1000
s, ГэВ
s, ГэВ
δγZ
δγZ
в
г
0.05
0.002
exact θ = 60°
exact
θ = 90°
LE
LE
HE
0.001
0
HE
0
-0.05
-0.001
-0.10
−0.002
10
50
100
500 1000
10
50
100
500
1000
s, ГэВ
s, ГэВ
д
е
δγZ
δγZ
exact
exact
0.10
θ = 120°
0.4
θ = 150°
LE
LE
HE
HE
0.2
0.05
0
0
-0.2
10
50
100
500
1000
10
50
100
500
1000
s, ГэВ
s, ГэВ
Рис. 4. Относительные поправки к дифференциальному сечению γZ-бокса в зависимости от энергии при разных углах
рассеяния.
(можно легко убедиться, что комбинация, присут-
теряет зависимость от YP ). Наконец, тензорные
ствующая в сечении (28)
коэффициенты выглядят так:
1
1
1
1
1
c0 = a1 + a2 - I0 = - dx
y2YSdy
(51)
b0 = -
dx yYAdy,
(52)
2
0
0
0
0
ЯДЕРНАЯ ФИЗИКА том 84
№6
2021
РАСЧЕТ ДВУХБОЗОННОГО ОБМЕНА
543
δZZ
а
δZZ
б
0
0
-0.005
-0.005
-0.010
exact
exact
θ = 10°
θ = 30°
-0.015
LE
LE
-0.010
HE
HE
10
50
100
500
1000
10
50
100
500
1000
s, ГэВ
s, ГэВ
δZZ
δZZ
в
г
0.004
0.004
exact
exact
θ = 90°
θ = 60°
LE
LE
0.002
0.002
HE
HE
0
0
-0.002
-0.002
-0.004
-0.004
10
50
100
500
1000
10
50
100
500
1000
s, ГэВ
s, ГэВ
д
е
δZZ
δZZ
exact
exact
0.015
θ = 150°
θ = 120°
LE
LE
0.005
HE
HE
0.010
0
0.005
0
-0.005
10
50
100
500
1000
10
50
100
500 1000
s, ГэВ
s, ГэВ
Рис. 5. Относительные поправки к дифференциальному сечению ZZ-бокса в зависимости от энергии при разных углах
рассеяния.
1
1
1
1
b1 = dx y(YP - 2YS + YB)dy,
b2 = dx yy2YBdy,
0
0
0
0
ЯДЕРНАЯ ФИЗИКА том 84
№6
2021
544
ЗЫКУНОВ
δWW
δWW
а
б
0.1
0.1
0
0
-0.1
-0.1
exact
exact
-0.2
-0.2
LE
LE
θ = 10°
θ = 30°
HE
HE
-0.3
-0.3
10
50
100
500
1000
10
50
100
500
1000
s, ГэВ
s, ГэВ
δWW
δWW
в
г
0.05
0.05
0
0
-0.05
-0.05
-0.10
-0.10
-0.15
exact
-0.15
exact
−0.20
LE
LE
θ = 60°
θ = 90°
-0.25
-0.20
HE
HE
10
50
100
500
1000
10
50
100
500 1000
s, ГэВ
s, ГэВ
δWW
д
δWW
е
0.02
0.005
0
0
-0.02
-0.04
-0.005
-0.06
exact
exact
-0.010
-0.08
LE
LE
θ = 120°
θ = 150°
HE
HE
-0.10
-0.015
10
50
100
500
1000
10
50
100
500 1000
s, ГэВ
s, ГэВ
Рис. 6. Относительные поправки к дифференциальномусечению WW-бокса в зависимости от энергии при разных углах
рассеяния.
1
1
1
1
b3 =
x2dx y3YBdy,
b4 = dx yy(YS - YB)dy,
0
0
0
0
ЯДЕРНАЯ ФИЗИКА том 84
№6
2021
РАСЧЕТ ДВУХБОЗОННОГО ОБМЕНА
545
γZ
δ+
а
δZZ
б
0.04
0.001
0.02
0
-0.001
0
-0.002
-0.02
exact
exact
-0.003
−0.04
LE
LE
-0.004
HE
HE
-0.06
10
50
100
500 1000
10
50
100
500 1000
s, ГэВ
s, ГэВ
δWW
в
0.05
0
-0.05
-0.10
-0.15
exact
-0.20
LE
HE
-0.25
10
50
100
500 1000
s, ГэВ
Рис. 7. Относительные поправки к полному сечению γZ-, ZZ-, WW-боксов в зависимости от энергии.
1
1
будет означать степени поляризации), где c = cos θ,
b5 =
xdx y2(YS - YB)dy,
θ —угол рассеяния мюона в с.ц.м. начальных ча-
стиц, а индекс C означает происхождение вкла-
0
0
да. Вторая наблюдаемая — полное сечение (см.
1
1
рис. 3а):
b6 =
xdx y2 yYBdy.
0
0
C00
ΣC00 =
· dc,
(53)
Выражения YA,B,S,P приведены в Приложении Б.
dc
1
Выражения для W W -боксов можно получить
из формул для ZZ-случая заменой индекса Z → W
третья наблюдаемая величина — поляризационная
в константах связи и пропагаторах, кроме этого,
интегральная асимметрия (см. рис. 3б):
требуется “выключить” прямой бокс, запрещенный
законом сохранения электрического заряда.
ΣCL - ΣCR
ACLRΣ =
,
(54)
ΣCL + ΣCR
5. ЧИСЛЕННЫЕ ОЦЕНКИ
сформированная из аналогичных (53) сечений
Для иллюстрации работы метода была выбрана
реакция uu → μ-μ+ с продольно поляризованны-
ми кварками. Электрослабые параметры и мас-
C
CR0
L0
ΣCL =
· dc, ΣCR =
· dc.
сы частиц взяты из [17] (масса u-кварка: mu =
dc
dc
= 0.06983 ГэВ [18]), масса фотона: λ = 10-7 ГэВ.
1
-1
Рассмотрены три наблюдаемых величины. Пер-
Будут рассмотрены три относительных поправ-
с неполяри-
ки — к дифференциальному сечению без поляри-
c
зованными начальными частицами (нижний индекс зации и две поправки к комбинациям полного се-
ЯДЕРНАЯ ФИЗИКА том 84
№6
2021
546
ЗЫКУНОВ
δ-
γZ
a
δƵZ
б
exact
0.005
exact
0.5
LE
LE
HE
0
HE
0
-0.005
-0.5
-0.010
-1.0
-0.015
10
50
100
500
1000
10
50
100
500 1000
s, ГэВ
s, ГэВ
WW
δ-
в
exact
0.4
LE
0.2
HE
0
-0.2
-0.4
-0.6
-0.8
-1.0
10
50
100
500
1000
s, ГэВ
Рис. 8. Относительные поправки δ- для γZ-, ZZ-, WW-боксов в зависимости от энергии.
чения:
относительных поправок она не превышает про-
милле в исследованной кинематической области.
C00
ΣCL ± ΣCR
δC =
,
δ =
(55)
На рис. 4-6 приведены относительные поправ-
000
Σ0L ± Σ0
R
ки к дифференциальному сечению для случаев C =
Последние две формируют поправку к поляризаци-
= γZ,ZZ,WW в зависимости от энергии и угла
онной интегральной асимметрии:
рассеяния, на рис. 7 и рис. 8 в таком же стиле
показаны поправки δ±. Изображены три кривые:
ACLRΣ - A0LRΣ
δC- - δC+
точный (exact) расчет по новой технологии этой
δCA =
=
(56)
A0LRΣ
1+δC
работы, асимптотический расчет для LE-режима
+
и асимптотический расчет для HE-режима. Все
Будем пользоваться следующими сокраще-
асимптотические формулы для LE- и HE-режимов
ниями:
приведены в Приложении В. Видно превосходное
согласие точных и асимптотических результатов и
1. LE-режим (от “low energies”, низкие энер-
нетривиальное поведение точного результата в RE-
гии): mf
√s ≪ mW ,
режиме: в областях
√s ∼ mZ,W и√s ∼ 2mZ,W . В
HE-режиме хорошо видны известные закономер-
2. RE-режим (от
“resonanсe”, Z-резонанс):
ности поведения [19]: сечение W W -бокса пропор-
√s ∼ mZ,
ционально второй степени судаковского логарифма
(СЛ), сечения γZ- и ZZ-боксов пропорциональны
3. HE-режим (от
“high energies”, высокие
первой степени СЛ (из-за сокращения прямых и
энергии):
√s ≫ mZ.
перекрестных вкладов), в точке θ = 90 (где t = u)
нейтральные боксы не зависят от СЛ.
Анализ показал, что мнимая часть от всех интегра-
Отдельное исследование по сверке боксов для
лов заметна только в RE-режиме, но и там для всех HE-режима с результатами групп SANC [20] и
ЯДЕРНАЯ ФИЗИКА том 84
№6
2021
РАСЧЕТ ДВУХБОЗОННОГО ОБМЕНА
547
δM
δM
a
б
0.1
0.01
0
0
-0.1
-0.2
−0.01
-0.3
γγ + γZ
γγ + γZ
-0.02
ZZ
-0.4
ZZ
WW
WW
−0.03
-0.5
60
80
100
120
140
160
180
200
200
500
1000
2000
5000
M, ГэВ
M, ГэВ
δM
в
1.0
0.8
0.6
0.4
0.2
0
-0.2
50
100
500
1000
5000
M, ГэВ
Рис. 9. Относительные поправки δM к дифференциальномусечению процесса Дрелла-Яна в зависимости от инвариант-
ной массы димюона: а — вклады боксов в LE- и RE-режимах, б — вклады боксов в HE-режиме, в — полная ЭСП.
ZGRAD [21] было проделано в [19], как видно
ния эксперимента CMS (в частности, для рис. 10
из приведенных здесь результатов, согласие с ре-
применялось ограничение на быстроту димюона
зультатами этих групп распространяется и на RE-
|y| < 2.5). Сравнивая оценки READY с результа-
режим. На рис. 9 показаны относительные поправ-
тами аналогичных расчетов, проведенных други-
ки
ми группами, приведенных в работе [23], можно
убедиться в хорошем согласии во всех изученных
CDY/dM
δCM =
областях.
0DY/dM
к дифференциальному сечению процесса Дрелла-
6. ЗАКЛЮЧЕНИЕ
Яна в зависимости от инвариантной массы димю-
В работе описана новая техника расчета вклада
она M: а — вклады боксов в LE- и RE-режимах,
в сечение процесса с произвольными поляризован-
б —боксы в HE-режиме, в —полная электросла-
ными фермионами диаграмм двухбозонного обмена
бая поправка (ЭСП). Наконец, на рис. 10 приве-
как части ЭСП. Проведена успешная сверка по-
дены асимметрия вперед-назад AFB в борновском
лученных результатов с асимптотическими выра-
приближении, AFB с учетом ЭСП и их разница
жениями для энергий ниже и выше Z-резонанса.
для процесса Дрелла-Яна в зависимости от ин-
Преимущества нового метода:
вариантной массы димюона: а, в — в LE- и RE-
режимах, б, г — в HE-режиме. Расчет произве-
1. для вклада ДО получены простые аналити-
ден с помощью программы автора READY (вер-
ческие выражения без особенностей, поз-
сия 9.0). Были использованы партонные распре-
воляющие получить точную оценку, которая
деления [22], “bare” setup, стандартные ограниче-
надежно контролируется,
ЯДЕРНАЯ ФИЗИКА том 84
№6
2021
548
ЗЫКУНОВ
a
б
A
FB
AFB
0.15
0.30
0.10
0.25
0.05
0.20
0
Born
Born
NLO
NLO
0.15
−0.05
60
80
100
120
140
160
180
200
200
500
1000
2000
5000
M, ГэВ
M, ГэВ
NLO
0
NLO
0
AFB
- AFB
AF
- AF
в
B
B
г
0.020
-0.005
0.015
-0.010
0.010
-0.015
0.005
-0.020
0
−0.005
-0.025
−0.010
60
80
100
120
140
160
180
200
200
500
1000
2000
5000
M, ГэВ
M, ГэВ
Рис. 10. Асимметриявперед-назад в борновском приближениии с учетом ЭСП для процессаДрелла-Яна в зависимости
от инвариантной массы димюона: а — в LE- и RE-режимах, б — в HE-режиме. Разница между асимметрией вперед-
назад с учетом ЭСП и асимметрией вперед-назад в борновском приближении для процесса Дрелла-Яна в зависимости
от инвариантной массы димюона: в — в LE- и RE-режимах, г — в HE-режиме.
2. в явном виде представлены действительная и
которых присутствует дополнительный бозон (Z
,
мнимая части,
W, “тяжелый” фотон и т.д.).
3. в расчете не возникают ультрафиолетовые
Недостатком подхода является то, что по двум
расходимости, которые появляются при
фейнмановским параметрам x и y нужно безаль-
редукции Вельтмана-Пассарино [16] в 2-
тернативно интегрировать численно. Тем не ме-
точечных функциях,
нее, как показал численный анализ, полученные
выражения точно и быстро численно рассчиты-
4. может быть распространена на взаимодей-
ваются во всей доступной экспериментам обла-
ствие, отличное от стандартно-модельного
сти энергий и углов. Можно использовать любой
V -A типа: контактное (скалярное) взаимо-
алгоритм численного интегрирования (например,
действие, присутствие аномальных вершин,
метод прямоугольников или метод Симпсона). Вы-
Z-бозона, W-бозона и другое.
бор тем не менее был оставлен за Монте-Карло
техникой, поскольку она удобна для применения в
Указанные преимущества полезны в круге
конкретной обстановке физического эксперимента
физических задач, ограниченных одной петлей и s-
(в работе сделано приложение к расчету реакции
каналом: фермион-антифермионная аннигиляция
Дрелла-Яна на эксперименте CMS LHC). Итак,
(в том числе в канале с заряженным током),
используя Монте-Карло интегратор VEGAS [9],
процесс Дрелла-Яна, рождение одиночных W -
получаем относительную точность интегрирования
бозонов в протонных столкновениях, расчета
порядка 10-4 при затраченном времени0.1 с
распадов мезонов и т.д. Вышесказанное относится
работы процессора с тактовой частотой 1.2 ГГц на
и к моделям Новой физики, например тем, в
одну кинематическую точку.
ЯДЕРНАЯ ФИЗИКА том 84
№6
2021
РАСЧЕТ ДВУХБОЗОННОГО ОБМЕНА
549
1
Работа выполнена при поддержке Государ-
×
(
)(
)(
).
ственной программы научных исследований Рес-
k2 - m2Z
k2 - 2p1k
k2 - 2p3k
публики Беларусь
“Конвергенция-2020” (под-
Выбирая A = k2 - m2Z , B = k2 - 2p1k, C = k2 -
программа
“Микромир и Вселенная”). Автор
- 2p3k, получим
признателен коллегам по группе RDMS CMS
и Ю.М. Быстрицкому за обсуждение. Числен-
1
1
dk
1
ный расчет относительных поправок к процессу
HZ0 = 2
dx ydy
,
(П.5)
Дрелла-Яна с помощью READY проведен на
2 E3
0
0
Гетерогенной платформе HybriLIT Лаборатории
E = (Ax + Bx)y + Cy.
информационных технологий ОИЯИ.
После преобразований получим
Приложение A
E = k2 - 2Pk + Δ,
P = xy · p1 + y· p3, Δ = -m2Z · xy.
РАСЧЕТ 3-ТОЧЕЧНЫХ ФУНКЦИЙ
Квадрат 4-вектора P положителен в любой точке
области интегрирования:
Скалярная 3-точечная функция H0, встречаю-
щаяся в (35), определяется так:
P2 = m2q · xy(1 - xy) +
(П.6)
Ha0 = Ha0 (p1,p3) =
(П.1)
+ m2l · y(1 - xy) - t · xyy.
dk
1
Снимая интеграл по известной формуле
=
(
)(
)(
).
2
k2 - m2a
k2 - 2p1k
k2 - 2p3k
dk
1; kα
2
=
(П.7)
2 [k2 - 2Pk + Δ]3
Расчет интегралов такого типа нетрудно осуще-
ствить методом ’т Хоофта-Велтмана [2] (подроб-
1; Pα
=-
,
ное вычисление можно найти, например, в [18]).
P2 - Δ
Для случая a = γ в УРП получаем компактное
получим
выражение, симметричное относительно замены
1
1
mq ↔ ml:
ydy
(
HZ0 = - dx
,
(П.8)
-t
-t
E - iϵZ · xy
Hγ0 (p1,p3) =1
ln
ln
-
(П.2)
0
0
t
λ2
mqml
)
E = P2 + m2Z · xy.
1
-t
-t
mq
1
ln
ln
- ln2
-
π2
В результате получим компактные выражения
2
m2q
m2l
ml
6
1
1
E·y
Аналогичная формула для Hγ0 (p1, p4) получается
Re HZ0 = - dx
dy
,
заменой t → u.
E2 + ϵ2Z · x2y2
0
0
Скалярная 3-точечная функция F0 из (35) опре-
1
1
деляется так:
ϵZ · xy2
Im HZ0
=-
dx
dy
dk
E2 + ϵ2Z · x2y2
Fb0 =
×
(П.3)
2
0
0
1
Для сравнения представим здесь аналитический
×
(
)(
)(
).
результат, полученный методом [2] (подробный вы-
(k - q)2 - m2b
k2 - 2p1k
k2 - 2p3k
вод приведен в [18]). В конечном счете (максималь-
Заменой k → k + q ее нетрудно привести к виду
но имеем шестикратную вложенность выражений)
(П.1) (так доказывается, что Fb0 = Hb0), затем рас-
он зависит от шести параметров
считать по технологии [2]. Результатом (для b =
a = m2q, b = m2q + m2l - 2p1p3,
= Z) будет нетривиальная комбинация 12 дилога-
рифмов. Покажем здесь, как методом, применен-
c = -2m2q + 2p1p3,
ным для 4-точечных интегралов, получить простые
d = -f = -m2Z + Z, e = 0
формулы и в случае 3-точечной функции.
и представляется в виде комбинаций дилогариф-
Итак, после замены переменной интегрирования
мов:
интеграл выглядит так:
1
dk
HZ0
=
F(i)1,
(П.9)
HZ0 =
×
(П.4)
β
2
i=1
ЯДЕРНАЯ ФИЗИКА том 84
№6
2021
550
ЗЫКУНОВ
αi
βi
αi
βi
1
F(i)
= Li2
- Li2
+ Li2
- Li2
zdz
1
y-i
y-i
y+i
y+
YS =
,
i
(Az + B - iC)2
0
Дилогарифм — частный случай полилогариф-
ма — определяется при z ∈ C так:
1
dz
z
YP =
ln(1 - t)
(Az + B - iC)2
Li2(z) = -
dt.
(П.10)
0
t
0
Приведем вычисленные выражения:
)
Расчет значений дилогарифма с необходимой точ-
1 (
ReYA =
A+CGA -BGL ,
(П.13)
ностью проводят через разложение в ряд: Li2(z) =
A2
∞zk
)
1 (
=
. Чтобы аргумент z попал в область
k=1 k2
ImYA =
BGA +CGL ,
сходимости, обычно сводят дилогарифм к какой-
A2
либо комбинации дилогарифма с другим аргумен-
1(
A+B)
ReYB =
2ReYA -
,
том и других функций, пользуясь одним из многих
A
D
имеющихся тождеств, например:
1(
C)
ImYB =
2ImYA -
,
(1)
1
1
A
D
Li2(z) = -Li2
-
ln2(-z) -
π2. (П.11)
)
z
2
6
1 (
A(A + B)
ReYS =
-
+GL
,
В выражении (П.9) β = c + 2αb, а остальные
A2
D
)
коэффициенты такие:
1 (
AC
ImYS =
-
-GA ,
α1 = β2 = 1 - α - y0, α2 = β3 = -y0,
A2
D
B(A + B) - C2
d + αe
ReYP =
,
α3 = β1 = -α - y0, y0 = -
(B2 + C2)D
β
(A + 2B)C
Выражение α выбирается двузначно, конечный ре-
ImYP =
зультат от выбора знака не зависит:
(B2 + C2)D
Используются следующие сокращения:
-c ∓
c2 - 4ab
α=
1
D
2b
D = (A + B)2 + C2, GL =
ln
,
(П.14)
2
B2 + C2
Выражения y±i являются корнями уравнения
B
A+B
Aiy2 + Biy + 1 = 0 с коэффициентами, зависящи-
GA = arctg
- arctg
C
C
ми от K0 и γ (K0 = by20 + ey0 + f, γ = 2by0 + e), так
что
В точке резонанса q2 = m2Z получаем:
A1K0 = b,
A2 + C2
A
B = 0, GL = ln
,
GA = - arctg
β
β
C
C
A2K0 = b +
,
A3K0 = b +
,
1
Приложение В
B1K0 = γ + c + 2bα,
β
β
АСИМПТОТИЧЕСКИЕ ФОРМУЛЫ
B2K0 = γ + y0
,
B3K0 = γ + y0
ДЛЯ LE- И HE-РЕЖИМОВ
1
Чтобы получить LE-формулы для γZ-бокса,
Приложение Б
нужно воспользоваться общим выражением через
коэффициенты и занулить все, кроме b0 и интеграла
γ
H0
из I0 (это доказано, например, в [18], см. также
ТАБЛИЦА ИНТЕГРАЛОВ
ссылки там). Для b0 (прямого бокса) используем
В расчете встретились следующие интегралы:
асимптотическое выражение:
)
2
1
1
(3
m
Z
zdz
bγZ,LE0 = -
+ log
(П.15)
YA =
,
(П.12)
4m2
2
−t
Z
Az + B - iC
0
Для ZZ-бокса важен только тензорный коэффи-
1
циент b0:
z2dz
YB =
,
1
(Az + B - iC)2
bZZ,LE0 = -
(П.16)
0
4m2
Z
ЯДЕРНАЯ ФИЗИКА том 84
№6
2021
РАСЧЕТ ДВУХБОЗОННОГО ОБМЕНА
551
Чтобы получить HE-формулы, воспользуем-
такая:
ся асимптотическими выражениями для прямых
BoxIR
2α3
боксов (они работают для всех случаев: ab =
=-
QqQl ×
(П.24)
dt
s2
= γγ,γZ,ZZ,WW):
[
]
[
×
ΠacRaac
tHγ,IR0(p1,p3) - (t ↔ u) ,
2Cs
q
MabDMc0+ = +
Cabc3l2st(3t2 + u2) + (П.17)
a,c=γ,Z
s
]
где
+ Cabc4l2st(u2 - t2) + 2Cabc3+4lstsu -
-t
tHγ,IR0(p1,p3) = lns
ln
λ2
mqml
- 2CstΠab3 (q)Habcss.
Для перекрестных боксов получим:
Приложение Г
[
2Cs
СВОДКА СОКРАЩЕННЫХ ФОРМУЛ
MabCMc0+ = -
Cabc3l2su(t2 + 3u2) + (П.18)
s
]
Дадим для справочных целей упрощенный вари-
ант формул для действительной части сечения ДО:
+ Cabc4l2su(u2 - t2) + 2Cabc3-4lsust
+
1
1
+ 2CsuΠab4 (q)Habcss.
ab
2α3
=
dx dyRe ×
(П.25)
dt
s2
Здесь Cabci±j = Cabci ± Cabcj, также используются
0
0
(
)
следующие сокращения:
×
D∗c(q) Cabc3[KD3 + KC3] + Cabc4[KD4 + KC4] ,
[
]
Habcss = 2
Cabc3(u2 + t2) + Cabc4(u2 - t2)
, (П.19)
c=γ,Z
|r1|
где коэффициенты в сечении (их происхождение
lr1r2 = ln
|r2|
легко проследить по тексту статьи) выглядят так:
KD3 = CD0t(t2 + u2) + 2BD0(4t2 + u2) - (П.26)
Перед пропагаторными структурами факторизуют-
ся трехточечные функции:
- 2CD1 st2 - BD4 t(2t2 + u2),
Πab3,4(q) = Ha0(p1,p3,4)Db(q) +
(П.20)
KD4 = CD0t(u2 - t2) + 2BD0(u2 - 4t2) +
+ Hb0(p1,p3,4)Da(q).
+ 2CD1 st2 + BD4 t(2t2 - u2),
KC3 = -KD3|t↔u, KC4 = +KD4|t↔u.
Выпишем в явном виде ИКР-части γγ-бокса:
Формулы (П.25), (П.26) работают для всех слу-
MγγDMc+0|IR = -16πα3QqQl ×
(П.21)
чаев (γZ и ZZ), коэффициенты же C0,1 и B
0,4
× Dγ(q)D∗c(q) · Rγγcq · tHγ0 (p1,p3),
разные, приведем их. Для прямого γZ-бокса C0,1 и
B0,4 выглядят так:
MγγCMc+0|IR = +16πα3QqQl ×
[
]
CD0 = y
1 - xy - (1 + xy) · sDZ
YS -
× Dγ(q)D∗c(q) · Rγγcq · uHγ0(p1,p4),
[
]
Ey
-DZ Hγ0 +
,
где “борновское” Rq [см. формулу (15)] связано с
E2 + ϵ2Zx2y2
комбинациями C3,4 соотношениями:
1
[
]
[
]
BD0 = -
yYA, CD1 = xy2
YS + (1 - 2xy)YB
,
QqQlRaacq = 2
Caγc3(u2 + t2) + Caγc4(u2 - t2)
2
(П.22)
BD4 = xy2yYB.
ИКР-части γZ-бокса такие же по форме, как
Для прямого ZZ-бокса выражения C0,1 и B0,4
выражения (П.21):
такие:
1
MγZDMc+0|IR = -8πα3QqQl ×
(П.23)
CD0 = -y2YS, BD0 = -
yYA,
2
[
]
× DZ(q)D∗c(q) · RZZcq · tHγ0(p1,p3),
CD1 = xxy3YB, BD4 = yy
YS - YB
MγZCMc+0|IR = +8πα3QqQl ×
Выражение Hγ0 определяется формулой (П.2), E
формулой (П.8). Выражения YA,B,S приведены в
× DZ(q)D∗c(q) · RZZcq · uHγ0 (p1,p4).
Приложении Б. Они зависят от значений коэф-
Понятно, что IR-части-бокса дадут такой же
фициентов A, B, C, которые приведены в табл. 1
вклад и, следовательно, в сумме удвоение. В ре-
для различных конфигураций бозонов в прямой
зультате IR-часть сечения от боксовских диаграмм
диаграмме.
ЯДЕРНАЯ ФИЗИКА том 84
№6
2021
552
ЗЫКУНОВ
Таблица 1. Коэффициенты A, B, C для различных конфигураций бозонов в прямом боксе
Случай
A
B
C
γZ
(m2q · y + m2l · xy)(1 - xy) - t · xyy + s · xy
(m2Z - s) · xy
ϵZ · xy
ZZ
t · y- s · xxy2
-t · y + m2Z · y
ϵZ · y
WW
t · y- s · xxy2
-t · y + m2W · y
ϵW · y
СПИСОК ЛИТЕРАТУРЫ
16.
G. Passarino and M. Veltman, Nucl. Phys. B 160, 151
(1979).
1.
J. Kahane, Phys. Rev. B 135, 975 (1964).
2.
G. ’t Hooft and M. Veltman, Nucl. Phys. B 153, 365
17.
Particle Data Group (P. A. Zyla et al.), Prog. Theor.
(1979).
Exp. Phys. 2020, 083C01 (2020).
3.
W. Spence, An Essay on the Theory of the Various
Orders of Logarithmic Transcendants (London,
18.
В. А. Зыкунов, Пертурбативные расчеты в
London and Edinburgh, 1809).
физике высоких энергий (ГГУ им. Ф. Скорины,
4.
A. Denner, U. Nierste, and R. Scharf, Nucl. Phys. B
Гомель, 2020).
367, 637 (1991).
19.
V. A. Zykunov, Phys. Rev. D 75, 073019 (2007); hep-
5.
M. B ¨ohm, H. Spiesberger, and W. Hollik, Fortschr.
Phys. 34, 687 (1986).
ph/0509315.
6.
G. J. van Oldenborgh and J. A. M. Vermaseren,
20.
A. Andonov, A. Arbuzov, D. Bardin, S. Bondarenko,
Z. Phys. C 46, 425 (1990).
P. Christova, L. Kalinovskaya, G. Nanava, and W. von
7.
T. Hahn and M. P ´erez-Victoria, Comput. Phys.
Schlippe, Comput. Phys. Commun. 174, 481 (2006);
Commun. 118, 153 (1999); hep-ph/9807565.
hep-ph/0411186.
8.
R. P. Feynman, Phys. Rev. 76, 769 (1949).
9.
P. G. Lepage, J. Comput. Phys. 27, 192 (1978).
21.
U. Baur, O. Brein, W. Hollik, C. Schappacher, and
10.
T. Hahn, Comput. Phys. Commun. 168, 78 (2005);
D. Wackeroth, Phys. Rev. D 65, 033007 (2002); hep-
hep-ph/0404043.
ph/0108274.
11.
A. V. Smirnov and M. N. Tentyukov, Comput. Phys.
22.
Jun Gao, Marco Guzzi, Joey Huston, Hung-Liang
Commun. 180, 735 (2009); arXiv: 0807.4129 [hep-
Lai, Zhao Li, Pavel Nadolsky, Jon Pumplin, Daniel
ph]
12.
S. Borowka, G. Heinrich, S. P. Jones, M. Kerner,
Stump, and C.-P. Yuan, Phys. Rev. D 89, 033009
J. Schlenk, and T. Zirke, Comput. Phys. Commun.
(2014); arXiv: 1302.6246[hep-ph].
196, 470 (2015); arXiv: 1502.06595v2 [hep-ph].
23.
C. Buttar, J. D’Hondt, M. Kr ¨amer, G. Salam,
13.
E. Remiddi and J. A. M. Vermaseren, Int. J. Mod.
M. Wobisch, N. E. Adam, V. Adler, A. Arbuzov,
Phys. A 15, 725 (2000); hep-ph/9905237.
D. Bardin, U. Baur, A. A. Bhatti, S. Bondarenko,
14.
C. Bauer and H. S. Do, Comput. Phys. Commun.
V. Buge, J. M. Butterworth, M. Cacciari,
144, 154 (2002); hep-ph/0102231.
M. Campanelli, et al., in Proceedings of the
15.
J. Broedel, C. Duhr, F. Dulat, B. Penante, and
Workshop on Physics at TeV Colliders (Les
L. Tancredi, JHEP
1905,
120
(2019);
arXiv:
1902.09971[hep-ph].
Houches, 2007), p. 121; arXiv: 0803.0678[hep-ph].
CALCULATION OF TWO-BOSON EXCHANGE WITH COMPLEX MASSES
V. A. Zykunov1),2)
1)JINR, Dubna, Moscow region, Russia
2)Francisk Skorina Gomel State University, Belarus
New technique for calculation of two-boson-exchange diagram (boxes) contribution to four-fermion cross
section with one and two complex masses is described. The detailed numerical analysis of results and
comparison with asymptotic estimations for energy regions below and above Z resonance is done.
ЯДЕРНАЯ ФИЗИКА том 84
№6
2021