

%%%  useful macros for econf proceedings articles:

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%  basic formatting macros:
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  single-line equations:

\def\beq{\begin{equation}}
\def\eeq#1{\label{#1}\end{equation}}
\def\eeqn{\end{equation}}

%%  multiple-line equations  (use \CR as the carriage return):

\newenvironment{Eqnarray}%
   {\arraycolsep 0.14em\begin{eqnarray}}{\end{eqnarray}}
\def\beqa{\begin{Eqnarray}}
\def\eeqa#1{\label{#1}\end{Eqnarray}}
\def\eeqan{\end{Eqnarray}}
\def\CR{\nonumber \\ }

%%  reference to an equation number:

\def\leqn#1{(\ref{#1})}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  bibliographic entries   (use this or the SPIRES LaTeX output)

%%   Journal or bibliographic formatting macros are obsolete!
%%   The SLAC/SPIRES database supplies properly formatted citations;
%%      click on  LaTeX(US) or LaTeX(EU)   

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  sizing and bars

\def\st{\scriptstyle}
\def\sst{\scriptscriptstyle}

\def\overbar#1{\overline{#1}}
\let\littlebar=\bar
\let\bar=\overbar

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  text-mode macros:

\def\etal{{\it et al.}}
\def\ie{{\it i.e.}}
\def\eg{{\it e.g.}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  expectation values:

\def\VEV#1{\left\langle{ #1} \right\rangle}
\def\bra#1{\left\langle{ #1} \right|}
\def\ket#1{\left| {#1} \right\rangle}
\def\vev#1{\langle #1 \rangle}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  caligraphic letters (for matrix elements, luminosity, etc.)

\def\D{{\cal D}}
\def\L{{\cal L}}
\def\M{{\cal M}}
\def\O{{\cal O}}
\def\W{{\cal W}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  matrix operations and fractions:

\def\One{{\bf 1}}
\def\hc{{\mbox{\rm h.c.}}}
\def\tr{{\mbox{\rm tr}}}
\def\half{\frac{1}{2}}
\def\thalf{\frac{3}{2}}
\def\third{\frac{1}{3}}
\def\tthird{\frac{2}{3}}

\def\Dslash{\not{\hbox{\kern-4pt $D$}}}
\def\dslash{\not{\hbox{\kern-2pt $\del$}}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  high-energy physics terminology:

\def\Pl{{\mbox{\scriptsize Pl}}}
\def\eff{{\mbox{\scriptsize eff}}}
\def\CM{{\mbox{\scriptsize CM}}}
\def\BR{\mbox{\rm BR}}
\def\ee{e^+e^-}
\def\sstw{\sin^2\theta_w}
\def\cstw{\cos^2\theta_w}
\def\mz{m_Z}
\def\gz{\Gamma_Z}
\def\mw{m_W}
\def\mt{m_t}
\def\gt{\Gamma_t}
\def\mh{m_h}
\def\gmu{G_\mu}
\def\GF{G_F}
\def\alphas{\alpha_s}
\def\msb{{\bar{\ssstyle M \kern -1pt S}}}
\def\lmsb{\Lambda_{\msb}}
\def\ELER{e^-_Le^+_R}
\def\EREL{e^-_Re^+_L}
\def\ELEL{e^-_Le^+_L}
\def\ERER{e^-_Re^+_R}
\def\eps{\epsilon}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  supersymmetry:

\def\ch#1{\widetilde\chi^+_{#1}}
\def\chm#1{\widetilde\chi^-_{#1}}
\def\neu#1{\widetilde\chi^0_{#1}}
\def\s#1{\widetilde{#1}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%5

%% miscellaneous

\def\lsim{\mathrel{\raise.3ex\hbox{$<$\kern-.75em\lower1ex\hbox{$\sim$}}}}
\def\gsim{\mathrel{\raise.3ex\hbox{$>$\kern-.75em\lower1ex\hbox{$\sim$}}}}




%  sample eprint article in LaTeX           --- M. Peskin, 9/7/00
%  enhancements added by H.E. Haber, 11/16/00

\documentclass[fleqn,12pt]{article}
\usepackage{epsfig}

%\input{defs}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% basic data for the eprint:
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\textwidth=6.0in  \textheight=8.25in

%%  Adjust these for your printer:
\leftmargin=-0.3in   \topmargin=-0.20in
\hoffset=-.25in
%% preprint number data:
%% Change the preprint number below to your institutional preprint number
\newcommand\pubnumberc{CERN--TH/2001--018}
\newcommand\pubnumberk{KA--TP--2--2001}
\newcommand\pubdate{\today}
%% If you will submit to hep-ex, change hep-ph to hep-ex below
%% Do not ; this will be automatically converted
%% to the Los Alamos hep number during the submission process
\newcommand\hepnumber

%%  address and funding acknowledgment data:
\def\csumb{$^a$ DESY Theorie, Notkestr.\ 85, D-22603 Hamburg, Germany \\[0.2cm]
$^b$ HET, Physics Department, Brookhaven Nat.\ Lab.,
    Upton, NY 11973, USA \\[0.2cm]
$^c$ Institut f\"ur Theoretische Physik,
Universit\"at Karlsruhe, \\ D-76128 Karlsruhe, Germany\\[0.2cm] 
$^d$ CERN, TH Division, CH-1211 Geneva 23, Switzerland}
\def\support{\footnote{Work supported by the
Deutsche Forschungsgemeinschaft and by the European Union.}} 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%   document style macros
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\Title#1{\begin{center} {\Large\bf #1 } \end{center}}
\def\Author#1{\begin{center}{ \sc #1} \end{center}}
\def\Address#1{\begin{center}{ \it #1} \end{center}}
\def\andauth{\begin{center}{and} \end{center}}
\def\submit#1{\begin{center}Submitted to {\sl #1} \end{center}}
\newcommand\pubblock{\rightline{\begin{tabular}{l} \pubnumberc\\
                                                   \pubnumberk\\
         \pubdate\\ \hepnumber \end{tabular}}}
\newenvironment{Abstract}{\begin{quotation}  }{\end{quotation}}
\newenvironment{Presented}{\begin{quotation} \begin{center} 
             Presented by {\sc W. Hollik} at the\end{center}
      \begin{center}\begin{large}}{\end{large}\end{center} \end{quotation}}
\def\Acknowledgments{\bigskip  \bigskip \begin{center}
          \large\bf Acknowledgments\end{center}}

\makeatletter
\def\section{\@startsection{section}{0}{\z@}{5.5ex plus .5ex minus
 1.5ex}{2.3ex plus .2ex}{\large\bf}}
\def\subsection{\@startsection{subsection}{1}{\z@}{3.5ex plus .5ex minus
 1.5ex}{1.3ex plus .2ex}{\normalsize\bf}}
\def\subsubsection{\@startsection{subsubsection}{2}{\z@}{-3.5ex plus
-1ex minus  -.2ex}{2.3ex plus .2ex}{\normalsize\sl}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% small size table and figure captions %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\renewcommand{\@makecaption}[2]{%
   \vskip 10pt
   \setbox\@tempboxa\hbox{\small #1: #2}
   \ifdim \wd\@tempboxa >\hsize     % IF longer than one line:
       \small #1: #2\par          %   THEN set as ordinary paragraph.
     \else                        %   ELSE  center.
       \hbox to\hsize{\hfil\box\@tempboxa\hfil}
   \fi}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% macros to collapse citation numbers to ranges %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% \citenum emits the plain citation number without ornament
% \citea puts it's argument into the ornamentation for citations
% thus \cite{foo} is equivalent to \citea{\citenum{foo}}
 \def\citenum#1{{\def\@cite##1##2{##1}\cite{#1}}}
%\def\citea#1{\@cite{#1}{}}
 
% Collapse citation numbers to ranges.  Non-numeric and undefined labels
% are handled.  No sorting is done.  E.g., 1,3,2,3,4,5,foo,1,2,3,?,4,5
% gives 1,3,2-5,foo,1-3,?,4,5
\newcount\@tempcntc
\def\@citex[#1]#2{\if@filesw\immediate\write\@auxout{\string\citation{#2}}\fi
  \@tempcnta\z@\@tempcntb\m@ne\def\@citea{}\@cite{\@for\@citeb:=#2\do
    {\@ifundefined
       {b@\@citeb}{\@citeo\@tempcntb\m@ne\@citea\def\@citea{,}{\bf ?}\@warning
       {Citation `\@citeb' on page \thepage \space undefined}}%
    {\setbox\z@\hbox{\global\@tempcntc0\csname b@\@citeb\endcsname\relax}%
     \ifnum\@tempcntc=\z@ \@citeo\@tempcntb\m@ne
       \@citea\def\@citea{,}\hbox{\csname b@\@citeb\endcsname}%
     \else
      \advance\@tempcntb\@ne
      \ifnum\@tempcntb=\@tempcntc
      \else\advance\@tempcntb\m@ne\@citeo
      \@tempcnta\@tempcntc\@tempcntb\@tempcntc\fi\fi}}\@citeo}{#1}}
\def\@citeo{\ifnum\@tempcnta>\@tempcntb\else\@citea\def\@citea{,}%
  \ifnum\@tempcnta=\@tempcntb\the\@tempcnta\else
  {\advance\@tempcnta\@ne\ifnum\@tempcnta=\@tempcntb \else\def\@citea{--}\fi
    \advance\@tempcnta\m@ne\the\@tempcnta\@citea\the\@tempcntb}\fi\fi}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\makeatother


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% corrects bad spacing in LaTeX multiple line equations
% replace eqnarray with Eanarray (or use abbreviations
% in econfmacros2.tex
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\newenvironment{Eqnarray}%
%   {\arraycolsep 0.14em\begin{eqnarray}}{\end{eqnarray}}
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  personal abbreviations and macros
%    the following package contains macros used in this document:
\input econfmacros2.tex
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% \documentstyle[fleqn,epsfig]{article}

\def\al{\alpha}
\def\be{\beta}
\def\ga{\gamma}
\def\de{\delta}
\def\eps{\varepsilon}
\def\la{\lambda}
\def\si{\sigma}
\def\Si{\Sigma}
%\def\ie{i\epsilon}
\def\Ga{\Gamma}
\def\De{\Delta}
\def\Re{\mathrm{Re}}
\def\Im{\mathrm{Im}}

\newcommand{\ttbs}{\char'134}
\renewcommand{\tablename}{Table}
 

\newcommand{\stxt}[1]{\mbox{\scriptsize #1}}

\newcommand{\MW}{M_W}
\newcommand{\MZ}{M_Z}
\newcommand{\MH}{M_H}
\newcommand{\OMT}[1]{\overline{M}_{\hspace{-.3ex}{#1}}}
%\newcommand{\OMP}{\overline{M}_{\hspace{-.3ex}\phi}}
\newcommand{\OMP}{\overline{M}}
%\newcommand{\OGP}{\overline{\Gamma}_{\hspace{-.3ex}\phi}}
\newcommand{\OGP}{\overline{\Gamma}}
\newcommand{\me}{m_e}
\newcommand{\Mt}{m_t}
\newcommand{\sw}{s_{\mbox{\tiny{W}}}}
\newcommand{\cw}{c_{\mbox{\tiny{W}}}}
%\newcommand{\GF}{G_F}
\newcommand{\as}{\alpha_s}
\newcommand{\alps}{\alpha_s}
\newcommand{\sweff}{\sin^2 \theta_{\mathrm{eff}}}
\newcommand{\msbar}{$\overline{MS}$}

\newcommand{\rt}[1]{\left(#1\right)^{\frac{1}{2}}}
\newcommand{\irt}[1]{\left(#1\right)^{-\frac{1}{2}}}

\newcommand{\lesim}{\raisebox{-.3ex}{$_{\textstyle <}\atop^{\textstyle\sim}$}}
\newcommand{\gesim}{\raisebox{-.3ex}{$_{\textstyle >}\atop^{\textstyle\sim}$}}

\newcommand{\xia}{\xi_1^{\gamma}}
\newcommand{\xiaz}{\xi^{\gamma Z}}
\newcommand{\xiza}{\xi^{Z\gamma}}
\newcommand{\xiz}{\xi_1^Z}
\newcommand{\xizz}{\xi_2^Z}
\newcommand{\xiw}{\xi_1^W}
\newcommand{\xiww}{\xi_2^W}
\newcommand{\xiA}{\xi^{\gamma}}
\newcommand{\xiZ}{\xi^Z}
\newcommand{\xiW}{\xi^W}

\newcommand{\gev}{\unskip\,\mathrm{GeV}}
\newcommand{\tev}{\unskip\,\mathrm{TeV}}
\newcommand{\fea}{{\em FeynArts}}

\newcommand{\eqref}[1]{(\ref{#1})}



\begin{document}
\begin{titlepage}
\pubblock

\vfill
\def\thefootnote{\fnsymbol{footnote}}
\Title{Two-loop electroweak contributions 
to $\Delta r$ \support}  % \\[5pt] 
\vfill
\Author{A. Freitas$^a$, S. Heinemeyer$^b$, 
        W. Hollik$^c$, W. Walter$^c$, 
        G. Weiglein$^d$} % \support}
\Address{\csumb}
\vfill
\begin{Abstract}
A review is given on the quantum correction
$\Delta r$ in the $W$--$Z$ mass correlation at
the electroweak two-loop level, as derived from 
the calculation of the muon lifetime in the Standard Model. 
Exact results for $\Delta r$ and the $W$-mass prediction
including ${\mathcal{O}}(\alpha^2)$ corrections with fermion loops are
presented and compared with previous results of a next-to-leading order
expansion in the top-quark mass. 
\end{Abstract}
\vfill
\begin{Presented}
5th International Symposium on Radiative Corrections \\ 
(RADCOR--2000) \\[4pt]
Carmel CA, USA, 11--15 September, 2000
\end{Presented}
\vfill
\end{titlepage}
\def\thefootnote{\arabic{footnote}}
\setcounter{footnote}{0}
%

\section{Introduction}


The interdependence between the $W$-boson mass, $\MW$, and the $Z$-boson
mass, $\MZ$, with the help of the Fermi constant
$\GF$ and the fine structure constant $\al$ 
is one of the most important relations for testing the
electroweak Standard Model (SM) with high precision.
At present, the world-average for the $W$-boson mass is 
$\MW^{\mathrm{exp}} = 80.434 \pm 0.037$~GeV~\cite{mori00}.
The experimental precision on $\MW$
will be further improved with the data taken at LEP2 in their final
analysis, at the upgraded Tevatron and at the LHC, where 
an error of $\de\MW = 15$~MeV can be expected~\cite{lhctdr}. At a 
high-luminosity linear collider running in a low-energy mode at the 
$W^+W^-$ threshold, a reduction 
of the experimental error down to 
$\de\MW = 6$~MeV may be feasible~\cite{gigazMW}. This offers the
prospect for highly sensitive tests of the electroweak
theory~\cite{gigaztests}, provided that the accuracy of the theoretical
prediction matches the experimental precision.
The basic physical quantity for the $\MW$--$\MZ$ correlation 
is the muon lifetime $\tau_{\mu}$,
which defines  the Fermi constant $\GF$
according to
\beq
\frac{1}{\tau_{\mu}} = \frac{\GF^2 \, m_\mu^5}{192 \pi^3} \;
F\left(\frac{m_e^2}{m_\mu^2}\right)
\left(1 + \frac{3}{5} \frac{m_\mu^2}{\MW^2} \right) 
\left(1 + \Delta_{\rm QED} \right) ,
\label{eq:fermi}
\end{equation}
with $F(x) = 1 - 8 x - 12 x^2 \ln x + 8 x^3 - x^4$. By convention, the
QED corrections within the Fermi Model, $\Delta_{\rm QED}$, 
are included in this defining equation for $\GF$. 
The one-loop result for 
$\Delta_{\rm QED}$~\cite{delqol}, 
which has already been known for several
decades, has recently been supplemented by the two-loop
correction~\cite{delqtl}, yielding 
\beq 
\Delta_{\rm QED} = 1 - 1.81\, \frac{\alpha(m_\mu)}{\pi}
                       +6.7 \left( \frac{\alpha(m_\mu)}{\pi} \right)^2 ,
 \quad \mbox{with} \quad
\alpha(m_\mu) \simeq \frac{1}{135.90} \;\; .
%              \alpha \left[1- \frac{2\alpha}{3\pi} 
%              \log(\frac{m_\mu}{m_e}) \right]^{-1} .
\end{equation}
The tree-level $W$-propagator effect giving rise to the
(numerically insignificant) term $3 m_\mu^2/(5 \MW^2)$ in 
\eqref{eq:fermi}, is conventionally also included in the definition of
$\GF$, although not part of the Fermi Model prediction.
From the precisely measured muon-decay width the value
\cite{C:pdg} $\GF = (1.16637 \pm 0.00001)\, 10^{-5} \mbox{ GeV}^{-2}$
for the Fermi constant is derived.

Calculating 
the muon lifetime within the SM and comparing the SM result 
with~\eqref{eq:fermi} yields the relation
\beq
\MW^2 \left(1 - \frac{\MW^2}{\MZ^2}\right) = 
\frac{\pi \al}{\sqrt{2} \GF} \left(1 + \De r\right),
\label{eq:delr}
\end{equation}
where the radiative corrections are summarized 
in the quantity $\De r$, first calculated in~\cite{sirlin}
at one-loop.
This relation can be used for deriving the prediction of $\MW$ within 
the SM (or possible extensions), to be confronted with the experimental 
result for $\MW$. 


The one-loop result for $\De r$ within the SM
can be decomposed as follows (with the notation
$\sw^2 = 1 - \MW^2/\MZ^2, \, \cw^2 = 1- \sw^2$),
\beq
\De r^{(\al)} = \De \al - \frac{\cw^2}{\sw^2} \De\rho + 
\De r_{\mathrm{rem}}(\MH),
\label{eq:delrol}
\end{equation}
exhibiting the leading fermion-loop contributions $\De \al$ and $\De\rho$,
which originate from the charge and mixing-angle renormalization;
the remainder part $\De r_{\mathrm{rem}}$ contains 
in particular the dependence on the Higgs-boson mass, $\MH$. 
The QED-induced shift $\De \al$
in the fine structure constant contains 
large logarithms of light-fermion masses. 
The leading contribution to the $\rho$~parameter from
the top/bottom weak-isospin doublet, $\De\rho$, gives rise to a term
with a quadratic dependence on the top-quark mass, $\mt$~\cite{velt}.

Beyond the one-loop order, resummations of the leading one-loop
contributions $\De\al$ and $\De\rho$ are known~\cite{resum}.
They correctly take into account the terms of the form 
$(\De\al)^2$, $(\De\rho)^2$, $(\De\al\De\rho)$, and
$(\De\al\De r_{\mathrm{rem}})$ at the two-loop level and the leading
powers in $\De\al$ to all orders. 

QCD corrections to $\De r$ are known at ${\cal O}(\al
\alps)$~\cite{qcd2} and ${\cal O}(\al \alps^2)$~\cite{qcd3}. 
Concerning the electroweak two-loop contributions, only 
partial results are available up to now. 
Approximative calculations were performed
based on expansions for
asymptotically large values of 
$\MH$~\cite{ewmh2} and $\mt$~\cite{ewmt4,ewmt2,rho3}.
The terms derived by expanding in the top-quark
mass of ${\cal O}(\GF^2 \Mt^4)$~\cite{ewmt4} and 
${\cal O}(\GF^2 \Mt^2 \MZ^2)$~\cite{ewmt2} were found to be numerically
sizeable. The ${\cal O}(\GF^2 \Mt^2 \MZ^2)$ term, involving three different 
mass scales, has been obtained by two separate expansions in the regions
$\MW, \MZ, \MH \ll \mt$ and $\MW, \MZ \ll \mt, \MH$ and by an interpolation
between the two expansions. This formally next-to-leading order term
turned out to be of a magnitude similar to that of
the formally leading term of ${\cal O}(\GF^2 \Mt^4)$, entering with
the same sign. Its inclusion (both for $\MW$ and the effective weak
mixing angle) had important consequences on the indirect constraints
on the Higgs-boson mass derived from the SM fit to the precision data.

A more complete calculation of electroweak two-loop
effects is hence desirable.
As a first step in this direction, exact results were derived 
for the Higgs-mass dependence of the fermionic two-loop 
corrections to the precision observables~\cite{ewmhdep}. They have been
compared with the results of expanding up to ${\cal O}(\GF^2 \Mt^2
\MZ^2)$~\cite{ewmt2}, specifically analysing the effects of the $\mt$
expansion, and good agreement has been found~\cite{gsw}.
Beyond the two-loop order, complete results for the pure fermion-loop 
corrections ({\it i.e.}~contributions containing $n$ fermion loops at 
$n$-loop order) have recently been obtained up to four-loop order~\cite{floops}.
These results contain in particular the contributions of the leading
powers in $\De\al$ as well as the ones in $\De\rho$ and the mixed
terms.

In this talk the complete 
fermionic electroweak two-loop corrections to $\De r$
are discussed, as calculated exactly 
without an expansion in the top-quark or the
Higgs-boson mass \cite{plb-paper}.
These are all two-loop diagrams contributing to 
the muon-decay amplitude and
containing at least one closed fermion loop (except the pure QED
corrections already contained in the Fermi model result, according 
to~\eqref{eq:fermi}). 
Fig.~{\ref{fig:diags} displays some typical examples}.
The considered class of diagrams includes the
potentially large corrections both from the top/bottom doublet and 
from contributions proportional to $N_{lf}$ and $N_{lf}^2$, 
where $N_{lf}$ is the number of light fermions (a partial result for 
the light-fermion contributions is given in \cite{stuartlf}). The 
results presented here improve on the previous results of an expansion in $\mt$
up to next-to-leading order~\cite{ewmt2} in containing the full
dependence on $\mt$ as well as the complete light-fermion contributions
at the two-loop order, while in \cite{ewmt2} higher-order corrections from
light fermions have only been taken into account via a resummation of
the one-loop light-fermion contribution.


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{figure}[ht]
\vspace{1em}
\begin{center}
\psfig{figure=diags.ps,width=13cm}
\vspace{-1em}
\end{center}
\caption[]{{\small
Examples for various types of fermionic two-loop diagrams contributing to muon
decay.
\label{fig:diags}
}}
\end{figure}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%



\section{Outline of the calculation}

Since all possibly infrared (IR) divergent photonic corrections are already
contained in the definition \eqref{eq:fermi} of the Fermi constant $\GF$ and mass
singularities are absorbed in the running of the electromagnetic coupling, 
$\MW$ represents the scale for the electroweak corrections in $\Delta
r$. Therefore it is possible to neglect all fermion masses except the top-quark 
mass and the momenta of the external leptons so that the Feynman diagrams
for muon decay reduce to vacuum diagrams.

All QED contributions to the Fermi Model have to be excluded in the computation
of $\Delta r$ since they have already been
separated off in the definition of $\GF$, see eq.~\eqref{eq:fermi}. 
Apart from the one-loop contributions, this comprises
two-loop QED corrections
and mixed contributions of QED and weak corrections of each one-loop order,
which have to be removed
from $\Delta r^{(\alpha^2)}$. For fermionic two-loop diagrams it is 
possible to find a one-to-one correspondence between QED graphs in Fermi-Model
and SM contributions.

After extracting the IR-divergent QED corrections,
the generic diagrams contributing to the muon-decay amplitude
can be reduced to vacuum-type diagrams, 
since the masses of the external particles  and
the momentum transfer are negligible.
The renormalization of is performed in
the on-shell scheme.
Thus, the mass-renormalization of the gauge bosons
requires the evaluation of two-loop two-point functions with non-zero 
external momentum, which is more involved from a technical point of view
regarding the tensor structure and the evaluation of the scalar
integrals. 
This complication cannot be avoided by 
performing the calculation within another renormalization scheme, 
{\it e.g.}~the \msbar\ scheme, 
since ultimately one is interested in the relation
between the physical parameters $\MW$, $\MZ$, $\al$, $\GF$,
where the two-point functions for non-zero momenta enter.


All diagrams and amplitudes for the decay and counterterm contributions have
been generated with the program \emph{FeynArts 2.2} \cite{fea}. The
amplitudes are algebraically reduced by means of a general tensor-integral
decomposition for two-loop two-point functions with the program \emph{TwoCalc}
\cite{two}, leading to a fixed set of standard scalar integrals. Analytic
expressions are known for the scalar one-loop \cite{HV:oneloop} and two-loop
\cite{davtausk} vacuum integrals, whereas the two-loop self-energy diagrams can
be evaluated numerically by means of one-dimensional integral
representations \cite{intnum}.


In order to apply an additional check the calculations were performed within a
covariant $R_\xi$ gauge, with individual gauge parameters $\xi_i$
for each gauge boson. It has been explicitly checked at the
algebraic level that the gauge-parameter dependence of the final result drops
out.

At the subloop level, also the Faddeev-Popov ghost sector
has to be renormalized.
The gauge-fixing part of the Lagrangian, in terms of the gauge fields
$A^\mu$, $Z^\mu$, $W^{\pm\mu}$ and the
unphysical Higgs scalars $\chi$, $\phi^\pm$ given by
\[
{\mathcal{L}}_{\stxt{gf}} = -\frac{1}{2}
  \Big[(F^\gamma)^2+(F^{{Z}})^2+F^+F^-+F^-F^+\Big], 
    \quad \quad \quad \mbox{with}
\]
\vspace{-2.5ex}
\begin{equation}
F^\gamma =\irt{\xia} \partial_\mu A^\mu +\frac{\xiaz}{2} \partial_\mu Z^\mu,
\label{gaugefix}
\end{equation}
\vspace{-2ex}
\[
F^{{Z}} = \irt{\xiz} \partial_\mu Z^\mu 
        + \frac{\xiza}{2} \partial_\mu A^\mu
        - \rt{\xizz} \MZ \, \chi,
\]
\vspace{-2.5ex}
\[
F^\pm =\irt{\xiw}\partial_\mu W^{\pm\mu} \,\mp\,i\rt{\xiww} \MW
 \, \phi^\pm \, ,
\]
does not need renormalization.
Accordingly, one can either introduce the gauge-fixing term 
after renormalization or 
renormalize the gauge parameters in
such a way that they compensate the renormalization of the fields and masses. 
Both ensure that no counterterms arise from the gauge-fixing sector but they 
differ in the treatment of the ghost Lagrangian, 
which is given by the variation of the
functionals $F^a$ under infinitesimal gauge transformations
$\delta\theta_b$,
\begin{equation}
{\mathcal{L}}_{\stxt{FP}} = \sum_{a,b = \gamma, Z, \pm} \bar{u}^a \,
  \frac{\delta F^a}{\delta \theta^b} \, u^b. \label{FP}
\end{equation}
In the latter case, which was applied in our work for simplification
of the automatized treatment, 
additional counterterm contributions for the ghost sector arise from the
gauge-parameter renormalization.
The parameters $\xi^a_i$ in \eqref{gaugefix} are renormalized 
such that their counterterms  $\delta\xi^a_i$ exactly cancel the
contributions from the renormalization of the fields and masses and that the
renormalized gauge parameters comply with the $R_\xi$ gauge.

\section{On the ${\mbox \boldmath \gamma_5}$--problem}

In four dimensions the algebra of the $\gamma_5$--matrix is defined by the two
relations
\begin{eqnarray}
& & \bigl\{ \gamma_5, \gamma_\alpha \bigr\} = 0 \qquad \mbox{for} \qquad \alpha =
  1, \dots, 4 \label{anticomm} \\[1ex]
& & \mbox{Tr} \bigl\{ \gamma_5 \gamma^\mu\gamma^\nu\gamma^\rho\gamma^\sigma \bigr\}
  = 4i \epsilon^{\mu\nu\rho\sigma}\mbox{.} \label{trg4}
\end{eqnarray}
It is impossible to translate both relations simultaneously into $D
\neq 4$ dimensions without encountering inconsistencies \cite{ga5HV}.

A certain treatment of $\gamma_5$ might break symmetries, {\it i.e.}~violate
Slavnov-Taylor (ST) identities which would have to be restored with extra
counterterms. Even after this procedure a residual scheme dependence can
persist which is associated with $\epsilon$-tensor expressions originating from
the treatment of \eqref{trg4}. Such expressions cannot be canceled by
counterterms. If they broke ST identities this would give rise to anomalies.

't Hooft and Veltman \cite{ga5HV} suggested a consistent scheme,
formalized by Breitenlohner and Maison \cite{ga5BM}, as a separation of
the first four and the remaining dimensions of the $\gamma$-Matrices
(HVBM-scheme). It has been shown \cite{SMren} that the SM with HVBM
regularization is anomaly-free and renormalizable. This shows that
$\epsilon$-tensor terms do not get merged with divergences.

The naively anti-commuting scheme, which is widely used for one-loop
calculations, extends the rule \eqref{anticomm} to $D$ dimensions but abandons
\eqref{trg4},
\begin{eqnarray} & & 
\bigl\{ \gamma_5, \gamma_\alpha \bigr\} = 0 \qquad \mbox{for} \qquad \alpha =
  1, \dots, D \\[1ex] & & 
\mbox{Tr} \bigl\{ \gamma_5 \gamma^\mu\gamma^\nu\gamma^\rho\gamma^\sigma \bigr\}
  = 0.
\end{eqnarray}
This scheme is unambiguous but does not reproduce the four-dimensional case.


In the SM, particularly triangle diagrams 
(like the ones in Figure~\ref{fig:CCvert})
containing chiral couplings are sensitive to the $\gamma_5$--problem. In our
context, the one-loop triangle diagrams have been explicitly calculated in both
schemes. While the naive scheme immediately respects all ST
identities the HVBM scheme requires the introduction of additional finite
counterterms. Even after this procedure finite differences remain between the
results of the two schemes, showing that the naive scheme is
inapplicable in this case.

\begin{figure}[tb]
\centerline{
\psfig{figure=vertextri2.ps,width=10cm}
}
\caption{{\small
Charged-current vertex diagrams with fermion-triangle subgraphs.}}
\label{fig:CCvert}
\end{figure}
In the calculation of $\Delta r$ triangle diagrams appear as subloops of
two-loop charged current (CC) vertex diagrams (Fig.~\ref{fig:CCvert}). One
finds that for the difference terms between both schemes this loop can be
evaluated in four dimensions without further difficulties. This can be
explained by the fact that renormalizability forbids divergent contributions to
$\epsilon$-tensor terms from higher loops in the HVBM scheme. The
$\epsilon$-tensor contributions from the triangle subgraph in the HVBM scheme
meet a second $\epsilon$-tensor term from the outer fermion lines in 
Fig.~\ref{fig:CCvert}, 
thereby resulting in a non-zero contribution to $\Delta r$.

Computations in the HVBM scheme can in general
get very tedious because of the necessity
of additional counterterms. 
For our specific problem, however, it is possible to apply  
another, simplified,  method. One
can consider a ``mixed'' scheme that uses both relations \eqref{anticomm} and
\eqref{trg4} in $D$ dimensions, despite their mathematical inconsistency, 
to evaluate the one-loop triangle subgraphs.
These results 
%This
%scheme is plagued by ambiguities of ${\mathcal{O}}(D-4)$. 
%When applied to the calculation of one-loop triangle diagrams the results
immediately respect all ST identities.
As checked explicitly, they differ from 
the HVBM results (with the appropriate counterterms to restore the
ST identities) 
only by terms of ${\mathcal{O}}(D-4)$,
\begin{equation}
\Gamma^{\stxt{HVBM}}_{\Delta (1)} =
\Gamma^{\stxt{mix}}_{\Delta (1)} + {\mathcal{O}}(D-4).
\end{equation}
Inserting the one-loop expressions into the the two-loop diagrams  
one finds that the second loop integration gives a finite result
and hence can be performed in four dimensions yielding
\begin{equation}
\Gamma^{\stxt{HVBM}}_{\stxt{CC(2)}} =
\Gamma^{\stxt{mix}}_{\stxt{CC(2)}} + {\mathcal{O}}(D-4).
\end{equation}
Thus the mixed scheme can serve in this case  
as a technically easy prescription for the correct calculation of the
CC two-loop contributions. Practical ways of treating $\gamma_5$ 
in higher-order calculations are also discussed  in~\cite{jeger}.


\section{Two-loop renormalization}

For the determination of the one-loop counterterms  and renormalization
constants the conventions of~\cite{Dehabil} are adopted. 
Two-loop renormalization constants 
enter via the counterterms for the transverse $W$ propagator and the charged
current vertex (the counterterms for the transverse $Z$ propagator
are analogous):
\begin{eqnarray}
\hspace{-4ex}
\left[
\mbox{\raisebox{-1mm}{\psfig{figure=seWct.ps,width=30mm}}}
\right]_{\stxt{T}}
 &=&
 \delta Z_{(2)}^{{W}}(k^2-\MW^2) - \delta M^2_{W(2)} -
        \delta Z_{(1)}^{{W}} \delta M^2_{{W(1)}}, \label{w-ct} \\[3ex]
\hspace{-4ex}
\mbox{\raisebox{-8mm}{\psfig{figure=vertex.ps,width=25mm}}}
 &=& i \frac{e}{\sqrt{2} \sw} \, \gamma_\mu \omega_-
  \biggl[ \delta Z_{e(2)}
  - \frac{\delta s_{\mbox{\stxt{W(2)}}}}{s_{\stxt{W}}}
  +\frac{1}{2} \left(\delta Z_{(2)}^{e\stxt{L}}+\delta Z_{(2)}^{{W}} +
        \delta Z_{(2)}^{\nu \stxt{L}} \right) \nonumber  \\[-1ex]
 &&+ \; \mbox{(1-loop renormalization constants)} \biggr]. 
\end{eqnarray}
$\delta Z^{W,e\stxt{L},\nu\stxt{L}}$ 
denote the field-renormalization constants, 
$\delta M^2_{W,Z}$ the $W$- and $Z$-mass counterterms, 
and $\delta Z_e$ denotes the 
charge-renormalization constant. The lower indices 
in parentheses indicate the loop order. The mixing-angle  
counterterm $\delta s_{\stxt{W(2)}}$ 
can be derived from 
the gauge-boson mass counterterms. 
The two-loop contributions always include the subloop
renormalization.

%Explicit formulae can be found in \cite{mudec2}.



The on-shell masses are defined as the position of the propagator poles. 
Starting at the two-loop level, 
it has to be taken into account that there is a difference
between the definition of the mass $\widetilde{M}^2$ as the 
pole of the real part of the
(transverse) propagator,
\begin{equation}
%\label{complex}
\Re \left\{(D_{\stxt{T}})^{-1}({\widetilde{M}}^2) \right\}
 = 0,
\end{equation}
and the real part $\overline{M}^2$ of the complex pole,
\begin{equation}
\label{complex}
(D_{\stxt{T}})^{-1}({\mathcal{M}}^2) = 0, \qquad
{\mathcal{M}}^2 = \OMP^2  - i \OMP\, \OGP.
\end{equation}
The imaginary part of the complex pole is associated with the width
$\overline{\Gamma}$. The defining condition (\ref{complex})
yields for the $W$-mass counterterm
\begin{equation}
\delta \OMT{W(2)}^2 = \Re \bigl\{
  \Sigma_{\stxt{T(2)}}^{{W}}(\OMT{W}^2) \bigr\}
 -  \delta Z_{(1)}^{{W}} \delta \OMT{W(1)}^2
 + \Im\bigl\{\Sigma_{\stxt{T}(1)}^{{W}^/}(\OMT{W}^2)\bigr\}
     \:
   \Im\bigl\{\Sigma_{\stxt{T}(1)}^{{W}}(\OMT{W}^2)\bigr\}, \label{MWct}
     \nonumber
\end{equation}
whereas for the real-pole definition the last term of 
eq.~\eqref{MWct} is missing. 
$\Sigma_{\stxt{T}}^{{W}}$
denotes the transverse $W$ self-energy and 
$\Sigma_{\stxt{T}}^{{W}^/}$  
its momentum derivative. 
Similar expressions hold for the $Z$ boson.

The $W$ and $Z$ mass countertermss determine 
the two-loop counterterm for the mixing angle, $\delta
s_{\stxt{W(2)}}$, which has to be gauge invariant since $\sw$ is an observable
quantity. With the use of a general $R_\xi$ gauge it has
explicitly been checked that $\delta s_{\stxt{W(2)}}$
is gauge-parameter independent for the complex-pole mass definition,
whereas the real-pole definition leads to a gauge dependent
$\delta s_{\stxt{W(2)}}$.
This is in accordance with the expectation from $S$-matrix theory
\cite{unstab}, where
the complex pole represents a gauge-invariant mass definition.


It should be noted that the mass definition via the complex pole corresponds to
a Breit-Wigner parameterization of the resonance shape with a constant width.
For the experimental determination of the gauge-boson masses, however,
a Breit-Wigner ansatz with a running width is used. This has to be 
accounted for
by a shift of the values for the complex pole masses 
\cite{massshift},
\begin{equation}
\OMP = M - \frac{\Gamma^2}{2 M}.
\end{equation}
which yields the relations
\begin{eqnarray}
\begin{array}{lcl}
 \OMT{Z} & = & \MZ - 34.1 \mbox{ MeV,}  \\
 \OMT{W} & = & \MW - 27.4\; (27.0) \mbox{ MeV} \quad 
  \mbox{ for } \quad \MW = 80.4\; (80.2) \mbox{ GeV.}
%\MW = \OMT{W} + 27.0 \mbox{ MeV} & \mbox{ for } & \MW = 80.2 \mbox{ GeV.}
\end{array}
\end{eqnarray}
For $\MZ$ and $\Gamma_{{Z}}$ the experimental numbers are taken.
The $W$ mass is a calculated quantity, 
and therefore also a theoretical value for the $W$-boson
width should be applied here.
The results above are obtained from the approximate, but sufficiently
accurate expression for the $W$ width, 
\begin{equation}
\Gamma_{{W}} = 3 \frac{\GF \MW^3}{2 \sqrt{2} \pi} \,
 \left( 1 + \frac{2 \as}{3 \pi} \right) .
\end{equation}


\section{Results}

In the previous sections the characteristics of the calculation of electroweak
two-loop contributions to $\Delta r$ have been pointed out. Combining the
fermionic ${\mathcal{O}}(\alpha^2)$ contributions with the one-loop and the QCD
corrections yields the total result
\begin{eqnarray}
\Delta r = \Delta r^{(\alpha)} + \Delta r^{(\alpha\alpha_s)} +
  \Delta r^{(\alpha\alpha_s^2)} +
  \Delta r^{(N_f \alpha^2)} + \Delta r^{(N_f^2 \alpha^2)}. \label{drtotal}
\end{eqnarray}
Here $N_f, N_f^2$ symbolize one and two fermionic loops, respectively. 
Fig.~\ref{fig:deltar} 
shows that both the QCD and electroweak two-loop corrections
give sizeable contributions of 10--15\% with respect to the one-loop result.

\begin{figure}[tb]
\centerline{
\psfig{figure=dr12Re.eps,width=14cm}
}
\caption[]{{\small
Various stages of $\De r$, as a function of $\MH$.
The one-loop contribution, $\De r^{(\al)}$, is supplemented by the
two-loop and three-loop QCD corrections, 
$\De r^{(\al)}_{\mathrm{QCD}} \equiv \De r^{(\al\alps)} + \De
r^{(\al\alps^2)}$,
and the fermionic electroweak two-loop contributions,
$\De r^{(\al^2)} \equiv \De r^{(N_{\mathrm{f}} \al^2)} +
\De r^{(N_{\mathrm{f}}^2 \al^2)}$.
For comparison, the effect of the two-loop corrections induced by a
resummation of $\De\al$, $\De r^{(\al^2)}_{\De\al}$, is shown
separately.
}}
%\caption{Contribution of one-loop and higher order corrections to $\Delta r$.}
\label{fig:deltar}
\end{figure}

In Fig.~\ref{fig:MWpred} the prediction for $\MW$ derived from the result
\eqref{drtotal} and the relation \eqref{eq:delr} is compared with the
experimental value for $\MW$. Dotted lines indicate one standard deviation
bounds. The main uncertainties of the prediction originate from the
experimental errors of $\mt = (174.3 \pm 5.1)$ GeV \cite{C:pdg} and
$\Delta\alpha = 0.05954 \pm 0.00065$ \cite{eidjeg}. 
It is obvious that low
Higgs masses are favored; the new results on $\Delta r$ 
strengthen the tendency towards a lighter Higgs boson
(according to the following comparison).

\begin{figure}[htb]
\centerline{
\psfig{figure=MWErrexp.eng.eps,width=14cm}
}
\caption{{\small
The SM prediction for $\MW$ as a function of $\MH$ for 
$\mt = 174.3 \pm 5.1$~GeV is compared with the current experimental
value, $\MW^{\mathrm{exp}} = 80.434 \pm 0.037$~GeV~\cite{mori00}.
}}
%\caption{Prediction for $\MW$ as function of $\MH$ compared with the
%experimental W mass.}
\label{fig:MWpred}
\end{figure}


These results can be compared with the results obtained by expansion of the
two-loop contributions up to next-to-leading order 
in $\mt$ \cite{ewmt2}. The predicted values
for $\MW$ for several values of $\MH$ are given in Tab.~\ref{tab:MWcomp}.
For the input parameters the values of \cite{ewmt2} have been
chosen, {\it i.e.}~$\mt = 175$~GeV, $\MZ = 91.1863$~GeV, $\De\al = 0.0594$,
$\alps(\MZ) = 0.118$.
\begin{table}[b]
\caption{Comparison between $\MW$--predictions from an NLO expansion in $\mt$
($\MW^{\stxt{expa}}$) and the full calculation ($\MW^{\stxt{full}}$). $\delta
\MW$ denotes the difference. }
\label{tab:MWcomp}
\setlength{\tabcolsep}{1.1pc}
% -----------------------------------------------------
% adapted from TeX book, p. 241
\newlength{\digitwidth} \settowidth{\digitwidth}{\rm 0}
\catcode`?=\active \def?{\kern\digitwidth}
% -----------------------------------------------------
\begin{tabular*}{\columnwidth}{@{}r@{\extracolsep\fill}r@{\extracolsep\fill}
        r@{\extracolsep\fill}r@{\extracolsep\fill}r}
\hline
\rule{0mm}{1em}$\MH$ &
$\MW^{\stxt{expa}}$ &
$\MW^{\stxt{full}}$ &
$\delta \MW$ \\
\rule{0mm}{0mm} [GeV] &
[GeV] &
[GeV] &
[MeV] \\
\hline
$65$ & $80.4039$ & $80.3997$ & $4.2$  \\
$100$ & $80.3805$ & $80.3771$ & $3.4$ \\
$300$ & $80.3061$ & $80.3051$ & $1.0$ \\
$600$ & $80.2521$ & $80.2521$ & $0.0$ \\
$1000$& $80.2129$ & $80.2134$ & $-0.5$ \\
\hline
\end{tabular*}
\end{table}
Agreement is found between the results with maximal 
deviations of less than 5 MeV in $\MW$.
The deviations in the last column of Tab.~\ref{tab:MWcomp}
can of course not be attributed exclusively to differences in the 
two-loop top-quark and light-fermion
contributions, because the results also differ 
by a slightly different treatment of those higher-order terms that are
not yet under control, such as purely bosonic two-loop contributions,
and effects from scheme dependence. 


Similar to \cite{DGPS}, a simple numerical
parametrization of our result for $\MW$ can be given by
the following expression:
\begin{equation}
\MW = \MW^0 - c_1 \, \mathrm{dH} - c_5 \, \mathrm{dH}^2 + c_6 \, \mathrm{dH}^4 
       - c_2 \, \mathrm{d}\al + c_3 \, \mathrm{dt} 
       - c_7 \, \mathrm{dH} \, \mathrm{dt} - c_4 \, \mathrm{d}\alps ,
\label{eq:simppar}
\end{equation}
where 
\[
\mathrm{dH} = \ln\left(\frac{\MH}{100 \gev}\right), \quad  
\mathrm{dt} = \left(\frac{\mt}{174.3 \gev}\right)^2 - 1, 
\]
\begin{equation}
\mathrm{d}\al = \frac{\De\al}{0.05924} - 1, \quad \quad
\mathrm{d}\alps = \frac{\alps(\MZ)}{0.119} - 1, 
\end{equation}
with the coefficients 
$\MW^0 = 80.3767$~GeV, $c_1 = 0.05613$, $c_2 = 1.081$, $c_3 = 0.5235$,
$c_4 = 0.0763$, $c_5 = 0.00936$, $c_6 = 0.000546$, $c_7 = 0.00573$.
and with $\MZ = 91.1785$ GeV.
The quality of the approximation~(\ref{eq:simppar}) to
our full result for $\MW$ is within $0.4$~MeV, 
allowing $\MH$ between 65 GeV and 1 TeV.



%\clearpage

\section{Conclusion}

In this talk the realization of an exact two-loop calculation of fermionic
contributions in the full electroweak SM and its application to the
precise computation of $\Delta r$ has been reviewed. 
Numerical illustrations
were given for the results, which might serve as
ingredients for future SM fits.

\clearpage

\Acknowledgments
This work was supported by the Deutsche Forschungsgemeinschaft
(Forschergruppe ``Quantenfeldtheorie, Computeralgebra und
Monte Carlo Simulation'') and by the European Union
(HPRN-CT-2000-00149).


\begin{thebibliography}{99}

%%
%%  bibliographic items can be constructed using the LaTeX format in SPIRES:
%%    see    http://www.slac.stanford.edu/spires/hep/latex.html
%%  SPIRES will also supply the CITATION line information; please include it.
%%

\newcommand{\anp}[3]{{\sl Ann.~Phys.} {\bf #1} (19#2) #3}
\newcommand{\app}[3]{{\sl Acta~Phys.~Pol.} {\bf #1} (19#2) #3}
\newcommand{\appB}[3]{{\sl Acta Phys. Pol.} {\bf B#1} (19#2) #3}
\newcommand{\cmp}[3]{{\sl Commun. Math. Phys.} {\bf #1} (19#2) #3}
\newcommand{\cpc}[3]{{\sl Comput. Phys. Commun.} {\bf #1} (19#2) #3}
\newcommand{\epjC}[3]{{\sl Eur. Phys. J.} {\bf C#1} (19#2) #3}
\newcommand{\fp}[3]{{\sl Fortschr. Phys.} {\bf #1} (19#2) #3}
\newcommand{\ijmp}[3]{{\sl Int. J. Mod. Phys.} {\bf #1} (19#2) #3}
\newcommand{\jetp}[3]{{\sl JETP} {\bf #1} (19#2) #3}
\newcommand{\jetpl}[3]{{\sl JETP Lett.} {\bf #1} (19#2) #3}
\newcommand{\jhep}[3]{{\sl JHEP} {\bf #1} (19#2) #3}
\newcommand{\jmp}[3]{{\sl J. Math. Phys.} {\bf #1} (19#2) #3}
\newcommand{\mpl}[3]{{\sl Mod. Phys. Lett.} {\bf #1} (19#2) #3}
\newcommand{\nc}[3]{{\sl Nuovo Cimento} {\bf #1} (19#2) #3}
\newcommand{\ncl}[3]{{\sl Nuovo Cimento Lett.} {\bf #1} (19#2) #3}
\newcommand{\nim}[3]{{\sl Nucl. Instr. Meth.} {\bf #1} (19#2) #3}
\newcommand{\np}[3]{{\sl Nucl. Phys.} {\bf #1} (19#2)~#3}
\newcommand{\npB}[3]{{\sl Nucl. Phys.} {\bf B#1} (19#2)~#3}
\newcommand{\nphbps}[3]{{\sl Nucl. Phys.} {\bf B} {\it (Proc. Suppl.)}
{\bf #1} (19#2) #3}
\newcommand{\plB}[3]{{\sl Phys. Lett.} {\bf B#1} (19#2) #3}
\newcommand{\pr}[3]{{\sl Phys. Rev.} {\bf #1} (19#2) #3}
\newcommand{\prD}[3]{{\sl Phys. Rev.} {\bf D#1} (19#2) #3}
\newcommand{\prl}[3]{{\sl Phys. Rev. Lett.} {\bf #1} (19#2) #3}
\newcommand{\pl}[3]{{\sl Phys. Lett.} {\bf #1} (19#2) #3}
\newcommand{\ptp}[3]{{\sl Prog. Theo. Phys.} {\bf #1} (19#2) #3}
\newcommand{\sptp}[3]{{\sl Suppl. Prog. Theo. Phys.} {\bf #1} (19#2) #3}
\newcommand{\sjnp}[3]{{\sl Sov. J. Nucl. Phys.} {\bf #1} (19#2) #3}
\newcommand{\zp}[3]{{\sl Z. Phys.} {\bf #1} (19#2) #3}
\newcommand{\vj}[4]{{\sl #1~}{\bf #2} (19#3) #4}
\newcommand{\ej}[3]{{\bf #1} (19#2) #3}
\newcommand{\vjs}[2]{{\sl #1~}{\bf #2}}
\newcommand{\Anp}[3]{{\sl Ann.~Phys.} {\bf #1} (20#2) #3}
\newcommand{\App}[3]{{\sl Acta~Phys.~Pol.} {\bf #1} (20#2) #3}
\newcommand{\AppB}[3]{{\sl Acta Phys. Pol.} {\bf B #1} (20#2) #3}
\newcommand{\Cmp}[3]{{\sl Commun. Math. Phys.} {\bf #1} (20#2) #3}
\newcommand{\Cpc}[3]{{\sl Comput. Phys. Commun.} {\bf #1} (20#2) #3}
\newcommand{\EpjC}[3]{{\sl Eur. Phys. J.} {\bf C#1} (20#2) #3}
\newcommand{\Fp}[3]{{\sl Fortschr. Phys.} {\bf #1} (20#2) #3}
\newcommand{\Ijmp}[3]{{\sl Int. J. Mod. Phys.} {\bf #1} (20#2) #3}
\newcommand{\Jetp}[3]{{\sl JETP} {\bf #1} (20#2) #3}
\newcommand{\Jetpl}[3]{{\sl JETP Lett.} {\bf #1} (20#2) #3}
\newcommand{\Jhep}[3]{{\sl JHEP} {\bf #1} (20#2) #3}
\newcommand{\Jmp}[3]{{\sl J. Math. Phys.} {\bf #1} (20#2) #3}
\newcommand{\Mpl}[3]{{\sl Mod. Phys. Lett.} {\bf #1} (20#2) #3}
\newcommand{\Nc}[3]{{\sl Nuovo Cimento} {\bf #1} (20#2) #3}
\newcommand{\Nim}[3]{{\sl Nucl. Instr. Meth.} {\bf #1} (20#2) #3}
\newcommand{\Np}[3]{{\sl Nucl. Phys.} {\bf #1} (20#2)~#3}
\newcommand{\NpB}[3]{{\sl Nucl. Phys.} {\bf B #1} (20#2)~#3}
\newcommand{\Nphbps}[3]{{\sl Nucl. Phys.} {\bf B} {\it (Proc. Suppl.)}
{\bf #1B} (20#2) #3}
\newcommand{\PlB}[3]{{\sl Phys. Lett.} {\bf B #1} (20#2) #3}
\newcommand{\PrD}[3]{{\sl Phys. Rev.} {\bf D #1} (20#2) #3}
\newcommand{\Prl}[3]{{\sl Phys. Rev. Lett.} {\bf #1} (20#2) #3}
\newcommand{\PL}[3]{{\sl Phys. Lett.} {\bf #1} (20#2) #3}
\newcommand{\Ptp}[3]{{\sl Prog. Theo. Phys.} {\bf #1} (20#2) #3}
\newcommand{\Sptp}[3]{{\sl Suppl. Prog. Theo. Phys.} {\bf #1} (20#2) #3}
\newcommand{\Sjnp}[3]{{\sl Sov. J. Nucl. Phys.} {\bf #1} (20#2) #3}
\newcommand{\Zp}[3]{{\sl Z. Phys.} {\bf #1} (20#2) #3}
\newcommand{\Vj}[4]{{\sl #1~}{\bf #2} (20#3) #4}
\newcommand{\Ej}[3]{{\bf #1} (20#2) #3}
\newcommand{\Vjs}[2]{{\sl #1~}{\bf #2}}




 

\bibitem{mori00}
A. Gurtu, Plenary Talk at 
{\sl XXXth International Conference on High Energy Physics}, 
Osaka (Japan) 2000;\\
B. Pietrzyk, Talk at 
{\sl XXXth International Conference on High Energy Physics}, 
Osaka (Japan) 2000.


\bibitem{lhctdr}
ATLAS Collaboration, ``Detector and Physics Performance Technical
Design Report'',  CERN/LHCC/99-15 (1999);\\
CMS Collaboration, Technical Design Reports, CMS TDR 1--5 (1997/98);\\
S.~Haywood et al., {\it Electroweak physics},

in {\it Proceedings of the Workshop on Standard Model Physics (and more)
at the LHC}, eds.\ G.~Altarelli and M.L.~Mangano (Report CERN
2000--004).

\bibitem{gigazMW}
G.~Wilson, Proceedings of the {\it Worldwide Study on Physics and Experiments
with Future Linear $e^+e^-$ Colliders}, Sitges 1999 (p.\ 411),
eds.\ E. Fern\'andez and A. Pacheco, 
Universitat Aut\`onoma Barcelona 2000.

\bibitem{gigaztests}
S.~Heinemeyer, Th.~Mannel  and G.~Weiglein, DESY 99-117,
 Proceedings of the 
{\it Worldwide Study on Physics and Experiments
with Future Linear $e^+e^-$ Colliders}, Sitges 1999 (p.\ 417),
eds.\ E. Fern\'andez and A. Pacheco, 
Universitat Aut\`onoma Barcelona 2000; \\
J.~Erler, S.~Heinemeyer, W.~Hollik, G.~Weiglein and P.M.~Zerwas,
{\sl Phys.\ Lett.}~{\bf B486} (2000) 125.

\bibitem{delqol}
R.E.~Behrends, R.J.~Finkelstein and A.~Sirlin, \pr{101}{56}{866};\\
%T.~Kinoshita and A.~Sirlin \pr{107}{57}{593};\\
%T.~Kinoshita and A.~Sirlin \pr{107}{57}{638};\\
S.M.~Berman, \pr{112}{58}{267};\\
T.~Kinoshita and A.~Sirlin, \pr{113}{59}{1652}.

\bibitem{delqtl}
T.~van Ritbergen and R.G.~Stuart, \prl{82}{99}{488};
{\sl Nucl.\ Phys.}~{\bf B564} (2000) 343;\\
M.~Steinhauser and T.~Seidensticker, \plB{467}{99}{271}.

     
\bibitem{C:pdg} 
Particle Data Group, 
{\sl Eur.\ Jour.\ Phys.}~{\bf C15} (2000) 1.


\bibitem{sirlin}
A.\ Sirlin, \prD{22}{80}{971};\\
W.J.\ Marciano and A.\ Sirlin, \prD{22}{80}{2695}.

\bibitem{velt}
M.~Veltman, \npB{123}{77}{89}.

\bibitem{resum}
W.J.\ Marciano, \prD{20}{79}{274};\\
A.\ Sirlin, \prD{29}{84}{89};\\
M.\ Consoli, W.\ Hollik and F.\ Jegerlehner, \plB{227}{89}{167}.

\bibitem{qcd2} 
A.~Djouadi and C.~Verzegnassi, \pl{B195}{87}{265};\\
A.~Djouadi, \nc{A100}{88}{357};\\
B.A.~Kniehl, \np{B347}{90}{89};\\
F.\ Halzen and B.A.\ Kniehl, \npB{353}{91}{567};\\
B.A.~Kniehl and A.~Sirlin, \npB{371}{92}{141}, \prD{47}{93}{883};\\
A.~Djouadi and P.~Gambino, \prD{49}{94}{3499}.

\bibitem{qcd3}
L.~Avdeev, J.~Fleischer, S.M.~Mikhailov and O.~Tarasov,
\plB{336}{94}{560}; E: \plB{349}{95}{597};\\
K.~Chetyrkin, J.~K\"uhn and M.~Steinhauser, \plB{351}{95}{331};
%K.~Chetyrkin, J.~K\"uhn and M.~Steinhauser, 
\prl{75}{95}{3394}.

\bibitem{ewmh2}
J.~van der Bij and F.~Hoogeveen, \npB{283}{87}{477};\\
J.~van der Bij and M.~Veltman, \npB{231}{84}{205}.

\bibitem{ewmt4}
J.~van der Bij and F.~Hoogeveen, \npB{283}{87}{477};\\
R.~Barbieri, M.~Beccaria, P.~Ciafaloni, G.~Curci and A.~Vicere,
\plB{288}{92}{95}, E: \plB{312}{93}{511};
\npB{409}{93}{105};\\
J.~Fleischer, O.V.~Tarasov and F.~Jegerlehner,
\plB{319}{93}{249}; \prD{51}{95}{3820}.
%G.~Degrassi, S.~Fanchiotti and P.~Gambino, \ijmp{A 10}{95}{1337}.

\bibitem{ewmt2}
G.~Degrassi, P.~Gambino and A.~Vicini, \plB{383}{96}{219};\\
G.\ Degrassi, P.\ Gambino and A.\ Sirlin, \plB{394}{97}{188}.

\bibitem{rho3}
J.~van der Bij, K.~Chetyrkin, M.~Faisst, G.~Jikia, T.~Seidensticker,
.

\bibitem{ewmhdep}
S.~Bauberger and G.~Weiglein, \plB{419}{98}{333};\\
G.~Weiglein, %KA-TP-22-1998, 
 in {\it Proceedings of the IVth International Symposium 
on Radiative Corrections}, ed.\ J.~Sol\`a (World Scientific, Singapore, 1999),
p.~410.

\bibitem{gsw}
P.~Gambino, A.~Sirlin and G.~Weiglein, \jhep{04}{99}{025}.

\bibitem{floops}
G.~Weiglein, \appB{29}{98}{2735};\\
A.~Stremplat, Diploma thesis (Univ.\ of Karlsruhe, 1998).

\bibitem{plb-paper}
A. Freitas, W. Hollik, W. Walter, G. Weiglein,
{\sl Phys.\ Lett.}~{\bf B495} (2000) 338; \\
A. Freitas, S. Heinemeyer, W. Hollik, W. Walter, G. Weiglein,
{\sl Nucl.\ Phys.\ Proc.\ Suppl.}~{\bf 89} (2000) 82.



\bibitem{stuartlf}
P.~Malde and R.G.~Stuart, \npB{552}{99}{41}.

%\bibitem{onshell}
%K-I.~Aoki, Z.~Hioki, R.~Kawabe, M.~Konuma and T.~Muta,
%\ptp{65}{81}{1001}; \sptp{73}{82}{1};\\
%A.~Denner, \fp{41}{93}{307} and references therein.

\bibitem{fea}
J.~K\"ublbeck, M.~B\"ohm and A.~Denner, \cpc{60}{90}{165};\\
H.~Eck and J.~K\"ublbeck, {\it Guide to} \fea {\it 1.0\/}
(Univ.\ of W\"urzburg, 1992);\\
%H.~Eck, {\it Guide to} \fea {\it 2.0\/}
%(Univ.\ of W\"urzburg, 1995);\\
T.~Hahn, KA-TP-5-1999, ;
KA-TP-23-2000, ; 
\fea {\it 2.2\/} {\it User's Guide} (Univ.\ of Karlsruhe, 2000).

\bibitem{two}
G.~Weiglein, R.~Scharf and M.~B\"ohm, \npB{416}{94}{606};\\
G.~Weiglein, R.~Mertig, R.~Scharf and M.~B\"ohm, in {\it New
Computing Techniques in Physics Research 2},
ed.~D.~Perret-Gallix (World Scientific, Singapore, 1992), p.~617.

\bibitem{HV:oneloop} G. 't~Hooft and M. Veltman, \npB{153}{79}{365}.

\bibitem{davtausk}
A.I.~Davydychev and J.B.~Tausk, \npB{397}{93}{123}.

\bibitem{intnum}
S.~Bauberger, F.A.~Berends, M.~B\"{o}hm and M.~Buza, \npB{434}{95}{383};\\
S.~Bauberger, F.A.~Berends, M.~B\"{o}hm, M.~Buza and G.~Weiglein,
\nphbps{37B}{94}{95}, ;\\
S.~Bauberger and M.~B\"{o}hm, \npB{445}{95}{25}.

\bibitem{ga5HV}
G.~'t Hooft and M.~Veltman, \npB{44}{72}{189}.

\bibitem{ga5BM}
P.~Breitenlohner and D.~Maison, \cmp{52}{77}{11}.

\bibitem{SMren} 
D.~J. Gross und R. Jackiw, \prD{6}{72}{477};\\
G. Costa, T. Marinucci, M. Tonin, J. Julve, \nc{A38}{77}{373}.

\bibitem{jeger}
F.~Jegerlehner, DESY 00-075, ; \\
P.A.~Grassi, T.~Hurth and M.~Steinhauser, BUTP-99-13, .

\bibitem{Dehabil}
A.~Denner, \fp{41}{93}{307}.

\bibitem{unstab}
A.~Sirlin, \prl{67}{91}{2127};\\
R.G.~Stuart, \plB{262}{91}{113};\\
S.~Willenbrock and G.~Valencia, \plB{259}{91}{373};\\
H.~Veltman, \zp{C62}{94}{35};\\
M.~Passera and A.~Sirlin, \prD{58}{98}{113010};\\
P.~Gambino and P.A.~Grassi, TUM-HEP-352/99, ;\\
A.R.~Bohm and N.L.~Harshman, .

\bibitem{massshift}
D.~Bardin, A.~Leike, T.~Riemann and M.~Sachwitz, \plB{206}{88}{539}.

\bibitem{eidjeg}
S.~Eidelman and F.~Jegerlehner, \zp{C67}{95}{585}.

\bibitem{DGPS}
G.\ Degrassi, P.\ Gambino, M.\ Passera and A.\ Sirlin, 
\plB{418}{98}{209}.



\end{thebibliography}

\end{document}




