1: 

2: \chapter{Enhanced Nonperturbative Effects in $Z$ Decays to Hadrons \label{chap:jet}}

3: 

4: \begin{quotation}

5: \small\singlespace\noindent ``White!'' he sneered. ``It serves as a beginning. White cloth may be dyed. The white page can be overwritten; and the white light can be broken.''

6: 

7: ``In which case it is no longer white,'' said I. ``And he that breaks a thing to find out what it is has left the path of wisdom.''

8: 

9: \flushright\emph{Gandalf, in \emph{The Fellowship of the Ring} by J.R.R. Tolkien}

10: \end{quotation}

11: In this chapter, we apply soft-collinear effective theory for inclusive decays---\SCETa--- to the hadronic decays of $Z$ bosons. The material in this chapter is based on Ref.~\cite{Bauer:2003di}.

12: 

13: 

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

15: 

16: Some of the most successful applications of perturbative QCD are to processes such as $Z$ decay to hadrons or  $e^+ e^-$ annihilation at large center-of-mass energy, in which a state with no strong interactions decays into final hadronic states. Here we will discuss the case of $Z$ decay, but the results apply equally well to the other cases.  Not only is the total hadronic $Z$ decay width calculable, but so are less inclusive infrared-safe quantities like the $Z$ decay rate into 2-jet and 3-jet events, the thrust distribution and jet mass distributions. Comparison of perturbative predictions for these and other quantities with experimental data on $Z$ decays from LEP and SLD has led to a remarkably accurate extraction of the strong coupling constant $\alpha_s(M_Z)$~\cite{compare,expdata1,expdata2,expdata3,expdata4,expdata5,alphasreview}.

17: Although the extraction of the strong coupling from event shape variables is less accurate than from the total hadronic $Z$ width, it is more model-independent since (neglecting quark mass effects) it does not depend on the values of the quark couplings to the $Z$.

18: 

19: For the totally inclusive hadronic $Z$ decay width, the operator product expansion allows one to include in theoretical predictions nonperturbative strong interaction effects that are characterized by vacuum expectation values of local operators. The effects of higher-dimension operators are suppressed by powers of the strong interaction scale  $\lqcd$ divided by the center-of-mass energy $M_Z$.  Since the $Z$ mass is large, these effects are very small. For example, if quark masses are neglected, the leading nonperturbative effects in the $Z$ decay width come from the vacuum expectation value of the gluon field strength tensor squared, $\vev{G_{\mu \nu} G^{\mu\nu}}$. This dimension-four operator gives rise to corrections to the total hadronic width suppressed by $\lqcd^4/M_Z^4\sim10^{-9}$.

20: 

21: Less inclusive variables that characterize $Z$ decay to hadrons give rise to nonperturbative effects suppressed by smaller powers of $\lqcd/M_Z$~\cite{DokWeb95,Webber,MW,KS95,KS99,KT00,Doktalk}. Furthermore, these corrections often become even more important in corners of phase space where hadronization effects are significant, such as in the thrust distribution very near $T=1$. It has been conjectured that the enhanced nonperturbative effects to many event shape distributions have a universal form with a single nonperturbative parameter \cite{DokWeb95,KT00,Doktalk,CataniWebber,DokMarSal,DokMarWeb}. These arguments are based on analysis of renormalon ambiguities in the QCD perturbation series and on the behavior of resummed perturbation theory. The conjectured relationship between the nonperturbative corrections to event shape distributions has recently been tested experimentally \cite{compare}. 

22: 

23: In Ref.~\cite{shape}, the enhanced nonperturbative effects that occur for the jet energy distribution in corners of phase space were studied using effective field theory methods. This approach uses the fact that very low momentum degrees of freedom which contain the nonperturbative physics couple to the degrees of freedom with energies of order $M_Z$ via Wilson lines.  Nonperturbative effects have been extensively studied previously~\cite{KS99} using factorization methods to divide the process into hard, jet-like  and soft subprocesses~\cite{StermanTasi,factorization}. Nonperturbative effects are computed from the soft subprocess. The effective field theory approach is similar to the one based on factorization methods. In this chapter we elaborate on the work in~\cite{shape} and extend it to other shape variables. The enhanced nonperturbative effects are expressed in terms of weighted matrix elements of operators involving Wilson lines, where the weighting depends on the event variable being considered. Our hope in this chapter is to make the results of Ref.~\cite{KS99} more accessible to the community of high energy theorists who are most familiar with effective field theory methods. 

24: 

25: We study smeared distributions, allowing us to expand the nonperturbative effects in powers of $\lqcd$, and write them as matrix elements of Wilson line operators and their derivatives. The computations are similar to those of smeared distributions in the endpoint region in $B$ decay---the point-by-point computation requires knowing the nonperturbative shape function, whereas nonperturbative effects in the smeared distributions can be written in terms of $\lambda_{1,2}$ provided the smearing region is large enough. 

26:  

27: For pedagogical reasons we start with a detailed treatment of the jet energy $E_J$ in $Z$ decay to two jets, where the jets are defined as Sterman and Weinberg did in their original work on jets in QCD~\cite{SW}. We spend considerable effort on this variable because the theoretical expression for its enhanced nonperturbative corrections is simpler than for other more phenomenologically interesting variables like thrust.  At lowest order in perturbation theory, the $Z$ boson creates a quark and an antiquark, each with energy $M_{Z}/2$, and so the jet energy distribution is equal to

28: \begin{equation}

29: {{\rm d}\Gamma_{\text{2-jet}}\over {\rm d} E_J}=\Gamma_{\text{2-jet}}^{(0)}\ \delta(E_J-M_{Z}/2),

30: \end{equation}

31: where $\Gamma_{\text{2-jet}}^{(0)}$ is the total two-jet rate at lowest order in perturbation theory. This leading order theoretical expression for the jet energy distribution is singular at $E_J=M_Z/2$. Furthermore, the leading perturbative and nonperturbative corrections are also singular at that kinematic point.  However, a non-singular quantity that can be compared with experiment without any resummation of singular terms is obtained by smearing the jet energy distribution over a region of size $\Delta$ that contains the lowest order partonic endpoint at $E_J=M_{Z}/2$. The leading nonperturbative correction to this smeared energy distribution is suppressed by $\lqcd/\Delta$. So, for example, with $\Delta \sim 10~ {\rm GeV}$ the nonperturbative corrections are expected to be of order $10\%$, roughly the same size as perturbative corrections, and an order of magnitude larger than the order $\lqcd/M_Z$ correction expected in the complete two jet rate. We argue that for $E_J$ very near $M_Z/2$ it is not possible to capture the dominant nonperturbative effects simply by shifting, $E_J \rightarrow E_J-\mu_{\rm np}$, in the perturbative expression for ${\rm d }\Gamma_{\rm 2-jet}/{\rm d}E_J$ (where $\mu_{\rm np}$ is a nonperturbative parameter of order $\lqcd$).

32: 

33: In the next section, we derive an expression for the leading enhanced nonperturbative correction to the smeared jet energy distribution for two jet events using methods from soft-collinear effective field theory (SCET)~\cite{SCET1a,SCET1b,SCET3,Bauer:2001ct}. This correction is given by the vacuum expectation value of a nonlocal operator involving Wilson lines. Perturbative order $\alpha_s$ corrections to this variable are derived in Appendix~\ref{sec:pert}.  

34: 

35: Section~\ref{sec:other} discusses the leading nonperturbative corrections for thrust, jet masses, the jet broadening variables, the $C$ parameter and energy-energy correlations. In agreement with Ref.~\cite{KS99} we find that the correction to jet mass sum and thrust are related. However, without additional model-dependent assumptions we do not find that the enhanced nonperturbative corrections to the $C$ parameter and jet broadening variables can be related to those for thrust and the jet masses. We compare the level of our understanding of the enhanced nonperturbative effects in these variables.

36: 

37: 

38: 

39: \section{Operator Product Expansion For The Two Jet Energy Distribution \label{sec:ope}}

40: 

41: The nonperturbative corrections to the jet energy distribution for $Z$ decay to two jets, ${\rm d}\Gamma_{\text{2-jet}}/ {\rm d} E_J$ near $E_J=M_Z/2$ are computed in this section. The perturbative corrections will be discussed in Sec.~\ref{sec:pert}. The results are given for the Sterman-Weinberg jet definition, where a cone of half-angle $\delta$ contains a jet if the energy contained in the cone is more than $E_{\text{cut}}=\beta M_Z$, as illustrated in Fig.~\ref{cones}. We take the cone half-angle $\delta$ and the dimensionless energy cut variable $\beta$ to be of order a small parameter $\lambda$, and compute in a systematic expansion in powers of $\lambda$. We are interested in the jet energy distribution within a region $\Delta$ of $M_Z/2$, where $M_Z\gg \Delta \gg \lambda^2 M_Z$. For example,  $\Delta \sim \lambda M_Z$. 

42: \begin{figure}

43: \begin{center}

44: \setlength{\unitlength}{1mm}

45: \begin{picture}(20,45)(-15,-20)

46: \put(0,0){\circle*{3}}

47: \drawline(-20,-20)(20,20)

48: \drawline(-4,9)(0,0)(10,-7)

49: \drawline(-9,6)(0,0)(1,-11)

50: \drawline(-10,0)(9,0)

51: \spline(15.5,15.5)(17,15)(18,14)(18,13)

52: \Thicklines

53: \put(20,20){\rotatebox{-45}{\ellipse{10}{5}}}

54: \put(-20,-20){\rotatebox{-45}{\ellipse{10}{5}}}

55: \drawline(-16.5,-23.5)(16.5,23.5)

56: \drawline(-23.5,-16.5)(23.5,16.5)

57: \put(18,13){\small$\longleftarrow\delta$}

58: \put(-40,10){\small$E_{\text{outside}}<\beta E_{\text{tot}}$}

59: \end{picture}

60: \end{center}

61: \caption[Sterman-Weinberg jets.]{Sterman-Weinberg jets. An event is characterized as a two-jet event for specified cuts $\beta,\delta$ if two cones of half-angle $\delta$ contain most of the energy in the event, with no more than $\beta E_{\text{tot}}$ of energy outside the cones.}

62: \label{cones}

63: \end{figure}

64: 

65: \SCETa\ is the appropriate effective field theory for the kinematic region of interest, and will be used for the derivation of the nonperturbative corrections to ${\rm d}\Gamma_{\text{2-jet}}/ {\rm d} E_J$ near $E_J=M_Z/2$. It is convenient  to introduce two lightlike vectors $n$ and $\bar n$ which satisfy $n^0=\bar n^0=1$ and ${\bf n}=-{\bf \bar n}$.   Four-vectors are decomposed along the $n$, $\bar n$ and perpendicular directions: $V=(V^+,V^-,V_{\perp})$ where $V^+ = n \cdot V$, $V^- = \bar n \cdot V$ and $ V_{\perp}^{\mu}=  V^{\mu}-V^+ {\bar n}^{\mu}/2-V^- n^{\mu}/2 $. For the problem of interest, \SCETa\ contains $n$-collinear, $\bar n $-collinear  and ultrasoft degrees of freedom~\cite{Bauer:2002nz}. The $n$-collinear and $\bar n$-collinear degrees of freedom have typical momenta that scale as 

66: \begin{equation}

67: \label{moment}

68: p_c^{(n)} \sim M_Z(\lambda^2,1, \lambda),\qquad p_c^{(\bar n)} \sim M_Z(1,\lambda^2, \lambda),

69: \end{equation}

70:  and the ultrasoft degrees of freedom have momenta that scale as

71: \begin{equation}

72: p_{u} \sim M_Z(\lambda^2,\lambda^2,\lambda^2).

73: \end{equation}

74:  We take $\lambda \sim \sqrt{\lqcd /M_Z}$ which implies that the typical ``off-shellness" of the ultrasoft degrees of freedom, $p_{u}^2 \sim M_Z^2 \lambda ^4 \sim \lqcd^2$, is set by the QCD scale while the typical ``off-shellness" of the collinear degrees of freedom, $p_c^2 \sim M_Z^2 \lambda^2 \sim M_Z \lqcd$, is much larger than $\lqcd^2$.

75: Hence the collinear degrees of freedom can be treated in perturbation theory.

76: 

77: Cone algorithms for jets, like that of Sterman and Weinberg, are ambiguous at higher orders in perturbation theory~\cite{Seymour,RUNIIJET}. This arises when there is more than one way to assign a particle to a particular jet. However, in this section we work to lowest order in perturbation theory, where the events consist of two almost back-to-back jets plus ultrasoft degrees of freedom. Since the cones are well separated, there is no ambiguity in assigning partons to the jets.

78: 

79: The nonperturbative effects we are after are characterized by matrix elements of operators composed from the ultrasoft degrees of freedom. In $Z$ decay into two jets, the jets are almost back-to-back, and $\mathbf{n}$ is  chosen along one of the jet directions. The degrees of freedom in the two jets are then represented by $n$-collinear (for the antiquark jet) and $\bar n$-collinear fields (for the quark jet). In this section we work to lowest order in perturbation theory in the collinear fields. Hence we match the weak neutral current in full QCD onto the effective theory at tree level,

80: \begin{equation}

81: \label{current}

82: j^{\mu}=[\bar \xi_{\bar n}W_{\bar n}]\Gamma^{\mu}[W_n^{\dagger}\xi_n],

83: \end{equation}

84: where $\Gamma^{\mu}=g_V\gamma^{\mu}_{\perp}+g_A\gamma^{\mu}_{\perp}\gamma_5$ involves the vector and axial couplings of the $Z$ boson. The fields $\xi_{\bar n}$ and $\xi_{n}$ are collinear quark fields in the $\bar n$ and $n$ directions and we have adopted the convention

85: \begin{equation}

86: \label{sumlabels}

87: \xi_n(x)=\sum_{\tilde p} e^{-i \tilde{p} \cdot x}\xi_{n, \tilde p}(x),

88: \end{equation}

89: where the label momentum $\widetilde p$ contains the components of order $1$ and $\lambda$, $\bar n \cdot p$ and $\mathbf{p}_\perp$, and the order $\lambda^2$ components are associated with the space-time dependence of the fields. The Wilson lines $W_{n, \bar n}$ are required to ensure collinear gauge invariance~\cite{Bauer:2001ct}. Since in this section we work to lowest order in QCD perturbation theory, they play no role in the analysis and can be set to unity.

90: 

91: The typical momenta of the partons in the jets are of the order of the collinear momenta, Eq.~(\ref{moment}), where the overall scale of their momentum is set by $M_Z$. However, it is possible for the jets to contain partons with momenta that have an overall scale that is much less than $M_Z$. Because of the sum over all values of $\widetilde p$ in Eq.~(\ref{sumlabels}), such partons can still be represented by collinear fields. The interaction of $n$-collinear fields among themselves is given by the full QCD Lagrangian, and so the hadronization of $n$-collinear partons into a jet is described by the full theory.

92: 

93: The Lagrangian of the effective theory does not contain any direct couplings between collinear particles moving in the two different lightlike directions labeled by $\bar n$ and $n$; however, they can interact via the exchange of ultrasoft gluons. It is convenient to remove the couplings of the collinear degrees of freedom to the ultrasoft ones via the field redefinition~\cite{SCET3}:

94: \begin{equation}

95: \label{def1}

96: \xi_{n} \rightarrow Y_n^{\dagger}\xi_n,\qquad A_n \rightarrow Y_n^{\dagger} A_n Y_n,

97: \end{equation}

98: where $A_n$ is an $n$-collinear gluon field and

99: \begin{equation}

100: \label{def2}

101: Y_n(z)=P \exp\left[ig\int_0^\infty {\rm d}s\ n \cdot A_{u}(ns+z)\right]

102: \end{equation}

103: denotes a path-ordered Wilson line of ultrasoft gluons in the $n$ direction from $s=0$ to $s=\infty$. This is the appropriate field redefinition for outgoing collinear fields, since if a factor of $\exp(-\epsilon s)$ is inserted in the integrand to decouple the interactions at late times, one reproduces the correct $i\epsilon$ prescription for the collinear quark propagator. For annihilation which contains incoming collinear particles $Y_n$ is from $s=-\infty$ to $s=0$ and the daggers are reversed in Eq.~(\ref{def1}). An analogous field redefinition with $n \to \bar n$ removes the couplings in the Lagrangian of ultrasoft fields to the $\bar n$-collinear fields. 

104: 

105: The differential decay rate for $Z$ decay to two jets is

106: \begin{equation}

107: \begin{split}

108: {\rm d}\Gamma_{\text{2-jet}}={1 \over 2 M_Z}\sum_{\rm {final ~states}}{1 \over 3}\sum_{\rm {\epsilon}}&\abs{ \me{ J_n J_{\bar n}X_{u} } { j^{\mu}(0)\epsilon_{\mu}} { 0 } }^2 \\

109: &\times (2\pi)^4\delta^4(p_Z-p_{J_{n}}-p_{J_{\bar n}}-k_{u}),

110: \label{1.01}

111: \end{split}

112: \end{equation}

113: where the sum over final states includes the usual phase space integrations and $\epsilon$ is the polarization vector of the decaying $Z$ boson. 

114: Since after the field redefinitions shown in Eq.~(\ref{def1}), there are no interactions between the ultrasoft and collinear degrees of freedom, the matrix element factorizes, and at lowest order in perturbation theory in the collinear degrees of freedom,

115: \begin{equation}

116: \begin{split}

117: \label{main}

118: {\rm d}\Gamma_{\text{2-jet}} =& {1 \over 2 M_Z}{{\rm d}^3{\bf p}_q \over (2 \pi)^3 2 p_q^0}{{\rm d}^3{\bf p}_{\bar q} \over (2 \pi)^3 2 p_{ \bar q}^0}\abs{ {\cal M}^{(0)}_{if} }^2  \sum_{X_{u}}(2\pi)^4\delta^4(p_Z-p_{q}-p_{\bar q}-k_{u})\\

119: & \times  {1 \over N_C}\me{ 0 }{\bar T [Y_{n d}~^{e} Y^{\dagger}_{{\bar n}e}~^a](0)}{X_{u}(k_{u})}

120: \me{X_{u}(k_{u})}{\vphantom{\Bigr|}T [Y_{\bar n a}~^{c} Y^{\dagger}_{{ n}c}~^d](0)}{0}.

121: \end{split}

122: \end{equation}

123: In Eq.~(\ref{main}), $|{\cal M}^{(0)}_{if}|^2$ is the square of the $Z \rightarrow q \bar q $ decay amplitude averaged over $Z$ polarizations and summed over the quark and antiquark spins and colors, $T $(${\bar T}$) denotes time- (anti-time-) ordering, $N_C$ is the number of colors, and we have explicitly displayed the color indices on the ultrasoft Wilson lines.

124:  

125: The derivation of Eq.~(\ref{main}) in many ways parallels the use of the operator product expansion to compute the deep inelastic scattering cross-section, or the rate for inclusive semileptonic $B$ decay. There is, however, one important distinction. The sum over final states in deep inelastic scattering and $B$ decay is a sum over a complete set of color-singlet hadron states. In Eq.~(\ref{1.01}), one is summing over a complete set of jet and ultrasoft states. These are a complete set of partonic states, and are not necessarily color-singlet states. In fact, unitarity would be violated if one separately imposed the color-singlet condition on each of $\ket{J_n}$, $\ket{J_{\bar n}}$ and $\ket{X_u}$. The derivation of Eq.~(\ref{main}) is valid to the extent that the sums over partonic and hadronic states are equivalent. In jet production, the color of the fast quark that turns into a jet is eventually transferred to low-energy partons during the fragmentation process. The low-energy partons communicate between the different jets, and make sure the whole process is color-singlet. The assumption is that this color recombination does not affect the decay rate at order $\lqcd/M_Z$.

126: 

127: 

128: 

129: To calculate ${\rm d}\Gamma_{\text{2-jet}}/ {\rm d} E_J$ we integrate Eq.~(\ref{main}) over the allowed values of the quark and antiquark three-momentum with the factor $\delta(E_J-p_q^0)$ inserted. This corresponds to choosing the quark jet as the ``observed'' jet. If one does not distinguish between quark and antiquark jets then Eq.~(\ref{main}) still applies since the value of ${\rm d}\Gamma_{\text{2-jet}}/ {\rm d} E_J$ when the ``observed'' jet is an antiquark jet is the same. It is convenient to work in the rest frame of the decaying $Z$, $p_Z=(M_Z,M_Z,{\bf 0}_{\perp})$, and align $\bf{\bar n}$ with the quark three-momentum ${\bf p}_{q}$.  The decomposition of the quark's four-momentum in terms of label and residual momentum, $p_q=\widetilde p_q +k_q$, has the form $p_q^+=\widetilde p_q^++k_q^+$ with $p_q^-=0$, ${\bf p}_{q \perp}=0$. (Note this means that $\widetilde {\bf p}_{q \perp}={\bf k}_{q \perp}=0$ and $k_q^-=0$.) Hence the phase space integration over quark three-momentum becomes

130: \begin{equation}

131: \int {{\rm d}^3 {\bf p}_q \over (2 \pi)^3 2 p_q^0}={1 \over 4(2\pi)^2}\sum_{\tilde p_q^+} \widetilde p_q^+ \int {\rm d} k_q^+.

132: \end{equation}

133: For the antiquark's four-momentum the decomposition into residual and label momentum is $p_{\bar q}^+=k_{\bar q}^+$, $p_{\bar q}^-={\widetilde p}_{\bar q}^-+k_{\bar q}^-$ and  ${\bf p}_{\bar q \perp}=\widetilde {\bf p}_{\bar q \perp}+{\bf k}_{\bar q \perp}$. One cannot set ${\bf p}_{\bar q \perp}=0$ by a choice of $\mathbf{n}$, since $\mathbf{n}=-\mathbf{\bar n}$, and $\mathbf{\bar n}$ has already been fixed by the direction of the quark jet.

134: 

135: Expressed in terms of label and residual momenta the phase space integration over antiquark three-momentum is

136: \begin{eqnarray}

137: \int {{\rm d}^3 {\bf p}_{\bar q} \over (2 \pi)^3 2 p_{\bar q}^0}&=&\sum_{\tilde p_{\bar q}}\int {{\rm d}^4 {k}_{\bar q} \over (2 \pi)^3 }\delta\bigl(({\widetilde p_{\bar q}}+k_{\bar q})^2\bigr) \nn

138: &=& \sum_{\tilde p_{\bar q}}\int {{\rm d}k_{\bar q}^- {\rm d^2}{\bf k}_{\bar q \perp} \over 2(2\pi)^3}{1 \over \widetilde p_{\bar q^-}}.

139: \end{eqnarray}

140: Here the delta function $\delta\bigl(({\widetilde p_{\bar q}}+k_{\bar q})^2\bigr)=\delta(\widetilde p_{\bar q}^- k_{\bar q}^+ -\widetilde {\bf p}_{\bar q \perp}^2)$ was used to do the $k_{\bar q}^+$ integration setting $k_{\bar q}^+=\widetilde {\bf p}_{\bar q \perp}^2/\widetilde p_{\bar q}^-$. 

141: At leading order in the SCET expansion parameter $\lambda$ the invariant matrix element ${\cal M}^{(0)}_{if}$ only depends on the label momenta $\widetilde p_q^+$ and $ \widetilde p_{\bar q}^-$. In terms of label and residual momentum the energy-momentum conserving delta function becomes:

142: \begin{equation}

143: \begin{split}

144: \label{delta1}

145: \delta^4(p_Z-p_q-p_{\bar q}-k_{u})&=2\delta(p_Z^--p_{\bar q}^--k_{u}^-)\delta(p_Z^+-p_q^+-p_{\bar q}^+-k_{u}^+) \delta^2({\bf p}_{\bar q \perp}+{\bf k}_{u \perp})\\

146: &=2\delta_{M_Z,\tilde p_{\bar q}^-}\delta_{M_Z,\tilde p_{q}^+} \delta^2_{{\tilde {\bf p}}_{\bar q \perp},{\bf 0}}\delta(k_{\bar q}^-+k_{u}^-)\delta(k_q^+ + k_{u}^+)  \delta^2({\bf k}_{\bar q \perp}+{\bf k}_{u \perp}).

147: \end{split}

148: \end{equation}

149: The relation  $k_{\bar q}^+=\widetilde {\bf p}_{\bar q \perp}^2/\widetilde p_{\bar q}^-$ and the Kronecker delta that sets $\widetilde{\bf p}_{\bar q \perp}$ to zero imply that $k_{\bar q}^+=0$, and so this variable does not appear in the penultimate delta function in Eq.~(\ref{delta1}).

150: 

151: Using these results gives:

152: \begin{equation}

153: \begin{split}

154: \label{almost}

155: {{\rm d} \Gamma_{\text{2-jet}} \over {\rm d } E_J}&={|{\cal M}^{(0)}_{if}|^2 \over 8M_Z (2\pi)}\int {\rm d}k_q^+\int {\rm d}k_{\bar q}^-{\rm d^2}{\bf k}_{ \bar q \perp}\sum_{X_{u}} \delta\left(\frac{M_Z}{2}-E_J+\frac{k_q^+}{2}\right) \\

156: &\quad\times\delta(k_{\bar q}^-+k_{u}^-)\delta(k_q^+ + k_{u}^+) \delta^2({\bf k}_{\bar q \perp}+{\bf k}_{u \perp}) \\

157: &\quad\times {1 \over N_C}\me {0 } { \bar T [Y_{n d}~^{e} Y^{\dagger}_{{\bar n}e}~^a](0)}{X_{u}(k_{u})}

158: \me{ X_{u}(k_{u})}{ \vphantom{\Bigr|} T [Y_{\bar n a}~^{c} Y^{\dagger}_{{ n}c}~^d](0)}{0}\\

159: &= {|{\cal M}^{(0)}_{if}|^2 \over 16 \pi M_Z} \sum_{X_{u}} \delta\left(\frac{M_Z}{2}-E_J-\frac{k_u^+}{2}\right) \\

160: &\quad\times \frac{1}{N_C}\me {0 } { \bar T [Y_{n d}~^{e} Y^{\dagger}_{{\bar n}e}~^a](0)}{X_{u}(k_{u})}

161: \me{ X_{u}(k_{u})}{ \vphantom{\Bigr|} T [Y_{\bar n a}~^{c} Y^{\dagger}_{{ n}c}~^d](0)}{0}.

162: \end{split}

163: \end{equation}

164: We write the remaining delta function as the integral:

165: \begin{equation}

166: \delta\left(\frac{M_Z}{2}-E_J-\frac{k_u^+}{2}\right)=\int \frac{{{\rm d}u }}{2\pi}\exp \left[-i\left(\frac{M_Z}{2}-E_J-\frac{k_u^+}{2}\right){u}\right]\,.

167: \end{equation}

168: 

169: 

170: 

171: At this stage the collinear degrees of freedom have been integrated out, and the matrix elements above, which involve only ultrasoft degrees of freedom, are evaluated at leading order in the SCET expansion parameter (i.e. $\lambda \rightarrow 0$). Recall that the Sterman-Weinberg jet criteria restrict particles outside the cones used to define the two jets associated with the quark and antiquark to have energy less than $E_{\text{cut}}$ which we are taking to be order $\lambda M_Z$. In the limit $\lambda \rightarrow 0$ this energy cut becomes much larger than  a typical component of an ultrasoft four-momentum. Hence, for the matrix elements of these operators, $E_{\text{cut}}$ should be taken to infinity and does not restrict these matrix elements. Similarly the cone angle is taken to be of order $\lambda$ while the typical angle between components of ultrasoft momenta is order unity. Thus the cone angle should be taken to zero in the effective theory that contains only ultrasoft degrees of freedom  and so  there is no restriction on the ultrasoft states that are summed over in Eq.~(\ref{almost}).

172: 

173: Using the exponential dependence on $k_{u}$ to translate the anti-time ordered product to the space-time point $u n/2$, and then using the completeness relation to perform the sum over all ultrasoft intermediate states, 

174: we find for the jet energy distribution:

175: \begin{equation}

176: \label{doneit}

177: {{\rm d} \Gamma_{\text{2-jet}} \over {\rm d } E_J}=\Gamma_{\text{2-jet}}^{(0)}\ S(M_Z/2-E_J),

178: \end{equation}

179: where the shape function $S$ is defined by \cite{KS95}

180: \begin{equation}

181: \label{shapefunction}

182: S(k)={1 \over N_C}\int {{\rm d}u \over 2 \pi}{\rm e}^{i k u}

183: \me{ 0 }{ \bar T [Y_{n d}~^{e} Y^{\dagger}_{{\bar n}e}~^a](un/2)T [Y_{\bar n a}~^{c} Y^{\dagger}_{{ n}c}~^d](0)}{ 0},

184: \end{equation}

185: and the total two jet Z-decay width at lowest order in perturbation theory is

186: \begin{equation}

187: \Gamma_{\text{2-jet}}^{(0)}={ \abs{ {\cal M}^{(0)}_{if}}^2  \over 16 \pi M_Z }={N_C M_Z \over 12 \pi}(g_V^2+g_A^2),

188: \end{equation}

189: having implicitly summed over spins and colors.

190: The $n$-directed and $\bar n$-directed ultrasoft Wilson lines commute since $(s_1n-s_2\bar n)^2=-4s_1s_2<0$, and the gauge fields in the Wilson lines are space-like separated. 

191: 

192: In this derivation we chose the jets to be composed entirely of collinear degrees of freedom. This is appropriate since jets are confined to narrow cones. For example, the momentum of any massless particle in the quark jet satisfies $p^- \ll p^+$, which is the appropriate scaling for collinear particles in the $\bar n$ direction. However, it is possible to repeat the above derivation allowing ultrasoft degrees of freedom to be inside a jet. Then instead of inserting $\delta(E_J - p_q^0)$ into Eq.~(\ref{main}), one inserts $\delta(E_J - p_q^0 - k^0_{uJ})$, where $k^0_{uJ} = (k^+_{uJ}/2)[1+{\cal O}(\lambda)]$ denotes the total ultrasoft energy inside the quark jet. Using the delta functions in Eq.~(\ref{delta1}) we obtain again Eq.~(\ref{almost}), with $k_u^+$ in the final delta function now denoting the total ultrasoft momentum \emph{outside} the quark jet. However, as mentioned previously, at leading order in $\lambda$ the cone angle of the jet shrinks to zero, and one recovers the previous result. 

193: 

194: It is possible to remove the time- and anti-time-ordering completely in the definition of the shape function $S$.  

195: Using the results from Appendix~\ref{A1} our expression for the shape function becomes

196: \begin{equation}

197: \label{notimeorder}

198: \begin{split}

199: S(k)&={1 \over N_C}\int {{\rm d}u \over 2 \pi}{\rm e

200: }^{i k u}\me{ 0} { [{\overline Y^{\dagger}_n}^e~_d Y^{\dagger}_{{\bar n}e}~^a](un / 2)[Y_{\bar n a}~^{c} {\overline Y_n}^d~_c](0)}{0} \\

201: &={1\over N_C}\me{0}{[{\overline Y^{\dagger}_n}^e~_d Y^{\dagger}_{{\bar n}e}~^a]\delta(k+in \cdot \partial/2)[Y_{\bar n a}~^{c} {\overline Y_n}^d~_c]}{0},

202: \end{split}

203: \end{equation}

204: where the overline denotes an anti-triplet Wilson line.  

205: 

206: Since in the kinematic region of interest $M_Z/2-E_J$ is much larger than $n\cdot \partial$ acting on ultrasoft gauge fields it is appropriate to expand the delta function above which gives

207: \begin{equation}

208: \begin{split}

209: \label{expand}

210: S(M_Z/2-E_J)&=\delta(M_Z/2-E_J)+\delta^{\prime}(M_Z/2-E_J)\me{0}{O_1}{0} \\

211: &\quad +{1 \over 2}\delta^{\prime \prime}(M_Z/2-E_J)\me{ 0}{O_2}{0}+\cdots

212: \end{split}

213: \end{equation}

214: where

215: \begin{equation}

216: \label{operators}

217: O_m={1\over N_C}\left[{\overline Y^{\dagger}_n}^e~_d Y^{\dagger}_{{\bar n}e}~^a\right]\left({i n \cdot \partial \over 2 }\right)^m\left[Y_{\bar n a}~^{c} {\overline Y_n}^d~_c\right]={1\over N_C}{\rm Tr}\,\left[Y^{\dagger}_{\bar n}\left( {in \cdot D \over 2}\right)^mY_{\bar n }\right].

218: \end{equation}

219: The simple form for the operators $O_m$ arises because the variable $E_J$ is totally inclusive on the ``unobserved'' antiquark jet. 

220: 

221: The formula for ${\rm d}\Gamma_{\text{2-jet}}/{\rm d}E_J$ is

222: \begin{equation}

223: {{\rm d}\Gamma_{\text{2-jet}}\over {\rm d}E_J}=\Gamma^{(0)}_{\text{2-jet}}\ \Bigl[ \delta(M_Z/2-E_J) +\delta^{\prime}(M_Z/2-E_J)\me{0}{O_1}{0} + \cdots \Bigr]  .

224: \label{pert}

225: \end{equation}

226: The delta function term in Eq.~(\ref{expand}) simply reproduces the leading perturbative formula for ${\rm d}\Gamma^{(0)}_{\text{2-jet}}/{\rm d}E_J$ while the higher-order terms contain the effects of nonperturbative physics. 

227: The derivation presented here assumes the observed jet is the quark jet. A similar derivation in the case where the antiquark jet is observed gives operators

228: \begin{equation}

229: {\overline  O_m}={1 \over N_C}{\rm Tr} \left[{\overline Y_n}^{\dagger}\left({i{\bar n} \cdot D \over 2}\right)^m{\overline Y_{ n }}\right].

230: \end{equation}

231: Since the vacuum expectation values of $O_m$ and ${\overline O_m}$ are equal by charge conjugation, our results also hold in the case where one does not distinguish between quark and antiquark jets.

232: 

233: We define the matrix elements using dimensional regularization with $\overline{{\rm MS}}$ subtraction so that in perturbation theory the vacuum expectation values $\me{ 0 }{O_m}{0 }$ are zero. 

234: 

235: Note that $O_2$ is a very different operator than $O_1$ so it is not possible to capture the effects of nonperturbative physics for $|E_J -M_Z/2|\sim \lambda^2 M_Z$ \footnote{More correctly the differential cross section ${\rm d}\Gamma_{\text{2-jet}}/{\rm d}E_J$ smeared over a region $\Delta$ of energy (that contains $E_J=M_Z/2$) with $\Delta$ of order $\lambda^2M_Z$.} simply by taking the lowest order perturbative formula in Eq.~(\ref{pert}) and shifting $E_J$ by a nonperturbative parameter $\mu_{\text{np}}$, that is,  $E_J\rightarrow E_J-\mu_{\text{np}}$.  This ansatz results in the shape function

236: \begin{equation}

237: S(M_Z/2-E_J)=\delta(M_Z/2-E_J)+\delta^{\prime}(M_Z/2-E_J)\mu_{\text{np}}

238: +{1 \over 2}\delta^{\prime \prime}(M_Z/2-E_J)\mu_{\text{np}}^2+\cdots

239: \label{3.01}

240: \end{equation}

241: where the series of derivatives of delta functions has coefficients that are simply related by $\me{ 0}{O_m}{0} =\me{ 0}{O_1}{0}^m$, which is not correct. 

242: 

243: For $|E_J -M_Z/2| \sim \lambda^2 M_Z$ all terms in the series of Eq.~(\ref{expand}) are equally important. However for $|E_J -M_Z/2|\sim \Delta\gg \lambda^2 M_Z$ the vacuum expectation value of $O_1$ provides the leading  order $\lqcd/\Delta$ nonperturbative correction. In this kinematic region the shift $E_J \rightarrow E_J-\mu_{\text{np}}$, with $\mu_{\text{np}}=\langle 0|O_1|0\rangle$, correctly captures the most important effects of nonperturbative physics.

244: 

245: We have focused on nonperturbative effects that are enhanced in the region near $E_J=M_Z/2$. If one considers a variable like the average value of the jet energy over the entire allowed phase space, then there are sources of nonperturbative corrections that we have not considered.

246: 

247: Using the results of Appendix~\ref{A2}, the operator $O_1$ in Eq.~(\ref{operators}) can be expressed in terms of the gluon field strength tensor \cite{KS95}:

248: \begin{equation}

249: \label{fancy}

250: \begin{split}

251: O_1&={1 \over 2}{\rm Tr} [Y^{\dagger}_{\bar n}(in~ \cdot D)Y_{\bar n }] \\

252: &=\frac{1}{2}{\rm Tr}\left[ig\int_0^{\infty}{\rm d}s\ Y_{\bar n}^{\dagger}(z;s,0)n^{\mu}{\bar n}^{\nu}G_{\mu \nu} Y_{\bar n}(z;s,0)\right].

253: \end{split}

254: \end{equation}

255: $O_1$ in Eq.~(\ref{fancy}) vanishes if the ultrasoft gauge field is treated as a classical degree of freedom. Then the Wilson lines in Eq. (\ref{fancy}) are unitary matrices and the trace vanishes since the gluon field strength tensor is in the adjoint representation. Note that  the  vacuum expectation value of $O_1$ can still be nonzero because of quantum effects. Usually operators involving products of gluon fields require renormalization. However, it is straightforward  to show that $O_1$ is not renormalized at one loop. For example, we have shown that the two-gluon matrix element of the operator $O_1$ shown in Fig.~\ref{O1loop} is identically zero, even before performing the loop integration. That is,

256: \begin{equation}

257: \bra{0}O_1\lvert A_\alpha^a(\epsilon_1,p_1)A_\beta^b(\epsilon,p_2)\rangle = 0,

258: \end{equation}

259: after extensive algebra.

260: \begin{figure}

261: \vspace{-5cm}

262: \begin{equation*}

263: \raisebox{-5cm}{\rotatebox{-90}{

264: \begin{fmffile}{O1}

265: \begin{fmfgraph*}(100,120)

266: \fmfleft{A1}

267: \fmfright{A2}

268: \fmf{gluon}{A1,v,v,A2}

269: \fmfv{decor.shape=square,decor.filled=1,decor.size=70}{v}

270: \fmfforce{(.5w,.5h)}{v}

271: \fmfforce{(.142857w,0)}{A1}

272: \fmfforce{(.857142w,0)}{A2}

273: \end{fmfgraph*}

274: \end{fmffile}}}

275: \end{equation*}

276: \vspace{-5mm}

277: \caption[Two-gluon matrix element of $O_1$ at one-loop order.]{Two-gluon matrix element of $O_1$ at one-loop order. Matrix elements of $O_1$ such as this are identically zero in perturbation theory; hence, $O_1$ is not renormalized.}

278: \label{O1loop}

279: \end{figure}

280: 

281: 

282: \section{Enhanced Nonperturbative Corrections to Event Shape Variables \label{sec:other}}

283: 

284: There are a number of event shape distributions that are commonly studied in the literature.  Conventionally, one defines a general event shape distribution ${\rm d} \sigma/{\rm d}e$, where $e$ is an event shape variable defined such that the region $e \to 0$ corresponds to the two jet limit. Examples are $e=1-T$ for thrust, $e=B$ for jet broadening and $e=C$ for the $C$ parameter. Any event shape distribution in $Z$ decay contains both perturbative and nonperturbative contributions. The perturbative effects can be computed as a perturbation series in $\alpha_s(M_Z)$. At leading order, only two-jet (i.e.\ $q \bar q$) events contribute. Events with more hard partons are suppressed by powers of $\alpha_s(M_Z)$. In general, nonperturbative effects are suppressed by  powers of $\Lambda_{\rm QCD}/M_Z$, but in corners of phase space where $e \ll 1$ these nonperturbative effects become enhanced. Here we consider the region $\Lambda_{\rm QCD} \ll M_Z e \ll M_Z$ and focus on the enhanced nonperturbative contribution suppressed only by a single power of $\Lambda_{\rm QCD}/(M_Z e)$. 

285: 

286: Perturbative expressions for the jet variables considered in this section have been extensively studied in the literature \cite{pertThrust,pertJetMass,pertEvent,pertB,pertB2,pertC}. Our main interest is in nonperturbative physics. Working to leading order in $\alpha_s(M_Z)$, the dominant nonperturbative effects are corrections to the two-jet distribution. Nonperturbative corrections to higher-order processes are suppressed by additional powers of $\alpha_s(M_Z)$. We will compute the enhanced nonperturbative corrections to some commonly measured event shape distributions, just as we did for the jet energy distribution in Sec.~\ref{sec:ope}. Recall for the jet energy distribution the dominant nonperturbative correction came from expanding 

287: \begin{equation}

288: \label{EJdelta}

289: \delta\left(\frac{M_Z}{2}-E_J+ \frac{k_q^+}{2}\right) = \delta\left(\frac{M_Z}{2}-E_J\right) +\delta^{\prime}\left(\frac{M_Z}{2}-E_J\right)\frac{k_q^+}{2}+\cdots

290: \end{equation}

291: in Eq.~(\ref{almost}) to linear order in $k_q^+$. The delta function from Eq.~(\ref{delta1}) sets $k_q^+=-k_{u}^+$, and we therefore find

292: \begin{equation}

293: \label{poor1}

294: {{\rm d}\Gamma^{(0)}_{\text{2-jet}}\over {\rm d}E_J}=\Gamma^{(0)}_{\text{2-jet}}\left[\delta\left(\!\frac{M_Z}{2}-E_J\!\right)\!-\!\delta^{\prime}\left(\!\frac{M_Z}{2}-E_J\!\right)\!\frac{\vev{ k_{u}^+ }}{2} \right],

295: \end{equation}

296: where

297: \begin{equation}

298: \label{poor2}

299: \vev{ k_{u}^+ } = \sum_{X_{u}} {1 \over N_C}\me{ 0}{\bar T \left[Y_{n d}~^{e} Y^{\dagger}_{{\bar n}e}~^a \right] (0)}{X_{u}(k_{u})}\me{ X_{u}(k_{u})}{\vphantom{\Bigr|} T \left[Y_{\bar n a}~^{c} Y^{\dagger}_{{ n}c}~^d \right](0) }{0}  k_{u}^+.

300: \end{equation}

301: The jet energy distribution has the nice property that one can write $\vev{ k_{u}^+ }$ as the vacuum expectation value of an operator involving Wilson lines of ultrasoft gauge fields [namely, Eq.~(\ref{fancy})]. For some shape variables this is not possible. However, expressions analogous to Eqs.~(\ref{poor1}--\ref{poor2})  can be derived.

302: 

303: \subsection{Thrust \label{ssec:thrust}}

304: 

305: First we consider the thrust distribution ${\rm d } \Gamma/{\rm d} T$ where the thrust $T$ is defined by

306: \begin{equation}

307: M_Z\, T=\max_{\mathbf{\hat t}} \sum_{i} \abs{\mathbf{\hat t}\cdot{\bf p_i}},

308: \end{equation}

309: where $\mathbf{\hat t}$ is a unit vector that defines the thrust axis. The maximum is taken over all possible directions of $\mathbf{\hat t}$, and the sum is over all final state particles.

310: To the order we are working the thrust axis $\mathbf{\hat t}$ can be set equal to the spatial part of the lightlike 

311: four-vector $n$ used to define the collinear antiquark field. It is convenient to call this direction the $z$-axis. The thrust distribution is calculated analogously to the two jet distribution except that the delta function $\delta(E_J-p_q^0)$  is replaced by  $\delta\left(M_ZT-\abs{p_q^z}- \abs{p_{ \bar q}^z}-\sum_\alpha \abs{k_{u\alpha}^z}\right)$, where the sum is over all ultrasoft particles. We adopt the same conventions as in the jet energy distribution so that the phase space integrals are again done using the delta function in Eq.~(\ref{delta1}). Decomposing the total ultrasoft four-momentum, $k_{u}=k_{u}^{(a)}+k_{u}^{(b)}$, into the sum of the ultrasoft momentum from particles in the same hemisphere as the antiquark (type $a$) and the same hemisphere as the quark (type $b$) the thrust $T$ can be written as

312: \begin{equation}

313: \label{Tdelta}

314: \begin{split}

315: M_ZT &= \abs{p_q^z} +  \abs{p_{ \bar q}^z}+ \sum_\alpha \abs{k_{u\alpha}^z} \\

316: &= {1 \over 2}\left(p_{\bar q}^- -p_{\bar q}^+\right)- {1 \over 2}\left(p_{q}^- -p_{q}^+\right) +{1 \over 2}\left(k_{u}^{(a)-}- k_{u}^{(a)+}\right) -{1 \over 2}\left(k_{u}^{(b)-}- k_{u}^{(b)+}\right) \\

317: &={1 \over 2}\widetilde p_{\bar q}^- + {1 \over 2}\widetilde p_{q}^+ +{1 \over 2}\left(k_{\bar q}^- - k_{\bar q}^+\right)+{1 \over 2}k_q^+ + {1 \over 2}\left(k_{u}^{(a)-}- k_{u}^{(a)+}\right) -{1 \over 2}\left(k_{u}^{(b)-}- k_{u}^{(b)+}\right).

318: \end{split}

319: \end{equation}

320: Now the delta functions in Eq.~(\ref{delta1}) set $\widetilde p_{\bar q}^- = \widetilde p_q^+ = M_Z$, $k_{\bar q}^- = -k_u^-$, $k_q^+ = -k_u^+$, and $k_{\bar q}^+ = 0$.

321: Thus we find

322: \begin{equation}

323: \label{thrustdef}

324: T = 1 - \frac{1}{M_Z} \left(k_{u}^{(a)+} + k_{u}^{(b)-}\right),

325: \end{equation}

326: where we have also used  $k_u = k_u^{(a)} + k_u^{(b)}$. Thus,

327: \begin{equation}

328: \label{thrust}

329: \begin{split}

330: {{\rm d} \Gamma \over {\rm d} T} &= \Gamma^{(0)}_{\text{2-jet}}\left[\delta(1-T) 

331: - \delta^{\prime}(1-T)\frac{\vev{ k_{u}^{(a)+} +k_{u}^{(b)-}}}{M_Z} \right]\\

332: &\equiv \Gamma^{(0)}_{\text{2-jet}}\left[\delta(1-T) 

333: - \delta^{\prime}(1-T)\frac{\vev{O_1^T}}{M_Z} \right].

334: \end{split}

335: \end{equation}

336: The thrust axis and the hemispheres are determined by the jet directions, and can be defined in terms of the label momenta of the quark and antiquark. Thus $\mathbf{\hat t}$ and the hemispheres $a$ and $b$ are label variables. Nevertheless, because of the hemisphere condition on the ultrasoft momentum in Eq.~(\ref{thrust}), there isn't a simple formula expressing the correction in terms of the vacuum expectation value of an operator involving Wilson lines like the one in Eq.~(\ref{fancy}).  

337: 

338: In a region $|1-T|\sim \lambda ^2$ the higher order terms in the ultrasoft momentum that were neglected in Eq.~(\ref{thrust}) are important. Eq.~(\ref{thrust}) is appropriate for a region $\delta T$ near $T=1$  that satisfies $1 \gg \delta T \gg \lambda ^2$,  for example, $\delta T  \sim \lambda$. 

339: 

340: 

341: \subsection{Jet Masses \label{ssec:jmass}}

342: 

343: The squared jet masses $M^2_{a,b}$ are the squares of the invariant mass of all the particles in the two hemispheres $a$ and $b$, defined by the plane perpendicular to the thrust axis. Two commonly used variables are the sum of jet masses, $\widehat{M}_S^2=(M_a^2+M_b^2)/M_Z^2$, and the heavy jet mass $\widehat{M}^2_H=\max(M_a^2,M_b^2)/M_Z^2$. The jet masses are $M^2_a=(p_{\bar q}+k_{u}^{(a)})^2$ and $M^2_b=(p_{ q}+k_{u}^{(b)})^2$. More explicitly,

344: \begin{subequations}

345: \label{MaMb}

346: \begin{align}

347: M_a^2 &= (p_{\bar q}^+ + k_u^{(a)+})(p_{\bar q}^- + k_u^{(a)-}) - (\vect{p}_{\bar q\perp} + \vect{k}_{u\perp}^{(a)})^2 \\

348: M_b^2 &= (p_q^+ + k_u^{(b)+})(p_q^- + k_u^{(b)-}) - (\vect{p}_{q\perp} + \vect{k}_{u\perp}^{(b)})^2.

349: \end{align}

350: \end{subequations}

351: Recall that $\vect{p}_q$ is aligned along $\vect{\bar n}$ so that $\vect{p}_{q\perp}=0$. Also, the delta function in Eq.~(\ref{delta1}) sets $\vect{\widetilde p}_{\bar q\perp} = 0$ and $\widetilde p_{\bar q}^- = \widetilde p_q^+ = M_Z$. Then, working to linear order in the ultrasoft momenta, $M^2_a = M_Z k_{u}^{(a)+}$ and $M^2_b = M_Z k_{u}^{(b)-}$, so

352: \begin{subequations}

353: \begin{align}

354: {{\rm d} \Gamma \over {\rm d} \widehat{M}_S^2}&=\Gamma^{(0)}_{\text{2-jet}}\left[\delta(\widehat{M}^2_S)- \delta^{\prime}(\widehat{M}_S^2)\frac{\vev{O_1^{M_S}}}{M_Z} \right]\\

355: {{\rm d} \Gamma \over {\rm d} \widehat{M}_H^2}&=\Gamma^{(0)}_{\text{2-jet}}\Bigl[\delta(\widehat{M}^2_H)e

356: -  \delta^{\prime}(\widehat{M}_H^2)\frac{\vev{O_1^{M_H}}}{M_Z} \Bigr],

357: \end{align}

358: \end{subequations}

359: where

360: \begin{subequations}

361: \begin{align}

362: \vev{O_1^{M_S}} &= \vev{ k_{u}^{(a)+}+k_{u}^{(b)-}}\\

363: \vev{O_1^{M_H}} &= \vev{ \max\left( k_{u}^{(a)+},k_{u}^{(b)-}\right)}.

364: \end{align}

365: \end{subequations}

366: Note that in the kinematic region where expanding to linear order in ultrasoft and residual momentum is appropriate, the nonperturbative corrections to the $M_S^2$ and $1-T$ distributions are given by the same nonperturbative matrix element. The nonperturbative corrections to the $M_S^2$ and $M_H^2$ distributions are different.

367: 

368: Working to higher orders in $k_u/M_Z$, the definitions of thrust in Eq.~(\ref{thrustdef}) and of jet masses in Eq.~(\ref{MaMb}) become different beyond linear order. However, the corrections to event shape distributions at higher orders in $\Lambda_{\text{QCD}}/(M_Ze)$ come not from expanding the argument of the delta functions used to define these variables to higher orders in $k_u/M_Z$, but rather from expanding these delta functions as power series in the ultrasoft momentum, as in Eq.~(\ref{EJdelta}) for the jet energy. So even at higher orders, the enhanced nonperturbative corrections, i.e. of order $[\Lambda_{\text{QCD}}/(M_Ze)]^n$, $n>1$, come from the leading-order correction to the argument of the delta function, which are the same for thrust and jet mass sum. So the enhanced nonperturbative corrections to thrust and jet mass sum are related to all orders in $\Lambda_{\text{QCD}}/(M_Ze)$.

369:  

370: \subsection{Jet Broadening}

371: 

372: Jet broadening variables $B_{a,b}$ are  defined by

373: \begin{eqnarray}

374: B_{a,b} = {1 \over 2 M_Z} \sum_{i \in a,b} \abs{ \mathbf{p}_i \times \mathbf{\hat t} },

375: \label{3.16}

376: \end{eqnarray}

377: where the hemispheres $a$ and $b$ are defined as before, and $\mathbf{\hat t}$ is the thrust axis. The jet broadening variables at order $k_u/M_Z$ require knowing the thrust axis to order $k_u/M_Z$. The thrust axis $\vect{\hat t}$ maximizes $\sum_i\abs{\vect{\hat t}\cdot\vect{p}_i}$. 

378: 

379: 

380: The angle between $\vect{p}_{\bar q}$ and the $z$-axis is given by 

381: \begin{equation}

382: \label{thetaqbar}

383: \theta_{\bar q} = \frac{\abs{\vect{k}_{\bar q\perp}}}{M_Z/2},

384: \end{equation}

385: and the thrust axis $\vect{\hat t}$ can be written as

386: \begin{equation}

387: \vect{\hat t} = (0,-\sin\theta_t,\cos\theta_t).

388: \end{equation}

389: By symmetry,

390: \begin{equation}

391: \label{thetat}

392: \theta_t = \frac{\abs{\vect{k}_{\bar q\perp}}}{M_Z}\,,

393: \end{equation}

394: which is half the size of $\theta_{\bar q}$ (see Fig.~\ref{thrustaxis}).

395: \begin{figure}

396: \begin{center}

397: \includegraphics[width=10cm]{axes}

398: \end{center}

399: \caption[Determination of the thrust axis.]{Determination of the thrust axis. To the order we are working, the quark and antiquark have momenta $\abs{\vect{p}_q}=\abs{\vect{p}_{\bar q}}= M_Z/2$. The antiquark then makes an angle $\theta_{\bar q}= 2\abs{\vect{k}_{\bar q\perp}}/M_Z$ with the $z$-axis, and the thrust axis $\vect{\hat t}$ makes an angle $\theta_t = \abs{\vect{k}_{\bar q\perp}}/M_Z$ with both the quark and antiquark.}

400: \label{thrustaxis}

401: \end{figure}

402: 

403: Now calculate $\abs{\vect{p}_i\times\vect{\hat t}}$ for each particle. To linear order in $k_u/M_Z$ we find for the quark,

404: \begin{equation}

405: \label{quarkcross}

406: \abs{\vect{p}_q\times\vect{\hat t}} = \frac{M_Z}{2}\sin\theta_t= \frac{\abs{\vect{k}_{\bar q\perp}}}{2},

407: \end{equation}

408: and for the antiquark,

409: \begin{equation}

410: \label{antiquarkcross}

411: \abs{\vect{p}_{\bar q}\times\vect{\hat t}} = \abs{\vect{k}_{\bar q\perp}}\cos\theta_t - \frac{M_Z}{2}\sin\theta_t  = \frac{\abs{\vect{k}_{\bar q\perp}}}{2}.

412: \end{equation}

413: For each ultrasoft particle $\alpha$, the cross product $\vect{k}_\alpha\times\vect{\hat t}$ is given by the determinant

414: \begin{equation}

415: \left|

416: \begin{array}{ccc}

417: \vect{\hat x} & \vect{\hat y} & \vect{\hat z} \\

418: k_\alpha^x & k_\alpha^y & k_\alpha^z \\

419: 0 & -\sin\theta_t & \cos\theta_t

420: \end{array}

421: \right|.

422: \end{equation}

423: Since $\sin\theta_t$ is already of order $k_u/M_Z$ the cross product is, to linear order in $k_u/M_Z$,

424: \begin{equation}

425: \vect{k}_\alpha\times\vect{\hat t} = (k_\alpha^y,-k_\alpha^x, 0),

426: \end{equation}

427: so $\abs{\vect{k}_\alpha\times\vect{\hat t}} = \abs{{\vect{k}}_{\alpha\perp}}$. Combining the contributions of each particle to the sum in Eq.~(\ref{3.16}), and using the delta function in Eq.~(\ref{delta1}) to set $\vect{k}_{\bar q\perp} = -\vect{k}_{u\perp}$, we obtain for the jet broadening variables (to linear order in $k_u/M_Z$):

428: \begin{subequations}

429: \begin{align}

430: B_a &= {1 \over 2M_Z} \left(\frac{\abs{ \mathbf{k}_{u\perp} }}{2} + \sum_{\alpha \in a} \abs{\mathbf{k}_{\alpha \perp} } \right) ,\\

431: B_b &= {1 \over 2M_Z} \left(\frac{\abs{ \mathbf{k}_{u\perp} }}{2} + \sum_{\alpha \in b} \abs{\mathbf{k}_{\alpha \perp} } \right), 

432: \end{align}

433: \label{BaBb}

434: \end{subequations}

435: where the sum on $\alpha$ is over the ultrasoft particles in hemisphere $a$ or $b$.

436: 

437: One conventionally defines two other broadening variables as 

438: \begin{subequations}

439: \label{Bsum}

440: \begin{align}

441: B_{\text{max}}&=\max\left(B_a,B_b\right),\\

442: B_{\text{sum}}&=B_a+B_b.

443: \end{align}

444: \end{subequations}

445: The jet broadening distribution is

446: \begin{eqnarray}

447: {{\rm d} \Gamma \over {\rm d}B} &=&  \Gamma^{(0)}_{\text{2-jet}} \Bigl[\delta(B) - \delta^{\prime}(B)\frac{\vev{ O_1^B }}{M_Z} \Bigr],

448: \end{eqnarray}

449: for $B_{a,b,\text{sum},\text{max}}$, where $\vev{ O_1^B } \equiv M_Z\vev{B}$ is the matrix element of the appropriate quantity in Eqs.~(\ref{BaBb},\ref{Bsum}). Nonperturbative effects in the jet broadening measures are not related to the jet energy or thrust.

450: 

451: In this paper, we have assumed that the nonperturbative physics is completely described by ultrasoft degrees of freedom. It is possible that some of the subtleties associated with nonperturbative corrections to the jet broadening variables that have been discussed in the literature \cite{DokMarSal} can be attributed to nonperturbative effects in the collinear sector, which we have not included.

452: 

453: \subsection{$C$ Parameter}

454: 

455: The $C$ parameter is defined as

456: \begin{eqnarray}

457: C &=& 3 \left( \lambda_1 \lambda_2 + \lambda_2 \lambda_3 + \lambda_3 \lambda_1 \right),

458: \label{3.19}

459: \end{eqnarray}

460: where $\lambda_i$ are the eigenvalues of

461: \begin{eqnarray}

462: \theta^{rs} &=& {1 \over M_Z} \sum_i {\mathbf{p}_i^r \mathbf{p}_i^s \over \abs{\mathbf{p}_i}},

463: \label{3.20}

464: \end{eqnarray}

465: and $r,s=1,2,3$ are the space components of the momentum $\mathbf{p}_i$ of the $i^{\text{th}}$ particle. 

466: 

467: The largest component of $\theta^{rs}$ is $\theta^{zz}$. The quark and antiquark in the jets have $z$-momentum $p_q^z=-{p}_{\bar q}^z = M_Z/2$ to the order we are working. Then, to linear order in $k_u/M_Z$, the eigenvalues of $\theta^{rs}$ are given by:

468: \begin{eqnarray}

469: \label{determinant}

470: \det(\theta-\lambda I) = (1-\lambda) \, {\rm det} (X - \lambda I),

471: \end{eqnarray}

472: where $I$ is the identity matrix and 

473: \begin{subequations}

474: \begin{align}

475: X_{11}&=\sum_\alpha\frac{k_\alpha^{x2}}{M_Z\abs{\vect{k}_\alpha}},\\

476: X_{22}&=\sum_\alpha\frac{k_\alpha^{y2}}{M_Z\abs{\vect{k}_\alpha}},\\

477: X_{12} = X_{21} &= \sum_\alpha\frac{k_\alpha^x k_\alpha^y}{M_Z\abs{\vect{k}_\alpha}}.

478: \end{align}

479: \end{subequations}

480: Here the sums over $\alpha$ are only over ultrasoft particles. (The contributions from the quark and antiquark to these components of $\theta^{rs}$ are suppressed by another factor of $1/M_Z$, since $\abs{\vect{p}_q}=\abs{\vect{p}_{\bar q}} = M_Z/2$.)

481: 

482: The largest eigenvalue is $\lambda_1 = 1$, and the other two eigenvalues satisfy

483: \begin{equation}

484: \lambda_2 + \lambda_3 = \frac{1}{M_Z}\sum_\alpha\frac{(k_\alpha^{x})^2 + (k_\alpha^{y})^2}{\abs{\vect{k}_\alpha}}.

485: \end{equation}

486: Thus,

487: \begin{equation}

488: C = \frac{3}{M_Z}  \sum_{\alpha}  { \abs{\mathbf{k}_{\alpha \perp} }^2 \over

489: \abs{\mathbf{k}_{\alpha} } }.

490: \label{3.21}

491: \end{equation}

492: The $C$ distribution is then:

493: \begin{eqnarray}

494: {{\rm d} \Gamma \over {\rm d}C} &=&  \Gamma^{(0)}_{\text{2-jet}} \left[\delta(C) -\delta^{\prime}(C)

495: \frac{\vev{O_1^C}}{M_Z}\right],

496: \end{eqnarray}

497: where $\vev{O_1^C} \equiv M_Z\vev{C}$ defined in Eq.~(\ref{3.21}). Like jet broadening, the $C$ parameter distribution is not local on the ultrasoft fields, and the nonperturbative correction is not related to that for any of the above distributions.

498: 

499: \subsection{Energy-Energy Correlation and Jet-Cone Energy Fraction}

500: 

501: The angular correlations of radiated energy can be characterized by the one-point and two-point correlations~\cite{BBEL},

502: \begin{subequations}

503: \begin{align}

504: { {\rm d} \Sigma \over {\rm d} \Omega} &= \int {\rm d}\Gamma \sum_i {E_i \over M_Z} \delta\left(\Omega-\Omega_i\right) ,\\

505: { {\rm d} ^2 \Sigma \over {\rm d} \Omega{\rm d} \Omega^\prime} &= \int {\rm d}\Gamma \sum_{i,j} {E_iE_j \over M_Z^2} \delta\left(\Omega-\Omega_i\right) \delta\left(\Omega'-\Omega_j\right),

506: \label{5.01}

507: \end{align}

508: \end{subequations}

509: where the sum is over all particles, and includes the terms with $i=j$. They are normalized so that

510: \begin{subequations}

511: \begin{align}

512: \int {\rm d}\Omega { {\rm d} \Sigma \over {\rm d} \Omega} &=\Gamma , \\

513: \int {\rm d}\Omega^\prime { {\rm d} ^2 \Sigma \over {\rm d} \Omega{\rm d} \Omega^\prime} &= { {\rm d} \Sigma \over {\rm d} \Omega}.

514: \end{align}

515: \end{subequations}

516: 

517: The energy-energy correlation function $P(\cos \chi)$ is defined by

518: \begin{eqnarray}

519: P(\cos \chi) &=& \int {\rm d}\Omega^\prime {\rm d}\Omega{ {\rm d} ^2 \Sigma \over {\rm d} \Omega{\rm d} \Omega^\prime} \delta(\cos \chi - \cos \theta_{\Omega\Omega^\prime}),

520: \end{eqnarray}

521: where $\theta_{\Omega\Omega^\prime}$ is the angle between vectors in the $\Omega$ and $\Omega^\prime$ directions.

522: 

523: The angular energy correlations Eq.~(\ref{5.01}) were defined in Ref.~\cite{BBEL} for $e^+e^-$ annihilation, and the solid angle was defined with respect to the beam direction. For unpolarized $Z$ decay, there is no preferred direction, so ${\rm d}\Sigma/{\rm d}\Omega$ is a constant, and ${\rm d}^2\Sigma/{\rm d}\Omega{\rm d}\Omega^\prime$ contains the same information as the energy-energy correlation function $P(\cos\chi)$. One can, however, define distributions analogous to Eq.~(\ref{5.01}) where the solid angle is measured with respect to the thrust axis $\mathbf{\hat t}$. The one-point function is called the jet cone energy fraction $J$.

524: 

525: The energy-energy correlation and the jet cone energy fraction both are proportional to $\delta$ functions if one considers the leading order process of $Z$ decay into a quark-antiquark pair:

526: \begin{equation}

527: \begin{split}

528: P(\cos \chi) &= J(\cos \chi) \\

529: &= \frac12\Gamma_0\bigl[ \delta\left(\cos \chi - 1 \right)+ \delta\left(\cos \chi + 1 \right) \bigr].

530: \end{split}

531: \end{equation}

532: Ultrasoft emission (in two-jet events) changes the distribution in two ways: (a) by changing the energy or (b) by changing the solid angle of the emitted particles. At order $k_u/M_Z$, the change in energy can be neglected, because it does not shift the angles of the partons; thus there is no contribution proportional to $\delta^\prime(\cos \chi\pm1)$, as for variables such as thrust. The angle between the quark and antiquark is [compare Eq.~(\ref{thetaqbar})]:

533: \begin{equation}

534: \cos \theta_{q \bar q} = -1 + 2 {\mathbf{k}_\perp^2 \over M_Z^2},

535: \end{equation}

536: and the angle of the quark or antiquark with respect to the thrust axis is [compare Eq.~(\ref{thetat})]:

537: \begin{equation}

538: \cos \theta_{q \mathbf{\hat t}} = -\cos \theta_{\bar q \mathbf{\hat t}} = 1 -  {\mathbf{k}_\perp^2 \over2 M_Z^2},

539: \end{equation}

540: where $\mathbf{k}_\perp$ is the total $\perp$ momentum of the ultrasoft particles. The shift in angle is second order in $k_u/M_Z$, and so to first order, there is no enhanced contribution near $\cos \chi = \pm 1$. There are nonperturbative contributions at second order.

541: 

542: \subsection{Classes of Observables}

543: 

544: The different observables we have discussed can be divided into classes, based on the extent to which their nonperturbative corrections are inclusive on the ultrasoft degrees of freedom. 

545: 

546: A class I observable is the jet energy distribution. The nonperturbative correction to the jet energy depends on $\vev{k_u^+}$, where $k_u$ is the total ultrasoft momentum, so the jet energy distribution is totally inclusive on the ultrasoft fields. The derivation of nonperturbative corrections to the two jet energy distribution is not quite on the same footing as the derivation of nonperturbative corrections to the $B$ meson semileptonic decay rate, because of the additional assumption about the equivalence of sums over partonic and hadronic states discussed after Eq.~(\ref{main}).

547: 

548: Class II observables are thrust and the jet masses $M^2_{S,H}$. The nonperturbative corrections to these variables require the ultrasoft momentum to be broken up into two parts, $k_u=k_u^{(a)}+k_u^{(b)}$, corresponding to the contributions from ultrasoft partons in the two hemispheres. The hemispheres are chosen based on the jet directions, i.e., based on the collinear degrees of freedom. The momentum in each hemisphere can then be defined by integrating the ultrasoft energy-momentum tensor over the hemisphere at infinity \cite{KS99,infinity1,infinity2,infinity3,infinity4}. The class II  variables are not totally inclusive on the ultrasoft variables, but require them to be divided globally into two parts. Whether our derivation of the nonperturbative corrections for class II observables (e.g., the relation between jet mass and thrust distributions) is valid  depends on the nature of hadronization in QCD. The ultrasoft fields end up inside final state hadrons. The final hadron can contain ultrasoft partons from different hemispheres, so the hadronic energy flow in each hemisphere does not have to equal the parton energy flow in each hemisphere. If the hadronic and partonic  energy flows differ by order unity,  the derivation of nonperturbative effects in class II  observables is invalid. If, for a smearing region of size $\Delta$ the mixing of ultrasoft momenta between the two hemispheres during hadronization is an effect of order $\lqcd/\Delta$, then its impact on class II observables is the same size as $k_u^2$ effects, which are one higher order than the terms we have computed.

549: 

550: Class III observables are the jet broadening measures $B_{a,b,\text{sum},\text{max}}$ and the $C$ parameter. These depend on knowing the individual ultrasoft momenta of each parton. This appears to be a notion that cannot be made rigorous in field theory.

551: 

552: \subsection{Model-Dependent Relations Among Event Shape Variables}

553: \label{ssec:comparison}

554: 

555: Nonperturbative corrections to event shape distributions have been considered extensively in the literature in the past.  For example, in the work of Ref.~\cite{KS99}, nonperturbative shape functions were derived for thrust and jet mass distributions.  The enhanced nonperturbative corrections to these distributions are given by first moments of these shape functions, and the results in sections \ref{ssec:thrust} and \ref{ssec:jmass} are in agreement with Ref.~\cite{KS99}.

556: 

557: The derivations of the enhanced non-perturbative corrections in this section have only relied on the fact that they arise from matrix elements of ultrasoft operators. It is insightful to understand what further conditions have to be imposed to reproduce other proposed relations amongst nonperturbative parameters for event shape distributions~\cite{DokWeb95,KT00,Doktalk,CataniWebber}. 

558: 

559: As an example, consider the $C$ parameter, for which the nonperturbative matrix element was defined as

560: \begin{eqnarray}

561: \langle O_1^C \rangle = 3 \left \langle \sum_\alpha \frac{|{\bf k}_{\alpha\perp}|^2}{|{\bf k}_\alpha|} \right \rangle .

562: \end{eqnarray}

563: For on-shell soft gluons collinear to the antiquark or quark jet (i.e., in hemisphere $a$ or $b$, respectively), $k^{(a)+} \ll k^{(a)-}$ and $k^{(b)-} \ll k^{(b)+}$. This implies that

564: \begin{equation}

565: \begin{split}

566: \left \langle \sum_\alpha \frac{|{\bf k}_{\alpha\perp}|^2}{|{\bf k}_\alpha|} \right \rangle_{\rm coll} 

567: &=

568: 2 \left\langle \sum_\alpha \frac{|k_\alpha^+\, k_\alpha^-|}{|k_\alpha^+ + k_\alpha^-|} \right\rangle\\

569: &=

570:  2 \left\langle \sum_\alpha |k^{(a)+}_\alpha| + \sum_\beta |k^{(b)-}_\beta| \right \rangle\\

571: &=

572: 2 \left\langle k_u^{(a)}+k_u^{(b)-}\right\rangle.

573: \end{split}

574: \end{equation}

575: This leads to

576: \begin{eqnarray}

577: \langle O_1^C \rangle_{\rm coll} = 6 \, \langle O_1^T \rangle .

578: \end{eqnarray}

579: 

580: To take into account that ultrasoft gluons can also be radiated at a finite angle, one can impose the condition that the matrix elements of $O_1^C$ and $O_1^T$ are given by the one-gluon contribution in perturbation theory, performing the angular integrals in the phase space at a fixed value of $\abs{\vect{k}_\perp}$. Under this assumption, the matrix element of $O_1^C$ is given by:

581: \begin{equation}

582: \begin{split}

583: \left \langle \frac{|{\bf k}_{\alpha\perp}|^2}{|{\bf k}_\alpha|} \right \rangle _{\rm 1-gluon}

584: &=

585: 2\left\langle \int_0^{\frac{\pi}{2}} \!\!{\rm d}\theta\sin\theta\frac{\abs{\bf k_\perp}^2}{(\abs{\bf k_\perp}/\sin\theta)}\frac{1}{\sin^2\theta}\right\rangle\\

586: &=

587: \pi \langle \abs{\bf k_\perp} \rangle, 

588: \end{split}

589: \end{equation}

590: where the factors of $\sin\theta$ from the phase space, from the relation $\abs{\vect{k}_\perp} = \abs{\vect{k}}\sin\theta$, and from the squared amplitude for one gluon emission have all canceled out to give the final result.

591: For the matrix element of $O_1^T$, we calculate:

592: \begin{equation}

593: \begin{split}

594: \left \langle k^{(a)+} + k^{(b)-} \right \rangle_{\rm 1-gluon} 

595: &=

596: 2\left\langle \int_0^{\frac{\pi}{2}}\!\!{\rm d}\theta\sin\theta\frac{\abs{\bf k} (1-\cos\theta)}{\sin^2\theta} \right\rangle \\

597: &=

598: 2\left\langle \int_0^{\frac{\pi}{2}}\!\!{\rm d}\theta\frac{\abs{\bf k_\perp} (1-\cos\theta)}{\sin^2\theta} \right\rangle \\

599: &= 2\langle \abs{\bf k_\perp} \rangle.

600: \end{split}

601: \end{equation}

602: This leads to the result

603: \begin{eqnarray}

604: \label{3pi/2}

605: \langle O_1^C \rangle_{\rm 1-gluon} = \frac{3 \pi}{2} \langle O_1^T \rangle_{\rm 1-gluon} .

606: \end{eqnarray}

607: Given the assumptions that have to be made to obtain Eq.~(\ref{3pi/2}) (or analogous relations based on higher orders in perturbation theory), it does not seem likely to us that there is a simple analytic nonperturbative relation  between $\vev{O_1^C}$ and $\vev{O_1^T}$.

608: 

609: 

610: \subsection{Comparison with the Data}

611: 

612: Predictions for event shape variables have been compared with  experimental data in Refs.~\cite{compare,expdata1}. Nonperturbative corrections have been included using the ansatz that their effect on distributions for shape variables is described by shifting the variable by $c_f \mu_{\text{np}}/E_{{\rm cm}}$ in the perturbative formula for the distribution:

613: \begin{equation}

614: \der{\Gamma}{f}(f) \rightarrow \der{\Gamma}{f}\Bigl(f - \frac{c_f\mu_{\text{np}}}{E_{\text{cm}}}\Bigr).

615: \end{equation}

616: Here $c_f$ is a constant that depends on the kinematic variable $f$,  $\mu_{\text{np}}$ is a universal nonperturbative parameter, and $E_{{\rm cm}}$ is the center-of-mass energy. An analysis in perturbation theory (similar to what was done in section  \ref{ssec:comparison}) provides simple relations between the $c$'s for some of the event shape variables. We have found that, provided one is not in a  kinematic region that is  extremely close to the partonic endpoint (i.e., the shape function region), $c$ for $1-T$ and $M_S^2$ are the same. However, we argued that $c$ for other parameters like the heavy jet mass and $C$ are not connected to $c$ for thrust. Some experimental evidence for this can be found in the analysis of Ref.~\cite{compare}. For $1-T$ and the jet mass sum\footnote{Ref.~\cite{compare} advocates the use of a modified $E$-scheme jet mass to reduce sensitivity to hadronic masses.} a simultaneous fit for $\alpha_s$ and $\mu_{\text{np}}$ under the assumption that $c$ takes on its conjectured values (see Fig.~\ref{delphi}) yields values of $\mu_{\text{np}}$ that are close to each other, and values of $\alpha_s$ that are consistent with other extractions of the strong coupling. However, Ref.~\cite{compare} finds that $\mu_{\text{np}}$ for the heavy jet mass, $C$ parameter, and jet broadenings are not related to $\mu_{\text{np}}$ for thrust in the way that the analysis based on perturbation theory suggests, and, furthermore, a fit to these variables does not yield a value of $\alpha_s$ that is consistent with other extractions.

617: \begin{figure}

618: \begin{center}

619: \includegraphics[width=11cm]{shape_correlation}

620: \end{center}

621: \caption[Experimental fit for model of power corrections to event shape variables.]{Experimental fit for model of nonperturbative power corrections to event shape variables. The DELPHI collaboration \cite{compare} tested the Dokshitzer-Webber model for nonperturbative power corrections to event shape variables in $e^+e^-$-annihilation, fitting to the two model parameters $\alpha_0$ and $\alpha_S(M_Z)$. The data suggest a fairly poor fit for most variables, except for the thrust and jet mass sum, which are most nearly consistent with each other while also agreeing with independent extractions of $\alpha_s(M_Z)$. These findings are consitent with the theoretical predictions in Sec.~\ref{sec:other}.}

622:  \label{delphi}

623: \end{figure}

624: 

625: 

626: \section{Perturbative corrections to $d \Gamma/dE_J$ \label{sec:pert}}

627: 

628: Neglecting  order $\alpha_s$ corrections to the nonperturbative effects proportional to $O_1$, perturbative corrections to ${\rm d}\Gamma_{\text{2-jet}}/{\rm d}E_J$ in Eq.~(\ref{main}) can be calculated in full QCD using standard methods. In this section we first review the computation of perturbative $\mathcal{O}(\alpha_s)$ corrections to the total two-jet rate $\Gamma_{\text{2-jet}}$ and then compute the jet energy distribution ${\rm d}\Gamma_{\text{2-jet}}/{\rm d}E_J$ at order $\alpha_s$. We work in $d=4-\epsilon$ dimensions to regulate infrared, collinear and ultraviolet divergences that occur in contributions to the differential decay rate. The jets are defined using the Sterman-Weinberg criteria which involve  an energy cut $\beta M_Z$ and a cone half-angle $\delta$. Corrections suppressed by $\alpha_s \beta $ and $\alpha_s \delta$ are neglected.

629: 

630: \subsection{Two Jet Decay Rate \label{ssec:2jet}}

631: 

632: Using the Sterman-Weinberg definition of jets, there are three contributions to the two-jet rate at $\mathcal{O}(\alpha_s)$:

633: \begin{enumerate}

634: \item[(a)] One quark and one antiquark each creating a jet;

635: \item[(b)] One quark and one antiquark each creating a jet, plus a gluon with energy $E_g<\beta M_Z$;

636: \item[(c)] One quark and one antiquark each creating a jet, plus a gluon with energy $E_g>\beta M_Z$ inside one of the jets (within an angle $\delta$ of the quark or antiquark).

637: \end{enumerate}

638: 

639: Contribution (a) is simply the rate $\Gamma(Z\rightarrow q\bar q)$. The tree and virtual gluon graphs give the amplitude:

640: \begin{eqnarray}

641: \label{ampA}

642: \mathcal{M}_{Z\rightarrow q\bar q} = \epsilon_\mu(p_Z)\bar u^a(p_q)\Gamma^\mu v_a(p_{\bar q})\left(1 + \frac{\alpha_s C_F}{2\pi}X\right),

643: \end{eqnarray}

644: where the color index $a$ is summed over values $a=1,\dots,N_C$, and $C_F$ is the Casimir of the fundamental representation. Explicit computation of the one-loop vertex correction gives,

645: \begin{equation}

646: \label{X}

647: X = -\frac{4}{\epsilon^2} - \frac{3}{\epsilon} + \frac{2}{\epsilon}\ln\left(\frac{-2p_q\cdot p_{\bar q}}{\mu^2}\right) - 4 + \frac{\pi^2}{12} - \frac{1}{2}\ln^2\left(\frac{-2p_q\cdot p_{\bar q}}{\mu^2}\right) + \frac{3}{2}\ln\left(\frac{-2p_q\cdot p_{\bar q}}{\mu^2}\right).

648: \end{equation}

649: Integrating the square of the amplitude over the $d$ dimensional two body phase space gives:

650: \begin{equation}

651: \label{Zqq}

652: \begin{split}

653: \Gamma_{Z\rightarrow q\bar q} &= \frac{N_C}{32\pi^2}(g_V^2+g_A^2)\left[M_Z^{1-\epsilon}(4\pi)^\epsilon\frac{2-\epsilon}{3-\epsilon}\Omega_{3-\epsilon}\right] \\

654: &\times\Biggl[1 + \frac{\alpha_s C_F}{\pi}\biggl(-\frac{4}{\epsilon^2} - \frac{3}{\epsilon} + \frac{2}{\epsilon}\ln\frac{M_Z^2}{\mu^2} - 4 + \frac{7\pi^2}{12}  - \frac{1}{2}\ln^2\frac{M_Z^2}{\mu^2} + \frac{3}{2}\ln\frac{M_Z^2}{\mu^2}\biggr)\Biggr],

655: \end{split}

656: \end{equation}

657: where $\Omega_{d}$ is the total solid angle in $d$ dimensions. The $1/\epsilon$ poles will cancel out against divergences from the real gluon emission graphs. We do not need to expand the bracketed prefactor in Eq.~(\ref{Zqq}) in powers of $\epsilon$ because the identical factor will appear in the real gluon graphs.

658: 

659: 

660: Contributions (b) and (c) come from integrating the square of the amplitude for real gluon emission, $Z\rightarrow q\bar q g$, over the three-body phase space in $d$ dimensions. We find for the terms that do not vanish as $\beta$ and $\delta$ go to zero,

661: \begin{eqnarray}

662: \Gamma_{Z\rightarrow q\bar q g}^{(b)} = \frac{g_s^2 M_Z^{1-\epsilon}N_C C_F}{256\pi^5}(2\pi)^{2\epsilon}\Bigl(\frac{\mu}{M_Z}\Bigr)^\epsilon\Omega_{2-\epsilon}\Omega_{3-\epsilon}(g_V^2 + g_A^2)

663: \Bigl(-\frac{1}{\epsilon}\Bigr)\frac{\Gamma(-\frac{\epsilon}{2})^2}{\Gamma(-\epsilon)}\beta^{-\epsilon},

664: \end{eqnarray}

665: and

666: \begin{equation}

667: \begin{split}

668: \Gamma^{(c)}_{Z\rightarrow q\bar q g} &= \frac{g_s^2 M_Z^{1-\epsilon}N_C C_F}{256\pi^5}(4\pi)^{2\epsilon}\Bigl(\frac{\mu}{M_Z}\Bigr)^\epsilon\Omega_{2-\epsilon}\Omega_{3-\epsilon}\frac{2-\epsilon}{3-\epsilon}(g_V^2+g_A^2)\frac{(2\delta )^{-\epsilon}}{-\epsilon} \\

669: &\qquad\times\biggl[\frac{4}{\epsilon}(2\beta)^{-\epsilon} + 2\biggl(1+\frac{3\epsilon}{4}+\frac{13\epsilon^2}{8}\biggr)\frac{\Gamma(-\epsilon)^2}{\Gamma(-2\epsilon)}\biggr].

670: \end{split}

671: \end{equation}

672: Adding together contributions (b) and (c), expanding in powers of $\epsilon$ and converting to the $\overline{\text{MS}}$ scheme yields for the total rate for $Z\rightarrow q\bar q g$ in the two-jet region

673: \begin{equation}

674: \begin{split}

675: \label{Zqqg}

676: \Gamma_{Z\rightarrow q\bar q g} &= \frac{N_C C_F\alpha_s}{32\pi^3}(g_V^2+g_A^2)\left[M_Z^{1-\epsilon}(4\pi)^\epsilon\frac{2-\epsilon}{3-\epsilon}\Omega_{3-\epsilon}\right] \\

677: &\quad\times\biggl(\frac{4}{\epsilon^2} + \frac{3}{\epsilon} - \frac{2}{\epsilon}\ln\frac{M_Z^2}{\mu^2}  - \frac{3}{2}\ln\frac{M_Z^2}{\mu^2} + \frac{1}{2}\ln^2\frac{M_Z^2}{\mu^2} \\

678: &\qquad\quad - 4\ln 2\beta\ln\delta - 3\ln \delta + \frac{13}{2} - \frac{11\pi^2}{12}\biggr).

679: \end{split}

680: \end{equation}

681: Finally, we  add together the rates $\Gamma_{Z\rightarrow q\bar q}$ and $\Gamma_{Z\rightarrow q\bar q g}$ from Eqs.~(\ref{Zqq}) and (\ref{Zqqg}). The $\epsilon$-dependent prefactors in brackets in the two equations are identical, as promised. The $1/\epsilon$-poles in the remainder of the expressions cancel out exactly (as do all the logarithms of $M_Z/\mu$), so we can set $\epsilon=0$ in the remaining finite parts, leaving

682: \begin{eqnarray}

683: \label{SW}

684: \Gamma_{\text{2-jet}} = \frac{N_C M_Z}{12\pi}(g_V^2+g_A^2)\Biggl[1

685: + \frac{\alpha_s C_F}{\pi}\biggl(\frac{5}{2} - \frac{\pi^2}{3}- 3\ln\delta - 4\ln 2\beta\ln\delta \biggr)\Biggr],

686: \end{eqnarray}

687: which agrees with Sterman and Weinberg's original result~\cite{SW}.

688: 

689: \subsection{Differential Decay Rate \protect{${\rm d}\Gamma_{\text{2-jet}}/{\rm d} E_J$} \label{ssec:diff}}

690: 

691: We now turn our attention to the differential decay rate ${\rm d}\Gamma_{\text{2-jet}}/{\rm d} E_J$. The contribution of $\Gamma_{Z\rightarrow q\bar q}$ to this rate is simply

692: \begin{equation}

693: \frac{{\rm d}\Gamma_{Z\rightarrow q\bar q}}{{\rm d}E_J} = \Gamma_{Z\rightarrow q\bar q}\ \delta\left(E_J-\frac{M_Z}{2}\right),

694: \end{equation}

695: where $\Gamma_{Z\rightarrow q\bar q}$ is the total rate for $Z\rightarrow q\bar q$ calculated to $\mathcal{O}(\alpha_s)$, which is given by Eq.~(\ref{Zqq}).

696: 

697: For the contribution of real gluon emission processes, we write the three-body phase space for this rate:

698: \begin{equation}

699: \begin{split}

700: \frac{{\rm d}\Gamma_{\text{2-jet}}}{{\rm d}E_J} &= \frac{1}{16M_Z}\frac{1}{(2\pi)^{2d-3}}\Omega_{d-2}\Omega_{d-1}{\rm d}E_1 E_1^{d-4} {\rm d}E_2 E_2^{d-4} {\rm d}\cos\theta\sin^{d-4}\theta \\

701: &\quad\times\delta\biggl[\frac{M_Z^2-2M_Z(E_1+E_2)}{2E_1 E_2} + 1-\cos\theta\biggr]\delta(E_J - \cdots)|\mathcal{M}|^2,

702: \end{split}

703: \label{3body}

704: \end{equation}

705: where the $\delta(E_J - \cdots)$ defines $E_J$ according to which partons actually go inside the jet. It is useful to split up the phase space slightly differently than for the case of the total rate:

706: \begin{enumerate}

707: \item[(a)] Gluon with energy $E_g>\beta M_Z$ inside unobserved jet;

708: \item[(b)] Gluon with any energy inside observed jet;

709: \item[(c)] Gluon with energy $E_g<\beta M_Z$ outside observed jet.

710: \end{enumerate}

711: These three regions exhaust the possible gluon energies and locations with respect to the jets. It is convenient to introduce the variable

712: \begin{equation}

713: e_J= {M_Z \over 2}-E_J

714: \end{equation}

715: and focus on a region of $e_J$ near the origin with size of order $\beta M_Z$.

716: 

717: For case (a), where a gluon with $E_g>\beta M_Z$ is inside the unobserved jet, take $E_1 = E_g$, $E_2 = E_{\bar q}$, so $\theta$ is the angle between the gluon and antiquark, and $E_J=E_q$. Integrating over $\theta$ and $E_{\bar q}$ using the delta functions leaves an integral over $E_g$ running between the limits

718: \begin{equation}

719: E_g^\pm = \frac{M_Z}{4}\biggl(1\pm\sqrt{1-\frac{8e_J}{M_Z\delta^2}}\biggr),

720: \end{equation}

721: and restricts $e_J$ to lie between

722: \begin{equation}

723: \delta^2\beta M_Z<e_J<\frac{M_Z\delta^2}{8}.

724: \end{equation}

725: 

726: Similarly, for case (b), where a gluon with any energy lies inside the observed jet, $E_1 = E_q$, $E_2 = E_g$, and $E_J=E_g +E_q$. Integrate over $\theta$ and $E_q$ using the delta functions. Then the limits of the $E_g$ integral are

727: \begin{equation}

728: E_g^\pm = \frac{M_Z}{4}\biggl(1\pm\sqrt{1+\frac{8e_J}{M_Z\delta^2}}\biggr),

729: \end{equation}

730: and $e_J$ is restricted to the region

731: \begin{equation}

732: -\frac{M_Z\delta^2}{8}<e_J<0.

733: \end{equation}

734: 

735: Before we proceed to case (c), note that the physical observable we actually want to calculate is the smeared distribution

736: \begin{equation}

737: \frac{{\rm d}\Gamma}{{\rm d}E_J}\biggr|_{\Delta} = \int {\rm d}E_J w_\Delta(E_J)\frac{{\rm d}\Gamma}{{\rm d}E_J},

738: \end{equation}

739: where $w_\Delta$ is a smooth function which smears the differential rate over a region of jet energy whose size is of order $\beta M_Z$. But the contributions to the rate from cases (a) and (b) have support only over a region of size $\delta^2 M_Z\ll \beta M_Z$ near $e_J = 0$. Consider smearing ${{\rm d}\Gamma}/{{\rm d}E_J}$, or equivalently ${{\rm d}\Gamma}/{{\rm d}e_J}$, over a region near $E_J = M_Z/2$ ($e_J=0$) of size of order $\beta M_Z$. Then $w(0)\sim 1/\beta M_Z$, $w'(0)\sim 1/(\beta M_Z)^2$, etc.\ Expanding,

740: \begin{equation}

741: \int {\rm d}e_J w(e_J)\frac{{\rm d}\Gamma}{{\rm d}e_J} = \int {\rm d}e_J[w(0)+w'(0)e_J+\cdots]\frac{{\rm d}\Gamma}{{\rm d}e_J}.

742: \end{equation}

743: Since $w'(0)/w(0)\sim 1/\beta M_Z$, and, for the contributions in cases (a) and (b), $e_J \sim\delta^2 M_Z$ in the region where ${{\rm d}\Gamma}/{{\rm d}e_J}$ is nonzero, the second term is suppressed by a power of $\delta^2/\beta\ll 1$. Thus only the first term is relevant.\footnote{This argument assumes that the integral $\int {\rm {\rm d}}e_J\,e_J {\rm d}\Gamma/{\rm d}e_J$ is finite, which can easily be shown.} Keeping only the first term amounts to replacing the full ${{\rm d}\Gamma}/{{\rm d}e_J}$ by

744: \begin{equation}

745: \frac{{\rm d}\Gamma}{{\rm d}e_J}\rightarrow\delta (e_J)\int {\rm d}e_J^\prime \frac{{\rm d}\Gamma}{{\rm d}e_J^\prime}.

746: \end{equation}

747: However, integrating the contributions of (a) and (b) to ${{\rm d}\Gamma}/{{\rm d}e_J}$ over all allowed values of $e_J$ simply gives their contribution to the total Sterman-Weinberg jet rate, that is, they will build up part of the term $\Gamma_{Z\rightarrow q\bar q g}\delta(E_J-M_Z/2)$ in ${\rm d}\Gamma_{\text{2-jet}}/{\rm d}E_J$. Since we have already calculated the total rate, we need not analyze cases (a) and (b) any further, as long as we can get the remaining contribution to the total rate from case (c).

748: 

749: In case (c) we have a gluon with $E_g<\beta M$ anywhere outside the observed jet. Here $E_1=E_q$, $E_2=E_g$, and  $E_J = E_q$. Writing out the formula for the rate explicitly,

750: \begin{equation}

751: \begin{split}

752: \frac{{\rm d}\Gamma^{(c)}}{{\rm d}E_J} &= \frac{1}{16M_Z}\frac{1}{(2\pi)^{2d-3}}\Omega_{d-2}\Omega_{d-1}\theta(e_J)\theta[\beta M_Z(1-\delta^2)-e_J] \\

753: &\quad\times 

754: \int_{e_J (1+\delta^2)}^{\beta M_Z}\!\!{\rm d}E_g\,E_g^{d-4}E_q^{d-4}\sin^{d-4}\theta|\mathcal{M}^{(c)}_{Z\rightarrow q\bar q g}|^2.

755: \end{split}

756: \end{equation}

757: The part of the amplitude that gives a contribution that survives as $\beta\rightarrow 0$  is

758: \begin{equation}

759: \label{ampB}

760: \abs{ \mathcal{M}^{(c)}_{Z\rightarrow q\bar q g} }^2 \!\! = 4N_C C_F g_s^2\mu^\epsilon\frac{d-2}{d-1}(g_V^2+g_A^2)\frac{M_Z^2 p_q\cdot p_{\bar q}}{(k\cdot p_q)(k\cdot p_{\bar q})}.

761: \end{equation}

762: Substituting  Eq.~(\ref{ampB}) into the phase space,

763: \begin{equation}

764: \label{plus}

765: \begin{split}

766: \frac{{\rm d}\Gamma^{(c)}}{{\rm d}E_J} &= \frac{M_Z g_s^2 N_C C_F}{256\pi^5}\Bigl(\frac{\mu}{M_Z}\Bigr)^\epsilon(2\pi)^{2\epsilon}\frac{d-2}{d-1}

767: \Omega_{d-2}\Omega_{d-1} \\

768: &\quad\times(g_V^2+g_A^2)e_J^{-1-\frac{\epsilon}{2}} \theta(e_J)\theta[\beta M_Z(1-\delta^2) - e_J]\ln\left[\frac{\beta M_Z - e_J}{e_J\delta^2}\right].

769: \end{split}

770: \end{equation}

771: The factor, $(1/e_J)\ln [(\beta M_Z - e_J)/(e_J\delta^2)]$,

772: is singular as $e_J\to 0$, and must be rewritten in terms of an integrable quantity. Use the ``plus distribution'':

773: \begin{equation}

774: \int_0^{\beta M_Z} \!\!\!\!{\rm d}e_J \,f(e_J)_+\ g(e_J) \equiv \int_0^{\beta M_Z} \!\!\!\!{\rm d}e_J\,f(e_J)[g(e_J)-g(0)],

775: \end{equation}

776: where $f$ diverges at $e_J=0$ and $g$ is a test function finite at $e_J =0$. To replace $f$ by $f_+$, we would write

777: \begin{equation}

778: \int_0^{\beta M_Z} \!\!\!\!{\rm d}e_J\,f(e_J)g(e_J) = \int_0^{\beta M_Z}\!\!\!\! {\rm d}e_J\,f(e_J)_+\ g(e_J)

779:  + g(0)\int_0^{\beta M_Z}\!\!\!\! {\rm d}e_J\,f(e_J).

780: \end{equation}

781: The second term amounts to replacing

782: \begin{equation}

783: f(e_J)\rightarrow \delta(e_J)\int {\rm d}e_J'\,f(e_J').

784: \end{equation}

785: But making this replacement in Eq. (\ref{plus}) means writing a delta function $\delta(E_J-M_Z/2)$ and integrating the differential rate over all allowed values of $e_J$, which again just gives its contribution to the total Sterman-Weinberg jet rate. Together with the contributions from (a) and (b) this gives the one loop contribution to $\delta(E_J-M_Z/2)\Gamma_{\rm 2-jet}$. Only the plus function piece gives a deviation of the jet energy distribution away from $E_J=M_Z/2$. The final result for the differential rate to $\mathcal{O}(\alpha_s)$ is:

786: \begin{equation}

787: \begin{split}

788: \frac{{\rm d}\Gamma_{\text{2-jet}}}{{\rm d}E_J} &= \delta\Bigl(E_J - \frac{M_Z}{2}\Bigr)\Gamma_{\text{2-jet}} \label{59}\\ 

789: &\quad+\frac{M_Z\alpha_s N_C C_F}{12\pi^2}(g_V^2+g_A^2) \theta(e_J)\theta(\beta M_Z-e_J)\biggl[\frac{1}{e_J}\ln \biggl(\frac{\beta M_Z - e_J}{e_J\delta^2}\biggr)\biggr]_+,

790: \end{split}

791: \end{equation}

792: where the total rate $\Gamma_{\text{2-jet}}$ is given by Eq.~(\ref{SW}).

793: 

794: 

795: \subsection{First Moment of the Jet Energy Distribution}

796: 

797: As an application of the above  result consider the first moment of the jet

798: energy distribution, defined by

799: \begin{equation}

800: M_1(f) =\int_{{M_Z \over 2}-f \beta M_Z}^{ { M_Z }} 

801: \hspace{-2em}{\rm d}

802: E_J \left( {1 \over\Gamma_{{\rm 2-jet}}} {{\rm d} \Gamma_{{\rm 2-jet}}\over

803: {\rm d} E_J}\right)\left( {1\over 2}-{E_J\over M_Z} \right),

804: \end{equation}

805: Using the expression in Eq.~(\ref{pert}) for the nonperturbative correction and in Eq.~(\ref{59}) for the order $\alpha_s$

806: perturbative correction to the jet energy distribution gives

807: \begin{equation}

808: M_1(f)={\alpha_s  C_F \beta  \over \pi}\left[f \log \left({1 \over f

809: \delta^2}\right)-(1-f)\log(1-f)\right] +\frac{\langle 0|O_1|0\rangle}{M_Z},

810: \end{equation}

811: for $f<1$ and

812: \begin{equation}

813: M_1(f)={\alpha_s C_F \beta  \over \pi}\log \left({1 \over

814: \delta^2}\right)+\frac{\langle 0|O_1|0\rangle}{M_Z},

815: \end{equation}

816: for $f>1$.

817: Note that the order $\alpha_s$ contribution to  $M_1(f)$ is independent of $f$ for $f>1$. This occurs because the perturbative correction vanishes for $E_J <M_Z/2-\beta M_Z$. 

818: 

819: In Fig.~\ref{momentfig}  we plot $M_1(f)$, for $f<1$. For this figure the value of the

820: energy cut is $\beta=0.15$ and the cone half-angle is $\delta=15^\circ$ and the vacuum expectation value of $O_1$ is set equal to $500~{\rm MeV}$. We evaluate $\alpha_s$ at the scale $\beta M_Z$ and find with

821: these parameters that the order $\alpha_s$ corrections reduce the two jet

822: rate by about $16\%$ from its tree level value lending support to the validity of perturbation theory for the values of the cone angle and energy cut used in Fig.~\ref{momentfig}.

823: 

824: \begin{figure}

825: \begin{center}

826: \includegraphics[width=12cm]{moment}

827: \end{center}

828: \vspace{-1.5cm}

829: \caption[First moment $M_1(f)$ of the jet energy distribution.]{First moment $M_1(f)$ of the jet energy distribution. The black solid curve shows the perturbative contributions only, while the red dashed line represents the moment including the nonperturbative contribution. The figure corresponds to $\beta=0.15$, $\delta=\pi/12$, $\langle 0|O_1|0\rangle = 0.5~{\rm GeV}$, and we have evaluated the strong coupling constant at the scale $\mu = \beta M_Z$.}

830: \label{momentfig}

831: \end{figure}

832: 

833: \subsection{Perturbative Corrections in the Effective Theory \label{ssec:match}}

834: 

835: Although we have used full QCD to calculate the jet energy distribution it is possible to do the computation in the effective theory. Here we briefly discuss how that computation would proceed.

836: 

837: The full theory amplitude for $Z\rightarrow q\bar q$ is reproduced in SCET by the Wilson coefficient in the current matching:

838: \begin{equation}

839: j_{\rm QCD}^\mu = [\bar\xi_{\bar n} W_{\bar n}]C(\mu,\widetilde p_q\cdot \widetilde p_{\bar q})\Gamma^\mu[W_n^\dag\xi_{ n}],

840: \end{equation}

841: where there is an implicit sum over label momenta  and the matching coefficient $C(\mu,\widetilde p_q\cdot \widetilde p_{\bar q})$ can be read off\footnote{The matching coefficient is just given by the finite part of the full theory matrix element $\langle q\bar q | j^\mu | 0\rangle$ because the full theory current has no anomalous dimension, so the $1/\epsilon$ poles are pure IR divergences, which must cancel out in the matching condition. The loop graphs in the effective theory contributing to this matrix element are zero in dimensional regularization, so the finite part of the matching coefficient is just the finite part of the QCD matrix element, given by Eqs.~(\ref{ampA}) and (\ref{X}), while the infinite parts become the UV counterterm in the effective theory~\cite{EFTnotes,EFT}.} from  Eqs.~(\ref{ampA}) and (\ref{X}):

842: \begin{equation}

843: C(\mu,\widetilde p_q\!\cdot\!\widetilde p_{\bar q}) = 1 + \frac{\alpha_s C_F}{2\pi}\!\Biggl[-4 + \frac{\pi^2}{12} - \frac{1}{2}\ln^2\!\left(\!\frac{-2\widetilde p_q\cdot \widetilde p_{\bar q}}{\mu^2}\!\right) + \frac{3}{2}\ln\left(\frac{-2\widetilde p_q\cdot \widetilde p_{\bar q}}{\mu^2}\right)\Biggr],

844: \end{equation}

845: and the UV renormalization factor for the current in the effective theory is

846: \begin{equation}

847: Z_V = 1 + \frac{\alpha_s C_F}{2\pi}\left[-\frac{4}{\epsilon^2} - \frac{3}{\epsilon} + \frac{2}{\epsilon}\ln\left(\frac{-2\widetilde p_q\cdot \widetilde p_{\bar q}}{\mu^2}\right)\right].

848: \end{equation}

849: Note that both the renormalization factor and the matching coefficient depend on the label momenta for the quark and antiquark.

850: For outgoing particles, the collinear Wilson lines are  defined as

851: \begin{equation}

852: W_n(z) = P\,\exp\biggl[ig\int_0^\infty ds\,\bar n\cdot A_n(\bar n s + z)\biggr],\end{equation}

853: and one  must include collinear gluons produced by a Wilson line in real gluon emission to get the correct $Z \rightarrow q \bar q g$ amplitude. We find that the perturbative expressions for the two jet rate presented in the previous sections are reproduced by the effective theory if we call any particles inside the observed quark jet $\bar n$-collinear particles and all other particles $ n$-collinear. In the effective theory, ultrasoft gluons in the final state contribute zero in perturbation theory and appear only in the nonperturbative shape function. A similar result holds for deep inelastic scattering~\cite{dis}.

854: 

855: 

856: 

857: 

858: \section{Concluding Remarks \label{sec:conc}}

859: We have studied nonperturbative effects in $Z$ decay to hadrons using soft-collinear effective theory (SCET). The jet energy distribution for two jet events has enhanced nonperturbative effects when the jet energy is near $M_Z/2$. These nonperturbative effects can be expressed in terms of the vacuum expectation value of operators involving Wilson lines. The Wilson lines arise from the coupling of ultrasoft gluons to collinear degrees of freedom in the jet. In Sec.~\ref{sec:pert} we derive the order $\alpha_s$ perturbative corrections to

860: the jet energy distribution and discuss the implications of perturbative and nonperturbative physics on the first moment of this distribution.

861: 

862: For a region of $|E_J-M_Z/2|$ that is of size $\Delta$, the leading nonperturbative corrections to the jet energy distribution are of order $\Lambda_{{\rm QCD}}/\Delta$ when $\Delta$ is large compared to $\Lambda_{{\rm QCD}}$.  In this region they can be characterized by the vacuum expectation value of a single operator involving ultrasoft fields which provides a contribution to the jet energy spectrum that is proportional to $\delta'(M_Z/2-E_J)$. For multijet events, a similar analysis holds; however,  an additional operator analogous to $O_1$ but involving adjoint Wilson lines occurs for a gluon jet~\cite{shape}.

863: 

864: When $\Delta \sim \Lambda_{{\rm QCD}}$, one is in the shape function region, and the functional dependence on $E_J$ is much more complicated. While we focused mostly on the kinematic region where $M_Z \gg \Delta \gg \Lambda_{{\rm QCD}}$, it was shown that in the shape function region, it is not possible to capture the effects of nonperturbative physics by introducing a single nonperturbative parameter $\mu_{np}$ and shifting $E_J \rightarrow E_J-\mu_{\rm np}$ in the perturbative formula for the jet energy distribution.

865: 

866: The jet energy distribution has the special property that it is totally inclusive in one of the jets, and hence expressions for nonperturbative effects can be derived using operator methods that are similar to those used for the endpoint region in inclusive semileptonic $B$ decay. Other event shape variables (e.g. thrust, jet mass, jet broadening) have nonperturbative effects that are enhanced in the partonic endpoint region. We discussed the extent to which these effects can be understood using field theoretic methods in QCD.

867: 

868: 

869: \setcounter{section}{0}

870: \renewcommand{\thesection}{\arabic{chapter}.\Alph{section}}

871: 

872: \section{Appendix: Properties of Wilson Lines}

873: 

874: In this section we derive some useful properties of the ultrasoft Wilson lines introduced in Eq.~(\ref{def2}).

875: 

876: \subsection{Relations Between Triplet and Anti-triplet Wilson Lines}

877: \label{A1}

878: 

879: Consider the time- and anti-time-ordering of the Wilson lines in the shape function $S$ defined in Eq.~(\ref{shapefunction}). For $Y_n$, the path ordering is the same as time ordering and so $T\left[Y_n\right]=Y_n$. Consider writing $Y_n$ as the product of $N$ infinitesimal integrals over path segments of length ${\rm ds}$,

880: \begin{equation}

881:  Y_{n a}~^b= \left({\rm e}^{ig A_N ds}\right)_a~^{b_{N-1}}\left({\rm e}^{ig A_{N-1} ds}\right)_{b_{N-1}}~^{b_{N-2}}\ldots \left({\rm e}^{ig A_{1} ds}\right)_{b_{1}}~^{b},

882: \end{equation}

883: with the subscripts on the ultrasoft gauge fields denoting their space-time location along the path of integration. Taking its adjoint

884: \begin{equation}

885: Y^{\dagger}_{n a}~^b=\left({\rm e}^{-ig A_{1} ds}\right)_a~^{b_{1}}\ldots \left({\rm e}^{-ig A_{N-1} ds}\right)_{b_{N-2}}~^{b_{N-1}} \left({\rm e}^{ig A_N ds}\right)_{b_{N-1}}~^{b}.

886: \end{equation}

887: Time ordering this expression,

888: \begin{equation}

889: \begin{split}

890: T\left [Y^{\dagger}_{n a}~^b \right]&= \left({\rm e}^{ig A_N ds}\right)_{b_{N-1}}~^{b}\left({\rm e}^{-ig A_{N-1} ds}\right)_{b_{N-2}}~^{b_{N-1}}\ldots \left({\rm e}^{-ig A_{1} ds}\right)_a~^{b_{1}} \\

891: &=\left({\rm e}^{-ig A^T_N ds}\right)^{b}~_{b_{N-1}}\left({\rm e}^{-ig A^T_{N-1} ds}\right)^{b_{N-1}}~_{b_{N-2}}\cdots

892: \left({\rm e}^{-ig A^T_{1} ds}\right)^{b_{1}}~_a={\overline Y_n}^b~_a,

893: \end{split}

894: \end{equation}

895: where the overline denotes an anti-triplet Wilson line. (Recall that the generators  in the ${\overline {\bf 3}}$ representation are minus the transpose of those in the ${\bf 3}$.) Similarly,

896: \begin{equation}

897:  {\bar T} \left[Y_{{ n} a}~^b \right]={\overline Y^{\dagger}_n}^b~_a,\qquad {\bar T}\left[Y^{\dagger}_{na}~^b\right]=Y^{\dagger}_{na}~^b.

898: \end{equation}

899: From these results, Eq.~(\ref{notimeorder}) follows.

900: 

901: \subsection{$O_1$ in Terms of the Gluon Field Strength}

902: \label{A2}

903: 

904: We can express the operator $O_1$ in terms of the gluon field strength tensor as written in Eq.~(\ref{fancy}).

905: It is convenient for this purpose to generalize the expression for the ultrasoft Wilson line to

906: \begin{equation}

907: Y_{\bar n}(z;b,a)=P \exp \left[ig\int_a^b {\rm d}s\ {\bar n}\cdot A(z+\bar ns)\right]

908: \end{equation}

909: so that with $a=0$ and $b=\infty$ we recover the standard Wilson line used above, $Y_{\bar n}(z)=Y_{\bar n}(z;0,\infty)$. 

910: Differentiating along the $n$ direction,

911: \begin{equation}

912: \begin{split}

913: \label{derivative}

914: n \cdot \partial\ Y_{\bar n}(z) &= ig\int_0^{\infty}{\rm ds}\ Y_{\bar n}(z;\infty,s) \left[n \cdot \partial_z \bar n\cdot

915:  A \right](z+{\bar n} s)Y_{\bar n}(z;s,0) \\

916: &=ig\int_0^{\infty}{\rm ds}\ Y_{\bar n}(z;\infty,s) \left[n \cdot \partial_z \bar n\cdot A-\bar n \cdot \partial _z n \cdot A+\bar n \cdot \partial _z n \cdot A \right](z+{\bar n} s) \\

917: &\qquad\qquad\times Y_{\bar n}(z;s,0) \\

918: &=ig\int_0^{\infty}{\rm ds}\ Y_{\bar n}(z;\infty,s) \left[n \cdot \partial_z \bar n\cdot A-\bar n \cdot \partial _z n \cdot A \right](z+{\bar n} s)Y_{\bar n}(z;s,0) \\

919: &\quad+ig\int_0^{\infty}{\rm ds}\ Y_{\bar n}(z;\infty,s) \left[{{\rm d} (n\cdot A)\over {\rm d}s}\right](z+{\bar n} s)Y_{\bar n}(z;s,0).

920: \end{split}

921: \end{equation}

922: Using the chain rule,

923: \begin{equation}

924: \begin{split}

925: \int_0^\infty {\rm d}s\ &{{\rm d} \over {\rm d}s} \left[Y_{\bar n}(z;\infty,s)\left[n\cdot A\right](z+{\bar n} s ) Y_{\bar n}(z;s,0)\right] \\

926: &= \int_0^{\infty}{\rm d}s\  \left[{{\rm d} \over {\rm d}s}Y_{\bar n}(z;\infty,s)\right]\left[n\cdot A\right](z+{\bar n} s ) Y_{\bar n}(z;s,0) \\

927: &\quad+\int_0^\infty {\rm d}s\  Y_{\bar n}(z;\infty,s)\left[{{\rm d} (n\cdot A)\over {\rm d}s}\right](z+{\bar n} s)Y_{\bar n}(z;s,0) \\ 

928: &\quad+ \int_0^\infty {\rm d}s\  Y_{\bar n}(z;\infty,s)  \left[n\cdot A \right](z+{\bar n} s )\left[{{\rm d} \over {\rm d}s}Y_{\bar n}(z;s,0)\right]\\

929: &=-ig\int_0^\infty{\rm d}s\ Y_{\bar n}(z;\infty,s)[{\bar n}\cdot A(z+\bar n s),n \cdot A(z+n s)]Y_{\bar n}(z;s,0) \\

930: &\quad+ \int_0^\infty {\rm d}s\  Y_{\bar n}(z;\infty,s)\left[{{\rm d} (n\cdot A)\over {\rm d}s}\right](z+{\bar n} s)Y_{\bar n}(z;s,0).

931: \end{split}

932: \end{equation}

933: Using the above equation to eliminate the last term in Eq.~(\ref{derivative}) yields,

934: \begin{equation}

935: n\cdot D\,Y_{\bar n}(z)=ig\int_0^\infty {\rm d}s\ Y_{\bar n}(z;\infty ,s)n^{\mu} {\bar n}^{\nu} G_{\mu \nu}(z+\bar n s) Y_{\bar n}(z;s,0),

936: \end{equation}

937: where

938: \begin{equation}

939: n\cdot D\,Y_{\bar n}(z)=n\cdot \partial\,Y_{\bar n}(z)-ig n \cdot A(\infty)Y_{\bar n}(z)+igY_{\bar n}(z)n \cdot A(z),

940: \end{equation}

941: and the gluon field strength tensor is defined by,

942: \begin{equation}

943: G_{\mu \nu}= \partial_{\mu} A_{\nu}-\partial_{\nu}A_{\mu}-ig[A_{\mu},A_{\nu}].

944: \end{equation}

945: Hence

946: \begin{equation}

947: %\label{fancy}

948: O_1={1 \over 2}{\rm Tr} [Y^{\dagger}_{\bar n}(in~ \cdot D)Y_{\bar n }]={1 \over 2}{\rm Tr}\left[ig\int_0^{\infty}{\rm d}s\ Y_{\bar n}^{\dagger}(z;s,0)n^{\mu}{\bar n}^{\nu}G_{\mu \nu} Y_{\bar n}(z;s,0)\right],

949: \end{equation}

950: which is Eq.~(\ref{fancy}).

951: 

952: 

953: \renewcommand{\thesection}{\arabic{chapter}.\arabic{section}}