1: \documentclass[12pt]{article}

2: \usepackage{a4wide,epsfig}

3: 

4: \usepackage{exscale}

5: \usepackage{axodraw}

6: \usepackage{amsmath}

7: \usepackage{slashed}

8: 

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: 

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

24: %The following macro is from world_sci.sty, originally written for DPF91

25: 

26: \catcode`@=11

27: % Collapse citation numbers to ranges.  Non-numeric and undefined labels

28: % are handled.  No sorting is done.  E.g., 1,3,2,3,4,5,foo,1,2,3,?,4,5

29: % gives 1,3,2-5,foo,1-3,?,4,5

30: \newcount\@tempcntc

31: \def\@citex[#1]#2{\if@filesw\immediate\write\@auxout{\string\citation{#2}}\fi

32:   \@tempcnta\z@\@tempcntb\m@ne\def\@citea{}\@cite{\@for\@citeb:=#2\do

33:     {\@ifundefined

34:        {b@\@citeb}{\@citeo\@tempcntb\m@ne\@citea\def\@citea{,}{\bf

35: ?}\@warning

36:        {Citation `\@citeb' on page \thepage \space undefined}}%

37:     {\setbox\z@\hbox{\global\@tempcntc0\csname b@\@citeb\endcsname\relax}%

38:      \ifnum\@tempcntc=\z@ \@citeo\@tempcntb\m@ne

39:        \@citea\def\@citea{,}\hbox{\csname b@\@citeb\endcsname}%

40:      \else

41:       \advance\@tempcntb\@ne

42:       \ifnum\@tempcntb=\@tempcntc

43:       \else\advance\@tempcntb\m@ne\@citeo

44:       \@tempcnta\@tempcntc\@tempcntb\@tempcntc\fi\fi}}\@citeo}{#1}}

45: \def\@citeo{\ifnum\@tempcnta>\@tempcntb\else\@citea\def\@citea{,}%

46:   \ifnum\@tempcnta=\@tempcntb\the\@tempcnta\else

47:    {\advance\@tempcnta\@ne\ifnum\@tempcnta=\@tempcntb \else

48: \def\@citea{--}\fi

49:     \advance\@tempcnta\m@ne\the\@tempcnta\@citea\the\@tempcntb}\fi\fi}

50: \catcode`@=12

51: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

52: 

53: \begin{document}

54: 

55: \title{

56: \vskip-3cm{\baselineskip14pt

57: \centerline{\normalsize DESY 07-003\hfill ISSN 0418-9833}

58: \centerline{\normalsize hep-ph/0702215\hfill}

59: \centerline{\normalsize January 2007\hfill}}

60: \vskip1.5cm

61: $\mathcal{O}(G_F^2m_t^4)$ two-loop electroweak correction to Higgs-boson decay

62: to bottom quarks}

63: 

64: \author{Mathias Butensch\"on, Frank Fugel, Bernd A. Kniehl\\

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

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

67: }

68: \date{}

69: \maketitle

70: 

71: \begin{abstract}

72: We analytically calculate the dominant two-loop electroweak correction, of

73: \break

74: $\mathcal{O}(G_F^2m_t^4)$, to the partial width of the decay of a Higgs boson,

75: with mass $M_H\ll m_t$, into a bottom-quark pair, and describe the most

76: important conceptual and technical details of our calculation.

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

78: $\mathcal{O}(\alpha_sG_Fm_t^{2})$ correction.

79: Relative to the Born result, the $\mathcal{O}(G_F^2m_t^4)$ correction turns

80: out to be approximately $+0.047\%$ and, thus, more than compensates the

81: $\mathcal{O}(\alpha_sG_Fm_t^2)$ one, which amounts to

82: approximately $-0.022\%$.

83: \medskip

84: 

85: \noindent

86: PACS numbers: 11.10.Gh, 12.15.Ji, 12.15. Lk, 14.80.Bn

87: \end{abstract}

88: 

89: 

90: \newpage

91: 

92: \section{Introduction}

93: 

94: The standard model (SM) of elementary particle physics predicts the existence

95: of a last undiscovered particle, the Higgs boson, whose mass $M_H$ is a free

96: parameter of the theory.

97: The direct search for the Higgs boson at the CERN Large Electron-Positron

98: Collider LEP~2 only led to a lower bound of $M_H>114$~GeV at 95\% confidence

99: level \cite{Barate:2003sz}.

100: On the other hand, high-precision measurements, especially at LEP and the SLAC

101: Linear Collider SLC, were sensitive to the Higgs-boson mass via electroweak

102: radiative corrections.

103: These indirect measurements yielded the value

104: $M_H=\left(85^{+39}_{-28}\right)$~GeV and

105: an upper limit of $M_H<166$~GeV at 95\% confidence level \cite{LEPEWWG}. 

106: The vacuum-stability and triviality bounds suggest that

107: $130\alt M_H\alt 180$~GeV if the SM is valid up to the grand-unification scale

108: (for a review, see Ref.~\cite{Kniehl:2001jy}).

109: For these reasons, one hopes to discover the Higgs boson at the CERN Large

110: Hadron Collider (LHC), which will be capable of producing particles with

111: masses up to 1~TeV.

112: The first question after discovering a new scalar particle will be if it

113: actually is the Higgs boson of the SM, or possibly some particle of an

114: extended Higgs sector.

115: Therefore, it is necessary to know the SM predictions for the production and

116: decay rates of the SM Higgs boson with high precision.

117: Its decay into a bottom-quark pair is of special interest, as it is by far the

118: dominant decay channel for $M_H\alt140$~GeV (see, for instance,

119: Ref.~\cite{Kniehl:1993ay}).

120: 

121: At this point, we wish to summarise the current status of the calculations

122: of radiative corrections to the $H\to b\overline{b}$ decay width in the

123: so-called intermediate mass range, defined by $M_W\le M_H\le 2M_W$.

124: The correction of order ${\cal O}(\alpha_s)$ was first calculated in

125: Ref.~\cite{Braaten:1980yq}.

126: The complete one-loop electroweak correction was found in

127: Ref.~\cite{Kniehl:1991}.

128: As for the ${\cal O}(\alpha_s^2)$ correction, the leading

129: \cite{Gorishnii:1991zr} and next-to-leading \cite{Surguladze:1994gc} terms of

130: the expansion in $m_b^2/M_H^2$ of the diagrams without top quarks are known.

131: The diagrams containing a top quark can be divided into two classes.

132: The diagrams containing gluon self-energy insertions were calculated

133: exactly \cite{Kniehl:1994vq}, while for the double-triangle contributions the

134: four leading terms of the expansion in $M_H^2/m_t^2$ are known

135: \cite{Chetyrkin:1995pd}.

136: In Ref.~\cite{Chetyrkin:1996sr}, the ${\cal O}(\alpha_s^3)$ correction

137: without top-quark contributions was calculated in the massless limit.

138: The correction induced by th top quark was subsequently found in

139: Ref.~\cite{Chetyrkin:1997vj} using an appropriate effective field theory.

140: As for the correction of order ${\cal O}(\alpha_s G_F m_t^2)$, the universal

141: part, which appears for any Higgs-boson decay to a fermion pair, was

142: calculated in Ref.~\cite{Kniehl:1994ph} and the non-universal one, using a

143: low-energy theorem, in Ref.~\cite{KniehlSpira}.

144: The latter result was independently found in Ref.~\cite{Kwiatkowski:1994cu}.

145: Apart from the Higgs-boson decay into a $t\overline{t}$ pair, only the one

146: into a $b\overline{b}$ pair has such non-universal top-quark-induced

147: contributions, as bottom is the weak-isospin partner of top.

148: The universal and non-universal corrections of order

149: ${\cal O}(\alpha_s^2 G_F m_t^2)$ were calculated in

150: Refs.~\cite{delu} and \cite{Chetyrkin:1996ke}, respectively.

151: Finally, also a result for the universal correction of order

152: ${\cal O}(G_F^2 m_t^4)$ was published \cite{Djouadi}.

153: 

154: In this paper, we calculate the complete correction of order

155: ${\cal O}(G_F^2 m_t^4)$, including both the universal and non-universal

156: contributions.

157: To this end, we formally assume that $M_H\ll m_t$.

158: This includes the intermediate mass range of the Higgs boson.

159: Our result for the universal contribution in the on-mass-shell scheme agrees

160: with the one found in Ref.~\cite{Djouadi}, after correcting an obvious mistake

161: in the latter paper.

162: The key results of our calculation were already presented in a brief

163: communication \cite{prl}.

164: Here, the full details are exhibited.

165: 

166: Our calculations are performed in 't~Hooft-Feynman gauge.

167: We adopt the on-mass-shell scheme and regularise the ultraviolet divergences

168: by means of dimensional regularisation, with $D=4-2\epsilon$ space-time

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

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

171: As a simplification, we take the Cabibbo-Kobayashi-Maskawa quark mixing matrix

172: to be unity.

173: The Feynman diagrams are generated and drawn using the program

174: \texttt{FeynArts} \cite{Hahn:2000kx} and evaluated using the program

175: \texttt{MATAD} \cite{MATAD}, which is written in the programming language

176: \texttt{FORM} \cite{FORM}.

177: 

178: In order to check our calculations, we also rederive the correction of order

179: ${\cal O}(\alpha_s G_F m_t^2)$.

180: Our result agrees with

181: Refs.~\cite{Kniehl:1994ph,KniehlSpira,Kwiatkowski:1994cu}.

182: Since this calculation follows the lines of the one leading to the

183: ${\cal O}(G_F^2 m_t^4)$ correction, being actually simpler, we refrain from

184: going into details with it.

185: 

186: This paper is organised as follows.

187: In Section~\ref{CapRenSchema}, we describe in detail the renormalisation

188: procedure underlying our analysis.

189: In Section~\ref{CapOurCalc}, we present the details of our diagrammatic

190: calculations.

191: In Section~\ref{CapNieder}, we explain how a part of our calculations can be

192: checked through the application of a low-energy theorem.

193: In Section~\ref{Numerics}, we evaluate the ${\cal O}(G_F^2 m_t^4)$ corrections

194: numerically and compare them with the ${\cal O}(\alpha_s G_F m_t^2)$ ones.

195: We conclude with a summary in Section~\ref{CapZusammenfassung}.

196: 

197: \section{Renormalisation procedure}

198: \label{CapRenSchema}

199: 

200: For the reader's convenience, we present in this section the details of the

201: renormalisation procedure which has to be carried out.

202: We derive general expressions for the mass counterterms and wave-function

203: renormalisation constants in the on-shell scheme, valid for any number

204: of loops.

205: Furthermore, we derive the tadpole renormalisation counterterms and describe

206: the treatment of the corrections due to external legs.

207: In our calculations, we do not need to consider electric-charge

208: renormalisation constants, because, to the orders we consider here,

209: there are no such contributions.

210: 

211: Before going into details, we would like to mention that the expressions for

212: the mass and wave-function renormalisation constants to be derived here are

213: only valid for stable particles.

214: Instable particles do have complex self-energy amplitudes, so that their

215: resummed propagators have complex poles.

216: In that case, the renormalisation conditions are more complicated (see, for

217: instance, Ref.~\cite{Kniehl:1998fn}).

218: Since all self-energy amplitudes appearing in the calculations of this paper

219: are real, we can restrict ourselves to the case of stable particles.

220: 

221: \subsection{Mass and wave-function renormalisation}

222: \label{KapMassPar}

223: 

224: We write the bare masses in the Lagrangian as sums of the renormalised ones

225: and the mass counterterms.

226: In the on-shell scheme, we fix this splitting by the requirement that the

227: renormalised masses are identical to the poles of the propagators including

228: all radiative corrections.

229: Furthermore, the wave-function renormalisation constants are obtained as the

230: residues of the propagators at their poles.

231: 

232: \subsubsection{Higgs-boson mass and wave-function renormalisation}

233: \label{sec:higgs}

234: 

235: For the amputated one-particle-irreducible self-energy of the Higgs

236: boson, we write

237: \begin{equation}

238: \begin{minipage}{112pt}

239: \begin{picture}(112,32)

240:   \GOval(56,16)(16,16)(0){0.882}

241:   \Text(56,16)[]{1-PI}

242:   \DashLine(40,16)(0,16){4}

243:   \DashLine(72,16)(112,16){4}

244:   \Text(92,19)[b]{$H$}

245:   \Text(20,19)[b]{$H$}

246:   \LongArrow(12,11)(28,11)

247:   \Text(20,9)[t]{$q$}

248: \end{picture}

249: \end{minipage}

250: =i\Sigma_H(q^2).

251: \end{equation}

252: Thus, the dressed propagator, including all radiative corrections, becomes

253: \begin{eqnarray}

254: S_H^{-1}(q^2)&=&

255: \begin{minipage}{48pt}

256: \begin{picture}(48,32)

257:   \DashLine(0,16)(48,16){4}

258: \end{picture}

259: \end{minipage}

260: +

261: \begin{minipage}{80pt}

262: \begin{picture}(80,32)

263:   \GOval(40,16)(16,16)(0){0.882}

264:   \Text(40,16)[]{1-PI}

265:   \DashLine(24,16)(0,16){4}

266:   \DashLine(56,16)(80,16){4}

267: \end{picture}

268: \end{minipage}

269: +

270: \begin{minipage}{112pt}

271: \begin{picture}(112,32)

272:   \DashLine(0,16)(16,16){4}

273:   \GOval(32,16)(16,16)(0){0.882}

274:   \Text(32,16)[]{1-PI}

275:   \DashLine(48,16)(64,16){4}

276:   \GOval(80,16)(16,16)(0){0.882}

277:   \Text(80,16)[]{1-PI}

278:   \DashLine(96,16)(112,16){4}

279: \end{picture}

280: \end{minipage}

281: +\ldots \nonumber \\

282: &=& \frac{i}{q^2-M_{H,0}^2}\sum_{n=0}^\infty

283: \left(i\Sigma_H(q^2)\frac{i}{q^2-M_{H,0}^2}\right)^n

284: \nonumber \\ 

285: &=&\frac{i}{q^2-M_{H,0}^2+\Sigma_H(q^2)}.

286: \label{HiggsPropSum}

287: \end{eqnarray}

288: 

289: The on-shell renormalisation condition reads

290: \begin{equation} \label{HiggsMassenBed}

291: S_H(M_H^2) \stackrel{!}{=} 0.

292: \end{equation}

293: Writing the bare mass of the Higgs boson as the sum of the renormalised mass

294: and a counterterm, $M_{H,0}^2 = M_H^2+\delta M_H^2$, we have

295: \begin{equation} \label{AusdrDmHq1loop}

296: \delta M_H^2 = \Sigma_H(M_H^2).

297: \end{equation}

298: Here and in the following, it is understood that, in the expression for a

299: counter\-term, all bare quantities have to be replaced by the renormalised ones

300: plus the respective counter\-terms.

301: In the case of the Higgs-boson mass counterterm, this means that

302: $\Sigma_H(M_H^2)$ has to be expressed in terms of renormalised quantities.

303: For higher-order expressions, this has to be done iteratively.

304: 

305: Expanding Eq.~(\ref{HiggsPropSum}) about $q^2=M_H^2$ and taking the limit

306: $q^2\to M_H^2$,

307: \begin{eqnarray}

308: S_H^{-1}(q^2)&=&\frac{i}{q^2-M_H^2}\,

309: \frac{1}{1+\Sigma_H^\prime\left(M_H^2\right)+{\cal O}\left(q^2-M_H^2\right)}

310: \nonumber\\

311: &&{}\xrightarrow{q^2\to M_H^2}\frac{iZ_H}{q^2-M_H^2},

312: \end{eqnarray}

313: we read off the Higgs-boson wave-function renormalisation constant as

314: \begin{equation}

315: Z_H = \frac{1}{1+\Sigma_H^\prime(M_H^2)}.

316: \label{zh}

317: \end{equation}

318: Writing $Z_H= 1+\delta Z_H$ and performing a loop expansion of Eq.~(\ref{zh}),

319: we have

320: \begin{eqnarray}

321: \delta Z_H^{(1)} &=& -\Sigma_H^{(1)\prime}(M_H^2),

322: \label{AusdrDZH1loop}\\

323: \delta Z_H^{(2)} &=&

324: -\Sigma_H^{(2)\prime}(M_H^2) +

325: \left(\Sigma_H^{(1)\prime}(M_H^2)\right)^2.

326: \label{AusdrDZH2loop}

327: \end{eqnarray}

328: Here and in the following, numbers placed in parentheses as superscripts

329: specify the loop order of the perturbative expression.

330: 

331: \subsubsection{Fermion mass and wave-function renormalisation}

332: \label{KapFermMassRen}

333: 

334: The amputated one-particle-irreducible self-energy of fermion $f$ has the form

335: \begin{equation} 

336: \begin{minipage}{112pt}

337: \begin{picture}(112,32)

338:   \GOval(56,16)(16,16)(0){0.882}

339:   \Text(56,16)[]{1-PI}

340:   \ArrowLine(0,16)(40,16)

341:   \ArrowLine(72,16)(112,16)

342:   \Text(92,20)[b]{$f$}

343:   \Text(20,20)[b]{$f$}

344:   \LongArrow(12,11)(28,11)

345:   \Text(20,9)[t]{$q$}

346: \end{picture}

347: \end{minipage}

348: =i\Sigma_f(q)=i\slashed{q}\omega_- \Sigma_{f,L}(q^2)

349: +i\slashed{q}\omega_+ \Sigma_{f,R}(q^2) 

350: + im_{f,0} \Sigma_{f,S}(q^2),

351: \label{FermSelbstDef}

352: \end{equation}

353: where $m_{f,0}$ is the bare mass of fermion $f$ and

354: $\omega_\pm =(1\pm\gamma_5)/2$ are the projectors onto the helicity

355: eigenstates.

356: 

357: The fermion field $f$ is composed of left- and right-handed components, $l$

358: and $r$, respectively, as

359: \begin{equation}

360: f = l + r , \qquad l = \omega_- f , \qquad r = \omega_+ f.

361: \end{equation}

362: In the electroweak theory, $l$ and $r$ interact differently, which has to be

363: accounted for in the renormalisation procedure.

364: In terms of these components, the purely fermionic part of the SM Lagrangian

365: reads:

366: \begin{equation}

367: {\cal L} = \overline{f}(i\slashed{\partial}-m_{f,0})f

368: = i\overline{l}\slashed{\partial}l 

369: + i\overline{r}\slashed{\partial}r 

370: - m_{f,0}\overline{r}l - m_{f,0}\overline{l}r.

371: \end{equation}

372: We see that $l$ and $r$ are massless fermion fields with propagators

373: \begin{equation} 

374: \begin{minipage}{48pt}

375: \begin{picture}(48,32)

376:   \ArrowLine(0,16)(48,16)

377:   \Text(24,20)[b]{$l$}

378:   \LongArrow(16,11)(32,11)

379:   \Text(24,9)[t]{$q$}

380: \end{picture}

381: \end{minipage}

382:  = 

383: \begin{minipage}{48pt}

384: \begin{picture}(48,32)

385:   \ArrowLine(0,16)(48,16)

386:   \Text(24,20)[b]{$r$}

387:   \LongArrow(16,11)(32,11)

388:   \Text(24,9)[t]{$q$}

389: \end{picture}

390: \end{minipage}

391:  =  \frac{i}{\slashed{q}}.

392: \label{FermFirst}

393: \end{equation}

394: In addition, we have the following $r$-$l$ transition vertices:

395: \begin{equation}

396: \begin{minipage}{48pt}

397: \begin{picture}(48,32)

398:   \ArrowLine(0,16)(24,16)

399:   \Vertex(24,16){2}

400:   \ArrowLine(24,16)(48,16)

401:   \Text(12,20)[b]{$l$}

402:   \Text(36,20)[b]{$r$}

403: \end{picture}

404: \end{minipage}

405:  = 

406: \begin{minipage}{48pt}

407: \begin{picture}(48,32)

408:   \ArrowLine(0,16)(24,16)

409:   \Vertex(24,16){2}

410:   \ArrowLine(24,16)(48,16)

411:   \Text(12,20)[b]{$r$}

412:   \Text(36,20)[b]{$l$}

413: \end{picture}

414: \end{minipage}

415:  =  -i m_{f,0}.

416: \label{FermSecond}

417: \end{equation}

418: From Eq.~(\ref{FermSelbstDef}), we read off the amputated

419: one-particle-irreducible self-energies pertaining to the four different

420: helicity combinations as

421: \begin{eqnarray}

422: \begin{minipage}{80pt}

423: \begin{picture}(80,32)

424:   \GOval(40,16)(16,16)(0){0.882}

425:   \Text(40,16)[]{1-PI}

426:   \ArrowLine(0,16)(24,16)

427:   \ArrowLine(56,16)(80,16)

428:   \Text(68,20)[b]{$l$}

429:   \Text(12,20)[b]{$l$}

430:   \LongArrow(4,11)(20,11)

431:   \Text(12,9)[t]{$q$}

432: \end{picture}

433: \end{minipage}

434: &=&i \slashed{q}\Sigma_{f,L}(q^2),

435: \nonumber\\

436: \begin{minipage}{80pt}

437: \begin{picture}(80,32)

438:   \GOval(40,16)(16,16)(0){0.882}

439:   \Text(40,16)[]{1-PI}

440:   \ArrowLine(0,16)(24,16)

441:   \ArrowLine(56,16)(80,16)

442:   \Text(68,20)[b]{$r$}

443:   \Text(12,20)[b]{$r$}

444:   \LongArrow(4,11)(20,11)

445:   \Text(12,9)[t]{$q$}

446: \end{picture}

447: \end{minipage}

448: &=&i \slashed{q}\Sigma_{f,R}(q^2),

449: \nonumber\\

450: \begin{minipage}{80pt}

451: \begin{picture}(80,32)

452:   \GOval(40,16)(16,16)(0){0.882}

453:   \Text(40,16)[]{1-PI}

454:   \ArrowLine(0,16)(24,16)

455:   \ArrowLine(56,16)(80,16)

456:   \Text(68,20)[b]{$r$}

457:   \Text(12,20)[b]{$l$}

458:   \LongArrow(4,11)(20,11)

459:   \Text(12,9)[t]{$q$}

460: \end{picture}

461: \end{minipage}

462: &=& 

463: \begin{minipage}{80pt}

464: \begin{picture}(80,32)

465:   \GOval(40,16)(16,16)(0){0.882}

466:   \Text(40,16)[]{1-PI}

467:   \ArrowLine(0,16)(24,16)

468:   \ArrowLine(56,16)(80,16)

469:   \Text(68,20)[b]{$l$}

470:   \Text(12,20)[b]{$r$}

471:   \LongArrow(4,11)(20,11)

472:   \Text(12,9)[t]{$q$}

473: \end{picture}

474: \end{minipage}

475: =i m_{f,0}\Sigma_{f,S}(q^2).

476: \label{FermLast}

477: \end{eqnarray}

478: Note that above expressions do not yet include the tree-level contributions

479: from Eqs.~(\ref{FermFirst}) and (\ref{FermSecond}).

480: Equations~(\ref{FermFirst})--(\ref{FermLast}) are the ingredients out of which

481: we construct the propagators of the left- and right-handed fields including

482: all radiative corrections.

483: This is done in close analogy to the case of $\gamma$-$Z$-mixing (see, e.g.,

484: Ref.~\cite{Hollik:1988ii}).

485: To this end, we introduce the propagator-type symbols

486: \begin{eqnarray}

487: \begin{minipage}{48pt}

488: \begin{picture}(48,32)

489:   \ArrowLine(0,16)(48,16)

490:   \Curve{(20,19)(28,19)}

491:   \Curve{(20,13)(28,13)}

492:   \Text(24,22)[b]{$l$}

493: \end{picture}

494: \end{minipage}

495: :&=&

496: \begin{minipage}{48pt}

497: \begin{picture}(48,32)

498:   \ArrowLine(0,16)(48,16)

499:   \Text(24,20)[b]{$l$}

500: \end{picture}

501: \end{minipage}

502: +

503: \begin{minipage}{80pt}

504: \begin{picture}(80,32)

505:   \GOval(40,16)(16,16)(0){0.882}

506:   \Text(40,16)[]{1-PI}

507:   \ArrowLine(0,16)(24,16)

508:   \ArrowLine(56,16)(80,16)

509:   \Text(68,20)[b]{$l$}

510:   \Text(12,20)[b]{$l$}

511: \end{picture}

512: \end{minipage}

513: +

514: \begin{minipage}{112pt}

515: \begin{picture}(112,32)

516:   \ArrowLine(0,16)(16,16)

517:   \Text(8,20)[b]{$l$}

518:   \GOval(32,16)(16,16)(0){0.882}

519:   \Text(32,16)[]{1-PI}

520:   \ArrowLine(48,16)(64,16)

521:   \Text(56,20)[b]{$l$}

522:   \GOval(80,16)(16,16)(0){0.882}

523:   \Text(80,16)[]{1-PI}

524:   \ArrowLine(96,16)(112,16)

525:   \Text(104,20)[b]{$l$}

526: \end{picture}

527: \end{minipage}

528: +\ldots

529: \nonumber\\

530: &=& \frac{i}{\slashed{q}} \sum_{n=0}^\infty \left(

531: i\slashed{q}\Sigma_{f,L}(q^2)\frac{i}{\slashed{q}} \right)^n

532: = \frac{i}{\slashed{q}\left(1+\Sigma_{f,L}(q^2)\right)},

533: \nonumber\\

534: \begin{minipage}{48pt}

535: \begin{picture}(48,32)

536:   \ArrowLine(0,16)(48,16)

537:   \Curve{(20,19)(28,19)}

538:   \Curve{(20,13)(28,13)}

539:   \Text(24,22)[b]{$r$}

540: \end{picture}

541: \end{minipage}

542: :&=&

543: \begin{minipage}{48pt}

544: \begin{picture}(48,32)

545:   \ArrowLine(0,16)(48,16)

546:   \Text(24,20)[b]{$r$}

547: \end{picture}

548: \end{minipage}

549: +

550: \begin{minipage}{80pt}

551: \begin{picture}(80,32)

552:   \GOval(40,16)(16,16)(0){0.882}

553:   \Text(40,16)[]{1-PI}

554:   \ArrowLine(0,16)(24,16)

555:   \ArrowLine(56,16)(80,16)

556:   \Text(68,20)[b]{$r$}

557:   \Text(12,20)[b]{$r$}

558: \end{picture}

559: \end{minipage}

560: +

561: \begin{minipage}{112pt}

562: \begin{picture}(112,32)

563:   \ArrowLine(0,16)(16,16)

564:   \Text(8,20)[b]{$r$}

565:   \GOval(32,16)(16,16)(0){0.882}

566:   \Text(32,16)[]{1-PI}

567:   \ArrowLine(48,16)(64,16)

568:   \Text(56,20)[b]{$r$}

569:   \GOval(80,16)(16,16)(0){0.882}

570:   \Text(80,16)[]{1-PI}

571:   \ArrowLine(96,16)(112,16)

572:   \Text(104,20)[b]{$r$}

573: \end{picture}

574: \end{minipage}

575: +\ldots

576: \nonumber\\

577: &=& \frac{i}{\slashed{q}} \sum_{n=0}^\infty \left(

578: i\slashed{q}\Sigma_{f,R}(q^2)\frac{i}{\slashed{q}} \right)^n

579: = \frac{i}{\slashed{q}\left(1+\Sigma_{f,R}(q^2)\right)},

580: \end{eqnarray}

581: and the vertex-type symbols

582: \begin{eqnarray}

583: \begin{minipage}{60pt}

584: \begin{picture}(60,32)

585:   \GOval(30,16)(6,6)(0){0.882}

586:   \Vertex(30,16){2}

587:   \ArrowLine(0,16)(24,16)

588:   \ArrowLine(36,16)(60,16)

589:   \Text(48,20)[b]{$r$}

590:   \Text(12,20)[b]{$l$}

591: \end{picture}

592: \end{minipage}

593: :&=&

594: \begin{minipage}{48pt}

595: \begin{picture}(48,32)

596:   \ArrowLine(0,16)(24,16)

597:   \Vertex(24,16){2}

598:   \ArrowLine(24,16)(48,16)

599:   \Text(12,20)[b]{$l$}

600:   \Text(36,20)[b]{$r$}

601: \end{picture}

602: \end{minipage}

603: +

604: \begin{minipage}{80pt}

605: \begin{picture}(80,32)

606:   \GOval(40,16)(16,16)(0){0.882}

607:   \Text(40,16)[]{1-PI}

608:   \ArrowLine(0,16)(24,16)

609:   \ArrowLine(56,16)(80,16)

610:   \Text(68,20)[b]{$r$}

611:   \Text(12,20)[b]{$l$}

612: \end{picture}

613: \end{minipage}

614: = im_{f,0}\left(\Sigma_{f,S}(q^2)-1 \right),

615: \nonumber\\

616: \begin{minipage}{60pt}

617: \begin{picture}(60,32)

618:   \GOval(30,16)(6,6)(0){0.882}

619:   \Vertex(30,16){2}

620:   \ArrowLine(0,16)(24,16)

621:   \ArrowLine(36,16)(60,16)

622:   \Text(48,20)[b]{$l$}

623:   \Text(12,20)[b]{$r$}

624: \end{picture}

625: \end{minipage}

626: :&=&

627: \begin{minipage}{48pt}

628: \begin{picture}(48,32)

629:   \ArrowLine(0,16)(24,16)

630:   \Vertex(24,16){2}

631:   \ArrowLine(24,16)(48,16)

632:   \Text(12,20)[b]{$r$}

633:   \Text(36,20)[b]{$l$}

634: \end{picture}

635: \end{minipage}

636: +

637: \begin{minipage}{80pt}

638: \begin{picture}(80,32)

639:   \GOval(40,16)(16,16)(0){0.882}

640:   \Text(40,16)[]{1-PI}

641:   \ArrowLine(0,16)(24,16)

642:   \ArrowLine(56,16)(80,16)

643:   \Text(68,20)[b]{$l$}

644:   \Text(12,20)[b]{$r$}

645: \end{picture}

646: \end{minipage}

647: = im_{f,0}\left(\Sigma_{f,S}(q^2)-1 \right).

648: \end{eqnarray}

649: Next, we evaluate the dressed propagator of the left-handed fermion field,

650: including all radiative corrections, as

651: \begin{eqnarray}

652: S_{ll}^{-1}(q) &=&

653: \begin{minipage}{48pt}

654: \begin{picture}(48,32)

655:   \ArrowLine(0,16)(48,16)

656:   \Curve{(20,19)(28,19)}

657:   \Curve{(20,13)(28,13)}

658:   \Text(24,22)[b]{$l$}

659: \end{picture}

660: \end{minipage}

661: +

662: \begin{minipage}{96pt}

663: \begin{picture}(96,32)

664:   \ArrowLine(0,16)(24,16)

665:   \Text(12,22)[b]{$l$}

666:   \Curve{(8,19)(16,19)}

667:   \Curve{(8,13)(16,13)}

668:   \GOval(30,16)(6,6)(0){0.882}

669:   \Vertex(30,16){2}

670:   \ArrowLine(36,16)(60,16)

671:   \Text(48,22)[b]{$r$}

672:   \Curve{(42,19)(52,19)}

673:   \Curve{(42,13)(52,13)}

674:   \GOval(66,16)(6,6)(0){0.882}

675:   \Vertex(66,16){2}

676:   \ArrowLine(72,16)(96,16)

677:   \Text(84,22)[b]{$l$}

678:   \Curve{(80,19)(88,19)}

679:   \Curve{(80,13)(88,13)}

680: \end{picture}

681: \end{minipage}

682: +

683: \begin{minipage}{168pt}

684: \begin{picture}(168,32)

685:   \ArrowLine(0,16)(24,16)

686:   \Text(12,22)[b]{$l$}

687:   \Curve{(8,19)(16,19)}

688:   \Curve{(8,13)(16,13)}

689:   \GOval(30,16)(6,6)(0){0.882}

690:   \Vertex(30,16){2}

691:   \ArrowLine(36,16)(60,16)

692:   \Text(48,22)[b]{$r$}

693:   \Curve{(42,19)(52,19)}

694:   \Curve{(42,13)(52,13)}

695:   \GOval(66,16)(6,6)(0){0.882}

696:   \Vertex(66,16){2}

697:   \ArrowLine(72,16)(96,16)

698:   \Text(84,22)[b]{$l$}

699:   \Curve{(80,19)(88,19)}

700:   \Curve{(80,13)(88,13)}

701:   \GOval(102,16)(6,6)(0){0.882}

702:   \Vertex(102,16){2}

703:   \ArrowLine(108,16)(132,16)

704:   \Text(120,22)[b]{$r$}

705:   \Curve{(116,19)(124,19)}

706:   \Curve{(116,13)(124,13)}

707:   \GOval(138,16)(6,6)(0){0.882}

708:   \Vertex(138,16){2}

709:   \ArrowLine(144,16)(168,16)

710:   \Text(156,22)[b]{$l$}

711:   \Curve{(152,19)(160,19)}

712:   \Curve{(152,13)(160,13)}

713: \end{picture}

714: \end{minipage}

715: +\ldots

716: \nonumber\\

717: &=&\frac{i}{\slashed{q}\left( 1 + \Sigma_{f,L}(q^2)

718:   \right)}\sum_{n=0}^\infty \left[ im_{f,0} \left(

719: \Sigma_{f,S}(q^2)-1\right) \frac{i}{\slashed{q}\left( 1 + \Sigma_{f,R}(q^2)

720:   \right)}  im_{f,0} \left( \Sigma_{f,S}(q^2)-1\right) 

721: \right.

722: \nonumber\\

723: &&{}\times\left.

724: \frac{i}{\slashed{q}\left( 1 + \Sigma_{f,L}(q^2) \right)} \right]^n

725: \nonumber\\

726: &=&\frac{i\slashed{q}}{1+\Sigma_{f,L}(q^2)}\,\frac{1}{q^2 -

727:   m_{f,0}^2f(q^2)},

728: \label{LPropSum}

729: \end{eqnarray}

730: where

731: \begin{equation}

732: f(q^2)=\frac{(1-\Sigma_{f,S}(q^2))^2}{(1+\Sigma_{f,L}(q^2))

733: (1+\Sigma_{f,R}(q^2))}.

734: \end{equation}

735: In a similar way, we find the dressed propagator of the right-handed fermion

736: field, including all radiative corrections, to be

737: \begin{equation} 

738: S_{rr}^{-1}(q) =

739: \frac{i\slashed{q}}{1+\Sigma_{f,R}(q^2)}\,\frac{1}{q^2 -

740: m_{f,0}^2 f(q^2)}.

741: \label{RPropSum}

742: \end{equation}

743: For completeness, we also resum the loop contributions by which a left-handed

744: field converts into a right-handed one and vice versa.

745: Proceeding similarly as in Eq.~(\ref{LPropSum}), we obtain

746: \begin{eqnarray} 

747: S_{lr}^{-1}(q) &=&

748: \begin{minipage}{60pt}

749: \begin{picture}(60,32)

750:   \ArrowLine(0,16)(24,16)

751:   \Text(12,22)[b]{$l$}

752:   \Curve{(8,19)(16,19)}

753:   \Curve{(8,13)(16,13)}

754:   \GOval(30,16)(6,6)(0){0.882}

755:   \Vertex(30,16){2}

756:   \ArrowLine(36,16)(60,16)

757:   \Text(48,22)[b]{$r$}

758:   \Curve{(42,19)(52,19)}

759:   \Curve{(42,13)(52,13)}

760: \end{picture}

761: \end{minipage}

762: +

763: \begin{minipage}{132pt}

764: \begin{picture}(132,32)

765:   \ArrowLine(0,16)(24,16)

766:   \Text(12,22)[b]{$l$}

767:   \Curve{(8,19)(16,19)}

768:   \Curve{(8,13)(16,13)}

769:   \GOval(30,16)(6,6)(0){0.882}

770:   \Vertex(30,16){2}

771:   \ArrowLine(36,16)(60,16)

772:   \Text(48,22)[b]{$r$}

773:   \Curve{(42,19)(52,19)}

774:   \Curve{(42,13)(52,13)}

775:   \GOval(66,16)(6,6)(0){0.882}

776:   \Vertex(66,16){2}

777:   \ArrowLine(72,16)(96,16)

778:   \Text(84,22)[b]{$l$}

779:   \Curve{(80,19)(88,19)}

780:   \Curve{(80,13)(88,13)}

781:   \GOval(102,16)(6,6)(0){0.882}

782:   \Vertex(102,16){2}

783:   \ArrowLine(108,16)(132,16)

784:   \Text(120,22)[b]{$r$}

785:   \Curve{(116,19)(124,19)}

786:   \Curve{(116,13)(124,13)}

787: \end{picture}

788: \end{minipage}

789: +\ldots

790: \nonumber\\

791: &=&\frac{i}{\slashed{q}\left( 1 + \Sigma_{f,L}(q^2) \right)} 

792: im_{f,0} \left( \Sigma_{f,S}(q^2)-1\right)  \frac{i}{\slashed{q}\left( 1 + 

793: \Sigma_{f,R}(q^2) \right)}

794: \nonumber\\

795: &&{}\times \sum_{n=0}^\infty \left[ im_{f,0} \left( 

796: \Sigma_{f,S}(q^2)-1\right) \frac{i}{\slashed{q}\left( 1 + 

797: \Sigma_{f,L}(q^2) \right)}  

798: im_{f,0} \left( \Sigma_{f,S}(q^2)-1\right)

799: \right.

800: \nonumber\\

801: &&{}\times\left.\frac{i}{\slashed{q}\left( 1 + 

802: \Sigma_{f,R}(q^2) \right)} \right]^n

803: \nonumber\\ 

804: &=& \frac{im_{f,0}(1-\Sigma_{f,S}(q^2))} 

805: {(1+\Sigma_{f,L}(q^2))(1+\Sigma_{f,R}(q^2))} \,\frac{1}{q^2 - 

806: m_{f,0}^2f(q^2)}.

807: \label{PropLtoR}

808: \end{eqnarray}

809: Since Eq.~(\ref{PropLtoR}) is symmetric under the interchange of the indices

810: $L$ and $R$, we also have

811: \begin{equation}

812: S_{rl}^{-1}(q)=S_{lr}^{-1}(q).

813: \label{rightleft}

814: \end{equation}

815: 

816: We now derive the fermion mass counterterm.

817: Writing $m_{f,0} = m_f + \delta m_f$, where $m_f$ is the renormalised mass and

818: $\delta m_f$ is the mass counterterm, and imposing the on-shell

819: renormalisation condition,

820: \begin{equation}

821: \left.S_{ij}(q)u_f(q)\right|_{q^2=m_f^2} \stackrel{!}{=}0,

822: \label{FermMassA}

823: \end{equation}

824: where $ij=ll,rr,lr,rl$ and $u_f(q)$ is the spinor of the incoming fermion $f$,

825: we obtain

826: \begin{equation}

827: \frac{\delta m_f}{m_f} =\frac{1}{\sqrt{f\left(m_f^2\right)}}-1.

828: \label{FermMassB}

829: \end{equation}

830: Expanding Eq.~(\ref{FermMassB}), we find the explicit one- and two-loop

831: expressions,

832: \begin{eqnarray}

833: {\frac{\delta m_f^{(1)}}{m_f}}&=& \frac{1}{2}\Sigma_{f,L}^{(1)}(m_f^2)+

834: \frac{1}{2}\Sigma_{f,R}^{(1)}(m_f^2)+\Sigma_{f,S}^{(1)}(m_f^2),

835: \label{DeltaMF1Loop}\\

836: {\frac{\delta m_f^{(2)}}{m_f}}&=&\frac{1}{2}\Sigma_{f,L}^{(2)}(m_f^2)

837: +\frac{1}{2}\Sigma_{f,R}^{(2)}(m_f^2)+\Sigma_{f,S}^{(2)}(m_f^2)

838: -\frac{1}{8}\left(\Sigma_{f,L}^{(1)}(m_f^2)-\Sigma_{f,R}^{(1)}(m_f^2)\right)^2

839: \nonumber\\

840: &&{}+\Sigma_{f,S}^{(1)}(m_f^2){\frac{\delta m_f^{(1)}}{m_f}}.

841: \label{DeltaMF2Loop}

842: \end{eqnarray}

843: The one-loop expression of Eq.~(\ref{DeltaMF1Loop}) is well known (see, e.g.,

844: Ref.~\cite{Kniehl:1991}).

845: The two-loop expression of Eq.~(\ref{DeltaMF2Loop}) agrees with the one

846: obtained in Ref.~\cite{Faisst} using an alternative procedure.

847: 

848: Finally, we derive the wave-function renormalisation constants for the

849: left-handed and right-handed fields.

850: Expanding Eqs.~(\ref{LPropSum}) and (\ref{RPropSum})--(\ref{rightleft}) about

851: $\slashed{q}=m_f$ and taking the limit $\slashed{q}\to m_f$, we have

852: \begin{eqnarray}

853: S_{ll/rr}^{-1}(q)&=&\frac{i\slashed{q}}{q^2-m_f^2}

854: \,\frac{1}{\left(1+\Sigma_{f,L/R}(m_f^2)\right)

855: \left(1-m_f^2\frac{f^\prime(m_f^2)}{f(m_f^2)}\right)

856: +{\cal O}\left(q^2-m_f^2\right)}

857: \nonumber\\

858: &&{}\xrightarrow{q^2\to m_f^2}\frac{i\slashed{q}Z_{f,L/R}}{q^2-m_f^2},

859: \nonumber\\

860: S_{lr/rl}^{-1}(q)&=&\frac{im_f}{q^2-m_f^2}

861: \,\frac{1}{\sqrt{\left(1+\Sigma_{f,L}(m_f^2)\right)

862: \left(1+\Sigma_{f,R}(m_f^2)\right)}

863: \left(1-m_f^2\frac{f^\prime(m_f^2)}{f(m_f^2)}\right)

864: +{\cal O}\left(q^2-m_f^2\right)}

865: \nonumber\\

866: &&{}\xrightarrow{q^2\to m_f^2}\frac{im_f\sqrt{Z_{f,L}Z_{f,R}}}{q^2-m_f^2},

867: \end{eqnarray}

868: where

869: \begin{equation}

870: Z_{f,L/R} = \frac{1}{

871: \left(1+\Sigma_{f,L/R}(m_f^2)\right) \left( 1 -

872: m_f^2\frac{f^\prime(m_f^2)}{f(m_f^2)}\right) }.

873: \label{FermionZ}

874: \end{equation}

875: Writing $Z_{f,L/R}= 1+\delta Z_{f,L/R}$ and performing a loop expansion of

876: Eq.~(\ref{FermionZ}), we have

877: \begin{eqnarray} 

878: \delta Z_{f,L}^{(1)} &=& - \Sigma_L^{(1)} 

879: - \Sigma_L^{(1)\prime} - \Sigma_R^{(1)\prime} - 2\Sigma_S^{(1)\prime},

880: \label{AusdrDZbl1loop}\\

881: \delta Z_{f,R}^{(1)} &=& - \Sigma_R^{(1)}

882: - \Sigma_L^{(1)\prime} - \Sigma_R^{(1)\prime} - 2\Sigma_S^{(1)\prime},

883: \label{AusdrDZbr1loop}\\

884: \delta Z_{f,L}^{(2)} &=& - \Sigma_L^{(2)} - \Sigma_L^{(2)\prime} 

885: - \Sigma_R^{(2)\prime} - 2\Sigma_S^{(2)\prime}

886: + \Sigma_L^{(1)}\left(\Sigma_L^{(1)} + 2\Sigma_L^{(1)\prime} 

887: + \Sigma_R^{(1)\prime} + 2\Sigma_S^{(1)\prime}\right)

888: \nonumber\\

889: &&{}+\Sigma_R^{(1)}\Sigma_R^{(1)\prime}-2\Sigma_S^{(1)}\Sigma_S^{(1)\prime}

890: +\left(\Sigma_L^{(1)\prime}+\Sigma_R^{(1)\prime}+2\Sigma_S^{(1)\prime}

891: \right)^2,

892: \label{AusdrDZbl2loop}\\

893: \delta Z_{f,R}^{(2)} &=& - \Sigma_R^{(2)} - \Sigma_L^{(2)\prime} 

894: - \Sigma_R^{(2)\prime} - 2\Sigma_S^{(2)\prime}

895: + \Sigma_R^{(1)}\left(\Sigma_R^{(1)} + \Sigma_L^{(1)\prime} 

896: + 2\Sigma_R^{(1)\prime} + 2\Sigma_S^{(1)\prime}\right)

897: \nonumber\\

898: &&{}+\Sigma_L^{(1)}\Sigma_L^{(1)\prime}-2\Sigma_S^{(1)}\Sigma_S^{(1)\prime}

899: +\left(\Sigma_L^{(1)\prime}+\Sigma_R^{(1)\prime}+2\Sigma_S^{(1)\prime}

900: \right)^2.

901: \label{AusdrDZbr2loop}

902: \end{eqnarray}

903: Here, we used the abbreviations

904: \begin{eqnarray}

905: \Sigma_X^{(n)}&=&\Sigma_{f,X}^{(n)}(m_f^2),

906: \nonumber\\

907: \Sigma_X^{(n)\prime} &=& m_f^2\frac{\partial}{\partial

908: q^2}\Sigma_{f,X}^{(n)}(q^2) \Big|_{q^2=m_f^2},

909: \end{eqnarray}

910: where $X =L,R,S$.

911: These expressions again agree with Refs.~\cite{Kniehl:1991,Faisst}.

912: 

913: If parity was conserved, we would have $\Sigma_L^f(q^2)=\Sigma_R^f(q^2)$ and

914: thus recover the structure

915: \begin{equation}

916: S_f^{-1}(q) \xrightarrow{q^2\to m_f^2} \frac{iZ_f}{\slashed{q}-m_f},

917: \end{equation}

918: which is familiar from quantum electrodynamics.

919: 

920: \boldmath

921: \subsubsection{$W$-boson mass renormalisation}

922: \unboldmath

923: 

924: The amputated one-particle-irreducible self-energy of the $W$ boson can be

925: decomposed into a transverse and a longitudinal part as

926: \begin{equation}

927: \begin{minipage}{112pt}

928: \begin{picture}(112,32)

929:   \GOval(56,16)(16,16)(0){0.882}

930:   \Text(56,16)[]{1-PI}

931:   \Photon(40,16)(0,16){2}{5}

932:   \Photon(72,16)(112,16){2}{5}

933:   \Text(92,21)[b]{$W_\nu$}

934:   \Text(20,20)[b]{$W_\mu$}

935:   \LongArrow(12,11)(28,11)

936:   \Text(20,9)[t]{$q$}

937: \end{picture}

938: \end{minipage}

939: = -i\Pi_W^{\mu\nu}(q) 

940: = -i \left(\Delta^{\mu\nu}\Sigma_{W,T}(q^2) 

941: + q^{\mu\nu}\Sigma_{W,L}(q^2)\right),

942: \label{VecDef}

943: \end{equation}

944: where

945: \begin{eqnarray}

946: \Delta^{\mu\nu}&=& g^{\mu\nu} - \frac{q^\mu q^\nu}{q^2},

947: \nonumber\\

948: q^{\mu\nu}&=& \frac{q^\mu q^\nu}{q^2}.

949: \end{eqnarray}

950: Owing to the loop-induced mixing of the $W$ boson with the charged

951: Higgs-Kibble ghost $\phi$, we must also take into account the

952: one-particle-irreducible $W\leftrightarrow\phi$ transition amplitudes and the

953: one-particle-irreducible $\phi$-boson self-energy,

954: \begin{eqnarray}

955: \begin{minipage}{112pt}

956: \begin{picture}(112,32)

957:   \GOval(56,16)(16,16)(0){0.882}

958:   \Text(56,16)[]{1-PI}

959:   \Photon(40,16)(0,16){2}{5}

960:   \DashLine(72,16)(112,16){4}

961:   \Text(92,21)[b]{$\phi$}

962:   \Text(20,20)[b]{$W_\mu$}

963:   \LongArrow(12,11)(28,11)

964:   \Text(20,9)[t]{$q$}

965: \end{picture}

966: \end{minipage}

967: &=&iq^{\mu}\Sigma_{W\phi}(q^2),

968: \nonumber\\

969: \begin{minipage}{112pt}

970: \begin{picture}(112,32)

971:   \GOval(56,16)(16,16)(0){0.882}

972:   \Text(56,16)[]{1-PI}

973:   \DashLine(40,16)(0,16){4}

974:   \Photon(72,16)(112,16){2}{5}

975:   \Text(92,21)[b]{$W_\mu$}

976:   \Text(20,20)[b]{$\phi$}

977:   \LongArrow(12,11)(28,11)

978:   \Text(20,9)[t]{$q$}

979: \end{picture}

980: \end{minipage}

981: &=&-iq^{\mu}\Sigma_{W\phi}(q^2),

982: \nonumber\\

983: \begin{minipage}{112pt}

984: \begin{picture}(112,32)

985:   \GOval(56,16)(16,16)(0){0.882}

986:   \Text(56,16)[]{1-PI}

987:   \DashLine(40,16)(0,16){4}

988:   \DashLine(72,16)(112,16){4}

989:   \Text(92,21)[b]{$\phi$}

990:   \Text(20,20)[b]{$\phi$}

991:   \LongArrow(12,11)(28,11)

992:   \Text(20,9)[t]{$q$}

993: \end{picture}

994: \end{minipage}

995: &=&i\Sigma_\phi(q^2).

996: \end{eqnarray}

997: In 't~Hooft-Feynman gauge, the bare propagators of the $W$ and $\phi$ bosons

998: are given by

999: \begin{eqnarray}

1000: G_W^{\mu\nu}(q^2) &=& \frac{-ig^{\mu\nu}}{q^2-M_{W,0}^2},

1001: \label{WProp}\\

1002: G_\phi(q^2)&=&\frac{i}{q^2-M_{W,0}^2},

1003: \label{PhiProp}

1004: \end{eqnarray}

1005: with a common bare mass $M_{W,0}$.

1006: In order to obtain the dressed $W$-boson propagator, we proceed in two steps.

1007: In the first step, we resum the one-particle irreducible self-energies of the

1008: $W$ and $\phi$ bosons separately.

1009: In the second step, we systematically combine these results by accommodating

1010: all possible $W\leftrightarrow\phi$ transitions.

1011: 

1012: The resummation of the one-particle irreducible $W$-boson self-energy leads to

1013: \begin{eqnarray}

1014: \begin{minipage}{48pt}

1015: \begin{picture}(48,32)

1016:   \Photon(0,16)(48,16){2}{5}

1017:   \Curve{(20,20)(28,20)}

1018:   \Curve{(20,12)(28,12)}

1019:   \Text(25,22)[b]{$W$}

1020: \end{picture}

1021: \end{minipage}

1022: :&=&

1023: \begin{minipage}{48pt}

1024: \begin{picture}(48,32)

1025:   \Photon(0,16)(48,16){2}{5}

1026:   \Text(24,20)[b]{$W$}

1027: \end{picture}

1028: \end{minipage}

1029: +

1030: \begin{minipage}{80pt}

1031: \begin{picture}(80,32)

1032:   \GOval(40,16)(16,16)(0){0.882}

1033:   \Text(40,16)[]{1-PI}

1034:   \Photon(0,16)(24,16){2}{3}

1035:   \Photon(56,16)(80,16){2}{3}

1036:   \Text(68,20)[b]{$W$}

1037:   \Text(12,20)[b]{$W$}

1038: \end{picture}

1039: \end{minipage}

1040: +

1041: \begin{minipage}{112pt}

1042: \begin{picture}(112,32)

1043:   \Photon(0,16)(16,16){2}{2}

1044:   \Text(8,20)[b]{$W$}

1045:   \GOval(32,16)(16,16)(0){0.882}

1046:   \Text(32,16)[]{1-PI}

1047:   \Photon(48,16)(64,16){2}{2}

1048:   \Text(56,20)[b]{$W$}

1049:   \GOval(80,16)(16,16)(0){0.882}

1050:   \Text(80,16)[]{1-PI}

1051:   \Photon(96,16)(112,16){2}{2}

1052:   \Text(104,20)[b]{$W$}

1053: \end{picture}

1054: \end{minipage}

1055: +\ldots

1056: \nonumber\\

1057: &=& G_{W,\mu\nu}(q^2) + G_{W,\mu\alpha}(q^2)

1058: \left(-i\Pi_W^{\alpha\beta}(q)\right) G_{W,\beta\nu}(q^2)

1059: \nonumber\\

1060: &&{}+G_{W,\mu\alpha}(q^2)

1061: \left(-i\Pi_W^{\alpha\beta}(q)\right) G_{W,\beta\gamma}(q^2)

1062: \left(-i\Pi_W^{\gamma\delta}(q)\right) G_{W,\delta\nu}(q^2)

1063: +\ldots.

1064: \label{WPropSum} 

1065: \end{eqnarray}

1066: The series in Eq.~(\ref{WPropSum}) may be resummed by inserting

1067: Eqs.~(\ref{VecDef}) and (\ref{WProp}) and exploiting the identities

1068: \begin{eqnarray}

1069: {\Delta^\mu}_\nu{\Delta^\nu}_\rho&=&{\Delta^\mu}_\rho,

1070: \nonumber\\

1071: \Delta^{\mu\nu}q_{\nu\rho}&=& 0,

1072: \nonumber\\

1073: q^{\mu\nu}q_{\nu\rho}&=&{q^\mu}_\rho,

1074: \end{eqnarray}

1075: as follows

1076: \begin{eqnarray}

1077: \begin{minipage}{48pt}

1078: \begin{picture}(48,32)

1079:   \Photon(0,16)(48,16){2}{5}

1080:   \Curve{(20,20)(28,20)}

1081:   \Curve{(20,12)(28,12)}

1082:   \Text(25,22)[b]{$W$}

1083: \end{picture}

1084: \end{minipage}

1085: &=&

1086: G_{W,\mu\alpha}(q^2)

1087: \left[{g^\alpha}_\nu -

1088: \frac{{\Delta^\alpha}_\nu\Sigma_{W,T}(q^2)+{q^\alpha}_\nu\Sigma_{W,L}(q^2)}

1089: {q^2-M_{W,0}^2} 

1090: \right.

1091: \nonumber\\

1092: &&{}+\left.

1093: \frac{{\Delta^\alpha}_\nu\left(\Sigma_{W,T}(q^2)\right)^2

1094: +{q^\alpha}_\nu\left(\Sigma_{W,L}(q^2)\right)^2}

1095: {(q^2-M_{W,0}^2)^2} - \ldots \right]

1096: \nonumber\\

1097: &=& G_{W,\mu\alpha}(q^2)

1098: \left[{g^\alpha}_\nu + {\Delta^\alpha}_\nu \sum_{n=1}^\infty

1099: \left( \frac{-\Sigma_{W,T}(q^2)}{q^2-M_{W,0}^2} \right)^n  +

1100: {q^\alpha}_\nu \sum_{n=1}^\infty \left(

1101: \frac{-\Sigma_{W,L}(q^2)}{q^2-M_{W,0}^2} \right)^n \right]

1102: \nonumber\\

1103: &=&

1104: G_{W,\mu\alpha}(q^2)

1105: \left[ {g^\alpha}_\nu +

1106: {\Delta^\alpha}_\nu\left(\frac{1}{1+\frac{\Sigma_{W,T}(q^2)}{q^2-M_{W,0}^2}}

1107: -1\right)

1108: +{q^\alpha}_\nu\left(\frac{1}{1+\frac{\Sigma_{W,L}(q^2)}{q^2-M_{W,0}^2}}

1109: -1\right)\right]

1110: \nonumber\\

1111: &=&

1112: -i\frac{\Delta_{\mu\nu}}{q^2-M_{W,0}^2+\Sigma_{W,T}(q^2)} 

1113: -i\frac{q_{\mu\nu}}{q^2-M_{W,0}^2+\Sigma_{W,L}(q^2)}

1114: \nonumber\\

1115: &=&\left(S_{W,{\rm pure}}^{-1}\right)_{\mu\nu}(q).

1116: \label{eq:Wpure}

1117: \end{eqnarray}

1118: The resummation of the one-particle-irreducible $\phi$-boson self-energy

1119: proceeds in analogy to the Higgs-boson case discussed in

1120: Section~\ref{sec:higgs} and yields

1121: \begin{eqnarray}

1122: \begin{minipage}{48pt}

1123: \begin{picture}(48,32)

1124:   \DashLine(0,16)(48,16){4}

1125:   \Curve{(20,20)(28,20)}

1126:   \Curve{(20,12)(28,12)}

1127:   \Text(24,22)[b]{$\phi$}

1128: \end{picture}

1129: \end{minipage}

1130: :&=&

1131: \begin{minipage}{48pt}

1132: \begin{picture}(48,32)

1133:   \DashLine(0,16)(48,16){4}

1134:   \Text(24,20)[b]{$\phi$}

1135: \end{picture}

1136: \end{minipage}

1137: +

1138: \begin{minipage}{80pt}

1139: \begin{picture}(80,32)

1140:   \GOval(40,16)(16,16)(0){0.882}

1141:   \Text(40,16)[]{1-PI}

1142:   \DashLine(0,16)(24,16){4}

1143:   \DashLine(56,16)(80,16){4}

1144:   \Text(68,20)[b]{$\phi$}

1145:   \Text(12,20)[b]{$\phi$}

1146: \end{picture}

1147: \end{minipage}

1148: +

1149: \begin{minipage}{112pt}

1150: \begin{picture}(112,32)

1151:   \DashLine(0,16)(16,16){4}

1152:   \Text(8,20)[b]{$\phi$}

1153:   \GOval(32,16)(16,16)(0){0.882}

1154:   \Text(32,16)[]{1-PI}

1155:   \DashLine(48,16)(64,16){4}

1156:   \Text(56,20)[b]{$\phi$}

1157:   \GOval(80,16)(16,16)(0){0.882}

1158:   \Text(80,16)[]{1-PI}

1159:   \DashLine(96,16)(112,16){4}

1160:   \Text(104,20)[b]{$\phi$}

1161: \end{picture}

1162: \end{minipage}

1163: +\ldots

1164: \nonumber\\

1165: &=&\frac{i}{q^2-M_{W,0}^2+\Sigma_\phi(q^2)}.

1166: \label{eq:Phipure}

1167: \end{eqnarray}

1168: 

1169: The contribution of unmixed $W$-boson propagation in Eq.~(\ref{eq:Wpure})

1170: needs to be complemented by the contribution that emerges by combining it with

1171: the contribution of unmixed $\phi$-boson propagation of Eq.~(\ref{eq:Phipure})

1172: via the one-particle-irreducible $W\leftrightarrow\phi$ transition amplitudes

1173: in all possible ways.

1174: This additional contribution is given by

1175: \begin{eqnarray}

1176: \left(S_{W,{\rm mix}}^{-1}\right)_{\mu\nu}(q)&=&

1177: \begin{minipage}{96pt}

1178: \begin{picture}(96,32)

1179:   \Photon(0,16)(24,16){1.5}{3}

1180:   \Text(13,22)[b]{$W$}

1181:   \Curve{(8,20)(16,20)}

1182:   \Curve{(8,12)(16,12)}

1183:   \GOval(30,16)(6,6)(0){0.882}

1184:   \Text(30,16)[]{\tiny 1PI}

1185:   \DashLine(36,16)(60,16){4}

1186:   \Text(47,22)[b]{$\phi$}

1187:   \Curve{(42,20)(52,20)}

1188:   \Curve{(42,12)(52,12)}

1189:   \GOval(66,16)(6,6)(0){0.882}

1190:   \Text(66,16)[]{\tiny 1PI}

1191:   \Photon(72,16)(96,16){1.5}{3}

1192:   \Text(85,22)[b]{$W$}

1193:   \Curve{(80,20)(88,20)}

1194:   \Curve{(80,12)(88,12)}

1195: \end{picture}

1196: \end{minipage}

1197: +

1198: \begin{minipage}{168pt}

1199: \begin{picture}(168,32)

1200:   \Photon(0,16)(24,16){1.5}{3}

1201:   \Text(13,22)[b]{$W$}

1202:   \Curve{(8,20)(16,20)}

1203:   \Curve{(8,12)(16,12)}

1204:   \GOval(30,16)(6,6)(0){0.882}

1205:   \Text(30,16)[]{\tiny 1PI}

1206:   \DashLine(36,16)(60,16){4}

1207:   \Text(47,22)[b]{$\phi$}

1208:   \Curve{(42,20)(52,20)}

1209:   \Curve{(42,12)(52,12)}

1210:   \GOval(66,16)(6,6)(0){0.882}

1211:   \Text(66,16)[]{\tiny 1PI}

1212:   \Photon(72,16)(96,16){1.5}{3}

1213:   \Text(85,22)[b]{$W$}

1214:   \Curve{(80,20)(88,20)}

1215:   \Curve{(80,12)(88,12)}

1216:   \GOval(102,16)(6,6)(0){0.882}

1217:   \Text(102,16)[]{\tiny 1PI}

1218:   \DashLine(108,16)(132,16){4}

1219:   \Text(120,22)[b]{$\phi$}

1220:   \Curve{(116,20)(124,20)}

1221:   \Curve{(116,12)(124,12)}

1222:   \GOval(138,16)(6,6)(0){0.882}

1223:   \Text(138,16)[]{\tiny 1PI}

1224:   \Photon(144,16)(168,16){1.5}{3}

1225:   \Text(157,22)[b]{$W$}

1226:   \Curve{(152,20)(160,20)}

1227:   \Curve{(152,12)(160,12)}

1228: \end{picture}

1229: \end{minipage}

1230: +\ldots

1231: \nonumber\\

1232: &=&\frac{q_{\mu}\Sigma_{W\phi}(q^2)}{q^2-M_{W,0}^2+\Sigma_{W,L}(q^2)} \,

1233: \frac{i}{q^2-M_{W,0}^2+\Sigma_\phi(q^2)}

1234: \nonumber\\

1235: &&{}\times \sum_{n=0}^\infty\left(\frac{q^2

1236: (\Sigma_{W\phi}(q^2))^2}{\left(q^2-M_{W,0}^2+\Sigma_{W,L}(q^2)\right)

1237: \left(q^2-M_{W,0}^2+\Sigma_\phi(q^2)\right)}\right)^n

1238: \nonumber\\

1239: &&{}\times

1240: \frac{-q_{\nu}\Sigma_{W\phi}(q^2)}{q^2-M_{W,0}^2+\Sigma_{W,L}(q^2)}

1241: \nonumber\\

1242: &=&\frac{-iq_{\mu\nu}}{q^2-M_{W,0}^2+\Sigma_{W,L}(q^2)}\,

1243:  \frac{-q^2}{q^2 - \frac{\left(q^2-M_{W,0}^2+\Sigma_{W,L}(q^2)\right)

1244: \left(q^2-M_{W,0}^2+\Sigma_\phi(q^2)\right)}

1245: {(\Sigma_{W\phi}(q^2))^2}}.

1246: \label{WPropMixCont}

1247: \end{eqnarray}

1248: 

1249: Adding Eqs.~(\ref{eq:Wpure}) and (\ref{WPropMixCont}), we obtain the fully

1250: dressed  $W$-boson propagator as

1251: \begin{equation}

1252: \left(S_W^{-1}\right)_{\mu\nu}(q)

1253: =\left(S_{W,{\rm pure}}^{-1}\right)_{\mu\nu}(q)

1254: +\left(S_{W,{\rm mix}}^{-1}\right)_{\mu\nu}(q).

1255: \end{equation}

1256: Its inverse is found to be

1257: \begin{eqnarray}

1258: S_W^{\mu\nu}(q)&=&ig^{\mu\nu}(q^2-M_{W,0}^2) +

1259: i\Delta^{\mu\nu}\Sigma_{W,T}(q^2)

1260: +iq^{\mu\nu}\left( \Sigma_{W,L}(q^2)

1261: - \frac{q^2\left(\Sigma_{W\phi}(q^2)\right)^2} 

1262: {q^2-M_{W,0}^2+\Sigma_\phi(q^2)} \right).\qquad

1263: \label{InvVPropSumMix}

1264: \end{eqnarray}

1265: The on-shell renormalisation condition reads

1266: \begin{equation}

1267: \left.S_W^{\mu\nu}(q^2)\epsilon_{W,\nu}(q) \right|_{q^2=M_W^2}

1268: \stackrel{!}{=} 0,

1269: \label{VMassenBed}

1270: \end{equation}

1271: where $\epsilon_W^\mu(q)$ is the polarisation four-vector of an external

1272: $W$ boson.

1273: Writing $M_{W,0}^2=M_W^2+\delta M_W^2$ and exploiting the transversality

1274: property $q^\mu\epsilon_{W,\mu}(q)=0$, we finally have

1275: \begin{equation}

1276: \delta M_W^2 = \Sigma_{W,T}(M_W^2).

1277: \label{AusdrDmwq}

1278: \end{equation}

1279: We note in passing that Eq.~(\ref{AusdrDmwq}) is not influenced by

1280: $W\leftrightarrow\phi$ mixing.

1281: 

1282: \subsection{External-leg corrections}

1283: \label{CapWFR}

1284: 

1285: In this section, we discuss the structure of the amputated matrix element

1286: ${\cal A}$ for the decay process $H \to b\overline{b}$ and explain how to

1287: obtain from it the transition matrix element ${\cal T}$ by incorporating the

1288: wave-function renormalisation constants.

1289: 

1290: The general form of ${\cal A}$ reads

1291: \begin{eqnarray}

1292: \lefteqn{

1293: \begin{minipage}{104.5pt}

1294: \begin{picture}(104.5,62)

1295:   \ArrowLine(69.85,39)(104.5,59)

1296:   \ArrowLine(104.5,3)(69.85,23)

1297:   \GOval(56,31)(16,16)(0){0.882}

1298:   \Text(56,31)[]{Amp.}

1299:   \DashLine(40,31)(0,31){5}

1300:   \Text(20,34)[b]{$H$}

1301:   \Text(87.175,16.5)[bl]{$\overline{b}$}

1302:   \Text(87.175,45.5)[tl]{$b$}

1303:   \LongArrow(10,26)(30,26)

1304:   \Text(20,24)[t]{$q_1\!\!+\!q_2$}

1305:   \LongArrow(77.7487,49.3301)(91.6051,57.3301)

1306:   \Text(85,56)[br]{$q_2$}

1307:   \LongArrow(77.7487,12.66987)(91.6051,4.66987)

1308:   \Text(86,7)[tr]{$q_1$}

1309: \end{picture}

1310: \end{minipage}

1311: = i {\cal A}}

1312: \nonumber\\

1313: &=& i \left( {\cal A}_1 + \slashed{q}_1 {\cal A}_2 +

1314: \slashed{q}_2 {\cal A}_3 + \slashed{q}_2\slashed{q}_1 {\cal A}_4 +

1315: \gamma_5 {\cal A}_5 + \gamma_5\slashed{q}_1 {\cal A}_6 +

1316: \gamma_5\slashed{q}_2 {\cal A}_7 + \gamma_5\slashed{q}_2

1317: \slashed{q}_1 {\cal A}_8 \right),

1318: \label{HbbStruktur}

1319: \end{eqnarray}

1320: where $q_1$ and $q_2$ are the four-momenta of the outgoing $\overline{b}$ and

1321: $b$ quarks, respectively, and ${\cal A}_i$ ($i=1,\ldots,8$) are scalar form

1322: factors.

1323: Projecting onto each of these form factors, we observe that, to the orders we

1324: consider in this paper, only two of them are independent.

1325: In fact, we have

1326: \begin{eqnarray}

1327: {\cal A}_2&=&-{\cal A}_3={\cal A}_6=-{\cal A}_7,

1328: \nonumber\\

1329: {\cal A}_4&=&{\cal A}_5={\cal A}_8=0,

1330: \end{eqnarray}

1331: so that ${\cal A}$ collapses to the simple form

1332: \begin{equation} 

1333: {\cal A} = {\cal A}_A + {\cal A}_B \left(

1334: \slashed{q}_2 - \slashed{q}_1 \right)\omega_-,

1335: \label{AAufspaltung}

1336: \end{equation}

1337: where ${\cal A}_A={\cal A}_1$ and ${\cal A}_B=-2{\cal A}_2$.

1338: 

1339: Then, ${\cal T}$ is obtained by dressing ${\cal A}$ with the renormalised wave

1340: functions of the external legs as

1341: \begin{eqnarray}

1342: {\cal T} &=& \sqrt{Z_H}  \left( \sqrt{Z_{b,R}} \overline{u}_r(q_2,r_2) +

1343: \sqrt{Z_{b,L}} \overline{u}_l(q_2,r_2) \right)  {\cal A}  \left(

1344: \sqrt{Z_{b,R}} v_r(q_1,r_1) + \sqrt{Z_{b,L}} v_l(q_1,r_1) \right)

1345: \nonumber\\

1346: &=& \sqrt{Z_H}  \overline{u}_b(q_2,r_2) \left(\sqrt{Z_{b,R}}\omega_- +

1347: \sqrt{Z_{b,L}}\omega_+\right)  {\cal A}  \left(\sqrt{Z_{b,R}}\omega_+ +

1348: \sqrt{Z_{b,L}}\omega_-\right)  v_b(q_1,r_1),

1349: \label{TAusAundZVor1}

1350: \end{eqnarray}

1351: where $v_b(q_1,r_1)$ and $\overline{u}_b(q_2,r_2)$ denote the spinors of the

1352: outgoing $\overline{b}$ and $b$ quarks with spins $r_1$ and $r_2$,

1353: respectively.

1354: Inserting Eq.~(\ref{AAufspaltung}) into Eq.~(\ref{TAusAundZVor1}), we obtain

1355: the master formula

1356: \begin{equation}

1357: {\cal T} = \sqrt{Z_H}\left(\sqrt{Z_{b,L}Z_{b,R}} {\cal A}_A

1358: +m_bZ_{b,L}{\cal A}_B\right)\overline{u}_b(q_2,r_2)v_b(q_1,r_1).

1359: \label{TAusAundZ}

1360: \end{equation}

1361: Note, that the terms involving $\gamma_5$ vanish upon application of the Dirac

1362: equation.

1363: 

1364: \subsection{Tadpole renormalisation}

1365: \label{KapTadpoleren}

1366: 

1367: As is well known (see, for instance, Ref.~\cite{Denner}), one can

1368: introduce a so-called tadpole renormalisation in order to avoid the

1369: calculation of diagrams containing tadpoles.

1370: For the reader's convenience, in this section, we rederive the counterterm

1371: vertices of the tadpole renormalisation along with the counterterm vertices

1372: of the Higgs-boson mass renormalisation.

1373: 

1374: The tadpole renormalisation concerns only the Higgs part of the SM Lagrangian,

1375: \begin{equation}

1376: {\cal L}_\mathrm{Higgs} = (D_\mu\Phi)^\dagger(D^\mu\Phi)

1377: +\mu^2\Phi^\dagger\Phi-\frac{\lambda}{4}(\Phi^\dagger\Phi)^2,

1378: \label{Lag1}

1379: \end{equation}

1380: where $\Phi$ is a weak-isospin doublet of two complex scalar fields.

1381: The free parameters, $\mu$ and $\lambda$, are chosen in such a way that one

1382: stays with a non-vanishing vacuum expectation value $v$, which is defined by

1383: \begin{equation}

1384: \frac{v^2}{2} = \left| \langle 0|\Phi(x)|0\rangle \right|^2

1385: =\frac{2\mu^2}{\lambda}.

1386: \label{vac}

1387: \end{equation}

1388: 

1389: If we parameterise

1390: \begin{equation}

1391: \Phi(x) = {\phi^+(x) \choose \frac{1}{\sqrt{2}}\left(v +

1392: H(x)+i\chi(x)\right)}

1393: \end{equation}

1394: and substitute $\mu$ and $\lambda$ by

1395: \begin{eqnarray}

1396: t&=& v\left(\mu^2-\frac{\lambda v^2}{4}\right),

1397: \nonumber\\

1398: M_H^2&=& - \mu^2 + \frac{3\lambda v^2}{4},

1399: \end{eqnarray}

1400: Eq.~(\ref{Lag1}) takes the form

1401: \begin{eqnarray}

1402: {\cal L}_\mathrm{Higgs} &=& \frac{1}{2}(D_\mu H)(D^\mu H) +

1403: \frac{1}{2}(D_\mu\chi)(D^\mu\chi) + (D_\mu\phi^-)(D^\mu\phi^+) 

1404: + t H -\frac{M_H^2}{2}H^2 

1405: \nonumber\\

1406: &&{}+ \frac{t}{2v}\left(\chi^2+2 \phi^-\phi^+\right)

1407: -\frac{1}{2v}\left(\frac{t}{v}+M_H^2\right)H

1408: \left(H^2+\chi^2+2 \phi^-\phi^+\right)

1409: \nonumber\\

1410: &&{}-\frac{1}{8v^2}\left(\frac{t}{v}+M_H^2\right)

1411: \left(H^2+\chi^2+2 \phi^-\phi^+\right)^2,

1412: \label{Lag2}

1413: \end{eqnarray}

1414: where $\phi^- = \left( \phi^+ \right)^\dagger$.

1415: We see that $M_H$ has the physical meaning of the Higgs-boson mass.

1416: In this step, we did not exploit Eq.~(\ref{vac}), which implies that $t=0$, so

1417: that we could just have emitted all terms containing $t$.

1418: However, as was argued above, it is useful to keep them and to renormalise $t$

1419: along with $M_H^2$ by substituting

1420: \begin{eqnarray}

1421: t&\to& t_0 = 0 + \delta t,

1422: \nonumber\\

1423: M_H^2 &\to& M_{H,0}^2 = M_H^2 + \delta M_H^2

1424: \end{eqnarray}

1425: in Eq.~(\ref{Lag2}).

1426: Notice that Eq.~(\ref{Lag2}) represents a bare Lagrangian, so that $v$, $t$,

1427: and $M_H$ are actually bare parameters.

1428: For consistency, we thus also substitute $v\to v_0$.  

1429: Then, Eq.~(\ref{Lag2}) becomes

1430: \begin{eqnarray}

1431: {\cal L}_\mathrm{Higgs} &=&\frac{1}{2}(D_\mu H)(D^\mu H) +

1432: \frac{1}{2}(D_\mu\chi)(D^\mu\chi) +

1433: (D_\mu\phi^-)(D^\mu\phi^+) -\frac{M_H^2}{2} H^2 

1434: \nonumber\\

1435: &&{}-\frac{M_H^2}{2v_0}H\left(H^2+\chi^2+2\phi^-\phi^+\right)

1436: -\frac{M_H^2}{8v_0^2}\left(H^2+\chi^2+2\phi^-\phi^+\right)^2

1437: \nonumber\\

1438: &&{}+\delta t H-\frac{\delta M_H^2}{2} H^2 

1439: +\frac{\delta t}{2v_0}\left(\chi^2 +2\phi^-\phi^+\right)

1440: -\frac{1}{2v_0}\left(\frac{\delta t}{v_0}+\delta M_H^2\right)H

1441: \nonumber\\

1442: &&{}\times\left(H^2+\chi^2+2\phi^-\phi^+\right)

1443: -\frac{1}{8v_0^2}\left(\frac{\delta t}{v_0}+\delta M_H^2\right)

1444: \left(H^2+\chi^2+2\phi^-\phi^+\right)^2.

1445: \end{eqnarray}

1446: From the terms proportional to $\delta t$ and $\delta M_H^2$, we can read off

1447: the desired counterterm vertices, which we list in Table~\ref{TabCTs}.

1448: \begin{table}

1449: \renewcommand{\arraystretch}{2.25}

1450: \begin{center}

1451: \caption{\label{TabCTs}Counterterm vertices related to the Higgs-boson tadpole

1452: and mass renormalisation.}

1453: \fbox{

1454: \begin{tabular}{l@{}c@{\hspace{1.75cm}}l@{}c}

1455: $H$: & $i \delta t$ & 

1456: $HHHH$: &

1457: $\displaystyle

1458: -i\frac{3}{v_0^2}\left(\frac{\delta t}{v_0} + \delta M_H^2\right)$ \\

1459: $HH$: & $-i \delta M_H^2$ & 

1460: $\chi\chi\chi\chi$: & 

1461: $\displaystyle

1462: -i\frac{3}{v_0^2} \left(\frac{\delta t}{v_0} + \delta M_H^2\right)$ \\

1463: $\chi\chi$: & $\displaystyle i\frac{\delta t}{v_0}$ &

1464: $HH\chi\chi$: &

1465: $\displaystyle 

1466: -i\frac{1}{v_0^2} \left(\frac{\delta t}{v_0} + \delta M_H^2\right)$ \\

1467: $\phi\phi$: & $\displaystyle i\frac{\delta t}{v_0}$ & 

1468: $HH\phi\phi$: &

1469: $\displaystyle

1470: -i\frac{1}{v_0^2} \left(\frac{\delta t}{v_0} + \delta M_H^2\right)$ \\

1471: $HHH$: & $\displaystyle

1472: -i\frac{3}{v_0}\left(\frac{\delta t}{v_0} + \delta M_H^2\right)$ &

1473: $\chi\chi\phi\phi$: & 

1474: $\displaystyle

1475: -i\frac{1}{v_0^2} \left(\frac{\delta t}{v_0} + \delta M_H^2\right)$ \\

1476: $H\chi\chi$: &

1477: $\displaystyle

1478: -i\frac{1}{v_0}\left(\frac{\delta t}{v_0} + \delta M_H^2\right)$ &

1479: $\phi\phi\phi\phi$: &

1480: $\displaystyle

1481: -i\frac{2}{v_0^2}\left(\frac{\delta t}{v_0} + \delta M_H^2\right)$ \\

1482: $H\phi\phi$: &

1483: $\displaystyle

1484: -i\frac{1}{v_0}\left(\frac{\delta t}{v_0} + \delta M_H^2\right)$

1485: \vspace{5pt}

1486: \end{tabular}

1487: }

1488: \end{center}

1489: \end{table}

1490: 

1491: The Higgs-boson mass renormalisation condition was already discussed in

1492: Section~\ref{sec:higgs}.

1493: As a renormalisation condition for $\delta t$, we set

1494: \begin{equation}

1495: \delta t \stackrel{!}{=} -T,

1496: \label{AusdrDt}

1497: \end{equation}

1498: where $T$ stands for the sum of all amputated one-particle-irreducible

1499: tadpole diagrams,

1500: \begin{equation}

1501: \begin{minipage}{72pt}

1502: \begin{picture}(72,32)

1503:   \GOval(56,16)(16,16)(0){0.882}

1504:   \Text(56,16)[]{1-PI}

1505:   \DashLine(40,16)(0,16){5}

1506:   \Text(20,19)[b]{$H$}

1507: \end{picture}

1508: \end{minipage}

1509: =iT.

1510: \label{DefTadpole}

1511: \end{equation}

1512: As can be seen from Table~\ref{TabCTs}, there is a one-point Higgs-boson

1513: counterterm vertex, $i\delta t$, that forces a cancellation with all

1514: diagrams having a tadpole at its place.

1515: Therefore, upon tadpole renormalisation, one does not have to consider tadpole

1516: diagrams anymore.

1517: However, now one has to take into account all the tadpole counterterm vertices

1518: in Table~\ref{TabCTs}, except for the one mentioned above.

1519: 

1520: \section{Results}

1521: \label{CapOurCalc}

1522: 

1523: In this section, we present the details of our actual calculations.

1524: After making some general remarks, we describe in Sections~\ref{SecTree},

1525: \ref{SecOneLoop}, and \ref{CapEW2LoopKorr} the explicit computation of the

1526: decay rate at tree level, at the one-loop order ${\cal O}(G_F m_t^2)$, and at

1527: the two-loop order ${\cal O}(G_F^2 m_t^4)$, respectively.

1528: Section~\ref{SecTree} also contains the expressions for the renormalisation

1529: constants at order ${\cal O}(G_F m_t^2)$, which are needed in the one-loop

1530: and two-loop calculations.

1531: 

1532: In order to compute the leading large-$m_t$ contributions of the

1533: various two-loop dia\-grams, we apply the asymptotic-expansion technique (for

1534: a careful introduction, see Ref.~\cite{Smirnov}).

1535: However, it turns out that all non-trivial contributions of the self-energy

1536: and $Hb\overline{b}$ vertex diagrams (see Figs.~\ref{DiaW2l},

1537: \ref{DiaHbb2loop}, and \ref{DiaB2l}), which are of leading order in $m_t$,

1538: cancel among themselves or, in case of the $W$-boson self-energy, in

1539: combination with

1540: %terms

1541: complete counterterm diagrams

1542: arising form the Higgs-boson tadpole and mass renormalisations.

1543: Specifically, in Fig.~\ref{DiaW2l}, there are non-naive contributions due to

1544: the asymptotic expansion of diagrams (i)--(o) that cancel against diagrams

1545: (p)--(v); in Fig.~\ref{DiaHbb2loop}, the non-naive contributions of diagrams

1546: (a) and (t) cancel; and in Fig.~\ref{DiaB2l} those of the diagrams (e) and

1547: (i) cancel.

1548: After these cancellations, only naive contributions due to diagrams involving

1549: top-quark propagators remain.

1550: Therefore, we can naively expand in all masses and momenta except for the

1551: top-quark mass and retain only the leading terms.

1552: %This is equivalent to taking the limit in which all scales other than the

1553: %top-quark mass vanish.

1554: Obviously, this requires the Higgs-boson mass to be smaller than the top-quark

1555: mass, which is compatible with the intermediate-mass range of the Higgs boson,

1556: as mentioned in the Introduction.

1557: 

1558: The ultraviolet divergences which have to disappear in the final expression

1559: for the decay rate are cancelled through the application of the

1560: renormalisation procedure, which we carry out in the on-mass-shell

1561: renormalisation scheme.

1562: This provides a non-trivial check for our calculations.

1563: As explained in Section~\ref{KapTadpoleren}, we use the counterterm vertices

1564: of Table~\ref{TabCTs} for the Higgs-boson tadpole and mass renormalisations.

1565: However, while we renormalise the Higgs-boson mass already at the Lagrangian

1566: level, we replace all other bare parameters at the end of the calculations

1567: without recourse to any counterterm vertices.

1568: This procedure turns out to be most convenient for our purposes.

1569: 

1570: As a further check on our calculations, we also rederive the correction of

1571: order\break ${\cal O}(\alpha_s G_F m_t^2)$.

1572: This result is presented in Section~\ref{sec:mixed}.

1573: Finally, we apply a Higgs-boson low-energy theorem \cite{Kniehl:1995tn}, which

1574: allows for an independent calculation of the various $Hb\overline{b}$ diagrams

1575: at order ${\cal O}(G_F^2m_t^4)$.

1576: This is explained in Section~\ref{CapNieder}.

1577: 

1578: \boldmath

1579: \subsection{Tree-level result and ${\cal O}(G_F m_t^2)$

1580: renormalisation constants}

1581: \label{SecTree}

1582: \unboldmath

1583: 

1584: The tree-level diagram is depicted in Fig.~\ref{DiaHbb}(a).

1585: Using the notation introduced in Eq.~(\ref{AAufspaltung}), the corresponding

1586: amputated matrix element is in bare form written as

1587: \begin{equation}\label{BornUnren}

1588: {\cal A}^{(0)}_{0} = {\cal A}^{(0)}_{A,0} = -\frac{m_{b,0}}{v_0}.

1589: \end{equation}

1590: The tree-level transition matrix element is

1591: \begin{equation}\label{ErgT0}

1592: {\cal T}^{(0)}={\cal A}_0^{(0)}\overline{u}_b(q_2,r_2)v_b(q_1,r_1),

1593: \end{equation}

1594: and the decay rate is

1595: \begin{equation}\label{BornTrans}

1596: \Gamma^{(0)}=\frac{\sqrt{2}N_cG_FM_Hm_b^2}{8\pi}

1597: \left(1-\frac{4m_b^2}{M_H^2}\right)^{3/2},

1598: \end{equation}

1599: where $N_c=3$ is the number of quark colours.

1600: Furthermore, we have introduced Fermi's constant $G_F$ via the Born relation

1601: \begin{equation} \label{Defv}

1602: \frac{1}{v} = 2^{1/4}G_F^{1/2}.

1603: \end{equation}

1604: 

1605: \begin{figure}

1606: \begin{center}

1607: \includegraphics[width=0.75\textwidth]{DiaHbb.eps}

1608: \end{center}

1609: \caption{\label{DiaHbb}Diagrams contributing to $H\to b\overline{b}$ at (a)

1610: tree level and (b) order ${\cal O}(G_Fm_t^2)$.}

1611: \end{figure}

1612: 

1613: In the following, we have to renormalise the vacuum expectation value.

1614: Through the order of our calculations, this can be achieved by writing

1615: \cite{Consoli:1989fg}

1616: \begin{equation}

1617: \frac{1}{v_0} = 2^{1/4}G_{F,0}^{1/2},

1618: \end{equation}

1619: with

1620: \begin{equation}

1621: G_{F,0} = G_F \frac{M_W^2}{M_{W,0}^2}.

1622: \end{equation}

1623: Thus, the renormalisation of the vacuum expectation value is reduced to the

1624: one of the $W$-boson mass.

1625: 

1626: In the remainder of this subsection, we list all relevant renormalisation

1627: constants of order ${\cal O}(G_F m_t^2)$.

1628: They are derived by evaluating the diagrams of Fig.~\ref{Dia1Loop} and

1629: applying Eqs.~(\ref{AusdrDmHq1loop}), (\ref{AusdrDZH1loop}),

1630: (\ref{DeltaMF1Loop}), (\ref{AusdrDZbl1loop}), (\ref{AusdrDZbr1loop}),

1631: (\ref{AusdrDmwq}), and (\ref{AusdrDt}).

1632: Since we shall compute the correction of order ${\cal O}(G_F^2 m_t^4)$, these

1633: renormalisation constants are needed through order ${\cal O}(\epsilon)$ in the

1634: expansion in $\epsilon$.

1635: The results read

1636: \begin{eqnarray}

1637: \delta t^{(1)} &=&C_{\epsilon,0}x_{t,0}m_{t,0}^2v_0N_c

1638: \left[\frac{4}{\epsilon}+4+(4+2\zeta(2))\epsilon+{\cal O}(\epsilon^2)\right],

1639: \label{RC1}\\

1640: \delta M_H^{2(1)} &=&C_{\epsilon,0}x_{t,0}m_{t,0}^2N_c

1641: \left[-\frac{12}{\epsilon}-4+(-4-6\zeta(2))\epsilon+{\cal O}(\epsilon^2)

1642: \right],

1643:  \label{RC2}\\

1644: \delta Z_H^{(1)} &=&C_{\epsilon,0}x_{t,0}N_c  

1645: \left[-\frac{2}{\epsilon}+\frac{4}{3}-\zeta(2)\epsilon+{\cal O}(\epsilon^2)

1646: \right],

1647: \label{RC7}\\ 

1648: \frac{\delta m_b^{(1)}}{m_b} &=&C_{\epsilon,0}x_{t,0} 

1649: \left[-\frac{3}{2\epsilon}-\frac{5}{4}+\left(-\frac{9}{8}-\frac{3}{4}\zeta(2

1650: )\right)\epsilon+{\cal O}(\epsilon^2)\right],

1651: \label{RC5}\\ 

1652: \delta Z_{b,L}^{(1)} &=&C_{\epsilon,0}x_{t,0}  

1653: \left[-\frac{1}{\epsilon}-\frac{3}{2}+\left(-\frac{7}{4}-\frac{1}{2}\zeta(2

1654: )\right)\epsilon+{\cal O}(\epsilon^2)\right],

1655: \label{RC8}\\ 

1656: \delta Z_{b,R}^{(1)} &=& 0,

1657: \label{RC9}\\

1658: \frac{\delta m_t^{(1)}}{m_t} &=&C_{\epsilon,0}x_{t,0}  

1659: \left[\frac{3}{2\epsilon}+4+\left(9-\frac{5}{4}\zeta(2

1660: )\right)\epsilon+{\cal O}(\epsilon^2)\right],

1661: \label{RC6}\\ 

1662: \delta M_W^{2(1)} &=&C_{\epsilon,0}x_{t,0}M_{W,0}^2N_c  

1663: \left[-\frac{2}{\epsilon}-1+\left(-\frac{1}{2}-\zeta(2)\right)\epsilon

1664: +{\cal O}(\epsilon^2)\right],

1665: \label{RC3}

1666: \end{eqnarray}

1667: where we use the abbreviations

1668: \begin{eqnarray}

1669: C_\epsilon& =& \left( \frac{4 \pi \mu^2}{m_t^2}e^{-\gamma_E}

1670: \right)^\epsilon,

1671: \nonumber\\

1672: x_t &=& \frac{G_F m_t^2}{8\pi^2\sqrt{2}},

1673: \end{eqnarray}

1674: with $\gamma_E$ being Euler's constant.

1675: 

1676: \begin{figure}

1677: \begin{center}

1678: \includegraphics[width=\textwidth]{Dia1Loop.eps}

1679: \end{center}

1680: \caption{\label{Dia1Loop}One-loop self-energy and tadpole diagrams

1681: contributing at order ${\cal O}(G_Fm_t^2)$.}

1682: \end{figure}

1683: 

1684: \boldmath

1685: \subsection{Correction of order ${\cal O}(G_F m_t^2)$}

1686: \label{SecOneLoop}

1687: \unboldmath

1688: 

1689: At order ${\cal O}(G_F m_t^2)$, only the one diagram depicted in

1690: Fig.~\ref{DiaHbb}(b) contributes.

1691: Using the notation of Eq.~(\ref{AAufspaltung}), we obtain for the expansion in

1692: $\epsilon$ through order ${\cal O}(\epsilon)$:

1693: \begin{eqnarray}

1694: {\cal A}^{(1)}_{A,0} &=&C_{\epsilon,0}x_{t,0}\frac{m_{b,0}}{v_0} 

1695: \left[-\frac{2}{\epsilon}+2+(2-\zeta(2))\epsilon+{\cal O}(\epsilon^2)\right]

1696: \nonumber\\

1697: {\cal A}^{(1)}_{B,0} &=&C_{\epsilon,0}x_{t,0}\frac{1}{v_0}

1698: \left(-1-\frac{3}{2}\epsilon+{\cal O}(\epsilon^2)\right).

1699: \end{eqnarray}

1700: 

1701: Expanding Eq.~(\ref{TAusAundZ}) and replacing the bare masses by the

1702: renormalised ones plus their counterterms in Eq.~(\ref{BornUnren}), we

1703: find the transition matrix element to be

1704: \begin{equation} 

1705: {\cal T}^{(1)} = {\cal A}_{A,0}^{(1)} + m_b{\cal A}_{B,0}^{(1)}

1706: +{\cal A}_0^{(0)}

1707: \left(\delta_u^{(1)}+\frac{\delta m_b^{(1)}}{m_b}

1708: +\frac{1}{2} \delta Z_{b,L}^{(1)}+\frac{1}{2} \delta Z_{b,R}^{(1)}\right),

1709: \label{T1Gf}

1710: \end{equation}

1711: where ${\cal A}^{(0)}$ is the amputated matrix element of

1712: Eq.~(\ref{BornUnren})

1713: %expressed in terms of renormalised quantities

1714: and

1715: \begin{equation}

1716: \delta_u^{(1)} = \frac{1}{2} \delta Z_H^{(1)}

1717: -\frac{1}{2}\,\frac{\delta M_W^{2(1)}}{M_W^2}

1718: \end{equation}

1719: is the one-loop contribution to the universal counterterm $\delta_u$, which

1720: exhausts the full ${\cal O}(G_F m_t^2)$ corrections for Higgs-boson decays to

1721: fermion-antifermion pairs, except for those into $t\overline{t}$ and

1722: $b\overline{b}$ pairs.

1723: For simplicity, we omitted the spinors on the right-hand side of

1724: Eq.~(\ref{T1Gf}); we shall also do this in the following.

1725: $\delta_u^{(1)}$ and ${\cal T}^{(1)}$ are ultraviolet finite and read

1726: \begin{eqnarray}

1727: \delta_u^{(1)}&=&x_tN_c\frac{7}{6}

1728: \nonumber\\

1729: &=&x_t\frac{7}{2},

1730: \\

1731: {\cal T}^{(1)} &=& {\cal T}^{(0)} x_t \left(-3+N_c\frac{7}{6} \right).

1732: \label{ErgT1}

1733: \end{eqnarray}

1734: The ${\cal O}(G_F m_t^2)$ correction to the decay rate thus becomes

1735: \begin{eqnarray}

1736: \frac{\Gamma^{(1)}}{\Gamma^{(0)}}&=&

1737: x_t\left(-6+N_c\frac{7}{3}\right)

1738: \nonumber\\

1739: &=&x_t,

1740: \end{eqnarray}

1741: where $\Gamma^{(0)}$ is given in Eq.~(\ref{BornTrans}).

1742: The results of this subsection are in accordance with Ref.~\cite{Kniehl:1991}.

1743: 

1744: \boldmath

1745: \subsection{Correction of order ${\cal O}(G_F^2 m_t^4)$}

1746: \label{CapEW2LoopKorr}

1747: \unboldmath

1748: 

1749: Expanding Eq.~(\ref{TAusAundZ}) up to the two-loop order and replacing all

1750: bare masses in the tree-level and one-loop amputated matrix elements by the

1751: renormalised masses plus the corresponding counterterms, we find the following

1752: master formula for the transition matrix element

1753: \begin{eqnarray}

1754: {\cal T}^{(2)} &=&

1755: {\cal A}_{A,0}^{(2)} + m_b{\cal A}_{B,0}^{(2)} + {\cal A}_{A,0}^{(1)}

1756: \left(\frac{\delta m_b^{(1)}}{m_b}+\frac{1}{2} \delta Z_{b,L}^{(1)}

1757: +\frac{1}{2} \delta Z_{b,R}^{(1)}\right) 

1758: +m_b{\cal A}_{B,0}^{(1)}\delta Z_{b,L}^{(1)}

1759: \nonumber\\

1760: &&{}+ \left( {\cal A}_{A,0}^{(1)} + m_b {\cal A}_{B,0}^{(1)} \right) \left[

1761: \delta_u^{(1)}

1762: + 2(1-\epsilon) \frac{\delta m_t^{(1)}} {m_t} 

1763: -\frac{\delta M_W^{2(1)}} {M_W^2} \right]

1764: \nonumber\\

1765: &&{}+ {\cal A}_0^{(0)} \left[ \delta_u^{(2)} + \frac{\delta m_b^{(2)}}{m_b}

1766: + \frac{1}{2} \delta Z_{b,L}^{(2)} + \frac{1}{2} \delta Z_{b,R}^{(2)} 

1767: + \delta_u^{(1)}\left(

1768: \frac{\delta m_b^{(1)}}{m_b}

1769: + \frac{1}{2} \delta Z_{b,L}^{(1)} + \frac{1}{2} \delta Z_{b,R}^{(1)} \right)

1770: \right.\nonumber\\

1771: &&{}+\left.\frac{1}{2}\,\frac{\delta m_b^{(1)}}{m_b}

1772: \left(\delta Z_{b,L}^{(1)} + \delta Z_{b,R}^{(1)}\right)

1773: - \frac{1}{8} \left(\delta Z_{b,L}^{(1)}-\delta Z_{b,R}^{(1)}\right)^2

1774: \right],

1775: \label{AusdrT2Loop}

1776: \end{eqnarray}

1777: where

1778: \begin{equation}

1779: \delta_u^{(2)} = \frac{1}{2} \delta Z_H^{(2)}

1780: -\frac{1}{2}\, \frac{\delta M_W^{2(2)}}{M_W^2} 

1781: - \frac{1}{8} \left(\delta Z_H^{(1)}\right)^2

1782: - \frac{1}{4} \delta Z_H^{(1)} \frac{\delta M_W^{2(1)}}{M_W^2} 

1783: + \frac{3}{8} \left(\frac{\delta M_W^{2(1)}}{M_W^2} \right)^2 

1784: \label{UnivCT}

1785: \end{equation}

1786: is the universal counterterm.

1787: 

1788: \subsubsection{Universal counterterm}

1789: 

1790: Let us first calculate the universal counterterm.

1791: To this end, we need the two-loop expressions for $\delta Z_H$ and

1792: $\delta M_W^2$.

1793: The unrenormalised expressions are obtained by evaluating the diagrams in

1794: Figs.~\ref{DiaH2l} and \ref{DiaW2l} and applying Eqs.~(\ref{AusdrDZH2loop})

1795: and (\ref{AusdrDmwq}), the results being

1796: \begin{eqnarray} 

1797: \delta Z_{H,0}^{(2)}&=&C_{\epsilon,0}^2x_{t,0}^2N_c 

1798: \left[\frac{3}{\epsilon^2}-\frac{11}{2\epsilon}-\frac{17}{12} +

1799: 5\zeta(2)

1800: +N_c\left(\frac{4}{\epsilon^2}-\frac{16}{3\epsilon}+\frac{16}{9} +

1801: 4\zeta(2)\right)+{\cal O}(\epsilon)\right],

1802: \nonumber\\ 

1803: \delta M_{W,0}^{2(2)} &=&C_{\epsilon,0}^2x_{t,0}^2M_{W,0}^2N_c 

1804: \left(\frac{3}{\epsilon^2}+\frac{3}{2\epsilon}

1805: -\frac{69}{4}+17\zeta(2)+{\cal O}(\epsilon)\right),

1806: \end{eqnarray}

1807: in accordance with Ref.~\cite{Djouadi}.

1808: In addition, there are contributions from the renormalisations of the bare

1809: parameters in Eqs.~(\ref{RC7}) and (\ref{RC3}), so that

1810: \begin{eqnarray}

1811: \delta Z_H^{(2)}&=& \delta Z_{H,0}^{(2)} +

1812: \delta Z_H^{(1)} \left[ 2(1-\epsilon)\frac{\delta m_t^{(1)}}{m_t} 

1813: - \frac{\delta M_W^{2(1)}}{M_W^2} \right],

1814: \nonumber\\

1815: \delta M_W^{2(2)}&=& \delta M_{W,0}^{2(2)}+

1816: 2(1-\epsilon)\frac{\delta m_t^{(1)}}{m_t}\delta M_W^{2(1)}.

1817: \end{eqnarray}

1818: We are now in a position to specify the universal counterterm at order

1819: ${\cal O}(G_F^2 m_t^4)$ as defined in Eq.~(\ref{UnivCT}).

1820: The result is

1821: \begin{eqnarray}

1822: \delta_u^{(2)}&=&x_t^2N_c\left(\frac{29}{2}-6\zeta(2)

1823: +N_c\frac{49}{24}\right)

1824: \nonumber\\

1825: &=&x_t^2\left(\frac{495}{8}-3\pi^2\right).

1826: \label{ErgUnivCT}

1827: \end{eqnarray}

1828: 

1829: \begin{figure}

1830: \begin{center}

1831: \includegraphics[width=\textwidth]{DiaH2l.eps}

1832: \end{center}

1833: \caption{\label{DiaH2l}Higgs-boson self-energy diagrams contributing at order

1834: ${\cal O}(G_F^2 m_t^4)$.}

1835: \end{figure}

1836: 

1837: \begin{figure}

1838: \begin{center}

1839: \includegraphics[width=\textwidth]{DiaW2l.eps}

1840: \end{center}

1841: \caption{\label{DiaW2l}$W$-boson self-energy diagrams contributing at order

1842: ${\cal O}(G_F^2 m_t^4)$.

1843: Insertions of $-i\delta M_H^2$ in Higgs-boson lines and of $i\delta t/v_0$ in

1844: $\phi$- or $\chi$-boson lines are indicated by crosses.}

1845: \end{figure}

1846: 

1847: If we convert Eq.~(\ref{ErgUnivCT}) to a mixed renormalisation scheme which

1848: uses on-shell definitions for the particle masses and the definitions of the

1849: modified minimal-subtraction ($\overline{\mathrm{MS}}$) scheme for all other

1850: basic parameters, then we find agreement with Eq.~(15) for $x=0$ in the

1851: paper by Djouadi et al.\ \cite{Djouadi}.

1852: However, the corresponding result for the pure on-shell scheme presented in

1853: their Eq.~(27) for $x=0$ disagrees with our Eq.~(\ref{ErgUnivCT}).

1854: We can trace this discrepancy to the absence in their Eq.~(25) of the

1855: additional finite term $\hat{\delta}_{u}^{(1)}\Delta\rho^{(1)}$ which arises

1856: from the renormalisation of the one-loop result in their Eq.~(7) according to

1857: the prescription in their Eq.~(18).

1858: 

1859: \subsubsection{Complete transition matrix element}

1860: 

1861: Having provided $\delta_u^{(2)}$, we now turn to the residual

1862: ingredients entering the transition matrix element of Eq.~(\ref{AusdrT2Loop}).

1863: Evaluating the $Hb\overline{b}$ diagrams shown in Fig.~\ref{DiaHbb2loop}, we

1864: find the form factors in Eq.~(\ref{AAufspaltung}) at order

1865: ${\cal O}(G_F^2 m_t^4)$ to be

1866: \begin{eqnarray}

1867: {\cal A}_{A,0}^{(2)} &=& \frac{m_{b,0}}{v_0}x_{t,0}^2C_{\epsilon,0}^2

1868: \left[\frac{1}{\epsilon^2}-\frac{5}{\epsilon}-5 +7\zeta(2)

1869: +N_c\left(\frac{2}{\epsilon^2}-\frac{2}{\epsilon}-14 -2\zeta(2)\right)

1870: +{\cal O}(\epsilon)\right],

1871: \nonumber\\

1872: {\cal A}_{B,0}^{(2)} &=& \frac{1}{v_0}x_{t,0}^2C_{\epsilon,0}^2

1873: \left[\frac{2}{\epsilon}+1

1874: +N_c\left(\frac{2}{\epsilon}+9\right)

1875: +{\cal O}(\epsilon)\right].

1876: \end{eqnarray}

1877: 

1878: \begin{figure}

1879: \begin{center}

1880: \includegraphics[width=\textwidth]{DiaHbb2l_4x5.eps}

1881: \end{center}

1882: \caption{\label{DiaHbb2loop}Diagrams contributing to $H\to b\overline{b}$ at

1883: order ${\cal O}(G_F^2 m_t^4)$.

1884: Insertions of $i\delta t/v_0$ in $\phi$-boson lines and of

1885: $-i\left(\delta t/v_0+\delta M_H^2\right)/v_0$ in $H\phi\phi$ vertices are

1886: indicated by crosses.}

1887: \end{figure}

1888: 

1889: Evaluating the diagrams depicted in Fig.~\ref{DiaB2l} and using

1890: Eqs.~(\ref{DeltaMF2Loop}), (\ref{AusdrDZbl2loop}), and (\ref{AusdrDZbr2loop}),

1891: we obtain the bottom-quark mass and wave-function renormalisation constants at

1892: order ${\cal O}(G_F^2 m_t^4)$.

1893: The renormalisation constants in terms of bare parameters read

1894: \begin{eqnarray}

1895: \frac{\delta m_{b,0}^{(2)}}{m_b}&=&C_{\epsilon,0}^2x_{t,0}^2

1896: \left[\frac{27}{8\epsilon^2}+\frac{31}{8\epsilon}+\frac{13}{32}+\frac{59}{8}

1897: \zeta(2)

1898: +N_c\left(\frac{3}{2\epsilon^2}+\frac{15}{4\epsilon} +\frac{55}{8}

1899: -\frac{3}{2}\zeta(2)\right)

1900: +{\cal O}(\epsilon)\right],

1901: \nonumber\\

1902: \delta Z_{b,L,0}^{(2)} &=&C_{\epsilon,0}^2x_{t,0}^2

1903: \left[\frac{2}{\epsilon^2}+\frac{7}{2\epsilon}+1+6\zeta(2)

1904: +N_c\left(\frac{1}{\epsilon^2}+\frac{9}{2\epsilon}+\frac{25}{4}

1905: -\zeta(2)\right)

1906: +{\cal O}(\epsilon)\right],

1907: \nonumber\\

1908: \delta Z_{b,R,0}^{(2)} &=&0.

1909: \end{eqnarray}

1910: Additional contributions arise from the replacement of the bare $t$-quark and

1911: $W$-boson masses in Eqs.~(\ref{RC5}), (\ref{RC8}), and (\ref{RC9}), so that

1912: \begin{eqnarray}

1913: \frac{\delta m_b^{(2)}}{m_b} &=&

1914: \frac{\delta m_{b,0}^{(2)}}{m_b}+ \frac{\delta m_b^{(1)}}{m_b}

1915: \left[ 2(1-\epsilon) \frac{\delta m_t^{(1)}}{m_t} 

1916: - \frac{\delta M_W^{2(1)}}{M_W^2} \right],

1917: \nonumber\\

1918: \delta Z_{b,L}^{(2)}&=& \delta Z_{b,L,0}^{(2)} +

1919: \delta Z_{b,L}^{(1)} \left[2(1-\epsilon) \frac{\delta m_t^{(1)}}{m_t} 

1920: - \frac{\delta M_W^{2(1)}}{M_W^2} \right],

1921: \nonumber\\

1922: \delta Z_{b,R}^{(2)}&=&0.

1923: \end{eqnarray}

1924: 

1925: \begin{figure}

1926: \begin{center}

1927: \includegraphics[width=\textwidth]{DiaB2l.eps}

1928: \end{center}

1929: \caption{\label{DiaB2l}$b$-quark self-energy diagrams contributing at order

1930: ${\cal O}(G_F^2 m_t^4)$.

1931: Insertions of $i\delta t/v_0$ in $\phi$-boson lines are indicated by crosses.}

1932: \end{figure}

1933: 

1934: Now all ingredients for the evaluation of the renormalised transition matrix

1935: element of order ${\cal O}(G_F^2 m_t^4)$ according to Eq.~(\ref{AusdrT2Loop})

1936: are available.

1937: We find

1938: \begin{equation}

1939: {\cal T}^{(2)} = {\cal T}^{(0)} x_t^2\left[

1940: -\frac{29}{2} + N_c(18-6\zeta(2)) + N_c^2\frac{49}{24}\right].

1941: \label{ErgT2}

1942: \end{equation}

1943: 

1944: Adding Eqs.~(\ref{ErgT0}), (\ref{ErgT1}), and (\ref{ErgT2}), squaring, and

1945: extracting the ${\cal O}(G_F^2 m_t^4)$ term, we have

1946: \begin{eqnarray}

1947: \frac{\Gamma^{(2)}}{\Gamma^{(0)}}&=&

1948: x_t^2\left[-20+N_c(29-12\zeta(2))+N_c^2\frac{49}{9}\right]

1949: \nonumber\\

1950: &=&x_t^2(116-6\pi^2).

1951: \end{eqnarray}

1952: 

1953: \boldmath

1954: \subsection{Correction of order ${\cal O}(\alpha_s G_F m_t^2)$}

1955: \label{sec:mixed}

1956: \unboldmath

1957: 

1958: As a by-product of our analysis, we can also compute the

1959: ${\cal O}(\alpha_s G_F m_t^2)$ correction to the $H\to b\overline{b}$ decay

1960: width.

1961: The comparison of our result with the literature

1962: \cite{Kniehl:1994ph,KniehlSpira,Kwiatkowski:1994cu} provides a partial check

1963: of our ${\cal O}(G_F^2 m_t^4)$ results.

1964: Note, however, that the calculation considerably simplifies as one passes from

1965: order ${\cal O}(G_F^2 m_t^4)$ to order ${\cal O}(\alpha_s G_F m_t^2)$.

1966: %since the renormalisation constants, except for those for the masses of the

1967: %bottom (???) and top quarks, vanish at ${\cal O}(\alpha_s)$.

1968: %Thus, no genuine two-loop renormalisation needs to be performed.

1969: Using our tools, we indeed recover the well-known

1970: ${\cal O}(\alpha_s G_F m_t^2)$ results for the universal correction

1971: \cite{Kniehl:1994ph} and the correction to the $H\to b\overline{b}$ decay

1972: width \cite{KniehlSpira,Kwiatkowski:1994cu},

1973: \begin{eqnarray}

1974: \delta_u^{(X_t\alpha_s)}&=&

1975: X_t\frac{\alpha_s}{\pi}C_F N_c\left(-\frac{3}{4}-\frac{\zeta(2)}{2}\right),

1976: \nonumber\\

1977: \frac{\Gamma^{(X_t\alpha_s)}}{\Gamma^{(0)}}&=&

1978: X_t\frac{\alpha_s}{\pi}C_F\left[-12+9\ln \frac{M_H^2}{M_b^2} 

1979: +N_c\left(\frac{15}{4}-\zeta(2)-\frac{7}{2}\ln\frac{M_H^2}{M_b^2}\right)

1980: \right],

1981: \label{asxtonshell}

1982: \end{eqnarray}

1983: respectively, where $X_t=G_FM_t^2/\left(8\pi^2\sqrt{2}\right)$ and

1984: $C_F=(N_c^2-1)/(2N_c)$.

1985: In Eq.~(\ref{asxtonshell}), the bottom- and top-quark masses are denoted with

1986: capital letters, $M_b$ and $M_t$, respectively, to indicate that they are pure

1987: on-shell masses, i.e.\ they are defined in the on-shell scheme also with

1988: regard to quantum chromodynamics (QCD).

1989: The obvious disadvantage of this choice is the appearance of large logarithms

1990: of the type $\ln\left(M_H^2/m_b^2\right)$ starting already in order

1991: ${\cal O}(\alpha_s)$, which spoil the convergence behaviour of the

1992: perturbation expansion.

1993: As is well known \cite{Braaten:1980yq}, these logarithms can be resummed into

1994: the running bottom-quark mass, if $m_b$ appearing in Eq.~(\ref{BornTrans}) is

1995: QCD-renormalised in the $\overline{\mathrm{MS}}$ scheme at scale $\mu=M_H$,

1996: by substituting $m_b=\overline{m}_b(M_H)$.

1997: For consistency with the ${\cal O}(G_Fm_t^2)$ and ${\cal O}(G_F^2m_t^4)$

1998: results presented above, which all refer to the electroweak on-shell scheme,

1999: we continue our discussion in a mixed renormalisation scheme where the

2000: on-shell definition of bottom-quark mass is adopted for electroweak

2001: corrections and the $\overline{\mathrm{MS}}$ one for QCD corrections.

2002: Since we wish to treat the masses of the top and bottom quarks on the same

2003: footing, we adopt this mixed scheme for the top-quark mass as well.

2004: Furthermore, the analysis at order ${\cal O}(\alpha_s^2G_Fm_t^2)$

2005: \cite{delu,Chetyrkin:1996ke} reveals that Eq.~(\ref{asxtonshell}) is further

2006: improved according to the renormalisation group if $m_t$ and $\alpha_s$

2007: are taken to be $m_t=\overline{m}_t(m_t)$ and $\alpha_s=\alpha_s^{(n_f)}(m_t)$

2008: with $n_f=6$ quark flavours, respectively.

2009: In this improved renormalisation scheme, Eq.~(\ref{asxtonshell}) takes the

2010: form

2011: \begin{eqnarray}

2012: \delta_u^{(x_t\alpha_s)}&=&x_t\frac{\alpha_s}{\pi}C_FN_c

2013: \left(\frac{19}{12}-\frac{\zeta(2)}{2}\right)

2014: \nonumber\\

2015: &=&x_t\frac{\alpha_s}{\pi}\left(\frac{19}{3}-\frac{\pi^2}{3}\right),

2016: \nonumber\\

2017: \frac{\Gamma^{(x_t\alpha_s)}}{\Gamma^{(0)}}&=&

2018: x_t\frac{\alpha_s}{\pi}C_F

2019: \left[-36+N_c\left(\frac{157}{12}-\zeta(2)\right)\right]

2020: \nonumber\\

2021: &=&x_t\frac{\alpha_s}{\pi}\left(\frac{13}{3}-\frac{2}{3}\pi^2\right).

2022: \label{mixed}

2023: \end{eqnarray}

2024: To the order considered here, we have

2025: \begin{equation}

2026: m_t=M_t\left(1-\frac{\alpha_s^{(6)}(M_t)}{\pi}C_F\right).

2027: \end{equation}

2028: 

2029: \section{Low-energy theorem}

2030: \label{CapNieder}

2031: 

2032: In this section, we present an alternative way of calculating all but one of

2033: the $Hb\overline{b}$ diagrams at order ${\cal O}(G_F^2 m_t^4)$ which is based

2034: on the Higgs-boson low-energy theorem \cite{Kniehl:1995tn}.

2035: In fact, the $Hb\overline{b}$ diagrams of Fig.~\ref{DiaHbb2loop}, with the

2036: exception of diagram (t), can be generated from the bottom-quark self-energy

2037: diagrams of Fig.~\ref{DiaB2l} by in turn attaching an external Higgs-boson

2038: line to each of the top-quark lines.

2039: Diagrammatically, this can be represented as follows:

2040: \begin{eqnarray}

2041: \begin{minipage}{56pt}

2042: \begin{picture}(56,40)

2043:   \ArrowLine(0,10)(56,10)

2044:   \Text(28,14)[b]{$t(q)$}

2045: \end{picture}

2046: \end{minipage}

2047: \quad&\longrightarrow&\quad

2048: \begin{minipage}{112pt}

2049: \begin{picture}(112,40)

2050:   \ArrowLine(0,10)(56,10)

2051:   \Text(28,14)[b]{$t(q)$}

2052:   \ArrowLine(56,10)(112,10)

2053:   \Text(84,14)[b]{$t(q)$}

2054:   \DashLine(56,10)(56,40){5}

2055:   \Text(58,40)[lt]{$H$}

2056: \end{picture}

2057: \end{minipage}

2058: \nonumber \\

2059: \frac{i}{\slashed{q}-m_{t,0}} \quad&\longrightarrow&\quad 

2060: \frac{i}{\slashed{q}-m_{t,0}}

2061: \,\frac{-im_{t,0}}{v_0}  \,\frac{i}{\slashed{q}-m_{t,0}}.

2062: \end{eqnarray}

2063: Here, we also made use of the fact that, in the large-$m_t$ approximation,

2064: the external Higgs boson does not carry any four-momentum into the respective

2065: diagram.

2066: Thanks to the identity

2067: \begin{equation}

2068: \frac{i}{\slashed{q}-m_{t,0}}\,

2069:  \frac{-im_{t,0}}{v_0}\, \frac{i}{\slashed{q}-m_{t,0}} =

2070: \frac{m_{t,0}}{v_0}\,\frac{\partial}{\partial m_{t,0}} \left( \frac{i}{\slashed{q}-m_{t,0}}

2071: \right),

2072: \end{equation}

2073: the amputated matrix element of $H\to b\overline{b}$ is in the large-$m_t$

2074: limit related to the bottom-quark self-energy as

2075: \begin{equation} \label{FormelNieder}

2076: {\cal A}_0 = \frac{m_{t,0}}{v_0} 

2077: \,\frac{\partial}{\partial m_{t,0}} \Sigma_b,

2078: \end{equation}

2079: where it is understood that the differential operator only acts on masses

2080: which stem from propagators, not to those occurring in vertices, and that all

2081: quantities in Eq.~(\ref{FormelNieder}) are taken to be bare.

2082: Exploiting the structures underlying Eqs.~(\ref{FermSelbstDef}) and

2083: (\ref{AAufspaltung}), Eq.~(\ref{FormelNieder}) can be decomposed into two

2084: scalar equations.

2085: Identifying the four-momentum $q$ in Eq.~(\ref{FermSelbstDef}) with $q_2$ in

2086: Eq.~(\ref{AAufspaltung}) and noticing that $q_2=-q_1$ in the soft-Higgs limit,

2087: we have

2088: \begin{eqnarray}

2089: {\cal A}_{A,0}&=& m_{b,0}\frac{m_{t,0}}{v_0}

2090: \,\frac{\partial}{\partial m_{t,0}}\Sigma_{b,S},

2091: \nonumber\\

2092: {\cal A}_{B,0}&=&\frac{1}{2}\,\frac{m_{t,0}}{v_0}\,

2093: \frac{\partial}{\partial m_{t,0}}\Sigma^{b,L}.

2094: \label{let}

2095: \end{eqnarray}

2096: The fact that the $H\to b\overline{b}$ amplitude does not contain a term

2097: proportional to $(\slashed{q}_2-\slashed{q}_1)\omega_+$ is reflected by the

2098: fact that the right-handed part of the bottom-quark self-energy,

2099: $\Sigma_{b,R}$, vanishes to the orders considered in this paper.

2100: %We note in passing that terms proportional to $\gamma_5$ vanish thanks to

2101: %$\overline{u}(q,r_2)\gamma_5v(q,r_1)=0$, which follows as a corollary from

2102: %Gordon's identity.

2103: 

2104: The results for ${\cal A}_{A,0}$ and ${\cal A}_{B,0}$ obtained through

2105: Eq.~(\ref{let}) indeed agree with the direct evaluation of the respective

2106: diagrams in Fig.~\ref{DiaHbb2loop}.

2107: 

2108: \section{Numerical results}

2109: \label{Numerics}

2110: 

2111: Finally, we explore the phenomenological implications of our results.

2112: Adopting from Ref.~\cite{PDG} the values $G_F=1.16637\times10^{-5}$~GeV$^{-2}$,

2113: $\alpha_s^{(5)}(M_Z)=0.1176$, $M_Z=91.1876$~GeV, and $M_t=174.2$~GeV for our

2114: input parameters, so that $\alpha_s^{(6)}(m_t)=0.1076$ and $m_t=166.2$~GeV,

2115: we evaluate the relative corrections $\Gamma^{(x)}/\Gamma^{(0)}$ to the

2116: $H\to b\overline{b}$ decay width to orders $x=G_F m_t^2$, $G_F^2m_t^4$, and

2117: $\alpha_sG_Fm_t^2$.

2118: For comparison, we also evaluate the relative corrections to the $H\to l^+l^-$

2119: and $H\to q\overline{q}$ decay widths, where $l=e,\mu,\tau$ and $q=u,d,s,c$,

2120: which, to the orders considered here, are given by

2121: \begin{eqnarray}

2122: \Delta_l&=&(1+\delta_u)^2-1

2123: \nonumber\\

2124: &=&2\delta_u^{(1)}

2125: +2\delta_u^{(2)}+\left(\delta_u^{(1)}\right)^2

2126: +2\delta_u^{(x_t\alpha_s)},

2127: \nonumber\\

2128: \Delta_q&=&(1+\Delta_\mathrm{QCD})(1+\delta_u)^2-1

2129: \nonumber\\

2130: &=&\Delta_\mathrm{QCD}+2\delta_u^{(1)}

2131: +2\delta_u^{(2)}+\left(\delta_u^{(1)}\right)^2

2132: +2\delta_u^{(x_t\alpha_s)}

2133: +2\Delta_\mathrm{QCD}\delta_u^{(1)},

2134: \end{eqnarray}

2135: where \cite{Braaten:1980yq}

2136: \begin{equation}

2137: \Delta_\mathrm{QCD} = \frac{\alpha_s}{\pi}C_F \frac{17}{4}

2138: \end{equation}

2139: is the ${\cal O}(\alpha_s)$ correction in the limit $m_q\ll M_H$, with

2140: $m_q=\overline{m}_q(M_H)$.

2141: 

2142: The results are listed in Table~\ref{tab:num}.

2143: We observe that the ${\cal O}(G_F^2m_t^4)$ correction to $\Gamma^{(0)}$

2144: increases the enhancement due to the ${\cal O}(G_F m_t^2)$ one by about 16\%

2145: and has more than twice the magnitude of the negative

2146: ${\cal O}(\alpha_sG_Fm_t^2)$ one.

2147: \begin{table}[t]

2148: \begin{center}

2149: \caption{\label{tab:num}Numerical values of the relative corrections

2150: $\Delta_l^{(x)}$, $\Delta_q^{(x)}$, and $\Gamma^{(x)}/\Gamma^{(0)}$ to the

2151: $H\to l^+l^-$, $H\to q\overline{q}$, and $H\to b\overline{b}$ decay widths,

2152: respectively, at orders $x=G_Fm_t^2$, $G_F^2m_t^4$, and $\alpha_sG_Fm_t^2$.}

2153: \begin{tabular}{|c|ccc|}

2154: \hline

2155: Order $x$ & $\Delta_l^{(x)}$ & $\Delta_q^{(x)}$ & $\Gamma^{(x)}/\Gamma^{(0)}$

2156: \\

2157: \hline

2158: $\mathcal{O}(G_Fm_t^2)$ & $+2.021\%$ & $+2.021\%$ & $+0.289\%$ \\

2159: $\mathcal{O}(G_F^2m_t^4)$ & $+0.064\%$ & $+0.064\%$ & $+0.047\%$ \\

2160: $\mathcal{O}(\alpha_sG_Fm_t^2)$ & $+0.060\%$ & $+0.452\%$ & $-0.022\%$ \\

2161: \hline

2162: \end{tabular}

2163: \end{center}

2164: \end{table}

2165: 

2166: \section{Conclusions}

2167: \label{CapZusammenfassung}

2168: 

2169: We analytically calculated the dominant electroweak two-loop correction, of

2170: order\break ${\cal O}(G_F^2m_t^4)$, to the $H\to b\overline{b}$ decay width of

2171: an intermediate-mass Higgs boson, with $M_H\ll m_t$.

2172: 

2173: We performed various checks for our analysis.

2174: The ultraviolet divergences cancelled through genuine two-loop renormalisation.

2175: Our final result is devoid of infrared divergences related to infinitesimal

2176: scalar-boson masses.

2177: We reproduced those $Hb\overline{b}$ triangle diagrams where the external

2178: Higgs boson is coupled to an internal top-quark line, which we had computed

2179: directly, through application of a low-energy theorem.

2180: After switching to a hybrid renormalisation scheme, our ${\cal O}(G_F^2m_t^4)$

2181: result for the universal correction $\delta_u$ agrees with

2182: Ref.~\cite{Djouadi}.

2183: Using our techniques, we also recovered the ${\cal O}(\alpha_sG_Fm_t^2)$

2184: correction to the $H\to b\overline{b}$ decay width as well as the universal

2185: correction $\delta_u$ in this order.

2186: 

2187: The ${\cal O}(G_F^2m_t^4)$ correction to the $H\to b\overline{b}$ decay width 

2188: amplifies the familiar enhancement due to the ${\cal O}(G_Fm_t^2)$ correction

2189: by about $+16\%$ and thus more than compensates the screening by about $-8\%$

2190: through QCD effects of order ${\cal O}(\alpha_sG_Fm_t^2)$.

2191: 

2192: \section*{Acknowledgements}

2193: 

2194: We like to thank Paolo Gambino, Jan Piclum, Florian Schwennsen, and Matthias

2195: Steinhauser for fruitful discussions.

2196: This work was supported in part by the German Federal Ministry for Education

2197: and Research BMBF through Grant No.\ 05~HT6GUA and by the German Research

2198: Foundation DFG through Graduate School No.\ GRK~602 {\it Future

2199: Developments in Particle Physics}. 

2200: 

2201: \begin{thebibliography}{10}

2202: 

2203: \bibitem{Barate:2003sz}

2204: ALEPH Collaboration, DELPHI Collaboration, L3 Collaboration,

2205: OPAL Collaboration and The LEP Working Group for Higgs Boson Searches,

2206: R.~Barate, et al.,

2207: Phys.\ Lett.\ B 565 (2003) 61.

2208: 

2209: \bibitem{LEPEWWG}

2210: LEP Electroweak Working Group, D.~Abbaneo, et al.,

2211: Report No.\ LEPEWWG/2005-01; see also

2212: URL: {\tt http://lepewwg.web.cern.ch/LEPEWWG/}.

2213: 

2214: \bibitem{Kniehl:2001jy}

2215: B.A.~Kniehl,

2216: Int.\ J.\ Mod.\ Phys.\ A 17 (2002) 1457.

2217: 

2218: \bibitem{Kniehl:1993ay}

2219: B.A.~Kniehl,

2220: Phys.\ Rept.\  240 (1994) 211;\\

2221: M.~Spira,

2222: Fortsch.\ Phys.\ 46 (1998) 203.

2223: 

2224: \bibitem{Braaten:1980yq}

2225: E.~Braaten, J.P.~Leveille,

2226: Phys.\ Rev.\ D 22 (1980) 715;\\

2227: N.~Sakai,

2228: Phys.\ Rev.\ D 22 (1980) 2220;\\

2229: T.~Inami, T.~Kubota,

2230: Nucl.\ Phys.\ B 179 (1981) 171;\\

2231: M.~Drees, K.~Hikasa,

2232: Phys.\ Lett.\ B 240 (1990) 455;\\

2233: M.~Drees, K.~Hikasa,

2234: Phys.\ Lett.\ B 262 (1991) 497, Erratum.

2235: 

2236: \bibitem{Kniehl:1991}

2237: J.~Fleischer, F.~Jegerlehner,

2238: Phys.\ Rev.\ D 23 (1981) 2001;\\

2239: D.Yu.~Bardin, B.M.~Vilenski\u\i, P.Kh.~ Khristova,

2240: Yad.\ Fiz.\ 53 (1991) 240 [Sov.\ J. Nucl.\ Phys.\ 53 (1991) 152];\\

2241: B.A.~Kniehl,

2242: Nucl.\ Phys.\ B 376 (1992) 3;\\

2243: A.~Dabelstein, W.~Hollik,

2244: Z. Phys.\ C 53 (1992) 507.

2245: 

2246: \bibitem{Gorishnii:1991zr}

2247: S.G.~Gorishny, A.L.~Kataev, S.A.~Larin, L.R.~Surguladze,

2248: Mod.\ Phys.\ Lett.\ A 5 (1990) 2703;\\

2249: S.G.~Gorishny, A.L.~Kataev, S.A.~Larin, L.R.~Surguladze,

2250: Phys.\ Rev.\ D 43 (1991) 1633;\\

2251: A.L.~Kataev, V.T.~Kim,

2252: Mod.\ Phys.\ Lett.\ A 9 (1994) 1309.

2253: 

2254: \bibitem{Surguladze:1994gc}

2255: L.R.~Surguladze,

2256: Phys.\ Lett.\ B 341 (1994) 60.

2257: 

2258: \bibitem{Kniehl:1994vq}

2259: B.A.~Kniehl,

2260: Phys.\ Lett.\ B 343 (1995) 299.

2261: 

2262: \bibitem{Chetyrkin:1995pd}

2263: K.G.~Chetyrkin, A.~Kwiatkowski,

2264: Nucl.\ Phys.\ B 461 (1996) 3.

2265: 

2266: \bibitem{Chetyrkin:1996sr}

2267: K.G.~Chetyrkin,

2268: Phys.\ Lett.\ B 390 (1997) 309.

2269: 

2270: \bibitem{Chetyrkin:1997vj}

2271: K.G.~Chetyrkin, M.~Steinhauser,

2272: Phys.\ Lett.\ B 408 (1997) 320.

2273: 

2274: \bibitem{Kniehl:1994ph}

2275: B.A.~Kniehl, A. Sirlin,

2276: Phys.\ Lett.\ B 318 (1993) 367;\\

2277: B.A.~Kniehl,

2278: Phys.\ Rev.\ D 50 (1994) 3314;\\

2279: A.~Djouadi, P.~Gambino,

2280: Phys.\ Rev.\ D 51 (1995) 218.

2281: 

2282: \bibitem{KniehlSpira}

2283: B.A.~Kniehl, M.~Spira,

2284: Nucl.\ Phys.\ B 432 (1994) 39.

2285: 

2286: \bibitem{Kwiatkowski:1994cu}

2287: A.~Kwiatkowski, M.~Steinhauser,

2288: Phys.\ Lett.\ B 338 (1994) 66;\\

2289: A.~Kwiatkowski, M.~Steinhauser,

2290: Phys.\ Lett.\ B 342 (1995) 455, Erratum.

2291: 

2292: \bibitem{delu}

2293: B.A.~Kniehl, M.~Steinhauser,

2294: Nucl.\ Phys.\ B 454 (1995) 485;\\

2295: B.A.~Kniehl, M.~Steinhauser,

2296: Phys.\ Lett.\ B 365 (1996) 297.

2297: 

2298: \bibitem{Chetyrkin:1996ke}

2299: K.G.~Chetyrkin, B.A.~Kniehl, M.~Steinhauser,

2300: Phys.\ Rev.\ Lett.\ 78 (1997) 594;\\

2301: K.G.~Chetyrkin, B.A.~Kniehl, M.~Steinhauser,

2302: Nucl.\ Phys.\ B 490 (1997) 19.

2303: 

2304: \bibitem{Djouadi}

2305: A.~Djouadi, P.~Gambino, B.A.~Kniehl,

2306: Nucl.\ Phys.\ B 523 (1998) 17.

2307: 

2308: \bibitem{prl}

2309: M.~Butensch\"on, F.~Fugel, B.A.~Kniehl,

2310: Phys.\ Rev.\ Lett.\ 98 (2007) 071602.

2311: 

2312: \bibitem{Hahn:2000kx}

2313: T.~Hahn,

2314: Comput.\ Phys.\ Commun.\ 140 (2001) 418.

2315: 

2316: \bibitem{MATAD}

2317: M.~Steinhauser,

2318: Comput.\ Phys.\ Commun.\ 134 (2001) 335.

2319: 

2320: \bibitem{FORM}

2321: J.A.M.~Vermaseren,

2322: Symbolic Manipulation with FORM, Computer Algebra Netherlands, Amsterdam,

2323: 1991.

2324: 

2325: \bibitem{Kniehl:1998fn}

2326: B.A.~Kniehl, A.~Sirlin,

2327: Phys.\ Rev.\ Lett.\ 81 (1998) 1373;\\

2328: B.A.~Kniehl, A.~Sirlin,

2329: Phys.\ Lett.\ B 440 (1998) 136;\\

2330: B.A.~Kniehl, C.P.~Palisoc, A.~Sirlin,

2331: Nucl.\ Phys.\ B 591 (2000) 296;\\

2332: B.A.~Kniehl, A.~Sirlin,

2333: Phys.\ Lett.\ B 530 (2002) 129.

2334: 

2335: \bibitem{Hollik:1988ii}

2336: W.F.L.~Hollik,

2337: Fortsch.\ Phys.\ 38 (1990) 165.

2338: 

2339: \bibitem{Faisst}

2340: M.~Faisst,

2341: Diploma thesis, University of Karlsruhe, 2000.

2342: 

2343: \bibitem{Denner}

2344: A.~Denner,

2345: Fortsch.\ Phys.\ 41 (1993) 307.

2346: 

2347: \bibitem{Smirnov}

2348: V.A.~Smirnov,

2349: Applied Asymptotic Expansions in Momenta and Masses, Springer, Heidelberg,

2350: Germany, 2001.

2351: 

2352: \bibitem{Kniehl:1995tn}

2353: A.I.~Va\u\i nshte\u\i n, M.B.~Voloshin, V.I.~Zakharov, M.A.~Shifman,

2354: Yad.\ Fiz.\ 30 (1979) 1368 [Sov.\ J. Nucl.\ Phys.\ 30 (1979) 711];\\

2355: A.I.~Va\u\i nshte\u\i n, V.I.~Zakharov, M.A.~Shifman,

2356: Usp.\ Fiz.\ Nauk 131 (1980) 537 [Sov.\ Phys.\ Usp.\ 23 (1980) 429];\\

2357: M.B.~Voloshin,

2358: Yad.\ Fiz.\ 44 (1986) 738 [Sov.\ J. Nucl.\ Phys.\ 44 (1986) 478];\\

2359: M.A.~Shifman,

2360: Usp.\ Fiz.\ Nauk 157 (1989) 561 [Sov.\ Phys.\ Usp.\ 32 (1989) 289];\\

2361: B.A.~Kniehl, M.~Spira,

2362: Z. Phys.\ C 69 (1995) 77;\\

2363: W.~Kilian,

2364: Z.\ Phys.\ C 69 (1995) 89;\\

2365: M.~Spira, A.~Djouadi, D.~Graudenz, P.M.~Zerwas,

2366: Nucl.\ Phys.\ B 453 (1995) 17.

2367: 

2368: \bibitem{Consoli:1989fg}

2369: M.~Consoli, W.~Hollik, F.~Jegerlehner,

2370: Phys.\ Lett.\ B 227 (1989) 167.

2371: 

2372: \bibitem{PDG}

2373: Particle Data Group, W.-M.~Yao, et al.,

2374: J. Phys.\ G 33 (2006) 1.

2375: 

2376: \end{thebibliography}

2377: 

2378: \end{document}

2379: