1: \documentclass[12pt]{article}
2: %\usepackage{feynarts}
3: \usepackage{a4wide,epsfig}
4: %\usepackage{feynmp}
5: %\usepackage{slashed}
6: %\usepackage{amsmath}
7: %\usepackage[notcite,notref]{showkeys}
8: %\usepackage[small]{caption}
9: \voffset0cm
10: \hoffset0cm
11: \oddsidemargin0cm
12: \evensidemargin0cm
13: \topmargin0cm
14: \textwidth16.cm
15: \textheight22cm
16: \setlength{\arraycolsep}{0.5mm}
17:
18: %\newcommand{\agt}{\,\rlap{\lower 3.5 pt \hbox{$\mathchar \sim$}} \raise 1pt
19: % \hbox {$>$}\,}
20: %\newcommand{\alt}{\,\rlap{\lower 3.5 pt \hbox{$\mathchar \sim$}} \raise 1pt
21: % \hbox {$<$}\,}
22: %\newcommand{\re}{\mathop{\mathrm{Re}}\nolimits}
23: %\newcommand{\im}{\mathop{\mathrm{Im}}\nolimits}
24:
25: \newcommand{\Li}{\mathop{\mathrm{Li}}\nolimits}
26: \newcommand{\Si}{\mathop{\mathrm{S}}\nolimits}
27:
28: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
29: %The following macro is from world_sci.sty, originally written for DPF91
30:
31: \catcode`@=11
32: % Collapse citation numbers to ranges. Non-numeric and undefined labels
33: % are handled. No sorting is done. E.g., 1,3,2,3,4,5,foo,1,2,3,?,4,5
34: % gives 1,3,2-5,foo,1-3,?,4,5
35: \newcount\@tempcntc
36: \def\@citex[#1]#2{\if@filesw\immediate\write\@auxout{\string\citation{#2}}\fi
37: \@tempcnta\z@\@tempcntb\m@ne\def\@citea{}\@cite{\@for\@citeb:=#2\do
38: {\@ifundefined
39: {b@\@citeb}{\@citeo\@tempcntb\m@ne\@citea\def\@citea{,}{\bf ?}\@warning
40: {Citation `\@citeb' on page \thepage \space undefined}}%
41: {\setbox\z@\hbox{\global\@tempcntc0\csname b@\@citeb\endcsname\relax}%
42: \ifnum\@tempcntc=\z@ \@citeo\@tempcntb\m@ne
43: \@citea\def\@citea{,}\hbox{\csname b@\@citeb\endcsname}%
44: \else
45: \advance\@tempcntb\@ne
46: \ifnum\@tempcntb=\@tempcntc
47: \else\advance\@tempcntb\m@ne\@citeo
48: \@tempcnta\@tempcntc\@tempcntb\@tempcntc\fi\fi}}\@citeo}{#1}}
49: \def\@citeo{\ifnum\@tempcnta>\@tempcntb\else\@citea\def\@citea{,}%
50: \ifnum\@tempcnta=\@tempcntb\the\@tempcnta\else
51: {\advance\@tempcnta\@ne\ifnum\@tempcnta=\@tempcntb \else \def\@citea{--}\fi
52: \advance\@tempcnta\m@ne\the\@tempcnta\@citea\the\@tempcntb}\fi\fi}
53: \catcode`@=12
54: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
55:
56: \begin{document}
57:
58: \title{
59: \vskip-3cm{\baselineskip14pt
60: \centerline{\normalsize DESY~08--085 \hfill ISSN 0418-9833}
61: %\centerline{\normalsize arXiv:YYMM.NNNN [category]\hfill}
62: \centerline{\normalsize June 2008\hfill}}
63: \vskip1.5cm
64: Orthopositronium lifetime: analytic results in ${\mathcal O}(\alpha)$
65: and ${\mathcal O}(\alpha^3\ln\alpha)$}
66:
67: \author{
68: {\sc Bernd A. Kniehl, Anatoly V. Kotikov\thanks{On leave of absence from
69: Bogoliubov Laboratory for Theoretical Physics, JINR,
70: 141980 Dubna (Moscow region), Russia.}, Oleg L. Veretin}
71: \\
72: {\normalsize II. Institut f\"ur Theoretische Physik, Universit\"at Hamburg,}\\
73: {\normalsize Luruper Chaussee 149, 22761 Hamburg, Germany}
74: }
75:
76: \date{}
77:
78: \maketitle
79:
80: \begin{abstract}
81: We present the ${\mathcal O}(\alpha)$ and ${\mathcal O}(\alpha^3\ln\alpha)$
82: corrections to the total decay width of orthopositronium in closed analytic
83: form, in terms of basic transcendental numbers, which can be evaluated
84: numerically to arbitrary precision.
85:
86: \medskip
87:
88: \noindent
89: PACS numbers: 12.20.Ds, 31.30.J-, 36.10.Dr
90: \end{abstract}
91:
92: \newpage
93:
94: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
95:
96: Quantum electrodynamics (QED), the gauged quantum field theory of the
97: electromagnetic interaction, has celebrated ground-breaking successes in the
98: twentieth century.
99: In fact, its multi-loop predictions for the anomalous magnetic moments of the
100: electron and the muon were found to agree with highest-precision measurements
101: within a few parts of $10^{-12}$ and $10^{-10}$, respectively.
102:
103: Another ultrapure laboratory for high-precision tests of QED is provided by
104: positronium (Ps), the lightest known atom, being the electromagnetic bound
105: state of the electron $e^-$ and the positron $e^+$, which was discovered in
106: the year 1951 \cite{D}.
107: In fact, thanks to the smallness of the electron mass $m$ relative to
108: typical hadronic mass scales, its theoretical description is not plagued by
109: strong-interaction uncertainties and its properties, such as decay widths and
110: energy levels, can be calculated perturbatively in non-relativistic QED
111: (NRQED) \cite{Caswell:1985ui}, as expansions in Sommerfeld's fine-structure
112: constant $\alpha$, with very high precision.
113:
114: Ps comes in two ground states, $^1S_0$ parapositronium ($p$-Ps) and $^3S_1$
115: orthopositronium ($o$-Ps), which decay to two and three photons, respectively.
116: In this Letter, we are concerned with the lifetime of $o$-Ps, which has been
117: the subject of a vast number of theoretical and experimental investigations.
118: Its first measurement \cite{Deutsch} was performed later in the year 1951 and
119: agreed well with its lowest-order (LO) prediction of 1949 \cite{Ore:1949te}.
120: Its first precision measurement \cite{BH}, of 1968, had to wait nine years to
121: be compared with the first complete one-loop calculation \cite{Caswell:1976nx},
122: which came two decades after the analogous calculation for $p$-Ps \cite{HB}
123: being considerably simpler owing to the two-body final state.
124: In the year 1987, the Ann Arbor group \cite{michigan1987} published a
125: measurement that exceeded the best theoretical prediction available then by
126: more than ten experimental standard deviations.
127: This so-called $o$-Ps lifetime puzzle triggered an avalanche of both
128: experimental and theoretical activities, which eventually resulted in what now
129: appears to be the resolution of this puzzle.
130: In fact, the 2003 measurements at Ann Arbor \cite{Vallery:2003iz} and Tokyo
131: \cite{Jinnouchi:2003hr},
132: \begin{eqnarray}
133: \Gamma(\mbox{Ann Arbor}) &=&
134: 7.0404(10~\mbox{stat.})(8~\mbox{syst.})~\mu s^{-1},
135: \nonumber\\
136: \Gamma(\mbox{Tokyo}) &=&
137: 7.0396(12~\mbox{stat.}) (11~\mbox{syst.})~\mu s^{-1},
138: \end{eqnarray}
139: agree mutually and with the present theoretical prediction,
140: \begin{equation}
141: \Gamma(\mbox{theory}) = 7.039979(11)~\mu s^{-1}.
142: \end{equation}
143: The latter is evaluated from
144: \begin{eqnarray}
145: \Gamma(\mbox{theory})&=&\Gamma_0\left[1 + A \frac{\alpha}{\pi}
146: +\frac{\alpha^2}{3} \ln\alpha
147: +B \left(\frac{\alpha}{\pi}\right)^2\right.
148: \nonumber\\
149: &&{}-\left. \frac{3\alpha^3}{2\pi} \ln^2 \alpha
150: + C \frac{\alpha^3}{\pi} \ln \alpha \right],
151: \label{Gamma}
152: \end{eqnarray}
153: where \cite{Ore:1949te}
154: \begin{equation}
155: \Gamma_0 = \frac{2}{9}(\pi^2-9)\frac{m\alpha^6}{\pi}
156: \end{equation}
157: is the LO result.
158: The leading logarithmically enhanced ${\mathcal O}(\alpha^2\ln\alpha)$ and
159: ${\mathcal O}(\alpha^3\ln^2\alpha)$ terms were found in
160: Refs.~\cite{Caswell:1978vz,Khriplovich:1990eh} and Ref.~\cite{Kar},
161: respectively.
162: The coefficients $A=-10.286606(10)$
163: \cite{Caswell:1976nx,Caswell:1978vz,SH,Adkins:2000fg,Adkins:2005eg},
164: $B=45.06(26)$ \cite{Adkins:2000fg}, and $C=-5.51702455(23)$
165: \cite{Kniehl:2000dh} are only available in numerical form so far.
166: Comprehensive reviews of the present experimental and theoretical status of
167: $o$-Ps may be found in Ref.~\cite{AFS}.
168:
169: Given the fundamental importance of Ps for atomic and particle physics, it is
170: desirable to complete our knowledge of the QED prediction in
171: Eq.~(\ref{Gamma}).
172: Since the theoretical uncertainty is presently dominated by the errors in the
173: numerical evaluations of the coefficients $A$, $B$, and $C$, it is an urgent
174: task to find them in analytical form, in terms of transcendental numbers,
175: which can be evaluated with arbitrary precision.
176: In this Letter, this is achieved for $A$ and $C$.
177: The case of $B$ is beyond the scope of presently available technology, since
178: it involves two-loop five-point functions to be integrated over a three-body
179: phase space.
180: The quest for an analytic expression for $A$ is a topic of old vintage:
181: about 25 years ago, some of the simpler contributions to $A$, due to
182: self-energy and outer and inner vertex corrections, were obtained analytically
183: \cite{Stroscio:1982wj}, but further progress then soon came to a grinding halt.
184: The sustained endeavor of the community to improve the numerical accuracy of
185: $A$ \cite{Caswell:1976nx,Caswell:1978vz,SH,Adkins:2000fg,Adkins:2005eg} is now
186: finally brought to a termination.
187:
188: \begin{figure}[ht]
189: \begin{center}
190: \includegraphics[width=0.45\textwidth]{diapic.eps}
191: \end{center}
192: \caption{\label{fig:dia}%
193: Feynman diagrams contributing to the total decay width of $o$-Ps at
194: ${\mathcal O}(\alpha)$.
195: Self-energy diagrams are not shown.
196: Dashed and solid lines represent photons and electrons, respectively.}
197: \end{figure}
198: The ${\mathcal O}(\alpha)$ contribution in Eq.~(\ref{Gamma}),
199: $\Gamma_1=\Gamma_0A\alpha/\pi$, is due to the Feynman diagrams where a virtual
200: photon is attached in all possible ways to the tree-level diagrams, with three
201: real photons linked to an open electron line, and the electron box diagrams
202: with an $e^+e^-$ annihilation vertex connected to one of the photons being
203: virtual (see Fig.~\ref{fig:dia}).
204: Taking the interference with the tree-level diagrams, imposing $e^+e^-$
205: threshold kinematics, and performing the loop and angular integrations, one
206: obtains the two-dimensional integral representation \cite{Adkins:2005eg}
207: \begin{eqnarray}
208: \Gamma_1& =& \frac{m\alpha^7}{36\pi^2}
209: \int\limits^1_0\frac{{\mathrm d}x_1}{x_1}\,\frac{{\mathrm d}x_2}{x_2}\,
210: \frac{{\mathrm d}x_3}{x_3}\delta(2-x_1-x_2-x_3)
211: \nonumber\\
212: &&{}\times[F(x_1,x_3) + {\mathrm{perm.}}],
213: \label{eq:org}
214: \end{eqnarray}
215: where $x_i$, with $0\le x_i\le 1$, is the energy of photon $i$ in the $o$-Ps
216: rest frame normalized by its maximum value, the delta function ensures energy
217: conservation, and {\it perm.}\ stands for the other five permutations of
218: $x_1,x_2,x_3$.
219: The function $F(x_1,x_3)$ is given by
220: \begin{equation}
221: F(x_1,x_3)=g_0(x_1,x_3) + \sum_{i=1}^7 g_i(x_1,x_3) h_i(x_1,x_3),
222: \end{equation}
223: where $g_i$ are ratios of polynomials, which are listed in Eqs.~(A5a)--(A5h)
224: of Ref.~\cite{Adkins:2005eg}, and
225: \begin{eqnarray}
226: h_1(x_1) &=& \ln (2x_1),\quad
227: h_2(x_1)= \sqrt{\frac{x_1}{\overline{x}_1}} \theta_1,
228: \nonumber\\
229: h_3(x_1) &=& \frac{1}{2x_1}[\zeta_2-\Li_2(1-2x_1)],
230: \nonumber\\
231: h_4(x_1) &=& \frac{1}{4x_1}\left[3\zeta_2-2\theta_1^2\right],\quad
232: h_5(x_1) = \frac{1}{2\overline{x}_1} \theta_1^2,
233: \nonumber\\
234: h_6(x_1,x_3)&=&
235: \frac{1}{\sqrt{x_1\overline{x}_1x_3\overline{x}_3}}
236: \left[\Li_2(r^+_A,\overline{\theta}_1)-\Li_2(r^-_A,\overline{\theta}_1)\right],
237: \nonumber\\
238: h_7(x_1,x_3)&=&\frac{1}{2\sqrt{x_1\overline{x}_1x_3\overline{x}_3}}
239: \left[2\Li_2(r^+_B,\theta_1)-2\Li_2(r^-_B,\theta_1)\right.
240: \nonumber\\
241: &&{}-\left.\Li_2(r^+_C,0)+\Li_2(r^-_C,0)\right],
242: \label{1.2}
243: \end{eqnarray}
244: with $\overline{x}_i=1-x_i$ and
245: \begin{eqnarray}
246: \theta_1 &=& \arctan(\sqrt{\overline{x}_1/x_1}),\quad
247: \overline{\theta}_1 = \arctan(\sqrt{x_1/\overline{x}_1}),
248: \nonumber \\
249: r^{\pm}_A &=&
250: \sqrt{\overline{x}_1} \left(1 \pm
251: \sqrt{\frac{x_1\overline{x}_3}{\overline{x}_1x_3}} \right),\quad
252: r^{\pm}_B = \sqrt{x_1} \left(1 \pm
253: \sqrt{\frac{\overline{x}_1\overline{x}_3}{x_1x_3}} \right),
254: \nonumber\\
255: r^{\pm}_C &=& r^{\pm}_B/\sqrt{x_1}.
256: \end{eqnarray}
257: Here, $\zeta_2=\pi^2/6$ and
258: \begin{equation}
259: \Li_2(r,\theta) =
260: -\frac{1}{2}\int\limits^1_0\frac{{\mathrm d}t}{t}
261: \ln(1-2 r t\cos\theta+r^2 t^2)
262: \label{1.4}
263: \end{equation}
264: is the real part of the dilogarithm [see line below Eq.~(\ref{eq:s})] of
265: complex argument $z=r{\mathrm e}^{{\mathrm i}\theta}$ \cite{Lewin}.
266: Since we are dealing here with a single-scale problem, Eq.~(\ref{eq:org})
267: yields just one number.
268:
269: Although Bose symmetry is manifest in Eq.~(\ref{eq:org}), its evaluation is
270: complicated by the fact that, for a given order of integration, individual
271: permutations yield divergent integrals, which have to cancel in their
272: combination.
273: In order to avoid such a proliferation of terms, we introduce a regularization
274: parameter, $\delta$, in such a way that the symmetry unter
275: $x_i\leftrightarrow x_j$ for any pair $i\ne j$ is retained.
276: In this way, Eq.~(\ref{eq:org}) collapses to
277: \begin{equation}
278: \Gamma_1 = \frac{m\alpha^7}{6\pi^2}
279: \int\limits^{1-\delta}_{2\delta} {\mathrm d}x_{1}
280: \int\limits^{1-\delta}_{1-x_1+\delta}
281: \frac{{\mathrm d}x_2}{x_1x_2x_3}F(x_1,x_3),
282: \label{a.1}
283: \end{equation}
284: where $x_3=2-x_1-x_2$.
285: Note that we may now exploit the freedom to choose any pair of variables $x_i$
286: and $x_j$ $(i\neq j)$ as the arguments of $F$ and as the integration
287: variables.
288:
289: The analytical integration of Eq.~(\ref{a.1}) is rather tedious and requires
290: a number of tricks to be conceived of.
291: For lack of space, we can only outline here a few examples.
292: Specifically, we consider the last two functions of Eq.~(\ref{1.2}), which are
293: most complicated.
294: Using Eq.~(\ref{1.4}) and after some manipulations, we obtain the following
295: integral representation for $h_7(x_1,x_3)$:
296: \begin{eqnarray}
297: h_7(x_1,x_3)&=& -\frac{1}{4} \int\limits^1_0 \frac{{\mathrm d}t}{\sqrt{t}
298: (x_1x_3-\overline{x}_1\overline{x}_3 t)}
299: \left[\ln\frac{\overline{x}_1x_3}{x_1\overline{x}_3}\right.
300: \nonumber\\
301: &&{}+\left.\vphantom{\frac{\overline{x}_1x_3}{x_1\overline{x}_3}}
302: 2 \ln(x_3+\overline{x}_3 t) -\ln t \right].
303: \end{eqnarray}
304: Exploiting the $x_1 \leftrightarrow x_3$ symmetry of the coefficient
305: $g_7(x_1,x_3)$ multiplying $h_7(x_1,x_3)$, this can be simplified as
306: \begin{eqnarray}
307: h_7(x_1,x_3)&=& -\frac{1}{4} \int\limits^1_0 \frac{{\mathrm d}t}
308: {\sqrt{t}(x_1x_3-\overline{x}_1\overline{x}_3 t)}[2 \ln(x_3+\overline{x}_3 t)
309: \nonumber\\
310: &&{}-\ln t].
311: \label{1.6}
312: \end{eqnarray}
313: At this point, it is useful to change the order of integrations.
314: Observing that the logarithmic terms in Eq.~(\ref{1.6}) are $x_1$ independent,
315: we first integrate over $x_1$ (for a similar approach, see
316: Ref.~\cite{Kniehl:2005yc}).
317: In order to avoid the appearance of complicated functions in the intermediate
318: results, the integration over $t$ in Eq.~(\ref{1.6}) is performed last.
319:
320: Analogously, $h_6(x_1,x_3)$ can be rewritten as
321: \begin{eqnarray}
322: h_6(x_1,x_3)&=& -\frac{1}{2} \int\limits^1_0 \frac{{\mathrm d}t}{\sqrt{t}
323: (\overline{x}_1x_3-x_1\overline{x}_3 t)}[ \ln x_1 - \ln x_3
324: \nonumber\\
325: &&{}+\ln(x_3+\overline{x}_3 t)],
326: \end{eqnarray}
327: in which the part proportional to $\ln x_1$ and the complementary part are
328: first integrated over $x_3$ and $x_1$, respectively.
329: The $t$ integration is again performed last.
330:
331: Let us now consider a typical integral that arises upon the first integration:
332: \begin{eqnarray}
333: I = \int\limits_0^1\frac{{\mathrm d}t}{t}\int\limits_0^1
334: \frac{{\mathrm d}x}{x} \ln[1-4t(1-t)(1-x)]\ln(1-x).
335: \end{eqnarray}
336: Direct integration over $t$ or $x$ would lead to rather complicated functions
337: in the remaining variable.
338: Instead, we Taylor expand the first logarithm using
339: $\ln(1-x)=-\sum_{n=1}^\infty x^n/n$ to obtain
340: \begin{equation}
341: I= - \sum\limits_{n=1}^\infty \frac{4^n}{n}
342: \int\limits_0^1 \frac{{\mathrm d}t}{t} [t(1-t)]^n
343: \int\limits_0^1 \frac{{\mathrm d}x}{x}(1-x)^n\ln(1-x).
344: \end{equation}
345: Now the two integrals are separated and can be solved in terms of Euler's
346: Gamma function,
347: $\Gamma(x)=\int_0^\infty{\mathrm d}t\,{\mathrm e}^{-t}t^{x-1}$.
348: Using
349: \begin{equation}
350: \int\limits_0^1 \frac{{\mathrm d}x}{x}(1-x)^n\ln(1-x)= - \psi^\prime(n+1),
351: \end{equation}
352: where $\psi(x)= {\mathrm d}\ln\Gamma(x)/{\mathrm d}x$ is the digamma function,
353: we finally have
354: \begin{equation}
355: I = \sum\limits_{n=1}^\infty\frac{4^n}{2n}\,\frac{\Gamma^2(n)}{\Gamma(2n)}
356: \psi^\prime(n+1).
357: \end{equation}
358:
359: Another class of typical integrals yields sums involving digamma functions of
360: half-integer arguments, {\it e.g.}\
361: \begin{eqnarray}
362: J&=&\int\limits_0^1 \frac{{\mathrm d}t}{t}\int\limits_0^1{\mathrm d}x
363: \frac{\ln[1+4t(1-t)(1-x)]\ln(1-x)}{x-2}
364: \nonumber\\
365: &=&\sum\limits_{n=1}^\infty \frac{(-4)^n}{8n}
366: \frac{\Gamma^2(n)}{\Gamma(2n)}
367: \left[\psi^\prime\left(\frac{n+2}{2}\right)
368: -\psi^\prime\left(\frac{n+1}{2}\right) \right].\qquad
369: \end{eqnarray}
370: $I$ and $J$ belong to the class of so-called inverse central binomial sums
371: \cite{Fleischer:1997bw,Kalmykov:2000qe}, and methods for their summation are
372: elaborated in Ref.~\cite{Kalmykov:2000qe}.
373: With their help, $I$ and $J$ can be expressed in terms of known irrational
374: constants, as
375: \begin{eqnarray}
376: I&=&-4\zeta_2l_2^2-\frac{l_2^4}{3}-8\Li_4\left(\frac{1}{2}\right)
377: +\frac{17}{2}\zeta_4,
378: \nonumber\\
379: J&=&-\frac{3}{2}\zeta_2l_2^2+\frac{l_2^4}{4}-3\zeta_2l_2l_r+l_2^2l_r^2
380: +\frac{11}{12}l_2l_r^3+\frac{47}{288}l_r^4
381: \nonumber\\
382: &&{}+4l_2l_r\Li_2(r)+\frac{7}{6}l_r^2\Li_2(r)-6l_2\Li_3(-r)
383: \nonumber\\
384: &&{}-2l_r\Li_3(-r)+5l_2\Li_3(r)
385: +\frac{4}{3}l_r\Li_3(r)+6\Li_4\left(\frac{1}{2}\right)
386: \nonumber\\
387: &&{}+4\Li_4(-r)-5\Li_4(r)-\frac{13}{3}l_r\Si_{1,2}(r)
388: +\frac{2}{3}\Si_{1,2}(r^2)
389: \nonumber\\
390: &&{}-4\Si_{2,2}(-r)+5\Si_{2,2}(r)
391: +\zeta_3l_2+\frac{19}{6}\zeta_3l_r,
392: \end{eqnarray}
393: where $r =(\sqrt{2}-1)/(\sqrt{2}+1)$, $l_x=\ln x$,
394: \begin{equation}
395: \Si_{n,p}(x)=\frac{(-1)^{n+p-1}}{(n-1)!\,p!}
396: \int_0^1\frac{{\mathrm d}t}{t}\ln^{n-1}t\ln^p(1-tx)
397: \label{eq:s}
398: \end{equation}
399: is the generalized poly-logarithm, $\Li_n(x)=\Si_{n-1,1}(x)$ is the
400: poly-logarithm of order $n$, and $\zeta_n=\zeta(n)=\Li_n(1)$, with
401: $\zeta(x)$ being Riemann's zeta function \cite{Lewin,Devoto:1983tc}.
402:
403: Unfortunately, not all integrals can be computed so straightforwardly.
404: In more complicated cases, the integrations are not separated after expansion
405: into infinite series.
406: We then rely on the PSLQ algorithm \cite{PSLQ}, which allows one to
407: reconstruct the representation of a numerical result known to very high
408: precision in terms of a linear combination of a set of irrational constants
409: with rational coefficients, if that set is known beforehand.
410: The experience gained with the explicit solution of the simpler integrals
411: helps us to exhaust the relevant sets.
412: In order for PSLQ to work in our applications, the numerical values of the
413: integrals must be known up to typically 150 decimal figures.
414:
415: After a laborious calculation, we obtain
416: %\begin{widetext}
417: \begin{eqnarray}
418: \frac{2}{9}(\pi^2-9) A&=&
419: \frac{56}{27}
420: - \frac{901}{216}\zeta_2
421: - \frac{11303}{192}\zeta_4
422: + \frac{19}{6} l_2
423: - \frac{2701}{108}\zeta_2 l_2
424: \nonumber\\
425: &&{}
426: + \frac{253}{24}\zeta_2 l_2^2
427: + \frac{251}{144} l_2^4
428: + \frac{913}{64} \zeta_2 l_3^2
429: + \frac{83}{256} l_3^4
430: - \frac{21}{4} \zeta_2 l_2 l_r
431: \nonumber\\
432: &&{}
433: - \frac{49}{16} \zeta_2 l_r^2
434: + \frac{7}{16} l_2 l_r^3
435: + \frac{35}{384} l_r^4
436: + \frac{581}{16} \zeta_2 \Li_2\left(\frac{1}{3}\right)
437: \nonumber\\
438: &&{}
439: - \frac{21}{2} l_2 \Li_3(-r)
440: - \frac{7}{2} l_r \Li_3(-r)
441: + \frac{63}{4} l_2 \Li_3(r)
442: \nonumber\\
443: &&{}
444: + \frac{63}{8} l_r \Li_3(r)
445: - \frac{249}{32} \Li_4\left(-\frac{1}{3}\right)
446: + \frac{249}{16} \Li_4\left(\frac{1}{3}\right)
447: \nonumber\\
448: &&{}
449: + \frac{251}{6} \Li_4\left(\frac{1}{2}\right)
450: + 7 \Li_4(-r)
451: - 7 {\rm S}_{2,2}(-r)
452: \nonumber\\
453: &&{}
454: - \frac{63}{4} \Li_4(r)
455: + \frac{63}{4} \Si_{2,2}(r)
456: + \frac{11449}{432} \zeta_3
457: - \frac{91}{6} \zeta_3 l_2
458: \nonumber\\
459: &&{}
460: - \frac{35}{8} \zeta_3 l_r
461: + \frac{1}{\sqrt2}\left[
462: \frac{49}{2} \zeta_2 l_r
463: - \frac{7}{72} l_r^3
464: - \frac{35}{6} l_r \Li_2(r)
465: \right.
466: \nonumber\\
467: &&{} +\left. \frac{35}{6} \Li_3(r)
468: - \frac{175}{3} \Si_{1,2}(r)
469: + \frac{14}{3} \Si_{1,2}(r^2)
470: + \frac{119}{3} \zeta_3 \right].
471: \label{Ares}
472: \end{eqnarray}
473: %\end{widetext}
474:
475: The constant $C$ in Eq.~(\ref{Gamma}) is related to $A$ through
476: \cite{Kniehl:2000dh}
477: \begin{equation}
478: C = \frac{A}{3}- \frac{229}{30} + 8 l_2.
479: \label{Cres}
480: \end{equation}
481:
482: From Eqs.~(\ref{Ares}) and (\ref{Cres}), $A$ and $C$ can be numerically
483: evaluated with arbitrary precision,
484: \begin{eqnarray}
485: A &=& -10.28661\,48086\,28262\,24015\,01692\,10991\,\dots\,,
486: \nonumber\\
487: C &=& - 5.51702\,74917\,29858\,27137\,88660\,98665\,\dots\,.\qquad
488: \end{eqnarray}
489: These numbers agree with the best existing numerical evaluations
490: \cite{Adkins:2005eg,Adkins:2000fg} within the quoted errors.
491:
492: In conclusion, we obtained the ${\mathcal O}(\alpha)$ and
493: ${\mathcal O}(\alpha^3\ln\alpha)$ corrections to the total decay width of
494: $o$-Ps, {\it i.e.} the coefficients $A$ and $C$ in Eq.~(\ref{Gamma}),
495: respectively, in closed analytic form.
496: Another important result is the appearance of new irrational constants in
497: Eq.~(\ref{Ares}).
498: These constants enlarge the class of the known constants in single-scale
499: problems.
500: The constant $B$ in Eq.~(\ref{Gamma}) still remains analytically unknown.
501:
502: We are grateful to G.S. Adkins for providing us with the computer code
503: employed for the numerical analysis in Ref.~\cite{Adkins:2005eg}.
504: This work was supported in part by BMBF Grant No.\ 05~HT6GUA, DFG Grant No.\
505: SFB~676, and HGF Grant No.\ NG-VH-008.
506:
507: \begin{thebibliography}{99}
508:
509: \bibitem{D}
510: M.~Deutsch,
511: Phys.\ Rev.\ {\bf 82}, 455 (1951).
512:
513: \bibitem{Caswell:1985ui}
514: W.~E.~Caswell and G.~P.~Lepage,
515: %``Effective Lagrangians For Bound State Problems In QED, QCD, And Other Field
516: %Theories,''
517: Phys.\ Lett.\ B {\bf 167}, 437 (1986).
518:
519: \bibitem{Deutsch}
520: M.~Deutsch,
521: Phys.\ Rev.\ {\bf 83}, 866 (1951).
522:
523: \bibitem{Ore:1949te}
524: A.~Ore and J.~L.~Powell,
525: %``Three Photon Annihilation Of An Electron - Positron Pair,''
526: Phys.\ Rev.\ {\bf 75}, 1696 (1949).
527:
528: \bibitem{BH}
529: R.~H.~Beers and V.~W.~Hughes,
530: Bull.\ Am.\ Phys.\ Soc.\ {\bf 13}, 633 (1968).
531:
532: \bibitem{Caswell:1976nx}
533: W.~E.~Caswell, G.~P.~Lepage, and J.~R.~Sapirstein,
534: %``Order (Alpha) Corrections To The Decay Rate Of Orthopositronium,''
535: Phys.\ Rev.\ Lett.\ {\bf 38}, 488 (1977).
536:
537: \bibitem{HB}
538: I.~Harris and L.~M.~Brown,
539: Phys.\ Rev.\ {\bf 105}, 1656 (1957).
540:
541: \bibitem{michigan1987}
542: % {New precision measurement of the orthopositronium decay rate: A discrepancy with theory},
543: C.~I.~Westbrook, D.~W.~Gidley, R.~S.~Conti, and A.~Rich,
544: Phys. Rev. Lett. {\bf 58}, 1328 (1987);
545: {\bf 58}, 2153(E) (1987);
546: Phys.\ Rev.\ A {\bf 40}, 5489 (1989).
547:
548: \bibitem{Vallery:2003iz}
549: R.~S.~Vallery, P.~W.~Zitzewitz, and D.~W.~Gidley,
550: %``Resolution Of The Orthopositronium Lifetime Puzzle,''
551: Phys.\ Rev.\ Lett.\ {\bf 90}, 203402 (2003).
552:
553: %\cite{Jinnouchi:2003hr}
554: \bibitem{Jinnouchi:2003hr}
555: O.~Jinnouchi, S.~Asai, and T.~Kobayashi,
556: %``Precision measurement of orthopositronium decay rate using SiO-2 powder,''
557: Phys.\ Lett.\ B {\bf 572}, 117 (2003)
558: [arXiv:hep-ex/0308030].
559: %%CITATION = PHLTA,B572,117;%%
560:
561: \bibitem{Caswell:1978vz}
562: W.~E.~Caswell and G.~P.~Lepage,
563: %``O (Alpha**2 Log (Alpha**-1)) Corrections In Positronium: Hyperfine
564: %Splitting And Decay Rate,''
565: Phys.\ Rev.\ A {\bf 20}, 36 (1979).
566:
567: \bibitem{Khriplovich:1990eh}
568: I.~B.~Khriplovich and A.~S.~Yelkhovsky,
569: %``On the radiative corrections alpha**2 in alpha to the positronium decay
570: %rate,''
571: Phys.\ Lett.\ B {\bf 246}, 520 (1990).
572:
573: \bibitem{Kar}
574: S. G. Karshenboim,
575: Sov.\ Phys.\ JETP {\bf76}, 541 (1993)
576: [Zh.\ Eksp.\ Teor.\ Fiz.\ {\bf103}, 1105 (1993)].
577:
578: \bibitem{SH}
579: M.~A.~Stroscio and J.~M.~Holt,
580: Phys.\ Rev.\ A {\bf 10}, 749 (1974);
581: %\bibitem{Stroscio:1975fa}
582: M.~A.~Stroscio,
583: %``Positronium: Review Of The Theory,''
584: Phys.\ Rept.\ {\bf 22}, 215 (1975);
585: %\bibitem{Adkins:1982zn}
586: G.~S.~Adkins,
587: %``Radiative Corrections To Positronium Decay,''
588: Ann.\ Phys.\ (N.Y.) {\bf 146}, 78 (1983);
589: G.~S.~Adkins, A.~A.~Salahuddin, and K.~E.~Schalm,
590: Phys.\ Rev.\ A {\bf 45}, 7774 (1992);
591: G.~S.~Adkins,
592: Phys.\ Rev.\ Lett.\ {\bf 76}, 4903 (1996).
593:
594: \bibitem{Adkins:2000fg}
595: G.~S.~Adkins, R.~N.~Fell, and J.~R.~Sapirstein,
596: %``Order alpha**2 corrections to the decay rate of orthopositronium,''
597: Phys.\ Rev.\ Lett.\ {\bf 84}, 5086 (2000)
598: [arXiv:hep-ph/0003028];
599: Phys.\ Rev.\ A {\bf 63}, 032511 (2001).
600:
601: \bibitem{Adkins:2005eg}
602: G.~S.~Adkins,
603: %``Analytic evaluation of the amplitudes for orthopositronium decay to three
604: %photons to one-loop order,''
605: Phys.\ Rev.\ A {\bf 72}, 032501 (2005).
606: [arXiv:hep-ph/0506213].
607:
608: \bibitem{Kniehl:2000dh}
609: B.~A.~Kniehl and A.~A.~Penin,
610: %``Order alpha**3 ln(1/alpha) corrections to positronium decays,''
611: Phys.\ Rev.\ Lett.\ {\bf 85}, 1210 (2000);
612: {\bf 85}, 3065(E) (2000)
613: [arXiv:hep-ph/0004267];
614: %\bibitem{Hill:2000qi}
615: R.~J.~Hill and G.~P.~Lepage,
616: %``O(alpha**2 Gamma alpha**3 gamma) binding effects in orthopositronium
617: %decay,''
618: Phys.\ Rev.\ D {\bf 62}, 111301(R) (2000)
619: [arXiv:hep-ph/0003277];
620: %\bibitem{Melnikov:2000fi}
621: K.~Melnikov and A.~Yelkhovsky,
622: %``O(alpha**3 ln(alpha)) corrections to positronium decay rates,''
623: % Phys.\ Rev.\ D
624: {\it ibid.}\ {\bf 62}, 116003 (2000)
625: [arXiv:hep-ph/0008099].
626:
627: \bibitem{AFS}
628: G.~S.~Adkins, R.~N.~Fell, and J.~R.~Sapirstein,
629: Ann.\ Phys.\ (N.Y.) {\bf 295}, 136 (2002);
630: %\bibitem{Rubbia:2004ix}
631: % A.~Rubbia,
632: %``Positronium as a probe for new physics beyond the standard model,''
633: % Int.\ J.\ Mod.\ Phys.\ A {\bf 19}, 3961 (2004)
634: % [arXiv:hep-ph/0402151];
635: %\bibitem{Sillou:2004js}
636: D.~Sillou,
637: %``Status of orthopositronium decay rate measurements,''
638: Int.\ J.\ Mod.\ Phys.\ A {\bf 19}, 3919 (2004);
639: S.~N.~Gninenko, N.~V.~Krasnikov, V.~A.~Matveev, and A.~Rubbia,
640: Phys.\ Part.\ Nucl.\ {\bf 37}, 321 (2006).
641:
642: \bibitem{Stroscio:1982wj}
643: M.~A.~Stroscio,
644: %``Exact First Order Electron Selfenergy Contribution To The Decay Rate Of
645: %Orthopositronium,''
646: Phys.\ Rev.\ Lett.\ {\bf 48}, 571 (1982);
647: G.~S.~Adkins,
648: Phys.\ Rev.\ A {\bf 27}, 530 (1983);
649: {\bf 31}, 1250 (1985).
650:
651: \bibitem{Lewin}
652: L. Lewin,
653: {\it Polylogarithms and Associated Functions}
654: (Elsevier, New York, 1981).
655:
656: \bibitem{Kniehl:2005yc}
657: B.~A.~Kniehl and A.~V.~Kotikov,
658: %``Calculating four-loop tadpoles with one non-zero mass,''
659: Phys.\ Lett.\ B {\bf 638}, 531 (2006)
660: [arXiv:hep-ph/0508238].
661:
662: \bibitem{Fleischer:1997bw}
663: J.~Fleischer, A.~V.~Kotikov, and O.~L.~Veretin,
664: %``The differential equation method: Calculation of vertex-type diagrams with
665: %one non-zero mass,''
666: Phys.\ Lett.\ B {\bf 417}, 163 (1998)
667: [arXiv:hep-ph/9707492];
668: %\bibitem{Fleischer:1998nb}
669: % J.~Fleischer, A.~V.~Kotikov and O.~L.~Veretin,
670: %``Analytic two-loop results for selfenergy- and vertex-type diagrams with
671: %one non-zero mass,''
672: Nucl.\ Phys.\ {\bf B547}, 343 (1999)
673: [arXiv:hep-ph/9808242];
674: %\bibitem{Davydychev:2003mv}
675: A.~I.~Davydychev and M.~Yu.~Kalmykov,
676: %``Massive Feynman diagrams and inverse binomial sums,''
677: % Nucl.\ Phys.\
678: {\it ibid.}\ {\bf B699}, 3 (2004)
679: [arXiv:hep-th/0303162];
680: %\bibitem{Kniehl:2006bf}
681: B.~A.~Kniehl and A.~V.~Kotikov,
682: %``Heavy-quark QCD vacuum polarisation function: Analytical results at four
683: %loops,''
684: Phys.\ Lett.\ B {\bf 642}, 68 (2006)
685: [arXiv:hep-ph/0607201];
686: %\bibitem{Kotikov:2007vr}
687: A.~Kotikov, J.~H.~K\"uhn, and O.~Veretin,
688: %``Two-loop formfactors in theories with mass gap and Z-boson production,''
689: Nucl.\ Phys.\ {\bf B788}, 47 (2008)
690: [arXiv:hep-ph/0703013].
691:
692: \bibitem{Kalmykov:2000qe}
693: M.~Yu.~Kalmykov and O.~Veretin,
694: %``Single-scale diagrams and multiple binomial sums,''
695: Phys.\ Lett.\ B {\bf 483}, 315 (2000)
696: [arXiv:hep-th/0004010].
697:
698: \bibitem{PSLQ}
699: H.~R.~P.~Ferguson and D.~H.~Bailey, RNR Technical Report No.\ RNR-91-032;
700: H.~R.~P.~Ferguson, D.~H.~Bailey and S.~Arno, NASA Technical Report No.\
701: NAS-96-005.
702:
703: \bibitem{Devoto:1983tc}
704: A.~Devoto and D.~W.~Duke,
705: %``Table Of Integrals And Formulae For Feynman Diagram Calculations,''
706: Riv.\ Nuovo Cim.\ {\bf 7N6}, 1 (1984).
707:
708: \end{thebibliography}
709:
710: \end{document}
711: