1: \documentclass[epj]{svjour}
2: %
3: \def\makeheadbox{\vbox{}\hfill\vbox{\hbox{SFB/CPP-06-21}\hbox{TTP06-15}}}
4: \usepackage[english]{babel}
5: \usepackage{graphicx}
6: \graphicspath{{./}}
7:
8: %%
9: %%Newcommands
10: %%
11: \newcommand{\vep}{\varepsilon}
12: \newcommand{\als}{\alpha_s}
13: \newcommand{\nf}{n_f}
14: \newcommand{\nl}{n_l}
15: \newcommand{\nh}{n_h}
16: \newcommand{\Cb}{\overline{C}}
17: \newcommand{\Log}[2]{\log^{#2}({#1})}
18: \newcommand{\z}[1]{\zeta_{#1}}
19: \newcommand{\Order}{\mathcal{O}}
20:
21: \renewcommand{\*}{\,}
22:
23: \newcommand{\ice}[1]{\relax}
24: \newcommand{\GeV}{\, \mbox{GeV}}
25:
26:
27: \begin{document}
28: %
29: \title{Four-loop moments of the heavy quark vacuum polarization
30: function in perturbative QCD}
31:
32: \author{K.~G.~Chetyrkin\inst{1}
33: \thanks{On leave from Institute for Nuclear Research of the
34: Russian Academy of Sciences, Moscow, 117312, Russia.}%
35: \and
36: J.~H.~K\"uhn\inst{1}
37: \and C.~Sturm\inst{2}
38: } % Do not remove
39: %
40: \institute{
41: Institut f{\"u}r Theoretische Teilchenphysik,
42: Universit{\"a}t Karlsruhe,
43: D-76128 Karlsruhe,
44: Germany
45: \and
46: Dipartimento di Fisica Teorica,
47: Universit{\`a} di Torino, I-10125 Torino, Italy
48: {\rm{\&}}
49: INFN, Sezione di Torino, Italy}
50: %
51: \date{\mbox{}}
52: %
53: \abstract{ New results at four-loop order in perturbative QCD for the
54: first two Taylor coefficients of the heavy quark vacuum polarization
55: function are presented. They can be used to perform a precise
56: determination of the charm- and bottom-quark mass. Implications for
57: the value of the quark masses are briefly discussed.
58: \PACS{
59: {12.38.Bx}{Perturbative calculations}\and
60: {12.38.-t}{Quantum chromodynamics}\and
61: {11.55.Fv}{Dispersion relations}\and
62: {14.65.Dw}{Charmed quarks}\and
63: {14.65.Fy}{Bottom quarks}
64: } % end of PACS codes
65: } %end of abstract
66: %
67: \maketitle
68: %
69: \section{Introduction}
70: \label{Intro}
71: Two-point correlators are of central importance for many theoretical and
72: phenomenological investigations in Quantum Field Theory. As a
73: consequence they are studied in great detail in the framework of
74: perturbative calculations. Due to simple kinematics (only one external
75: momentum) even multi-loop calculations can be performed. The results for
76: all physically interesting diagonal and non-diagonal correlators
77: including {\em full} quark mass dependence are available up to
78: $\mathcal{O}\left(\alpha_s^2\right)$
79: \cite{Chetyrkin:1996cf,Chetyrkin:1998ix,Chetyrkin:1997mb}.\\
80: %%%%%
81: At four-loop order the two-point correlators can be considered in two
82: limits: In the high energy limit massless propagators need to be
83: calculated, in the low energy limit vacuum integrals (``tadpole
84: diagrams'') arise. The evaluation of the latter in three-loop
85: approximation has been pioneered in ref. \cite{Broadhurst:1992fi} and
86: automated in ref. \cite{Steinhauser:2000ry}.\\
87: %%%%%
88: Recently first results for physical quantities, which are related to
89: four-loop tadpole diagrams, have been obtained. The four-loop matching
90: condition for the strong coupling constant $\alpha_s$ at a heavy quark
91: threshold has been calculated in
92: ref.~\cite{Chetyrkin:2005ia,Schroder:2005hy}. The four-loop QCD
93: contribution to the electroweak $\rho$-parameter induced by the singlet
94: diagrams of the Z-boson self-energy has been computed in
95: ref.~\cite{Schroder:2005db}.\\
96: %%%%
97: The detailed knowledge of the heavy quark correlator is important for
98: the precise determination of heavy quark masses with the help of QCD sum
99: rules. As known from ref.~\cite{Kuhn:2001dm,Kuhn:2002zr}, the
100: determination of the charm- and bottom-quark mass is further improved,
101: if the four-loop corrections, hence $\Order(\als^3)$, for the lowest
102: Taylor coefficients of the vacuum polarization function are
103: available. The subset of four-loop contributions to the lowest two
104: moments, which involve two internal loops from massive and massless
105: fermions coupled to gluons, hence of $\Order(\als^3\*\nf^2)$, has
106: already been calculated in ref.~\cite{Chetyrkin:2004fq}. The symbol
107: $\nf$ denotes the number of active quark-flavors, contributing through
108: fermion-loops inserted into gluon lines. The terms being proportional
109: to $\als^j\*\nl^{j-1}$ are even known to all orders $j$ in perturbative
110: QCD~\cite{Grozin:2004ez}. The symbol $\nl$ denotes the number of light
111: quarks, considered as massless. In this paper the complete four-loop
112: contributions originating from non-singlet diagrams for the first two
113: Taylor coefficients are presented. Singlet contributions have been
114: studied in ref.~\cite{Groote:2001vr,Portoles:2001yu,Portoles:2002rt}.\\
115: %%%%
116: In general, the tadpole diagrams encountered in these calculations
117: contain both massive and massless lines. As is well-known, the
118: computation of the four-loop $\beta$-function can be reduced to the
119: evaluation of four-loop tadpoles composed of { completely massive}
120: propagators only. Calculations for this case have been performed in
121: \cite{vanRitbergen:1997va,Czakon:2004bu,Kajantie:2003ax}.
122: %%%%
123:
124: The outline of this paper is as follows. In section
125: \ref{GeneralNotations} we briefly introduce the notation and discuss
126: generalities. In section \ref{Calculations} we discuss the reduction to
127: master integrals, describe the solution of the linear system of
128: equations, give the result for the lowest two moments and discuss briefly the
129: impact on the quark mass determination. Our conclusions and a brief
130: summary are given in section \ref{DiscussConclude}.
131:
132:
133: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
134: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
135: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
136: \section{Notation and Generalities}
137: \label{GeneralNotations}
138: The correlator $\Pi^{\mu\nu}(q)$ of two currents is defined as
139: \begin{equation}
140: \Pi^{\mu\nu}(q,j)=i\*\int dx\,e^{iqx}\langle 0|Tj^\mu(x) j^\nu(0)|0
141: \rangle\,,
142: \label{correl}
143: \end{equation}
144: with the current $j^{\mu}(x)=\overline{\Psi}(x)\gamma^\mu\Psi(x)$ being
145: composed out of the heavy quark fields $\Psi(x)$. The function
146: $\Pi^{\mu\nu}(q)$ is conveniently written in the form:
147: \begin{equation}
148: \label{vacpol}
149: \Pi^{\mu\nu}(q)=\left(-q^2\*g^{\mu\nu}+q^{\mu}\*q^{\nu}\right)\*\Pi(q^2)\,.
150: \end{equation}
151: The vanishing of the longitudinal contribution, as well as the
152: confirmation of $\Pi^{\mu}_{\phantom{\mu}\mu}(q^2=0)=0$, has been used
153: as a check of the calculation. The function $\Pi(q^2)$ is of
154: phenomenological interest, because it can be related to the ratio
155: $R(s)=\sigma(e^+\*e^-\rightarrow\mbox{hadrons})/\sigma(e^+\*e^-\rightarrow\mu^+\mu^-)$
156: with the help of dispersion relations:
157: \begin{equation}
158: \Pi(q^2)={1\over12\*\pi^2}\int_{0}^{\infty}\!ds\,{R(s)\over (s-q^2)}\;\;\mbox{mod subtr.}
159: \label{PIR}
160: \end{equation}
161: Performing the derivative of eq.~(\ref{PIR}) with respect to $q^2$ one
162: obtains on the one hand ``experimental'' moments
163: \begin{equation}
164: \mathcal{M}^{\mbox{\footnotesize{exp}}}_n=\int\!ds\,{R(s)\over s^{n+1}}\,,
165: \label{Mexp}
166: \end{equation}
167: which can be evaluated from the $R$-ratio. On the other hand one can
168: define ``theoretical'' moments
169: \begin{equation}
170: \mathcal{M}^{\mbox{\footnotesize{th}}}_n=
171: Q_{q}^2\*{9\over4}\*\left({1\over4\*\overline{m}_q^2}\right)^n\*\overline{C}_n\,,
172: \label{Mth}
173: \end{equation}
174: which are related to the Taylor coefficients $\overline{C}_n$ of the
175: vacuum polarization function:
176: \begin{equation}
177: \overline{\Pi}(q^2) = {3\*Q_q^2\over16\*\pi^2}\*\sum_{n\ge0}
178: \overline{C}_n\*\overline{z}^n\,,
179: \label{PiExp}
180: \end{equation}
181: with $\overline{z}=q^2/(4\*\overline{m}^2)$. Symbols carrying a bar
182: denote that renormalization has been performed in
183: $\overline{\mbox{MS}}$-scheme. The Taylor expansion in $q^2$ around
184: $q^2=0$ leads to massive tadpole integrals. The first and higher
185: derivatives can be used for a precise determination of the charm- and
186: bottom-quark mass. However, also the lowest expansion coefficient
187: $\overline{C}_0$ has an interesting physical meaning, since it relates
188: the coupling of the electromagnetic interaction in different
189: renormalization schemes. \\
190: %%%%
191: Sum rules as tool for the determination of the charm- and bottom-quark
192: mass have been suggested since long in ref.~\cite{Novikov:1977dq}. This
193: method has then been applied later also to the determination of the
194: bottom-quark mass~\cite{Reinders:1984sr}. One of the most precise
195: determinations of the charm- and bottom-quark mass being based on sum
196: rules in connection with the calculation of three-loop moments in
197: perturbative QCD has been performed in ref.~\cite{Kuhn:2001dm}, with the
198: values of $\overline{m}_c(\overline{m}_c)=1.304(27)$~GeV and
199: $\overline{m}_b(\overline{m}_b)=4.191(51)$~GeV as results for the charm-
200: and the bottom-quark mass.
201: %%%%
202:
203: It is convenient to define the expansion of the Taylor coefficients
204: $\overline{C}_n$ of the vacuum polarization function in the strong
205: coupling constant $\als$ as
206: \begin{equation}
207: \Cb_n=\Cb_n^{(0)}
208: +\left({\als\over\pi}\right)^1\*\Cb_n^{(1)}
209: +\left({\als\over\pi}\right)^2\*\Cb_n^{(2)}
210: +\left({\als\over\pi}\right)^3\*\Cb_n^{(3)}+\dots\,.
211: \label{CbarExp}
212: \end{equation}
213: Due to the distinct mass hierarchy of the quarks in the Standard-Model,
214: one can consider for the above moments one species of quarks as massive
215: ($\nh=1$) and all lighter ones as massless. The number of active quarks
216: $\nf$ is then decomposed according to $\nf=\nl+\nh$. For convenience
217: the symbol $\nh$ is kept explicitly in the following.
218: %%
219: %%
220: %%
221: %%
222: \section{Calculations and Results}
223: \label{Calculations}
224: %%%%%
225: The Feynman-diagrams have been generated with the help of the program
226: {\tt{QGRAF}} \cite{Nogueira:1991ex}. After performing the expansion in
227: the external momentum $q$ all integrals can be expressed in terms of 55
228: independent vacuum topologies with additional increased powers of
229: propagators and additional irreducible scalar products.\\
230: %%%%
231: In order to reduce this host of integrals to a small set of master
232: integrals the traditional Integration-by-parts(IBP) method has been used
233: in combination with Laporta's algorithm
234: \cite{Laporta:1996mq,Laporta:2001dd}. The resulting system of linear
235: equations has been solved with a {\tt{FORM3}}
236: \cite{Vermaseren:2000nd,Vermaseren:2002rp,Tentyukov:2006ys} based
237: program, in which partially also ideas described in
238: ref.~\cite{Laporta:2001dd,Mastrolia:2000va,Schroder:2002re} have been
239: implemented. The rational functions in the space-time dimension $d$,
240: which arise in this procedure, have been simplified with the program
241: {\tt{FERMAT}}~\cite{Lewis}. Masking of large integral coefficients has
242: been implemented, a strategy also adopted in the program
243: {\tt{AIR}}~\cite{Anastasiou:2004vj}. In order to achieve the reduction
244: to 13 master integrals more than 31 million IBP-equations have been
245: generated and solved. This leads to integral-tables with solutions for
246: around five million integrals. Furthermore all symmetries of the 55
247: independent topologies have been taken into account in an automated way,
248: by reshuffling the powers of the propagators of a given topology in a
249: unique way. Taking into account symmetries is important in order to keep
250: the size of the integral-tables under control.\\
251: %%%%
252: The first four master integrals shown in fig.~\ref{fig:1} can be
253: calculated completely analytically in terms of $\Gamma$-functions. The
254: fifth integral ($T_{52}$) can be obtained from results of
255: ref.~\cite{Broadhurst:1992fi,Broadhurst:1996az}.
256: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
257: \begin{figure}[!ht]
258: %%%%%%%%%%%%%%%%%%%%
259: \begin{center}
260: \begin{minipage}[b]{2.5cm}
261: \begin{center}
262: \includegraphics[height=2cm,bb=126 332 460 665]{Topo40401-Dash}\\[0.5ex]
263: \hspace*{0.4cm}$\mathrm{T}_{41}$
264: % 40401
265: \end{center}
266: \end{minipage}
267: %
268: %%%%%%%%%%%%%%%%%%%%
269: %
270: \begin{minipage}[b]{2.5cm}
271: \begin{center}
272: \includegraphics[height=2cm,bb=170 320 415 666]{Topo40523-Dash}\\[0.5ex]
273: \hspace*{0.4cm}$\mathrm{T}_{51}$
274: % 40523
275: \end{center}
276: \end{minipage}
277: %
278: %%%%%%%%%%%%%%%%%%%%
279: %
280: \begin{minipage}[b]{2.5cm}
281: \begin{center}
282: \includegraphics[height=2cm,bb=126 320 460 678]{Topo40618-Dash}\\[0.5ex]
283: \hspace*{0.4cm}$\mathrm{T}_{63}$
284: % 40618
285: \end{center}
286: \end{minipage}
287: %
288: %
289: %%%%%%%%%%%%%%%%%%%%
290: \\[2ex]
291: %%%%%%%%%%%%%%%%%%%%
292: %
293: \begin{minipage}[b]{2.5cm}
294: \begin{center}
295: \includegraphics[height=2cm,bb=126 320 460 678]{Topo40504-Dash}\\[0.5ex]
296: \hspace*{0.4cm}$\mathrm{T}_{53}$
297: % 40504
298: \end{center}
299: \end{minipage}
300: %
301: \begin{minipage}[b]{2.5cm}
302: \begin{center}
303: \includegraphics[height=2cm,bb=170 320 415 666]{Topo40524-Dash}\\[0.5ex]
304: \hspace*{0.4cm}$\mathrm{T}_{52}$
305: % 40524
306: \end{center}
307: \end{minipage}
308: %
309: %%%%%%%%%%%%%%%%%%%%
310: %
311: %
312: \end{center}
313: \caption{Factorized or analytically known master integrals. The solid
314: (dashed) lines denote massive (massless) propagators.
315: \label{fig:1}}
316: \end{figure}
317: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
318: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
319: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
320:
321: \noindent
322: The remaining eight master integrals (fig.~\ref{Fig:2}) have been
323: determined with high precision numerics with the difference equation
324: method \cite{Laporta:2001dd} in
325: ref.~\cite{Schroder:2005va}. Independently they have been determined in
326: ref.~\cite{Chetyrkin:2006dh} by constructing an $\vep$-finite
327: basis. Some of these master integrals have also been calculated in
328: ref.~\cite{Laporta:2002pg,Chetyrkin:2004fq,Kniehl:2005yc,Schroder:2005db}.\\
329: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
330: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
331: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
332: %
333: \begin{figure}[!ht]
334: \begin{center}
335: \begin{minipage}[b]{2.5cm}
336: \begin{center}
337: \includegraphics[height=2cm,bb=126 320 460 678]{Topo40505-Dash}\\[0.5ex]
338: \hspace*{0.4cm}$\mathrm{T}_{54}$
339: % 40505
340: \end{center}
341: \end{minipage}
342: %
343: %%%%%%%%%%%%%%%%%%%%
344: \begin{minipage}[b]{2.5cm}
345: \begin{center}
346: \includegraphics[height=2cm,bb=126 320 460 678]{Topo406112-Dash}\\[0.5ex]
347: \hspace*{0.4cm}$\mathrm{T}_{62}$
348: % 406112
349: \end{center}
350: \end{minipage}
351: %
352: %%%%%%%%%%%%%%%%%%%%
353: %
354: \begin{minipage}[b]{2.5cm}
355: \begin{center}
356: \includegraphics[height=2cm,bb=126 320 460 678]{Topo406111-Dash}\\[0.5ex]
357: \hspace*{0.4cm}$\mathrm{T}_{61}$
358: % 406111
359: \end{center}
360: \end{minipage}
361: %
362: %
363: %%%%%%%%%%%%%%%%%%%%
364: \\[2ex]
365: %%%%%%%%%%%%%%%%%%%%
366: %
367: %
368: \begin{minipage}[b]{2.5cm}
369: \begin{center}
370: \includegraphics[height=2cm,bb=126 332 460 678]{Topo40602-Dash}\\[0.5ex]
371: \hspace*{0.4cm}$\mathrm{T}_{64}$
372: % 40602
373: \end{center}
374: \end{minipage}
375: %
376: %%%%%%%%%%%%%%%%%%%%
377: %
378: \begin{minipage}[b]{2.5cm}
379: \begin{center}
380: \includegraphics[height=2cm,bb=126 332 460 678]{Topo407118-Dash}\\[0.5ex]
381: \hspace*{0.4cm}$\mathrm{T}_{71}$
382: % 407118
383: \end{center}
384: \end{minipage}
385: %
386: %%%%%%%%%%%%%%%%%%%%
387: %
388: \begin{minipage}[b]{2.5cm}
389: \begin{center}
390: \includegraphics[height=2cm,bb=126 332 460 666]{Topo407117-Dash}\\[0.5ex]
391: \hspace*{0.4cm}$\mathrm{T}_{72}$
392: % 407117
393: \end{center}
394: \end{minipage}
395: %
396: %%%%%%%%%%%%%%%%%%%%
397: \\[2ex]
398: %%%%%%%%%%%%%%%%%%%%
399: %
400: \begin{minipage}[b]{2.5cm}
401: \begin{center}
402: \includegraphics[height=2cm,bb=126 332 460 666]{Topo40802-Dash}\\[0.5ex]
403: \hspace*{0.4cm}$\mathrm{T}_{81}$
404: % 40802
405: \end{center}
406: \end{minipage}
407: %
408: %%%%%%%%%%%%%%%%%%%%
409: %
410: \begin{minipage}[b]{2.5cm}
411: \begin{center}
412: \includegraphics[height=2cm,bb=126 320 460 678]{Topo40903-Dash}\\[0.5ex]
413: \hspace*{0.4cm}$\mathrm{T}_{91}$
414: % 40903
415: \end{center}
416: \end{minipage}
417: \end{center}
418:
419: \caption{Master integrals where only a few terms of their
420: $\vep$-expansion are known analytically. The solid (dashed) lines
421: denote massive (massless) propagators.
422: \label{Fig:2}}
423: \end{figure}
424: %%%%%%%%%%%%%%%%%%%%%%%%%
425:
426: Inserting the master integrals and performing renormalization of the strong
427: coupling constant $\als$, the external current and the mass
428: $m=\overline{m}(\mu)$ leads to the following result ($\mu=\overline{m}$):
429: \begin{eqnarray}
430: \label{C0}
431: \overline{C}_0^{(3)} &=&
432: \nl\*\nh\*\Bigg(
433: - {2\over9}\*a_4
434: + {7043\over34992}
435: - {1\over108}\*\Log{2}{4}
436: \nonumber\\&&\qquad\quad
437: + {\pi^2\over108}\*\Log{2}{2}
438: + {49\over12960}\*\pi^4
439: - {127\over324}\*\z3
440: \Bigg)
441: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
442: \nonumber\\
443: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
444: &+& \nh^2\*\left(
445: {610843\over2449440}
446: - {661\over2835}\*\z3
447: \right)
448: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
449: \nonumber\\
450: &+&\nl^2\*\left(
451: {17897\over69984}
452: - {31\over162}\*\z3
453: \right)
454: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
455: \nonumber\\
456: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
457: &+&\nl\*\Bigg(
458: - {50\over81}\*a_4
459: - {71629\over46656}
460: - {25\over972}\*\Log{2}{4}
461: \nonumber\\&&\qquad
462: + {25\over972}\*\Log{2}{2}\*\pi^2
463: + {8533\over116640}\*\pi^4
464: - {21343\over3888}\*\z3
465: \Bigg)
466: \nonumber\\
467: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
468: &+&\nh\*\Bigg(
469: - {28364\over405}\*a_4
470: - {83433703\over8164800}
471: - {7091\over2430}\*\Log{2}{4}
472: \nonumber\\&&\qquad
473: + {7091\over2430}\*\Log{2}{2}\*\pi^2
474: + {14873\over18225}\*\pi^4
475: \nonumber\\&&\qquad
476: - {14509529\over340200}\*\z3
477: + {5\over3}\*\z5
478: \Bigg)
479: \nonumber\\
480: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
481: &+& {64\over3}\*a_5
482: + {12007\over243}\*a_4
483: - {8572423579\over604661760}
484: + {12007\over5832}\*\Log{2}{4}
485: \nonumber\\
486: &-&{8\over45}\*\Log{2}{5}
487: - {12007\over5832}\*\Log{2}{2}\*\pi^2
488: + {8\over27}\*\Log{2}{3}\*\pi^2
489: \nonumber\\
490: &-&{1074967\over699840}\*\pi^4
491: + {34\over135}\*\log{2}\*\pi^4
492: + {\pi^6\over486}
493: + {53452189\over349920}\*\z3
494: \nonumber\\
495: &-&{28\over243}\*\z3^2
496: - {37651\over648}\*\z5
497: - {1\over432}\*T_{54,3}
498: + {7\over1296}\*T_{62,2}\,,
499: \end{eqnarray}
500: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
501: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
502: \begin{eqnarray}
503: \label{C1}
504: \overline{C}_1^{(3)} &=&
505: \nl\*\nh\*\Bigg(
506: -{116\over243}\*a_4
507: + {262877\over787320}
508: - {29\over1458}\*\Log{2}{4}
509: \nonumber\\&&\qquad
510: + {29\over1458}\*\Log{2}{2}\*\pi^2
511: + {1421\over174960}\*\pi^4
512: - {38909\over58320}\*\z3
513: \Bigg)
514: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
515: \nonumber\\
516: &+&\nh^2\*\left(
517: {163868\over295245}
518: - {3287\over7290}\*\z3
519: \right)
520: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
521: \nonumber\\
522: &+&\nl^2\*\left(
523: {42173\over98415}
524: - {112\over405}\*\z3
525: \right)
526: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
527: \nonumber\\
528: &+&\nh\*\Bigg(
529: - {1394804\over8505}\*a_4
530: - {27670774337\over1414551600}
531: \nonumber\\&&\qquad
532: - {348701\over51030}\*\Log{2}{4}
533: + {348701\over51030}\*\Log{2}{2}\*\pi^2
534: \nonumber\\&&\qquad
535: + {1447057\over765450}\*\pi^4
536: - {95617883401\over943034400}\*\z3
537: + {128\over27}\*\z5
538: \Bigg)
539: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
540: \nonumber\\
541: &+&\nl\*\Bigg(
542: - {4793\over7290}\*a_4
543: - {9338899\over2099520}
544: \nonumber\\&&\qquad
545: - {4793\over174960}\*\Log{2}{4}
546: + {4793\over174960}\*\Log{2}{2}\*\pi^2
547: \nonumber\\&&\qquad
548: + {372689\over839808}\*\pi^4
549: - {48350497\over1399680}\*\z3
550: \Bigg)
551: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
552: \nonumber\\
553: &-&{127168\over1215}\*a_5
554: - {22152385\over61236}\*a_4
555: + {237787820456749\over380936908800}
556: \nonumber\\
557: &-&{22152385\over1469664}\*\Log{2}{4}
558: + {15896\over18225}\*\Log{2}{5}
559: \nonumber\\
560: &+&{22152385\over1469664}\*\Log{2}{2}\*\pi^2
561: - {15896\over10935}\*\Log{2}{3}\*\pi^2
562: \nonumber\\
563: &-&{29962031\over176359680}\*\pi^4
564: - {67558\over54675}\*\log{2}\*\pi^4
565: + {60701\over1071630}\*\pi^6
566: \nonumber\\
567: &+&{282830677079\over881798400}\*\z3
568: - {242804\over76545}\*\z3^2
569: - {653339\over2430}\*\z5
570: \nonumber\\
571: &-&{5849\over272160}\*T_{54,3}
572: + {60701\over408240}\*T_{62,2}\,,
573: \end{eqnarray}
574: where Riemann's zeta-function $\zeta_n$ and the polylogarithm-function
575: $\mbox{Li}_n(1/2)$ are defined by
576: \begin{equation}
577: \zeta_n=\sum_{k=1}^{\infty}{1\over k^n}\quad\mbox{and}\quad
578: a_n=\mbox{Li}_n(1/2)=\sum_{k=1}^{\infty}{1\over2^{k}k^{n}}\,.
579: \label{zateunda}
580: \end{equation}
581: The two numerical constants that appear in eq.~(\ref{C0}) and
582: eq.~(\ref{C1}) were obtained in eq.~(19) and eq.~(20) of
583: ref.~\cite{Chetyrkin:2006dh}:
584: \begin{eqnarray}
585: T_{54,3}&=&-8445.8046390310298\dots \;\;\mbox{and}\;\;\nonumber\\
586: T_{62,2}&=&-4553.4004372195263\dots\,.
587: \end{eqnarray}
588: Numerically the coefficients $\overline{C}_0$ and $\overline{C}_1$ are
589: given by:
590: \begin{eqnarray}
591: \label{C0Numerik}
592: \overline{C}_0 &=& \left({\alpha_s\over\pi}\right)\phantom{^1} \* 1.4444
593: \nonumber\\
594: &+& \left({\alpha_s\over\pi}\right)^2\*
595: \left(1.5863 + 0.1387\*\nh + 0.3714\*\nl \right)
596: \nonumber\\
597: &+& \left({\alpha_s\over\pi}\right)^3\*
598: ( 0.0252\*\nh\*\nl + 0.0257\*\nl^2 - 0.0309\*\nh^2
599: \nonumber\\&&\qquad\quad
600: - 3.3426\*\nh - 1.2112\*\nl +1.4186 ) +\dots
601: \nonumber\\
602: &&\\
603: \mbox{and}&&\nonumber\\
604: \label{C1Numerik}
605: \overline{C}_1 &=&1.0667
606: \nonumber\\
607: &+& \left({\alpha_s\over\pi}\right)\phantom{^1} \* 2.5547
608: \nonumber\\
609: &+& \left({\alpha_s\over\pi}\right)^2\*
610: \left(0.2461 + 0.2637\*\nh + 0.6623\*\nl \right)
611: \nonumber\\
612: &+& \left({\alpha_s\over\pi}\right)^3\*
613: ( 0.1658\*\nh\*\nl + 0.0961\*\nl^2 + 0.0130\*\nh^2
614: \nonumber\\&&\qquad\quad
615: - 6.4188\*\nh - 2.9605\*\nl + 8.2846)+\dots\,.
616: \nonumber\\
617: \end{eqnarray}
618:
619:
620: Using relation~(\ref{Mth}) for the first moment at three- and
621: four-loop approximations one can assess the influence of the new
622: four-loop order on the values of the charm- and bottom-quark mass.
623: We first summarize the current status of the charm- and bottom-quark
624: masses as obtained in \cite{Kuhn:2001dm} from the first moment
625: evaluated to order $\alpha_s^2$:
626: \begin{eqnarray}
627: \overline{m}_c(3\GeV) &=& 1.027 \pm 0.002 \GeV
628: {},
629: \label{mc3:3l:KS}
630: \\
631: \overline{m}_b(10\GeV) &=& 3.665 \pm 0.005 \GeV
632: {}.
633: \label{mb10:3l:KS}
634: \end{eqnarray}
635: Note that here and below we display only the uncertainties coming from
636: the variation of the renormalization scale $\mu$ in the region $ \mu =
637: 10 \pm 5 \GeV$ for the bottom-quark and $ \mu = 3 \pm 1 \GeV$ for the
638: charm-quark respectively. The experimental error is larger and discussed in
639: \cite{Kuhn:2001dm}.
640:
641: Let us discuss the influence of the newly computed
642: correction on the charm- and bottom-quark masses.
643: In our analysis we will closely follow
644: \cite{Kuhn:2001dm}. In particular, we will borrow from
645: that work the value of the first ``experimental'' moment as
646: defined in eq.~(\ref{Mexp}). The latest experimental information on
647: $R(s)$ which appeared after publication of \cite{Kuhn:2001dm} will be
648: taken into account in a future study.
649: %%
650:
651:
652: %%
653: The inclusion of the four-loop contribution to the function
654: $\overline{C}_1$ leads for the case of the charm-quark to the following
655: modification of eq.~(\ref{mc3:3l:KS}):
656: \begin{equation}
657: \overline{m}_c(3\GeV) = 1.023 \pm 0.0005 \GeV
658: \label{mc3:4l}
659: {}
660: \end{equation}
661:
662: For the case of the bottom-quark our result reads:
663: \begin{equation}
664: \overline{m}_b(10\GeV) = 3.665 \pm 0.001 \GeV
665: \label{mb10:4l}
666: {}.
667: \end{equation}
668: Thus, the four-loop correction does not change the value of $\overline{m}_b(10\GeV)$
669: at all (within our accuracy) but does lead to significant decrease of the theoretical
670: uncertainty.
671:
672:
673:
674: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
675: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
676: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
677: \section{Summary and Conclusion}
678: \label{DiscussConclude}
679:
680: The calculation of Taylor expansion coefficients of the vacuum
681: polarization function is important for a precise determination of the
682: charm- and bottom-quark mass. Within this work we have presented a new
683: result at four-loop order in perturbative QCD for the first two
684: coefficients of the Taylor expansion. For the computation the
685: traditional IBP-method in combination with Laporta's algorithm has been
686: used in order to reduce all appearing integrals on a small set of master
687: integrals.
688:
689:
690: With the knowledge of the four-loop contributions the
691: theoretical uncertainty is well under control in the view of the current
692: and foreseeable precision of experimental data.\\
693:
694:
695: \noindent
696: {\bf Acknowledgments:}\\
697: %%%%
698: The authors would like to thank M.~Faisst for numerous discussions and
699: for providing numerical cross checks of partial results.
700: We thank M.~Czakon for interesting discussions.
701: The work was supported by the Deutsche Forschungsgemeinschaft through the SFB/TR-9
702: ``Computational Particle Physics''. The work of C.S. was also partially
703: supported by MIUR under contract 2001023713$\_$006.
704: \vspace{1cm}
705:
706:
707:
708:
709:
710: \noindent
711: {\bf Note added.}
712: \\
713: \noindent
714: The results of our calculations as expressed in eq. (\ref{C1})
715: have been confirmed in the work \cite{Boughezal:2006px}, where also a
716: strong reduction of the theoretical error due to the unphysical scale
717: dependence has been found.
718:
719:
720:
721:
722: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
723: \begin{thebibliography}{}
724: %
725: % and use \bibitem to create references.
726: %
727: \bibitem{Chetyrkin:1996cf}
728: K.~G. Chetyrkin, J.~H. K{\"u}hn and M.~Steinhauser, Nucl. Phys. \textbf{B482}
729: (1996) 213.
730:
731: \bibitem{Chetyrkin:1998ix}
732: K.~G. Chetyrkin, R.~Harlander and M.~Steinhauser, Phys. Rev. \textbf{D58}
733: (1998) 014012.
734:
735: \bibitem{Chetyrkin:1997mb}
736: K.~G. Chetyrkin, J.~H. K{\"u}hn and M.~Steinhauser, Nucl. Phys. \textbf{B505}
737: (1997) 40.
738:
739: \bibitem{Broadhurst:1992fi}
740: D.~J. Broadhurst, Z. Phys. \textbf{C54} (1992) 599.
741:
742: \bibitem{Steinhauser:2000ry}
743: M.~Steinhauser, Comput. Phys. Commun. \textbf{134} (2001) 335.
744:
745: \bibitem{Chetyrkin:2005ia}
746: K.~G. Chetyrkin, J.~H. K{\"u}hn and C.~Sturm, hep-ph/0512060.
747:
748: \bibitem{Schroder:2005hy}
749: Y.~Schr{\"o}der and M.~Steinhauser, JHEP \textbf{01} (2006) 051.
750:
751: \bibitem{Schroder:2005db}
752: Y.~Schr{\"o}der and M.~Steinhauser, Phys. Lett. \textbf{B622} (2005) 124.
753:
754: \bibitem{Kuhn:2001dm}
755: J.~H. K{\"u}hn and M.~Steinhauser, Nucl. Phys. \textbf{B619} (2001) 588
756: [Erratum-ibid. \textbf{B640} (2002) 415].
757:
758: \bibitem{Kuhn:2002zr}
759: J.~H. K{\"u}hn and M.~Steinhauser, JHEP \textbf{10} (2002) 018.
760:
761: \bibitem{Chetyrkin:2004fq}
762: K.~G. Chetyrkin, J.~H. K{\"u}hn, P.~Mastrolia and C.~Sturm, Eur. Phys. J.
763: \textbf{C40} (2005) 361.
764:
765: \bibitem{Grozin:2004ez}
766: A.~G. Grozin and C.~Sturm, Eur. Phys. J. \textbf{C40} (2005) 157.
767:
768: \bibitem{Groote:2001vr}
769: S.~Groote and A.~A. Pivovarov, Eur. Phys. J. \textbf{C21} (2001) 133.
770:
771: \bibitem{Portoles:2001yu}
772: J.~Portoles and P.~D. Ruiz-Femenia, J. Phys. \textbf{G29} (2003) 349.
773:
774: \bibitem{Portoles:2002rt}
775: J.~Portoles and P.~D. Ruiz-Femenia, Eur. Phys. J. \textbf{C24} (2002) 439.
776:
777: \bibitem{vanRitbergen:1997va}
778: T.~van Ritbergen, J.~A.~M. Vermaseren and S.~A. Larin, Phys. Lett.
779: \textbf{B400} (1997) 379.
780:
781: \bibitem{Kajantie:2003ax}
782: K.~Kajantie, M.~Laine, K.~Rummukainen and Y.~Schr{\"o}der, JHEP \textbf{04}
783: (2003) 036.
784:
785: \bibitem{Czakon:2004bu}
786: M.~Czakon, Nucl. Phys. \textbf{B710} (2005) 485.
787:
788: \bibitem{Novikov:1977dq}
789: V.~A. Novikov, B.~Okun, M.~A. Shifman, A.~I. Vainshtein, M.~B. Voloshin and
790: V.~I. Zakharov, Phys. Rept. \textbf{41} (1978) 1.
791:
792: \bibitem{Reinders:1984sr}
793: L.~J. Reinders, H.~Rubinstein and S.~Yazaki, Phys. Rept. \textbf{127} (1985) 1.
794:
795: \bibitem{Nogueira:1991ex}
796: P.~Nogueira, J. Comput. Phys. \textbf{105} (1993) 279.
797:
798: \bibitem{Laporta:1996mq}
799: S.~Laporta and E.~Remiddi, Phys. Lett. \textbf{B379} (1996) 283.
800:
801: \bibitem{Laporta:2001dd}
802: S.~Laporta, Int. J. Mod. Phys. \textbf{A15} (2000) 5087.
803:
804: \bibitem{Vermaseren:2000nd}
805: J.~A.~M. Vermaseren, New features of FORM{,} math-ph/0010025 \textbf{\mbox{}}
806: (2000).
807:
808: \bibitem{Vermaseren:2002rp}
809: J.~A.~M. Vermaseren, Nucl. Phys. Proc. Suppl. \textbf{116} (2003) 343.
810:
811: \bibitem{Tentyukov:2006ys}
812: M.~Tentyukov and J.~A.~M. Vermaseren, cs.sc/0604052.
813:
814: \bibitem{Mastrolia:2000va}
815: P.~Mastrolia and E.~Remiddi, Nucl. Phys. Proc. Suppl. \textbf{89} (2000) 76.
816:
817: \bibitem{Schroder:2002re}
818: Y.~Schr{\"o}der, Nucl. Phys. Proc. Suppl. \textbf{116} (2003) 402.
819:
820: \bibitem{Lewis}
821: R.~H.~Lewis, Fermat's~User~Guide,\\ http://www.bway.net/\symbol{126}lewis/ .
822:
823: \bibitem{Anastasiou:2004vj}
824: C.~Anastasiou and A.~Lazopoulos, JHEP \textbf{07} (2004) 046.
825:
826: \bibitem{Broadhurst:1996az}
827: D.~J. Broadhurst, hep-th/9604128.
828:
829: \bibitem{Schroder:2005va}
830: Y.~Schr{\"o}der and A.~Vuorinen, JHEP \textbf{06} (2005) 051.
831:
832: \bibitem{Chetyrkin:2006dh}
833: K.~G. Chetyrkin, M.~Faisst, C.~Sturm and M.~Tentyukov, hep-ph/0601165.
834:
835: \bibitem{Laporta:2002pg}
836: S.~Laporta, Phys. Lett. \textbf{B549} (2002) 115.
837:
838: \bibitem{Kniehl:2005yc}
839: B.~A. Kniehl and A.~V. Kotikov, hep-ph/0508238.
840:
841: \bibitem{Boughezal:2006px}
842: R. Boughezal, M. Czakon and T. Schutzmeier,
843: \newblock (2006), hep-ph/0605023.
844:
845:
846: \end{thebibliography}
847: %
848: \end{document}
849:
850:
851:
852:
853: