1: \documentclass[12pt]{article}

2: \usepackage{feynarts}

3: \usepackage{a4wide,epsfig}

4: \voffset0cm

5: \hoffset0cm

6: \oddsidemargin0cm

7: \evensidemargin0cm

8: \topmargin0cm

9: \textwidth16.cm

10: \textheight22cm

11: \setlength{\arraycolsep}{0.5mm}

12: 

13: \newcommand{\agt}{\,\rlap{\lower 3.5 pt \hbox{$\mathchar \sim$}} \raise 1pt

14:  \hbox {$>$}\,}

15: \newcommand{\alt}{\,\rlap{\lower 3.5 pt \hbox{$\mathchar \sim$}} \raise 1pt

16:  \hbox {$<$}\,}

17: \renewcommand{\textfraction}{0}

18: \renewcommand{\topfraction}{1}

19: \renewcommand{\bottomfraction}{1}

20: 

21: \newcommand{\note}[1]{{\tiny (note)}\marginpar {\scriptsize #1}}

22: 

23: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

24: 

25: \begin{document}

26: 

27: \title{

28: \vskip-3cm{\baselineskip14pt

29: \centerline{\normalsize DESY 04-040\hfill ISSN 0418-9833}

30: \centerline{\normalsize hep-ph/0405232\hfill}

31: \centerline{\normalsize May 2004\hfill}}

32: \vskip1.5cm

33: Two-loop electroweak correction of $\mathcal{O}(G_{F} M_{t}^{2})$ to the

34: Higgs-boson decay into photons}

35: 

36: \author{Frank Fugel, Bernd A. Kniehl, Matthias Steinhauser

37:   \\[2em]

38: {\normalsize II. Institut f\"ur Theoretische Physik, Universit\"at Hamburg,}\\

39: {\normalsize Luruper Chaussee 149, 22761 Hamburg, Germany}

40: }

41: \date{}

42: \maketitle

43: 

44: \begin{abstract}

45: We compute the dominant two-loop electroweak correction, of

46: $\mathcal{O}(G_{F} M_{t}^{2})$, to the partial width of the decay of an

47: intermediate-mass Higgs boson into a pair of photons.

48: We use the asymptotic-expansion technique in order to extract the leading

49: dependence on the top-quark mass plus four expansion terms that describe the

50: dependence on the $W$- and Higgs-boson masses.

51: This correction reduces the Born result by approximately 2.5\%.

52: As a by-product of our analysis, we also recover the

53: $\mathcal{O}(G_{F} M_{t}^{2})$ correction to the partial width of the

54: Higgs-boson decay to two gluon jets.

55: 

56: \medskip

57: 

58: \noindent

59: PACS numbers: 12.15.Ji, 12.15.Lk, 14.80.Bn

60: \end{abstract}

61: 

62: \newpage

63: 

64: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

65: 

66: \section{\label{sec::intro}Introduction}

67: 

68: Among the main tasks of the current experiments at the Fermilab Tevatron and

69: the future experiments at the CERN Large Hadron Collider (LHC) is the search

70: for the Higgs boson, which is the only missing particle in the standard model

71: (SM).

72: The electroweak precision data mainly collected at CERN LEP and SLAC SLC in

73: combination with the direct top-quark mass measurement at the Tevatron favour

74: a light Higgs boson with mass $M_H=113^{+62}_{-42}$~GeV with an upper bound of

75: about 237~GeV at the 95\% confidence level~\cite{ewwg}.

76: The allowed mass range is compatible with the so-called intermediate mass

77: range, defined by $M_W\le M_H\le 2M_W$.

78: In this mass range, the decay into two photons represents one of the most

79: useful detection modes at hadron colliders.

80: 

81: Since there is no direct coupling of the Higgs boson to photons, the process

82: $H\to\gamma\gamma$ is loop-induced.

83: In the limit of vanishing bottom-quark mass, one distinguishes at lowest order

84: the contributions from virtual top quarks and $W$ bosons, where, in covariant

85: gauge, the latter are accompanied by charged Goldstone bosons ($\phi$) and

86: Faddeev-Popov ghosts ($u$).

87: Some sample Feynman diagrams are depicted in Fig.~\ref{1loop}. 

88: The corresponding contributions have been evaluated for the first time in

89: Ref.~\cite{Ellis:1975ap} (for reviews, see also Ref.~\cite{Kniehl:1993ay}).

90: QCD corrections, which only affect the top-quark diagrams are known at the

91: two-~\cite{Djouadi:1990aj} and three-loop~\cite{Ste96} orders.

92: Recently, also the two-loop electroweak correction induced by light-fermion

93: loops has been evaluated~\cite{Aglietti:2004nj}.

94: In this paper, we compute the two-loop electroweak correction that is

95: enhanced by $G_F M_t^2$.

96: For this purpose, we consider the (formal) hierarchy

97: $M_t^2\gg (2M_W)^2 \gg M_H^2$ and apply the method of asymptotic

98: expansion~\cite{Smirnov:pj}, which allows us to also evaluate four expansion

99: terms in the ratio $\tau_W=M_H^2/(2M_W)^2$ aside from the leading term in

100: $M_t^2$.

101: 

102: Due to electromagnetic gauge invariance, the amputated transition-matrix

103: element of $H \to \gamma \gamma$ possesses the structure

104: \begin{eqnarray}

105:   \mathcal{T}^{\mu \nu} &=&

106:   (q_{1}\!\cdot\!q_{2} \, g^{\mu \nu} - q_{1}^{\nu}q_{2}^{\mu}) \mathcal{A},

107:   \label{Amplitude}

108: \end{eqnarray}

109: where $\mu$ and $\nu$ are the Lorentz indices of the external photons with

110: four-momenta $q_{1}$ and $q_{2}$, respectively.

111: Thus, the decay rate of the Higgs boson into two photons is given by

112: \begin{equation}

113:   \Gamma(H \to \gamma \gamma) = \frac{M_{H}^{3}}{64 \pi}|\mathcal{A}|^2.

114: \end{equation}

115: The form factor $\mathcal{A}$ is evaluated in perturbation theory as

116: \begin{equation}

117: \mathcal{A}=\mathcal{A}_{t}^{(0)} 

118:   + \mathcal{A}_{W}^{(0)} 

119:   + \mathcal{A}_{tW}^{(1)} + \cdots,

120:   \label{Notation}

121: \end{equation}

122: where ${\cal A}_t^{(0)}$ and ${\cal A}_W^{(0)}$ denote the one-loop 

123: contributions induced by virtual top quarks and $W$ bosons, respectively,

124: ${\cal A}_{tW}^{(1)}$ stands for the two-loop electroweak correction involving

125: virtual top quarks, and the ellipsis represents the residual one- and two-loop

126: contributions as well as all contributions involving more than two loops.

127: 

128: In the practical calculation, it is convenient to project out the scalar

129: amplitudes that multiply the basic Lorentz tensors $g^{\mu \nu}$,

130: $q_1^{\mu} q_2^{\nu}$, and $q_1^{\nu} q_2^{\mu}$.

131: The corresponding projectors can be obtained by in turn contracting

132: $\mathcal{T}^{\mu\nu}$ with these Lorentz tensors and solving the resulting

133: system of linear equations.

134: We separately project out the coefficients of the tensors

135: $q_{1}\!\cdot\!q_{2}\,g^{\mu \nu}$ and $q_{1}^{\nu}q_{2}^{\mu}$, and thus have

136: a strong check on our calculation.

137: Furthermore, we adopt a general $R_{\xi}$ gauge in our calculation and verify

138: that the gauge parameter drops out in the final result.

139: For simplicity, the element $V_{tb}$ of the Cabibbo-Kobayashi-Maskawa quark

140: mixing matrix is set to unity, so that the quarks of the third fermion

141: generation decouple from those of the first two, which they actually do to

142: very good approximation \cite{Hagiwara:fs}.

143: 

144: %- {{{ figure: 1loop

145: 

146: \begin{figure}[t]

147: \begin{center}

148: 

149: \unitlength=1bp%

150: 

151: \begin{feynartspicture}(370,180)(4,2)

152: 

153: \FADiagram{}

154: \FAProp(0.,10.)(6.5,10.)(0.,){/ScalarDash}{0}

155: \FALabel(3.25,9.18)[t]{$H$}

156: \FAProp(20.,15.)(13.,14.)(0.,){/Sine}{0}

157: \FALabel(16.2808,15.5544)[b]{$\gamma$}

158: \FAProp(20.,5.)(13.,6.)(0.,){/Sine}{0}

159: \FALabel(16.2808,4.44558)[t]{$\gamma$}

160: \FAProp(6.5,10.)(13.,14.)(0.,){/Straight}{1}

161: \FALabel(9.20801,13.1807)[br]{$t$}

162: \FAProp(6.5,10.)(13.,6.)(0.,){/Straight}{-1}

163: \FALabel(9.20801,6.81927)[tr]{$t$}

164: \FAProp(13.,14.)(13.,6.)(0.,){/Straight}{1}

165: \FALabel(14.274,10.)[l]{$t$}

166: \FAVert(6.5,10.){0}

167: \FAVert(13.,14.){0}

168: \FAVert(13.,6.){0}

169: 

170: \FADiagram{}

171: \FAProp(0.,10.)(6.5,10.)(0.,){/ScalarDash}{0}

172: \FALabel(3.25,9.18)[t]{$H$}

173: \FAProp(20.,15.)(13.,14.)(0.,){/Sine}{0}

174: \FALabel(16.2808,15.5544)[b]{$\gamma$}

175: \FAProp(20.,5.)(13.,6.)(0.,){/Sine}{0}

176: \FALabel(16.2808,4.44558)[t]{$\gamma$}

177: \FAProp(6.5,10.)(13.,14.)(0.,){/ScalarDash}{1}

178: \FALabel(9.20801,13.1807)[br]{$\phi$}

179: \FAProp(6.5,10.)(13.,6.)(0.,){/ScalarDash}{-1}

180: \FALabel(9.20801,6.81927)[tr]{$\phi$}

181: \FAProp(13.,14.)(13.,6.)(0.,){/ScalarDash}{1}

182: \FALabel(14.274,10.)[l]{$\phi$}

183: \FAVert(6.5,10.){0}

184: \FAVert(13.,14.){0}

185: \FAVert(13.,6.){0}

186: 

187: \FADiagram{}

188: \FAProp(0.,10.)(6.5,10.)(0.,){/ScalarDash}{0}

189: \FALabel(3.25,9.18)[t]{$H$}

190: \FAProp(20.,15.)(13.,14.)(0.,){/Sine}{0}

191: \FALabel(16.2808,15.5544)[b]{$\gamma$}

192: \FAProp(20.,5.)(13.,6.)(0.,){/Sine}{0}

193: \FALabel(16.2808,4.44558)[t]{$\gamma$}

194: \FAProp(6.5,10.)(13.,14.)(0.,){/GhostDash}{1}

195: \FALabel(9.20801,13.1807)[br]{$u_-$}

196: \FAProp(6.5,10.)(13.,6.)(0.,){/GhostDash}{-1}

197: \FALabel(9.20801,6.81927)[tr]{$u_-$}

198: \FAProp(13.,14.)(13.,6.)(0.,){/GhostDash}{1}

199: \FALabel(14.274,10.)[l]{$u_-$}

200: \FAVert(6.5,10.){0}

201: \FAVert(13.,14.){0}

202: \FAVert(13.,6.){0}

203: 

204: \FADiagram{}

205: \FAProp(0.,10.)(6.5,10.)(0.,){/ScalarDash}{0}

206: \FALabel(3.25,9.18)[t]{$H$}

207: \FAProp(20.,15.)(13.,14.)(0.,){/Sine}{0}

208: \FALabel(16.2808,15.5544)[b]{$\gamma$}

209: \FAProp(20.,5.)(13.,6.)(0.,){/Sine}{0}

210: \FALabel(16.2808,4.44558)[t]{$\gamma$}

211: \FAProp(6.5,10.)(13.,14.)(0.,){/Sine}{1}

212: \FALabel(9.20801,13.1807)[br]{$W$}

213: \FAProp(6.5,10.)(13.,6.)(0.,){/Sine}{-1}

214: \FALabel(9.20801,6.81927)[tr]{$W$}

215: \FAProp(13.,14.)(13.,6.)(0.,){/Sine}{1}

216: \FALabel(14.274,10.)[l]{$W$}

217: \FAVert(6.5,10.){0}

218: \FAVert(13.,14.){0}

219: \FAVert(13.,6.){0}

220: 

221: \FADiagram{}

222: \FAProp(0.,10.)(6.5,10.)(0.,){/ScalarDash}{0}

223: \FALabel(3.25,9.18)[t]{$H$}

224: \FAProp(20.,15.)(13.,14.)(0.,){/Sine}{0}

225: \FALabel(16.2808,15.5544)[b]{$\gamma$}

226: \FAProp(20.,5.)(13.,6.)(0.,){/Sine}{0}

227: \FALabel(16.2808,4.44558)[t]{$\gamma$}

228: \FAProp(6.5,10.)(13.,14.)(0.,){/ScalarDash}{-1}

229: \FALabel(9.20801,13.1807)[br]{$\phi$}

230: \FAProp(6.5,10.)(13.,6.)(0.,){/ScalarDash}{1}

231: \FALabel(9.20801,6.81927)[tr]{$\phi$}

232: \FAProp(13.,14.)(13.,6.)(0.,){/Sine}{-1}

233: \FALabel(14.274,10.)[l]{$W$}

234: \FAVert(6.5,10.){0}

235: \FAVert(13.,14.){0}

236: \FAVert(13.,6.){0}

237: 

238: \FADiagram{}

239: \FAProp(0.,10.)(7.,10.)(0.,){/ScalarDash}{0}

240: \FALabel(3.5,9.18)[t]{$H$}

241: \FAProp(20.,15.)(13.,10.)(0.,){/Sine}{0}

242: \FALabel(16.0791,13.2813)[br]{$\gamma$}

243: \FAProp(20.,5.)(13.,10.)(0.,){/Sine}{0}

244: \FALabel(16.9209,8.28129)[bl]{$\gamma$}

245: \FAProp(7.,10.)(13.,10.)(0.8,){/ScalarDash}{-1}

246: \FALabel(10.,6.53)[t]{$\phi$}

247: \FAProp(7.,10.)(13.,10.)(-0.8,){/ScalarDash}{1}

248: \FALabel(10.,13.47)[b]{$\phi$}

249: \FAVert(7.,10.){0}

250: \FAVert(13.,10.){0}

251: 

252: \FADiagram{}

253: \FAProp(0.,10.)(7.,10.)(0.,){/ScalarDash}{0}

254: \FALabel(3.5,9.18)[t]{$H$}

255: \FAProp(20.,15.)(13.,10.)(0.,){/Sine}{0}

256: \FALabel(16.0791,13.2813)[br]{$\gamma$}

257: \FAProp(20.,5.)(13.,10.)(0.,){/Sine}{0}

258: \FALabel(16.9209,8.28129)[bl]{$\gamma$}

259: \FAProp(7.,10.)(13.,10.)(0.8,){/Sine}{-1}

260: \FALabel(10.,6.53)[t]{$W$}

261: \FAProp(7.,10.)(13.,10.)(-0.8,){/Sine}{1}

262: \FALabel(10.,13.47)[b]{$W$}

263: \FAVert(7.,10.){0}

264: \FAVert(13.,10.){0}

265: 

266: \FADiagram{}

267: \FAProp(0.,10.)(10.5,8.)(0.,){/ScalarDash}{0}

268: \FALabel(5.00675,8.20296)[t]{$H$}

269: \FAProp(20.,15.)(12.5,13.5)(0.,){/Sine}{0}

270: \FALabel(15.946,15.2899)[b]{$\gamma$}

271: \FAProp(20.,5.)(10.5,8.)(0.,){/Sine}{0}

272: \FALabel(14.7832,5.50195)[t]{$\gamma$}

273: \FAProp(12.5,13.5)(10.5,8.)(0.8,){/ScalarDash}{-1}

274: \FALabel(8.32332,12.0797)[r]{$\phi$}

275: \FAProp(12.5,13.5)(10.5,8.)(-0.8,){/Sine}{1}

276: \FALabel(14.6767,9.4203)[l]{$W$}

277: \FAVert(12.5,13.5){0}

278: \FAVert(10.5,8.){0}

279: 

280: \end{feynartspicture}

281: 

282: \caption{\label{1loop} Sample Feynman diagrams contributing in leading order

283: to the process $H\to\gamma\gamma$.}

284: 

285: \end{center}

286: \end{figure}

287: 

288: %- }}}

289: 

290: Our paper is organized as follows.

291: In Section~\ref{sec::1loop}, we illustrate the usefulness of the

292: asymptotic-expansion technique by redoing the one-loop calculation.

293: In Section~\ref{sec::2loop}, we discuss the two-loop calculation.

294: Section~\ref{sec::numerics} contains the discussion of the numerical results.

295: We conclude with a summary in Section~\ref{sec::summary}.

296: 

297: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

298: 

299: \section{\label{sec::1loop}One-loop results and counterterm contribution}

300: 

301: The application of the asymptotic-expansion technique to the one-loop

302: diagrams, some of which are shown in Fig.~\ref{1loop}, leads to a naive Taylor

303: expansion in the external momenta $q_1$ and $q_2$.

304: Nevertheless, we use already here a completely automated set-up, which

305: consists in the successive use of the computer programs

306: \texttt{QGRAF}~\cite{Nogueira:1991ex}, \texttt{q2e}~\cite{Seidensticker},

307: \texttt{exp}~\cite{Harlander:1997zb}, and

308: \texttt{MATAD}~\cite{Steinhauser:2000ry}.

309: First, \texttt{QGRAF} is used to generate the Feynman diagrams.

310: Its output is then rewritten by \texttt{q2e} to be understandable by

311: \texttt{exp}.

312: In the two-loop case, the latter performs the asymptotic expansion and

313: generates the relevant subdiagrams according to the rules of the so-called

314: hard-mass procedure~\cite{Smirnov:pj}.

315: \texttt{Form}~\cite{Vermaseren} files are generated, which can be read by

316: \texttt{MATAD}~\cite{Steinhauser:2000ry}, which performs the very calculation

317: of the diagrams.

318: 

319: The analytic expression for the Born result can be found in

320: Refs.~\cite{Ellis:1975ap,Shi79}.

321: For completeness, we list it here in closed form and as an expansion for

322: $(2M_W)^2\gg M_H^2$, which we reproduce.

323: One has

324: \begin{eqnarray}

325:   \mathcal{A}_{t}^{(0)} & = & 

326:   \hat{\mathcal{A}} N_c Q_t^2 \left\{ \frac{1}{\tau_{t}} \left[ 1 +

327:   \left( 1 - \frac{1}{\tau_{t}} \right) \arcsin^{2}\sqrt{\tau_{t}}

328:   \right] \right\}

329:   \nonumber\\ 

330:   & = & \hat{\mathcal{A}} N_c Q_t^2 \left( \frac{2}{3} + \frac{7}{45} \tau_{t}

331:   + \frac{4}{63} \tau_{t}^{2} 

332:   + \frac{52}{1575} \tau_{t}^{3} 

333:   + \frac{1024}{51975} \tau_{t}^{4} 

334:   + \frac{2432}{189189} \tau_{t}^{5} 

335:   + \ldots \right),

336:   \\ 

337:   \mathcal{A}_{W}^{(0)} & = & 

338:   \hat{\mathcal{A}} \left\{ - \frac{1}{2} \left[ 2 +

339:   \frac{3}{\tau_{W}} + \frac{3}{\tau_{W}} \left( 2 -

340:   \frac{1}{\tau_{W}} \right) \arcsin^{2}\sqrt{\tau_{W}} \right]

341:   \right\}

342:   \nonumber\\

343:   & = & \hat{\mathcal{A}} \left( - \frac{7}{2} -

344:   \frac{11}{15} \tau_{W} 

345:   - \frac{38}{105} \tau_{W}^{2} 

346:   - \frac{116}{525} \tau_{W}^{3} 

347:   - \frac{2624}{17325} \tau_{W}^{4} 

348:   - \frac{640}{5733} \tau_{W}^{5} 

349:   + \ldots \right),

350: \label{eq::born}

351: \end{eqnarray}

352: where $\hat{\mathcal{A}} = 2^{1/4} G_{F}^{1/2}(\alpha/\pi)$,

353: $\tau_{t} = M_{H}^{2}/(2 M_{t})^{2}$, and $\tau_{W}$ is defined in

354: Section~\ref{sec::intro}.

355: Here, $\alpha$ is Sommerfeld's fine-structure constant, $G_F$ is Fermi's

356: constant, $N_{c}=3$ is the number of quark colours, and $Q_{t}=2/3$ is the

357: electric charge of the top quark in units of the positron charge.

358: The Higgs-boson mass entering the expansion parameters $\tau_{t}$ and

359: $\tau_{W}$ partly arises from the couplings involving one Higgs and two

360: Goldstone bosons, but also from the expansion in the external momenta due to

361: the kinematic relation $(q_{1} + q_{2})^{2} = M_{H}^{2}$. 

362: 

363: We wish to note that the result for the process $H\to gg$ is simply obtained

364: by setting $\mathcal{A}_W^{(0)}=0$ and performing the substitution 

365: $\alpha N_{c} Q_{t}^{2} \to \alpha_{s} \sqrt{2}$, where $\alpha_s$ is the

366: strong-coupling constant.

367: 

368: In the remainder of this section, let us discuss the counterterm contributions

369: needed for our two-loop analysis.

370: We adopt the on-mass-shell scheme and regularize the ultraviolet divergences by

371: means of dimensional regularization, with $D=4-2 \epsilon$ space-time

372: dimensions and 't~Hooft mass scale $\mu$.

373: We use the anti-commuting definition of $\gamma_5$.

374: 

375: As will become clearer in the next section, it is important to treat the

376: tadpole contributions properly in our calculation.

377: For this reason, in the following, we list the corresponding contributions

378: separately and mark them by the superscript ``tad''.

379: Inspection of the one-loop diagrams reveals that, to $\mathcal{O}(G_F M_t^2)$,

380: we have to renormalize the Higgs-boson wave function and mass, the $W$-boson

381: mass, and the top-quark mass.

382: The corresponding counterterms are defined through

383: \begin{eqnarray}

384:   H^0 &=& \sqrt{Z_H} H = \left(1+\frac{1}{2} \delta Z_H\right) H ,

385:   \nonumber \\

386:   (M_H^0)^2 &=& M_H^2 + \delta M_H^2 + \delta M_H^{2,{\rm tad}} ,

387:   \nonumber \\

388:   (M_W^0)^2 &=& M_W^2 + \delta M_W^2 + \delta M_W^{2,{\rm tad}} ,

389:   \nonumber \\

390:   M_t^0 &=& M_t + \delta M_t + \delta M_t^{\rm tad} .

391: \end{eqnarray}

392: Note that $\delta Z_H$ is obtained from the derivative of the Higgs-boson

393: self-energy and thus has no tadpole contribution.

394: The mass counterterms are obtained from the corresponding two-point functions,

395: where only the $M_t$-enhanced contributions have to be considered.

396: Up to and including quadratic terms in $M_t$, we have

397: \begin{eqnarray}

398:   \delta Z_H &=& -2 N_c x_t \left( \Delta - \ln\frac{M_{t}^{2}}{\mu^{2}} -

399:   \frac{2}{3} \right),

400:   \nonumber\\

401:   \frac{\delta M_{H}^{2}}{M_{H}^{2}} & = & N_c x_t

402:   \left[ -12 \frac{M_t^2}{M_{H}^{2}} \left( \Delta -

403:   \ln\frac{M_{t}^{2}}{\mu^{2}}+ \frac{1}{3} \right) 

404:     + 2 \left( \Delta - \ln \frac{M_{t}^{2}}{\mu^{2}} 

405:     - \frac{2}{3} \right) \right],

406: \nonumber\\

407:   \frac{\delta M_{H}^{2,tad}}{M_{H}^{2}} & = & 12 N_{c} x_t

408:   \frac{M_t^2}{M_{H}^{2}}

409:   \left( \Delta - \ln\frac{M_{t}^{2}}{\mu^{2}} + 1\right) ,

410: \nonumber\\

411:   \frac{\delta M_{W}^{2}}{M_{W}^{2}} &=& -2 N_c x_t

412:   \left( \Delta - \ln\frac{M_{t}^{2}}{\mu^{2}} + \frac{1}{2} \right) ,

413: \nonumber\\

414:   \frac{\delta M_{W}^{2,tad}}{M_{W}^{2}} &=& 8 N_c x_t

415:   \frac{M_{t}^{2}}{M_{H}^{2}}

416:   \left( \Delta - \ln\frac{M_{t}^{2}}{\mu^{2}}  + 1 \right) ,

417: \nonumber\\

418:   \frac{\delta M_{t}}{M_{t}} &=& \frac{3}{2} x_t 

419:   \left( \Delta - \ln\frac{M_{t}^{2}}{\mu^{2}} 

420:   + \frac{8}{3} \right) ,

421:   \nonumber\\

422:   \frac{\delta M_{t}^{tad}}{M_{t}} &=& 4 N_c x_t \frac{M_{t}^{2}}{M_{H}^{2}}

423:   \left( \Delta - \ln\frac{M_{t}^{2}}{\mu^{2}}+ 1 \right) ,

424: \label{eq:ct}

425: \end{eqnarray}

426: with $x_t=G_FM_t^2/(8\pi^2\sqrt{2})$ and

427: $\Delta = 1/\epsilon - \gamma_{E} + \ln (4 \pi)$,

428: where $\gamma_{E}$ is Euler's constant.

429: The $W$-boson mass renormalization is needed for the $W$, $\phi$, and $u$

430: propagators, where $M_W$ enters as a parameter.

431: Furthermore, also the $HW^{\pm}W^{\mp}$, $H\phi^{\pm}W^{\mp}$,

432: $\phi^{\pm}W^{\mp}\gamma$, and $H\phi^{\pm}W^{\mp}\gamma$ vertices contain

433: $M_W$.

434: The only vertex involving $M_H$ is $H\phi^{\pm}\phi^{\mp}$, which induces

435: two-loop contributions via $\delta M_H$.

436: Finally, $M_t$ occurs in the top-quark propagator and in the $Ht\overline{t}$

437: vertex.

438: 

439: The wave function renormalization and the renormalization of a factor

440: $1/M_W$ is common to all one-loop diagrams.

441: This allows for the definition of a universal factor \cite{hll}, which is

442: finite in our calculation.

443: It is given by

444: \begin{eqnarray}

445:   \delta_u &=& \frac{1}{2}\left(\delta Z_H - \frac{\delta

446:   M_W^2}{M_W^2} \right)

447: \nonumber\\

448:  & = & \frac{7}{6} N_c x_t .

449:   \label{RenUniv}

450: \end{eqnarray}

451: 

452: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

453: 

454: \section{\label{sec::2loop}Two-loop results}

455: 

456: The contributions of $\mathcal{O}(G_F M_t^2)$ are obtained by considering all

457: two-loop electroweak diagrams involving a virtual top quark.

458: This includes also the tadpole diagrams with a closed top-quark loop, which

459: are proportional to $M_t^4$.

460: For arbitrary gauge parameter, this leads us to consider a total of

461: $\mathcal{O}(1000)$ diagrams.

462: Some of them are depicted in Fig.~\ref{2loop}.

463: These diagrams naturally split into two classes.

464: The first class consists of those diagrams where a neutral boson, i.e.\ a

465: Higgs boson or a neutral Goldstone boson ($\chi$), is added to the one-loop

466: top-quark diagrams.

467: The exchange of a $Z$ boson does not produce quadratic contributions in $M_t$.

468: The application of the asymptotic-expansion technique to these diagrams leads

469: to a simple Taylor expansion in the external momenta.

470: 

471: This is different for the second class of diagrams, which, next to the top

472: quark, also contain a $W$ or $\phi$ boson and, as a consequence, also the

473: bottom quark, which we take to be massless throughout the calculation. 

474: Due to the presence of cuts through light-particle lines, the

475: asymptotic-expansion technique applied to these diagrams also yields

476: nontrivial terms, as is exemplified in Fig.~\ref{Mt4AsEx}.

477: The first contribution on the right-hand side of the equation in 

478: Fig.~\ref{Mt4AsEx} symbolizes the naive Taylor expansion in the external

479: momenta.

480: In the second contribution, the subdiagram to the right of the star has to be

481: expanded in its external momenta, which also includes the loop momentum of the

482: co-subgraph to the left of the star.

483: The result of the expansion is inserted as an effective vertex, and the

484: remaining integration over the second loop-momentum is performed after a

485: further expansion in $q_1$ and $q_2$.

486: The latter is allowed, since we work in the limit $(2M_W)^2 \gg M_H^2$.

487: We wish to mention that such contributions develop $M_t^4$ terms, which cancel

488: in the final result only in combination with the $M_t^4$ terms from the

489: counterterms of Eq.~(\ref{eq:ct}) and the genuine two-loop tadpole diagrams.

490: For this reason, it is crucial to include the latter in our calculation.

491: As a further comment, we note that, unlike the example of Fig.~\ref{Mt4AsEx},

492: it can also happen that the co-subgraph only involves massless bottom quarks,

493: and no expansion in the external momenta is allowed.

494: In our calculation, the contributions from such co-subgraphs vanish.

495: 

496: %- {{{ figure: 2loop

497: 

498: \begin{figure}[th]

499: \begin{center}

500: 

501: \unitlength=1bp%

502: 

503: \begin{feynartspicture}(370,400)(4,4)

504: 

505: \FADiagram{}

506: \FAProp(0.,10.)(5.5,10.)(0.,){/ScalarDash}{0}

507: \FALabel(2.75,9.18)[t]{$H$}

508: \FAProp(20.,15.)(15.,15.)(0.,){/Sine}{0}

509: \FALabel(17.5,16.07)[b]{$\gamma$}

510: \FAProp(20.,5.)(15.,5.)(0.,){/Sine}{0}

511: \FALabel(17.5,3.93)[t]{$\gamma$}

512: \FAProp(11.,7.1)(5.5,10.)(0.,){/Straight}{1}

513: \FALabel(8.00707,7.65892)[tr]{$t$}

514: \FAProp(11.,7.1)(15.,5.)(0.,){/ScalarDash}{1}

515: \FALabel(12.7595,5.15763)[tr]{$\phi$}

516: \FAProp(11.,12.95)(11.,7.1)(0.,){/Straight}{1}

517: \FALabel(12.07,10.025)[l]{$b$}

518: \FAProp(11.,12.95)(5.5,10.)(0.,){/Straight}{-1}

519: \FALabel(7.99737,12.3609)[br]{$t$}

520: \FAProp(11.,12.95)(15.,15.)(0.,){/ScalarDash}{-1}

521: \FALabel(12.7731,14.8744)[br]{$\phi$}

522: \FAProp(15.,15.)(15.,5.)(0.,){/ScalarDash}{-1}

523: \FALabel(16.07,10.)[l]{$\phi$}

524: \FAVert(11.,12.95){0}

525: \FAVert(11.,7.1){0}

526: \FAVert(5.5,10.){0}

527: \FAVert(15.,15.){0}

528: \FAVert(15.,5.){0}

529: 

530: \FADiagram{}

531: \FAProp(0.,10.)(5.5,10.)(0.,){/ScalarDash}{0}

532: \FALabel(2.75,9.18)[t]{$H$}

533: \FAProp(20.,15.)(15.,15.)(0.,){/Sine}{0}

534: \FALabel(17.5,16.07)[b]{$\gamma$}

535: \FAProp(20.,5.)(15.,5.)(0.,){/Sine}{0}

536: \FALabel(17.5,3.93)[t]{$\gamma$}

537: \FAProp(11.,7.1)(5.5,10.)(0.,){/Straight}{1}

538: \FALabel(8.00707,7.65892)[tr]{$t$}

539: \FAProp(11.,7.1)(15.,5.)(0.,){/Straight}{-1}

540: \FALabel(12.7595,5.15763)[tr]{$b$}

541: \FAProp(11.,12.95)(11.,7.1)(0.,){/ScalarDash}{-1}

542: \FALabel(12.07,10.025)[l]{$\phi$}

543: \FAProp(11.,12.95)(5.5,10.)(0.,){/Straight}{-1}

544: \FALabel(7.99737,12.3609)[br]{$t$}

545: \FAProp(11.,12.95)(15.,15.)(0.,){/Straight}{1}

546: \FALabel(12.7731,14.8744)[br]{$b$}

547: \FAProp(15.,15.)(15.,5.)(0.,){/Straight}{1}

548: \FALabel(16.07,10.)[l]{$b$}

549: \FAVert(11.,12.95){0}

550: \FAVert(11.,7.1){0}

551: \FAVert(5.5,10.){0}

552: \FAVert(15.,15.){0}

553: \FAVert(15.,5.){0}

554: 

555: \FADiagram{}

556: \FAProp(0.,10.)(5.5,10.)(0.,){/ScalarDash}{0}

557: \FALabel(2.75,9.18)[t]{$H$}

558: \FAProp(20.,15.)(15.,15.)(0.,){/Sine}{0}

559: \FALabel(17.5,16.07)[b]{$\gamma$}

560: \FAProp(20.,5.)(15.,5.)(0.,){/Sine}{0}

561: \FALabel(17.5,3.93)[t]{$\gamma$}

562: \FAProp(11.,7.1)(5.5,10.)(0.,){/Straight}{-1}

563: \FALabel(8.00707,7.65892)[tr]{$t$}

564: \FAProp(11.,7.1)(15.,5.)(0.,){/ScalarDash}{-1}

565: \FALabel(12.7595,5.15763)[tr]{$\phi$}

566: \FAProp(11.,12.95)(11.,7.1)(0.,){/Straight}{-1}

567: \FALabel(12.07,10.025)[l]{$b$}

568: \FAProp(11.,12.95)(5.5,10.)(0.,){/Straight}{1}

569: \FALabel(7.99737,12.3609)[br]{$t$}

570: \FAProp(11.,12.95)(15.,15.)(0.,){/ScalarDash}{1}

571: \FALabel(12.7731,14.8744)[br]{$\phi$}

572: \FAProp(15.,15.)(15.,5.)(0.,){/Sine}{1}

573: \FALabel(16.07,10.)[l]{$W$}

574: \FAVert(11.,12.95){0}

575: \FAVert(11.,7.1){0}

576: \FAVert(5.5,10.){0}

577: \FAVert(15.,15.){0}

578: \FAVert(15.,5.){0}

579: 

580: \FADiagram{}

581: \FAProp(0.,10.)(5.5,10.)(0.,){/ScalarDash}{0}

582: \FALabel(2.75,9.18)[t]{$H$}

583: \FAProp(20.,15.)(15.,15.)(0.,){/Sine}{0}

584: \FALabel(17.5,16.07)[b]{$\gamma$}

585: \FAProp(20.,5.)(15.,5.)(0.,){/Sine}{0}

586: \FALabel(17.5,3.93)[t]{$\gamma$}

587: \FAProp(11.,7.1)(5.5,10.)(0.,){/ScalarDash}{-1}

588: \FALabel(8.00707,7.65892)[tr]{$\phi$}

589: \FAProp(11.,7.1)(15.,5.)(0.,){/Straight}{-1}

590: \FALabel(12.7595,5.15763)[tr]{$t$}

591: \FAProp(11.,12.95)(11.,7.1)(0.,){/Straight}{-1}

592: \FALabel(12.07,10.025)[l]{$b$}

593: \FAProp(11.,12.95)(5.5,10.)(0.,){/ScalarDash}{1}

594: \FALabel(7.99737,12.3609)[br]{$\phi$}

595: \FAProp(11.,12.95)(15.,15.)(0.,){/Straight}{1}

596: \FALabel(12.7731,14.8744)[br]{$t$}

597: \FAProp(15.,15.)(15.,5.)(0.,){/Straight}{1}

598: \FALabel(16.07,10.)[l]{$t$}

599: \FAVert(11.,12.95){0}

600: \FAVert(11.,7.1){0}

601: \FAVert(5.5,10.){0}

602: \FAVert(15.,15.){0}

603: \FAVert(15.,5.){0}

604: 

605: \FADiagram{}

606: \FAProp(0.,10.)(5.5,10.)(0.,){/ScalarDash}{0}

607: \FALabel(2.75,9.18)[t]{$H$}

608: \FAProp(20.,15.)(15.,15.)(0.,){/Sine}{0}

609: \FALabel(17.5,16.07)[b]{$\gamma$}

610: \FAProp(20.,5.)(15.,5.)(0.,){/Sine}{0}

611: \FALabel(17.5,3.93)[t]{$\gamma$}

612: \FAProp(11.,7.1)(5.5,10.)(0.,){/Sine}{-1}

613: \FALabel(8.00707,7.65892)[tr]{$W$}

614: \FAProp(11.,7.1)(15.,5.)(0.,){/Straight}{-1}

615: \FALabel(12.7595,5.15763)[tr]{$t$}

616: \FAProp(11.,12.95)(11.,7.1)(0.,){/Straight}{-1}

617: \FALabel(12.07,10.025)[l]{$b$}

618: \FAProp(11.,12.95)(5.5,10.)(0.,){/ScalarDash}{1}

619: \FALabel(7.99737,12.3609)[br]{$\phi$}

620: \FAProp(11.,12.95)(15.,15.)(0.,){/Straight}{1}

621: \FALabel(12.7731,14.8744)[br]{$t$}

622: \FAProp(15.,15.)(15.,5.)(0.,){/Straight}{1}

623: \FALabel(16.07,10.)[l]{$t$}

624: \FAVert(11.,12.95){0}

625: \FAVert(11.,7.1){0}

626: \FAVert(5.5,10.){0}

627: \FAVert(15.,15.){0}

628: \FAVert(15.,5.){0}

629: 

630: \FADiagram{}

631: \FAProp(0.,10.)(5.5,10.)(0.,){/ScalarDash}{0}

632: \FALabel(2.75,9.18)[t]{$H$}

633: \FAProp(20.,15.)(15.,15.)(0.,){/Sine}{0}

634: \FALabel(17.5,16.07)[b]{$\gamma$}

635: \FAProp(20.,5.)(15.,5.)(0.,){/Sine}{0}

636: \FALabel(17.5,3.93)[t]{$\gamma$}

637: \FAProp(5.5,10.)(15.,15.)(0.,){/Straight}{1}

638: \FALabel(10.0081,13.3916)[br]{$t$}

639: \FAProp(9.7,7.75)(5.5,10.)(0.,){/Straight}{1}

640: \FALabel(7.34806,7.98871)[tr]{$t$}

641: \FAProp(9.7,7.75)(15.,5.)(0.,){/ScalarDash}{1}

642: \FALabel(12.1161,5.47918)[tr]{$\phi$}

643: \FAProp(15.,10.5)(9.7,7.75)(0.,){/Straight}{1}

644: \FALabel(12.1161,10.0208)[br]{$b$}

645: \FAProp(15.,10.5)(15.,15.)(0.,){/Straight}{-1}

646: \FALabel(16.07,12.75)[l]{$t$}

647: \FAProp(15.,10.5)(15.,5.)(0.,){/ScalarDash}{-1}

648: \FALabel(16.07,7.75)[l]{$\phi$}

649: \FAVert(15.,10.5){0}

650: \FAVert(9.7,7.75){0}

651: \FAVert(5.5,10.){0}

652: \FAVert(15.,15.){0}

653: \FAVert(15.,5.){0}

654: 

655: \FADiagram{}

656: \FAProp(0.,10.)(5.5,10.)(0.,){/ScalarDash}{0}

657: \FALabel(2.75,9.18)[t]{$H$}

658: \FAProp(20.,15.)(15.,15.)(0.,){/Sine}{0}

659: \FALabel(17.5,16.07)[b]{$\gamma$}

660: \FAProp(20.,5.)(15.,5.)(0.,){/Sine}{0}

661: \FALabel(17.5,3.93)[t]{$\gamma$}

662: \FAProp(5.5,10.)(15.,15.)(0.,){/ScalarDash}{1}

663: \FALabel(10.0081,13.3916)[br]{$\phi$}

664: \FAProp(9.7,7.75)(5.5,10.)(0.,){/ScalarDash}{1}

665: \FALabel(7.34806,7.98871)[tr]{$\phi$}

666: \FAProp(9.7,7.75)(15.,5.)(0.,){/Straight}{-1}

667: \FALabel(12.1161,5.47918)[tr]{$b$}

668: \FAProp(15.,10.5)(9.7,7.75)(0.,){/Straight}{-1}

669: \FALabel(12.1161,10.0208)[br]{$t$}

670: \FAProp(15.,10.5)(15.,15.)(0.,){/Sine}{-1}

671: \FALabel(16.07,12.75)[l]{$W$}

672: \FAProp(15.,10.5)(15.,5.)(0.,){/Straight}{1}

673: \FALabel(16.07,7.75)[l]{$b$}

674: \FAVert(15.,10.5){0}

675: \FAVert(9.7,7.75){0}

676: \FAVert(5.5,10.){0}

677: \FAVert(15.,15.){0}

678: \FAVert(15.,5.){0}

679: 

680: \FADiagram{}

681: \FAProp(0.,10.)(4.5,10.)(0.,){/ScalarDash}{0}

682: \FALabel(2.25,9.18)[t]{$H$}

683: \FAProp(20.,15.)(14.6,10.)(0.,){/Sine}{0}

684: \FALabel(17.8731,11.8427)[tl]{$\gamma$}

685: \FAProp(20.,5.)(14.6,10.)(0.,){/Sine}{0}

686: \FALabel(16.7269,6.84267)[tr]{$\gamma$}

687: \FAProp(7.,13.)(4.5,10.)(0.211476,){/ScalarDash}{-1}

688: \FALabel(4.72204,12.2766)[br]{$\phi$}

689: \FAProp(12.,13.)(7.,13.)(0.8,){/Straight}{1}

690: \FALabel(9.5,16.07)[b]{$t$}

691: \FAProp(12.,13.)(7.,13.)(-0.8,){/Straight}{-1}

692: \FALabel(9.5,9.93)[t]{$b$}

693: \FAProp(12.,13.)(14.6,10.)(-0.182242,){/ScalarDash}{1}

694: \FALabel(14.2647,12.2721)[bl]{$\phi$}

695: \FAProp(4.5,10.)(14.6,10.)(0.693069,){/ScalarDash}{-1}

696: \FALabel(9.55,5.43)[t]{$\phi$}

697: \FAVert(12.,13.){0}

698: \FAVert(7.,13.){0}

699: \FAVert(4.5,10.){0}

700: \FAVert(14.6,10.){0}

701: 

702: \FADiagram{}

703: \FAProp(0.,10.)(5.5,10.)(0.,){/ScalarDash}{0}

704: \FALabel(2.75,9.18)[t]{$H$}

705: \FAProp(20.,15.)(14.5,10.)(0.,){/Sine}{0}

706: \FALabel(17.6874,14.1669)[br]{$\gamma$}

707: \FAProp(20.,5.)(14.5,10.)(0.,){/Sine}{0}

708: \FALabel(17.8126,8.16691)[bl]{$\gamma$}

709: \FAProp(10.,14.5)(5.5,10.)(0.4,){/Straight}{-1}

710: \FALabel(6.23398,13.766)[br]{$t$}

711: \FAProp(10.,5.5)(10.,14.5)(0.,){/Straight}{-1}

712: \FALabel(11.07,10.)[l]{$b$}

713: \FAProp(10.,5.5)(5.5,10.)(-0.4,){/Straight}{1}

714: \FALabel(6.23398,6.23398)[tr]{$t$}

715: \FAProp(10.,5.5)(14.5,10.)(0.4,){/Sine}{1}

716: \FALabel(13.766,6.23398)[tl]{$W$}

717: \FAProp(10.,14.5)(14.5,10.)(-0.4,){/Sine}{-1}

718: \FALabel(12.266,14.366)[bl]{$W$}

719: \FAVert(10.,5.5){0}

720: \FAVert(10.,14.5){0}

721: \FAVert(5.5,10.){0}

722: \FAVert(14.5,10.){0}

723: 

724: \FADiagram{}

725: \FAProp(0.,10.)(8.,6.)(0.,){/ScalarDash}{0}

726: \FALabel(3.89862,7.31724)[tr]{$H$}

727: \FAProp(20.,15.)(13.,15.)(0.,){/Sine}{0}

728: \FALabel(16.5,16.07)[b]{$\gamma$}

729: \FAProp(20.,5.)(8.,6.)(0.,){/Sine}{0}

730: \FALabel(13.8713,4.43535)[t]{$\gamma$}

731: \FAProp(9.2,13.9)(13.,15.)(-0.150337,){/ScalarDash}{-1}

732: \FALabel(10.5863,15.7445)[b]{$\phi$}

733: \FAProp(7.,9.5)(9.2,13.9)(0.8,){/Straight}{1}

734: \FALabel(10.7664,10.6068)[tl]{$t$}

735: \FAProp(7.,9.5)(9.2,13.9)(-0.8,){/Straight}{-1}

736: \FALabel(5.43364,12.7932)[br]{$b$}

737: \FAProp(7.,9.5)(8.,6.)(0.222749,){/ScalarDash}{1}

738: \FALabel(6.13962,9.00132)[r]{$\phi$}

739: \FAProp(13.,15.)(8.,6.)(-0.605305,){/Sine}{-1}

740: \FALabel(14.0988,8.71399)[tl]{$W$}

741: \FAVert(7.,9.5){0}

742: \FAVert(9.2,13.9){0}

743: \FAVert(13.,15.){0}

744: \FAVert(8.,6.){0}

745: 

746: \FADiagram{}

747: \FAProp(0.,10.)(5.5,10.)(0.,){/ScalarDash}{0}

748: \FALabel(2.75,9.18)[t]{$H$}

749: \FAProp(20.,15.)(10.,10.)(0.,){/Sine}{0}

750: \FALabel(17.1318,12.7564)[tl]{$\gamma$}

751: \FAProp(20.,5.)(14.5,10.)(0.,){/Sine}{0}

752: \FALabel(17.8126,8.16691)[bl]{$\gamma$}

753: \FAProp(10.,5.5)(5.5,10.)(-0.4,){/Straight}{1}

754: \FALabel(6.23398,6.23398)[tr]{$t$}

755: \FAProp(10.,5.5)(10.,10.)(0.,){/Straight}{-1}

756: \FALabel(11.07,7.75)[l]{$b$}

757: \FAProp(10.,5.5)(14.5,10.)(0.4,){/ScalarDash}{1}

758: \FALabel(13.766,6.23398)[tl]{$\phi$}

759: \FAProp(10.,14.5)(5.5,10.)(0.4,){/Straight}{-1}

760: \FALabel(6.23398,13.766)[br]{$t$}

761: \FAProp(10.,14.5)(10.,10.)(0.,){/Straight}{1}

762: \FALabel(8.93,12.25)[r]{$b$}

763: \FAProp(10.,14.5)(14.5,10.)(-0.4,){/Sine}{-1}

764: \FALabel(13.1968,14.1968)[bl]{$W$}

765: \FAVert(10.,14.5){0}

766: \FAVert(10.,5.5){0}

767: \FAVert(5.5,10.){0}

768: \FAVert(10.,10.){0}

769: \FAVert(14.5,10.){0}

770: 

771: \FADiagram{}

772: \FAProp(0.,10.)(5.5,10.)(0.,){/ScalarDash}{0}

773: \FALabel(2.75,9.18)[t]{$H$}

774: \FAProp(20.,15.)(14.5,15.)(0.,){/Sine}{0}

775: \FALabel(17.25,16.07)[b]{$\gamma$}

776: \FAProp(20.,5.)(14.5,5.)(0.,){/Sine}{0}

777: \FALabel(17.25,3.93)[t]{$\gamma$}

778: \FAProp(5.5,10.)(14.5,15.)(0.,){/Sine}{-1}

779: \FALabel(9.72725,13.3749)[br]{$W$}

780: \FAProp(5.5,10.)(14.5,5.)(0.,){/Sine}{1}

781: \FALabel(9.72725,6.62506)[tr]{$W$}

782: \FAProp(14.5,12.5)(14.5,15.)(0.,){/ScalarDash}{1}

783: \FALabel(15.57,13.30)[l]{$\phi$}

784: \FAProp(14.5,7.5)(14.5,12.5)(0.8,){/Straight}{-1}

785: \FALabel(17.57,10.)[l]{$t$}

786: \FAProp(14.5,7.5)(14.5,12.5)(-0.8,){/Straight}{1}

787: \FALabel(11.43,10.)[r]{$b$}

788: \FAProp(14.5,7.5)(14.5,5.)(0.,){/Sine}{-1}

789: \FALabel(15.57,6.50)[l]{$W$}

790: \FAVert(14.5,7.5){0}

791: \FAVert(14.5,12.5){0}

792: \FAVert(5.5,10.){0}

793: \FAVert(14.5,15.){0}

794: \FAVert(14.5,5.){0}

795: 

796: \FADiagram{}

797: \FAProp(0.,10.)(6.5,10.)(0.,){/ScalarDash}{0}

798: \FALabel(3.25,9.18)[t]{$H$}

799: \FAProp(20.,15.)(13.,14.)(0.,){/Sine}{0}

800: \FALabel(16.2808,15.5544)[b]{$\gamma$}

801: \FAProp(20.,5.)(13.,6.)(0.,){/Sine}{0}

802: \FALabel(16.2808,4.44558)[t]{$\gamma$}

803: \FAProp(6.5,10.)(13.,14.)(0.,){/ScalarDash}{1}

804: \FALabel(9.20801,13.1807)[br]{$\phi$}

805: \FAProp(6.5,10.)(13.,6.)(0.,){/ScalarDash}{-1}

806: \FALabel(9.20801,6.81927)[tr]{$\phi$}

807: \FAProp(13.,14.)(13.,10.)(0.,){/ScalarDash}{1}

808: \FALabel(10.274,10.)[l]{$\phi$}

809: \FAProp(13.,10.)(13.,6.)(0.,){/ScalarDash}{1}

810: \FAProp(13.,10.)(16.,10.)(0.,){/ScalarDash}{0}

811: \FALabel(13.500,11.7)[l]{$H$}

812: \FAProp(16.,10.)(16.,10.)(20.,10.){/Straight}{1}

813: \FALabel(17.674,10.)[l]{$t$}

814: \FAVert(6.5,10.){0}

815: \FAVert(13.,14.){0}

816: \FAVert(13.,6.){0}

817: \FAVert(16.,10.){0}

818: \FAVert(13.,10.){0}

819: 

820: \FADiagram{}

821: \FAProp(0.,10.)(6.5,10.)(0.,){/ScalarDash}{0}

822: \FALabel(3.25,9.18)[t]{$H$}

823: \FAProp(20.,15.)(13.,14.)(0.,){/Sine}{0}

824: \FALabel(16.2808,15.5544)[b]{$\gamma$}

825: \FAProp(20.,5.)(13.,6.)(0.,){/Sine}{0}

826: \FALabel(16.2808,4.44558)[t]{$\gamma$}

827: \FAProp(6.5,10.)(13.,14.)(0.,){/GhostDash}{1}

828: \FALabel(9.20801,13.1807)[br]{$u_-$}

829: \FAProp(6.5,10.)(13.,6.)(0.,){/GhostDash}{-1}

830: \FALabel(9.20801,6.81927)[tr]{$u_-$}

831: \FAProp(13.,14.)(13.,10.)(0.,){/GhostDash}{1}

832: \FALabel(9.474,9.7)[l]{$u_-$}

833: \FAProp(13.,10.)(13.,6.)(0.,){/GhostDash}{1}

834: \FAProp(13.,10.)(16.,10.)(0.,){/ScalarDash}{0}

835: \FALabel(13.500,11.7)[l]{$H$}

836: \FAProp(16.,10.)(16.,10.)(20.,10.){/Straight}{1}

837: \FALabel(17.674,10.)[l]{$t$}

838: \FAVert(6.5,10.){0}

839: \FAVert(13.,14.){0}

840: \FAVert(13.,6.){0}

841: \FAVert(16.,10.){0}

842: \FAVert(13.,10.){0}

843: 

844: \FADiagram{}

845: \FAProp(0.,10.)(6.5,10.)(0.,){/ScalarDash}{0}

846: \FALabel(3.25,12.5)[t]{$H$}

847: \FAProp(6.5,10.)(4.5,7.)(0.,){/ScalarDash}{0}

848: \FALabel(4.80,8.5)[r]{$H$}

849: \FAProp(4.5,7.)(4.5,7.)(2.5,4.){/Straight}{1}

850: \FALabel(2.8,5.3)[l]{$t$}

851: \FAProp(20.,15.)(13.,14.)(0.,){/Sine}{0}

852: \FALabel(16.2808,15.5544)[b]{$\gamma$}

853: \FAProp(20.,5.)(13.,6.)(0.,){/Sine}{0}

854: \FALabel(16.2808,4.44558)[t]{$\gamma$}

855: \FAProp(6.5,10.)(13.,14.)(0.,){/Sine}{1}

856: \FALabel(9.20801,13.1807)[br]{$W$}

857: \FAProp(6.5,10.)(13.,6.)(0.,){/Sine}{-1}

858: \FALabel(9.90801,6.81927)[tr]{$W$}

859: \FAProp(13.,14.)(13.,6.)(0.,){/Sine}{1}

860: \FALabel(14.274,10.)[l]{$W$}

861: \FAVert(6.5,10.){0}

862: \FAVert(13.,14.){0}

863: \FAVert(13.,6.){0}

864: \FAVert(6.5,10.){0}

865: \FAVert(4.5,7.){0}

866: 

867: \FADiagram{}

868: \FAProp(0.,10.)(6.5,10.)(0.,){/ScalarDash}{0}

869: \FALabel(3.25,9.18)[t]{$H$}

870: \FAProp(20.,15.)(13.,14.)(0.,){/Sine}{0}

871: \FALabel(16.2808,15.5544)[b]{$\gamma$}

872: \FAProp(13.,14.)(10.,16.)(0.,){/ScalarDash}{0}

873: \FALabel(11.20,14.)[r]{$H$}

874: \FAProp(10.,16.)(10.,16.)(7.,18.){/Straight}{1}

875: \FALabel(8.0,17.)[l]{$t$}

876: \FAProp(20.,5.)(13.,6.)(0.,){/Sine}{0}

877: \FALabel(16.2808,4.44558)[t]{$\gamma$}

878: \FAProp(6.5,10.)(13.,14.)(0.,){/ScalarDash}{-1}

879: \FALabel(7.00801,10.9807)[br]{$\phi$}

880: \FAProp(6.5,10.)(13.,6.)(0.,){/ScalarDash}{1}

881: \FALabel(9.20801,6.81927)[tr]{$\phi$}

882: \FAProp(13.,14.)(13.,6.)(0.,){/Sine}{-1}

883: \FALabel(14.274,10.)[l]{$W$}

884: \FAVert(6.5,10.){0}

885: \FAVert(13.,14.){0}

886: \FAVert(13.,6.){0}

887: \FAVert(13.,14.){0}

888: \FAVert(10.,16.){0}

889: 

890: \end{feynartspicture}

891: 

892: \caption{\label{2loop} Sample Feynman diagrams contributing at the two-loop

893: electroweak order to the process $H\to\gamma\gamma$.}

894: 

895: \end{center}

896: \end{figure}

897: 

898: %- }}}

899: 

900: %- {{{ figure: Mt4AsEx

901: 

902: \begin{figure}[th]

903: \begin{center}

904: 

905: \unitlength=1bp%

906: 

907: \begin{feynartspicture}(370,200)(3,2)

908: 

909: \FADiagram{}

910: \FAProp(0.,10.)(4.5,10.)(0.,){/ScalarDash}{0}

911: \FAProp(16.,15.)(11.,14.)(0.,){/Sine}{0}

912: \FAProp(16.,5.)(11.,6.)(0.,){/Sine}{0}

913: \FAProp(4.5,10.)(7.75,12.)(0.,){/Straight}{0}

914: \FALabel(6.,11.5)[br]{$t$}

915: \FAProp(4.5,10.)(7.75,8.)(0.,){/Straight}{0}

916: \FALabel(6.,8.5)[tr]{$t$}

917: \FAProp(7.75,8.)(11.,6.)(0.,){/ScalarDash}{0}

918: \FALabel(9.5,6.5)[tr]{$\phi$}

919: \FAProp(11.,6.)(11.,14.)(0.,){/ScalarDash}{0}

920: \FALabel(12.,10.)[l]{$\phi$}

921: \FAProp(7.75,12.)(11.,14.)(0.,){/ScalarDash}{0}

922: \FALabel(9.7,13.5)[br]{$\phi$}

923: \FAProp(7.75,12.)(7.75,8.)(0.,){/Straight}{0}

924: \FALabel(8.5,10.)[l]{$b$}

925: \FAVert(4.5,10.){0}

926: \FAVert(11.,14.){0}

927: \FAVert(11.,6.){0}

928: \FAVert(7.75,8.){0}

929: \FAVert(7.75,12.){0}

930: \FALabel(20.,10.)[l]{\LARGE{=}}

931: 

932: \FADiagram{}

933: \FAProp(4.,10.)(8.5,10.)(0.,){/ScalarDash}{0}

934: \FAProp(8.5,10.)(13.,13.)(0.,){/Sine}{0}

935: \FAProp(8.5,10.)(13.,7.)(0.,){/Sine}{0}

936: \FAVert(8.5,10.){0}

937: \FALabel(8.5,10.)[]{\LARGE{$\bullet$}}

938: \FALabel(19,10.)[]{\LARGE{$\star$}}

939: 

940: \FADiagram{}

941: \FAProp(4.,10.)(7.75,12.)(0.,){/Straight}{0}

942: \FALabel(6.,11.5)[br]{$t$}

943: \FAProp(4.,10.)(7.75,8.)(0.,){/Straight}{0}

944: \FALabel(6.,8.5)[tr]{$t$}

945: \FAProp(7.75,8)(11.,6.)(0.,){/ScalarDash}{0}

946: \FALabel(9.5,6.5)[tr]{$\phi$}

947: \FAProp(11.,6.)(11.,14.)(0.,){/ScalarDash}{0}

948: \FALabel(12.,10.)[l]{$\phi$}

949: \FAProp(7.75,12.)(11.,14.)(0.,){/ScalarDash}{0}

950: \FALabel(9.7,13.5)[br]{$\phi$}

951: \FAProp(7.75,12.)(7.75,8.)(0.,){/Straight}{0}

952: \FALabel(8.5,10.)[l]{$b$}

953: \FAVert(7.75,8.){0}

954: \FAVert(7.75,12.){0}

955: \FAVert(4.,10.){0}

956: \FAVert(11.,14.){0}

957: \FAVert(11.,6.){0}

958: 

959: \FADiagram{}

960: \FALabel(20.,10.)[l]{\LARGE{+}}

961: 

962: \FADiagram{}

963: \FAProp(4.,10.)(7.,10.)(0.,){/ScalarDash}{0}

964: \FAProp(13.,14.)(17.,15.)(0.,){/Sine}{0}

965: \FAProp(13.,6.)(17.,5.)(0.,){/Sine}{0}

966: \FAProp(8.5,10.)(13.,14.)(0.,){/ScalarDash}{0}

967: \FALabel(11.,12.5)[rb]{$\phi$}

968: \FAProp(8.5,10.)(13.,6.)(0.,){/ScalarDash}{0}

969: \FALabel(11.,7.)[rt]{$\phi$}

970: \FAProp(13.,14.)(13.,6.)(0.,){/ScalarDash}{0}

971: \FALabel(14.,10.)[l]{$\phi$}

972: \FAVert(8.5,10.){0}

973: \FAVert(13.,14.){0}

974: \FAVert(13.,6.){0}

975: \FALabel(8.5,10.)[]{\LARGE{$\bullet$}}

976: \FALabel(20.,10.)[]{\LARGE{$\star$}}

977: 

978: \FADiagram{}

979: \FAProp(4.5,10.)(7.75,12.)(0.,){/Straight}{0}

980: \FALabel(6.,11.5)[br]{$t$}

981: \FAProp(4.5,10.)(7.75,8.)(0.,){/Straight}{0}

982: \FALabel(6.,8.5)[tr]{$t$}

983: \FAProp(7.75,8.)(7.75,12.)(0.,){/Straight}{0}

984: \FALabel(8.75,10.)[l]{$b$}

985: \FAVert(4.5,10.){0}

986: \FAVert(7.75,12.){0}

987: \FAVert(7.75,8.){0}

988: 

989: \end{feynartspicture}

990: 

991: \caption{\label{Mt4AsEx} Diagrammatic asymptotic expansion of a Feynman

992: diagram that produces $M_{t}^{4}$ terms.}

993: 

994: \end{center}

995: \end{figure}

996: 

997: %- }}}

998: 

999: As already mentioned above, we use in our calculation a general gauge

1000: parameter $\xi_W$ related to the $W$ boson and verify that our final result is

1001: independent of $\xi_W$.

1002: We do this in the limit of large and small values of $\xi_W$.

1003: To this end, we apply the asymptotic-expansion technique in the following four

1004: limiting cases

1005: \begin{eqnarray}

1006:   (i)   && M_{t}^2 \gg M_{W}^2 =   \xi_W M_{W}^2 \gg M_H^2,

1007:   \nonumber\\

1008:   (ii)  && M_{t}^2 \gg M_{W}^2 \gg \xi_W M_{W}^2 \gg M_H^2,

1009:   \nonumber\\

1010:   (iii) && M_{t}^2 \gg \xi_W M_{W}^2 \gg M_{W}^2 \gg M_H^2,

1011:   \nonumber\\

1012:   (iv)  && \xi_W M_{W}^2 \gg M_{t}^2 \gg M_{W}^2 \gg M_H^2,

1013: \end{eqnarray}

1014: where the inequality $M_{W}^2 \gg M_H^2$ has to be understood in a formal

1015: sense, as, in practice, one has $(2M_W)^2\gg M_H^2$.

1016: The result we obtain by asymptotic expansion is an expansion of the exact

1017: result for the $\mathcal{O}(G_{F} M_{t}^{2})$ contribution in powers of

1018: $\tau_{W}$.

1019: In case $(i)$, where $\xi_W=1$, which corresponds to 't~Hooft-Feynman gauge,

1020: we are able to evaluate the first five terms of this expansion.

1021: In cases $(ii)$--$(iv)$, we compute the first two expansion terms and find

1022: agreement with the result obtained for $\xi_W=1$.

1023: 

1024: Our final result for ${\cal A}_{tW}^{(1)}$ emerges as the sum

1025: \begin{equation}

1026:   \mathcal{A}_{tW}^{(1)} = 

1027:   \mathcal{A}_{u}^{(1)} +

1028:   \mathcal{A}_{H,\chi}^{(1)} +

1029:   \mathcal{A}_{W,\phi}^{(1)},

1030: \label{eq:sum}

1031: \end{equation}

1032: where $\mathcal{A}_{u}^{(1)}$ is the universal contribution induced by the

1033: one-loop term $\delta_u$ of Eq.~(\ref{RenUniv}),

1034: $\mathcal{A}_{H,\chi}^{(1)}$ is the two-loop contribution involving 

1035: virtual $H$ and $\chi$ bosons, and $\mathcal{A}_{W,\phi}^{(1)}$ the

1036: remaining two-loop contribution involving virtual $W$ and $\phi$ bosons.

1037: In $\mathcal{A}_{H,\chi}^{(1)}$ and $\mathcal{A}_{W,\phi}^{(1)}$, also

1038: the corresponding counterterm and tadpole contributions are included.

1039: For the individual pieces, we find

1040: \begin{eqnarray}

1041:   \mathcal{A}_{u}^{(1)} & = & 

1042:   \hat{\mathcal{A}} N_c x_t \left( - \frac{329}{108} 

1043:     - \frac{77}{90} \tau_{W} - \frac{19}{45} \tau_{W}^{2} 

1044:     - \frac{58}{225} \tau_{W}^{3} - \frac{1312}{7425} \tau_{W}^{4} 

1045:     +\cdots

1046:   \right) ,

1047:   \nonumber\\

1048:   \mathcal{A}_{H,\chi}^{(1)} & = & 

1049:   \hat{\mathcal{A}} N_c x_t \left( - \frac{8}{27} \right) ,

1050:   \nonumber\\

1051:   \mathcal{A}_{W,\phi}^{(1)} & = & 

1052:   \hat{\mathcal{A}} N_c x_t \left( \frac{182}{27} + \frac{22}{15} \tau_{W} +

1053:     \frac{76}{105} \tau_{W}^{2} + \frac{232}{525} \tau_{W}^{3} 

1054:     + \frac{5248}{17325} \tau_{W}^{4} +\cdots

1055:   \right) ,

1056: \label{eq:terms}

1057: \end{eqnarray}

1058: where $\hat{\mathcal{A}}$ is defined below Eq.~(\ref{eq::born}) and the

1059: ellipses indicate terms of $\mathcal{O}(\tau_W^5)$.

1060: Notice that the leading $\mathcal{O}(G_F M_t^2)$ term of

1061: $\mathcal{A}_{H,\chi}^{(1)}$ is not accompanied by an expansion in $\tau_W$,

1062: since the contributing diagrams do not involve virtual $W$ or $\phi$ bosons.

1063: On the other hand, detailed inspection reveals that there is also no 

1064: expansion in the parameter $M_H^2/(2M_Z)^2$, contrary to what might be

1065: expected at first sight.

1066: Inserting Eq.~(\ref{eq:terms}) into Eq.~(\ref{eq:sum}), we obtain our final

1067: result

1068: \begin{equation}

1069:   \mathcal{A}_{tW}^{(1)} = 

1070:   \hat{\mathcal{A}} N_c x_t \left( \frac{367}{108} + \frac{11}{18} \tau_{W} +

1071:   \frac{19}{63} \tau_{W}^{2} + \frac{58}{315} \tau_{W}^{3} 

1072:   + \frac{1312}{10395} \tau_{W}^{4} +\cdots

1073: \right).

1074: \end{equation}

1075: 

1076: The correction of $\mathcal{O}(G_F M_t^2)$ to $\Gamma(H\to\gamma\gamma)$ was

1077: also considered in Ref.~\cite{Liao:1996td}.

1078: The expression found in that reference disagrees with our result.

1079: One reason is probably that the authors of Ref.~\cite{Liao:1996td} only

1080: considered virtual $\phi$ bosons, but disregarded virtual $W$-bosons.

1081: However, our calculation shows that both types of charged bosons have to be

1082: taken into account at the same time in order to arrive at an

1083: ultraviolet-finite and gauge-parameter-independent result.

1084: In Ref.~\cite{Djouadi:1997rj}, the dominant two-loop electroweak corrections

1085: to the Higgs-boson couplings to pairs of gauge bosons and light fermions

1086: induced by a sequential isodoublet of ultraheavy quarks $(A,B)$ were

1087: investigated by means of a low-energy theorem \cite{Shi79,let}.

1088: In that paper, also a result for the $\mathcal{O}(G_F M_t^2)$ correction to

1089: $\Gamma(H\to\gamma\gamma)$ is presented, which is obtained by sending the mass

1090: of the fourth-generation down quark ($M_B$) to zero at the end of the

1091: calculation, which is performed assuming that $M_B\gg M_W$.

1092: This result also deviates from the one obtained above.

1093: Detailed inspection reveals that this difference may be attributed to the

1094: interchange of limits performed in Ref.~\cite{Djouadi:1997rj}, which is not

1095: justified in the case under consideration, although such a procedure is known

1096: to lead to correct results in simpler examples.

1097: In fact, reanalyzing the limiting case $M_A\gg M_B\gg M_W$ using the

1098: asymptotic-expansion technique, we are able to reproduce the terms of

1099: Eqs.~(48)--(54) in Ref.~\cite{Djouadi:1997rj} that survive in this limit and,

1100: at the same time, to identify contributions that do not occur if $M_B=0$ is

1101: imposed at the outset of the calculation.

1102: 

1103: For completeness, we also specify our corresponding result for

1104: $\Gamma(H\to gg)$.

1105: Its evaluation is significantly simpler, since, at one loop, only the

1106: top-quark diagrams contribute.

1107: Consequently, to obtain the leading two-loop correction proportional to

1108: $G_F M_t^2$, we only have to consider the exchange of $H$, $\chi$, and $\phi$

1109: bosons.

1110: This only requires a naive Taylor expansion in $q_1$ and $q_2$.

1111: We obtain

1112: \begin{equation}

1113:   \mathcal{A}_{gg}^{(1)} = \hat{\mathcal{A}}_{gg} x_t \left( \frac{1}{3}

1114:   \right),

1115: \end{equation}

1116: with $\hat{\mathcal{A}}_{gg} = 2^{3/4}G_{F}^{1/2}(\alpha_s/\pi)$.

1117: This result is in agreement with Ref.~\cite{Djouadi:1994ge}, where a

1118: low-energy theorem \cite{Shi79,let} was used.

1119: 

1120: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1121: 

1122: \section{\label{sec::numerics}Numerical results}

1123: 

1124: We are now in a position to present our numerical results and to assess the

1125: convergence properties of our expansions in $\tau_t$ and $\tau_W$.

1126: We use the following numerical values for our input

1127: parameters~\cite{Hagiwara:fs}: 

1128: $G_{F}=1.16639\times10^{-5}$~GeV$^{-2}$,

1129: $M_{W}=80.423$~GeV, and

1130: $M_{t}=174.3$~GeV.

1131: 

1132: \begin{figure}[th]

1133: \begin{center}

1134: \epsfig{file=l1h.eps,width=\textwidth}

1135: \end{center}

1136: \caption{\label{1loopT} 

1137: Top-quark-induced one-loop amplitude $\mathcal{A}_t^{(0)}$ normalized to

1138: $\hat{\mathcal{A}} N_c Q_t^2$ as a function of $\tau_t$.

1139: The solid curve indicates the exact result, while the dashed curves represent

1140: the sequence of approximations that are obtained by successively including

1141: higher powers of $\tau_{t}$ in the expansion.

1142: The dotted vertical lines encompass the intermediate-mass range of the Higgs

1143: boson.}

1144: \end{figure}

1145: 

1146: \begin{figure}[th]

1147: \begin{center}

1148: \epsfig{file=l1hw.eps,width=\textwidth}

1149: \end{center}

1150: \caption{\label{1loopW} 

1151: $W$-boson-induced one-loop amplitude $\mathcal{A}_W^{(0)}$ normalized to

1152: $\hat{\mathcal{A}}$ as a function of $\tau_W$.

1153: The solid curve indicates the exact result, while the dashed curves represent

1154: the sequence of approximations that are obtained by successively including

1155: higher powers of $\tau_{W}$ in the expansion.

1156: The dotted vertical line and the right edge of the frame encompass the

1157: intermediate-mass range of the Higgs boson.}

1158: \end{figure}

1159: 

1160: We first consider the one-loop amplitudes ${\cal A}_t^{(0)}$ and

1161: ${\cal A}_W^{(0)}$ induced by virtual top quarks and $W$ bosons, respectively,

1162: for which exact results are available.

1163: They are shown in Figs.~\ref{1loopT} and~\ref{1loopW} as functions of

1164: $\tau_{t}$ and $\tau_{W}$, respectively.

1165: The solid curves indicate the exact results, while the dashed curves represent

1166: the sequences of approximations that are obtained by successively including

1167: higher powers of $\tau_{t}$ and $\tau_{W}$, respectively, in the expansions.

1168: The vertical lines encompass the intermediate-mass range of the Higgs boson,

1169: $M_W\le M_H\le 2M_W$.

1170: In Fig.~\ref{1loopW}, the second vertical line coincides with the right edge

1171: of the frame.

1172: From Fig.~\ref{1loopT}, we observe that the approximation consisting of the

1173: first three terms of the expansion in $\tau_{t}$ is practically 

1174: indistinguishable from the exact result up to $\tau_t\approx 0.25$.

1175: The same is true for the sum of the first five expansion terms up to

1176: $\tau_t\approx 0.5$, which corresponds to $M_H\approx 245$~GeV.

1177: In the case of ${\cal A}_W^{(0)}$, the convergence is slightly worse, since

1178: $M_H=2M_W$ corresponds to $\tau_W=1$ and the exact result behaves like

1179: $\sqrt{1-\tau_{W}}$ in this limit.

1180: Nevertheless, for $M_H=120$~GeV, 140~GeV, and $2 M_W$, the approximation by

1181: five expansion terms deviates from the exact result by as little as

1182: 0.3\%,  1.6\%, and 19.9\%, respectively.

1183: 

1184: \begin{figure}[th]

1185: \begin{center}

1186: \epsfig{file=l2.eps,width=\textwidth}

1187: \end{center}

1188: \caption{\label{2loopT}

1189: Top-quark-induced two-loop electroweak amplitude $\mathcal{A}_{tW}^{(1)}$

1190: normalized to $\hat{\mathcal{A}} N_c x_t$ as a function of $\tau_W$.

1191: The dashed curves represent the sequence of approximations that are obtained 

1192: by successively including higher powers of $\tau_{W}$ in the expansion.

1193: The dotted vertical line and the right edge of the frame encompass the

1194: intermediate-mass range of the Higgs boson.}

1195: \end{figure}

1196: 

1197: Having demonstrated the fast convergence of the expansions in $\tau_{t}$ and

1198: $\tau_{W}$ of the one-loop amplitudes $\mathcal{A}_{t}^{(0)}$ and

1199: $\mathcal{A}_{W}^{(0)}$, respectively, we now proceed to the two-loop

1200: electroweak amplitude $\mathcal{A}_{tW}^{(1)}$, for which we found the leading

1201: $\mathcal{O}(G_F M_t^2)$ term together with its subleading mass corrections

1202: through $\mathcal{O}(\tau_{W}^4)$.

1203: This corresponds to a first approximation and four improvements, which are

1204: visualized by the five dashed curves in Fig.~\ref{2loopT}.

1205: As in Fig.~\ref{1loopW}, the dotted vertical line and the right edge of the

1206: frame enclose the intermediate-mass range of the Higgs boson.

1207: We again observe rapid convergence.

1208: The goodness of our best approximation may be assessed by considering its

1209: relative deviation from the second best one.

1210: For $M_H=120$~GeV, 140~GeV, and $2 M_W$, this amounts to 0.3\%, 1.0\%, and

1211: 2.8\%, respectively.

1212: The situation is very similar to the one in Fig.~\ref{1loopW}.

1213: In fact, the corresponding figures for $\mathcal{A}_{W}^{(0)}$ are 0.4\%,

1214: 1.1\%, and 3.1\%.

1215: We thus expect that the goodness of the approximation of

1216: $\mathcal{A}_{tW}^{(1)}$ by the expansion through $\mathcal{O}(\tau_{W}^4)$ is

1217: comparable to the case of $\mathcal{A}_{W}^{(0)}$.

1218: 

1219: \begin{figure}[th]

1220: \begin{center}

1221: \epsfig{file=lonlo.eps,width=\textwidth}

1222: \end{center}

1223: \caption{\label{fig::LO_NLO} 

1224: Dominant two-loop corrections to $\Gamma(H\to\gamma\gamma)$ as functions of

1225: $M_H$.

1226: The $\mathcal{O}(G_F M_t^2)$ electroweak correction (solid curve) is

1227: compared with the $\mathcal{O}(\alpha_s)$ QCD one (dashed curve).

1228: The dotted vertical line and the right edge of the frame encompass the

1229: intermediate-mass range of the Higgs boson.}

1230: \end{figure}

1231: 

1232: For the comparison with future measurements of $\Gamma(H\to\gamma\gamma)$, all

1233: known corrections have to be included in Eq.~(\ref{Notation}).

1234: In this connection, it is interesting to compare the size of the new

1235: $\mathcal{O}(G_F M_t^2)$ electroweak correction with the well-known

1236: $\mathcal{O}(\alpha_s)$ QCD one \cite{Djouadi:1990aj}.

1237: This is done in Fig.~(\ref{fig::LO_NLO}), where the respective corrections to

1238: $\Gamma(H\to\gamma\gamma)$ are displayed as functions of $M_H$.

1239: As in Figs.~\ref{1loopW} and \ref{2loopT}, the dotted vertical line and the

1240: right edge of the frame margin the intermediate-mass range of the Higgs boson.

1241: We observe that, within the latter, the $\mathcal{O}(G_F M_t^2)$ correction

1242: slightly exceeds the $\mathcal{O}(\alpha_s)$ one in magnitude, a rather

1243: surprising finding.

1244: Due to the sign difference, the two corrections practically compensate each 

1245: other.

1246: The two-loop electroweak correction induced by light-fermion loops, which has

1247: become available recently \cite{Aglietti:2004nj}, is also negative, but has a

1248: slightly smaller size than the $\mathcal{O}(G_F M_t^2)$ correction.

1249: 

1250: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1251: 

1252: \section{\label{sec::summary}Conclusions}

1253: 

1254: We calculated the dominant two-loop electroweak correction, of

1255: $\mathcal{O}(G_{F} M_{t}^{2})$, to the partial width of the decay into two

1256: photons of the SM Higgs boson in the intermediate mass range,

1257: $M_W\le M_H\le 2M_W$, where this process is of great phenomenological

1258: relevance for the searches at hadron colliders of this elusive missing link of

1259: the SM. 

1260: 

1261: We evaluated the relevant Feynman diagrams by application of the

1262: asymptotic-expan\-sion technique exploiting the mass hierarchy

1263: $2M_t\gg 2M_W\gg M_H$.

1264: In this way, we obtained an expansion of the full

1265: $\mathcal{O}(G_{F} M_{t}^{2})$ result in the mass ratio

1266: $\tau_{W}=M_{H}^{2}/(2M_{W})^{2}$ through $\mathcal{O}(\tau_{W}^{4})$.

1267: 

1268: The convergence property of this expansion and our experience with the

1269: analogue expansion at the Born level, where the exact result is available for 

1270: reference, lead us to believe that these five terms should provide a very good

1271: approximation to the exact result for $M_H\alt140$~GeV.

1272: By the same token, the deviation of this approximation for the

1273: $\mathcal{O}(G_{F} M_{t}^{2})$ amplitude $\mathcal{A}_{tW}^{(1)}$ from the

1274: unknown exact result for this quantity is likely to range from 2\% to 20\% as

1275: the value of $M_H$ runs from 140~GeV to $2M_W$.

1276: 

1277: In the intermediate Higgs-boson mass range, the $\mathcal{O}(G_{F} M_{t}^{2})$

1278: electroweak correction reduces the size of $\Gamma(H\to\gamma\gamma)$ by

1279: approximately 2.5\% and thus fully cancels the positive shift due to the

1280: well-known $\mathcal{O}(\alpha_s)$ QCD correction \cite{Djouadi:1990aj}.

1281: 

1282: As a by-product of our analysis, we also recovered the

1283: $\mathcal{O}(G_{F} M_{t}^{2})$ correction to the partial width of the decay

1284: into two gluon jets of the intermediate-mass Higgs boson, in agreement with

1285: the literature \cite{Djouadi:1994ge}.

1286: 

1287: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1288: 

1289: \bigskip

1290: \noindent

1291: {\bf Acknowledgements}

1292: \smallskip

1293: 

1294: We thank Paolo Gambino for a useful communication.

1295: This work was supported in part 

1296: by the Bundesministerium f\"ur Bildung und Forschung

1297: through Grant No.\ 05~HT4GUA/4, 

1298: by the Deutsche Forschungsgemeinschaft

1299: through Grant No.\ KN~365/1-1,

1300: by the Helmholtz-Gemeinschaft Deutscher Forschungszentren through

1301: Grant No.\ VH-NG-008,

1302: and by Sun Microsystems

1303: through Academic Equipment Grant No.~EDUD-7832-000332-GER.

1304: 

1305: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1306: 

1307: \begin{thebibliography}{99}

1308: 

1309: \bibitem{ewwg} The LEP Collaborations ALEPH, DELPHI, L3, OPAL, the LEP

1310: Electroweak Working Group, the SLD Electroweak and Heavy Flavour Groups,

1311: D. Abbaneo et al.,

1312: Report No.\ CERN-EP/2003-091, hep-ex/0312023.

1313: 

1314: \bibitem{Ellis:1975ap}

1315: J.R.~Ellis, M.K.~Gaillard, D.V.~Nanopoulos,

1316: Nucl.\ Phys.\ B 106 (1976) 292;\\

1317: B.L.~Ioffe, V.A.~Khoze,

1318: Fiz.\ Elem.\ Chastits At.\ Yadra 9 (1978) 118,

1319: [Sov.\ J. Part.\ Nucl.\ 9 (1978) 50].

1320: 

1321: \bibitem{Kniehl:1993ay}

1322: B.A.~Kniehl,

1323: Phys.\ Rept.\ 240 (1994) 211;\\

1324: M.~Spira,

1325: Fortsch.\ Phys.\ 46 (1998) 203.

1326: 

1327: \bibitem{Djouadi:1990aj}

1328: H.~Zheng, D.~Wu,

1329: Phys.\ Rev.\ D 42 (1990) 3760;\\

1330: A.~Djouadi, M.~Spira, J.J.~van der Bij, P.M.~Zerwas,

1331: Phys.\ Lett.\ B 257 (1991) 187;\\

1332: S. Dawson, R.P.~Kauffman,

1333: Phys.\ Rev.\ D 47 (1993) 1264;\\

1334: A.~Djouadi, M.~Spira, P.M.~Zerwas,

1335: Phys.\ Lett.\ B 311 (1993) 255;\\

1336: K.~Melnikov, O.I.~Yakovlev,

1337: Phys.\ Lett.\ B 312 (1993) 179;\\

1338: M.~Inoue, R.~Najima, T.~Oka, J.~Saito,

1339: Mod.\ Phys.\ Lett.\ A 9 (1994) 1189;\\

1340: J.~Fleischer, O.V.~Tarasov,

1341: Z.\ Phys.\ C 64 (1994) 413;\\

1342: J.~Fleischer, O.V.~Tarasov, V.O.~Tarasov,

1343: Phys.\ Lett.\ B 584 (2004) 294.

1344: 

1345: \bibitem{Ste96}

1346: M.~Steinhauser,

1347: in: B.A.~Kniehl (Ed.), Proceedings of the Ringberg Workshop on the Higgs

1348: Puzzle --- What can we learn from LEP2, LHC, NLC, and FMC?, Ringberg Castle,

1349: Germany, 8--13 December 1996, World Scientific, Singapore, 1997, p.~177,

1350: Report No.\ hep-ph/9612395. 

1351: 

1352: \bibitem{Aglietti:2004nj}

1353: U.~Aglietti, R.~Bonciani, G.~Degrassi, A.~Vicini,

1354: Report No.\ Rome1-1373/04, Freiburg-THEP 04/05, RM3-TH/04-6, IFUM-788/FT,

1355: hep-ph/0404071.

1356: 

1357: \bibitem{Smirnov:pj}

1358: V.A.~Smirnov,

1359: Applied Asymptotic Expansions in Momenta and Masses, Springer-Verlag,

1360: Berlin-Heidelberg, 2001.

1361: 

1362: \bibitem{Hagiwara:fs}

1363: Particle Data Group, K.~Hagiwara et al.,

1364: Phys.\ Rev.\ D 66 (2002) 010001.

1365: 

1366: \bibitem{Nogueira:1991ex}

1367: P.~Nogueira,

1368: J.\ Comput.\ Phys.\ 105 (1993) 279.

1369: 

1370: \bibitem{Seidensticker}

1371: T.~Seidensticker,

1372: unpublished.

1373: 

1374: \bibitem{Harlander:1997zb}

1375: T.~Seidensticker,

1376: in: G. Athanasiou (Ed.), Proceedings of the 6th International Workshop on New

1377: Computing Techniques in Physics Research: Software Engineering, Artificial

1378: Intelligence, Neural Nets, Genetic Algorithms, Symbolic Algebra, Automatic

1379: Calculation (AIHENP'99), Heraklion, Greece, 12-16 April 1999,

1380: SPIRES Conference No~C99/04/12, Report No.\ hep-ph/9905298;\\

1381: R.~Harlander, T.~Seidensticker, M.~Steinhauser,

1382: Phys.\ Lett.\ B 426 (1998) 125.

1383: 

1384: \bibitem{Steinhauser:2000ry}

1385: M.~Steinhauser,

1386: Comput.\ Phys.\ Commun.\ 134 (2001) 335.

1387: 

1388: \bibitem{Vermaseren}

1389: J.A.M.~Vermaseren,

1390: Symbolic Manipulation with FORM, Computer Algebra Netherlands, Amsterdam,

1391: 1991.

1392: 

1393: \bibitem{Shi79}

1394: A.I.~Va\u\i nshte\u\i n, M.B.~Voloshin, V.I.~Zakharov, M.A.~Shifman,

1395: Yad.\ Fiz.\ 30 (1979) 1368 [Sov.\ J. Nucl.\ Phys.\ 30 (1979) 711].

1396: 

1397: \bibitem{hll}

1398: B.A.~Kniehl, A.~Sirlin,

1399: Phys.\ Lett.\ B 318 (1993) 367;\\

1400: B.A.~Kniehl,

1401: Phys.\ Rev.\ D 50 (1994) 3314.

1402: 

1403: \bibitem{Liao:1996td}

1404: Y.~Liao, X.~Li,

1405: Phys.\ Lett.\ B 396 (1997) 225.

1406: 

1407: \bibitem{Djouadi:1997rj}

1408: A.~Djouadi, P.~Gambino, B.A.~Kniehl,

1409: Nucl.\ Phys.\ B 523 (1998) 17.

1410: 

1411: \bibitem{let}

1412: B.A.~Kniehl, M.~Spira,

1413: Z. Phys.\ C 69 (1995) 77;\\

1414: W.~Kilian,

1415: Z.\ Phys.\ C 69 (1995) 89;\\

1416: K.G.~Chetyrkin, B.A.~Kniehl, M.~Steinhauser,

1417: Nucl.\ Phys.\ B 510 (1998) 61.

1418: 

1419: \bibitem{Djouadi:1994ge}

1420: A.~Djouadi, P.~Gambino,

1421: Phys.\ Rev.\ Lett.\ 73 (1994) 2528;\\

1422: K.G.~Chetyrkin, B.A.~Kniehl, M.~Steinhauser,

1423: Phys.\ Rev.\ Lett.\ 78 (1997) 594;\\

1424: K.G.~Chetyrkin, B.A.~Kniehl, M.~Steinhauser,

1425: Nucl.\ Phys.\ B 490 (1997) 19.

1426: 

1427: \end{thebibliography}

1428: 

1429: \end{document}

1430: