1:
2: %\documentstyle[12pt,axodraw]{article}
3: \documentclass[12pt,a4paper]{article}
4: \usepackage{axodraw}
5: \usepackage{epsfig}
6: \topmargin 0pt
7: \textwidth 178mm
8: \textheight 230mm
9: \hoffset -15mm
10: \voffset -15mm
11: \oddsidemargin 5mm
12: \pagestyle{plain}
13: \def\baselinestretch{1.25}
14:
15: %\documentstyle[12pt]{article,axodraw}
16: %\textwidth 16cm
17: %\textheight 23cm
18: %\topmargin -1cm
19: %\oddsidemargin 6mm
20: %\evensidemargin 6mm
21:
22: \newcommand{\z}{&\hspace*{-8pt}}
23: \newcommand{\ep}{\varepsilon}
24: \newcommand{\vp}{\varphi}
25: \newcommand{\am}{\overline \alpha_{\mu}}
26: \newcommand{\as}{ \overline \alpha_{s}}
27: \newcommand{\MS}{\overline{MS}}
28: \newcommand{\Li}{{\rm Li}}
29: \newcommand{\Si}{{\rm S}}
30: \newcommand{\Ls}{{\rm Ls}}
31: \newcommand{\T}{{\rm T}}
32: %\newcommand{\C}{{\rm C}}
33: \newcommand{\Cl}{{\rm Cl}}
34: %\newcommand{\G}{{\rm G}}
35: \newcommand{\au}{{\overline a}}
36: \newcommand{\bea}{\begin{eqnarray}}
37: \newcommand{\eea}{\end{eqnarray}}
38: \newcommand{\be}{\begin{equation}}
39: \newcommand{\ee}{\end{equation}}
40: \newcommand{\ps}{\varphi}
41:
42: \newcommand \lz[1] {\log^{#1}{z}}
43: \newcommand \Oz[1] { {\cal O}\left( \frac{1}{z^{#1}} \right) }
44:
45:
46: \def \LOG{L}
47:
48: %\input{tcilatex}
49:
50: \begin{document}
51: \title{\vskip-3cm{\baselineskip14pt
52: \centerline{\normalsize\hfill TTP07-05}
53: \centerline{\normalsize\hfill SFB/CPP-07-07}
54: \centerline{\normalsize\hfill DESY 07-024}
55: %\centerline{\normalsize\hfill hep-ph/yymmxxx}
56: %\centerline{\normalsize\hfill feb-26-2007}
57: }
58: \vskip.4cm
59: Two-Loop Formfactors in Theories with Mass Gap\\
60: and $Z$-Boson Production
61: \vskip.4cm
62: }
63: \author{
64: A. Kotikov${}^{a,b}$, J.H. K\"uhn${}^c$ and O. Veretin${}^{b,d}$\\[0.5cm]
65: {\it ${}^a$Bogoliubov Laboratory of Theoretical Physics,}\\
66: {\it JINR, 141980 Dubna, Russia} \\
67: \\
68: {\it ${}^b$II Institute f\"ur Theoretische Physik,}\\
69: {\it Universit\"at Hamburg, 22761 Hamburg, Germany}\\
70: \\
71: {\it ${}^c$Institut f\"ur Theoretische Teilchenphysik,} \\
72: {\it Universit\"at Karlsruhe, 76128 Karlsruhe, Germany} \\
73: \\
74: {\it ${}^d$University of Petrozavodsk,} \\
75: {\it 185910 Petrozavodsk, Karelia, Russia} \\
76: %and\\
77: %{\it II Institute f\"ur Theoretische Physik,}\\
78: %{\it Universit\"at Hamburg, 22761 Hamburg, Germany}\\
79: }
80:
81: \date{}
82: \maketitle
83:
84:
85:
86: \abstract{
87: The two-loop formfactor both for a $U(1)\times U(1)$
88: and a $SU(2)\times U(1)$ gauge theory
89: with massive and massless gauge bosons respectively is evaluated at
90: arbitrary momentum transfer $q^2$. The asymptotic behaviour
91: for $q^2\to\infty$
92: is compared to a recent calculation of Sudakov logarithms.
93: The result is an important ingredient for the calculation
94: of radiative corrections to $Z$-boson production at hadron and lepton colliders.
95: }
96:
97: \vspace*{10mm}
98:
99:
100: %\setcounter{page}{0} \thispagestyle{empty}
101: \setcounter{equation}0
102:
103: \section{Introduction}
104: Precise measurements of cross sections for the production of massive
105: and massless gauge bosons were one of the central topics of LEP
106: experiments. At the LHC similar reactions, namely the production of $W$
107: and $Z$-bosons, singly or in pairs, with or without additional quark
108: or gluon jets, will be crucial for precise studies of the electroweak
109: and strong interactions.
110: Single $W$- and $Z$-boson production will be used for the
111: determination of parton
112: distributions and eventually even for luminosity
113: calibrations. A future linear collider, operating in the GIGA-$Z$ mode,
114: will measure the properties of the $Z$-resonance with unprecedented
115: precision. All these measurements will rely on the theoretical knowledge
116: of radiative corrections to better than one percent accurracy, perhaps
117: even down to the level of several permille.
118: QCD and electroweak radiative corrections, as well as their interplay,
119: thus will be crucial for the interpretation of these results.
120:
121: QCD corrections to single $W$- and $Z$-production are identical to those
122: for the Drell--Yan process and have been evaluated in two-loop
123: approximation in \cite{Hamberg:1990np,Rijken:1994sh},
124: those for Higgs boson production
125: in \cite{Harlander:2003ai}. Electroweak corrections for the
126: on-shell process were computed some time ago (see e.g. \cite{Baur:2001ze}
127: and references therein).
128: The next step evidently requires to combine QCD and electroweak
129: effects, resulting in non-factorizable terms of order
130: $\alpha_{\rm weak}\alpha_s$. For the inclusive $Z$ decay rate these terms
131: have been calculated for final states with up-, down-, and bottom-quarks
132: \cite{Czarnecki:1996ei,Harlander:1997zb,Fleischer:1999iq}
133: and turned out to be relevant for the precise determination of the
134: strong coupling constant. However, these results cannot be directly
135: applied to the production process and to more differential
136: distributions. For the $Z$-boson such corrections for high $p_T$ distribution
137: have been obtained in \cite{Kuhn:2005az}.
138:
139: In the present paper we describe conceptial developments and concrete
140: results which are important ingredients for the complete evaluation of
141: these non-factorizable terms of order $\alpha_{\rm weak}\alpha_s$.
142: In particular we consider those amplitudes which correspond to vertex
143: diagrams with a virtual gluon attached to one-loop electroweak
144: corrections. These are relevant for the ``mixed'' corrections of order
145: $\alpha_{\rm weak}\alpha_s$ to $Z$-boson production, and for hadronic $Z$
146: decay.
147: Essentially the same diagrams are also important ingredients for the
148: combination of photonic and weak corrections to $Z$ production in
149: electron-positron collisions and to leptonic $Z$ decays.
150:
151: Our study identifies the infrared singular as well as the finite parts,
152: investigates the structure of these singularities and shows how they
153: can be combined with real radiation to arrive at a finite
154: result. The infrared finite remainder will be presented in analytical
155: form in terms of generalized polylogarithms.
156:
157: The form factor will also be investigated in the Sudakov limit $M^2/q^2\ll 1$.
158: In the special case of an Abelian theory the result coincides
159: with the one of \cite{Penin} (see also \cite{Jantzen:2006jv})
160: and allows to contrast the logarithmic
161: approximation with the complete result. The calculational
162: method relies on an approach that has already been successfully employed
163: in a number of cases \cite{FKV,Kniehl:2005bc}.
164: General considerations restrict the structure of the final
165: result to a sum of ``basis functions'' (in our case---generalized
166: ``harmonic'' polylogarithms up to fourth degree)
167: with specific arguments and prefactors.
168: Calculating on one hand directly a large number of
169: terms in the low $q^2$ expansion with the technique of large mass
170: expansion, expanding the basis functions on the other hand, and
171: equating the results, the coefficients in front of the basis functions
172: can be determined. In a final step most of the basis functions are
173: transformed into Nielsen polylogarithms, leading to a fairly compact
174: result whose asymptotic behaviour can be analyzed in a straightforward
175: manner.
176:
177: To facilitate the discussion, we present, in a first step, in section 2,
178: the results for a $U(1)\times U(1)$ theory with one of the gauge bosons
179: taken to be massive, the other one massless. The explicit analytical result
180: confirms the factorization of the infrared singularities and allows to
181: identify the infrared-finite remainder.
182: %In the limit of large $q^2$
183: %(Sudakov limit) the result agrees with the one obtained in \cite{Penin}, and
184: %the relative size of subleading, power suppressed terms can be studied.
185: In section 3 the formalism will be extended to a massive nonabelian theory
186: and applied to the complete set of virtual corrections of order
187: $\alpha_{\rm weak}\alpha_s$, contributing to $Z$-boson production and decay.
188: The triple-boson coupling leads to additional diagrams with additional
189: generalized polylogarithms, which cannot easily be transformed into
190: Nielson's polylogarithms. However, they can be evaluated
191: numerically with high precision \cite{hplog} and their asymptotic behaviour is
192: under control. The paper concludes with a brief summary. Much of the
193: formulae and calculational details will be collected in the Appendices.
194:
195: \section{Abelian Theory}
196: For definiteness and simplicity we will, in a first step, consider the
197: form factor in a ficticious $U(1)\times U(1)$ theory with one massive and
198: one massless gauge boson and with coupling constants $\alpha$ and
199: $\alpha'$ respectively.
200:
201: For the Abelian theory the form factor $F$ will be defined as matrix
202: element of an external current
203: \begin{equation}
204: \gamma_\mu F(q,M) = \int dx e^{-ixq} \langle \psi'|J_\mu(x)|\psi \rangle.
205: \end{equation}
206: Here $\psi$ and $\psi'$ denote on-shell massless fermions of momenta $p$ and
207: $p'=p+q$, respectively, $M$ the mass of the gauge boson.
208:
209: In a perturbative expansion
210: \be
211: F(\alpha,\alpha',q,M,\varepsilon)=\sum_{m,n=0}^\infty
212: \left(\frac{\alpha}{4\pi}\right)^m \left(\frac{\alpha'}{4\pi}\right)^n
213: f^{(m,n)}(q,M,\varepsilon)
214: \ee
215: %
216: one needs to evaluate the expansion coefficients $f^{(m,n)}$. In Born and
217: one-loop approximation they are given by
218: %
219: \bea
220: f^{(0,0)}&=& 1 \,, \\
221: f^{(1,0)}&=&
222: - \frac{7}{2} - \frac{2}{z}
223: + \frac{2+3z}{z} \log(-z)
224: + \frac{2(1+z)^2}{z^2} \Big( {\rm Li}_2(1+z) - \frac{\pi^2}{6}
225: \Big)\,,\label{1loopMass}
226: \\
227: f^{(0,1)}&=& \left(\frac{\bar\mu^2}{-q^2}\right)^\varepsilon \left(
228: -\frac{2}{\varepsilon^2} - \frac{3}{\varepsilon}
229: - 8 + \zeta_2 + \varepsilon \Big(
230: -16 + \frac{3}{2} \zeta_2
231: + \frac{14}{3} \zeta_3 \Big) \right) \,,
232: \label{1loopQCD}
233: \eea
234: where $z=q^2/M^2+i0$, $\zeta_n=\zeta(n)$ is the Riemann $\zeta$-function
235: and the infrared singularities are controlled by
236: dimensional regularization in $d=4-2\varepsilon$ dimensions.
237: In the euclidean region $q^2<0$, so that no
238: imaginary parts appear in the above formulae.
239:
240:
241:
242: The {\em two}-loop result for the massless case, $f^{(0,2)}$, can be
243: found e.g. in \cite{Gonsalves:1983nq,vanNeerven:1985xr}.
244: The two-loop result for the fully massive case,
245: $f^{(2,0)}$, is only known in the large $q^2$ limit \cite{Kuhn:1999nn}. The
246: evaluation of the mixed corrections is drastically simplified by the
247: fact that the infrared singularities factorize within infrared evolution
248: equation approach \cite{Fadin:1999bq,Kuhn:1999nn}, which gives in our case
249: \be
250: F(\alpha,\alpha',q^2/M^2,\varepsilon) = F_{\rm massless}(\alpha',q,\varepsilon)
251: \tilde F(\alpha,\alpha',q^2/M^2)\,,
252: \label{infrared}
253: \ee
254: with $F_{\rm massless}=\sum (\alpha'/4\pi)^n f^{(0,n)}(q,\varepsilon)$ denoting the
255: formfactor for the massless theory and $\tilde F$ being free from infrared
256: singularities.
257: The function $\tilde F$ can again be expressed as double series, and the
258: coefficients depend on the ratio $z=q^2/M^2$ only.
259: The terms $\tilde F^{(m,0)}=f^{(m,0)}$ coincide by definition with those
260: valid for the massive $U(1)$-theory.
261: The evaluation of the nonfactorizable part of the two-loop contribution
262: \be
263: \tilde F^{(1,1)}\equiv \phi(q^2/M^2)
264: \ee
265: will be the central result of this section.
266: % We stress that $\phi(z)$ is
267: %the non-factorizable part of the two-loop correction to the formfactor of
268: %order $\cal{O}(\alpha\alpha')$.
269:
270: The Feynman diagrams
271: necessary for this computation have two thresholds: at $q^2=0$ and at $q^2=M^2$.
272: The analytical structure of vertex diagrams of this type has been explored in \cite{FKV}.
273: The coefficients of an expansion in $q^2/M^2$ (and $M^2/q^2$) can
274: always be expressed as combinations of so-called harmonic sums \cite{harmonicsums}
275: or more generally --- nested harmonic sums \cite{harmonicsums1}. These
276: sums correspond to (generalized) polylogarithms (\cite{Devoto}) \cite{Lewin}
277: of arguments $\pm q^2/M^2$ and their generalizations --- harmonic
278: polylogarithms \cite{HPLdefinition} (see also \cite{MultiplePL}).
279: This structure suggests the following method for the
280: evaluation of Feynman integrals. First, using the method of
281: large mass expansion \cite{asymptotic}, one calculates a large number of
282: coefficients of the series in $q^2/M^2$.
283: From the basis functions (polylogarithms) one then constructs an Ansatz
284: with unknown coefficients $x_i$.
285: Equating Ansatz and series one obtains a unique answer for parameters $x_i$.
286: This method has been applied earlier \cite{FKV98,FKV} to various scalar vertex
287: masterintegrals.
288: (In a different context the method has also been applied in \cite{Harlander:2005rq}).
289: Here it is applied to amplitudes deduced
290: from a a set of realistic Feynman diagrams representing a physical
291: process and leading to amplitudes with irreducible numerators and
292: shrunken lines.
293:
294: A few comments on this procedure are in order. First, the main
295: problem is to write down the correct prefactors in the Ansatz.
296: Empirically one finds that the presence of a numerator or the absence of
297: a line may lead to the additional factors $M^2/q^2$ or $(M^2/q^2)^2$
298: in front of polylogarithms%
299: \footnote{
300: In a series representation such multiplications lead to shifts
301: of the summation index in $c_n$. Indeed, if $z=q^2/M^2$ then, e.g.
302: $
303: \frac{1}{z}\sum\nolimits_{n=1}c_n z^n = c_1 + \sum\nolimits_{n=1}c_{n+1}z^n
304: $
305: and so on.
306: }. % END of footnote
307: Therefore such factors should also be included in the Ansatz.
308: Second, only five functions could not be represented as Nielsen polylogarithms
309: with the argument $q^2/M^2$. These remaining functions belong to the class of harmonic
310: polylogarithms \cite{HPLdefinition} discussed in more detail in the
311: Appendix.
312:
313: Instead of expanding the amplitude in $q^2/M^2$
314: one could find the differential equation (see \cite{DEM}) for a diagram and
315: again apply an Ansatz based on polylogarithms. This approach has recently been used
316: for similar two-loop vertex diagrams in \cite{Bonciani1}.
317:
318: Altogether 16 one-particle-irreducible two-loop vertex diagrams
319: contribute to the formfactor. These diagrams can be obtained from the one-loop
320: one shown in Fig. \ref{ffdias}a by adding one gluon line.
321: The two-loop, one-particle reducible diagrams
322: which are obviously products of one-loop diagrams contribute to the term
323: $\alpha\alpha' f^{(0,1)} f^{(1,0)}$ and are not repeated here. We also do not
324: display the contributions to the fermionic wave function renormalization, which receives
325: contributions from additional 6 diagrams.
326: For the generation of the input the program DIANA \cite{DIANA} has been used,
327: for the evaluation and expansion a program written in FORM \cite{FORM}.
328: The evaluation of the Dirac traces has lead to about 700 different
329: integrals. For most of them the asymptotic expansion was performed up to
330: order 45 which required in total several hours of CPU time on a Pentium IV
331: processor.
332: For the remaining, most complicated cases (nonplanar diagram)
333: up to 60 expansion coefficients had to be computed. For this purpose
334: the parallel version of FORM \cite{Tentyukov:2004hz}, running on an
335: SGI machine with multiprocessor SMP architecture, was used.
336:
337: The function $\phi(z)$ can be cast into the
338: following form (here and below $z=q^2/M^2 + i0$)
339: \begin{eqnarray}
340: \label{res}
341: \phi(z) \z=\z
342: \frac{(1+z)^2}{z^2} \Biggl(
343: ( 6 \LOG^2 + 24 \zeta_2 - 24 \zeta_3 ) \log(1 + z)
344: +( - 4 \LOG^2 - 6 \LOG - 20 \zeta_2 ) \log^2(1 + z)
345: \nonumber\\
346: \z\z
347: + \frac{8}{3} \log^3(1 + z) \LOG
348: + 8 \log^2(1 + z) \Li_2( - z)
349: - 12 \log(1 + z) \Li_2( - z)
350: \nonumber\\
351: \z\z
352: - 16 \log(1 + z) \Li_3( - z)
353: + 16 \log(1 + z) \Si_{1,2}( - z)
354: - 16 \Li_2( - z) \zeta_2
355: - 4 \Li_2( - z) \LOG^2
356: \nonumber\\
357: \z\z
358: - 8 \Li_2^2( - z)
359: + 16 \Li_3( - z) \LOG
360: - 24 \Li_4( - z)
361: - 12 \Si_{1,2}( - z)
362: + 16 \Si_{1,2}( - z) \LOG
363: + 16 \Si_{1,3}( - z)
364: \nonumber\\
365: \z\z
366: - 16 \Si_{2,2}( - z)
367: + 24 h(z)
368: - 48 H_3(z)
369: + 8 H_2(z)
370: + 32 H_4(z)
371: \Biggr)
372: %
373: \nonumber\\
374: \z\z
375: + \frac{1+3z+z^2}{z^2} \Biggl(
376: - 32 \Li_2(z) \zeta_2
377: - 8 \Li_2(z) \LOG^2
378: - 8 \Li_2(z) \Li_2(z)
379: + 32 \Li_3(z) \LOG
380: \nonumber\\
381: \z\z
382: - 48 \Li_4(z)
383: + 32 \Si_{2,2}(z)
384: \Biggr)
385: %
386: + \frac{1-z^2}{z^2} \Biggl(
387: 72 \log(1 - z) \zeta_2
388: + 18 \log(1 - z) \LOG^2
389: \nonumber\\
390: \z\z
391: + 36 \log(1 - z) \Li_2(z)
392: + 36 \Li_2(z) \LOG
393: + 72 \Si_{1,2}(z)
394: \Biggr)
395: %
396: + \frac{2+3z}{z} ( 32 \zeta_2 + 12 \zeta_3 )
397: \nonumber\\
398: \z\z
399: - \frac{34 + 51z}{z} \LOG
400: + \frac{16 + 23z}{z} \LOG^2
401: - \frac{2(1-z)(13 + 27z)}{z^2} \log(1-z)
402: + \frac{4(3+4z)}{z^2} \Li_2( - z) \LOG
403: \nonumber\\
404: \z\z
405: - \frac{2(1+z)(3+5z)}{z^2} \Bigl( \log(1 + z) \LOG + \Li_2( -z ) \Bigr)
406: + \frac{4(11 + 9z)}{z}\Li_2(z)
407: \nonumber\\
408: \z\z
409: - \frac{4(3 + 2z - 3z^2)}{z^2} \Li_3( - z)
410: - \frac{4(9 + 4z - 6z^2)}{z^2} \Li_3(z)
411: + \frac{2(8-z)}{z},
412: \end{eqnarray}
413: %
414: where $L=\log(-q^2/M^2)$, $\zeta_a=\zeta(a)$ is the Riemann $\zeta$-function,
415: $S_{a,b}(z)$ are Nielsen polylogarithms \cite{Devoto}.
416: The functions $h(z)$ and $H_j(z)$ are defined and discussed in Appendix A.
417:
418:
419: %
420: \section{$Z$-Production}
421: %
422:
423: For definitenes and simplicity, consider, in the next step,
424: $Z$-boson production in quark-antiquark annihilation.
425: To fix the notation, we recapitulate the one-loop results.
426: The weak corrections to the Born term
427: can be split into those involving the exchange of $W$- and $Z$-bosons,
428: (Fig.\ref{ffdias}(a)) and those involving the
429: triple-boson coupling (Fig.\ref{ffdias}(b)).
430: The combination of photonic and QCD corrections follows
431: essentially from the two-loop QED or QCD results and will not be addressed here.
432:
433: For a light quark the form factor can be decomposed as follows
434: \begin{eqnarray}
435: F(q^2)_\mu = \gamma_\mu\frac{1+\gamma_5}{2} F_R(q^2)
436: + \gamma_\mu\frac{1-\gamma_5}{2} F_L(q^2) \,.
437: \end{eqnarray}
438: At the Born level the expressions for the form factors $F_R$
439: and $F_L$ are given by
440: \begin{eqnarray}
441: F_R = i \frac{e}{s_W} g_R \,,\,\,\,
442: F_L = i \frac{e}{s_W} g_L \,,
443: \end{eqnarray}
444: with $g_R=-Qs_W^2/c_W$ and $g_L=(I_3-Qs_W^2)/c_W$
445: being the right- and left- handed couplings of a quark to the $Z$-boson.
446: Here $I_3$ is the third component of the isospin of a quark,
447: $Q$ its electric charge
448: and $s_W=\sin\theta_W$ and $c_W=\cos\theta_W$ denote sine and cosine
449: of the weak mixing angle, respectively.
450:
451: Including radiative corrections and adopting a form similar
452: to eq.\ref{infrared} the formfactors can be cast into the following form
453: \begin{eqnarray}
454: F_R &=& i\frac{e}{s_W}
455: \Big( 1 + C_F\frac{\alpha_s}{4\pi} f^{(0,1)}\Big)
456: \Bigg[ g_R + \frac{\alpha}{4\pi s_W^2} g_R^3 \rho_{\rm A}(q^2/m_Z^2,m_Z^2)
457: + C_F\frac{\alpha_s}{4\pi}\frac{\alpha}{4\pi s_W^2}
458: g_R^3 \phi_{\rm A}(q^2/m_Z^2) \Bigg] \,,
459: \nonumber\\
460: %
461: F_L &=& i\frac{e}{s_W}
462: \Big( 1 + C_F\frac{\alpha_s}{4\pi} f^{(0,1)}\Big)
463: \Bigg[ g_L
464: \nonumber\\
465: & +& \frac{\alpha}{4\pi s_W^2} \Bigg(
466: g_L^3 \rho_{\rm A}(q^2/m_Z^2,m_Z^2)
467: + \frac{g_L}{2} \rho_{\rm A}(q^2/m_W^2,m_W^2)
468: + c_W \frac{I_3}{2} \rho_{\rm NA}(q^2/m_W^2,m_W^2) \Bigg)
469: \nonumber\\
470: &+& C_F\frac{\alpha_s}{4\pi}\frac{\alpha}{4\pi s_W^2}
471: \Bigg( g_L^3 \phi_{A}(q^2/m_Z^2)
472: + \frac{g_L}{2} \phi_{\rm A}(q^2/m_W^2)
473: + c_W\frac{I_3}{2} \phi_{\rm NA}(q^2/m_W^2) \Bigg)\Bigg] \,,
474: \end{eqnarray}
475: where first factors in the brackets in the above equations represent the
476: QCD corrections.
477: Terms given by $\rho_{\rm A}$ and $\rho_{\rm NA}$ account for
478: the one-loop electroweak corrections. The abelian part $\rho_{\rm A}$
479: is defined by the diagram of the abelian type (Fig. 1a)
480: and obviously closely related to $f^{(1,0)}$ defined in eq.\ref{1loopMass}.
481: The unrenormalized result%
482: \footnote{We shall not discuss issues
483: related to renormalization, since the non-factorizable part, which is the
484: quantity of interest in this paper, is independent of the
485: renormalization scheme.}
486: is given by
487: \begin{equation}
488: \rho_{\rm A}(z,M^2) =
489: \frac{1}{\varepsilon}
490: - \ln(M^2/\bar\mu^2)
491: - 4 - \frac{2}{z}
492: + \frac{2+3z}{z} \log(-z)
493: + \frac{2(1+z)^2}{z^2} \Big( {\rm Li}_2(1+z) - \frac{\pi^2}{6} \Big)\,.
494: \end{equation}
495: The nonabelian part $\rho_{\rm NA}(z,M_2)$ receives corrections from
496: both diagrams of Fig.1a and Fig.1b. It is given by
497: \begin{eqnarray}
498: \rho_{\rm NA}(z,M^2) &=& - 2 \rho_{\rm A}(z,M^2) - 2\Lambda(z,M^2) \,, \\
499: \Lambda(z,M^2) &=& - \frac{3}{\varepsilon}
500: + 3 \ln(M^2/\bar\mu^2) - 2 + \frac{2}{z}
501: - \Big(1 + \frac{2}{z}\Big) \sqrt{1 - \frac{4}{z} } \, l
502: - \Big( 1 + \frac{1}{2z}\Big) \frac{4}{z} l^2
503: \end{eqnarray}
504: with
505: \begin{equation}
506: l = \ln\left( \frac{\sqrt{1-4/z}+1+i0}{\sqrt{1-4/z}-1+i0} \right)\,.
507: \end{equation}
508: The function $\Lambda(z)$ can be taken from \cite{Grzadkowski:1986pm}
509: (see also \cite{Bohm:1986rj,Bardin:1999ak,Berends:1987ab} and references
510: therein for one-loop calculations in the Standard Model).
511: We do not include the terms from the renormalization of the coupling
512: and the $Z$-boson wave function%
513: \footnote{Hence the function $\Lambda(z)$ considered
514: in \cite{Grzadkowski:1986pm}
515: differs by subtracting the term $3/\varepsilon-3\ln(M^2/\bar\mu^2)-1/2$.
516: Furthermore, a typo in \cite{Grzadkowski:1986pm} has been corrected,
517: flipping the signs of the terms proportional to $l$ and $l^2$}
518: which follow from textbook prescriptions and will not be
519: considered in this work.
520:
521: Evaluated for arbitrary $q^2\neq M_Z^2$, the above results are gauge dependent
522: and are presented in Feynman gauge.
523: For the offshell case they can be considered as
524: building blocks for a complete calculation.
525:
526: The functions $\phi_{\rm A}(z)$ and $\phi_{\rm NA}(z)$, representing
527: the non-factorizable terms of $\cal{O} (\alpha\alpha_s)$, are written in
528: a form completely analogous to the electroweak one-loop terms.
529: The function $\phi_{\rm A}(z)$ has been given in the previous section.
530: The nonabelian part $\phi_{\rm NA}(z)$ involves new functions --- generalized
531: polylogarithms.
532: %
533: %
534: % PICTURE DIAGRAMS
535: \begin{figure}[h]
536: \centerline{
537: %\raisebox{30mm}{$\Delta r^{(2)}_{\rm bos}$}\hspace{-8mm}
538: %\raisebox{58mm}{$\times10^{-5}$}\hspace{-4mm}
539: %\begin{center}
540: \hbox{\hspace*{-0mm}\centerline{\epsfig{file=ffdias.eps, angle=0, width=80mm}}}
541: }
542: \caption{\label{ffdias}
543: Diagrams, contributing to the vertex $Zq\bar{q}$ (a) and (b).
544: The two-loop diagrams are obtained by attaching one virtual gluon in all possible ways.
545: The case (b) represents nonabelian part. That gives contribution
546: $\phi_{\rm NA}(z)$ in the text. Diagram (a) with $W$ exchange also contributes
547: to $\phi_{\rm NA}(z)$.
548: }
549: \end{figure}
550: Our result in Feynman gauge reads
551: \begin{eqnarray}
552: \phi_{\rm A}(z) &=& \phi(z) \,, \\
553: \label{resf2}
554: \phi_{\rm NA}(z) &=& - 2 \phi_{\rm A}(z) \nonumber\\
555: \z\z+
556: 4\frac{8-5z}{z}
557: + 48\frac{1+2z}{z^2} H_{0,-r,-r,-1}(-z)
558: - 12 H_{-r,-r,-1}(-z)
559: + 8 H_{0,-r,-r}(-z)
560: \nonumber\\
561: \z\z
562: + 4\frac{6+2z-3z^2}{z^2} H_{-r,-r}(-z)
563: - 6\frac{(4-z)(4+3z)}{z^2} gH_{-r,-1}(-z)
564: \nonumber\\
565: \z\z
566: - 2\frac{(4-z)(6+7z)}{z^2} gH_{-r}(-z)
567: + \frac{16+23z}{z} \Bigl(
568: 8 \zeta_2
569: + 2 \LOG^2
570: \Bigr)
571: - 4\frac{12-11z^2}{z^2} \Li_3(z)
572: \nonumber\\
573: \z\z
574: + 2\frac{66+49z}{z} \Li_2(z)
575: - 4\frac{(1-z)(13+34z)}{z^2} \log(1-z)
576: - 16\frac{5+9z}{z} \LOG
577: \nonumber\\
578: \z\z
579: + \frac{(1-z^2)}{z^2} \Biggl(
580: 96 \log(1 - z) \zeta_2
581: + 24 \log(1 - z) \LOG^2
582: \nonumber\\
583: \z\z
584: \qquad\qquad\qquad\qquad\qquad
585: + 48 \log(1 - z) \Li_2(z)
586: + 48 \Li_2(z) \LOG
587: + 96 \Si_{1,2}(z)
588: \Biggr)
589: \nonumber\\
590: \z\z
591: + \frac{(1+4z+z^2)}{z^2} \Biggl(
592: - 32 \Li_2(z) \zeta_2
593: - 8 \Li_2(z) \LOG^2
594: - 8 \Li_2^2(z)
595: \nonumber\\
596: \z\z
597: \qquad\qquad\qquad\qquad\qquad
598: + 32 \Li_3(z) \LOG
599: - 48 \Li_4(z)
600: + 32 \Si_{2,2}(z)
601: \Biggr)\,.
602: \end{eqnarray}
603: The function $\phi_{\rm NA}(z)$ receives contributions not only from digrams
604: of Fig. 1(b) but also from those of Fig. 1(a) with the exchange of $W$-boson.
605: The functions $H_{\dots}$ are considered in more detail in Appendix B.
606: For the special case $q^2=M^2$ one finds
607: %
608: \begin{eqnarray}
609: \phi_{\rm A}(1+i0) \z=\z
610: 14
611: + 72 \zeta_2 l_2
612: - 64 \zeta_2 l_2^2
613: - \frac{16}{3} l_2^4
614: + 22 \zeta_2
615: - 28 \zeta_3
616: + 16 \zeta_4
617: - 128 {\rm Li}_4( {\textstyle \frac12} ) \nonumber\\
618: \z\z + i\pi (
619: 85
620: + 32 l_2
621: + 24 l_2^2
622: - \frac{32}{3} l_2^3
623: + 14 \zeta_2
624: - 120 \zeta_3
625: ) \\
626: \z=\z -2.1073 - 19.0331 i\,,\\
627: \phi_{\rm NA}(1+i0) \z=\z
628: - 16
629: - 144 \zeta_2 l_2
630: + 128 \zeta_2 l_2^2
631: + \frac{32}{3} l_2^4
632: + \frac{70}{3} \zeta_2
633: + \frac{184}{3} \zeta_3
634: - 236 \zeta_4 \nonumber\\
635: \z\z
636: + 26 \frac{\pi}{\sqrt{3}}
637: + 256 {\rm Li}_4( {\textstyle \frac12} )
638: - 84 \frac{1}{\sqrt{3}}{\rm Ls}_2( {\textstyle \frac{\pi}{3}} )
639: - \frac{16}{3} \pi {\rm Ls}_2( {\textstyle \frac{\pi}{3}} )
640: + 96 \Bigl( {\rm Ls}_2( {\textstyle \frac{\pi}{3}} ) \Bigr)^2 \nonumber\\
641: \z\z + i\pi (
642: 54
643: - 64 l_2
644: - 48 l_2^2
645: + \frac{64}{3} l_2^3
646: - 28 \zeta_2
647: + 48 \zeta_3
648: ) \\
649: \z=\z -7.5880 + 16.7194 i\,,
650: \end{eqnarray}
651: %
652: with $l_2=\log2$. Substituting the actual masses of the $W$- and
653: $Z$-bosons ($z=m_Z^2/m_W^2=1.2856$) we find:
654: \begin{eqnarray}
655: \phi_{\rm A}(1.2856+i0) \z=\z -1.3598 - 30.4095 i\,,\\
656: \phi_{\rm NA}(1.2856+i0) \z=\z -10.1248 + 35.0336 i\,.
657: \end{eqnarray}
658:
659: In the limit $q^2\to\infty$ the function $\phi$, as given by Eq. (\ref{res})
660: coincides with
661: the result of \cite{Penin} where the power unsupressed logarithmic
662: and constant part have been evaluated. For the leading and the first
663: power suppressed term we find
664: \bea
665: \phi(z)& =&
666: (3 - 24\zeta_2 + 48\zeta_3)\log(-z) - 2 + 40\zeta_2 - 84\zeta_3 + 14\zeta_4 \nonumber\\
667: &+& \frac{1}{z} \bigg(
668: ( - 26 + 8\zeta_2 ) \log^2(-z)
669: + ( - 120 - 16\zeta_2 + 128\zeta_3 ) \log(-z) \nonumber\\
670: && \quad - 188 - 8\zeta_2 - 8\zeta_3 + 116\zeta_4 \bigg) + \Oz{2}
671: \eea
672: In Fig. \ref{asympphi} the exact result is compared with the Sudakov approximation
673: and with the approximation including the first power-suppressed term.
674: For electroweak interactions the mass of the gauge boson can be taken to
675: be of order 100 GeV, the characteristic energy of order one to two TeV.
676: For one TeV the relative error of the Sudakov approximation (the
677: logarithmic plus constant term) amounts to 15\%, at 2TeV it is reduced
678: to 2.5\%.
679:
680:
681: %
682: %
683: % PICTURE
684: \begin{figure}[h]
685: \centerline{
686: %\raisebox{30mm}{$\Delta r^{(2)}_{\rm bos}$}\hspace{-8mm}
687: %\raisebox{58mm}{$\times10^{-5}$}\hspace{-4mm}
688: %\begin{center}
689: \hbox{\hspace*{-0mm}\centerline{\epsfig{file=p1.ps, angle=-90, width=150mm}}}
690: }
691: %\hspace{95mm}\raisebox{-0mm}{\Large $z$}
692: %\hbox{\raisebox{-105mm}{\hspace*{-80mm}$q^2/M^2$}}\\
693: %\hspace{-190mm} \raisebox{-50mm}{$f$}
694: \caption{\label{asympphi}
695: Non-factorizable two-loop correction to the abelian formfactor in the
696: euclidean regime ($z=q^2/m^2$).
697: The solid line represents the exact result, the dashed line the Sudakov
698: approximation and the dash-dotted line includes the power suppressed terms.
699: }
700: \end{figure}
701:
702:
703:
704:
705: \section{Conclusions}
706: Using the technique of asymptotic expansions and the knowledge
707: of the general structure of integrals we evaluated analytically the
708: two-loop formfactor in a $U(1)\times U(1)$
709: theory with one massive and one massless gauge boson.
710: In the Sudakov limit full agreement is abtained with \cite{Penin},
711: where the logarithmic and constant terms had been evaluated obtained.
712: We furthermore perform the same caldulation for a
713: $SU(2)\times U(1)$ theory and derive the non-factorizable part of the
714: two-loop formfactor in the Standard Model.
715: As an application we evaluate the mixed virtual $O(\alpha\alpha_s)$
716: radiative correction for Drell--Yan production of the $Z$-boson.
717:
718: {\it Acknowlegments.} We thank M.~Kalmykov for useful comments and discussions
719: and M.~Tentyukov for his help with DIANA. We acknowledge T.~Gehrmann
720: for information about the numerical program \verb+hplog+.
721: This work was supported by BMBF under grants
722: No. 05HT6VKA, 05HT4GUA4 and HGF grant No. NG-VH-008.
723: %At the beginning of the study A.K. was supported in part by an Alexander von
724: %Humboldt fellowship.
725: A.K. is supported in part by an Alexander von Humboldt Foundation
726: (a renewed academic stay in Germany).
727:
728:
729:
730: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
731:
732: \section{Appendix A}
733:
734: \label{App:A}
735:
736: \setcounter{equation}0
737:
738: In this Appendix we consider the asymptotic behaviour of the most
739: complicated basis functions in the limit $z=q^2/m^2\rightarrow\infty$.
740: Most of basis functions can be expressed in terms
741: of Nielsen polylogarithms and then the standard transformations formulae
742: can be applied to go from argument $z$ to $1/z$
743: (see \cite{Devoto,Lewin}). Therefore we will consider here only
744: the five special cases, mentioned previously,
745: where complications arise.
746:
747: In our calculation the following functions appear in addition
748: to usual Nielsen polylogarithms:
749: %
750: \begin{eqnarray}
751: h(z) \z=\z H_{-1,0,1}(z) \,, \nonumber\\
752: H_1(z) \z=\z H_{-1,0,1,1}(z) \,, \nonumber\\
753: H_2(z) \z=\z H_{-1,0,0,1}(z) \,, \nonumber\\
754: H_3(z) \z=\z H_{-1,-1,0,1}(z) \,, \nonumber\\
755: H_4(z) \z=\z H_{0,-1,0,1}(z) \,, \nonumber
756: \end{eqnarray}
757: %
758: where $H_{a,\dots,d}(z)$ are harmonic polylogarithms defined in \cite{HPLdefinition}.
759:
760: These functions correspond to the alternating Taylor series in $z$:
761: \begin{eqnarray}
762: h(z) \z=\z - \sum\limits_{n=1}^{\infty} \frac{S_{-2}(n-1)}{n}(-z)^n\,, \nonumber\\
763: H_1(z) \z=\z - \sum\limits_{n=1}^{\infty} \frac{S_{-2,1}(n-1)}{n}(-z)^n\,, \nonumber\\
764: H_2(z) \z=\z - \sum\limits_{n=1}^{\infty} \frac{S_{-3}(n-1)}{n}(-z)^n\,, \nonumber\\
765: H_3(z) \z=\z - \sum\limits_{n=1}^{\infty}
766: \frac{S_{-3}(n-1)+S_{-2,1}(n-1)-S_1(n-1)S_{-2}(n-1)}{n}(-z)^n\,, \nonumber\\
767: H_4(z) \z=\z - \sum\limits_{n=1}^{\infty} \frac{S_{-2}(n-1)}{n^2}(-z)^n\,, \nonumber
768: \end{eqnarray}
769: with finite harmonic sums $S_a(n)=\sum_{j=1}^n1/j^a$
770: and $S_{-a}(n)=\sum_{j=1}^n(-1)^j/j^a$ and
771: $S_{-2,1}(n) = \sum_{j=1}^n (-1)^j S_1(j)/j^2$.
772: It is interesting to note that the function $H_1$ cancels in the final
773: result (\ref{res})
774: for the formfactor but is present in the particular integrals.
775:
776: Following \cite{FKV} it is not difficult to write down simple integral representations
777: for the above series, e.g.
778: \begin{eqnarray}
779: \label{inth}
780: h(z) \z=\z \int\limits^{z}_{0} \frac{dx}{1+x}\,\Li_2(x)\,, \\
781: \label{intH1}
782: H_1(z) \z=\z \int\limits^{z}_{0} \frac{dx}{1+x}\,\Si_{1,2}(x)\,, \\
783: \label{intH2}
784: H_2(z) \z=\z \int\limits^{z}_{0} \frac{dx}{1+x}\,\Li_{3}(x)\,, \\
785: \label{intH3}
786: H_3(z) \z=\z \log(1+z)h(z) - \int\limits^{z}_{0} \frac{dx}{1+x}\,\Li_{2}(x)\log(1+x)\,, \\
787: \label{intH4}
788: H_4(z) \z=\z \log(z)h(z) - \int\limits^{z}_{0} \frac{dx}{1+x}\,\Li_{2}(x)\log(x)\,.
789: \end{eqnarray}
790: %
791: %Here $S_{1,2}(z)$ is Nielsen polylogarithm \cite{Devoto}.
792:
793: Now the integrals can be expressed in terms of Nielsen polylogarithms
794: of {\it nonlinear} arguments and only one harmonic polylogarithm
795: function $H_2$ (this choice being not unique, however). We have
796: %{\bf sled. formuly provereny chislenno}
797: %
798: \begin{eqnarray}
799: h(z) \z=\z \frac{1}{2} \Si_{1,2}(z^2) - \Si_{1,2}(z)-\Si_{1,2}(-z)
800: +\ln(1+z)\Li_{2}(z), \label{r1} \\
801: H_1(z) \z=\z \log(1+z) \Si_{1,2}(z) + \frac{1}{4} \Si_{1,3}(z^2)
802: - \Si_{1,3}(-z) + \frac{1}{2} \Phi(z), \label{r3} \\
803: H_3(z) \z=\z \log(1+z) \Bigl( \frac{1}{2} \Si_{1,2}(z^2) - \Si_{1,2}(z)-\Si_{1,2}(-z)
804: \Bigr) \nonumber \\
805: \z\z + \frac{1}{2}\log^2(1+z)\Li_{2}(z)
806: + \frac{1}{4} \Si_{1,3}(z^2) - \Si_{1,3}(z) - \frac{1}{2} \Phi(z), \label{r4}\\
807: H_4(z) \z=\z \frac{1}{4} \Si_{2,2}(z^2) - \Si_{2,2}(z)-\Si_{2,2}(-z)
808: + \log(1+z) \Li_3(z) - H_2(z), \label{r2}
809: \end{eqnarray}
810: %
811: where
812: %
813: \begin{eqnarray}
814: \Phi(z) \z=\z - \frac{15}{8}\zeta_4 + \frac{1}{6} \log^3{s} \log{z}
815: + \frac{1}{2}\log^2{s} \Bigl(\Li_{2}(s) - \Li_{2}(-s)\Bigr) \nonumber \\
816: \z\z -\log{s} \Bigl(\Li_{3}(s) - \Li_{3}(-s)\Bigr) +\Li_{4}(s) - \Li_{4}(-s),
817: \label{r5} \nonumber
818: \end{eqnarray}
819: %
820: with $s = (1-z)/(1+z)$.
821:
822: In order to find the asymptotic behaviour for $z\to\infty$ one needs to
823: use the standard
824: formulae for polylogarithms and for the function $H_2(z)\equiv H_{-1,0,0,1}(z)$
825: the inversion formula (A.6) from \cite{DavyKalmy}.
826: It is important to take care of imaginary parts, therefore
827: we approach the cut in $q^2$-plane from above,
828: which means that $z$ is replaced by $z+i0$. Thus we obtain
829: % these are corrected formula after check with ``hplog''
830: \begin{eqnarray}
831: h(z+i0) &=& - \frac{1}{6}\log^3{z} + 2\zeta_2 \log{z}- \frac{3}{2}\zeta_3
832: + \frac{1}{z} \bigg( - \frac{1}{2} \log^2{z} - \log{z} + 2\zeta_2 \bigg) \nonumber\\
833: &+& i \pi \left\{ \frac{1}{2}\log^2{z} - \frac{1}{2}\zeta_2
834: + \frac{1}{z} \log{z} + \frac{1}{z} \right\}
835: + {\cal O} \Bigl(\frac{1}{z^2}\Bigr),\\
836: H_1(z+i0) &=& \frac{1}{24}\log^4{z} - \frac{3}{2} \zeta_2 \log^2{z}
837: + \zeta_3 \log{z} + \frac{57}{16} \zeta_4 \nonumber\\
838: &+& \frac{1}{z} \bigg( \frac{1}{6} \log^3{z} + \frac{1}{2} \log^2{z}
839: - 3\zeta_2\log{z} + \zeta_3 - 3\zeta_2 -1 \bigg) \nonumber\\
840: &+& i \pi\left\{ -\frac{1}{6}\log^3{z} + \zeta_2 \log{z} - \frac{7}{8}\zeta_3
841: + \frac{1}{z} \bigg(- \frac{1}{2}\log^2{z} - \log{z} + \zeta_2
842: \bigg) \right\}
843: + {\cal O} \Bigl(\frac{1}{z^2}\Bigr),
844: \label{19}\\
845: H_2(z+i0) &=& -\frac{1}{24}\log^4{z} + \zeta_2 \log^2{z} - \frac{5}{8}\zeta_4 \nonumber \\
846: &+& \frac{1}{z} \bigg( - \frac{1}{6} \log^3{z} - \frac{1}{2} \log^2{z}
847: + (2\zeta_2 - 1)\log{z} + 2\zeta_2 -2 \bigg) \nonumber\\
848: &+& i \pi \left\{ \frac{1}{6} \log^3{z} - \frac{3}{4} \zeta_3
849: + \frac{1}{z} \bigg( \frac{1}{2}\log^2{z} + \log{z} + 1\bigg) \right\}
850: + {\cal O} \Bigl(\frac{1}{z^2}\Bigr),
851: \label{18}\\
852: H_3(z+i0) &=& -\frac{1}{24}\log^4{z} + \zeta_2 \log^2{z}
853: - \frac{3}{2}\zeta_3 \log{z} - \frac{3}{16}\zeta_4 \nonumber\\
854: &+& \frac{1}{z} \bigg( - \frac{1}{6}\log^3{z} + (2\zeta_2+1)\log{z}
855: - \frac{3}{2}\zeta_3 + 1\bigg) \nonumber\\
856: &+& i \pi \left\{ \frac{1}{6}\log^3{z} - \frac{1}{2}\zeta_2 \log{z}
857: + \frac{7}{8}\zeta_3
858: + \frac{1}{z} \bigg( \frac{1}{2} \log^2{z} - \frac{1}{2}\zeta_2 - 1 \bigg) \right\}
859: + {\cal O} \Bigl(\frac{1}{z^2}\Bigr),
860: \label{20}\\
861: H_4(z+i0) &=& -\frac{1}{24}\log^4{z} + \zeta_2 \log^2{z}
862: - \frac{3}{2}\zeta_3 \log{z} + \frac{7}{8}\zeta_4 \nonumber \\
863: &+& \frac{1}{z} \bigg( \frac{1}{2} \log^2{z} + 2\log{z} - 2\zeta_2 + 2\bigg) \nonumber\\
864: & + & i \pi \left\{ \frac{1}{6}\log^3{z} - \frac{1}{2}\zeta_2 \log{z}
865: +\frac{3}{2}\zeta_3
866: + \frac{1}{z} \bigg( - \log{z} -2 \bigg)
867: \right\} + {\cal O} \Bigl(\frac{1}{z^2}\Bigr).
868: \label{17}
869: \end{eqnarray}
870: Finally we used the program \verb+hplog+ \cite{hplog} to check numerically
871: the asymptotic behaviour of the $H$-functions.
872:
873: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
874:
875: \section{Appendix B}
876:
877: \label{App:B}
878:
879: In this appendix we consider the $H$-functions contributing to
880: the nonabelian part of the formfactor.
881: For the definitions and recursive constructions of these functions
882: we refer to \cite{Bonciani1}. However, for completeness we give
883: here explicitly the definitions of the functions which appear in our
884: calculation. The following six new functions arise in the evaluation of the
885: two-loop nonabelian formfactor:
886: %\begin{equation}
887: %H_{-r}(-z),\, H_{-r,-r}(-z),\, H_{-r,-1}(-z),\, H_{0,-r,-r}(-z),\,
888: % H_{-r,-r,-1}(-z),\, H_{0,-r,-r,-1}(-z)
889: %\end{equation}
890: \begin{eqnarray}
891: H_{-r}(z) \z=\z \int\limits_0^z \frac{dt_1}{\sqrt{t_1(t_1+4)}} \,,\\
892: H_{-r,-r}(z) \z=\z \int\limits_0^z \frac{dt_2}{\sqrt{t_2(t_2+4)}}
893: \int\limits_0^{t_2} \frac{dt_1}{\sqrt{t_1(t_1+4)}} \,,\\
894: H_{-r,-1}(z) \z=\z \int\limits_0^z \frac{dt_2}{\sqrt{t_2(t_2+4)}}
895: \int\limits_0^{t_2} \frac{dt_1}{1+t_1} \,,\\
896: H_{-r,-r,-1}(z) \z=\z \int\limits_0^z \frac{dt_3}{\sqrt{t_3(t_3+4)}}
897: \int\limits_0^{t_3} \frac{dt_2}{\sqrt{t_2(t_2+4)}}
898: \int\limits_0^{t_2} \frac{dt_1}{1+t_1} \,,\\
899: H_{0,-r,-r}(z) \z=\z \int\limits_0^{z} \frac{dt_3}{1+t_3}
900: \int\limits_0^{t_3} \frac{dt_2}{\sqrt{t_2(t_2+4)}}
901: \int\limits_0^{t_2} \frac{dt_1}{\sqrt{t_1(t_1+4)}} \,,\\
902: H_{0,-r,-r,-1}(z) \z=\z \int\limits_0^{z} \frac{dt_4}{t_4}
903: \int\limits_0^{t_4} \frac{dt_3}{\sqrt{t_3(t_3+4)}}
904: \int\limits_0^{t_3} \frac{dt_2}{\sqrt{t_2(t_2+4)}}
905: \int\limits_0^{t_2} \frac{dt_1}{1+t_1} \,.
906: \end{eqnarray}
907: In the formula (\ref{resf2}) for the nonabelian part the functions with odd
908: number of indices ``$-r$'' appear always with the factor
909: \begin{equation}
910: \label{gfactor}
911: g(-z) = \frac{1}{\sqrt{1-4/z}} \,.
912: \end{equation}
913: It is easy to check that $H_{-r}$ and $H_{-r,-1}$ cannot be expanded
914: in the Taylor series of small arguments (they have a branche point at zero),
915: but the combinations $gH_{-r}$ and $gH_{-r,-1}$ can.
916:
917: The integral representations given above are not very suitable
918: for the analysis and numerics. The ultimate task would be
919: to relate them to the usual (harmonic) polilogarithms.
920: In order to do this one should choose a ``right'' variable. From the previous
921: expirience \cite{FKV} it is known that for the diagrams,
922: posessing a branch point at $q^2=4m^2$, the appropriate variable
923: is given by ($z=q^2/m^2$)
924: \begin{equation}
925: y = \frac{1-\sqrt{z/(z-4)}}{1+\sqrt{z/(z-4)}} \,.
926: \end{equation}
927:
928: In terms of $y$ the $g$-factor (\ref{gfactor}) is expressed as
929: \begin{equation}
930: g(-z) = \frac{1-y}{1+y} \,,
931: \end{equation}
932: and the required $H$-fucntions take form
933: \begin{eqnarray}
934: %
935: H_{-r}(-z) \z=\z - \log y \,,\\
936: %
937: H_{-r,-r}(-z) \z=\z \frac{1}{2} \log^2 y \,,\\
938: %
939: H_{-r,-1}(-z) \z=\z \frac{1}{2} \log^2 y + \frac{1}{3} \Li_{2}(-y^3)
940: - \Li_{2}(-y) - \frac{1}{3}\zeta_2 \,,\\
941: %
942: H_{0,-r,-r}(-z) \z=\z - \frac{1}{6} \log^3 y + \log(1-y) \log^2 y
943: - 2 \Li_{3}(y) + 2 \log y \,\Li_{2}(y) + 2 \zeta_3\,,\\
944: %
945: H_{-r,-r,-1}(-z) \z=\z - \frac{1}{6} \log^3 y + \frac{1}{3} \zeta_2 \log y
946: + \frac{2}{3}\zeta_3 + \Li_{3}(-y) - \frac{1}{9} \Li_{3}(-y^3)
947: \,,\\
948: H_{0,-r,-r,-1}(-z) \z=\z \frac{1}{24} \log^4 y - \frac{1}{6} \zeta_2
949: \log^2 y - \frac{2}{3}\zeta_3 \log y + \frac{89}{108}\zeta_4
950: - \Li_{4}(-y) + \frac{1}{27} \Li_{4}(-y^3) \nonumber \\
951: \z+\z 2 \Si_{1,3}(1-y) - \frac{2}{3} \zeta_2 \Li_{2}(1-y)
952: + 2\ln(1-y) \biggl(
953: \frac{2}{3}\zeta_3 + \Li_{3}(-y) - \frac{1}{9} \Li_{3}(-y^3) \biggr)
954: \nonumber \\
955: \z+\z
956: 2\Li_{2}(y) \biggl( \Li_{2}(-y) - \frac{1}{3} \Li_{2}(-y^3) \biggr)
957: + 2 N_1(1)- 2N_1(y)
958: \,,
959: \end{eqnarray}
960: where
961: \begin{eqnarray}
962: N_1(y)= \int\limits^y_0 \frac{dt}{t} \Li_{2}(t) \ln(1-t+t^2), \qquad
963: N_1(1)= - \frac{11}{54} \zeta_4\,.
964: \end{eqnarray}
965:
966: As it is seen from the above fomulae, the $H$-functions with index ``$-r$''
967: can be rewritten in terms of harmonic polylogarithms but of {\it nonlinear}
968: argument $y$.
969:
970: In the limit when $z\to +\infty+i0$ we obtain
971: \begin{eqnarray}
972: %
973: \z\z g(-z)H_{-r}(-z) =
974: \lz{} + \frac{1}{z} \left( 2\lz{} - 2 \right)
975: + i\pi\left\{ - 1 - \frac{2}{z} \right\} + \Oz{2} \,, \\
976: %
977: \z\z g(-z)H_{-r,-1}(-z) =
978: \frac{1}{2}\lz{2} - \frac{10}{3}\zeta_2
979: + \left( \lz{2} - 2\lz{} - \frac{20}{3}\zeta_2 -1 \right)
980: \nonumber\\
981: \z\z\qquad\qquad
982: + i\pi\left\{ - \lz{} - \frac{1}{z}\left( 2\lz{} - 2 \right)\right\} + \Oz{2} \,,\\
983: %
984: \z\z H_{-r,-r}(-z) =
985: \frac{1}{2}\lz{2} - 3\zeta_2 - \frac{2\lz{}}{z}
986: + i\pi\left\{ - \lz{} + \frac{2}{z} \right\} + \Oz{2} \,,\\
987: %
988: \z\z H_{0,-r,-r}(-z) =
989: \frac{1}{6}\lz{3} - 3\zeta_2\lz{} + 2\zeta_3
990: + \frac{1}{z} \left( 2\lz{} + 2 \right)
991: \nonumber\\
992: \z\z\qquad\qquad
993: + i\pi\left\{ - \frac{1}{2}\lz{2} + \zeta_2 - \frac{2}{z} \right\} + \Oz{2} \,,\\
994: %
995: \z\z H_{-r,-r,-1}(-z) =
996: \frac{1}{6}\lz{3} - \frac{10}{3}\zeta_2\lz{} + \frac{2}{3}\zeta_3
997: + \frac{1}{z} \left( - \lz{2} + \frac{20}{3}\zeta_2 + 1 \right)
998: \nonumber\\
999: \z\z\qquad\qquad
1000: + i\pi\left\{ - \frac{1}{2}\lz{2} + \frac{4}{3}\zeta_2
1001: + \frac{2}{z}\lz{} \right\} + \Oz{2} \,,\\
1002: %
1003: %H_{0,-r,-r,-1}(-z) \z=\z \frac{1}{24} \log^4 y - \frac{1}{6} \zeta_2
1004: %\log^2 y - \frac{2}{3}\zeta_3 \log y + \frac{125}{108}\zeta_4
1005: %+2 N_1(1) \nonumber \\
1006: %\z+\z y \biggl( \frac{1}{3} \log^3 y - \log^2 y
1007: %+2 \Bigl(1-\frac{1}{3}\zeta_3 \Bigr) \log y -1 + \frac{2}{3}\zeta_2
1008: %- \frac{4}{3}\zeta_3 \biggr) + \Oz{2} \,,\\
1009: %
1010: \z\z H_{0,-r,-r,-1}(-z) =
1011: \frac{1}{24} \log^4{z} - \frac{5}{3} \zeta_2 \log^2{z} + \frac{2}{3} \zeta_3 \log{z}
1012: + 7\zeta_4 \nonumber\\
1013: \z\z\qquad\qquad
1014: + \frac{1}{z}\bigg(
1015: \log^2{z}
1016: + ( 2 + \frac{2}{3} \zeta_2 - \frac{2}{3} \zeta_3 )\log{z}
1017: + 1 - \frac{20}{3} \zeta_2
1018: \bigg) \nonumber\\
1019: \z\z\qquad\qquad
1020: + i\pi\bigg\{
1021: - \frac{1}{6} \log^3{z}
1022: + \frac{4}{3} \zeta_2 \log{z}
1023: - \frac{2}{3} \zeta_3 \nonumber\\
1024: \z\z\qquad\qquad
1025: + \frac{1}{z} \bigg(
1026: - 2\log{z} -2 - \frac{2}{3}\zeta_2 + \frac{2}{3}\zeta_3 - 2\log{z} \bigg)
1027: \bigg\} + \Oz{2} \,.
1028: \end{eqnarray}
1029:
1030: And finaly we give the values of $H$-functions at the particular
1031: point $z=1$:
1032: \begin{eqnarray}
1033: g(-1)H_{-r}(-1) \z=\z - \frac{\pi}{3\sqrt{3}} \,, \\
1034: g(-1)H_{-r,-1}(-1) \z=\z \frac{2}{3} \frac{\Ls_2( {\textstyle \frac{\pi}{3}} )}{\sqrt{3}} \,, \\
1035: H_{-r,-r}(-1) \z=\z - \frac{1}{3} \zeta_2 \,, \\
1036: H_{0,-r,-r}(-1) \z=\z \frac{4}{3} \zeta_3
1037: - \frac{2}{3} \pi \Ls_2( {\textstyle \frac{\pi}{3}} ) \,, \\
1038: H_{-r,-r,-1}(-1) \z=\z \frac{1}{9} \zeta_3 \,, \\
1039: H_{0,-r,-r,-1}(-1) \z=\z - \frac{7}{12} \zeta_4
1040: + \frac{2}{3} \Bigl( \Ls_2( {\textstyle \frac{\pi}{3}} ) \Bigr)^2 \,,
1041: \end{eqnarray}
1042: %
1043: where $\zeta_n$ is the Riemann $\zeta$-function and
1044: $\Ls_n(x)$ is the log-sine integral defined as
1045: %
1046: \begin{equation}
1047: \Ls_n(x) = -\int\limits_0^x \log^{n-1}\Bigl(2\sin\frac{t}{2}\Bigr) \, dt \,.
1048: \end{equation}
1049: In particular the constant $\Ls_2({\textstyle \frac{\pi}{3}})$,
1050: sometimes denoted as Clausen's integral ${\rm Cl}_2({\textstyle \frac{\pi}{3}})$
1051: (see, e.g., \cite{Lewin}), is given by
1052: \begin{equation}
1053: \Ls_2({\textstyle \frac{\pi}{3}})=1.014941606409653625\dots
1054: \end{equation}
1055:
1056: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1057:
1058: \begin{thebibliography}{99}
1059:
1060: %\cite{Hamberg:1990np}
1061: \bibitem{Hamberg:1990np}
1062: R.~Hamberg, W.~L.~van Neerven and T.~Matsuura,
1063: %``A Complete Calculation Of The Order Alpha-S**2 Correction To The Drell-Yan
1064: %K Factor,''
1065: Nucl.\ Phys.\ B {\bf 359} (1991) 343
1066: [Erratum-ibid.\ B {\bf 644} (2002) 403].
1067: %%CITATION = NUPHA,B359,343;%%
1068:
1069: %\cite{Rijken:1994sh}
1070: \bibitem{Rijken:1994sh}
1071: P.~J.~Rijken and W.~L.~van Neerven,
1072: %``Order alpha-s**2 contributions to the Drell-Yan cross-section at fixed
1073: %target energies,''
1074: Phys.\ Rev.\ D {\bf 51} (1995) 44.
1075: % [arXiv:hep-ph/9408366].
1076: %%CITATION = HEP-PH 9408366;%%
1077:
1078: %\cite{Harlander:2003ai}
1079: \bibitem{Harlander:2003ai}
1080: R.~V.~Harlander and W.~B.~Kilgore,
1081: %``Higgs boson production in bottom quark fusion at next-to-next-to-leading
1082: %order,''
1083: Phys.\ Rev.\ D {\bf 68} (2003) 013001.
1084: %[arXiv:hep-ph/0304035].
1085: %%CITATION = HEP-PH 0304035;%%
1086:
1087: %\cite{Baur:2001ze}
1088: \bibitem{Baur:2001ze}
1089: U.~Baur, O.~Brein, W.~Hollik, C.~Schappacher and D.~Wackeroth,
1090: %``Electroweak radiative corrections to neutral-current Drell-Yan processes
1091: %at hadron colliders,''
1092: Phys.\ Rev.\ D {\bf 65} (2002) 033007.
1093: % [arXiv:hep-ph/0108274].
1094: %%CITATION = HEP-PH 0108274;%%
1095:
1096: %\cite{Czarnecki:1996ei}
1097: \bibitem{Czarnecki:1996ei}
1098: A.~Czarnecki and J.~H.~Kuhn,
1099: %``Nonfactorizable QCD and electroweak corrections to the hadronic Z boson
1100: %decay rate,''
1101: Phys.\ Rev.\ Lett.\ {\bf 77} (1996) 3955.
1102: %[arXiv:hep-ph/9608366].
1103: %%CITATION = HEP-PH 9608366;%%
1104:
1105: %\cite{Harlander:1997zb}
1106: \bibitem{Harlander:1997zb}
1107: R.~Harlander, T.~Seidensticker and M.~Steinhauser,
1108: %``Complete corrections of O(alpha alpha(s)) to the decay of the Z boson into
1109: %bottom quarks,''
1110: Phys.\ Lett.\ B {\bf 426} (1998) 125.
1111: %[arXiv:hep-ph/9712228].
1112: %%CITATION = HEP-PH 9712228;%%
1113:
1114: %\cite{Fleischer:1999iq}
1115: \bibitem{Fleischer:1999iq}
1116: J.~Fleischer, F.~Jegerlehner, M.~Tentyukov and O.~Veretin,
1117: %``Non factorizable O(alpha alpha(s)) corrections to the process Z $\to$ b
1118: %anti-b,''
1119: Phys.\ Lett.\ B {\bf 459} (1999) 625.
1120: %[arXiv:hep-ph/9904256].
1121: %%CITATION = HEP-PH 9904256;%%
1122:
1123: %\cite{Kuhn:2005az}
1124: \bibitem{Kuhn:2005az}
1125: J.~H.~Kuhn, A.~Kulesza, S.~Pozzorini and M.~Schulze,
1126: %``One-loop weak corrections to hadronic production of Z bosons at large
1127: %transverse momenta,''
1128: Nucl.\ Phys.\ B {\bf 727} (2005) 368.
1129: %[arXiv:hep-ph/0507178].
1130: %%CITATION = HEP-PH 0507178;%%
1131:
1132: \bibitem{Penin}
1133: B.~Feucht, J.~H.~Kuhn, A.~A.~Penin and V.~A.~Smirnov,
1134: %``Two-loop Sudakov form factor in a theory with mass gap,''
1135: %arXiv:hep-ph/0404082.
1136: Phys.\ Rev.\ Lett.\ {\bf 93} (2004) 101802.
1137: %%CITATION = HEP-PH 0404082;%%
1138:
1139: %\cite{Jantzen:2006jv}
1140: \bibitem{Jantzen:2006jv}
1141: B.~Jantzen and V.~A.~Smirnov,
1142: %``The two-loop vector form factor in the Sudakov limit,''
1143: Eur.\ Phys.\ J.\ C {\bf 47} (2006) 671.
1144: %[arXiv:hep-ph/0603133].
1145: %%CITATION = EPHJA,C47,671;%%
1146:
1147: \bibitem{FKV}
1148: J.~Fleischer, A.~V.~Kotikov and O.~L.~Veretin,
1149: %``Analytic two-loop results for selfenergy- and vertex-type diagrams with one
1150: %non-zero mass,''
1151: Nucl.\ Phys.\ B {\bf 547} (1999) 343.
1152: %[arXiv:hep-ph/9808242].
1153: %%CITATION = HEP-PH 9808242;%%
1154:
1155: %\cite{Kniehl:2005bc}
1156: \bibitem{Kniehl:2005bc}
1157: B.~A.~Kniehl, A.~V.~Kotikov, A.~Onishchenko and O.~Veretin,
1158: %``Two-loop sunset diagrams with three massive lines,''
1159: Nucl.\ Phys.\ B {\bf 738} (2006) 306.
1160: %[arXiv:hep-ph/0510235].
1161: %%CITATION = HEP-PH 0510235;%%
1162:
1163: \bibitem{hplog}
1164: T.~Gehrmann and E.~Remiddi,
1165: %``Numerical evaluation of two-dimensional harmonic polylogarithms,''
1166: Comput.\ Phys.\ Commun.\ {\bf 144} (2002) 200.
1167: %[arXiv:hep-ph/0111255].
1168: %%CITATION = HEP-PH 0111255;%%
1169:
1170: \bibitem{Gonsalves:1983nq}
1171: R.~J.~Gonsalves,
1172: %``Dimensionally Regularized Two Loop On-Shell Quark Form-Factor,''
1173: Phys.\ Rev.\ D {\bf 28} (1983) 1542.
1174: %%CITATION = PHRVA,D28,1542;%%
1175:
1176: %\cite{vanNeerven:1985xr}
1177: \bibitem{vanNeerven:1985xr}
1178: W.~L.~van Neerven,
1179: %``Dimensional Regularization Of Mass And Infrared Singularities In Two Loop
1180: %On-Shell Vertex Functions,''
1181: Nucl.\ Phys.\ B {\bf 268} (1986) 453.
1182: %%CITATION = NUPHA,B268,453;%%
1183:
1184: %\cite{Kuhn:1999nn}
1185: \bibitem{Kuhn:1999nn}
1186: J.~H.~Kuhn, A.~A.~Penin and V.~A.~Smirnov,
1187: %``Summing up subleading Sudakov logarithms,''
1188: Eur.\ Phys.\ J.\ C {\bf 17} (2000) 97.
1189: %[arXiv:hep-ph/9912503].
1190: %%CITATION = HEP-PH 9912503;%%
1191:
1192: %\cite{Fadin:1999bq}
1193: \bibitem{Fadin:1999bq}
1194: V.~S.~Fadin, L.~N.~Lipatov, A.~D.~Martin and M.~Melles,
1195: %``Resummation of double logarithms in electroweak high energy processes,''
1196: Phys.\ Rev.\ D {\bf 61} (2000) 094002.
1197: %[arXiv:hep-ph/9910338].
1198: %%CITATION = HEP-PH 9910338;%%
1199:
1200: \bibitem{harmonicsums}
1201: A.~Gonzalez-Arroyo, C.~Lopez and F.~J.~Yndurain,
1202: %``Second Order Contributions To The Structure Functions In Deep Inelastic
1203: %Scattering. I. Theoretical Calculations,''
1204: Nucl.\ Phys.\ B {\bf 153} (1979) 161;\\
1205: %%CITATION = NUPHA,B153,161;%%
1206: %\cite{Gonzalez-Arroyo:1979he}
1207: A.~Gonzalez-Arroyo and C.~Lopez,
1208: %``Second Order Contributions To The Structure Functions In Deep Inelastic
1209: %Scattering. 3. The Singlet Case,''
1210: Nucl.\ Phys.\ B {\bf 166} (1980) 429;\\
1211: %%CITATION = NUPHA,B166,429;%%
1212: D. I. Kazakov and A.~V.~Kotikov, Nucl.\ Phys.\ B {\bf 307} (1988) 721;
1213: %%CITATION = NUPHA,B307,721;%%
1214: Theor.\ Math.\ Phys.\ {\bf 73} (1988) 1264
1215: [Teor.\ Mat.\ Fiz.\ {\bf 73} (1987) 348].
1216: %%CITATION = TMFZA,73,348;%%
1217:
1218: \bibitem{harmonicsums1}
1219: %\cite{Vermaseren:1998uu}
1220: J.~A.~M.~Vermaseren,
1221: %``Harmonic sums, Mellin transforms and integrals,''
1222: Int.\ J.\ Mod.\ Phys.\ A {\bf 14} (1999) 2037;\\
1223: %[arXiv:hep-ph/9806280].
1224: %%CITATION = HEP-PH 9806280;%%
1225: %\cite{Blumlein:1998if}
1226: J.~Blumlein and S.~Kurth,
1227: %``Harmonic sums and Mellin transforms up to two-loop order,''
1228: Phys.\ Rev.\ D {\bf 60} (1999) 014018.
1229: %[arXiv:hep-ph/9810241].
1230: %%CITATION = HEP-PH 9810241;%%
1231:
1232: \bibitem{Devoto}
1233: %\cite{Devoto:1983tc}
1234: A.~Devoto and D.~W.~Duke,
1235: %``Table Of Integrals And Formulae For Feynman Diagram Calculations,''
1236: Riv.\ Nuovo Cim.\ {\bf 7N6} (1984) 1.
1237: %%CITATION = RNCIB,7N6,1;%%
1238:
1239: \bibitem{Lewin}
1240: L.~Lewin, {\it Polylogarithms and associated functions}
1241: (North-Holland, Amsterdam, 1981).
1242:
1243: \bibitem{HPLdefinition}
1244: E.~Remiddi and J.~A.~M.~Vermaseren,
1245: %``Harmonic polylogarithms,''
1246: Int.\ J.\ Mod.\ Phys.\ A {\bf 15} (2000) 725.
1247: %[arXiv:hep-ph/9905237].
1248: %%CITATION = HEP-PH 9905237;%%
1249:
1250: \bibitem{MultiplePL}
1251: A.B.~Goncharov, Math. Res. Lett. {\bf 5} (1998) 497.
1252:
1253: \bibitem{asymptotic}
1254: F.V.~Tkachov, Preprint INR P-0332, Moscow (1983); P-0358, Moscow 1984;\\
1255: K.G.~Chetyrkin,
1256: Teor. Math. Phys. {\bf 75} (1988) 26; ibid {\bf 76} (1988) 207;
1257: %%CITATION = TMPHA,75,346;%%
1258: %%CITATION = TMPHA,76,809;%%
1259: Preprint, MPI-PAE/PTh-13/91, Munich (1991);\\
1260: ~~V.A.~Smirnov,
1261: Comm. Math. Phys.{\bf 134} (1990) 109;
1262: %%CITATION = CMPHA,134,109;%%
1263: {\it Renormalization and asymptotic expansions}
1264: (Birkh\"auser, Basel, 1991);
1265: {\it Applied asymptotic expansions in momenta and masses},
1266: Berlin, Germany: Springer (2002), (Springer tracts in modern physics. 177).
1267:
1268: \bibitem{FKV98}
1269: J.~Fleischer, A.~V.~Kotikov and O.~L.~Veretin,
1270: Phys.\ Lett.\ B {\bf 417} (1998) 163.
1271: %%CITATION = HEP-PH 9707492;%%
1272:
1273: %\cite{Harlander:2005rq}
1274: \bibitem{Harlander:2005rq}
1275: R.~Harlander and P.~Kant,
1276: %``Higgs production and decay: Analytic results at next-to-leading order
1277: %QCD,''
1278: JHEP {\bf 0512} (2005) 015.
1279: %[arXiv:hep-ph/0509189].
1280: %%CITATION = HEP-PH 0509189;%%
1281:
1282: \bibitem{DEM}
1283: A.V.~Kotikov,
1284: Phys.\ Lett.\ B {\bf 254} (1991) 158;
1285: %%CITATION = PHLTA,B254,158;%%
1286: ibid. {\bf 259} (1991) 314;
1287: %%CITATION = PHLTA,B259,314;%%
1288: ibid. {\bf 267} (1991) 123;\\
1289: %%CITATION = PHLTA,B267,123;%%
1290: E. Remiddi,
1291: Nuovo Cim.\ A {\bf 110} (1997) 1435.
1292: % [arXiv:hep-ph/9711188].
1293: %%CITATION = HEP-TH 9711188;%%
1294:
1295: \bibitem{Bonciani1}
1296: U.~Aglietti and R.~Bonciani,
1297: %``Master integrals with one massive propagator for the two-loop electroweak
1298: %form factor,''
1299: Nucl.\ Phys.\ B {\bf 668} (2003) 3;\\
1300: %[arXiv:hep-ph/0304028].
1301: %%CITATION = HEP-PH 0304028;%%
1302: %\cite{Aglietti:2004nj}
1303: U.~Aglietti, R.~Bonciani, G.~Degrassi and A.~Vicini,
1304: %``Two-loop light fermion contribution to Higgs production and decays,''
1305: %arXiv:hep-ph/0404071.
1306: Phys.\ Lett.\ B {\bf 595} (2004) 432;
1307: %%CITATION = HEP-PH 0404071;%%
1308: ibid. {\bf 600} (2004) 57;
1309: %%CITATION = HEP-PH 0407162;%%
1310: JHEP {\bf 0701} (2007) 021.
1311: %%CITATION = JHEPA,0701,021;%%
1312:
1313: \bibitem{DIANA}
1314: M.~Tentyukov and J.~Fleischer,
1315: %``A Feynman diagram analyser DIANA,''
1316: Comput.\ Phys.\ Commun.\ {\bf 132} (2000) 124.
1317: %[arXiv:hep-ph/9904258].
1318: %%CITATION = HEP-PH 9904258;%%
1319:
1320: \bibitem{FORM}
1321: J.A.M. Vermaseren, {\it Symbolic Manipulation with FORM},
1322: Amsterdam, Computer Algebra, Netherland, 1991.
1323:
1324: %\cite{Tentyukov:2004hz}
1325: \bibitem{Tentyukov:2004hz}
1326: M.~Tentyukov, D.~Fliegner, M.~Frank, A.~Onischenko, A.~Retey, H.~M.~Staudenmaier and J.~A.~M.~Vermaseren,
1327: %``ParFORM: Parallel Version of the Symbolic Manipulation Program FORM,''
1328: arXiv:cs.sc/0407066.
1329: %%CITATION = CS-SC 0407066;%%
1330:
1331: \bibitem{DavyKalmy}
1332: A.~I.~Davydychev and M.~Y.~Kalmykov,
1333: %``Massive Feynman diagrams and inverse binomial sums,''
1334: %arXiv:hep-th/0303162.
1335: Nucl.\ Phys.\ B {\bf 699} (2004) 3.
1336: %%CITATION = HEP-TH 0303162;%%
1337:
1338: %\cite{Grzadkowski:1986pm}
1339: \bibitem{Grzadkowski:1986pm}
1340: B.~Grzadkowski, J.~H.~Kuhn, P.~Krawczyk and R.~G.~Stuart,
1341: %``ELECTROWEAK CORRECTIONS ON THE TOPONIUM RESONANCE,''
1342: Nucl.\ Phys.\ B {\bf 281} (1987) 18.
1343: %%CITATION = NUPHA,B281,18;%%
1344:
1345: %\cite{Bohm:1986rj}
1346: \bibitem{Bohm:1986rj}
1347: M.~Bohm, H.~Spiesberger and W.~Hollik,
1348: %``ON THE ONE LOOP RENORMALIZATION OF THE ELECTROWEAK STANDARD MODEL AND ITS
1349: %APPLICATION TO LEPTONIC PROCESSES,''
1350: Fortsch.\ Phys.\ {\bf 34} (1986) 687.
1351: %%CITATION = FPYKA,34,687;%%
1352:
1353: %\cite{Bardin:1999ak}
1354: \bibitem{Bardin:1999ak}
1355: D.~Y.~Bardin and G.~Passarino,
1356: {\it The standard model in the making: Precision study of the electroweak
1357: interactions},
1358: %\href{http://www.slac.stanford.edu/spires/find/hep/www?irn=4320115}{SPIRES entry}
1359: Oxford, UK: Clarendon (1999) 685 p, (International series of monographs on physics. 104).
1360:
1361: %\cite{Berends:1987ab}
1362: \bibitem{Berends:1987ab}
1363: F.~A.~Berends, W.~L.~van Neerven and G.~J.~H.~Burgers,
1364: %``Higher Order Radiative Corrections At Lep Energies,''
1365: Nucl.\ Phys.\ B {\bf 297} (1988) 429
1366: [Erratum-ibid.\ B {\bf 304} (1988) 921].
1367: %%CITATION = NUPHA,B297,429;%%
1368:
1369: %\bibitem{KJV}
1370: %F.~Jegerlehner, M.~Y.~Kalmykov and O.~Veretin,
1371: %``MS-bar vs. pole masses of gauge bosons: Electroweak bosonic two-loop
1372: %corrections,''
1373: %Nucl.\ Phys.\ B {\bf 641} (2002) 285.
1374: %[arXiv:hep-ph/0105304].
1375: %%CITATION = HEP-PH 0105304;%%
1376:
1377: \end{thebibliography}
1378:
1379: \end{document}
1380:
1381: