1:   \documentclass[12pt]{article}

2: \usepackage{amsmath}

3: \usepackage{epsfig}

4: \usepackage{amssymb}

5: \input{epsf}

6: 

7: %-------------------------------------------------------------------

8: 

9: \textwidth 173mm

10: 

11: \textheight 215mm

12: \topmargin -10pt

13: %\topmargin -50pt

14: \oddsidemargin -0.5cm

15: \evensidemargin -0.5cm

16: %%%%%%%%%%%%%%%%%% Sections %%%%%%%%%%%%%%%%%%%%%%%

17: %\def \thesection {\arabic{section}}

18: %\def \thesubsection {\thesection.\arabic{subsection}}

19: %\def \thesubsubsection {\thesubsection.\arabic{subsubsection}}

20: %\def \sect #1 {\setcounter{equation} 0\section{#1}}

21: %%%%%%%%%%%%%%%%%% Equations %%%%%%%%%%%%%%%%%%%%%%

22: %\def \theequation {\thesection\arabic{equation}}   % This is (2.10)

23: \def \theequation {\arabic{equation}}             % This is (10)

24: %%%%%%%%%%%%%%%%%% Nicknames %%%%%%%%%%%%%%%%%%%%%%

25: \def \be  {\begin{equation}}

26: \def \ee  {\end{equation}}

27: \def \ba  {\begin{eqnarray}}

28: \def \ea  {\end{eqnarray}}

29: \def \baa {\begin{eqnarray*}}

30: \def \eaa {\end{eqnarray*}}

31: \def \bb  {\begin{thebibliography}}  

32: \def \eb  {\end{thebibliography}}

33: \def \cusp {{\rm cusp}}

34: \newcommand \ci [1] {\cite{#1}}

35: \newcommand \bi [1] {\bibitem{#1}}

36: %\def \lab #1 {\label{#1}              \mbox{\# {#1}}}

37: \def \lab #1 {\label{#1}}

38: \newcommand\re[1]{(\ref{#1})}

39: \def \qqquad {\qquad\quad}

40: \def \qqqquad {\qquad\qquad}

41: %%%%%%%%%%%%%%%%% Macros %%%%%%%%%%%%%%%%%%%%%%%%

42: \newcommand\lr[1]{{\left({#1}\right)}}

43: \def \Tr {\mbox{Tr\,}}

44: \def \tr {\mbox{tr\,}}

45: \newcommand \vev [1] {\langle{#1}\rangle}

46: \newcommand \VEV [1] {\left\langle{#1}\right\rangle}

47: \newcommand \ket [1] {|{#1}\rangle}

48: \newcommand \bra [1] {\langle {#1}|}

49: \def \e {\mbox{e}}

50: \def \CO {{\cal O}}

51: \def \CP {{\cal P}}

52: \def \CT {{\cal T}}

53: \def \CF {{\cal F}}

54: \def \W {\Sigma}

55: \def \PT {{\rm PT}}

56: \def \P {{\cal P}}

57: \def \pint {\int\hspace{-1.19em}\not\hspace{0.6em}}

58: 

59: \def \fracs #1#2 {\mbox{\small $\frac{#1}{#2}$}}

60: \newcommand \partder [1] {{\partial \over\partial #1}}

61: \def \bin #1#2 {{\left({#1}\atop{#2}\right)}}

62: %%%%%%%%%% QCD definitions %%%%%%%%%%%%%%%%%%%%%%%%

63: \def \as {\relax\ifmmode\alpha_s\else{$\alpha_s${ }}\fi}

64: \def \alpi {\frac \as \pi}

65: \def \al #1 {\frac {\as({#1})}{\pi} }

66: \def \ds #1 {\ooalign{$\hfil/\hfil$\crcr$#1$}}

67: \def \MS {\overline{\rm MS}}

68: \def \QCD {\mbox{{\tiny QCD}}}

69: \def \GeV {\mbox{GeV}}

70: 

71: 

72: \newcommand \eh {\hat{\eta}}

73: \newcommand \eo {{\eta}_0}

74: \newcommand \ej {{\eta}_{JJ}}

75: \newcommand \eu {{\eta}_1}

76: \newcommand \bit {}

77: \newcommand \eit {}

78: \newcommand \emi {{\eta}_{min}}

79: \newcommand \ema {{\eta}_{max}}

80: \newcommand \fmi {{\phi}_{min}}

81: \newcommand \fma {{\phi}_{max}}

82: 

83: %\newcommand \be {\begin{equation}}

84: %\newcommand \ee {\end{equation}}

85: %\newcommand \ba {\begin{array}}

86: %\newcommand \ea {\end{array}}

87: \newcommand \bea{\begin{eqnarray}}

88: \newcommand \eea{\end{eqnarray}}

89: \newcommand \ok {{\omega}_k}

90: \newcommand \ol {{\omega}_l}

91: \newcommand \sfi{\sin \phi}

92: \newcommand \cfi{\cos \phi}

93: \newcommand \qb {{\bar Q}}

94: \newcommand \cd {\cos \delta}

95: \newcommand \sd {\sin \delta}

96: \newcommand \ep {\epsilon}

97: \newcommand \vep {\varepsilon}

98: \newcommand \de {\Delta \eta}

99: \newcommand \xic {{\hat \xi}_c}

100: \newcommand \Ncol {{\mathcal{N}}_C}

101: \def \txc{\textcolor}

102: 

103: 

104: 

105: %\def \tomega {{\tilde \omega}}

106: \def \tomega {W}

107: \def \d {{\rm d}}

108: \def \bi {\bibitem}

109: \def \CO {{\cal O}}

110: \def \O {\Omega}

111: \def \o {\omega}

112: 

113: \def\hepph  #1 {{\tt hep-ph/#1}}

114: 

115: \def \txc {\textcolor}

116: \def \top {\vbox{\vskip 0.25 true in}}

117: \def \Top {\vbox{\vskip 0.5 true in}}

118: \def \pt {{\rm PT}}

119: 

120: \def \Jp {J/\psi}

121: 

122: 

123: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

124: %                                                %

125: %    BEGINNING OF TEXT                           %

126: %                                                %

127: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

128: \begin{document}

129: 

130: % \eqsec  % uncomment this line to get equations numbered by (sec.num)

131: 

132: \begin{flushright}

133: YITP-SB-05-26\\

134: Revised November 18, 2005

135: \end{flushright}

136: 

137: \vbox{\vskip .5 in}

138: 

139: 

140: \begin{center}

141: {\Large \bf Fragmentation, NRQCD and NNLO Factorization \\

142: \medskip

143: 

144: Analysis in  Heavy Quarkonium Production}

145: 

146: \vbox{\vskip 0.25 in}

147: 

148: {\large Gouranga C.\ Nayak$^a$, Jian-Wei Qiu$^b$ and George Sterman$^a$}

149: 

150: \vbox{\vskip 0.25 in}

151: 

152: {\it {}$^a$C.N.\ Yang Institute for Theoretical Physics,

153: Stony Brook University, SUNY\\

154: Stony Brook, New York 11794-3840, U.S.A.}

155: 

156: \bigskip

157: 

158: 

159: {\it {}$^b$Department of Physics and Astronomy,

160: Iowa State University\\

161: Ames, Iowa 50011-3160, U.S.A.}

162: 

163: 

164: \end{center}

165: 

166: \begin{abstract}

167: We discuss heavy quarkonium production

168: through parton fragmentation,

169: including a review of arguments for the factorization of

170: high-$p_T$ particles into fragmentation functions

171: for hadronic initial states.  We

172: investigate the further

173: factorization of fragmentation

174: functions in the NRQCD formalism, and 

175: argue that this requires a modification of

176: NRQCD octet production matrix elements to

177: include nonabelian phases, which

178: makes them gauge invariant.  We

179: describe the calculation of uncanceled infrared divergences

180: in fragmentation functions

181: that must be factorized at NNLO, and verify

182: that they are absorbed into the new,

183: gauge invariant matrix elements.

184: \end{abstract}

185: 

186: \bigskip

187: 

188: \noindent

189: {PACS numbers:  12.38.Bx, 12.39.St, 13.87.Fh, 14.40Gx}

190: 

191: 

192: 

193: 

194: \section{Introduction}

195: 

196: The  production of bound states of 

197: heavy quark pairs played an historic role in the 

198: development of the Standard Model \cite{der04}.  This subject

199: has retained a continuing fascination, in part

200: because it offers unique perspectives into

201: the formation of QCD bound states.  

202: The first step in quarkonium production, the inclusive creation of a pair of

203: charm or bottom quarks, is an essentially perturbative

204: process.  In particular, at high transverse momentum in

205: hard-scattering processes, the dominant

206: mechanism for the production of heavy quarkonium  is the perturbative

207: fragmentation of lighter partons, especially the gluon \cite{braatenhipt}.

208: 

209: A basic result of perturbative QCD for the production of

210: hadrons $H$ at high transverse momentum 

211: from the scattering of initial-state particles $A$ and $B$ is the factorization

212: of universal fragmentation functions, 

213: \cite{mueller78,Col81a,CSSrv,1pIfact} 

214: \begin{equation}

215: d\sigma_{A+B\to H+X}(p_T) = 

216: \sum_i\; d\tilde\sigma_{A+B\to i+X}(p_T/z,\mu) \otimes

217: D_{H/i}(z,m_c,\mu) + {\mathcal O}(m_H^2/p_T^2)\, .

218: \label{cofact}

219: \end{equation}

220: Here, $\otimes$ represents a convolution in the momentum fraction $z$.

221:  The cross section $d\hat\sigma_{A+B\to i+X}$ includes all 

222:  information on the incoming state, including convolutions with

223:  parton distributions when $A$ and $B$ are hadrons,

224:  at factorization scale $\mu$.  We exhibit the $m_c$-dependence

225:  of the fragmentation function $D_{H/i}$ in anticipation of

226:  our interest in $H$ as a charm-anticharm bound state,

227:  for which the boundary condition for evolution is naturally taken at $\mu={\cal O}(m_c)$.

228:  

229: The actual transformation of a heavy quark pair

230: into a heavy quarkonium

231: $H$ with momentum fraction $z$ from parton $i$ 

232: requires the introduction of fragmentation functions $D_{H/i}(z,\mu)$.

233: This reasoning applies in principle to both charm and bottom quarks.

234: For definiteness, we

235: will generally refer to the heavy quark mass by $m_c$, and  

236: to the produced hadrons as $H=J/\psi$ etc.,

237: of mass $m_H \sim 2m_c$.

238: 

239: At moderate $z$

240: only the evolution, that is, the $\mu$-dependence, of

241: the fragmentation function is computable

242: perturbatively, with the remaining information

243: encoded in some initial function $D_{H/g}(z,\mu_0)$,

244: where we may take $\mu_0 \sim m_H$.

245: The effective field theory 

246: nonrelativistic QCD (NRQCD), however, 

247: has been invoked to simplify the

248: nonperturbative content of the fragmentation

249: functions $D_{H/i}(z,\mu_0)$, in terms of 

250: a few (or anyway finite number  of)

251: nonperturbative matrix elements.   

252: 

253: The logic behind the application of

254: NRQCD to fragmentation functions is readily summarized.

255: One applies the NRQCD expansion in the

256: relative velocity of the  produced quark pair, assuming

257: that a bound state will form only if this

258: relative velocity is small to begin with.  

259: One then argues that the formation of the

260: bound state is not affected by the

261: exchange of soft gluons with other hard

262: partons, only by exchanges between the quark and

263: antiquark, and with the vacuum \cite{bodwin94}.

264: NRQCD then specifies a complementary 

265: factorization theorem, often written as

266: \begin{equation}

267: d\sigma_{A+B\to H+X}(p_T) = \sum_n\; d\hat\sigma_{A+B\to 

268: c\bar{c}[n]+X}(p_T)\,

269: \langle {\mathcal  O}^H_n\rangle\, ,

270: \label{nrfact}

271: \end{equation}

272: where the ${\mathcal O}^{H}_n$ are universal NRQCD 

273: production operators, 

274: organized according to 

275: powers of the relative velocity of the $c\bar{c}$ state $[n]$, 

276: and their rotational and color

277: quantum numbers.  We will encounter explicit forms below.

278: 

279: Next, accepting that both (\ref{cofact}) and (\ref{nrfact}) hold

280: at high-$p_T$,

281: the fragmentation function and 

282: NRQCD matrix elements are related by \cite{braaten96}

283: \begin{equation}

284: D_{H/i}(z,m_c,\mu) = \sum_n\; d_{i\to c\bar{c}[n]}(z,\mu,m_c) \, \langle 

285: {\mathcal O}^H_n\rangle\, ,

286: \label{combofact}

287: \end{equation}

288: where $d_{i\to c\bar{c}[n]}(z,\mu,m_c)$ describes the evolution of an 

289: off-shell parton into a quark pair in state $[n]$, including logarithms of 

290: $\mu/m_c$.   

291: This formalism has been extensively

292: applied to heavy quarkonium production

293: \cite{QWGBrambilla,CDFoctet,CDFpolarization,HERAoctet,LEPoctet,RHICoctet,fixedtargetoctet,bodwin03}.

294: At the same time, it has been observed that

295: the applicability of NRQCD to production processes has

296: not been fully demonstrated \cite{bodwin03,nayak05}.

297: 

298:  In this paper we

299: revisit the formation of heavy quarkonia 

300: in fragmentation, with the aim of testing

301: the relation (\ref{combofact}).

302: We  will, however, first outline the proof of

303:  Eq.\ (\ref{cofact}) in leptonic annihilation and hadronic

304:  scattering, emphasizing that the arguments that apply

305: to light quark bound states apply as

306: well to heavy quarks, with corrections

307: suppressed by powers of the mass of

308: the quark divided by the transverse momentum.   

309:  While our arguments for the factorization

310:  of fragmentation functions will not actually

311:  cover new ground, we are aware of no other unified

312:  presentation of the steps leading to (\ref{cofact}) 

313:  for hadronic scattering in nonabelian gauge theories.

314: 

315: Once we have established (\ref{cofact}), we can

316: test NRQCD factorization in its more specific form,

317: Eq.\ (\ref{combofact}), which will simplify our analysis

318: considerably.

319: We study the factorization of the fragmentation

320: functions into perturbative coefficient

321: functions times NRQCD matrix elements,

322: with evolution included in the former.  We

323: shed new light on the necessary cancellation

324: of infrared divergences in the perturbative

325: calculation of coefficient functions.

326: In particular, we will show that to carry out such a

327: factorization, it is useful to redefine

328: conventional NRQCD production matrix

329: elements, with the addition of extra gauge

330: links, or Wilson lines, a process that we termed ``gauge

331: completion" in Ref.\ \cite{nayak05}.  

332: This modification renders the 

333: matrix elements gauge invariant.

334: 

335: Gauge completion is also necessary in order to absorb 

336: certain infrared divergences, beginning

337: at next-to-next-to leading order (NNLO), that

338: were not covered by the

339: original arguments for NRQCD

340: factorization.   We should note that our NNLO

341: infrared effects will appear only at order $\as^3$

342: in inclusive heavy quark pair

343: production cross sections of the type calculated

344: to order $\as^2$ in \cite{czar97} (see also the corresponding two loop

345: decay cross sections in \cite{ben97}).

346: Indeed we will encounter two loop

347: corrections with a quark pair and an

348: additional hard gluon in the final state.

349: The calculation is only possible, of

350: course, because we restrict ourselves

351: to the infrared sector.

352: 

353: In any case, however, we are not yet able to prove Eq.\ (\ref{combofact})

354: to all orders in perturbation theory. 

355: The basic results of this paper were outlined in

356: \cite{nayak05}.  Here, in addition to the

357: arguments on factorization,

358: we will provide rather

359: complete details on the methods

360: used to identify the relevant infrared

361: behavior, and on the necessary

362: two-loop calculations.  

363: 

364: 

365: \section{Factorization of Fragmentation Functions}

366: 

367: \subsection{Long-distance dynamics in high-$p_T$ production.}

368: 

369:    The analysis of hard scattering cross sections begins with

370:    the identification of leading regions in the momentum space integrals

371:    of perturbative amplitudes and phase space \cite{CSSrv,Ste78,Stbook}.  Regions in

372:    this multidimensional space are conveniently classified

373: in cut diagram notation, in which graphical contributions to the

374: amplitude are

375: represented to the left of the final state, and contributions to the

376: complex conjugate amplitude to the right.  In the complex conjugate

377: graphs

378: the roles of final and initial states are reversed.

379: 

380: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

381: %\begin{figure}[h]

382: %\vbox{\vskip 2 in}

383: %\label{cutdiag}

384: %\caption{Structure of a cut diagram. \label{cutdiafig}}

385: %\end{figure}

386: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

387: 

388: Because loop integrals are defined by contours

389: in complex momentum space, it is only at momentum

390: configurations where some subset of loop  momenta

391: are pinched that the contours are forced to or near

392: mass-shell poles that correspond to long-distance behavior.

393: These ``pinch surfaces", or subspaces, in turn can be classified

394:    according to their reduced diagrams, found by contracting

395: off-shell lines to points.  

396: 

397: The basic result is this.  Any reduced

398: diagram corresponding to a pinch surface can be interpreted

399: as a physical process, in which each vertex can be assigned

400: positions $x_i^\mu$ in space-time in such a way that if

401: $x_i$ and $x_j$ are connected by line $h$ carrying 

402: nonzero momentum

403: $p_h$, then

404: \bea

405: \Delta x_{ij}^\mu \equiv

406: \left( x_i - x_j\right)^\mu = (x_i-x_j)^0\, \beta_h^\mu\, ,

407: \label{deltaxij}

408: \eea

409: where  $\beta_h^\mu = p_h^\mu/p_h^0$ is the four-velocity of

410:    particle $h$.   At a pinch surface, this relation can be imposed for every line

411:    and vertex of the reduced diagram.    Consistency

412:    then requires that the sum of $\Delta x_{ij}$'s

413:    around any loop vanishes.  This is

414:    enough to ensure 

415:   that the reduced diagram does

416:   correspond to a physical picture, in which

417:    on-shell lines describe free, classical motion between the vertices.   

418:    To this physical picture for finite-energy lines,

419:    lines with vanishing momenta may be attached

420:    in an arbitrary manner \cite{Ste78,Stbook}.

421: 

422:    The proof of the relationship between pinches in

423:    loop momentum space and physical

424:    pictures described by (\ref{deltaxij}) is not difficult \cite{Ste78,Col65,Edenetal},

425:    but we shall not review it here.  Its consequences,

426:    however, are important and easily drawn.

427: 

428:    Let us apply the above considerations to the production of

429:    a hadron $H$, with momentum $P$, in the scattering

430:    of particles $A$ and $B$,

431:    \bea

432:    A(p_A)+B(p_B) \rightarrow H(\vec P) +X\, .

433:    \eea

434:    We will assume that $P_T$ is a large scale,

435:    of the order of the center-of-mass energy, and 

436:    far above the strong coupling scale $\Lambda_{\mathrm QCD}$.

437: The relevant reduced diagrams for this

438: process are illustrated in cut diagram notation  by Fig.\ \ref{reducedlep}

439: when $A$ and $B$ are a leptonic pair,

440: and by Fig.\ \ref{reducedhad} when $A$ and $B$ are

441: strongly interacting (partons or physical hadrons).

442: 

443: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

444: \begin{figure}[h]

445: \begin{center}

446: \epsfig{figure=fig1.eps,width=0.5\textwidth}

447: \caption{Reduced diagrams for high-$p_T$ particle production

448: in leptonic annihilation. \label{reducedlep}}

449: \end{center}

450: \end{figure}

451: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

452: \begin{figure}[h]

453: \begin{center}

454: \epsfig{figure=fig2.eps,width=0.5\textwidth}

455: \caption{Reduced diagrams for high-$p_T$ particle production

456: in hadronic collisions. \label{reducedhad}}

457: \end{center}

458: \end{figure}

459: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

460: 

461: At the  pinch surfaces, there is a single hard-scattering, labelled by

462: a shaded circle, in the amplitude and its complex conjugate.

463: For dilepton annihilation, Fig.\ \ref{reducedlep}, the hard scattering is the

464: result of the decay of the (real or virtual) electroweak boson formed

465: in the annihilation process.  For the hadronic process, the hard

466: scattering results from the collisions of a single parton from each of

467: the colliding hadrons

468: \footnote{There are, in fact, physical pictures corresponding to

469: collisions involving more than one parton from each hadron.

470: These, however, are suppressed by powers after summing

471: over gauge-invariant sets of diagrams \cite{Lab84}.}. 

472: Finite-energy partons emerge from the hard scatterings and connect to

473: subdiagrams of on-shell collinear lines, the jets, $J_i$.

474: All finite-energy particles of the 

475: final states are in one of these jets.

476: In addition zero-momentum lines may be exchanged 

477:  between the lines of the jets, and interact arbitrarily

478:  in a cut ``soft subdiagram" $S$, consisting 

479:  entirely of such lines.  In

480: effect, there are no final-state interactions

481: involving finite momentum transfer in

482: the reduced diagram for these processes.

483: Thus, the total momentum of each jet is

484: determined at the hard scattering, and

485: the distributions of jet energies are calculable

486: in perturbation theory.

487: The essential observation to obtain this result is that once the parent

488: partons of the jets emerge from the hard scattering, they separate

489: at the speed of light, and subsequently cannot interact locally in any

490: physical picture defined as above.  

491:  The observed hadron $H$ appears in one

492: of the jets \footnote{Here, we treat $H$ as massless, on

493: the scale of $P_T$.}.   

494: 

495: 

496: We will not attempt a full review of power-counting

497: analysis in the neighborhood an arbitrary

498: reduced diagram of Figs.\ \ref{reducedlep} and \ref{reducedhad}.

499: It is worthwhile to recall, however, that we may characterize these

500: regions of momentum space by introducing scaling

501: variables, conventionally denoted $\lambda$, which control

502: the relative rates at which components of loop momenta vanish

503: near the pinch surfaces.

504: In the terminology of \cite{Ste78}, a leading region

505: is one for which a vanishing region of loop momentum

506: space near a pinch surface produces leading-power

507: behavior.  Such behavior is naturally associated with logarithmic

508: singularities at the corresponding pinch surface.

509: 

510: For the pinch surfaces at hand, we assign to

511: the $j$th jet a light-like vector in the jet direction,

512: $\bar{n}_j^\mu$, $\bar{n}_j^2=0$,

513: and an opposite-moving vector $n_j^\mu$,

514: $ n_j^2=0$, normalized such that $\bar{n}_j\cdot  n_j=1$.

515: For each jet, the  combination of $\bar n_j$ and $ n_j$

516: define a two-dimensional transverse space, which

517: we will denote as ${\perp^{(j)}}$.

518: The fundamental

519: leading regions are characterized by a familiar

520: scaling behavior for the loop momenta

521: internal to jet $j$,

522: \be

523: {\rm loop}\ l\ {\rm in\ jet}\ j: \quad

524: \left(n_j\cdot l \sim E_j,\ \bar n_j\cdot l \sim \lambda E_j,\

525: l_{\perp^{(j)}} \sim \lambda^{1/2}E_j\right)\, ,

526: \label{scalingjet}

527: \ee

528: where $E_j$ is the energy characteristic

529: of jet $j$, which we take to be of

530: the order of the overall center-of-mass energy, denoted $Q$.

531: In a similar notation, the scaling for soft

532: loop momenta, internal to the soft

533: subdiagram $S$ or flowing between $S$ and

534: any of the jets, is

535: \bea

536: {\rm soft\ loop}:\ k^\mu \sim \lambda\, Q\, .

537: \label{scalingsoft}

538: \eea

539: In principle, the two scales $\lambda$ in

540: Eq.\ (\ref{scalingjet}) and (\ref{scalingsoft}) need not be

541: the same.  A complete discussion includes

542: power counting for subdivergences, as

543: some lines approach the mass shell faster

544: than others \cite{Ste78,Stbook}.  

545: 

546:    \subsection{Jet-soft factorization}

547: 

548: Arguments for the factorization of soft 

549: gluons from jets

550: were given in some detail in Ref.\ \cite{CSSrv}

551: for $\rm e^+e^-$  annihilation.  

552: We review these arguments here, and discuss

553: their extension to hadronic scattering.

554: Jet-soft factorization is made

555: possible by the singularity structure

556: of loop integrals near pinch surfaces \cite{Col81a,Col81b}.

557: Many of these results have been rederived in

558: the language of soft-collinear effective theory \cite{bau01,bau02}.

559: In graphical terms, the factorization

560:  is most clearly illustrated for leptonic

561: annihilation, as in Fig.\ \ref{reducedlep}.   

562: 

563: \subsubsection{The soft approximation in leptonic annihilation}

564: 

565: In Fig.\ 1 let us consider a

566: loop momentum $k_i$, flowing from the soft subdiagram

567: into jet $J_j$, through the hard

568: scattering to another jet, and finally back to the  soft subdiagram.

569: We will examine poles in the integral near $k_i^\mu=0$

570: due to the denominators of $J_j$.

571: For definiteness, we assume the $k_i$ loop

572: is in the amplitude.  

573: 

574: The soft momentum appears in propagator

575: denominators of a set of lines in the jet function.

576: Let $r_j$ be the momentum of any such line at

577: $k_i=0$.  

578: When momenta are scaled as in Eqs.\ (\ref{scalingjet}) and (\ref{scalingsoft}),

579: any denominator in the jet function

580: is of the general form

581: \bea

582: \left( r_j \pm k_i\right)^2 +i\epsilon &=&

583: r_j^2 

584: \pm \left [\,  2n_j\cdot r_j\, \bar{n}_j\cdot k_i + 2\bar{n}_j\cdot r_j\, n_j\cdot k_i

585: - 2 r_{j\perp} \cdot  k_{i\perp}\, \right] + k_i^2 +i\epsilon

586: \nonumber\\

587: &=& {\mathcal O}(\lambda) \pm \left[\, {\mathcal O}(\lambda) + {\mathcal

588: O}(\lambda^2)

589: + {\mathcal O}(\lambda^{3/2})\, \right] + {\mathcal O}(\lambda^2) +i\epsilon

590: \nonumber\\

591: &=& r_j^2 

592: \pm 2n_j\cdot r_j\, \bar{n}_j\cdot k_i + {\mathcal O}(\lambda^{3/2})+i\epsilon\, ,

593: \label{jsdenom}

594: \eea

595: where the second  equality gives the scaling

596: behavior of each of the terms in order,

597: according to (\ref{scalingjet}) and (\ref{scalingsoft}).

598: In the third equality we exhibit the leading behavior,

599: which depends only on the single component

600: $\bar n_j\cdot k_i$ of the soft momentum $k_i$.

601: This approximation will hold so long as the

602: contour of momentum component $\bar{n}_j\cdot k_i$ 

603: is not pinched in such a way as to violate the

604:  scaling of Eq.\ (\ref{scalingsoft}).

605: 

606: Within jet $J_j$, the soft loop momentum $k_i$ can always be re-routed

607: by shifts of the jet's loop momenta. 

608: In this way we may choose $k_i$ to flow 

609: on each jet line in a sense

610: opposite to the direction of the jet momentum $P_j\propto \bar{n}_j$

611: (minus sign in Eq.\ (\ref{jsdenom})).

612: With this choice 

613: all singularities in the variable $\bar{n}_j\cdot k_i$ are

614: in the same (here upper) half-plane.

615: Thus, although the poles in 

616: $\bar{n}_j\cdot k_i$ due to jet lines are generally

617: quite close to the origin,

618: they do not pinch the integration contour.  As a result,

619: the presence of poles in the jet subdiagrams does

620: not  take

621: us outside the scaling region of Eq.\ (\ref{scalingsoft}).

622: 

623: We now consider other possible sources of 

624: singularities in the variable $\bar{n}_j\cdot k_i$.

625: Every

626: virtual soft loop momentum that attaches at least

627: one jet to the soft subdiagram may be routed so

628: that it flows into no more than two jets.

629: This is because once it reaches a second jet, it

630: can be routed back to the first through the hard scattering subdiagram

631: (where it is neglected in the off-shell propagators

632: and vertices).   The two jets determine  distinct

633: contour deformations for the soft loop momentum.

634: These deformations are guaranteed to be compatible, however,

635: because we can always specify them

636: in a frame where the two jets in question, say $j$ and $j'$, are back-to-back.

637: In this frame, we may identify $\bar{n}_j\cdot k_i \equiv k_i^-$

638: and $\bar{n}_{j'}\cdot k_i=k_i^+$, for example. The consistency

639: of the two contour deformations is then clear. 

640: Momentum $k_i$ must also flow through the soft

641: subdiagram.  Here, singularities are 

642: generically a distance ${\cal O}(\lambda)$ from

643: the origin, except at lower-dimensional 

644: spaces.   If such a subspace corresponds to a

645: leading region, it may be treated separately, by

646: the same arguments \cite{Stbook}.

647: Finally, we note that if $k_i$ is the momentum

648: of an on-shell gluon (or decays into

649: a set of on-shell gluons), Eq.\ (\ref{jsdenom}) always

650: holds, unless $k_i$ is itself collinear to the jet

651: momentum.  In this case, the line carrying $k_i$ should be treated as part of

652: the jet.  

653: 

654: In summary, we have learned that the leading power behavior

655: of the cross section from any leading region $R$

656: may  be found by keeping only the $\bar{n}_j\cdot k_i$ component

657: of soft momenta $k_i$ within the jet subdiagram,

658: and setting the remaining components  to zero.

659: Similarly, in region $R$

660: the soft gluons couple to the jet subdiagram

661: only through the polarization component proportional to the

662: jet direction, because at the pinch surface all other 

663: components of the jet tensor vanish as a power of $\lambda$.

664: 

665: Now we consider

666: the subdiagram consisting of all  lines in 

667: jet $J_j$, connected to the

668: hard subdiagram by parton $j$  in

669: leading region $R$, not including the propagators

670: of its external soft lines \footnote{In a covariant gauge, parton $j$

671: is accompanied by a set of collinear vector

672: lines with scalar polarizations at the coupling of jet $J^{(R,C)}_j$ to the

673: hard scattering \cite{CSSrv}.  These gluons may be

674: factored from the hard scattering and are included in the jet.}.   

675: To be specific, we assume there are $m$ soft

676: gluons connected to the jet in the amplitude, and

677: $n-m$ in the complex conjugate amplitude.

678: We introduce a jet function $J^{(R,C)}_j$

679: for leading region $R$, where $C$ labels the particular

680: cut of the jet subdiagram.  With a given cut $C$, of course, the 

681: assignment of soft lines to the amplitude and its

682: complex conjugate is specified.

683: 

684: Our considerations lead

685: us to a ``soft approximation" for the function $J^{(R,C)}_j$ \cite{CSSrv}.

686: Within leading region $R$ we may make a replacement

687: that isolates the leading soft gluon momentum and polarization components.

688: In these terms, the soft approximation may be defined by

689: \bea

690: J^{(R,C)}_j{}_{ML,a_1\dots a_n}^{\mu_1\dots\mu_n} \left(k_1  \dots k_n,P_j\right) =

691: J^{(R,C)}_j{}_{ML,a_1\dots a_n}^{\nu_1\dots\nu_n} 

692: \left(\tilde{k}_1 \dots  \tilde{k}_n,P\right)n_{\nu_1}\dots n_{\nu_n}

693: \, \bar{n}^{\mu_1}\dots \bar{n}^{\mu_n}\, ,

694: \label{softapprox}

695: \eea

696: where we define, for any momentum $k_i$,

697: \bea

698: \tilde{k_i}^\sigma =k_i\cdot \bar n_j\, n_j^\sigma

699: \label{tildedef}

700: \eea

701: as a vector with only the ``opposite moving"

702: component of momentum.  (Of course, the

703: definition of $\tilde k_i$ varies from jet to jet.)

704: The indices $a_i$ ($\mu_i$) are the color (vector) indices of the

705: external soft gluons of momentum $k_i$, while $M,\, L$ are

706: the color indices of parent parton $j$, in the

707: appropriate  color representation.

708: Corrections to the soft approximation are suppressed by powers

709: of the scaling variable $\lambda$, and hence by the overall hard scale $Q$.

710: 

711: From the soft approximation Eq.\ (\ref{softapprox}),

712: the coupling of soft gluons to jet $J_j$ is identical

713: to the coupling of a set of unphysical gluons to the jet,

714: whose polarizations are proportional to their momenta.

715: Once we have made the soft approximation, 

716: it becomes straightforward

717: to apply the nonabelian Ward identities of QCD

718: to the connections of soft gluons to the jet \cite{CSSrv}.

719: This has a simple classical analogy.    In

720: the rest frames of particles within jet $J_j$,

721: the classical fields due to particles in other jets, all of

722: which are separating with relative velocities $\beta_{\mathrm rel}\sim c$,

723: reduce to pure gauge fields, up to corrections of

724: order $(\beta_{\mathrm rel}-c)$ \cite{bas84}.

725: 

726: \subsubsection{Factorization and the residual jet factor}

727: 

728: Once we have used the soft approximation

729: and the Ward identities,

730: the entire effect of the soft gluons external to the jets

731:   is to produce, order by order,

732: a product of eikonal factors, 

733: \bea

734: J^{(R,C)}_j{}_{ML,a_1\dots a_n}^{\nu_1\dots\nu_n}

735: \left(\tilde{k}_1 \dots \tilde{k}_n,P_j\right)n_{\nu_1}\dots n_{\nu_n}

736: \, \bar{n}^{\mu_1}\dots \bar{n}^{\mu_n} && \nonumber\\

737: && \hspace{-80mm}

738: =J^{(R,C)}_j{}(P_j)\; 

739: E^{(j)}_{MK,}{}_{a_{m+1}\dots a_n}^{\mu_{m+1}\dots\mu_n}\,  {}^\dagger{}

740: \left(- \tilde{k}_{m+1}\dots - \tilde{k}_n\right)

741: E_{KL,}^{(j)}{}_{a_1\dots a_m}^{\mu_1\dots\mu_m}\left(\tilde{k}_1\dots \tilde{k}_m\right)\, .

742: \label{jetsoftfact}

743: \eea

744: Here, $m$ is the number of soft gluons that couple to the jet subdiagram in

745: the  amplidue, and  $n-m$ the number  in the complex conjugate

746: amplitude.  

747: The eikonal factors $E$ and $E^\dagger$ 

748: reproduce all momentum and color dependence, but are insensitive

749: to the internal dynamics of the jet, and depend only

750: on the 4-velocity $\bar{n}_j$, in the jet direction, and the

751: color representation of parton $j$.  Specifically, they 

752: are given by

753: \bea

754: E_{KI,}^{(j)}{}_{a_1\dots a_m}^{\mu_1\dots\mu_m}\left(\tilde{k}_1\dots \tilde{k}_m\right) = 

755: \sum_{\mathrm perms}\, \left[\; P\, \prod_{i=1}^m\ 

756:  \frac{g\, \bar{n}_j^{\mu_i}\, T^{[j]}_{a_i}}

757:       {- \bar{n}_j\cdot (k_1 + \cdots + k_i)+i\epsilon}\; \right]_{KI}

758: \, ,

759: \label{eikonalfactors}

760: \eea

761: where $P$ implies ordering of the

762: color matrices $T^{[j]}_a$ according to the  

763: permutation of soft gluon connections.  (As above, soft momenta flow into

764: the jet.)  

765: The function $J^{(R,C)}_j(P_j)$ in (\ref{jetsoftfact})

766: represents what we will refer to as the residual

767: jet factor in region $R$ with cut $C$.  It is given by the normalized color trace of the jet

768: function with no external soft gluons,

769: \bea

770: J^{(R,C)}_j(P_j) =  \frac{1}{d(j)}\; \sum_L 

771: J^{(R,C)}_j{}_{LL}

772: \left(P_j\right)\, ,

773: \eea

774: where $d(j)$ is the

775: dimension of the color representation of parton $j$.

776: 

777: To apply the Ward identities

778: that lead to Eq.\ (\ref{jetsoftfact}) we need only

779: integrate over the opposite-moving components,

780: $\bar n_j\cdot l$ of the jet loop momenta $l$.

781: This is because the Ward identities only require shifts

782: in loop momentum equal to the momenta

783: that flow into the jet from the external lines.

784: 

785: In general, the residual jet function includes

786:   contributions from soft gluons

787:  for which the soft approximation fails,  but

788:  which remain internal to the jet.  It is not necessary

789:  that the soft approximation apply to every soft gluon.

790:  Rather, for this analysis to hold it is only necessary

791:  that in every leading region we can find 

792: a set of soft lines for which it holds, and for which we

793: may apply Eq.\ (\ref{jetsoftfact}).  

794: Equation (\ref{jetsoftfact}) is a general result

795: for final-state jets in arbitrary leading regions.

796: We will see below

797: how function $J^{(R,C)}_j$ can be

798: identified as a contribution to a fragmentation

799: function.  

800: 

801: At each  (here $n$th) order, the factorized

802: $\tilde{k}_i$ dependence in the eikonal factor $E$ in (\ref{eikonalfactors})

803: is identical to the corresponding dependence in the

804: expansion of the ordered exponential 

805: \bea

806: \Phi^{(j)}_{\bar{n}_j}(0,\infty) = \P \exp \left[ -ig\int_0^\infty d\lambda\, \bar{n}_j\cdot A^{(j)}(\bar{n}\lambda)\right]\, ,

807: \label{oexp}

808: \eea

809: where now $P$ denotes path ordering, and where $A^{(j)}$ is the

810: gauge field in the matrix 

811: color representation of the parent parton of the jet (quark, antiquark or gluon)

812: \footnote{This is the factorization effected in soft-collinear effective theory

813: by a redefinition for collinear fields. \cite{bau02}}.   At leading power 

814: in $\lambda$, and hence in the large momentum scale $Q$,

815: soft gluons couple to jets only through the operators $\bar{n}_j\cdot A$,

816: restricted to the light cone along the jet directions.  We will

817: see below how other operators arise at nonleading powers.

818: 

819: All of the reasoning above may be applied to the 

820: particular jet ($J_1$ in Fig.\ 1) from which the

821: observed hadron $H$ arises.  

822: The entire leading-power dependence on the masses 

823: and relative momentum of the quarks, as well

824: as on the momentum fraction ($z$) of the pair  is in 

825: the functions $J^{(R,C)}_j(P)$ at each leading region.

826: The influence of

827: soft gluon emission on $z$ can be neglected,

828: precisely because of the soft approximation (\ref{softapprox}).

829: Thus, in each leading region, the jet dynamics

830: that produces an observed particle decouples from

831: soft gluons that could link it to the other jets in the final state.

832: In this way, fragmentation is

833: seen to be universal, depending only on

834: the parent parton, the  produced hadron, its momentum fraction $z$,

835: and eventually a

836: factorization scale.

837: 

838: \subsubsection{Hadronic scattering}

839: 

840: The  arguments for jet-soft factorization in hadronic

841: scattering are similar to those

842: for leptonic annihilation\footnote{They are also essentially

843: identical to those for lepton-hadron scattering.}, but special care must be

844: taken because of the ``initial-state" jet subdiagrams $J_A$ and $J_B$

845: consisting of lines collinear to particles $A$ and $B$ in Fig.\ \ref{reducedhad}.

846: As we shall see, however, the factorization of fragmentation within a final-state jet

847: holds in this case as well, and

848: is actually somewhat more general than collinear factorization

849: in terms of parton distributions

850: \cite{CSSrv}.    

851: 

852: The essential difference between leptonic annihilation

853: and hadronic scattering may be seen by comparing

854: Figs.\ \ref{reducedlep} and \ref{reducedhad}.

855: In the former, although the poles from jet subdiagram $J_j$

856: in the soft momentum components $\bar{n}_j\cdot k_i$

857: are closer to the origin than ${\mathcal O}(\lambda)$ in

858: general, they are

859: all in the same half-plane.

860: As a result, these momentum

861: components may be deformed away from

862: the poles into a region where the soft approximation

863: holds. 

864: 

865: For hadronic scattering, precisely the same reasoning

866: applies for soft momenta that flow

867: only between final-state jets,

868: and/or through the hard scattering.

869:  It also applies for soft loops that

870: connect to an initial-state jet only via lines whose large

871: momenta flow directly from the initial state into the

872: hard interaction.  In these connections, to what are

873: sometimes called ``active" jet lines, all poles are  again

874: in the same half-plane, and the same reasoning

875: allows us to deform contours as above to justify

876: the soft approximation.

877: 

878: A difference arises, however,

879: when soft lines connect to the initial state jets

880: by  ``spectator" jet lines,

881: whose momenta flow into the final state without

882: passing through the hard scattering.

883: In this case, to complete the soft

884: loop through the hard interaction,

885: the momentum must flow ``back" to

886: a vertex at which spectator lines and active lines connect,

887: and then flow once again forward into the

888: hard scattering.   Suppose this occurs for

889: initial-state jet $A$.

890: Both spectator and active lines in $A$

891: produce poles close to the origin

892: for a soft component

893: $\bar{n}_A\cdot k_i$, and these poles are in opposite

894: half-planes.  The resulting pinch forces us into a leading

895: region where $\bar{n}_A\cdot k_i\ll k_{i\perp}\sim \lambda$,

896: which is generally referred to as a ``Glauber region" \cite{Col81a,bod81}. 

897: In this region, the scaling (\ref{scalingsoft}) 

898: does not hold, and the soft approximation fails for this jet.

899: Because the soft approximation fails, 

900: soft gluons ``resolve" the internal structure of

901: the jet, and the factorization arguments given

902: above may not apply.

903: 

904: When the soft loop flows between an initial

905: state jet and a final state jet, however, only a single

906: light-cone component is pinched, associated with the

907: initial-state jet.  The soft approximation

908: may still be applied to the final-state jet,

909: giving eikonal factors as in Eqs.\ (\ref{jetsoftfact}) and 

910: (\ref{eikonalfactors}).  The eikonal factors associated with

911: the outgoing jet then cancel in a single-particle inclusive

912: cross section, in same way that soft divergences

913: cancel in  jet cross sections.\footnote{The argument

914: for this cancellation in the case of hadronic

915: scattering is given in the first part of Sec.\ V

916: of Ref.\ \cite{lib78}.}

917:     This decoupling and cancellation of soft gluons enables us

918:     to identify universal fragmentation functions, in terms of

919:     universal matrix elements, in hadronic scattering as

920:     well as leptonic annihilation,

921:     independent

922:     of the jet structure of the particular hard scattering.

923: 

924: Finally,  consider those

925: soft loops that flow between the two initial-state jets and/or

926: through the hard scattering.  In general such loops encounter Glauber

927: pinches in two light-cone components.  

928: For cross sections that are inclusive in soft gluon emission

929: and in the fragmentation of the forward jet remnants,

930: these pinches nevertheless cancel in the sum over final states.

931: We then have collinear factorization into independent parton

932: distributions  for incoming

933: hadrons $A$ and $B$ and a fragmentation function

934: for hadron $H$ \cite{CSSrv}.

935: It is worthwhile noting, however, that even when

936: these criteria are not satisfied, and the overall

937: cross section does not factorize into incoming

938: parton distributions (as, for example, in diffractive

939: scattering in hadron-hadron collisions \cite{diffact}), the 

940: final-state jets still factorize from the incoming jets

941: and their soft exchanges, and the single-particle cross section

942: at high $p_T$ is still governed by a universal fragmentation function.

943: 

944: 

945: \subsection{Power corrections}

946: 

947: Once we have determined that the leading-power

948: contributions factorize for the leading regions

949: associated with Fig.\ \ref{reducedhad}, we

950: naturally turn our attention to power corrections \cite{bau03}.

951: These may be classified by an expansion

952: in nonleading contributions to the integrand

953: near the pinch surfaces.  It is therefore

954: an expansion in terms of ratios such as

955: $f(k)/{q}_j^2(\tilde k)$, where the numerator

956: $f(k)$ represents any of the terms involving soft momenta

957: $k$ that can be neglected at leading power.  These are

958: the terms in Eq.\ (\ref{jsdenom}) that scale as $\lambda^{3/2}$ or

959: higher, as  well as non-leading terms from numerator momenta.

960: The denominator represents the squared momentum

961: of the  jet line $q_j$, after the

962: soft momenta  $k$ flowing on jet line $q_j$ is

963: replaced by $\tilde k=n_j(\bar n_j\cdot k) \sim {\cal O}(\lambda)$, 

964: Eq.\ (\ref{tildedef}).    Although $q_j^2(\tilde k)$ is not large,

965: the ratio  $f(k)/q_j^2$ is small in the leading region.

966: (As we have seen, this may require

967: contour deformations.)

968: 

969: Keeping only $\bar n_j\cdot k$ terms in the denominators,

970: the numerator terms $f(k)$ are polynomials in the $n_j\cdot k$

971: and $\perp^{(j)}$ components of soft gluon momenta.

972: In position space,

973: these vertices, connected to jet lines,

974: correspond to operators that are

975: local with respect to the $n_j^\mu$ and $\perp^{(j)}$

976: directions, but are

977: relatively on the $\bar n_j^\mu$ light-cone.

978: The gauge invariance of the theory requires that these

979: vertices, representing the interactions

980: of soft gluons with the jet functions, combine to

981: form gauge covariant operators.

982: We may think of these vertices as supplementing

983: the leading-power $\bar{n}_j\cdot A$

984: vertices of the ``soft approximation", identified above

985: with the Wilson lines of Eq.\ (\ref{oexp}).  As above, the

986: application of Ward identities, or equivalently

987: a redefinition of collinear fields as in soft-collinear

988: effective theory, organizes all leading vertices

989: into nonabelian phase operators, but now

990: acting as color rotations on the nonleading vertices

991: as well as on the ``parent" parton lines of the

992: jet functions.

993: For the

994: purposes of factorization at leading power

995: in $Q$, however, we need not enumerate these nonleading operators

996: or vertices.

997: 

998: \subsection{Fragmentation functions}

999: 

1000: So far, we have identified the leading regions in

1001: cut diagrams that are associated with infrared

1002: dynamics in single-particle inclusive cross sections.

1003: We have seen that at each leading region

1004: the cross section breaks up into a factor

1005: associated with the production of a parton ($j$ above),

1006: times a jet function $J_j^{(R,C)}(P)$ that

1007: describes a contribution to the formation of hadron $H$.

1008: In this section, we will show that the jet

1009: functions identified above are in one-to-one

1010: correspondence with 

1011: leading regions for the standard fragmentation functions, $D_{H/j}$.

1012: 

1013: Fragmentation functions may be defined 

1014: in terms of expectation values \cite{col82}.  For example,

1015: consider the production of hadron $H$

1016: from a parent gluon at momentum fraction $z$,

1017: taken, for definiteness along the 3-direction.

1018: The relevant matrix element is then, in $D=4-2\vep$ dimensions,

1019: \bea

1020: D_{H/g}(z,\mu)

1021: &=&

1022:  {-z^{2-2\vep} \over 16(2-2\vep)\pi P^+}\ {\rm Tr_{color}}\;

1023:  \int dx^- \, {\rm e}^{-i(P^+/z)x^-}\

1024:  \langle 0|\, F^{+\lambda}(0)\, \left[\, \Phi_n^{(A)}(0,\infty)\, \right]^\dagger

1025: \nonumber\\

1026: &\ & \hspace{10mm} \times 

1027: a_H(P^+,0_\perp)a_H^\dagger(P^+,0_\perp)

1028:  \Phi_n^{(A)}(0,\infty)\; F^+{}_\lambda(0^+,x^-,0_\perp)\, |0\rangle\, ,

1029:  \label{fragfn1}

1030:  \eea

1031:  where $a^\dagger_H$ is the creation operator for particle $H$ at momentum $P$

1032:   and $F^{+\lambda}$ is the

1033:   gluon field-strength.  The operator $\Phi^{(A)}$ is defined as in Eq.\ (\ref{oexp}),

1034:  but in the direction $n^\mu=\delta_{\mu -}$, opposite to the 

1035:  direction of hadron $H$.  Its fields are  in the adjoint matrix

1036:  representation of color.

1037:   The product of operators on

1038:   the light cone requires renormalization and the introduction

1039:   of a scale $\mu$, as described in \cite{col82}.

1040: 

1041:   The expectation value in Eq.\ (\ref{fragfn1})

1042: may also be expressed as  a sum over all states including

1043:  hadron $H$,

1044:  \bea

1045:  D_{H/g}(z,\mu)

1046: &=&

1047:  {- z^{2-2\vep} \over 16(2-2\vep)\pi P^+}\ {\rm Tr_{color}}\; \sum_N

1048:  \int dx^- \, {\rm e}^{-i(P+/z)x^-}\

1049:  \langle 0|\, F^{+\lambda}(0)\, \left[\, \Phi_n^{(A)}(0,\infty)\, \right]^\dagger

1050: \nonumber\\

1051: &\ & \hspace{10mm} \times 

1052: |\, H(P^+,0_\perp)\, N\rangle\langle N\, H(P^+,0_\perp)\,  |

1053:  \Phi_n^{(A)}(0,\infty)\; F^+{}_\lambda(0^+,x^-,0_\perp)\, |0\rangle\, .

1054:  \label{fragfn2}

1055:  \eea

1056:  This form shows its close correspondence to a cross section.

1057: 

1058: The leading regions of the expectation values (\ref{fragfn1}) and  (\ref{fragfn2})

1059: are, in fact, very similar to those of leptonic annihilation cross sections

1060: discussed above.  Every leading region

1061: includes in its reduced diagram

1062:  a jet $J(P)$ that provides the particle of momentum $P$ in the final state,

1063:  in addition to a jet in the opposite-moving direction $n^\mu$,

1064:  and possibly other jets and arbitrary soft radiation  

1065:  (subject to the effective phase space limitations imposed by renormalization 

1066:  at scale $\mu$).  

1067:  At each such leading region $R$, the same arguments as

1068:  for leptonic annihilation lead to the precise analog of

1069:  Eq.\ (\ref{jetsoftfact}), with exactly the same residual

1070:  jet functions $J_j^{(R,C)}(P)$.

1071:  Because the cross section is otherwise inclusive,

1072:  the sum over final states  results in the cancellation of

1073:  all soft and collinear singularities except for those

1074:  associated with $J_j^{(R,C)}(P)$.

1075: Therefore, we recognize a

1076: one-to-one matching of every leading region

1077: in the fragmentation function with a corresponding region

1078:  in the total cross section.  This is the case

1079:  for both leptonic and hadronic initial states,

1080:  because the residual jet functions are the same in each case.

1081: 

1082: Strictly speaking, of course, the above discussion 

1083: applies only to perturbation theory, which requires that

1084: we impose an infrared regulation, presumably

1085: dimensional regularization.    Because our

1086: arguments extend to all orders in perturbation theory, however,

1087: we may in principle introduce an interpolating field 

1088: with the quantum numbers of hadron $H$, sum to

1089: all orders in that channel, and isolate the S-matrix

1090: elements for $H$ in the regulated theory.   

1091: In this sense our arguments demonstrate factorization for

1092: bound state $H$ in the regulated

1093: theory.  We assume that the continuation back to

1094: physical QCD in four dimensions respects this result.

1095: This assumption is shared with essentially all demonstrations

1096: of infrared safety and factorization.

1097: 

1098:    \section{NRQCD Factorization and Gauge Completion}

1099: 

1100:  Having reviewed

1101:  arguments for the factorization of fragmentation functions, Eq.\ (\ref{cofact}),

1102:    up to corrections in powers of $m_H/P_T$, we 

1103:   are ready to rephrase the question of NRQCD factorization

1104:    in terms of the fragmentation functions  themselves,

1105:    as in Eq.\ (\ref{combofact}).

1106:     We begin with a further examination of the leading regions of the 

1107:    fragmentation functions,

1108:  and we discuss evolution to

1109:   the mass scale of the heavy quarkonium $m_H$.  We then analyze

1110:  the refactorization, Eq.\ (\ref{combofact}) of the gluon fragmentation function

1111:  in terms of NRQCD production operators, and propose a gauge-invariant 

1112:  extension of the conventional operators.

1113: 

1114:    \subsection{Refactorization at the heavy quark mass}

1115: 

1116:    Our first goal is to separate logarithms associated with

1117:    evolution from dynamics at the scale of the heavy

1118:    quark mass.  This can be done by invoking the evolution

1119:    equations for the gluon fragmentation functions in Eqs. (\ref{fragfn1}) and (\ref{fragfn2}),

1120:    \bea

1121:    \mu\frac{d}{d\mu}\,  D_{H/g}(z,\mu) 

1122:    =

1123:    \sum_i\; 

1124:    \int_z^1 {d\xi\over \xi} \ P_{ig}\left({z\over \xi},\alpha_s(\mu)\right)\,

1125:     D_{H/i}(\xi,\mu)\, , 

1126:     \label{fragevol}

1127:    \eea

1128:    with a sum over

1129:    partons $i$, and similarly when the

1130:    gluon is replaced by a quark or antiquark.\footnote{The evolution kernels 

1131:    for heavy quarks may be chosen identical to those

1132:    for massless quarks in the case of parton distibutions \cite{col86}.  

1133:    A similar relation should hold here, although we will not attempt a formal

1134:    proof.}

1135:     The solution to (\ref{fragevol}) enables us

1136:    to relate fragmentation at the conventional scale

1137:    $P_T$ with the mass scale of the produced hadron, $H$,

1138:    \bea

1139:    D_{H/g}(z,P_T)

1140: =

1141:   \sum_i\; 

1142:   \int_z^1 \frac{d\xi}{\xi}\ {\cal C}_{gi}\left( {z\over \xi}, P_T,m_H\right)\;  D_{H/i}(\xi,m_H)\, ,

1143:   \label{evolvedd}

1144:   \eea

1145:   where ${\cal C}_{gi}$  is a perturbative factor.  

1146: 

1147:   We will want to

1148:   study the expansion in relative velocity of the heavy quarks in

1149:   the fragmentation function evaluated at a scale on the

1150:   order of the heavy quarkonium masss.  It is natural, of course, to

1151:   carry out this expansion in the rest frame of the heavy

1152:   quark pair.  Since this is not the usual frame in which to

1153:   discuss fragmentation or the evolution (\ref{fragevol})

1154:   associated with it,  we will briefly discuss how

1155:   evolution appears in this frame.  Specifically, we need to show that

1156: evolution logarithms factorize from the decay of an off-shell

1157: gluon, with mass of order $m_H$, as seen in the rest

1158: frame of hadron $H$.  

1159: 

1160:  The transverse momentum of the observed

1161:   heavy quarkonium in the fragmentation function (\ref{fragfn1}) is by definition zero.

1162:   Thus,  the transformation to its rest frame is a boost in the

1163:   direction of its momentum as seen in the lab.  

1164:   For convenience we take this momentum

1165:   in the ``plus" direction, as in (\ref{fragfn1}).

1166:   In both the lab frame and

1167:   the quarkonium rest frame, evolution then

1168:   results from the strongly ordered transverse momenta

1169:   of partonic radiation.   

1170: 

1171:   To confirm Eq.\ (\ref{evolvedd}), we

1172:   should verify that we can factorize soft gluons that

1173:   connect partons with transverse momenta $k_\perp \gg m_H$

1174:   from those of lower transverse momentum.  The former will

1175:   appear in the evolution functions ${\cal C}_{gi}$, the latter in

1176:   the fragmentation function at the scale of $m_H$.

1177:   This separation  of low- from high-$k_\perp$ gluons 

1178:   as seen in the $H$ rest frame follows

1179:   exactly the same pattern as the factorization of gluons

1180:   from the jets in Sec.\ 2 above.  

1181: 

1182:   Consider a parton $d$ of  

1183: transverse momentum $k_{d\perp}\gg m_H$ and longitudinal 

1184: momentum $k_d^+=z_dQ$,

1185:   as seen in the lab frame (or the center of mass frame of the overall collision), with $Q$

1186:   the  energy of the jet in that frame.   In the same frame and notation, the 

1187:   heavy quarkonium $H$ has transverse momentum $k_{\perp,H}=0$, and 

1188: energy $E_H=zQ\gg m_H$.

1189:   A boost to the rest frame, where the energy of $H$ is $m_H$,

1190:   leaves the transverse momentum  $k_{d\perp}$ unchanged,

1191:   while transforming the plus and minus components of 

1192:   $k_d$ according to

1193:   \bea

1194:   k_d^+ = z_dQ \qquad \Rightarrow && z_dQ\; \frac{m_H}{\sqrt{2}zQ}

1195:   \nonumber\\

1196:   k_d^- = \frac{k^2_{d\perp}}{2z_dQ} \qquad \Rightarrow && 

1197:    \frac{k^2_{d\perp}}{2z_dQ}\; \frac{\sqrt{2}zQ}{m_H}\, .

1198:   \label{pdtransform}

1199:   \eea

1200:   Equivalently, the rapidity of parton $d$ transforms according to

1201:   \bea

1202:   \eta_d = \frac{1}{2}\ \ln \left(\, \frac{2(z_dQ)^2}{k^2_{d\perp}}\, \right)

1203:   \qquad

1204:   \Rightarrow \qquad

1205:   \frac{1}{2}\ \ln \left(\, \frac{z_d^2}{z^2}\, \frac{m^2_H}{k^2_{d\perp}} \, \right)\, .

1206:   \eea

1207:   By assumption, $k_{d\perp}\gg m_H$.  Therefore, as long as $z$ is not itself

1208:   small, that is, assuming that $H$ is one of the ``leading" hadrons

1209:   in the jet, the rapidity of parton $d$, which is large and positive in the

1210:    center of mass frame, is large and negative in the rest frame of

1211:    hadron $H$.   In this frame, all strongly ordered (in transverse momentum)

1212:    partons are moving in the direction opposite to the original jet direction.

1213:      The soft approximation can now be applied to soft gluons connecting

1214:    the heavy quark pair that forms the quarkonium to the strongly ordered gluons.

1215:    The interactions of these soft gluons may then be approximated

1216:    by an eikonal line in the direction $n^\mu$, opposite to the

1217:    jet's direction.  The only difference from soft-jet factorization

1218:    in a cross section is that now the soft gluons' transverse 

1219:    momenta are smaller than $m_H$.  The result is exactly a

1220:    fragmentation function with upper limit $m_H$ on gluon transverse momentum

1221:     in convolution with a perturbative function, 

1222:    as in Eq.\ (\ref{evolvedd}), which is what we set out to show.   

1223: 

1224:    \subsection{Long and short distance dependence at the scale $m_H$}

1225: 

1226: To make contact with NRQCD applied to a fragmentation

1227: function, we explore further the sources of its long-

1228: and short-distance behavior.  This can be done as in

1229: the discussion of  cross sections and fragmentation

1230: functions above, in Sec.\ 2, although now we will carry out

1231: our analysis in the rest frame of the

1232: heavy quarkonium.  We begin, as above, with the

1233: physical pictures associated with pinch surfaces.

1234: 

1235: The relevant physical pictures for fragmentation into

1236: hadron $H$ are shown in Fig.\ \ref{fragphyspict}.

1237: Since we are working in infrared regularized perturbation theory, the

1238: heavy quarks appear in the final states.  We recall our discussion

1239: above, however, in which we argued that in principle

1240: the reduction of the bound-state pole does not modify

1241: factorization.  We will continue with this assumption.

1242: 

1243: A related point is that at the bound state pole the relative momenta of the

1244: quark pairs on either side of the cut need not be the same.

1245: In principle, then, we should take the relative momentum of

1246: $c\bar{c}$ pair in the amplitude,

1247: $q$ below, to be independent of the relative momentum, $q'$

1248: of the $c\bar{c}'$ pair to the right.  This is the 

1249: method employed in the explicit calculations of

1250: Refs.\ \cite{ma94,braaten97,petrelli98,ma05,braaten00,lee05}, for   

1251: example.  Powers of $q$ and 

1252: $q'$, however, are employed to identify

1253: operators in NRQCD, terms linear in $q$

1254: corresponding to the lowest order of the 

1255: covariant derivative.  Since 

1256: we are interested primarily in separating infrared

1257: poles from coefficient functions, we will not

1258: distinguish between $q$ and $q'$ below,

1259: and simply calculate the fixed-order 

1260: eikonal cross section for a quark pair.

1261: 

1262: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1263: \begin{figure}[h]

1264: \begin{center}

1265: \epsfig{figure=fig3.eps,width=0.5\textwidth}

1266: \caption{Physical pictures for heavy quarkonium

1267:   production. \label{fragphyspict}} 

1268: \end{center}

1269: \end{figure}

1270: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1271: 

1272: As noted in the discussion of Sec.\ 2.4, the physical pictures for

1273: fragmentation 

1274: are similar to those for the hadronic final state interactions

1275: in leptonic annihilation.  The process begins with

1276: a short-distance subdiagram, represented by a shaded

1277: circle in Fig.\ \ref{fragphyspict}.  In this case, short-distance

1278: refers to virtualities at the order of $m_H$.

1279:  Lightlike jets, $J_j$, develop from 

1280: energetic ($E\sim m_H$) ``semihard" quarks, antiquarks or gluons, which emerge from

1281: the hard scattering.  

1282: These jets may be connected

1283: by a diagram consisting entirely of soft quanta, $S$,

1284: to each other, and to the Wilson line that is part of the

1285: construction of the fragmentation function.

1286: In the case at hand, the

1287: heavy quark pair also emerges from the hard scattering, and soft quanta may connect

1288: to the jets and/or the Wilson line.   To prove NRQCD factorization, Eq.\ (\ref{combofact}),

1289: it will be necessary to show that all of this long-distance behavior

1290: either cancels or matches entirely to NRQCD matrix elements.

1291: 

1292: 

1293: Considered abstractly, the connection to NRQCD is made by ``integrating out"

1294: degrees of freedom at the mass scale $m_H$ in the calculation

1295: of the fragmentation function.   

1296: In practice, that is in perturbation theory, 

1297: the NRQCD operators ${\mathcal O}_n$ can be identified once we 

1298: consistently separate long and short distance contributions. 

1299: As the figure shows, a generic pinch surface in phase space

1300: involves not only a truly short distance part, but also a variety of

1301: semi-hard jets.  The question we must ask is to what extent hadronization

1302: is affected by the presence of these jets.  In the original discussion

1303: of NRQCD factorization given

1304: in Ref.\ \cite{bodwin94}, it was argued that in the inclusive

1305: sum over cuts in $H$ production, all infrared

1306: divergences due to soft exchanges between the heavy quarks and

1307: the extra jets cancel in the inclusive sum, even while we

1308: fix the final state of the quark pair to be a gauge singlet.  

1309: Notice that even in the absence of semi-hard gluons,

1310: soft gluons may be exchanged with the Wilson line

1311: that is part of the definition of the fragmentation function.

1312: Indeed, this Wilson line is what remains of all

1313: exchanges of soft gluons between the heavy quarks and

1314: partons at relative momenta greater than $m_H$.

1315: 

1316: In the absence of the soft gluon connections

1317: between the heavy quarks and semi-hard gluons, the

1318: remaining physical pictures can be

1319:  represented as in Fig.\ \ref{physaftercancel}. 

1320:  In this case, all collinear and soft divergences associated

1321:  with the jets, whose final states are summed over inclusively,

1322:  cancel, just as in leptonic annihilation.  Soft singularities may,

1323:  and in general do, remain in the transition of the heavy quarks

1324:  from short distances to hadronization, but such soft divergences

1325:  are said to be ``topologically factorized" \cite{braaten97b}, and are readily

1326:  factorized from the hard scattering function by a standard expansion

1327:  in relative velocity, as we now sketch.

1328:  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1329: \begin{figure}[h]

1330: \begin{center}

1331: \epsfig{figure=fig4.eps,width=0.5\textwidth}

1332: \caption{Topologically factored physical pictures for heavy quarkonium

1333:   production. 

1334: \label{physaftercancel}}

1335: \end{center}

1336: \end{figure}

1337: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1338: 

1339: In a topologically factorized diagram like Fig.\ \ref{physaftercancel},

1340: we can expand the short-distance function

1341: around vanishing relative momentum, or equivalently relative

1342: velocity $v$ of the heavy quarks.   

1343: Similarly, we may decompose each diagram according

1344: to the color state (singlet or octet) of the heavy quark pair,

1345: and may also expand in the momenta of any light

1346: quanta (gluons or quark pairs) that also emerge from

1347: the short distance subdiagram.

1348: This leads precisely to an expansion in terms of

1349: local operators, creating heavy quark

1350: pairs in states $n$, labelled $c\bar{c}[n]$, where

1351: in general $[n]$ also labels the term in the 

1352: expansion in relative velocity and light parton quanta,

1353: so that the corresponding operator, $\psi^\dagger(0){\mathcal \kappa}'_n\chi(0)$,

1354: which always includes a quark pair, may also 

1355: create light quanta.  

1356: Each such operator will be accompanied by the

1357: sum of all hard subdiagrams, evaluated at

1358: zero relative velocity and at zero light parton

1359: momentum.  We will refer to this sum as the

1360: hard scattering,

1361: or coefficient, function for operator $\psi^\dagger(0){\mathcal \kappa}'_n\chi(0)$.

1362: 

1363:  Combining the expansions from the amplitude and

1364:  its complex conjugate,

1365:  we derive Eq.\ (\ref{combofact}), with operators that 

1366:  describe the creation of a heavy quark pair from the

1367:  vacuum, summing over all final states that include hadron $H$.

1368:  The general form  of these operators

1369:   \cite{bodwin94} is

1370:   \ba

1371: {\mathcal O}^H_n(0)

1372: &=&

1373: \sum_N\ \chi^\dagger(0){\mathcal \kappa}_n\psi(0)\, \left | N,H\right\rangle\,

1374: \left\langle N,H \right|\, \psi^\dagger(0){\mathcal \kappa}'_n\chi(0)

1375: \nonumber\\

1376: &=&

1377: \chi^\dagger(0){\mathcal \kappa}_n\psi(0)\, \left(a^\dagger_Ha_H\right)\,

1378: \psi^\dagger(0){\mathcal \kappa}'_n\chi(0)

1379: \, ,

1380: \label{Ondef1}

1381: \ea

1382: where the insertion of the creation operator $a^\dagger_H$, which is understood

1383: to act on out states to produce hadron $H$,

1384: and its conjugate enable us to sum over the complete set of out

1385: states between the creation and annihilation operators.

1386: The first form defines the sum over

1387: final states appropriate to quarkonium production, while

1388: the second form is a convenient shorthand.

1389: 

1390: The following discussion is an attempt to analyze the

1391: basic assumption that enables us to expand in $v$

1392: in this manner.  That is, we will begin with the general

1393: momentum region illustrated by

1394: Fig.\ \ref{fragphyspict} and explore the reduction to 

1395: the simpler ``topologically factorized" picture of Fig.\ \ref{physaftercancel},

1396: by testing the cancellation of soft exchanges between the

1397: heavy quarks and semi-hard gluons, or equivalently,

1398: the Wilson line.

1399: 

1400: 

1401: \subsection{Operators and gauge completion}

1402: 

1403:  Our first observation, already described in \cite{nayak05}, is that matrix

1404:  elements of the form (\ref{Ondef1}) are not invariant under operator-valued

1405:  gauge transformations.   In general, the onium creation operators

1406:  $a_H$ and $a^\dagger_H$, which act on out states,  

1407:  need not commute with gauge transformations carried out

1408:  at the origin, even though they are themselves color singlets.

1409: As a result, it seems most natural to us to modify the

1410: operators (\ref{Ondef1}) to provide a form precisely analogous to 

1411: the gauge-invariant definitions of fragmentation functions

1412: in Eq.\ (\ref{fragfn1}) above,

1413:         \ba

1414: {\mathcal O}^H_n(0)

1415: \to

1416: \chi^\dagger(0){\mathcal \kappa}_{n,c}\psi(0)\, \Phi_l^{(A)}{}^\dagger(0){}_{cb}\, 

1417: \left(a^\dagger_Ha_H\right)\,

1418: \Phi_l^{(A)} (0)_{ba}\, \chi^\dagger(0) {\mathcal \kappa}'_{n,a}\psi(0)\, ,

1419: \label{replace}

1420: \ea

1421: in terms of ordered exponentials, defined as in

1422: Eq.\ (\ref{oexp}).  In the (complex conjugate) amplitudes, (anti)time-ordering

1423: is understood.

1424: We emphasize that such a redefinition is not

1425: required for self-consistency.  If one can demonstrate

1426: NRQCD factorization in terms of operators in any specific gauge, 

1427: a gauge-dependent definition of the operator matrix elements

1428: is admissible, as long as the gauge-dependence

1429: is not infrared sensitive.   Indeed, this is the case

1430: for fragmentation functions, because of the 

1431: cancellation of infrared divergences in final-state interactions

1432: at high $P_T$, as observed above.  In the absence of 

1433: a similar demonstration of infrared finiteness for

1434: the refactorization (\ref{combofact}) of fragmentation

1435: functions in terms of NRQCD operators, however,

1436: it seems natural to entertain (\ref{replace}) 

1437: as a plausible replacement.   We now turn to the

1438: expansion in relative velocity, which will enable us

1439: to test our suggestion.

1440: 

1441: 

1442:            \section{Velocity expansion}

1443: 

1444:       \subsection{Requirements for NRQCD factorization}

1445: 

1446:   To study the role of soft gluon emission in heavy quarkonium 

1447:   production, we will analyze

1448:   infrared divergences in the production amplitude 

1449:   for two heavy quarks, of total momentum $P$ and 

1450:  relative momentum, $q$: 

1451:  \ba

1452:  P_{1}= \frac{P}{2} + q \equiv p+q \qquad P_{2}= \frac{P}{2} - q \equiv p-q\, .

1453:  \label{p12def}

1454:  \ea

1455:  That is, we study the process $g\to c\bar{c}[{n_0}]+X$ with

1456: $c\bar{c}[{n_0}]= c(p+q)\bar c(p-q)$.

1457:    The lowest-order diagram for this fragmentation function is

1458:   shown in Fig.\ \ref{lofig}.  It consists of a single gluon  

1459:   splitting into the quark-anti-quark pair.  

1460: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1461: \begin{figure}[h]

1462: \begin{center}

1463: \epsfig{figure=fig5.eps,width=0.25\textwidth}

1464: \caption{ Lowest-order fragmentation function for $g\to c\bar{c}$.  

1465: There are no interactions on the eikonal quark pair or the Wilson line 

1466: that corresponds to

1467: an eikonal gluon of four-velocity $l$.  

1468: \label{lofig}}

1469: \end{center}

1470: \end{figure}

1471: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1472: 

1473: In the following, we will study infrared divergences in soft gluon

1474: corrections to 

1475: this process, when the quark-antiquark pair is created

1476: as a color octet, but is restricted to a singlet

1477: in the final state.   Otherwise, we sum over all perturbative final states.

1478: 

1479: To form a heavy quarkonium, of course, these quarks cannot be truly on-shell.

1480: Rather, they are off-shell by an energy of order $q^2/m_c$, characteristic

1481: of a Coulomb bound state \cite{Luke:1999kz}.   

1482: These are nonperturbative effects, however,

1483: while coefficient functions are calculated in perturbation theory.   The

1484: cancellation of divergences, and/or their matching to matrix elements

1485:  in soft-gluon corrections to Fig.\ \ref{lofig}

1486: is a necessary condition for NRQCD factorization.

1487: Any remaining  divergences would be a violation

1488: of factorization.  In our calculation below, we will  

1489:    find uncanceled divergences at NNLO for conventional operators, which, however, may

1490:    be absorbed into gauge-completed NRQCD operators.

1491: 

1492: 

1493:  \subsection{Expansion in the eikonal approximation}  

1494: 

1495:  Because our calculation will be carried out with on-shell quarks,

1496:  we can use the eikonal approximation for the coupling

1497:  of soft gluons to the quarks in order to identify infrared divergences in the cross section.  

1498:  Equivalently, we may

1499:  treat the quarks in heavy-quark effective theory to leading order in their mass.

1500:   Yet another equivalent, and for us particularly convenient, approach is to

1501:   replace the quarks by path-ordered exponentials, similar

1502:   to Eq.\ (\ref{oexp}) above, but now with time-like velocities representing the quark and antiquark.

1503: 

1504:   The dimensions of the velocity in ordered exponential (\ref{oexp}) can be

1505:  shifted by a change of variables in the parameter $\lambda$.

1506: For this reason, 

1507: we are free to identify the quark velocities directly with their momenta

1508:    $P_{1,2}=(P/2\pm q)$. 

1509:    At fixed (and unequal) values of $P_1$ and $P_2$, 

1510:   all infrared divergences can be found by the eikonal approximation.  

1511:     The eikonal approximation and hence infrared divergences

1512:    are completely independent of any spin

1513:   projections that we may make on the state of the quark pair.

1514:   As a result,  soft gluon emission separates from all dynamical

1515:   factors that involve the spins of the quarks, and enters

1516:   as a multiplicative factor.   We will come back to the limit $P_1=P_2$ 

1517:   below.

1518: 

1519:   We can classify the eikonal infrared-sensitive factors by the

1520:   color of the $c\bar c$ pair at creation (the origin of the ordered exponentials)

1521:   and  by their color in the final state.  Gluon emission, of course, will mix these states.

1522:   For an NRQCD-like factorization to hold, if we fix

1523:   the color of the $c\bar c$ pair in the final state, infrared divergences

1524:   either cancel or can be matched with matrix elements \cite{bodwin94}.   Finite remainders

1525:   will be associated with coefficient functions, as in 

1526:   the NLO calculations of Refs.\ \cite{ma94}-\cite{lee05}

1527: 

1528:   In summary, we will study the infrared factor

1529:   associated with the creation of a $c\bar c$ pair in an octet configuration,

1530:   and its evolution into a singlet in the final state.

1531:   This infrared factor may be written in the notation

1532:   of Eq.\ (\ref{oexp}) as

1533:   \ba

1534: {\cal I}^{(8\to 1)}(P_1,P_2)

1535: &=& 

1536: \sum_N

1537: <0|\, \left [\Phi_{P_2}^{(\bar{q})}{}^\dagger (0)\right]_{IJ} \left[T_d\right]_{JK}\ 

1538: \left[\Phi_{P_1}^{(q)}{}^\dagger(0) \right]_{KI}\, 

1539: \Phi_l^{(A)}{}^\dagger (0)_{db}\, \left| N\right\rangle

1540: \nonumber\\

1541: &\, & \hspace{20mm} \times

1542: \left< N \right| 

1543: \Phi_l^{(A)} (0)_{bc}\, 

1544: \left[\Phi_{P_1}^{(q)}(0)\right]_{LM} \left[T_c\right]_{MN} 

1545: \left[ \Phi_{P_2}^{(\bar{q})}(0)\right]_{NL} 

1546: \, |0\rangle \, ,

1547: \label{sigma81}

1548: \ea

1549: where we have exhibited all color indices: those in

1550: adjoint representation by $a,\, b \dots$, and those in

1551: the fundamental representation by $I,\, J\dots $, to indicate

1552: the trace structure, which imposes a color singlet configuration

1553: in the final state.  

1554: 

1555: The operator $\Phi^{(\bar q)}$ is the

1556: ordered exponential that represents the antiquark.

1557: It has the opposite sign on the coupling compared to the quark operator, and

1558: has color matrices ordered in the reverse sense

1559: to time ordering.  In the notation of the standard definition, Eq.\ (\ref{oexp}),  we represent

1560: this matrix ordering  by $\bar \P$, and define 

1561: \bea

1562: \Phi_{P_2}^{(\bar{q})}(0)

1563: = \bar \P \exp \left[ ig\int_0^\infty d\lambda\,  P_2\cdot A^{(q)}(P_2\lambda)\right]\, .

1564: \label{Phiqbar}

1565: \ea

1566: Here  $A^{(q)}_\nu \equiv \sum_a T_a\, A_{\nu,\, a}$ is the

1567: matrix-valued field in the quark fundamental representation.

1568: For classical fields, $\Phi_n^{(\bar q)}(0)$ is the  hermitian conjugate

1569: of $\Phi_n^{(q)}(0)$.

1570: In Eq.\ (\ref{sigma81}) and below,

1571: overall time-ordering of the field operators is understood in the amplitude,

1572: and anti-time ordering in its complex conjugate.

1573: For explicit computations,

1574: we restrict the sum over final states $N$ in Eq.\ (\ref{sigma81}) to 

1575: soft gluon emission only.

1576: 

1577:   The graphical rules for the interactions of gluons with

1578:   the ordered exponentials are exactly the same as the

1579:   eikonal approximation, and

1580:   propagators and vertices are given by 

1581:   \bea

1582:   \frac{i}{(\beta\cdot k+i\epsilon)} \quad  ,

1583:   \quad

1584:   \pm ig_sT_a\beta^\mu\, , 

1585:  \label{eikrules}

1586:  \eea

1587: with the plus for antiquarks and the minus for quarks

1588: on the vertex  and with

1589: $\beta^\mu$ the time-like quark four-velocity.   

1590: The quark and antiquark eikonal propagators are represented as

1591: heavy lines on the left-hand side of Fig.\ \ref{velexp}. 

1592: In this notation, Eq.\ (\ref{sigma81}) describes

1593: a product of color traces in the fundamental representation.

1594: Our ability to use the same notation for velocities

1595: as for momenta is manifest since the combination of 

1596: each eikonal vertex and propagator is

1597: scale-invariant.  In the pair rest frame

1598: the {\it relative velocity} of the members of the pair is

1599: proportional to the ratio $q^2/m_c^2 = 4q^2/P^2$.  

1600: 

1601:  In the spirit of NRQCD analysis, and because it leads

1602:  to some simplification, we will study corrections to Fig.\ \ref{lofig}

1603:  to order $q^2$, which is the first nontrivial order.

1604:  At zeroth order in $q^2$, the quark and antiquark  

1605:     never separate, and all infrared divergences cancel,

1606:     since there are no color multipoles to which they can couple.

1607:     We can see this in Eq.\ (\ref{sigma81}), in which both

1608:     the amplitude and complex conjugate amplitude reduce to

1609:     unity in the limit $P_1= P_2\to P/2$.  

1610:     This is easily proved by considering the $A(x)$-field with

1611:     the largest time in the amplitude.  This field may come

1612:     either from the quark exponential, $\Phi_{P_1}^{(q)}(0)$,

1613:     or the antiquark exponential $\Phi_{P_2}^{(\bar{q})}(0)$.

1614:     When $P_1=P_2$, the only difference between these

1615:     two terms is the relative minus sign between the quark

1616:     and antiquark vertices.   Every such pair of terms cancels pairwise.

1617:     An identical argument applies to the complex conjugate amplitude, and

1618:         there is therefore no overall $q$ term, and $q^2$ can be

1619:     reached only by expanding both the amplitude and its

1620:     complex conjugate to order $q$ independently.

1621: 

1622:     The expansion to order $q$ is straightforward, and has

1623:     a nice interpretation in terms of fields.  We start with the

1624:     expansion for the individual ordered exponentials,

1625:     \bea

1626:     q^\nu\frac{\partial}{\partial p^\nu}\ \Phi_{p}^{(q)}(0)

1627:     && =

1628:     -ig\int_0^\infty d\lambda'\,  \lambda' \,

1629:    \P \exp\left[ -ig\int_{\lambda'}^\infty d\lambda\; p\cdot  A^{(q)}(\lambda p)\right]

1630:     \nonumber\\

1631:     && \hspace{20mm} \times\; \left[\, p^\mu q^\nu F_{\nu\mu,a}(\lambda' p)T_a\, \right]

1632:     \; \P\exp\left[ -ig\int_0^{\lambda'}d\lambda\; p\cdot  A^{(q)}(\lambda p)\right]

1633:     \nonumber\\

1634:     - q^\nu\frac{\partial}{\partial p^\nu}\ \Phi_{p}^{({\bar q})}(0)

1635:     && =

1636:    -  ig\int_0^\infty d\lambda'\,  \lambda' \, T\, \Bigg \{\,

1637:     \bar \P\exp\left[ ig\int_0^{\lambda'}d\lambda\; p\cdot  A^{(q)}(\lambda p)\right]

1638:     \nonumber\\

1639:     && \hspace{20mm} \times\; \left[\, p^\mu q^\nu F_{\nu\mu,a}(\lambda' p)T_a\, \right]

1640:     \;  \bar \P\exp\left[ ig\int_{\lambda'}^\infty d\lambda\; p\cdot  A^{(q)}(\lambda p)\right]

1641:     \Bigg\}

1642:     \, ,

1643:     \label{derivoexp}

1644:     \ea

1645:     where the explicit minus sign on the left in the second expression anticipates that 

1646:     we will be expanding in the momentum of the anti-quark, $P_2 = p-q$.

1647:     In both of these  expressions, the time-ordering is from

1648:    right (earlier) to left (later), with an (opposite)

1649:     identical ordering of color matrices for the (anti) quark exponential.

1650:     We have inserted an explicit $T$ in the antiquark expression, to

1651:     remind ourselves that the operators and color matrices have the opposite

1652:     ordering in this case.

1653:     The operator $F_{\mu\nu,a}$ is the gluon field strength with

1654:     tensor and color indices.  Note the overall

1655:     factor of $\lambda'$, which reflects the increasing separation

1656:     of the quark and antiquark paths with increasing distance from

1657:     the origin when $q$ is changed by a constant amount.

1658: 

1659: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1660: \begin{figure}[h]

1661: \begin{center}

1662: \epsfig{figure=fig6.eps,width=0.7\textwidth}

1663: \caption{ Velocity expansion.  The heavy solid lines represent heavy

1664: quark propagators in the eikonal approximation.

1665: \label{velexp}}

1666: \end{center}

1667: \end{figure}

1668: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1669: 

1670: We now apply Eq.\ (\ref{derivoexp}) to the amplitudes in Eq.\ (\ref{sigma81}).

1671: Expanding $P_1$ and $P_2$ about $p\equiv P/2$ we find

1672:     \bea

1673:    q^\nu\frac{\partial}{\partial q^\nu}\  

1674:     \left< N \right|  \Phi_l^{(A)} (0)_{bc}\,

1675: \left[\Phi_{P_1}^{(q)}(0)\right]_{LM} \left[T_c\right]_{MN} 

1676: \left[ \Phi_{P_2}^{(\bar{q})}(0)\right]_{NL} \ \, |0\rangle\bigg|_{q=0}

1677: &=&

1678: \nonumber\\

1679: &\ & \hspace{-85mm}

1680: -ig \left< N \right| \,  \Phi_l^{(A)} (0)_{bc}\,

1681:   \left[ \P\exp\left[ -ig\int_0^\infty d\lambda\, p\cdot  A^{({q})}(\lambda p)\right]\, \right]_{LM}

1682:   \left[T_c\right]_{MN}

1683:   \nonumber\\

1684:   &\ &  \hspace{-70mm} \times\, 

1685:   \int_0^\infty d\lambda' \,  \lambda' \,

1686:   \Bigg \{\,

1687:     \bar \P\exp\left[ ig\int_0^{\lambda'}d\lambda\; p\cdot  A^{(q)}(\lambda p)\right]

1688:     \nonumber\\

1689:     && \hspace{-70mm} \times\; \left[\, p^\mu q^\nu F_{\nu\mu,a}(\lambda' p)T_a\, \right]

1690:     \;  \bar \P\exp\left[ ig\int_{\lambda'}^\infty d\lambda\; p\cdot  A^{(q)}(\lambda p)\right]

1691:     \Bigg\}

1692: _{NL}\, \, |0\rangle

1693: \nonumber\\

1694: &\ &

1695: \hspace{-85mm} 

1696: -ig \left< N \right| \,  \Phi_l^{(A)} (0)_{bc}\,   \int_0^\infty d\lambda' \,  \lambda' \,

1697:  \Bigg\{   \P\exp\ \left[ -ig\int_{\lambda'}^\infty d\lambda\, p\cdot  A^{(q)}(\lambda p)\right] 

1698:     \nonumber\\

1699:     && \hspace{-70mm} \times\; \left[\, p^\mu q^\nu F_{\nu\mu,a}(\lambda' p)T_a\, \right]

1700:     \;  \P\exp\left[ -ig \int_0^{\lambda'}d\lambda\, p\cdot  A^{(q)}(\lambda p)\right]\Bigg\}_{LM}

1701:  \left[T_c\right]_{MN}

1702:  \nonumber\\

1703: &\ &  \hspace{-70mm} \times

1704:   \left[ \bar \P \exp\left[ ig\int_0^\infty d\lambda\, p\cdot  A^{(q)}(\lambda p)\right]\, \right]_{NL}\, 

1705:   |0\rangle\, .

1706:   \label{expandprod1}

1707: \eea

1708: Here again, time ordering is understood for all field

1709: operators.  

1710: The lowest order of the expansions of the

1711: left- and right-hand sides of Eq.\ (\ref{expandprod1}) are shown

1712: graphically in Fig.\ \ref{velexp}.

1713: On the right, the vertex associated with the field strength 

1714: in the final form is represented by $\otimes$.

1715: 

1716:     We next apply reasoning similar to that which led to the cancellation of the ordered

1717:     exponentials at $q=0$.  Again, consider the $A$-field with largest variable $\lambda$,

1718:     assuming that there is at least one such field with $\lambda>\lambda'$, that is,

1719:     at least one field at a larger time than the field strength $p^\mu q^\nu F_{\nu\mu}$.

1720:     We recognize that whenever we find such a field, there is a cancellation between 

1721:     the cases when that field is associated with the quark and

1722:     antiquark ordered exponentials.   

1723:     All fields at times  greater than that of the field strength cancel, and we have

1724:     \bea

1725:    q^\nu\frac{\partial}{\partial q^\nu}\  

1726:     \left< N \right|  \Phi_l^{(A)} (0)_{bc}\,

1727: \left[\Phi_{P_1}^{(q)}(0)\right]_{LM} \left[T_c\right]_{MN} 

1728: \left[ \Phi_{P_2}^{(\bar{q})}(0)\right]_{NL} \ \, |0\rangle\bigg|_{q=0}

1729: &=&

1730: \nonumber\\

1731: &\ & \hspace{-95mm}

1732: -ig \left< N \right| \,  \Phi_l^{(A)} (0)_{bc}\,  \int_0^\infty d\lambda' \,  \lambda' \,

1733:   \left[ \P\exp\left[ -ig\int_0^{\lambda'} d\lambda\, p\cdot  A^{({q})}(\lambda p)\right]\, \right]_{LM}

1734:   \left[T_c\right]_{MN}

1735:   \nonumber\\

1736:   &\ &  \hspace{-70mm} \times\, 

1737:   \Bigg \{\,

1738:     \bar \P\exp\left[ ig\int_0^{\lambda'}d\lambda\; p\cdot  A^{(q)}(\lambda p)\right]

1739:     \; \left[\, p^\mu q^\nu F_{\nu\mu,a}(\lambda' p)T_a\, \right]

1740:     \;  

1741:     \Bigg\}

1742: _{NL}\, \, |0\rangle

1743: \nonumber\\

1744: &\ &

1745: \hspace{-115mm} 

1746: -ig \left< N \right| \,  \Phi_l^{(A)} (0)_{bc}\,   \int_0^\infty d\lambda' \,  \lambda' \,

1747:  \Bigg\{ \; \left[\, p^\mu q^\nu F_{\nu\mu,a}(\lambda' p)T_a\, \right]

1748:     \;  \P\exp\left[ -ig \int_0^{\lambda'}d\lambda\, p\cdot  A^{(q)}(\lambda p)\right]\Bigg\}_{LM}

1749:  \left[T_c\right]_{MN}

1750:  \nonumber\\

1751: &\ &  \hspace{-70mm} \times

1752:   \left[ \bar \P \exp\left[ ig\int_0^{\lambda'} d\lambda\, p\cdot  A^{(q)}(\lambda p)\right]\, \right]_{NL}\, 

1753:   |0\rangle

1754:   \nonumber

1755:   \eea

1756:   \bea

1757:   && \hspace{5mm} =

1758:   -2ig \left< N \right| \,  \Phi_l^{(A)} (0)_{bc}\,   \int_0^\infty d\lambda' \,  \lambda' \, {\rm Tr}\,

1759:  \Bigg\{ \; \left[\, p^\mu q^\nu F_{\nu\mu,a}(\lambda' p)T_a\, \right]

1760:   \nonumber\\

1761: &&  \hspace{10mm} \times

1762:     \;  \P\exp\left[ -ig \int_0^{\lambda'}d\lambda\, p\cdot  A^{(q)}(\lambda p)\right]\;

1763:  T_c\;

1764:    \bar \P \exp\left[ ig\int_0^{\lambda'} d\lambda\, p\cdot  A^{(q)}(\lambda p)\right]\, \Bigg\}\,

1765:   |0\rangle\, .

1766:   \label{expandprod2}

1767: \eea

1768: In the last line we have used the cyclic nature of the color trace

1769: and the anti-path ordering of the antiquark exponential

1770: to show that the two terms above are equal.

1771: Next, we note that were it not for the generator $T_c$, we could

1772: use the same reasoning as above to show that the $A$-field of lowest

1773: $\lambda'$ cancels between the quark and antiquark  exponentials.

1774: The nonvanishing remainder, therefore, is a commutator,

1775: \bea

1776: -ig A_d\left(\lambda_{\mathrm min}p\right)\left[\, T_d, T_c\,  \right] 

1777: &=&

1778: g A_d\left(\lambda_{\mathrm min}p\right)\, f_{dce} T_e

1779: \nonumber\\

1780: &=& -ig A_d\left(\lambda_{\mathrm min}p\right)\, [T_d^{(A)}]_{ec}\, T_e\, ,

1781: \nonumber\\

1782: &=& T_e\, \left(-ig A^{(A)}\left(\lambda_{\mathrm min}p\right)\, \right)_{ec} \, ,

1783: \label{convertcolor}

1784: \eea

1785: where $[T^{(A)}_d]_{ec}= -if_{dec}$ is a generator in the adjoint representation.

1786: In effect, the gluon field is converted from the fundamental representation to

1787: the adjoint.

1788: 

1789: At any order in $g$, this procedure may be repeated

1790: until all $A$-fields from the remaining ordered exponentials have

1791: been converted from fundamental to

1792: adjoint representation in  Eq.\ (\ref{expandprod2}).

1793: The final color trace in fundamental representation is trivial

1794: (and gives $1/2$),

1795: and we derive the relatively simple  form

1796:    \bea

1797:       q^\nu\frac{\partial}{\partial q^\nu}\  

1798:     \left< N \right|  \Phi_l^{(A)} (0)_{bc}\, 

1799: \left[\Phi_{P_1}^{(q)}(0)\right]_{LM} \left[T_c\right]_{MN} 

1800: \left[ \Phi_{P_2}^{(\bar{q})}(0)\right]_{NL} 

1801: \, |0\rangle\Bigg |_{q=0}

1802: &=&

1803: \nonumber\\

1804: &\ & \hspace{-115mm}

1805: - ig   \int_0^\infty d\lambda' \,  \lambda' \, \left< N \right| \,  \Phi_l^{(A)} (0)_{bc}\,

1806:    \left[\, p^\mu q^\nu F_{\nu\mu,a}(\lambda' p)\, \right]

1807:      \Bigg\{   \;

1808:        \P\exp\left[ -ig \int_0^{\lambda'}d\lambda\, p\cdot  A^{(A)}(\lambda\, p)\right]\Bigg\}_{ac}\, \, |0\rangle

1809:     \nonumber\\

1810:     &\ & \hspace{-95mm}

1811: = - ig   \int_0^\infty d\lambda' \,  \lambda' \, \left< N \right| \,  \Phi_l^{(A)} (0)_{bc}\,

1812:    \left[\, p^\mu q^\nu F_{\nu\mu,a}(\lambda' p)\, \right]

1813:     \Phi_p^{(A)}(\lambda')_{ac}\, \, |0\rangle\, ,

1814:     \label{expandprod3}

1815:     \eea

1816:     in which all fields are in adjoint representation.  There is only

1817:     a single ordered exponential, linking the gauge index at the origin ($c$) 

1818:     with the field strength at the variable  point $\lambda'$.  

1819:     Note that the index $c$ of $\Phi_p^{(A)}$ is itself linked to the final state by

1820:     the auxiliary ordered exponential that we have added in

1821:     the $l$ direction through gauge completion, as described above and in Ref.\ \cite{nayak05}.

1822: 

1823:     To derive contributions of order $v^2$, or equivalently $q^2/m_c^2=4q^2/P^2$, we will study the

1824:     nonlocal matrix element

1825:     \bea

1826:     {\cal I}_2(p,q) &\equiv&

1827:     \nonumber\\

1828:     &\ & \hspace{-20mm}

1829:     \sum_N

1830:      \int_0^\infty d\lambda' \,  \lambda' \, \left< 0 \right| \,  \Phi_l^{(A)}{}^\dagger (0)_{bc'}\,

1831:      \Phi_p^{(A)}(\lambda'){}^\dagger_{a'c'}\,

1832:         \left[\, p^\mu q^\nu F_{\nu\mu,a'}(\lambda' p)\, \right]\,

1833:        \left|  N\right\rangle

1834:        \nonumber\\

1835:        &\ & \hspace{-15mm} \times  \left\langle N\right|

1836:     \int_0^\infty d\lambda' \,  \lambda' \,  \Phi_l^{(A)} (0)_{bc}\,

1837:    \left[\, p^\mu q^\nu F_{\nu\mu,a}(\lambda' p)\, \right]

1838:      \Phi_p^{(A)}(\lambda')_{ac}\, \, |0\rangle\, .

1839:             \label{M2def}

1840:        \eea

1841:        As above, (anti-) time ordering is implicit in the (complex conjugate) amplitudes.

1842:     This is the complete  ${\cal O}(v^2)$ result for ${\cal I}^{(8\to 1)}$, Eq.\ (\ref{sigma81}),

1843:     because, as we have seen

1844:     above, at  order  ${\cal O}(v^0)$, the quark and anitquark eikonal lines in both 

1845:     the amplitude or its complex conjugate cancel completely,  and thus decouple

1846:     for soft radiation.  

1847: 

1848:     In the following, we will study the expansion of Eq.\ (\ref{M2def}) to

1849:     NNLO.   

1850:    The explicit factor of $\lambda'$ in Eq.\ (\ref{expandprod3}) modifies the

1851: eikonal propagators.  To see this, we can formally evaluate the $\lambda'$ integral in

1852: Eq.\ (\ref{expandprod3}) in terms of the Fourier  transform of the field strength,

1853: $\tilde F_{\nu\mu,a}(k) \equiv \int d^4x F_{\nu\mu,a}(x) \exp [ - ik\cdot  x]$.  With

1854: this convention, momentum $k$ flows into the field strength (and hence

1855: out of the eikonal lines).   For a given  order

1856: in the expansion of the adjoint ordered exponential in Eq.\ (\ref{expandprod3}),

1857: the lower limit of the $\lambda'$ integral is

1858: some value $\lambda_m$, the maximum value of $\lambda$ 

1859: in the ordered fields $p\cdot A^{(A)}(\lambda p)$

1860: from $\Phi_p^{(A)}$.  The relevant integral is then

1861: \bea

1862: -ig  \int_{\lambda_m}^\infty d\lambda' \,\lambda'

1863: \int {d^4k \over (2\pi)^4} \,  {\rm  e}^{i\lambda'(n\cdot k+i\epsilon)}\, \tilde F_{\nu\mu,a}(k)

1864: &=& \nonumber\\

1865: &\ & \hspace{-50mm}

1866: -ig \int {d^4k \over (2\pi)^4} \,  {\rm  e}^{i\lambda_m(n\cdot k+i\epsilon)}\, \tilde F_{\nu\mu,a}(k)\,

1867: \left[\, \lambda_m\, \frac{i}{n\cdot k + i\epsilon} - \frac{1}{(n\cdot k+i\epsilon)^2}

1868: \, \right]\, ,

1869: \eea

1870: where we  have integrated by parts.

1871: The second term gives

1872: a squared eikonal propagator. 

1873: The first (boundary) term  in brackets on the right-hand side gives the  standard

1874: eikonal propagator of Eq.\ (\ref{eikrules}), times a factor of $\lambda_m$,

1875: producing a similar pattern in the next integral.    The next integral will again give a    

1876: squared propagator plus a boundary term, until the final $\lambda$ integral,

1877: for which the lower limit is zero and the boundary term vanishes.

1878:  The  result for a specific diagram is to replace the standard product

1879: of eikonal propagators by a sum of terms, in each of which one of the propagators 

1880: is squared.    Vertices for the operators $p\cdot A$ are

1881: unchanged.  The relevant

1882:  graphical notations for vertices  are shown in Fig.\ \ref{Fvertices}. 

1883:   The three-point field strength vertex may

1884:     be represented as 

1885:     \bea

1886:     U^\mu_{F,ac}(p,q,k) = - g\, \delta_{ac}\, \left( (p\cdot k) q^\mu - (q\cdot k) p^\mu\right)\, ,

1887:     \label{Udef}

1888:     \eea

1889:     and the four-point vertex as

1890:     \bea

1891:     W^{\mu\nu}_{F,abc}(p,q) =

1892:   ig^2  f_{abc}\, \left(\, p^\mu q^\nu -  q^\mu  p^\nu\, \right)\, .

1893:     \ea

1894:     In both cases, $c$ represents the color factor of the field strength

1895:     tensor of Eq.\ (\ref{expandprod3}), while $a$ and/or $b$ are

1896:     the color indices of the gluon(s) that couple to the field strength. 

1897:     Because the adjoint eikonal lines end at the field strength    in (\ref{expandprod3}), 

1898:     corresponding to the color singlet  pair in the final state,

1899:     the three- and four-point vertices have

1900:     only two and three color indices, respectively.

1901: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1902: \begin{figure}[h]

1903: \begin{center}

1904: \epsfig{figure=fig8a.eps,width=0.2\textwidth}

1905: \hfil

1906: \epsfig{figure=fig8b.eps,width=0.2\textwidth}

1907: \hfil

1908: \epsfig{figure=fig8c.eps,width=0.2\textwidth}

1909: \hfil

1910: \epsfig{figure=fig8d.eps,width=0.2\textwidth}

1911: 

1912: (a) \hskip 0.21\textwidth

1913: (b) \hskip 0.21\textwidth

1914: (c) \hskip 0.21\textwidth

1915: (d)

1916: \caption{a) Eikonal vertex; (b,c) vertices for the field strength; (d) line

1917: with eikonal and field strength interactions.

1918: \label{Fvertices}} 

1919: \end{center}

1920: \end{figure}

1921: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1922: 

1923: As an example, corresponding to Fig.\ \ref{Fvertices}d, we have the expression

1924: \bea

1925: g\, P^{\mu'}\ U^\mu_{F,ac}(P,q,k)\; \left[ \; \frac{1}{-P\cdot k'+i\epsilon}\,  \frac{1}{(-P\cdot k + i\epsilon)^2}

1926: +   \frac{1}{(-P\cdot k' + i\epsilon)^2}\, \frac{1}{-P\cdot k+i\epsilon}\;

1927: \right]\, ,

1928: \label{doublepoles}

1929: \eea

1930: where we have chosen the sign of the infinitesimal imaginary part

1931: appropriate to the amplitude.  To avoid clutter in and proliferation of figures, we will

1932: not introduce a graphical notation for squared propagators, but 

1933: simply assume that the sum over terms is carried out in every diagram

1934: with a field strength operator at  the largest time.

1935: 

1936: The three-point vertex, $U^\mu_F$ in Eq.\ (\ref{Udef}) is just the momentum representation

1937: of the Maxwell term of the field strength.   It thus trivially decouples from

1938: scalar-polarized gluons,

1939: \bea

1940: U^\nu_F(p,q,k) k_\nu = 0\, .

1941: \label{Utransverse}

1942: \eea

1943: This result will lead to considerable simplification in our

1944: calculations; in particular, it eliminates, on a diagram-by-diagram

1945: basis, collinear poles associated with the octet eikonal

1946: line in the $\ell$ direction.  This is because in any

1947: covariant gauge, collinear divergences are associated

1948: with gluons whose polarization is proportional to their

1949: momenta in the collinear limit \cite{Ste78}.

1950: 

1951: In the next two sections, we apply these rules to study

1952: the coupling of soft gluons to the heavy quark pair.  We begin

1953: at NLO, and  then generalize to NNLO.

1954: 

1955:  \section{Next-to-leading Order}

1956: 

1957:   Figs.\ \ref{nlofig}a and b illustrate

1958:   the origin of infrared divergences

1959:   in the fragmentation function at next-to-leading order in $\as$

1960:   to order $v^2$.  This infrared structure is the same as the

1961:   lowest order contribution to ${\cal I}_2$, Eq.\ (\ref{M2def}).

1962:   As in Fig.\ \ref{velexp}, the sum over

1963: gluon connections to quark and antiquark on each side of the cut 

1964: has been replaced by 

1965: a single field-strength vertex.

1966:   Because the parent gluon is off-shell by order $m_c$,

1967:   we may contract it to a point to study 

1968:   soft gluon corrections.  For this purpose, it is

1969:   then equivalent to study the matrix elements (\ref{sigma81}) 

1970:   to next-to-leading order, and that is how we shall

1971:   describe our calculation below.  We emphasize, however,

1972:   that there is a trivial mapping from the matrix elements 

1973:   to the fragmentation functions.

1974: 

1975:   The vertical lines in Fig.\ \ref{nlofig} represent the quark-antiquark

1976:   pair in the final state, and a projection onto a color singlet 

1977:   (implemented by a color trace) is understood, along

1978:   with a sum over all connections of the gluon to the

1979:   quark and antiquark.

1980: The full set of diagrams is found by completing the cut, which

1981: can be done in only one way for \ref{nlofig}a, where

1982: the gluon must be in the final state.  For Fig.\ \ref{nlofig}b,

1983: on the other hand, there are two

1984: possibilities, one with a virtual gluon correction and

1985: one with a real gluon.  In fact, of the two diagrams, only \ref{nlofig}a 

1986: can contribute to ${\cal I}^{(8\to 1)}$, Eq.\ (\ref{sigma81}).

1987: If we  require a color singlet pair in the final state

1988: Fig.\ \ref{nlofig}b requires interference between 

1989: octet and singlet in the hard scattering functions.

1990: We consider this diagram because it follows a pattern

1991: observed in the original arguments for NRQCD factorization,

1992: given in Ref.\ \cite{bodwin94}, and because 

1993: its square contributes to ${\cal I}^{(8 \to 1)}$ at NNLO.

1994: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1995: \begin{figure}[h]

1996: \begin{center}

1997: \epsfig{figure=fig9a.eps,width=0.23\textwidth}

1998: \hskip 0.1\textwidth

1999: \epsfig{figure=fig9b.eps,width=0.23\textwidth}

2000: 

2001: (a) \hskip 0.29\textwidth (b)

2002: \caption{Representative NLO contributions to $g\to c\bar{c}$ fragmentation in 

2003: eikonal approximation are found by all cuts of these diagrams.

2004: In these figures, the parent gluon is contracted to a point, represented

2005: by the dark circle, because it is off-shell by

2006: order $m_c$. \label{nlofig} .}

2007: \end{center}

2008: \end{figure}

2009: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2010: 

2011: Let us begin with Fig.\ \ref{nlofig}a, which has a 

2012:  topologically-factorized form, in which

2013: the soft gluon connects only to the heavy quarks, rather

2014: than to other finite-energy final-state lines.

2015: (In this case, the only such line is the eikonal line in direction $l$.)

2016: From the perturbative rules described above, we

2017: immediately write down the following integral, which is

2018: readily evaluated in $D=4-2\varepsilon$ dimensions,

2019: \begin{eqnarray}

2020: \Sigma^{(8a)}(P,q)~

2021: &=&~ 16\, g^2\mu^{2\varepsilon}\, \int \frac{d^D 

2022: k}{(2\pi)^{D-1}}~\delta(k^2)\,

2023:     [q_\nu (P\cdot k)-(q\cdot k) P_\nu] \nonumber\\

2024: && \hspace{30mm} \times

2025: \ [q^\nu (P\cdot k) - (q\cdot k) P^\nu]

2026: \frac{1}{[(P\cdot k)^2]^2} \nonumber\\

2027: &=& {16\over 3}\, {\alpha_s\over \pi}\, {\vec{q}\, {}^2\over P^2}\, 

2028: {1\over -\varepsilon} + \dots\, .

2029: \label{nlopt}

2030: \end{eqnarray}

2031: Here we have suppressed color factors, including the factor

2032: of 1/2 from the color trace mentioned above Eq.\ (\ref{expandprod3}).

2033: The infrared pole in this result is familiar from 

2034: NLO calculations of fragmentation \cite{ma94,braaten97,petrelli98},

2035: in which it is matched to the relevant NRQCD matrix element.

2036: 

2037: We now turn to the cuts of

2038: Fig.\ \ref{nlofig}b, which contribute only to

2039: color interference terms.  These diagrams, in which the gluon connects the quark-antiquark

2040: pair with the eikonal line, are not topologically factorized. Based

2041: on the arguments of \cite{bodwin94}, we expect these to cancel,

2042: and they do.  This was verified explicitly in Ref.\ \cite{ma05}

2043: for the case of color octet pairs in the  final state.

2044:  It will be instructive, however, to see how

2045: this happens in our velocity-expanded form to

2046: linear order in  $q$ with a color singlet final state, because the cancelation 

2047: found here  will  be  relevant to NNLO.

2048: 

2049: We consider first the cut diagram with a virtual

2050: gluon loop in the amplitude.  For our purposes,

2051: the overall normalization of the diagram is 

2052: arbitrary, and we  write

2053: \bea

2054: \Sigma^{(8b)}_{\rm virtual}

2055: =

2056: g^2 \int \frac{d^Dk}{(2\pi)^D}\, N(P,k,q,\ell)\, {1 \over (P\cdot k+i\epsilon)^2}\;

2057: {1 \over k^2+i\epsilon}\ {1 \over - \ell\cdot k + i\epsilon}\, ,

2058: \label{sigma8bvirt}

2059: \eea

2060: with numerator factor 

2061: \bea

2062: N(P,k,q,\ell)

2063: &=&

2064: 2\, \left[

2065: q\cdot \ell\, (P\cdot k) - P\cdot \ell\, (q\cdot k)

2066: \right] 

2067: \nonumber\\

2068: &=& 

2069: \sqrt{2} \; P_0 \; \ell^- \,

2070: \left[ \sqrt{2}k^+q_3 + q_\perp\cdot k_\perp\right]\, .

2071: \eea

2072: In this diagram, as in subsequent loop integrals, we will integrate 

2073: first the minus loop momentum, by closing contours in the lower half-plane

2074: and picking up the relevant poles.   Certain regularities and

2075: cancellations are conveniently represented in this manner,

2076: reducing the number of diagrams that must be computed explicitly.

2077: The result is shown in Fig.\  \ref{1looppolefig}.

2078: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2079: \begin{figure}[h]

2080: \begin{center}

2081: \epsfig{figure=fig10a.eps,width=0.2\textwidth}

2082: \hskip 0.05\textwidth 

2083: \epsfig{figure=fig10b.eps,width=0.2\textwidth}

2084: \hskip 0.05\textwidth 

2085: \epsfig{figure=fig10c.eps,width=0.2\textwidth}

2086: \hskip 0.2\textwidth

2087: 

2088: (a) \hskip 0.23\textwidth

2089: (b) \hskip 0.23 \textwidth

2090: (c)

2091: \caption{a,b) Poles resulting from closing the minus loop

2092: integral in cut diagrams corresponding to Fig.\ \ref{nlofig}b.  

2093: c) Corresponding representation

2094: of real gluon emission. \label{1looppolefig}}

2095: \end{center}

2096: \end{figure}

2097: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2098: The double pole from  the quark pair octet eikonal denominator,

2099: $(P\cdot k+i\epsilon)^2$, is always in the $k^-$

2100: lower half-plane, while the pole of the exchanged gluon

2101: is in the lower half-plane only when $k^+$ flows in

2102: the direction indicated in the figure.   Closing in the lower half-plane, 

2103: and neglecting the term odd in $k_\perp$ we find only a terms proportional to $q_3$,

2104: \bea

2105: \Sigma^{(8b)}_{\rm virtual,1}

2106: &=&

2107:  i\, 4\, \frac{q_3}{P_0}\ \frac{g^2}{(2\pi)^{D-1}}\, 

2108: \int d^{D-2}k_\perp \int_{-\infty}^\infty dk^+\;

2109: \Bigg \{\, {d \over dk^-}

2110: \left({1 \over k^2+i\epsilon}\right) \Bigg |_{k^-=-k^+}  \nonumber\\

2111: &\ & \hspace{55mm} 

2112: + \theta(k^+)\, \frac{1}{2k^+}\, 

2113: {1\over (k^+{}+k_\perp^2/2k^+)^2}\, \Bigg \}\nonumber\\

2114: &\ & \hspace{-10mm} 

2115: =  

2116:   i\, 4\, \frac{q_3}{P_0} \frac{g^2}{(2\pi)^{D-1}}\, \int d^{D-2}k_\perp

2117: \left\{  \int_{-\infty}^\infty dk^+\;

2118: { -2 k^+ \over (2k^+{}^2 + k_\perp^2)^2} 

2119: \; + \int_0^\infty {dk^+\over 2k^+}

2120: {1\over (k^+ + k_\perp^2/2k^+)^2}\, \right \}\, .  

2121: \nonumber\\

2122: \label{nlopoleterms}

2123: \eea

2124: These two terms correspond to the diagrams in Fig.\ \ref{1looppolefig}a and b,

2125: where the straight line through the eikonal or gluon line indicates 

2126: the $k^-$  pole  chosen.

2127: Both of these terms are logarithmically divergent by power-counting

2128: in the soft limit.   As in the case above, however, they are 

2129: collinear finite.   In fact, the first term on the right-hand side

2130: is odd in $k^+$ and vanishes after symmetric integration.

2131: The pole at $k^+=0$, which would correspond to an on-shell

2132: intermediate state, has vanishing residue at order $q$.

2133: 

2134: In the second term of the right-hand side of Eq.\ (\ref{nlopoleterms}),

2135: the exchanged gluon is on-shell with

2136: positive plus momentum flowing from the heavy quark pair to the 

2137: eikonal lines.  Its contribution to the cross section, as illustrated in

2138: Fig.\ \ref{1looppolefig}b,

2139: is real, and it is straightforward to verify that it cancels the

2140: corresponding diagram for real gluon emission, illustrated by

2141: Fig.\ \ref{1looppolefig}c, which has a

2142: standard flow of gluon momentum ($k^+>0$) in the cut diagram.  We will use the

2143: notation shown in these figures to help organize our NNLO

2144: computations below.

2145: 

2146: At the level of NLO, we have found that one-loop corrections

2147: indeed follow the expected pattern: they cancel except when

2148: topologically-factorized, and are thus consistent with

2149: matching to conventional NRQCD matrix elements.  The presence of

2150: the octet Wilson line in our gauge-completed matrix elements

2151: does not change this pattern at NLO, as observed in Ref.\ \cite{ma05}

2152: 

2153: Before going on to the details of the NNLO calculations, 

2154: we make a comment on gauge independence. 

2155:    As defined, the factorized fragmentation functions are gauge invariant,

2156:    since the eikonal and the pair creation operators

2157:    $\Phi^{(A)}_\ell\psi^\dagger {\cal K}_n\chi$ of

2158:    Eq.\ (\ref{replace}) are contracted to form a color

2159:    singlet vertex.  Also, as we have seen,

2160:    because of Eq.\ (\ref{Utransverse}),  there are immediate

2161:    cancellations of many gauge terms like $k^\mu k^\nu/(k^2)^2$

2162:   for a gluon of momentum $k$, because of

2163:   the field strength vertices that appear when we expand in the

2164:    relative velocity of the quark pair.  

2165:   We can, of course, decouple the eikonal

2166:   gauge line entirely, by choosing an $\ell\cdot A=0$ gauge.  

2167:   The gauge invariance of the matrix elements assure that

2168:   the result would be the same.   For our

2169:   purposes, however, Feynman gauge is most convenient.

2170: 

2171: 

2172:    \section{The Fragmentation Function at NNLO}

2173: 

2174: In this section we study in detail the infrared behavior 

2175: of the gauge-completed gluon fragmentation function at NNLO.

2176: Specifically, we will study non-topologically

2177: factorized diagrams at order $\as^2$ in Eq.\ (\ref{sigma81}).

2178: We will find uncanceled infrared divergences for

2179: this set of diagrams, corresponding to ${\cal O}(v^2)$ 

2180: contributions to the fragmentation functions.

2181: We emphasize that the same infrared poles (proportional

2182: to $\as^2/(-\vep)$)

2183: appear in cross sections, associated

2184: with soft gluon exchanges between the quark

2185: pair and a recoiling gluon.  For this reason,

2186: the gauge-completion of matrix elements

2187: is necessary for factorization.  At the same time,

2188: we will observe that the infrared pole is independent

2189: of the direction of the vector $\ell^\mu$.  

2190: This shows that

2191: the gauge-completed fragmentation function

2192: is universal to NNLO.  The same fragmentation function

2193: will match  infrared poles for 

2194: the quark pair recoiling against a gluon

2195: in any frame, or indeed (as we shall see),

2196: for any set of recoiling jets at this order of soft gluon exchange.

2197: We are not yet able to show, however, that this redefinition

2198: is universal at all orders

2199: in soft gluon exchange.

2200: 

2201: 

2202:    \subsection{The diagrams}

2203: 

2204:    The soft-gluon diagrams that we will evaluate are shown in

2205:    Fig.\ \ref{softgluonfig}.   

2206:    Here, we compute only those contributions that

2207:    correspond to the transition of a color octet pair to

2208:    color singlet in both amplitude and complex conjugate.   

2209:    For NRQCD factorization to hold,

2210:    all infrared divergences should either cancel or

2211:    factorize into octet matrix elements.

2212: 

2213:    We will discuss the diagrams of Fig.\ \ref{softgluonfig}

2214:    one at a time.

2215:    In evaluating each diagram, $k_1$ is defined as the momentum of

2216:    the gluon that attaches to the quark pair at the left-most

2217:    vertex, and it is always chosen to flow left to right in the

2218:    diagrams.  We label the momentum of the remaining

2219:    gluon line attached to the quark pair as $k_2$, choosing

2220:    it to flow upward to the pair in each case.  As observed

2221:    in Sec.\ 5, the structure of the field strength vertex 

2222:    automatically eliminates collinear poles associated

2223:    with soft gluons parallel  to the $\ell$ direction.

2224: 

2225:    For the purposes of this section, momenta associated

2226:    with the quark eikonal lines, $P$, $p=P/2$ and $q$, will

2227:    all be scaled by the quark mass, $m_c$.  In the quarkonium

2228:    rest frame, then, we have $P = (2, \vec 0)$, $p=(1, \vec 0)$

2229:    and $q = (0, \vec v/2)$.   

2230: 

2231:    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2232: \begin{figure}[h]

2233: \begin{center}

2234: \epsfig{figure=fig11a.eps,width=0.19\textwidth}

2235: \hskip 0.14\textwidth

2236: \epsfig{figure=fig11b.eps,width=0.19\textwidth}

2237: \hskip 0.14\textwidth

2238: \epsfig{figure=fig11c.eps,width=0.19\textwidth}

2239: 

2240: (I) \hskip 0.3\textwidth

2241: (II) \hskip 0.3\textwidth

2242: (III)

2243: 

2244: \epsfig{figure=fig11d.eps,width=0.30\textwidth}

2245: \hskip 0.03\textwidth

2246: \epsfig{figure=fig11e.eps,width=0.30\textwidth}

2247: \hskip 0.03\textwidth

2248: \epsfig{figure=fig11f.eps,width=0.30\textwidth}

2249: 

2250: (IV) \hskip 0.3\textwidth

2251: (V) \hskip 0.3\textwidth

2252: (VI)

2253: 

2254: \caption{Diagrams I - VI discussed in the text. 

2255: We sum over all cuts of these diagrams that can

2256: produce a color singlet quark pair.   At the hard

2257: vertex, the pair is created in an octet state.

2258:  \label{softgluonfig}}

2259: \end{center}

2260: \end{figure}

2261: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2262: 

2263: \subsection{Summary of results}

2264: 

2265: In the remainder of this section, we have given the

2266: calculations that confirm our claims above in substantial

2267: detail.   Since this discussion is of necessity rather detailed,

2268: it may be useful to summarize our results at the outset.

2269: Each of the diagrams in Fig.\ \ref{softgluonfig} contributes to the NNLO infrared

2270: factor in three separate quantities: first, the inclusive cross section

2271: for the production of a color-singlet charm pair of total momentum

2272: $P$ to order $q^2$ in their relative momentum, through the fragmentation

2273: of an off-shell gluon; second, the fragmentation function for a gluon

2274: to the same color-singlet pair; and third, the 

2275: gauge-completed production matrix element

2276: Eq.\ (\ref{replace}) for the production of the color-singlet pair from a local

2277: color-octet combination of quark and antiquark operators.  

2278: The matching of the cross section with the fragmentation

2279: function was shown in Sec.\ 2, and the matching of

2280: the fragmentation function (\ref{fragfn1}) with the production

2281: matrix element (\ref{replace}) in Sec.\ 3.  Notice, however,

2282: that these diagrams do not appear in the conventional

2283: production matrix element (\ref{Ondef1}).  Since all

2284: other diagrams are held in common between 

2285: the two matrix elements (\ref{replace}) and (\ref{Ondef1}), we

2286: can confidently conclude that the modification of

2287: the matrix element is necessary for matching at NNLO,

2288: at least in Feynman gauge.

2289: Indeed, because the two sets of diagrams

2290: are actually the same in a light-cone $\ell\cdot A=0$ gauge,

2291: this is a quick way to see that the matrix elements

2292: without the $\ell$ eikonal lines are not gauge invariant.

2293: 

2294: In the following subsections, we identify the diagrams

2295: by the numbers in Fig.\ \ref{softgluonfig}.  In view of the above,

2296: we recognize that each of the quantities: cross section,

2297: gluon fragmentation function, and  production matrix element

2298: is proportional to the sum of these diagrams, multiplied by 

2299: infrared-safe factors.  There is no question that

2300: for individual final states, these diagrams are

2301: infrared sensitive.  The question that we address

2302: in this calculation is whether, when all the final

2303: states of all the  diagrams are combined, 

2304: the infrared poles remain.  As indicated above, the answer is yes.

2305: 

2306: Discussing the diagrams one-by-one, the actual results (in covariant 

2307: gauge) are rather simple to summarize.  {\it The infrared poles

2308: in dimensional regularization for diagrams I, II, IV, V and VI

2309: all cancel.}   Only diagram III provides a noncancelling pole,

2310: given by\footnote{The factor of two on the left is a convention in our calculation below.}

2311: \bea

2312: 2{\rm Re} III = - \alpha_s^2~\frac{1}{3 \varepsilon}~\frac{{\vec{v}}{\, }^2}{4}\, ,

2313: \label{IIIdivergence}

2314: \eea

2315: with $\vec v$ the relative velocity.

2316: Multiplied by the appropriate color factors, 

2317: this pole will appear in the calculation of all

2318: of the three quantities just discussed.  Eq.\ (\ref{IIIdivergence}) 

2319: is the basic result of our calculation.  Because it is nonzero,

2320: the gauge-completion of NRQCD matrix elements appears

2321: to be necessary to extend this formalism to production

2322: processes at NNLO.  Conventional matrix elements

2323: simply will not match the infrared poles that  are

2324: encountered in cross sections and fragmentation

2325: functions at this order.

2326: 

2327: Having said this much, the reader who wishes to avoid,

2328: or delay, the details of the NNLO calulation may skip to

2329: the final subsection of this section, where we discuss how

2330: the applicability of this result to cross secctions involving

2331: the production of the pair with arbitrary numbers of

2332: hard jets, and to the conclusions, for a brief recapitulation.

2333: 

2334:    \subsection{Ladder-like diagrams}

2335: 

2336:   Diagrams I and II have a ladder and crossed-ladder

2337:   structure.  We discuss the calculation of infrared poles

2338:   in II in some detail; diagram I has a very similar structure.

2339:   We will show that the single IR pole of diagram II has

2340:   an imaginary residule.  

2341:   

2342:   The cuts of diagram II, that is the 

2343:   contributions from various final 

2344:   states, are

2345:   shown in Fig.\ \ref{diaIIcuts}a.   We begin with diagram IIA, in

2346:   which a single gluon appears the final state.  IIA is the

2347:   complex conjugate of IIC, while IIB is real.  Thus, at the

2348:   order to which we work,

2349:   we need consider only the real parts of each diagram.

2350: 

2351:  After dropping terms that are linear in $k_{i\perp}$, $i=1,2$,

2352:  the integral becomes

2353:  \bea

2354:  IIA &=&  

2355: \frac{- 16\, i\, g^4}{(2\pi)^{2D-1}}\; 

2356:  \int^\Lambda d^Dk_1\int^\infty  d^D k_2\

2357:  \delta_+(k_1^2)\; {1 \over k_2^2-i\epsilon}

2358:  \nonumber\\

2359: &\ & { [\, (P\cdot  \ell)(q\cdot k_1) - (q\cdot \ell)(P\cdot k_1)\, ]\;

2360: [\, (P\cdot  \ell)(q\cdot k_2) - (q\cdot \ell)(P\cdot k_2)\, ]

2361: \over

2362: (P\cdot k_1)^2\, (P\cdot k_2 - i\ep)^2 (- \ell \cdot k_2 -i\ep)\,

2363: (\ell \cdot (k_1 - k_2) -  i\ep)}

2364:  \nonumber\\

2365:  &=& 

2366:  {16\, i\, g^4 q_3^2 \over (2\pi)^{2D-1}}

2367:  \int^\Lambda d^Dk_1\int^\infty  d^D k_2\

2368:  \delta_+(k_1^2)\; {1 \over k_2^2-i\epsilon}

2369:  \nonumber\\

2370:  &\ & \hspace{5mm} \times {k_1^+

2371:  \over

2372:  \left(k_1^- + k_1^+ \right)^2\, 

2373:  \left(k_2^- + k_2^+-i\epsilon\right)^2\, \left(-k_2^++k_1^+  - i\epsilon\right)}\, .

2374:  \eea

2375:  The first expression gives IIA in terms of $P=(2,\vec 0)$,

2376:  normalized  as in the perturbative expansion of Eq.\ (\ref{M2def}), but

2377:  suppressing color factors.  In particular,  as in the NLO case,

2378:  we  divide by $(1/2)^2$ to compensate for the traces in

2379:  quark representation. 

2380:  Here and below, $\Lambda \sim m_c$ is an ultraviolet cut-off for

2381:  real soft gluon radiation.

2382: 

2383:  Again as in the one-loop examples, we do the minus integrals first,

2384: closing the $k_2^-$ contour in the upper half-plane.  This gives

2385: two terms, one from the quark-pair eikonal, another from the

2386: gluon propagator,

2387: \be

2388:  IIA = IIA^{(k_2^0)} + IIA^{(k_2^2)}\, ,

2389:  \ee

2390:  represented in Fig. \ref{diaIIcuts}b.

2391: Again as in the one-loop example, we readily verify that

2392: the gluon pole term, combined with

2393: the corresponding gluon

2394: pole of $IIC$, cancels the entire contribution

2395: of diagram $IIB$, where both gluons appear in the

2396: final state.  For the remaining contribution we find 

2397: after the minus integrations

2398: \bea

2399: IIA^{(k_2^0)}

2400: &=& {16g^4q_3^2 \over (2\pi)^{2(D-1)}} 

2401: \int d^{D-2} k_{1\perp} d^{D-2}k_{2\perp}\

2402: \int dk_2^+  {k_2^+ \over (2k_2^+{}^2 + k_{2\perp}^2)^2} \nonumber \\

2403: &\ & 

2404: \hspace{20mm} \times 

2405: \int_0^\Lambda dk_1^+\; {4\, k_1^+{}^2 \over (2k_1^+{}^2 

2406: + k_{1\perp}^2)^2(k_2^+-k_1^+ + i\epsilon)}

2407: \, .

2408: \eea

2409:       In this expression it is clear that we may extend the 

2410:       $k_{1\perp}$ upper limit to infinity without changing the infrared

2411:       behavior of the integrtal.  Then, performing both transverse integrals,

2412:       and changing variables to $x\equiv \sqrt{2}\, k_1^+$

2413: and $y=k_2^+/k_1^+$, we find

2414:  \bea

2415:  IIA^{(k_2^0)}

2416: &=&  4

2417: \left(\frac{\as}{\pi}\right)^2\, (4\pi)^{2\varepsilon}\, 

2418: \Gamma^2(1+\varepsilon)\, q_3^2

2419: \nonumber\\

2420: &\ & \hspace{5mm} \times  

2421: \int_0^{\sqrt{2}\Lambda} dx\, {1\over x^{1+4\varepsilon}}\

2422: \int_{-\infty}^\infty  dy\, {y \over (y{}^2 )^{1+\varepsilon}\, (y-1+i\epsilon)}\, .

2423: \eea

2424: This integral is infrared regularized for $\varepsilon<0$, that is in more

2425: than four dimensions.  

2426: The pole is found from the identity

2427: \be

2428: {1\over x^{1+N\varepsilon}} = {1\over -N\varepsilon} \delta(x) + \left[ {1\over x}\right]_+

2429: + {\cal O}(\varepsilon)\, ,

2430: \label{Nepspole}

2431: \ee

2432: with a residue that is given by the $\varepsilon=0$ limit of the

2433: remaining expression.   The $y$ integral has no pole,

2434: because for $\vep<0$, the poles from $y \to 0^+$ and $y \to 0^-$

2435: cancel.  The

2436: $y$ integral at $\vep=0$  is then found to be

2437: \be

2438: {\rm lim}_{\vep \to 0} \ \int_{-\infty}^\infty dy\, {y \over (y{}^2 )^{1+\varepsilon}\, (y-1+i\epsilon)}

2439: =

2440: -i\pi\, .

2441: \ee

2442: We conclude that although $IIA^{(k_2^0)}$, and hence

2443: the complete diagram $II$, is

2444: infrared divergent, its divergence is imaginary,

2445: and does not contribute to the fragmentation function, which is real.

2446: Essentially identical considerations apply to the uncrossed

2447: ladder diagram, $I$.

2448: 

2449: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2450: \begin{figure}

2451: \begin{center}

2452: \epsfig{figure=fig12aA.eps,width=0.20\textwidth}

2453: \hskip 0.1\textwidth

2454: \epsfig{figure=fig12aB.eps,width=0.20\textwidth}

2455: \hskip 0.1\textwidth

2456: \epsfig{figure=fig12aC.eps,width=0.20\textwidth}

2457: 

2458: (IIA) \hskip 0.25\textwidth

2459: (IIB) \hskip 0.25\textwidth

2460: (IIC)

2461: 

2462: (a)

2463: 

2464: \epsfig{figure=fig12b1.eps,width=0.20\textwidth}

2465: \hskip 0.1\textwidth

2466: \epsfig{figure=fig12b2.eps,width=0.20\textwidth}

2467: 

2468: (b)

2469: 

2470: \caption{(a) Cuts of diagram II; (b) $k_2^-$ poles of Fig.\ 2a. \label{diaIIcuts}}

2471: \end{center}

2472: \end{figure}

2473: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2474: 

2475: \subsection{Diagrams with three gluons on the quark pair eikonal}

2476: 

2477: The diagrams with three gluons connected to the

2478: quark lines, are IV, V and VI of Fig.\ \ref{softgluonfig}.

2479: We first consider diagram IV, which involves the

2480: commutator term of the field strength.  Diagram V

2481: and VI both have an additional eikonal vertex

2482: at which a gluon couples to the quark pair in an octet color state.

2483: 

2484: 

2485: \subsubsection{Diagram IV}

2486: 

2487: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2488: \begin{figure}[h]

2489: \begin{center}

2490: \epsfig{figure=fig13a.eps,width=0.20\textwidth}

2491: \hskip 0.1\textwidth

2492: \epsfig{figure=fig13b.eps,width=0.20\textwidth}

2493: 

2494: (IVA) \hskip 0.25\textwidth

2495: (IVB)

2496: 

2497: \caption{Cuts of diagram IV. \label{IVabfig}}

2498: \end{center}

2499: \end{figure}

2500: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2501: 

2502: The relevant cuts of diagram IV are shown in Fig.\ \ref{IVabfig}.

2503: As in the case of the ladder diagrams in the previous

2504: subsection, 

2505: diagram IVB, which is real, cancels against the $(k_1-k_2)^2=0$ pole

2506: of IVA found by   closing $k^-_2$ in the upper half-plane.

2507: We thus need only evaluate the real part of IVA

2508: from the double pole at $P\cdot k_2=2k_2^0=0$.  The imaginary

2509: part, of course, cancels against the complex conjugate diagram.

2510: 

2511: In the same normalization as above, the numerator momentum

2512: factor for diagram IV is independent of $k_2$, and is given by

2513: (after dropping terms linear in $k_{1\perp}$),

2514: \bea

2515: n_{IV} &=& \left( P\cdot k_1 q^\mu - q\cdot k_1 P^\mu\right)\,

2516: \left(q_\mu P_\nu - P_\mu q_\nu\right)\, l^\nu

2517: \nonumber \\

2518: &=& 4[- q_3^2k_1^+ - (1/2) q_\perp^2\, \left( k_1^+ + k_1^-\right)]\, ,

2519: \eea

2520: and the full contribution of diagram IV is given by  the

2521: real part of

2522: \bea

2523: IVA + IVB &=& IVA^{(k_2^0)}

2524: \nonumber\\

2525: &=& 

2526: -32\left({\as \over \pi}\right)^2\, {1\over (4\pi^2)^{1-2\vep}}\,

2527: \int_0^\Lambda {dk_1^+\over 2k_1^+}\, \int_{-\infty}^\infty dk_2^+

2528: \int d^{D-2} k_{1\perp}\, \int d^{D-2}k_{2\perp}

2529: \nonumber\\

2530: &\ & \hspace{5mm} \times 

2531: { - q_3^2k_1^+ - (1/2) q_\perp^2\, \left( k_1^+ + k_{1\perp}^2/2k_1^+ \right)

2532: \over 

2533: \left(k_1^++k_{1\perp}^2/2k_1^+\right)^2\,

2534: \left [  -2(k_2^ + -k_1^+)(k_2^++k_{1\perp}^2/(2k_1^+)) 

2535: - (k_{2\perp}-k_{1\perp})^2 -i\ep  \right]^2}\, .

2536: \nonumber\\

2537: \eea

2538: As in the previous diagrams, we change variables to $y=k^+_2/k_1^+$.  

2539: In addition, we rescale the transverse integrals as $\kappa_i\equiv k_{i\perp}/(\sqrt{2}k_1^+)$.

2540: The $\kappa_i$ integrals are finite, but we find that

2541: an explicit infrared pole appears from the limit $k_1^+\rightarrow 0$.

2542: After the $\kappa_2$ integral, the diagram becomes

2543: \bea

2544: IVA^{(k_2^0)} &=& 4

2545: \left({\as \over \pi}\right)^2\, 2^{2\vep}\pi^{3\vep-1}\, \Gamma(1+\vep)\;

2546: \int_0^\Lambda {dk_1^+\over k_1^+{}^{1+4\vep}}\; \int d^{2(1-\vep)} \kappa_1

2547: \nonumber\\

2548: &\ & \hspace{5mm} \times \left( {q_3^2\over [1+\kappa_1^2]^2 } + 

2549: {q_T^2 \over 2[1+\kappa_1^2]} \right)\;

2550: \int_{-\infty}^\infty {dy \over \left[- \kappa_1^2 - y(1-\kappa_1^2) + y^2 +i\ep\right]^{1+\vep}}\, .

2551: \label{IVyintegral}

2552: \eea

2553: The $y$ integral is readily carried out (after changing variables

2554: to $y'= y-(1/2)(1-\kappa_1^2)$), and we verify that 

2555: the residue of the infrared single pole in $\vep$ is imaginary.

2556: The real contribution of diagram IV to the fragmentation

2557: function is then infrared finite.

2558: 

2559: \subsubsection{Diagram V}

2560: 

2561: As for diagram IV, we will find the

2562: infrared pole of the real

2563: part of VA and VB, given in Fig.\ \ref{Vabfig}, and once

2564: again the latter, with two gluons in the

2565: final state, cancels against the $(k_1-k_2)^2$

2566: pole in the former, when the $k_2^-$ contour

2567: is closed in the upper half-plane.

2568: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2569: \begin{figure}[h]

2570: \begin{center}

2571: \epsfig{figure=fig14a.eps,width=0.20\textwidth}

2572: \hskip 0.1\textwidth

2573: \epsfig{figure=fig14b.eps,width=0.20\textwidth}

2574: 

2575: (VA) \hskip 0.25\textwidth

2576: (VB)

2577: 

2578: \caption{Cuts of diagram V. \label{Vabfig}}

2579: \end{center}

2580: \end{figure}

2581: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2582: 

2583: The Feynman rules for the 

2584: field strength vertex lead to a sum of terms (in this

2585: case two) in which each of the denominators on the octet

2586: ordered exponential in Eq.\ (\ref{expandprod3}) is squared,

2587: just as in Eq.\ (\ref{doublepoles}).

2588: Thus, diagram VA has two terms.  

2589: The momentum numerator factor, which depends only

2590: on $k_1$ is the same for both.  

2591: We choose to route the $k_1$ momentum across the gluon

2592: to the $\ell$-eikonal line on the bottom of the diagram,

2593: so that the right-most quark pair eikonal carries momentum $k_2$

2594: to the right, and the exchanged gluon $k_2-k_1$ up.

2595: The VA integral

2596: is then given by

2597: \bea

2598:  VA &=&

2599:  {i2^{5/2}g^4 \over (2\pi)^{2D-1}}

2600:  \int^\Lambda d^Dk_1\int^\infty  d^D k_2\

2601:  \delta_+(k_1^2)\; {1 \over (k_2-k_1)^2-i\epsilon}

2602:  \nonumber\\

2603:  &\ & \hspace{-15mm} \times {n_{VA}(k_1,k_2) \over k_1^+ - k_2^+-i\ep}

2604: \; \left[\,

2605:  {1\over \left(k_1^- + k_1^+ \right)^4 (k_2^++k_2^- - i\ep)}

2606:  + 

2607:  {1\over \left(k_1^- + k_1^+ \right)^3 (k_2^++k_2^- - i\ep)^2}\, \right]\, ,

2608:  \label{VAfull}

2609:  \eea

2610:  which exhibits the squaring of poles to the right of the 

2611:  field strength vertex in the diagram.

2612: The  momentum numerator $n_{VA}$ is

2613: \bea

2614: n_{VA} &=& \left( P\cdot k_1 q^\mu - q\cdot k_1 P^\mu\right)\,

2615: \left( P\cdot k_1 q_\mu - q\cdot k_1 P_\mu\right)\, (P\cdot \ell/2)

2616: \nonumber \\

2617: &=& \sqrt{2}\, 

2618: \left(\, - 4q_3^2k_1^+ k_1^-  -  q_\perp^2\, \left( k_1^+ + k_1^-\right)^2 + 

2619: 2(q_\perp \cdot k_{1\perp})^2\, \right)\, .

2620: \eea

2621: After performing the $k_i^-$ integrals of  VA and VB, and noting the

2622: cancellation of the exchange gluon pole, we are left with the contributions

2623: of the $k_2^0$ pole

2624: \bea

2625: V^{(k_2^0)}&=&

2626: \left({\as \over \pi}\right)^2\, {8 \over (4\pi^2)^{1-2\vep}}\,

2627: \int_0 {dk_1^+\over 2k_1^+}\, \int_{-\infty}^\infty dk_2^+

2628: \int d^{D-2} k_{1\perp}\, \int d^{D-2}k_{2\perp}\ 

2629: {1 \over (k_1+ + k_{1\perp}^2/2k_1^+)^3}

2630: \nonumber\\

2631: &\ & \hspace{5mm} \times 

2632: {\left[ - 2q_3^2k_\perp^2 - q_\perp^2\, \left( k_1^+ + k_{1\perp}^2/2k_1^+\right)^2

2633: - 2(q_\perp\cdot k_{1\perp})^2\, \right]

2634: \over

2635: \left( 2(k_2^+  - k_1^+ - i\ep)(-k_2^+ - k_{1\perp}^2/2k_1^+)- (k_{2\perp}-k_{1\perp})^2 - i\ep\right)}

2636: \nonumber \\

2637: &\ & \hspace{-15mm} \times

2638: \left[ {1\over (k_1^+ - k_2^+-i\ep)\, (k_1^+  + k_{1\perp}^2/2k_1^+)}

2639: +{2 \over \left( 2(k_2^+-k_1^+)(-k_2^+ - k_{1\perp}^2/2k_1^+)- (k_{2\perp}-k_{1\perp})^2 - i\ep\right)}\, \right]\, .

2640: \nonumber\\

2641: \label{Vintegral}

2642: \eea

2643: We rescale $k_2^+$ and both of the transverse momenta as

2644: $y=k_2^+/k_1^+$ and

2645: $\kappa_i = k_{i\perp}/\sqrt{2}k_1^+$, which again isolates an overall

2646: infrared divergence at the lower limit of the $k_1^+$ integration.  

2647: The result can be expressed as

2648: \bea

2649: V^{(k_2^0)} &=& 8

2650:  \left({\as \over \pi}\right)^2\, {2^{-2\vep} \over (4\pi)^{1-2\vep}}\,

2651: \int_0 {dk_1^+\over k_1^+{}^{1+4\vep}}\, \int d^{2-2\vep}\kappa_1

2652: \;

2653: { 4q_3^2\kappa_1^2 + q_\perp^2\, \left( 1+\kappa_1^2 \right) - 4(q_\perp\cdot \kappa_1)^2

2654: \over

2655: (1+\kappa_1^2)^3}\; J_V(\kappa_1)

2656: \nonumber\\

2657: \label{Vkoneplus}

2658: \eea

2659: where the function $J_V$ is defined by

2660: \bea

2661: J_V(\kappa_1)

2662: &=&

2663: -\, \int_{-\infty}^\infty dy \int d^{2-2\vep}\kappa_2\;

2664: \bigg[ {1\over (1+\kappa_1^2)\, (1-y-i\ep)\,

2665:  \left( (y-1)(y+\kappa_1^2) + (\kappa_2-\kappa_1)^2 + i\ep\right) }

2666: \nonumber\\

2667: &\ & \hspace{10mm}

2668: -  {1\over \left[ (y-1)(y+\kappa_1^2) + (\kappa_2-\kappa_1)^2 + i\ep\right]^2}

2669: \,

2670: \bigg]\, .

2671: \label{Vrescaled}

2672: \eea

2673: Performing the $\kappa_2$ integral we find

2674: \bea

2675: J_V(\kappa_1)

2676: &=&

2677: - \pi^{1-\vep}\Gamma(1+\vep)\, \int_{-\infty}^\infty dy \;

2678: \bigg[ {1\over \vep}\, {1\over (1+\kappa_1^2)\, (1-y-i\ep)\,

2679:  \left( y^2 + y(\kappa_1^2-1) - \kappa_1^2 + i\ep\right)^{\vep} }

2680: \nonumber\\

2681: &\ & \hspace{10mm}

2682: -\, {1\over \left( y^2 + y(\kappa_1^2-1) - \kappa_1^2 + i\ep\right)^{1+\vep}}

2683: \,

2684: \bigg]\, .

2685: \eea

2686: The $1/\vep$ pole in the first term in square brackets comes from the

2687: term in which the squared denominator on the quark

2688: eikonal is outside the loop, and this pole is of ultraviolet origin.

2689: The corresponding $k_2$ virtual loop integral, as in the one-loop example of Fig.\ \ref{nlofig}b,

2690: Eq.\ (\ref{sigma8bvirt}),

2691: is infrared finite, and hence may be absorbed into a

2692: coefficient function in the NRQCD expansion.

2693: At the same time, the remaining, $k_1$, integral of this term is analogous 

2694: to the $k$ integral in Fig.\ \ref{nlofig}a, Eq.\ (\ref{nlopt}), 

2695: and its infrared divergence is topologically factorized in the

2696: NRQCD expansion.  

2697: Next, comparing the second term in brackets to Eq.\ (\ref{IVyintegral}), we see that

2698: it is the same as the $y$ integrand in that case, and

2699: when combined with the $k_1^+$ integral in Eq.\ (\ref{Vkoneplus})

2700: gives a purely imaginary infrared pole.  In summary,

2701: the infrared sensitivity of diagram V is fully consistent with

2702: the NRQCD expansion.

2703: 

2704: \subsubsection{Diagram VI}

2705: 

2706: Diagram VI, with cuts shown in  Fig.\ \ref{VIabfig},

2707:  is treated in a similar way to the previous two

2708: diagrams with three gluons connected to the eikonal

2709: quark pair line.     In this case the $k_1$ line is again

2710: connected to the left-most (field strength) vertex,

2711: while we route momentum $k_2-k_1$ from

2712: the gluon eikonal ($\ell$) to the other field strength

2713: vertex.  Once again the pole from the $k_2 - k_1$ line

2714: of diagram VIA cancels the two-gluon final state,

2715: diagram VIB.  

2716: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2717: \begin{figure}[h]

2718: \begin{center}

2719: \epsfig{figure=fig15a.eps,width=0.20\textwidth}

2720: \hskip 0.1\textwidth

2721: \epsfig{figure=fig15b.eps,width=0.20\textwidth}

2722: 

2723: (VIA) \hskip 0.25\textwidth

2724: (VIB)

2725: 

2726: \caption{Cuts of diagram VI. \label{VIabfig}}

2727: \end{center}

2728: \end{figure}

2729: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2730: 

2731: The corresponding integral for VIA is

2732: \bea

2733:  VIA &=&

2734:  {i2^{5/2}g^4  \over (2\pi)^{2D-1}}

2735:  \int^\Lambda d^D k_1\int^\infty  d^D k_2\

2736:  \delta_+(k_1^2)\; {1 \over (k_2-k_1)^2-i\epsilon}\; {1\over (k_1^++k_1^-)^2}

2737:  \nonumber\\

2738:  &\ & \hspace{5mm} \times {n_{VIA}(k_1,k_2) \over k_1^+-k_2^+-i\ep}

2739: \; \bigg[\,

2740:  {1\over \left(k_2^+ - k_1^+ +k_2^- - k_1^- - i\ep \right)^2 (k_2^+ + k_2^- +i\ep)}

2741:   \nonumber\\

2742:  &\ & \hspace{35mm}

2743:  + {1\over \left(k_2^+ - k_1^+ +k_2^- - k_1^- - i\ep \right) (k_2^++k_2^-+i\ep)^2}\, \bigg]

2744:  \nonumber\\

2745:  &=& 

2746: -\, {i2^{5/2}g^4  \over (2\pi)^{2D-1}}

2747:  \int^\Lambda d^D k_1\int^\infty  d^D k_2\

2748:  \delta_+(k_1^2)\; {1 \over (k_2-k_1)^2-i\epsilon}\; {1\over (k_1^++k_1^-)^2}

2749:  \nonumber\\

2750:  &\ & \hspace{5mm} \times {n_{VIA}(k_1,k_2) \over k_1^+-k_2^+-i\ep}

2751: \; \frac{d}{dk_2^+}\, \bigg[\,

2752:  {1\over \left(k_2^+ - k_1^+ +k_2^- - k_1^- - i\ep \right) (k_2^+ + k_2^- +i\ep)}\, \bigg]

2753:  \, .

2754:   \label{VIAfull}

2755:  \eea

2756:  The first equality exhibits the squaring of poles to the right of the 

2757:  field strength vertex in the diagram.   In the second, we note that the

2758:  term in  square brackets is a derivative with  respect to $k_2^+$,

2759:  and that the expression is simplified by an integration by parts

2760:  in that variable.

2761: 

2762: The momentum numerator factor is

2763: \bea

2764: n_{VIA}

2765: &=&

2766: \left( P\cdot k_1 q^\mu - q\cdot k_1 P^\mu\right)\, (P_\mu/2)\,

2767: \left( P\cdot (k_1-k_2) q^\nu - q\cdot (k_1-k_2) P^\nu\right)\, \ell_\nu

2768: \nonumber\\

2769: &=& 2\sqrt{2} q_3^2\, (k_1^+-k_1^-)\, (k_1^+-k_2^+) + \dots \, ,

2770: \label{VInum}

2771: \eea

2772: where the terms linear in the $k_{i\perp}$ 

2773: will not contribute, and are omitted in the second line.

2774: 

2775: In the second form of Eq.\ (\ref{VIAfull}), the $k_2^-$ integral

2776: has three simple poles.

2777: After the $k_2^-$ and $k_1^-$ integrals, using

2778: the cancelation of the exchange gluon pole, we have

2779: \bea

2780: VI &=& VIA+VIB

2781: \nonumber\\

2782: &= & - 32 \left({\as \over \pi}\right)^2\, {1\over (4\pi^2 )^{1-2\vep}}\,

2783: \int_0 {dk_1^+\over 2k_1^+}\, \int_{-\infty}^\infty dk_2^+

2784: \int d^{D-2} k_{1\perp}\, \int d^{D-2}k_{2\perp}

2785: \nonumber\\

2786: &\ & \hspace{5mm} \times 

2787: { q_3^2\, ( k_1^+ - k_{1\perp}^2/2k_1^+)

2788: \over

2789:  (k_1^+  + k_{1\perp}^2/2k_1^+)^3}

2790: \nonumber \\

2791: &\ & \hspace{-15mm} \times

2792: \left[  { k_1^+ - k_2^+ \over \left (- 2(k_2^+  -  k_1^+)^2 - (k_{2\perp}-k_{1\perp})^2\right)^2}

2793: +  {k_2^+ + k_{1\perp}^2/2k_1^+ \over 

2794: \left( - 2(k_2^+ - k_1^+)(k_2^+ + k_{1\perp}^2/2k_1^+)- (k_{2\perp}-k_{1\perp})^2 - i\ep\right)^2 }\, \right]

2795: \, .

2796: \nonumber\\

2797: \label{VIintegral}

2798: \eea

2799: Carrying out our by-now standard

2800: rescalings and performing the $\kappa_2$ transverse integration,

2801: we  find

2802: \bea

2803: VI  &=& 

2804: - 4

2805: \left({\as \over \pi}\right)^2\, q_3^2\, (2\pi)^{2\vep}\pi^{\vep-1} \,

2806: \int_0 {dk_1^+\over k_1^+{}^{1+4\vep}}\, 

2807: \int d^{n-2} \kappa_{1}\, {1-\kappa_1^2 \over (1+\kappa_1^2)^3}

2808: \nonumber\\

2809: &\ & \hspace{5mm} \times  \int_{-\infty}^\infty dy\; (1-y)

2810: \left[\, {1 \over (2(y-1)^2 -i\ep)^{1+\vep}}

2811: - 

2812: { 1 \over (2(y-1)(y+\kappa_1^2) - i\ep)^{1+\vep}}\,

2813: \right]\, .

2814: \label{VIyintegral}

2815: \eea

2816: The two $y$ integrals both give finite and purely imaginary

2817: contributions at $\vep=0$, so that once again the sum of contributions

2818: to the fragmentation function from the cuts of diagram VI  is infrared finite.

2819: We have now shown that

2820: of the six classes of diagrams generated from Fig.\ \ref{softgluonfig},

2821: all but diagram III are consistent with standard NRQCD

2822: factorization.  We now turn to this diagram, which is

2823: the most complex to compute.

2824: 

2825: \subsection{Three-gluon rescattering contribution}

2826: 

2827: Diagram III is distinguished by its three-gluon coupling.

2828: It connects a subdiagram analogous to Fig.\ \ref{nlofig}a,

2829: Eq.\ (\ref{nlopt}),

2830: which was infrared divergent but topologically factorized,

2831: with the eikonal line $\ell$.   It describes a process in

2832: which the soft gluon that transforms the color octet

2833: pair to a color singlet pair rescatters on the 

2834: adjoint eikonal to lowest order

2835: by exchanging a  gluon.  We recall that the gluon eikonal

2836: represents the influence of the remainder of the

2837: high-$p_T$ process.  We are thus testing the possible dynamical 

2838: influence of this process on the soft hadronization itself.

2839: We shall find that it is a nontrivial influence, with a

2840: noncancelling infrared divergence.  

2841: Nevertheless, the residue of the infrared poles will

2842: be rotationally invariant, and hence consistent with

2843: an NRQCD factorization in terms of our modified 

2844: matrix elements.

2845: 

2846: Before doing any  integrals, diagram IIIA is of the form

2847: \begin{eqnarray}

2848: &&IIIA(q)~

2849: =~ -16i\, g^4\mu^{4\varepsilon}\, \int \frac{d^D k_1}{(2\pi)^D} 

2850: \frac{d^D

2851: k_2}{(2\pi)^D}~2\pi~\delta(k_1^2) \nonumber\\

2852: && \hspace{40mm} \times

2853:  \; n_{III}(k_1,k_2)\ \frac{1}{[P\cdot k_1 +i\epsilon]^2~

2854: [P\cdot k_2 - i\epsilon ]^2} \nonumber\\

2855: && \hspace{40mm} \times \frac{1}{[k_2^2 - i \epsilon]~[(k_2- k_1)^2 - 

2856: i\epsilon]~

2857:   [l\cdot (k_1 - k_2) - i\epsilon]}

2858: \, ,

2859: \label{nnlopt4}

2860: \end{eqnarray}

2861: with a numerator factor $n_{III}$ that we shall

2862: define below.

2863: As usual, we choose the rest frame of heavy quarkonium,

2864: $P^\mu~=~(2,0,0,0)$, and we will perform the $k_2^-$ integral by

2865: closing the contour in the upper half-plane.  

2866: 

2867: The basic pattern for diagram III in 

2868: Fig.\ \ref{softgluonfig} is similar to those above:

2869: the two-gluon cut in Fig.\ \ref{IIIAandIIIB}, IIIA, cancels the pole in

2870: $k_2^-$ from the exchanged gluon in IIIB that is

2871:  attached to the 

2872: octet eikonal line $\ell$.  As for 

2873: diagrams V and VI, we choose the momentum

2874: of this gluon as $k_1-k_2$, flowing down.

2875: There are two additional poles in diagram

2876: IIIA when we close the $k_2^-$ integral

2877: in the upper half-plane, as shown in Fig.\ \ref{IIIApoles}.

2878: After the cancellation with IIIB, only 

2879: the contributions from poles (b) and (c) remain.  

2880: 

2881: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2882: \begin{figure}[h]

2883: \begin{center}

2884: \epsfig{figure=fig16a.eps,width=0.20\textwidth}

2885: \hskip 0.1\textwidth

2886: \epsfig{figure=fig16b.eps,width=0.20\textwidth}

2887: 

2888: (IIIA) \hskip 0.25\textwidth

2889: (IIIB)

2890: 

2891: \caption{IIIA and IIIB. \label{IIIAandIIIB}}

2892: \end{center}

2893: \end{figure}

2894: 

2895: 

2896: \begin{figure}[h]

2897: \begin{center}

2898: \epsfig{figure=fig17a.eps,width=0.20\textwidth}

2899: \hskip 0.1\textwidth

2900: \epsfig{figure=fig17b.eps,width=0.20\textwidth}

2901: \hskip 0.1\textwidth

2902: \epsfig{figure=fig17c.eps,width=0.20\textwidth}

2903: 

2904: (a) \hskip 0.25\textwidth

2905: (b) \hskip 0.25\textwidth

2906: (c)

2907: 

2908: \caption{IIIA poles. \label{IIIApoles}}

2909: \end{center}

2910: \end{figure}

2911: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2912: 

2913: \subsubsection {The numerator and the $k_2^2$ pole}

2914: 

2915: The numerator factor $n_{III}$ is

2916: \bea

2917: n_{III} &=& \left( P\cdot k_1 q^\mu - q\cdot k_1 P^\mu\right)\, \left( P\cdot k_2 q^\nu - q\cdot k_2 P^\nu\right)\nonumber\\

2918: &\ & \hspace{20mm} \times\; \ell^\sigma\, \left[\, g_{\mu\nu}(-k_1-k_2)_\sigma

2919: + g_{\sigma\mu}(2k_1-k_2)_\nu + g_{\nu\sigma}(2k_2 - k_1)_\mu\, \right]

2920: \nonumber\\

2921: &=& 2\, [-2(k_1^++k_2^+)(q^2k_{10}k_{20}-(q\cdot k_1 k_{20} + q\cdot k_2 k_{10})q_0

2922: +q\cdot k_1 q\cdot k_2) \nonumber \\

2923: &\ & \hspace{20mm} +4(l \cdot q k_{20} -q\cdot k_2 l^0)(q\cdot k_2 k_{10} -q \cdot k_1 k_{20})

2924: \nonumber\\

2925: &\ & \hspace{30mm}

2926: +4(l \cdot q k_{10} -q\cdot k_1 l^0)(q\cdot k_1 k_{20} -q \cdot k_2 k_{10})] 

2927: \nonumber\\

2928: \label{nnlopt3}

2929: \end{eqnarray}

2930: This is a fairly complex expression, but is clearly symmetric

2931: in $k_1$ and  $k_2$. 

2932: 

2933: When we take the contribution of the 

2934: $k_2^2$ pole, Fig.\ \ref{IIIApoles}b, we find

2935: \begin{eqnarray}

2936: IIIA^{(k_2^2)}(q)~

2937: &=&  \frac{4}{(4\pi^2)^{1-2\vep}}~ 

2938: \left (\frac{\alpha_s}{\pi} \right)^2 \mu^{4\varepsilon}\, 

2939: \int_0 \frac{dk_1^+}{2k_1^+}\, \int_0 \frac{dk_2^+}{2k_2^+}\, 

2940: \int d^{D-2} k_{1\perp} \, \int d^{D-2} k_{2\perp}  \nonumber \\

2941: &\ & \times { n_{III}(k_1,k_2)_{k_1^2=k_2^2=0}

2942: \over 

2943: (2(k_2^+ - k_1^+)\left( k_{2\perp}^2/2k_2^+ - k_{1\perp}^2/2k_1^+)^2 - (k_{1\perp} - k_{2\perp})^2

2944: - i \ep \right)}\,

2945: \nonumber\\

2946: &\ & {1\over \left[ k_2^+ + k_{2\perp}^2/2k_2^+\right]^2\, \left[ k_1^+ + k_{1\perp}^2/2k_1^+\right]^2}

2947: \, {1\over k_1^+ -k_2^+ - i\ep}\, .

2948: \end{eqnarray}

2949: This is an antisymmetric expression in $k_1$ and $k_2$, 

2950: except for the imaginary contribution at $k_1^+=k_2^+$.  

2951: As a result, once again all infrared poles in $IIIA^{(k_2^2)}$

2952: are imaginary and do not contribute to the

2953: fragmentation function.

2954: 

2955: \subsubsection{The $k_2^0=0$ double pole}

2956: 

2957:  We are  left with the evaluation of the pole of diagram \ref{IIIApoles}c,

2958:  the double eikonal pole at $k_2^0=0$ as the only 

2959:  potential source of infrared singularities in the fragmentation

2960:  function that are not topologically factorized in the usual

2961:  sense.  As we have anticipated, we will find an infrared

2962:  pole in dimensional regularization.  Since the calculation

2963:  is a substantial one, we will give most of the details.

2964:  To make it a bit more manageable, we first set

2965:  $q_\perp$ =0 in the numerator (\ref{nnlopt3}), and extend the

2966:  result to nonzero transverse momentum in the appendix.

2967: 

2968: At zero $q_\perp$, the momentum numerator factor (\ref{nnlopt3}) simplifies to

2969: \bea

2970: n_{III}(q_3,q_\perp=0)  = 2q_3^2[2(k_1^++k_2^+) (k_1^+k_2^-+k_2^+k_1^-)~+~4(k_2^+-k_1^+)

2971: (k_1^+k_2^- - k_1^- k_2^+)]\, .

2972: \eea

2973: We are now ready to pick up the pole in $k_2^-$

2974: corresponding to the diagram of Fig.\ \ref{IIIApoles}c, with the result

2975: \begin{eqnarray}

2976: &&

2977: IIIA^{(k_2^0)}(q)~

2978: =~ \frac{4\, q_3^2}{(4\pi^2)^{1-2\vep}}~ 

2979: \left (\frac{\alpha_s}{\pi} \right)^2 \mu^{4\varepsilon}\, \int d^{D-2} k_{1\perp} ~\int_0^\Lambda  \frac{dk_1^+}{k_1^+}

2980: \int d^{D-2} k_{2\perp} ~\int_{-\infty}^\infty dk_2^+ \nonumber \\

2981: &&

2982:  \hspace{20mm} \times\;

2983:  \frac{1}{k_1^+ - k_2^+-i\epsilon}~\frac{1}{[k_1^++ \frac{{k_{1\perp}}^2}{2k_1^+} ]^2} \nonumber \\

2984: &&

2985:  \times \; \frac{d}{dk_2^-}\,

2986:  \left [ \frac{2(k_1^++k_2^+) (k_1^+k_2^-+k_2^+ \frac{{k_{1\perp}}^2}{2k_1^+} 

2987: )~+~4(k_2^+-k_1^+)(k_1^+k_2^- - \frac{{k_{1\perp}}^2}{2k_1^+} k_2^+)]}

2988: {[2 (k_2^+-k_1^+)(k_2^--\frac{{k_{1\perp}}^2}{2k_1^+} 

2989: )-(k_{1\perp}-k_{2\perp})^2 -i\epsilon]~[2k_2^+k_2^--{k_{2\perp}}^2-i\epsilon]} \right]

2990: \Bigg |_{k_2^-=-k_2^+}\, .

2991: \nonumber\\

2992: \end{eqnarray}

2993: As above we work in $D=4-2\varepsilon$

2994: dimensions, and we rescale the transverse and $k_2^+$ momenta as

2995: \bea

2996:  \kappa_1 = \frac{k_{1\perp}}{\sqrt 2 k_1^+}\, ,

2997:  \qquad

2998:  \kappa_2= \frac{k_{2\perp}}{\sqrt 2 k_2^+}\, ,

2999:  \qquad

3000:  y = \frac{k_2^+}{k_1^+}\, ,

3001:  \eea

3002: which again isolates the infrared pole in the $k_1^+$ integral,

3003: \begin{eqnarray}

3004: &&IIIA^{(k_2^0)}(q_3)

3005: = 

3006:  \frac{2^{4-2\vep} q_3^2}{(4\pi^2)^{1-2\vep}}~ 

3007: \left (\frac{\alpha_s}{\pi} \right)^2 \mu^{4\varepsilon}\, 

3008:  \int_0 \frac{dk_1^+}{{k_1^+}^{1+4\varepsilon}}

3009:  \nonumber \\

3010: && \hspace{30mm}

3011: \times \int_{-\infty}^\infty dy~ \int d^{2-2\varepsilon} \kappa_1 ~ 

3012: \frac{1}{(1+\kappa_1^2)^2}~

3013: \int d^{2-2\varepsilon} \kappa_2 ~ \frac{1}{1-y-i\epsilon} \nonumber \\

3014: && \hspace{50mm} \times \Bigg[\,

3015: \frac{1-3y}{2[y^2+\kappa_2^2 ]~[(1-y)(y+\kappa_1^2)-(\kappa_1-\kappa_2)^2 -i\epsilon]} \nonumber \\

3016: && \hspace{50mm} -\;

3017: \frac{y(y-1)\, [\, y(3+\kappa_1^2)-(1+3\kappa_1^2)\, ]}{2[y^2+\kappa_2^2 ]~[(1-y)(y+\kappa_1^2)-(\kappa_1-\kappa_2)^2 -i\epsilon]^2} \nonumber \\

3018: && \hspace{50mm} +\; \frac{y^2\, [\, y(3+\kappa_1^2)-(1+3\kappa_1^2)\, ]}{2[y^2+\kappa_2^2 ]^2 

3019:  \, [(1-y)(y+\kappa_1^2)-(\kappa_1-\kappa_2)^2 -i\epsilon]}\; \Bigg] \, .

3020:  \label{IIIAscaled}

3021: \end{eqnarray}

3022: To do the $\kappa_2$ integration we introduce a Feynman parametrization, 

3023: \begin{eqnarray}

3024: &\ & \int d^{2-2\varepsilon} \kappa_2 ~  

3025: ~\frac{1}{[y^2+\kappa_2^2 ]^a~[(1-y)(y+\kappa_1^2)-(\kappa_1-\kappa_2)^2 -i\epsilon]^b} \nonumber \\

3026: &\ & \hspace{2mm}

3027: = \frac{\Gamma(a+b)}{\Gamma(a)~\Gamma(b)} \

3028: \int_0^1~dx~x^{b-1}~(1-x)^{a-1} ~(-1)^b~\nonumber \\

3029: &\ & \hspace{10mm} 

3030: \times \int d^{2-2\varepsilon} \kappa_2 ~ \frac{1}{[\kappa_2^2-2x\kappa_2 \cdot \kappa_1 +x\kappa_1^2+x(y^2+y(\kappa_1^2-1)-\kappa_1^2)

3031: +(1-x)y^2+i\epsilon]^{a+b}} \nonumber \\

3032: &\ & \hspace{2mm} = 

3033: (-1)^b \pi^{1-\varepsilon}~\frac{\Gamma(a+b-1+\varepsilon)}{\Gamma(a)~\Gamma(b)}

3034: \nonumber\\

3035: &\ & \hspace{10mm} \times

3036:  \int_0^1~dx~x^{b-1}~(1-x)^{a-1} ~

3037: \frac{1}{[y^2+xy(\kappa_1^2-1)-x^2\kappa_1^2 +i\epsilon]^{a+b-1+\varepsilon}} \, .

3038: \nonumber\\

3039: \label{xparameter}

3040: \end{eqnarray}

3041: After the $\kappa_2$ integration we get

3042: \begin{eqnarray}

3043: &&IIIA^{(k_2^0)}(q_3)~

3044: =~ 2^{2+2\vep} \pi^{3\vep-1}\, q_3^2\, \left (\frac{\alpha_s}{\pi} \right)^2 \mu^{4\varepsilon}\, 

3045: \int_0 \frac{dk_1^+}{{k_1^+}^{1+4\varepsilon}}~

3046: \int_{-\infty}^\infty dy~ \int d^{2-2\varepsilon} \kappa_1 ~ 

3047: \frac{1}{(1+\kappa_1^2)^2}~

3048: \frac{1}{1-y-i\epsilon}  \nonumber \\

3049: && \hspace{40mm}

3050: \times\; \int_0^1 dx~

3051: \Bigg [\, -\, \frac{1}{2}~ \Gamma(1+\varepsilon)~\frac{1-3y}{[y^2+xy(\kappa_1^2-1)-x^2\kappa_1^2 +i\epsilon]^{1+\varepsilon}} \nonumber \\

3052: && \hspace{55mm}

3053: - \frac{1}{2}~ \Gamma(2+\varepsilon)~x~\frac{y(y-1)\, [\, (y-1)(\kappa_1^2+3)+2(1- \kappa_1^2)\, ]}

3054: {[y^2+xy(\kappa_1^2-1)-x^2\kappa_1^2 +i\epsilon]^{2+\varepsilon}} \nonumber \\

3055: && \hspace{55mm}

3056: -\frac{1}{2}~ \Gamma(2+\varepsilon)~(1-x)~\frac{y^2\, [\, (y-1)(\kappa_1^2+3)+2(1- \kappa_1^2)\, ]}

3057: {[y^2+xy(\kappa_1^2-1)-x^2\kappa_1^2 +i\epsilon]^{2+\varepsilon}} 

3058: \, \Bigg]\, .

3059: \nonumber\\

3060: \label{IIIAk20}

3061: \end{eqnarray}

3062: We represent the above equation as 

3063: \bea

3064: IIIA^{(k_2^0)}(q_3)~

3065: &=&~ 2^{2+2\vep} \pi^{3\vep-1}\, q_3^2~ \left (\frac{\alpha_s}{\pi} \right)^2 \mu^{4\varepsilon}\, \int \frac{dk_1^+}{{k_1^+}^{1+4\varepsilon}}

3066: \nonumber\\

3067: &\ & \hspace{20mm} \times\; 

3068: \int d^{2-2\varepsilon} \kappa_1 ~ \frac{1}{[1+\kappa_1^2]^2} ~[I^{(1)}(\kappa_1)~+~I^{(2)}(\kappa_1)]

3069: \, ,

3070: \label{i1i2}

3071: \eea

3072: where $I^{(1)}(\kappa_1)$ organizes a set of terms terms in which the pole at $y=1$ 

3073: has been cancelled by the numerator, and 

3074: $I^{(2)}(\kappa_1)$ summarizes a set  in which the factor $\frac{1}{1-y}$

3075: remains.   To effect this separation,

3076: we rewrite $1-3y = 3(1-y) -2$ in the first term in brackets of Eq.\ (\ref{IIIAk20})

3077: and to combine the second and third terms we use $-x(1-y)y +(1-x)y^2 = y(y-x)$.

3078: After these manipulations, we have

3079: \begin{eqnarray}

3080: &&I^{(1)}(\kappa_1) =~ \int_{-\infty}^{\infty} dy~ \int_0^1 dx ~\Bigg[\,

3081: -\, \frac{3}{2}~ \Gamma(1+\varepsilon)~

3082: \frac{1}{[\, (y+x(\kappa_1^2-1)/2)^2-x^2(\kappa_1^2+1)^2/4 +i\epsilon\, ]^{1+\varepsilon}}

3083: \nonumber \\

3084: &&~+\frac{1}{2}~ \Gamma(2+\varepsilon)~

3085: \frac{y(y-x)(\kappa_1^2+3)}{[\, (y+x(\kappa_1^2-1)/2)^2-x^2(\kappa_1^2+1)^2/4+i\epsilon\, ]^{2+\varepsilon}} \, \Bigg]\, ,

3086: \label{i1}

3087: \end{eqnarray}

3088: where we have completed the squares in the denominators.

3089: For the $1/(1-y)$ terms we have

3090: \begin{eqnarray}

3091: &&I^{(2)}(\kappa_1) =~ \int_{-\infty}^{\infty} \frac{dy}{1-y-i\epsilon}~ \int_0^1 dx~\Bigg[\,

3092: \Gamma(1+\varepsilon)~\frac{1}{[\, (y+x(\kappa_1^2-1)/2)^2-x^2(\kappa_1^2+1)^2/4 +i\epsilon\, ]^{1+\varepsilon}} 

3093: \nonumber \\

3094: &&~-~ \Gamma(2+\varepsilon)~\frac{y(y-x)(1-\kappa_1^2)}

3095: {[\, (y+x(\kappa_1^2-1)/2)^2-x^2(\kappa_1^2+1)^2/4 +i\epsilon\, ]^{2+\varepsilon}}\, \Bigg]

3096: \, . 

3097: \label{i2}

3098: \end{eqnarray}

3099: 

3100: The $y$ integral for $I^{(1)}$, Eq. (\ref{i1}),  is straightforward.

3101: We change variables to $y'=y+x(\kappa_1^2-1)/2$ and

3102: note that in the numerator $y(y-x)= y'^2 + x^2(\kappa_1^4-1)- y'x\kappa_1^2$,

3103: where the last term vanishes because it is odd in $y'$.

3104: In this way, we find

3105: \begin{eqnarray}

3106: I^{(1)}(\kappa_1) &=& \frac{\sqrt{\pi}}{2} ~ \int_0^1 dx~\ \Bigg \{\,

3107: ~[-3~ +(1+\varepsilon)~(\kappa_1^2+3)]~\Gamma(1/2+\varepsilon)~

3108: \frac{1}{[-x^2(\kappa_1^2+1)^2/4 + i\ep ]^{1/2+\varepsilon}} \nonumber \\

3109: &\ &~+2\kappa_1^2~(\kappa_1^2+3)~\Gamma(3/2+\varepsilon)~ (x^2(\kappa_1^2+1)/4)\

3110: \frac{1}{[-x^2(\kappa_1^2+1)^2/4 + i\ep]^{3/2+\varepsilon}}\, \Bigg \} \, .

3111: \end{eqnarray}

3112: The $x$ integration is now trivial, and using the expansion 

3113: $(-1+i\ep)^{-\varepsilon}~=~e^{-i\pi \varepsilon}~\sim (1-i\pi \varepsilon)$, we isolate the 

3114: imaginary pole in $I^{(1)}$, and a corresponding finite real part,

3115: \begin{eqnarray}

3116: I^{(1)}(\kappa_1) =~-i\pi~\frac{1}{\varepsilon}~(1-i\pi \varepsilon)~ \left[\, \frac{\kappa_1^2}{(1+\kappa_1^2)^2}\, \right ]~+~\dots\, .

3117: \label{i1i}

3118: \end{eqnarray}

3119: The real term in this expression,  when substituted into Eq.\ (\ref{i1i2}), gives

3120: a real, single pole, contribution to the fragmentation function from

3121: the $k_1^+$ integral.  This

3122: is the generic mechanism we are after.

3123: 

3124: The complete result at $q_\perp=0$, of course, requires $I^{(2)}(\kappa_1)$,

3125: which is a bit more complicated, because of the extra denominator

3126: $1/(1-y - i\epsilon)$.

3127: We give the detailed calculation of 

3128: $I^{(2)}$ in Sec.\ A.1 of the appendix, where we show that

3129: \begin{eqnarray}

3130: I^{(2)}(\kappa_1) =~i\pi~\frac{1}{\varepsilon}~(1-i\pi \varepsilon)~ \left [\, \frac{2\kappa_1^2}{(1+\kappa_1^2)^2}\, \right ]~+~ \dots \, .

3131: \label{I2i}

3132: \eea

3133: Substituting  Eqs.\ (\ref{i1i}) and (\ref{I2i}) 

3134: in Eq.\ (\ref{i1i2}) we find that the remaining, $\kappa_1$, integration 

3135: is convergent because $\kappa_1$ of order unity corresponds

3136: to  $k_{1\perp}$ of order $k_1^+$.  Thus, the transverse momentum

3137: integration of the real gluon converges at a scale  far below the

3138: fixed quark mass, and is effectively independent of  the

3139: phase space cut-off.

3140:  Performing the $\kappa_1$ integral, and adding the contribution

3141:    from the complex conjugate of the diagram, we find

3142: for the leading, real $\frac{1}{\varepsilon}$ divergent term,

3143: \begin{equation}

3144: 2\, {\rm Re}\, IIIA^{(k_2^0\, {\rm pole})}(q_3)~=~ -\, 

3145: \alpha_s^2~\frac{1}{3 \varepsilon}~q_3^2

3146: \qquad (q_\perp=0)\, .

3147: \label{sq3}

3148: \end{equation}

3149: The leading imaginary double pole, of course,  cancels in  

3150: the full fragmentation function. 

3151: 

3152: We evaluate the corresponding $q_\perp$-dependent pole

3153: in  the appendix.  We note that all $q_3\, \times\, q_\perp$ 

3154: interference terms vanish because they are linear in

3155: the $k_{i\perp}$ integrations.

3156: Combining Eq.\ (\ref{sq3}) for $q_\perp=0$ 

3157: with the result Eq.\ (\ref{sqT})

3158: from the appendix for the $q_\perp^2$ term, we obtain

3159: a rotationally invariant result

3160: \begin{equation}

3161: 2\, {\rm Re}\,  IIIA^{(k_2^0\, {\rm pole})}(q)~=~ 

3162: - \alpha_s^2~\frac{1}{3 \varepsilon}~{\vec{q}}^2

3163: ~=~ - \alpha_s^2~\frac{1}{3 \varepsilon}~\frac{{\vec{v}}{\, }^2}{4}\, .

3164: \label{svq}

3165: \end{equation}

3166: This is the full result for diagram III and hence, as 

3167: discussed in Sec.\ 6.2 above, for the entire

3168: NNLO infrared pole term in the cross section

3169: and fragmentation function, matched by

3170: the gauge-completed production matrix

3171: elements at the same order.

3172: 

3173: \subsection{Rotational invariance and universality}

3174: 

3175: The significance of rotational invariance is that the infrared pole is 

3176: independent of the 

3177: relative orientation of the pair's relative velocity

3178: $\vec v$ and  the gluon eikonal direction $l$. 

3179: The complete result shows first, that the gauge invariant

3180: redefinition of the NRQCD matrix element is necessary,

3181: but also shows that once this is done, the factorized form is consistent

3182: with universality of the factorization.   

3183: 

3184: As we have emphasized above,

3185: the same reasoning applies to cross sections in which 

3186: the pair recoils against a gluon jet.  In fact, 

3187: the matching of cross sections with our matrix elements 

3188: is even more general, as a result of

3189: the rotational invariance of Eq.\ (\ref{svq}).  This 

3190: follows from the nature of the gluon rescattering diagrams

3191: that give this result, in which

3192: two soft gluons attach to the pair, leaving only a single soft gluon

3193: to attach to the other jet.  At the same time, the

3194:  exchange of soft gluons at NNLO

3195: between the heavy quarkonium palr and each hard jet in

3196: the final state will give the same pole factor, given by Eq.\ (\ref{svq}),

3197: up to the effect of color.   

3198: 

3199: Because the momentum factors are the same

3200: for the pole found by coupling the soft gluons

3201: to each final-state jet, we easily show that the complete color factor

3202: turns out to be independent of the number and directions

3203:  of the jets, and of the color representations of their parent partons.

3204:  We outline the proof as it applies

3205:  to leptonic annihilation cross sections, where all

3206:  jets are in the final state.

3207:  The result follows from gauge invariance.

3208: 

3209: Recalling the discussion of Sec.\ 2, we suppose

3210: that we are at a leading region of

3211: phase space where there is

3212: an arbitrary number of jets, of momenta $p_j$,  $j=1\dots n$.

3213: At any leading region, in the absence of soft gluon

3214: exchange, the cross  section factorizes into 

3215: a product of jet subdiagrams $J_j(p_j){}_{b_j,a_j}$,

3216: contracted in color indices $a_j$ and $b_j$ with a

3217: hard scattering function $h_{a_0,a_j}$ in the amplitude,

3218: and a corresponding function in the complex conjugate

3219: amplitude.  In addition to the final-state jets,  

3220: the short-distance function $h$ is also contracted

3221: with the  parent parton (gluon above)  of the heavy

3222: quark  pair, though color index $a_0$.

3223: Concentrating just on the amplitude,

3224: the fragmentation function is thus proportional to the combination

3225: \bea

3226: {\cal M}_{b_n \dots b_1,a_0}

3227: =

3228:  \sum_{a_1\dots a_n}\, 

3229: \left[\; \prod_{j=1}^n\, J_j(p_j){}_{b_j,a_j}\; \right]\; h_{a_0,a_1  \dots  a_n}\,  .

3230:  \label{calJ}

3231:  \eea

3232:  We suppress the function associated with the

3233:  jet in which the pair appears.

3234: 

3235: We now consider  the effect of adding soft gluons at NNLO

3236: in this leading region,

3237: and we again discuss  the case when the

3238: quark-antiquark pair is an octet at short distances and a  singlet

3239: in the final state.  This requires that two gluons 

3240: attach to the pair.

3241: Recalling the factorization property of jet-soft interactions derived in

3242: Sec.\ 2, the infrared behavior of each set of diagrams

3243: where soft gluons couple to jet $j$

3244: can be replaced by diagrams in which the soft gluons

3245: attach  to an eikonal line in the direction of $p_j$.

3246: Once again only soft-gluon diagrams like III in Fig.\ \ref{softgluonfig},

3247: with a three-gluon coupling, can give rise to 

3248: a real infrared pole in the cross section.

3249: In the set of such diagrams, the single exchanged

3250: gluon attaches to the $n$ jets one at a time.

3251: 

3252: We denote the color index of the exchanged gluon by $e$,

3253: and the flavor of the

3254: parent parton of jet $j$ by $f_j$.   At fixed

3255: values of the pair relative velocity  $\vec v=2\vec q$,  the effect of this insertion

3256: is to  multiply $\cal  M$ of Eq.\ (\ref{calJ}) by the same pole

3257: term $IIIA^{(k_0,pole)}(q)$, Eq.\ (\ref{svq}), that we have determined above

3258:  for the fragmentation function

3259: at NNLO.   This factor is independent of the jet to which the exchanged

3260: gluon attaches.

3261: 

3262: The effect of the exchanged gluon's color, of course, differs from jet to jet,

3263: but is still quite simple  after it has been factorized.

3264: The short-distance color tensor is multiplied by

3265: the  matrix through which the soft gluon couples

3266: to the eikonal  line in the $p_j$  direction, that is the color

3267: generator $T^{(f_j)}$.  In summary, the structure of the NNLO

3268: pole term in the cross section is

3269: \bea

3270: {\cal M}^{(NNLO)}_{b_n \dots b_1,a_0}(q)

3271: &=&

3272: IIIA^{(k_0,pole)}(q)\ \times\

3273:  \sum_{l=1}^n\,  \sum_{a_1\dots  \dots a_n}\, 

3274: \left[\; \prod_{j=1}^n\, J_j(p_j){}_{b_j,a_j}\; \right]   \nonumber\\

3275: &\ & \hspace{35mm} \times\;

3276: \sum_{a'_l}\, 

3277:  h_{a_0,a_1 \dots a'_l \dots  a_n}\, [T^{(f_l)}_e]_{a'_l,a_l} \, .

3278:  \eea

3279:  We now observe that multiplication by the color generator for 

3280:  a given external line of the short-distance function

3281:  $h$ is equivalent to an infinitesimal color rotation

3282:  of the corresponding  external line.  The sum of

3283: color rotations on all its external lines vanishes by the

3284:  gauge invariance of the theory.

3285:  The sum of color rotations on all the final-state jets, therefore,

3286:  is  the negative of a color rotation on

3287:  the parent gluon of the pair,

3288:  \bea

3289: \sum_{l=1}^n\, 

3290: \sum_{a'_l}\, h_{a_0,a_1 \dots a'_l \dots  a_n}\, [T^{(f_l)}_e]_{a'_l,a_l} 

3291: =

3292: - \sum_{a'_0}\, h_{a'_0,a_1 \dots   a_n}\, [T^{(f_0)}_e]_{a'_0,a_0}\, .

3293: \eea

3294:  The sum of the color

3295: factors associated with attaching a  single soft gluon

3296: to all recoiling jets is therefore independent of

3297: the number and/or flavor of the final-state jets.

3298: The same argument can be applied to the color

3299: factors of the fragmentation function,  with the

3300: same result.    The gauge-completed

3301: matrix element is therefore universal up to  NNLO,

3302: for arbitrary numbers of hard jets in the final state.

3303: 

3304: \section{Conclusions}

3305: 

3306: We have investigated the proposal of NRQCD factorization in

3307: production processes at large transverse

3308: momentumm ($p_T$), and have demonstrated that factorization 

3309: holds to NNLO in production from an octet pair, after a

3310: redefinition of the nonperturbative matrix elements in the effective

3311: theory.  We have seen, in fact, that this matrix element is

3312: universal at NNLO for high-$p_T$ quarkonium production with

3313: arbitrary final states.

3314: Many questions remain, however, and it is unclear

3315: to us whether the pattern we have found, uncanceled

3316: infrared divergences that can be absorbed into universal

3317: gauge-completed matrix elements, will survive at higher

3318: orders.  On the other hand, the very nontrivial organization

3319: of the  NNLO infrared divergences

3320: into a single power of ${\vec q}{\, }^2$ is encouraging.

3321: 

3322: So far our analysis has involved infrared

3323: structure associated only with electric dipole couplings,

3324: at momentum scales that are characteristically of order

3325: $mv$. Such a higher-order analysis will also require

3326: study of the lower momentum scale characteristic of

3327: binding energies $mv^2$, which, as we have observed

3328: above do not enter into

3329: our NNLO octet-to-singlet calculations \cite{potential}.  

3330: Finally, our study of fragmentation at

3331: large $p_T$ strongly suggests that the low-$p_T$

3332: cross sections for quarkonium production

3333: deserves a fresh look \cite{kho04}.

3334: 

3335: In summary, the calculations and reasoning presented in

3336: this paper have, we believe, demonstrated

3337: that further investigation is crucial to

3338: provide a theoretical grounding for  the analysis of the

3339: production of heavy quarkonia.

3340: 

3341: \subsection*{Acknowledgements}

3342: 

3343:    This work was supported in part

3344: by the National Science Foundation, grants PHY-0071027, PHY-0098527,

3345: PHY-0354776 and PHY-0345822,

3346: and by the Department of Energy, grant DE-FG02-87ER40371.

3347: We thank Geoff Bodwin for useful exchanges and for

3348: emphasizing the importance of this topic, and 

3349: Yu-Qi Chen for helpful discussions.

3350: 

3351: \begin{appendix}

3352: 

3353: \section{Appendix}

3354: 

3355: The appendix provides more details on the evaluation

3356: of the infrared pole in diagram IIIA.  The integrals

3357: presented here are all reasonably straightforward,

3358: and are complex only because of the rather large numbers

3359: of terms.

3360: Nevertheless, because they can be performed ``by hand",

3361: we feel an interested reader who wishes to

3362: reconstruct the calculation in detail may find

3363: the following relatively extensive presentation 

3364: useful.

3365: 

3366: \subsection{The integral $I^{(2)}$ of diagram $IIIA$ with $q_\perp=0$}

3367: 

3368: We continue here with the detailed evaluation of  the real

3369: $\as^2\, \varepsilon^0$ contribution from the function

3370:  $I^{(2)}(\kappa_1)$ of Eq. (\ref{i2}).   Compared to

3371:  the case considered above, $I^{(1)}(\kappa_1)$, $I^{(2)}(\kappa_1)$

3372:  differs primarily by having an extra $1/(1-y)$ denominator,

3373:  which requires an additional Feynman parameterization.

3374: 

3375:  To simplify the $y$ integral, we eliminate the explicit $y^2$

3376:  numerator factor by using the identity

3377:  $y^2 - yx = [\, y'^2 -x^2(\kappa_1^2 + 1)^2/4\, ] - x(y-x)\kappa_1^2$,

3378:  where the term in brackets cancels a power

3379:  in the denominator and where, as above, $y' = y +  x(\kappa_1^2-1)/2$.

3380:  This gives the slightly simpler form

3381:  \begin{eqnarray}

3382: &&I^{(2)}(\kappa_1) = \int_0^1 dx\; \int_{-\infty}^{\infty} \frac{dy}{1-y-i\epsilon} \nonumber \\

3383: && \hspace{5mm} \times\; \Bigg[\,

3384: (\,\Gamma(1+\varepsilon) - (1-\kappa_1^2)\Gamma(2+\vep)\, )

3385: \frac{1}{[\, (y+x(\kappa_1^2-1)/2)^2-x^2(\kappa_1^2+1)^2/4 +i\epsilon\, ]^{1+\varepsilon}} 

3386: \nonumber \\

3387: && \hspace{15 mm} + \Gamma(2+\varepsilon)~\frac{x(y-x)\kappa_1^2(1-\kappa_1^2)}

3388: {[\, (y+x(\kappa_1^2-1)/2)^2-x^2(\kappa_1^2+1)^2/4 +i\epsilon\, ]^{2+\varepsilon}}\, \Bigg]

3389: \nonumber\\

3390: && \hspace{10mm} =

3391: (\,\Gamma(1+\varepsilon) - (1-\kappa_1^2)\Gamma(2+\vep)\, )

3392: l^{(2)}(\kappa_1)

3393: + \Gamma(2+\varepsilon)~\kappa_1^2(1-\kappa_1^2)\; j^{(2)}(\kappa_1)\, ,

3394: \label{i22dform}

3395: \end{eqnarray}

3396: where the second equality serves to define $l^{(2)}(\kappa_1)$ and $j^{(2)}(\kappa_1)$.

3397: Consider the first $y$ integral of Eq. (\ref{i22dform}),

3398: \bea

3399: &&l^{(2)}~ =~ \int_{-\infty}^{\infty} \frac{dy}{1-y-i\epsilon}~ \int_0^1 dx~ 

3400: \frac{1}{[(y+x(\kappa_1^2-1)/2)^2-x^2(\kappa_1^2+1)^2/4 +i\epsilon]^{1+\varepsilon}}. 

3401: \eea

3402: Introducing an additional Feynman parameter,  $x^\prime$, 

3403: and expanding the square of the second denominator we get 

3404: \bea

3405: &&l^{(2)}~ =~ -\frac{\Gamma(2+\varepsilon)}{\Gamma(1+\varepsilon)}~

3406: \int_0^1 dx~ \int_0^1 dx^\prime\, x'{}^\ep

3407: \nonumber\\

3408: && \qquad \times 

3409: \int_{-\infty}^{\infty} ~dy~ 

3410: \frac{1}{[\, x^\prime[y^2+xy(\kappa_1^2-1)-x^2\kappa_1^2 ]~+~(1-x^\prime)(y-1)~+~i\epsilon\, ]^{2+\varepsilon}}. 

3411: \eea

3412: The $y$ integration is now easily performed, and gives 

3413: \bea

3414: &&l^{(2)}~ =~ -\frac{\Gamma(3/2+\varepsilon)}{\Gamma(1+\varepsilon)}~\sqrt{\pi}\, (-1+i\ep)^{-3/2-\vep}

3415:  \int_0^1 dx~ \int_0^1 \frac{dx^\prime}{{{x^\prime}}^{1/2-\vep}}~\nonumber \\

3416: && \hspace{20mm} \times \frac{1}{[x^\prime x^2 (\kappa_1^2+1)^2/4+(1-x^\prime)[x(\kappa_1^2-1)/2+1]+\frac{(1-x^\prime)^2}{4x^\prime}]^{3/2+\varepsilon}}

3417: \, .

3418: \label{I2Ddef}

3419: \eea

3420: 

3421: To isolate the infrared pole of this expression, it is useful to 

3422: change variables to $u=x^2$ and $v^\prime=(1-x^\prime)/u$.

3423: Also using  $(-1+i\ep)={\rm e}^{i\pi}$, we have

3424: \bea

3425: &&l^{(2)}~ =~ -\frac{\Gamma(3/2+\varepsilon)}{2\Gamma(1+\varepsilon)}~

3426: \sqrt{\pi}~e^{-i\pi(3/2+\varepsilon)}~

3427: \int_0^1 \frac{du}{u^{1+\varepsilon}}~ \int_0^{1/u} \frac{dv^\prime}{{{(1-uv^\prime)}}^{1/2-\vep}}

3428: \nonumber \\

3429: && \hspace{15mm}

3430: \times\, \frac{1}{[(1-uv^\prime) (\kappa_1^2+1)^2/4+v^\prime[\sqrt{u}(\kappa_1^2-1)/2+1]+\frac{u{v^\prime}^{2}}{4(1-uv^\prime)}]^{3/2+\varepsilon}}

3431: \, .

3432: \label{I2final}

3433: \eea

3434: 

3435: The $u$ and $v'$ integrals in (\ref{I2final})

3436: are finite for $\vep<0$, characteristic of an infrared pole.

3437: The $1/\varepsilon$ pole comes from $u\to 0$, and is isolated using

3438: (\ref{Nepspole}).  Its residue is purely imaginary.  There is a corresponding real contribution

3439: to $I^{(2)}$ at $\vep=0$, however, found from the expansion of the exponential.

3440: The $v'$ integral is trivial at $\vep=0$ and $u=0$, and we find

3441: \bea

3442: &&l^{(2)}~ =~ i\pi~\frac{1}{\varepsilon}~(1-i\pi \varepsilon)~\frac{1}{(1+\kappa_1^2)}

3443: +{\cal O}(i\ep^0) \, .

3444: \eea

3445: This term will contribute at the level  of $\as^2/\vep$ in the fragmentation function

3446: after the integrals over $\kappa_1$ and $k_1^+$.

3447: 

3448: An identical procedure can be used to evaluate 

3449: the second term, $j^{(2)}(\kappa_1)$ in Eq.\ (\ref{i22dform}), 

3450: \bea

3451: j^{(2)} &=&   \frac{\Gamma(5/2+\varepsilon)}{2\Gamma(2+\varepsilon)}\,

3452: \sqrt{\pi}~e^{-i\pi(5/2+\varepsilon)}~

3453:  \int_0^1 \frac{du}{u^{1+\ep}}\; \int_0^{1/u} dv^\prime\, {(1-uv^\prime)}^{1/2-\vep}

3454:  \nonumber \\

3455: &\ &\hspace{10mm} \times

3456: ~\frac{ (\kappa_1^2+1)/2+ \sqrt{u}\, v^\prime/[2(1-uv^\prime)]}

3457: {[(1-uv^\prime) (\kappa_1^2+1)^2/4+v^\prime[\sqrt{u}(\kappa_1^2-1)/2+1]+\frac{u{v^\prime}^{2}}{4(1-uv^\prime)}]^{5/2+\varepsilon}}\, ,

3458: \nonumber\\

3459: \eea

3460: with the same denominator as in

3461: Eq.\ (\ref{I2final}).

3462: The relevant singular behavior of this expression is

3463: \bea

3464: &&j^{(2)}~ =~ \frac{\Gamma(5/2+\varepsilon)}{4\Gamma(2+\varepsilon)}\,

3465: \sqrt{\pi}~e^{-i\pi(5/2+\varepsilon)}~

3466:  \int_0^1 \frac{du}{u^{1+\varepsilon}}~ \int_0^{\infty} dv^\prime 

3467:  \frac{ 1+\kappa_1^2 }{[(\kappa_1^2+1)^2/4+v^\prime]^{5/2+\vep}}\, .

3468: \nonumber\\

3469: \eea

3470: Isolating the imaginary pole and the accompanying real finite part in the

3471: same way as for $l^{(2)}$, we get

3472: \bea

3473: &&j^{(2)}~ =~ i\pi \frac{1}{\varepsilon}~(1-i\pi \varepsilon)~\frac{1}{(1+\kappa_1^2)^2}\

3474: +\ {\mathcal O}(i\ep^0)\, .

3475: \eea

3476: Finally, substituting the results for $l^{(2)}$ and $j^{(2)}$ into Eq. (\ref{i22dform}) we find

3477: \begin{eqnarray}

3478: I^{(2)}(\kappa_1) =~i\pi~\frac{1}{\varepsilon}~(1-i\pi \varepsilon)~

3479: \frac{2 \kappa_1^2}{(1+\kappa_1^2)^2} + \dots \, ,

3480: \label{i2i}

3481: \end{eqnarray}

3482: which is the result quoted in Eq.\ (\ref{I2i}).

3483: 

3484: \subsection{Transverse momenta for $q$ in diagram $IIIA$}

3485: 

3486: When $q_3$ =0  the numerator for diagram III is

3487: \bea

3488: n_{III}(q_3=0,q_\perp) &=& 

3489: 2\left[q_\perp^2(k_1^++k_2^+) (k_1^++k_1^-) (k_2^++k_2^-) 

3490:        -2(q_\perp \cdot k_{1\perp})^2 (k_2^++k_2^-)

3491: \right.

3492: \nonumber\\

3493: &\ & \hspace{10mm}

3494: \left.

3495: -2(q_\perp \cdot k_{2\perp})^2 (k_1^++k_1^-) 

3496: +2(q_\perp \cdot k_{1\perp}) (q_\perp \cdot k_{2\perp}) (k_1^-+k_2^-)

3497: \right]\, .

3498: \label{n3qperp}

3499: \eea

3500: Diagram $IIIA^{(k_2^0)}$ with $q_3=0$ is given by

3501: \begin{eqnarray}

3502: &&IIIA^{(k_2^0)}(q_\perp)~

3503: =~ \frac{4}{(4\pi)^{1-2\vep}}~ \left (\frac{\alpha_s}{\pi} \right)^2 \mu^{4\varepsilon}\; 

3504: \int_0^\Lambda \frac{dk_1^+}{2k_1^+}\;  \int  d^{D-2} k_{1\perp}\; \int dk_2^+\; 

3505: \int d^{D-2} k_{2\perp}

3506: \nonumber \\

3507: && \hspace{20mm} \times \frac{1}{k_1^+-k_2^+-i\epsilon}\;

3508: \frac{1}{[\, k_1^+ +  \frac{{k_{1\perp}}^2}{2k_1^+}\, ]^2} \nonumber \\

3509: &&~ \times\, \left[\frac{d}{dk_2^-}\;

3510: \left[ \frac{ n_{III}(q_3=0,q_\perp)}{[\, 2 (k_2^+-k_1^+)(k_2^--  \frac{{k_{1\perp}}^2}{2k_1^+} )

3511:       - (k_{2\perp}-k_{1\perp})^2 -i\epsilon\, ]\; [\, 2k_2^+k_2^--{k_{2\perp}}^2-i\epsilon\, ]}\right] 

3512: \right]_{k_2^-=-k_2^+}\, .

3513: \nonumber\\

3514: \label{IIIAqperp}

3515: \end{eqnarray}

3516: Defining as above the scaled variables,

3517: $\kappa_1=\frac{k_{1\perp}}{\sqrt 2 k_1^+}$, $\kappa_2=\frac{k_{2\perp}}{\sqrt 2 

3518: k_2^+}$ and $y=\frac{k_2^+}{k_1^+}$,

3519: this integral becomes

3520: \begin{eqnarray}

3521: IIIA^{(k_2^0)}(q_\perp)

3522: &=&  -\; 4\frac{(2\mu^2)^{2\ep}}{(\pi^2)^{1-2\vep}}~ 

3523: \left (\frac{\alpha_s}{\pi} \right)^2 \, \int 

3524: \frac{dk_1^+}{{k_1^+}^{1+4\epsilon}}~

3525:  \int d^{2-2\varepsilon} \kappa_1 ~ \frac{1}{(1+\kappa_1^2)^2}~

3526:  ~\int dy~  \frac{1}{1-y-i\epsilon} 

3527:  \nonumber \\

3528: &\ & \hspace{0mm} \times \int d^{2-2\varepsilon} \kappa_2\;

3529: [\frac{1}{4}~\frac{(1+y)(1+\kappa_1^2)q_\perp^2-4(q_\perp \cdot \kappa_1)^2+4(q_\perp 

3530: \cdot \kappa_1)(q_\perp \cdot \kappa_2)}{[y^2+\kappa_2^2 

3531: +i\epsilon]~[(1-y)(y+\kappa_1^2)-(\kappa_1-\kappa_2)^2 -i\epsilon]} 

3532: \nonumber \\

3533: &\ & \hspace{5mm}+~y~

3534: \frac{-(1+\kappa_1^2)(q_\perp \cdot \kappa_2)^2

3535:       +(q_\perp \cdot \kappa_1)(q_\perp \cdot \kappa_2)~(\kappa_1^2-y)}

3536:      {[y^2+\kappa_2^2 +i\epsilon]^2~

3537:       [(1-y)(y+\kappa_1^2)-(\kappa_1-\kappa_2)^2 -i\epsilon]} 

3538: \nonumber \\

3539: &\ & \hspace{5mm} + ~(1-y)~

3540: \frac{-(1+\kappa_1^2)(q_\perp \cdot \kappa_2)^2

3541:       +(q_\perp \cdot \kappa_1)(q_\perp \cdot

3542:                                         \kappa_2)~(\kappa_1^2-y)}

3543:      {[y^2+\kappa_2^2 +i\epsilon]

3544:      ~[(1-y)(y+\kappa_1^2)-(\kappa_1-\kappa_2)^2 -i\epsilon]^2}] \, ,

3545: \nonumber\\

3546: \end{eqnarray}

3547: which is  analogous to Eq.\ (\ref{IIIAscaled}) for the $q_3^2$ terms in the numerator.

3548: 

3549: To perform $\kappa_2$ integration we can

3550: again introduce a Feynman parameter $x$ as 

3551: in (\ref{xparameter}).  The change of variables

3552: $\kappa_2' = \kappa_2 -x\kappa_1$

3553: completes the square in the denominator,

3554: and the integral results in the rather lengthy expression

3555: \begin{eqnarray}

3556: IIIA^{(k_2^0)}(q_\perp)~

3557: &=& - \;4\, ~ 

3558: \left (\frac{\alpha_s}{\pi} \right)^2 \frac{2^{2\ep}\mu^{4\varepsilon}}{\pi^{1-3\ep}}\, \int 

3559: \frac{dk_1^+}{{k_1^+}^{1+4\varepsilon}}~

3560:  \int d^{2-2\varepsilon} \kappa_1 \frac{1}{(1+\kappa_1^2)^2}

3561:  \int_0^1 dx~ \nonumber \\

3562:  &\ & \hspace{-25mm}

3563: \times \int_{-\infty}^\infty dy\; 

3564: \Bigg \{\, x\, \Bigg [\, 

3565: - \frac{\Gamma(1+\varepsilon)}{2}\; 

3566: \frac{(1+\kappa_1^2)q_\perp^2}{[y^2+xy(\kappa_1^2-1)-x^2\kappa_1^2 +i\epsilon]^{1+\varepsilon}}\,

3567:  \nonumber \\

3568:  \, \nonumber \\

3569:  &\ &  \hspace{25mm} +\; \Gamma(2+\varepsilon)~

3570: \frac{-(q_\perp \cdot 

3571: \kappa_1)^2[x^2(1+\kappa_1^2) - x(\kappa_1^2-y)]}{[y^2+xy(\kappa_1^2-1)-x^2\kappa_1^2 +i\epsilon]^{2+\varepsilon}}\ \Bigg ] 

3572: \nonumber \\

3573: \, \nonumber \\

3574: &\ & \hspace{-15mm}

3575: +\, \frac{1}{1-y-i\epsilon}\,

3576:  \Bigg [\, \frac{\Gamma(1+\varepsilon)}{4}~\frac{(1+y)(1+\kappa_1^2)q_\perp^2-4(1-x)(q_\perp 

3577: \cdot \kappa_1)^2}{[y^2+xy(\kappa_1^2-1)-x^2\kappa_1^2 

3578: +i\epsilon]^{1+\varepsilon}} \nonumber \\

3579: &\ &  +y(1-x) \bigg ( \, -\, \frac{\Gamma(1+\varepsilon)}{2}\;

3580: \frac{(1+\kappa_1^2)q_\perp^2}{[y^2+xy(\kappa_1^2-1)-x^2\kappa_1^2 +i\ep\, ]^{1+\vep}}

3581: \nonumber\\

3582: \, \nonumber \\

3583: &\ &  \hspace{10mm}+\; \Gamma(2+\varepsilon)~\frac{-(q_\perp \cdot 

3584: \kappa_1)^2[x^2(1+\kappa_1^2)-x(\kappa_1^2-y)]}{[y^2+xy(\kappa_1^2-1)-x^2\kappa_1^2 +i\epsilon]^{2+\varepsilon}}\ \bigg)\; \Bigg ]\ \Bigg\}

3585: \nonumber\\

3586: \, \nonumber \\

3587: &\ & \hspace{-20mm}  \equiv 

3588: 4\, \frac{1}{\pi^{1-3\vep}}~ 

3589: \left (\frac{\alpha_s}{\pi} \right)^2 2^{2\ep}\mu^{4\varepsilon}\, \int 

3590: \frac{dk_1^+}{{k_1^+}^{1+4\varepsilon}}~ 

3591: \int d^{2-2\varepsilon} \kappa_1 \frac{1}{(1+\kappa_1^2)^2}~ 

3592: [I^{(3)}(\kappa_1)~+~I^{(4)}(\kappa_1)]\, ,

3593: \nonumber\\

3594: \label{si3i4}

3595: \end{eqnarray}

3596: where in the second relation, we define $I^{(3)}(\kappa_1)$ to include the terms without

3597: the $1/(1-y)$

3598: denominator, and $I^{(4)}$ to include the remaining terms, all with this denominator.

3599: The infrared poles of $I^{(3)}(\kappa_1)$ are identified in the same way as

3600: those of the corresponding $q_3^2$ integral, $I^{(1)}(\kappa_1)$, Eq.\ (\ref{i1}),

3601: while those of $I^{(4)}(\kappa_1)$ are found in the same way as for $I^{(2)}(\kappa_1)$, Eq.\ (\ref{i2}).

3602: 

3603: For $I^{(3)}$ the $y$ integration is elementary, and we find

3604: \begin{eqnarray}

3605:  I^{(3)}(\kappa_1) &=& \sqrt{\pi}~\int_0^1 dx~ x 

3606:  \Big[\, \frac{\Gamma(1/2+\varepsilon)}{2}\;

3607:  \frac{(1+\kappa_1^2)q_\perp^2}{[-x^2(1+\kappa_1^2)^2 +i\epsilon]^{1/2+\varepsilon}} 

3608:  \nonumber \\

3609: \nonumber \\

3610: &\ & \hspace{10mm}

3611: -\; \Gamma(3/2+\varepsilon)~\frac{-(q_\perp 

3612: \cdot 

3613: \kappa_1)^2~[x^2(1+\kappa_1^2)-x\kappa_1^2 - x^2(\kappa_1^2-1)/2]}{[-x^2(1+\kappa_1^2)^2 +i\epsilon]^{3/2+\varepsilon}}\, \Big]\, . \nonumber \\

3614: \end{eqnarray}

3615: The overall infrared pole in this expression

3616: is easily identified as arising from the limit $x\to 0$.  It comes entirely

3617: from the the middle term in the numerator of the second fraction,

3618: \bea

3619: && I^{(3)}(\kappa_1)~ =~2\pi i\ \frac{(q_\perp \cdot 

3620: \kappa_1)^2\, \kappa_1^2}{(1+\kappa_1^2)^3}

3621: ~\frac{(1-i\pi\varepsilon)}{\varepsilon} \, .

3622: \label{i3k1}

3623: \eea

3624: Once again the pole is purely imaginary with, however,

3625: an associated finite real part.  Finite corrections are all imaginary.

3626: 

3627: To evaluate $I^{(4)}(\kappa_1)$ we again introduce a

3628: Feynman parameter

3629: $x^\prime$, which enables us to do the $\kappa_2$ integral

3630: just as for $I^{(2)}$ in Sec.\ A.1, giving

3631: \begin{eqnarray}

3632: && I^{(4)}(K_1)~ = - \int_0^1 

3633: dx~\int_0^1~dx^\prime {x^\prime}^\varepsilon\;

3634: \int_{-\infty}^{\infty}~dy   \nonumber \\

3635: && \times

3636: \Bigg[\,

3637: \frac{\Gamma(2+\varepsilon)}{4}~\frac{(1+\kappa_1^2)q_\perp^2-4(1-x)(q_\perp \cdot 

3638: \kappa_1)^2}

3639: {[\, x^\prime[y^2+xy(\kappa_1^2-1)-x^2\kappa_1^2 ]~+~(1-x^\prime)(y-1)~+~i\epsilon\, ]^{2+\varepsilon}} \nonumber \\

3640: &&

3641: ~+\frac{1}{4}\, y(2x-1)~\Gamma(2+\varepsilon)

3642: \frac{(1+\kappa_1^2)q_\perp^2}

3643: {[\, x^\prime[y^2+xy(\kappa_1^2-1)-x^2\kappa_1^2 ]~+~(1-x^\prime)(y-1)~+~i\epsilon\, ]^{2+\varepsilon}} \nonumber \\

3644: &&~-y(1-x)xx'\, \Gamma(3+\varepsilon)~\frac{(q_\perp \cdot 

3645: \kappa_1)^2[x(1+\kappa_1^2)-\kappa_1^2]}

3646: {[\, x^\prime[y^2+xy(\kappa_1^2-1)-x^2\kappa_1^2 ]~+~(1-x^\prime)(y-1)~+~i\epsilon\, ]^{3+\varepsilon}} \nonumber \\

3647: &&~-y^2(1-x)x x^\prime \Gamma(3+\vep)~\frac{(q_\perp \cdot \kappa_1)^2}

3648: {[\, x^\prime[y^2+xy(\kappa_1^2-1)-x^2\kappa_1^2 ]~+~(1-x^\prime)(y-1)~+~i\epsilon\, ]^{3+\varepsilon}}\, \Bigg]\, .

3649: \nonumber\\

3650: \label{i4}

3651: \end{eqnarray}

3652: These integrals are

3653: precisely of the form of those in $I^{(2)}$, but

3654: to limit the rather  large number of terms, we introduce the $y$-independent

3655: quantities

3656: \bea

3657: && P~=~\frac{1}{2}\, \left[ x(\kappa_1^2-1)~+~(1-x^\prime)/x^\prime\, \right]   \nonumber \\

3658: && M^2~=~x^2\kappa_1^2~+~(1-x^\prime)/x^\prime\, .

3659: \label{PMdef}

3660: \eea

3661: In this notation, the denominators of Eq.\ (\ref{i4})

3662: are

3663: \bea

3664: x^\prime[y^2+xy(\kappa_1^2-1)-x^2\kappa_1^2 ]~+~(1-x^\prime)(y-1) = x'(y^2 +2Py - M^2)\, .

3665: \eea

3666: After the $y$ integral, $I^{(4)}(\kappa_1)$ can be written as a sum of five terms,

3667: \begin{eqnarray}

3668: && I^{(4)}(\kappa_1)~ = 

3669: - \sqrt{\pi}\, ie^{-i\pi \varepsilon}\, \int_0^1 dx ~\int_0^1 dx^\prime~   \nonumber \\

3670: &&

3671: \times \Bigg[\,  \frac{\Gamma(3/2+\varepsilon)}{4}\;

3672: \frac{(1+\kappa_1^2)q_\perp^2}{{x^\prime}^2[P^2+M^2]^{3/2+\varepsilon}} \nonumber \\

3673: && \hspace{10mm}- \frac{\Gamma(3/2+\varepsilon)}{4}\, (2x-1)\,

3674: P~\frac{(1+\kappa_1^2)q_\perp^2}{{x^\prime}^2[P^2+M^2]^{3/2+\varepsilon}} \nonumber \\

3675: && \hspace{10mm} -  \Gamma(3/2+\varepsilon)\, (1-x)\, \frac{(q_\perp \cdot \kappa_1)^2}{{x^\prime}^2[P^2+M^2]^{3/2+\varepsilon}} \nonumber \\

3676: && \hspace{10mm} - \Gamma(5/2+\varepsilon)\, x(1-x)\, P~\frac{(q_\perp \cdot 

3677: \kappa_1)^2(x-(1-x)\kappa_1^2)}{{x^\prime}^2[P^2+M^2]^{5/2+\varepsilon}} \nonumber \\

3678: &&\hspace{10mm}  - \frac{\Gamma(3/2+\varepsilon)}{2}\, x(1-x)\,

3679: \frac{(q_\perp \cdot \kappa_1)^2(M^2-2P^2+\varepsilon  M^2)}

3680: {{x^\prime}^2[P^2+M^2]^{5/2+\varepsilon}}\, \Bigg]

3681: \nonumber\\

3682: && \equiv

3683: - \sqrt{\pi}\, ie^{-i\pi \varepsilon}\, \Gamma(3/2+\varepsilon)\, 

3684: [\, i^{(1)}(\kappa_1)~+~ i^{(2)}(\kappa_1)~+~ i^{(3)}(\kappa_1)~+~ i^{(4)}(\kappa_1)~+~ i^{(5)}(\kappa_1)\, ]\, ,

3685: \nonumber\\

3686: \label{ii4}

3687: \eea

3688: where the final line is the notation we will use for the five terms,

3689: taken in order, with $i^{(1)}$ the first, and $i^{(5)}$ the last.

3690: 

3691: The infrared pole of each of the $i^{(i)}$ can be found by

3692: the straightforward, if slightly tedious,  application of the following steps:

3693: 1) re-express $P$ and $M^2$ in terms of $x$, $x'$

3694: and $\kappa_1^2$ using (\ref{PMdef}), 2) 

3695: change variables as above to $u~=~x^2$ and $v^\prime~=~(1-x^\prime)/u$,

3696: 3) identify  the residue of the singular  $u^{-1-\vep}$ behavior,

3697: where it is present.  In fact, of the five terms, only $i^{(1)}$, $i^{(3)}$

3698: and $i^{(4)}$ are singular at  $\vep=0$.  Their poles are determined from

3699: \bea

3700: ~i^{(1)}(\kappa_1)~=~ \frac{(1+\kappa_1^2)q_\perp^2}{8}~\int_0^1~

3701: \frac{du}{u^{1+\varepsilon}}~\int_0^\infty~dv^\prime~

3702: ~\frac{1}{[v^\prime ~+~(1+\kappa_1^2)^2/4]^{3/2}}\, ,

3703: \label{i1k1}

3704: \eea

3705: \bea

3706: ~i^{(3)}(\kappa_1)~=~-\, \frac{(q_\perp \cdot \kappa_1)^2}{2}~

3707: \int_0^1~ \frac{du}{u^{1+\varepsilon}}~\int_0^\infty~dv^\prime~

3708: ~\frac{1}{[v^\prime ~+~(1+\kappa_1^2)^2/4]^{3/2}}. 

3709: \label{i3k1a}

3710: \eea

3711: \bea

3712: ~i^{(4)}(\kappa_1)~=~ \frac{3(q_\perp \cdot \kappa_1)^2}{8}~\kappa_1^2~(\kappa_1^2-1)~

3713: \int_0^1~ \frac{du}{u^{1+\varepsilon}}~\int_0^\infty~dv^\prime~

3714: ~\frac{1}{[v^\prime ~+~(1+\kappa_1^2)^2/4]^{5/2}}\, .

3715: \label{i4k1}

3716: \eea

3717: The remaining two terms

3718: behave as $u^{-1/2}$ for  $u\to  0$ and are hence of order $\vep^0$

3719: and imaginary.

3720: 

3721: The contributions of the poles in Eqs.\ (\ref{i1k1})-(\ref{i4k1})

3722: are also purely imaginary because of the

3723: overall factor of $-i\pi$ in  (\ref{ii4}), and will

3724: enter the fragmentation function as an imaginary

3725: double pole, which therefore cancel.   Correspondingly, all real terms of

3726: order $\vep^0$  from the $u$, $v'$ and $\kappa_1$ integrals

3727: contribute only at the level of an imaginary  single pole.

3728: A real single pole in the final result can only result from

3729: a relative factor $-i\vep$, which is found  as above

3730: from the expansion of ${\rm e}^{-i\pi\vep}$.

3731: 

3732: The final  result for $IIIA^{(k_0)}(q_\perp)$, 

3733: defined by Eq.\ (\ref{IIIAqperp}) and 

3734: (\ref{n3qperp}),  is

3735:  therefore found from: 4) isolating the

3736: finite real part  from the expansion  of the overall factor of $e^{-i\pi\vep}$ 

3737: in (\ref{ii4}), 5) performing the remaining $\kappa_1$ integration  at $\vep=0$,

3738: and finally 6) replacing the final $k_1^+$ integral by $1/(-4\vep)$,

3739: according to Eq.\ (\ref{Nepspole}).

3740: In this way, we  obtain 

3741: \bea

3742: 2\, {\rm Re}\, IIIA^{(k_2^0\, {\rm pole})}(q_\perp)

3743: ~=~ -\, \alpha_s^2~\frac{1}{3 \varepsilon}~q_\perp^2

3744: \qquad (q_3=0)\, ,

3745: \label{sqT}

3746: \eea

3747: matching Eq.\ (\ref{sq3}) for the $q_3^2$ term.   There are no

3748: terms linear in $q_3$ and $q_\perp$, and the complete

3749: result  is thus rotationally invariant.  

3750: 

3751: 

3752: 

3753: 

3754: \end{appendix}

3755: 

3756:     \begin{thebibliography}{99}

3757: 

3758:     \bibitem{der04} 

3759:     %FIFTY YEARS OF YANG-MILLS THEORIES: A PHENOMENOLOGICAL POINT OF VIEW. 

3760: A.\ De Rujula, in {\it 50 years of Yang-Mills theory*}, 

3761: ed.\ G.\ 't Hooft (World Scientific, Singapore, 2004) p. 401, hep-ph/0404215.

3762: 

3763:    \bibitem{braatenhipt}  

3764:    E.\ Braaten and T.C.\ Yuan, Phys.\ Rev.\ Lett.\ 71,  1673 (1993);

3765: Phys.\ Rev.\ D50, 3176  (1994); E.\ Braaten, K.\ Cheung and T. C.\ Yuan,

3766: Phys.\ Rev.\ D48, 4230  (1993); Y.Q.\ Chen, Phys.\ Rev.\ D48, 5181  (1993);

3767: T.C.\ Yuan, Phys.\ Rev.\ D50, 5664  (1994); E.\ Braaten, M.A.\ Doncheski, S.\ 

3768: Fleming and M.\ Mangano, Phys. Lett. B333, 548  (1994); D.P.\ Roy and K.\ 

3769: Sridhar, Phys.\ Lett.\ B339, 141  (1994); M.\ Cacciari and M.\ Greco, Phys.\ 

3770: Rev.\ Lett.\ 73, 1586  (1994).

3771: 

3772: \bibitem{mueller78} A.H.\ Mueller, Phys.\ Rev.\ D18, 3705 (1978).

3773: 

3774: \bibitem{Col81a} J.C. Collins and  G.\ Sterman,

3775: Nucl.\ Phys.\ B185, 172 (1981).

3776: 

3777:       \bibitem{CSSrv} J.C.\ Collins, D.E.\ Soper and G.\ Sterman,

3778:    in {\it Perturbative quantum chromodynamics}, ed.\ A.H.\ Mueller

3779:    (World Scientific, Singapore, 1989), p.\ 1; hep-ph/0409313.

3780: 

3781: \bibitem{1pIfact} 

3782: J.C. Collins, D.E.\ Soper and  G.\ Sterman, Nucl.\ Phys.\ B261,  104 

3783: (1985); B308, 833 (1988);\\

3784: G.T.\ Bodwin, Phys.\ Rev.\ D31, 2616 (1985) Erratum {ibid.}\ D34, 3932 

3785: (1986).

3786: 

3787: \bibitem{bodwin94} G.T.\ Bodwin, E.\ Braaten and G.P.\ Lepage,

3788: Phys.\ Rev.\ D51, 1125 (1995), Erratum ibid.\ D55, 5853 (1997)

3789: hep-ph/9407339.

3790: 

3791:    \bibitem{braaten96} E.\ Braaten, S.\ Fleming and T.C.\ Yuan,

3792: Ann.\ Rev.\ Nucl.\ Part.\ Sci.\ 46, 197 (1996)

3793: hep-ph/9602374.

3794: 

3795: \bibitem{QWGBrambilla} 

3796: N.\ Brambilla {\it et al.} (Quarkonium

3797: Working Group) hep-ph/0412158, and references therein.

3798: 

3799: \bibitem{CDFoctet}

3800: E. Braaten and S. Fleming, Phys.\ Rev.\ Lett.\ 74, 3327 (1995); 

3801: E. Braaten, S. Fleming and T. C. Yuan, 

3802:    Ann.\ Rev.\ Nucl.\ Part.\ Sci.\ 46, 197 (1996); 

3803: P. L. Cho and A. K. Leibovich, Phys.\ Rev.\ D53, 6203 (1996); 

3804: Phys.\ Rev.\ D53, 150 (1996); 

3805: E. Braaten, S. Fleming and A. K. Leibovich, 

3806: Phys.\ Rev.\ D63, 094006 (2001).

3807: 

3808: \bibitem{CDFpolarization} 

3809: E. Braaten, B. A. Kniehl and J. Lee, Phys. Rev. D62, 094005 (2000); 

3810: E. Braaten and J. Lee, Phys. Rev. D63, 071501 (2001);

3811: M. Beneke and M. Kramer, Phys. Rev. D55, 5269 (1997);

3812: A. K. Leibovich, Phys. Rev. D56, 4412 (1997).

3813: 

3814: \bibitem{HERAoctet} 

3815: M. Cacciari and M. Kramer, Phys. Rev. Lett. 76, 4128 (1996);

3816: M. Beneke, M. Kramer and M. Vanttinen, Phys. Rev. D57, 4258 (1998);

3817: J. Amundson, S. Fleming and I. Maksymyk, Phys. Rev. D56, 5844 (1997);

3818: R. M. Goodbole, D. P. Roy and K. Sridhar, Phys. Lett. B373, 328 (1996);

3819: B. A. Kniehl and G. Kramer, Phys. Rev. D56, 5820 (1997).

3820: 

3821: \bibitem{LEPoctet} 

3822: C. G. Boyd, A. K. Leibovich and I. Z. Rothstein,

3823: Phys. Rev. D59, 054016 (1999);

3824: M. Klasen, B. A. Kniehl, L. N. Mihaila

3825: and M. Steinhauser, Phys. Rev. Lett. 89, 032001 (2002).

3826: 

3827: \bibitem{RHICoctet} 

3828: G. C. Nayak, M.X. Liu and F. Cooper, Phys. Rev. D68, 034003 (2003);

3829: F. Cooper, M.X. Liu and G. C. Nayak, 

3830: Phys. Rev. Lett. 93, 171801 (2004);

3831: M. Klasen, B. A. Kniehl, L. N. Mihaila and M. Steinhauser,

3832: Phys. Rev. D68, 034017 (2003),

3833: 

3834: \bibitem{fixedtargetoctet} 

3835: M. Beneke and I. Z. Rothstein, Phys. Rev. D54, 2005 (1996) 

3836: [Erratum-ibid. D54, 7082] (1996)];

3837: W. K. Tang and M. Vanttinen, Phys. Rev. D54, 4349 (1996);

3838: S. Gupta and K. Sridhar, Phys. Rev. D54, 5545 (1996).

3839: 

3840: \bibitem{bodwin03} 

3841: M.\ Kramer, Prog.\ Part.\ Nucl.\ Phys.\ 47, 141 (2001)

3842: hep-ph/0106120;\\

3843: G.T.\ Bodwin,

3844: at 2nd International Conference on Flavor Physics (ICFP 2003), Seoul, 

3845: Korea, 6-11 Oct 2003,

3846: hep-ph/0312173.

3847: 

3848: \bibitem{nayak05}  G.C. Nayak, J.-W.\ Qiu and G.\ Sterman,

3849:    Phys.\ Lett.\ B 613, 45 (2005) hep-ph/0501235.

3850:    

3851:    \bibitem{czar97} A.\ Czarnecki and K.\ Melnikov, Phys.\ Rev.\ Lett.\ 80, 2531 (1998)

3852:    hep-ph/9712222.

3853:    

3854:    \bibitem{ben97} M.\ Beneke, A.\ Signer and V.A.\ Smirnov,

3855:    Phys.\ Rev.\ Lett.\ 80, 2535 (1998) hep-ph/9712302.

3856: 

3857: \bibitem{Ste78} G.\ Sterman, Phys.\ Rev.\ D17, 2773 (1978), ibid.\

3858: 2789 (1978).

3859: 

3860: \bibitem{Stbook} G.\ Sterman, {\it An introduction to quantum field

3861: theory} (Cambridge Univ.\ Press, Cambridge, 1993), chap.\ 13.

3862: 

3863:    \bibitem{Col65}  S.\ Coleman and R.E.\ Norton, Nuovo Cim.\ 38, 438

3864: (1965).

3865: 

3866: \bibitem{Edenetal} R.J.\ Eden, P.V.\ Landshoff,  D.I.\ Olive and

3867: J.C.\ Polkinghorne, {\it The analytic S-matrix} (Cambridge

3868: Univ.\ Press, Cambridge, 1966),  chap.\ 2.

3869: 

3870: \bibitem{Lab84} J.M.F.\ Labastida and G.\ Sterman,

3871: Nucl.\ Phys.\ B254, 425 (1985);

3872: J.W.\ Qiu and G.\ Sterman, Nucl.\ Phys.\ B353, 137, (1991).

3873: 

3874: \bibitem{Col81b} J.C.\ Collins and D.E.\ Soper,

3875: Nucl.\ Phys.\ B193, 381 (1981).

3876: 

3877: \bibitem{bau01} 

3878: %SOFT COLLINEAR FACTORIZATION IN EFFECTIVE FIELD THEORY.

3879: C.W. Bauer, D.\ Pirjol and I.W. Stewart, Phys.\ Rev.\ D65, 054022 (2002) 

3880: hep-ph/0109045.

3881: 

3882: \bibitem{bau02} 

3883: %POWER COUNTING IN THE SOFT COLLINEAR EFFECTIVE THEORY.

3884: C.W. Bauer, D.\ Pirjol and I.W. Stewart, Phys.\ Rev.\ D66, 054005 (2002) 

3885: hep-ph/0205289.

3886: 

3887: \bibitem{bas84} 

3888: %FACTORIZATION AT HIGHER TWIST IN HADRON - HADRON SCATTERING.

3889: R.\ Basu, A.J. Ramalho and G.\ Sterman, Nucl.\ Phys.\ B244, 221 (1984).

3890: 

3891: \bibitem{bod81}

3892: %INITIAL STATE INTERACTIONS AND THE DRELL-YAN PROCESS.

3893: G.T.\ Bodwin, S.J.\ Brodsky and G.P.\ Lepage, Phys.\ Rev.\ Lett.\ 47, 1799 (1981).

3894: 

3895: \bibitem{lib78} S.B.\ Libby and G.\ Sterman, Phys.\ Rev.\ D18, 3252

3896: (1978).

3897: 

3898: \bibitem{diffact} J.C.Collins, L.\ Frankfurt and M.\ Strikman, Phys.\ Lett.\ B307, 161 (1993) 

3899: hep-ph/9212212; E.L.Berger, J.C.\ Collins, D.E.\ Soper and G.\ Sterman,

3900:  Nucl.\ Phys.\ B286, 704 (1987).

3901: 

3902: \bibitem{bau03} 

3903: %ON POWER SUPPRESSED OPERATORS AND GAUGE INVARIANCE IN SCET.

3904: C.W. Bauer, D.\ Pirjol and I.W. Stewart,  Phys.\ Rev.\ D68, 034021 (2003) 

3905: hep-ph/0303156.

3906: 

3907: \bibitem{col82} J.C.\ Collins and D.E.\ Soper,

3908: %PARTON DISTRIBUTION AND DECAY FUNCTIONS.

3909: Nucl.\ Phys.\ B194, 445 (1982).

3910: 

3911: \bibitem{col86} J.C.\ Collins and W.-K.\ Tung, in

3912: proceedings of the 23rd International Conference on High-Energy Physics,

3913:  Berkeley, CA, 16-23 July 1986, 

3914: Nucl.\ Phys.\ B278, 934 (1986);

3915: %HARD SCATTERING FACTORIZATION WITH HEAVY QUARKS: A GENERAL TREATMENT. 

3916: J.C.\ Collins  Phys.\ Rev.\ D58, 0940021 (1998) 

3917: hep-ph/9806259.

3918: 

3919: \bibitem{ma94} %CALCULATING FRAGMENTATION FUNCTIONS FROM DEFINITIONS.

3920: J.P. Ma. Phys.\ Lett.\ B332, 398 (1994)  hep-ph/940124;

3921: %GLUON FRAGMENTATION INTO P WAVE TRIPLET QUARKONIUM.

3922: Nucl.\ Phys.\ B447, 405 (1995) hep-ph/9503346.

3923: 

3924: \bibitem{braaten97} 

3925: %CALCULATION OF P WAVE CHARMONIUM DECAY RATES USING DIMENSIONAL REGULARIZATION

3926: E.\ Braaten and Y.-Q.\ Chen,

3927: Phys.\ Rev.\ D55, 7152 (1997)

3928: hep-ph/9701242.

3929: 

3930: \bibitem{petrelli98} A.\ Petrelli, M.\ Cacciari, M.\ Greco, F.\ Maltoni

3931: and  M.L.\ Mangano, Nucl.\ Phys.\ B514, 245 (1998)

3932: hep-ph/9707223.

3933: 

3934: \bibitem{ma05}

3935:   J.~P.~Ma and Z.~G.~Si,

3936:   %``NRQCD factorization and universality of NRQCD matrix elements,''

3937:   arXiv:hep-ph/0506078.

3938:   %%CITATION = HEP-PH 0506078;%%

3939: 

3940: \bibitem{braaten00} 

3941: %NEXT-TO-LEADING ORDER CALCULATION OF THE COLOR OCTET 3S(1) GLUON FRAGMENTATION FUNCTION FOR HEAVY QUARKONIUM.

3942: E.\ Braaten and J.\ Lee, Nucl.\ Phys.\ B586, 427 (2000) hep-ph/0004228.

3943: 

3944: \bibitem{lee05} 

3945: %NEXT-TO-LEADING ORDER CALCULATION OF A FRAGMENTATION FUNCTION IN A LIGHT-CONE GAUGE.

3946: J.\ Lee, Phys.\ Rev.\ D71, 094007 (2005) hep-ph/0504285.

3947: 

3948: \bibitem{Luke:1999kz}

3949:   M.~E.~Luke, A.~V.~Manohar and I.~Z.~Rothstein,

3950:   %``Renormalization group scaling in nonrelativistic QCD,''

3951:   Phys.\ Rev.\ D {\bf 61}, 074025 (2000)

3952:   [arXiv:hep-ph/9910209].

3953:   %%CITATION = HEP-PH 9910209;%%

3954: 

3955: \bibitem{braaten97b} E.\ Braaten, lectures at the Third International

3956: Workshop on Particle Physics Phenomenology, Taipei, November 1996,

3957: hep-ph/9702225.

3958: 

3959: \bibitem{potential}

3960: %POTENTIAL NRQCD: AN EFFECTIVE THEORY FOR HEAVY QUARKONIUM

3961: N.\ Brambilla, A.\ Pineda (CERN), J.\ Soto and A.\ Vairo,

3962:  Nucl.\ Phys.\ B566, 275 (2000)

3963: hep-ph/9907240.

3964: 

3965: \bibitem{kho04} 

3966: %INELASTIC J/PSI AND UPSILON HADROPRODUCTION

3967: V.A.\ Khoze, A.D.\ Martin, M.G. Ryskin

3968: and W.J.\ Stirling, Eur.\ Phys.\ J.\ C39, 163 (2005) 

3969: hep-ph/041002.

3970: 

3971: 

3972:    \end{thebibliography}

3973: 

3974:      \end{document}

3975: 

3976: 

3977: ??

3978: