1: \documentclass[preprint,prd,tightenlines,nofootinbib,superscriptaddress]{revtex4}

2: 

3: \usepackage{color}

4: \definecolor{red}{rgb}{1,0,0}

5: \newcommand{\NOTE}[1]{\textcolor{red}{ \bf[NOTE: #1]}}

6: 

7: \usepackage{amsmath,bm}

8: 

9: \begin{document}

10: 

11: %%%%%%%%%%%%%%%%%%%%%%%

12: 

13: \preprint{\vbox{

14: \hbox{CERN-PH-TH/2007-014}

15: }  }

16: 

17: 

18: 

19: \title{Parton distribution function for quarks in an $s$-channel approach}

20: \author{F.\ Hautmann}

21: \affiliation{CERN, Physics Department, TH Division,  

22: CH-1211 Geneva 23, Switzerland}

23: \affiliation{Institut f{\" u}r Theoretische Physik, 

24: Universit{\" a}t Regensburg, D-93040 Germany}

25: \author{Davison E.\ Soper}

26: \affiliation{Institute of Theoretical Science,

27: University of Oregon, Eugene OR 97403, USA}

28: 

29: 

30: \begin{abstract}

31: We use an $s$-channel picture of hard hadronic collisions  

32: to  investigate the parton distribution function for quarks at small momentum

33: fraction $x$, which corresponds to very high energy scattering. We study the

34:  renormalized quark distribution at one loop in this approach. 

35:  In the high-energy picture, the quark distribution function is 

36:  expressed in terms of a Wilson-line correlator that represents 

37:  the cross section for a color dipole to scatter from the proton. We 

38:  model this Wilson-line correlator in a saturation model. We relate 

39:  this representation of the quark distribution function to the 

40:  corresponding representation of the structure function $F_T(x,Q^2)$ 

41:  for deeply inelastic scattering.    

42: \end{abstract}

43: 

44: 

45: \pacs{}

46: 

47: %\narrowtext

48: \maketitle

49: 

50: \section{Introduction}

51: \label{sec:intro}

52: 

53: 

54: 

55: Proton structure at large $Q^2$ and 

56: small Bjorken $x$ has been extensively investigated 

57: in experiments at HERA. This program is of great intrinsic 

58: interest and   provides valuable information 

59: for the LHC program, where the 

60: short-distance structure of protons and nuclei will be probed 

61: at TeV energies.   

62: Two physical pictures that seem very different from each other 

63:  are  used to analyze hadronic structure functions  

64:  for large $Q^2$ and small $x$. 

65: 

66: 

67: There is a parton picture, in which 

68: the hadron  consists of partons and the partons 

69: undergo a hard collision that produces the final 

70: state.  This is reviewed in \cite{jjj}.  

71: This applies at large $Q^2$. The 

72: corresponding theoretical method is that 

73: of factorization. The cross section is written 

74: as a convolution of parton distribution 

75: functions, $f_{a/A}(x,Q^2)$, and a hard 

76: cross section for partonic scattering. 

77: The parton distribution functions are evaluated at 

78: small $x$, but the $x$ dependence is not predicted 

79: except insofar as it results from evolution starting 

80: from $f_{a/A}(x,Q_0^2)$ at a smaller virtuality scale $Q_0^2$.

81: 

82: 

83: There is an $s$-channel picture, in which one thinks 

84: of the event in the rest frame of one of the hadrons. 

85: See  \cite{ericemue} for recent accounts. This applies 

86: at small $x$. The hard 

87: interaction takes place far outside the hadron and 

88: the products of the interaction travel toward the 

89: hadron and interact with it. In the simplest case, 

90: there are effectively two objects that collide with 

91: the hadron. These objects carry opposite color, so 

92: that they can be said to constitute a ``color dipole'',  

93: described by a  correlator of two eikonal Wilson lines. 

94: An important concept here is that the cross section for the 

95: color dipole to scatter from the hadron can be simple 

96: when the transverse separation between the elements 

97: of the dipole are large. Then the dipole always 

98: scatters as long as its impact parameter is within 

99: the hadron radius. One speaks of the cross section 

100: saturating -- that is, being as large as it possibly 

101: could be \cite{golecrev,mue99}.

102: 

103: These pictures seem quite different, 

104: as they look at the collision in different 

105: reference frames, and lead to different theoretical methods, 

106: but they are not at all incompatible. In the region where 

107: their domains of validity overlap, they must describe 

108: the same physics. 

109: The aim of this paper is to connect the two pictures. 

110: 

111: We examine  one of the main ingredients 

112: used in the parton picture, namely the distribution function

113: for finding a quark in a hadron,  defined 

114: as a hadronic matrix element of a certain product of 

115: operators \cite{cs82}. For very small $x$, the parton system created by

116: this operator   is far

117: outside the hadron. We analyze the evolution of the system 

118:  using $s$-channel  methods. 

119: We find that the  quark distribution can be expressed as 

120: a Wilson-line  correlator convoluted with  

121: a simple  lightcone wave function. 

122: Moreover, we find  that this answer allows one to  

123:  relate with precision the seemingly dissimilar 

124: results for structure functions in the 

125: parton framework and the $s$-channel framework.  

126: 

127: 

128: Part of the results of this analysis have been used 

129: in \cite{plb06} to investigate  the power  corrections 

130: to  structure functions  that arise from the $s$-channel  picture.  

131: 

132: The content of the paper is   as follows. We begin by applying 

133:  the  hamiltonian method~\cite{hks} to  the quark distribution function. 

134: This allows us to write the quark distribution  as a convolution 

135: of a lightcone wave function and a  matrix 

136: element of eikonal-line operators (Sec.~\ref{sec:qua}).   

137: We work in the lowest-order approximation, i.e., the dipole 

138: approximation. 

139: The convolution formula  provides  a simple  

140: interpretation in coordinate space  for the 

141: physical  process that probes 

142: the  distribution. The  parton distribution is 

143: defined by  matrix elements of operator products 

144: that require renormalization. We perform the renormalization 

145: at one loop using the $\overline{\rm MS}$ subtraction scheme 

146: for the ultraviolet divergences. 

147: 

148: The eikonal-operator matrix element 

149: receives contribution from both 

150: short distances and long distances.  We first 

151: analyze it   by an expansion 

152: in powers of $g A$ (with $g$  the strong coupling and 

153: $A$  the gauge field), valid at short distances 

154: (Sec.~\ref{sec:dipoleandglu}). This 

155: expansion  is useful   to carry out the matching with 

156: renormalization-group evolution equations.  

157: In particular,  

158: it allows us  to relate the eikonal 

159:  matrix element at short distances 

160: to a well-prescribed  integral of the 

161: gluon distribution function. 

162: 

163: Next,  we motivate and  discuss a widely used 

164:  approach for modeling   the  eikonal-operator  matrix 

165: element at large distances 

166: (Sec.~\ref{sec:Xi}), based on parton 

167: saturation~\cite{golecrev,mue99}. 

168: As the saturation scale in the quark sector is likely to be 

169:  at much  lower momenta than in the gluon sector

170:   (see e.g. \cite{hs00}), we critically examine 

171:    the validity  of the 

172: treatment      for 

173: the quark distribution,  and 

174: the potential breakdown of the dipole approximation 

175:  (Sec.~\ref{sec:crit}).  

176:  

177: 

178: We finally discuss 

179: the relation of our results for the quark distribution 

180:  with known dipole results for structure functions 

181:  (Sec.~\ref{sec:strfun}). This discussion also  illustrates 

182: how standard factorization properties are reobtained from the 

183: $s$-channel point of view. 

184: 

185: 

186: Some supplementary material is left to the appendices. In 

187: Appendix \ref{app:little_u} we collect calculational details 

188: on integrals of  lightcone wave functions. In 

189: Appendix~\ref{sec:algeb} we give a relation between  

190: products  of eikonal operators 

191: for color-octet and color-triplet dipoles. 

192: In Appendix~\ref{app:FT} we report   details on  

193:  applying the  hamiltonian method 

194:  to the hadronic matrix element of two currents. 

195: 

196: 

197: 

198: 

199: \section{Quark distribution in the s-channel picture}

200: \label{sec:qua}

201: 

202: We study the quark distribution using 

203: the $s$-channel picture in the style of~\cite{hks}. 

204:  We start with the definition \cite{cs82} of the 

205:  quark distribution as a proton matrix element of a certain operator,

206: %

207: \begin{eqnarray}

208: %

209: \label{eq:fqdef}

210: f_{q/p}(x,\mu) &=& 

211: { 1 \over 4 \pi} \left({1\over 2}\sum_s\right)

212: \int\! d y^- e^{i xP^+y^-}

213: \nonumber\\

214: && \times

215: \langle P,s|

216: \bar\psi(0) Q(0) \gamma^+ Q^\dagger(y^-)\psi(0,y^-,{\bm 0})

217: |P,s\rangle_c .

218: %

219: \end{eqnarray}

220: %

221: Here 

222: for any four-vector $z^\mu$ we use  lightcone components $z^\pm$ defined as 

223: \begin{equation}

224: \label{pmkin}

225: z^\pm = {{z^0 \pm z^3} \over \sqrt{2} }   \; .    

226: \end{equation}

227: The proton momentum is 

228: \begin{equation}

229: \label{protmom}

230: P =     \left( P^+ , P^- ,  P_\perp \right)  

231: =   \left( P^+, \frac{M_p^2}{2P^+}, {\bm 0} \right)  \; .     

232: \end{equation}

233:  The operator $Q^\dagger$ 

234: is the path-ordered exponential of the color potential 

235: \begin{equation}

236: %

237: Q^\dagger(y^-) =

238: {\cal P}\exp\left\{

239: -ig\int_{y^-}^{+\infty}dz^- {A}^+_a(0,z^-,{\bm 0})t_a

240: \right\} \; ,

241: %

242: \end{equation}

243: %

244: where the path ordering instruction ${\cal P}$ puts fields and color

245: matrices with the most positive values of $z^-$ to the left. Equivalently,

246: following the notation of \cite{hks}, we can think of $Q^\dagger(y^-)$ 

247: as creating an eikonal particle that moves in the minus direction, starting  

248: at minus coordinate $y^-$. An eikonal particle is an imaginary particle that 

249: retains its plus and transverse positions no matter how much momentum

250: it absorbs. The

251: subscript $c$ on the matrix element in Eq.~(\ref{eq:fqdef}) 

252:  indicates that we are to take

253: the connected parts of the graphs, in which some partons from the proton

254: states communicate with the indicated operators. The operator product 

255: in Eq.~(\ref{eq:fqdef}) is ultraviolet divergent and requires renormalization. 

256: We will use the standard $\overline{\rm MS}$ prescription. The required 

257: subtraction at the one loop level is analyzed in Sec.~\ref{sec:renormalization}.

258: 

259: \subsection{The quark distribution as a forward scattering amplitude}

260: \label{sec:forward}

261: 

262: We begin by rewriting the matrix element in Eq.~(\ref{eq:fqdef}) so that it has the form of the real part of a forward scattering amplitude. To do this, we write $f_{q/p}(x,\mu)$ in two pieces,

263: %

264: \begin{equation}

265: %

266: f_{q/p}(x,\mu) = f^+_{q/p}(x,\mu) + f^-_{q/p}(x,\mu), 

267: %

268: \end{equation}

269: %

270: where

271: %

272: \begin{eqnarray}

273: %

274: f^+_{q/p}(x,\mu) &=& 

275: { 1 \over 4 \pi} \left({1\over 2}\sum_s\right)

276: \int_0^\infty\! d y^- e^{i xP^+y^-}

277: \nonumber\\

278: && \times

279: \langle P,s|

280: \bar\psi(0) Q(0) \gamma^+ Q^\dagger(y^-)\psi(0,y^-,{\bm 0})

281: |P,s\rangle_c

282: %

283: \end{eqnarray}

284: %

285: and

286: %

287: \begin{eqnarray}

288: %

289: f^-_{q/p}(x,\mu) &=& 

290: { 1 \over 4 \pi} \left({1\over 2}\sum_s\right)

291: \int^0_{-\infty}\! d y^- e^{i xP^+y^-}

292: \nonumber\\

293: && \times

294: \langle P,s|

295: \bar\psi(0) Q(0) \gamma^+ Q^\dagger(y^-)\psi(0,y^-,{\bm 0})

296: |P,s\rangle_c .

297: %

298: \end{eqnarray}

299: %

300: We note that

301: %

302: \begin{equation}

303: %

304: f^+_{q/p}(x,\mu) = [f^-_{q/p}(x,\mu)]^*.

305: %

306: \end{equation}

307: %

308: Thus $f$ is twice the real part of $f^-$:

309: %

310: \begin{eqnarray}

311: %

312: f_{q/p}(x,\mu) &=& 

313: {\rm Re}\, { 1 \over 2 \pi}\left({1\over 2}\sum_s\right)

314: \int_{-\infty}^0\! d y^- e^{i xP^+y^-}

315: \nonumber\\

316: && \times

317: \langle P,s|T\!\left\{

318: \bar\psi(0) Q(0) \gamma^+ Q^\dagger(y^-)\psi(0,y^-,{\bm 0})

319: \right\}

320: |P,s\rangle_c  . 

321: %

322: \end{eqnarray}

323: %

324: The operator product in $f^-$ is time ordered since $y^- < 0$. 

325: The $T$ here indicates this time ordering. For our purposes, it is helpful to insert a factor $x$ and another $y^-$ integral:

326: %

327: \begin{eqnarray}

328: %

329: \label{eq:fqasforwardscattering}

330: \lefteqn{

331: xf_{q/p}(x,\mu) =

332: } 

333: \nonumber \\

334: &&

335: {\rm Re}\,

336: { 2xP^+ \over 2 \pi} \left({1\over 2}\sum_s\right)

337: \int\! d y_2^- d y_1^-\ \theta(y_2^- > y_1^-)

338: e^{-i xP^+ (y_2^- - y_1^-)}

339: \int\frac{d P^{\prime +}}{(2\pi) 2 P^{\prime +}}

340: \nonumber\\

341: && \times

342: \langle P',s|T\!\left\{

343: \bar\psi(0,y_2^-,{\bm 0}) Q(y_2^-) \gamma^+

344: Q^\dagger(y_1^-)\psi(0,y_1^-,{\bm 0}) \right\}|P,s\rangle_c .

345: %

346: \end{eqnarray}

347: %

348: The integral over $P^{\prime+}$ can be thought of as setting the proton

349: state to position $y^-  = 0$. We have thus rewritten the

350: original $f$, which was analogous to a total cross section, as a Green

351: function analogous to a forward scattering amplitude. Our next task is to break the scattering amplitude into parts that can be analyzed separately.

352: 

353: \subsection{Decomposition of the gluon field}

354: \label{sec:gluondecomposition}

355: 

356: 

357: 

358: The Fourier transformed operator 

359: $Q^\dagger(y_1^-)\psi(0,y_1^-,{\bm 0})$ 

360: in Eq.~(\ref{eq:fqasforwardscattering}) 

361: creates an antiquark and an eikonal particle with 

362: a total plus-momentum $xP^+$. We consider that $x$ is very small, say $10^{-3}$. That means that the typical distance $y_1^-$ from the proton to where the antiquark and the eikonal particle are created is large, of order $1/(xP^+)$. This is way outside the proton. The antiquark and eikonal particle develop into a shower of partons with minus-momenta of order $k^- = (k_\perp^2 + k^2)/(2k^+) \sim m^2/(x P^+)$, where $k_\perp$ is the transverse momentum of the parton and $k^2$ is its virtuality and we take both of these to be of order $m^2 \equiv (300\ {\rm MeV})^2$. Thus the partons created by the original operator have very large minus-momenta. We will speak of them as ``fast'' partons. As noted, the fast partons travel a long distance in $y^-$ before meeting the proton.

363: 

364: When the fast partons meet the proton, 

365: they scatter from the gluon field of the proton, 

366: as depicted in Fig.~\ref{fig:sec2}. The 

367: gluon field of the proton consists of ``slow'' gluons, 

368: with plus-momenta much larger than $xP^+$. (Then the 

369: minus-momenta of these gluons, $k^- = (k_\perp^2 + k^2)/(2k^+)$ is much 

370: smaller than $m^2/(x P^+)$, assuming again that $k_\perp^2$ and $k^2$ are 

371: of order $m^2$.) We represent the gluon field produced by the proton as 

372: an external field ${\cal A}^\mu(x)$ and consider the quantity

373: %

374: \begin{eqnarray}

375: %

376: \label{UAdef}

377: U[{\cal A}] &=&

378: {2 xP^+ \over 2 \pi}

379: \int\! d y_2^- d y_1^- e^{-i xP^+ (y_2^- - y_1^-)}

380: \nonumber\\

381: && \times

382: \left\{

383: \langle 0|

384: \bar\psi(0,y_2^-,{\bm 0}) Q(y_2^-) \gamma^+

385: Q^\dagger(y_1^-)\psi(0,y_1^-,{\bm 0}) |0\rangle _{\cal A} \right.

386: \nonumber\\

387: &&\quad  -

388: \left.

389: \langle 0|

390: \bar\psi(0,y_2^-,{\bm 0}) Q(y_2^-) \gamma^+

391: Q^\dagger(y_1^-)\psi(0,y_1^-,{\bm 0}) |0\rangle _{0} \right\}.

392: %

393: \end{eqnarray}

394: %

395: This is the amplitude for the fast partons to be created by the operator $Q^\dagger\psi$, scatter from the external field ${\cal A}$, then be annihilated by the conjugate operator $\bar \psi Q$. In the second term, we subtract a no-scattering term with the external field set to zero, in accordance with the instruction to take only connected graphs. Then the quark distribution is a proton matrix element of $U[A]$, with the external field ${\cal A}$ replaced by the quantum field $A$,

396: %

397: \begin{equation}

398: %

399: xf_{q/p}(x,\mu) =

400: {\rm Re}\,

401: \left({1\over 2}\sum_s\right)

402: \int\frac{d P^{\prime +}}{(2\pi) 2 P^{\prime +}}

403: \langle P',s|

404: U[A]

405: |P,s\rangle .

406: \label{fieldinproton}

407: %

408: \end{equation}

409: %

410: 

411: 

412: \begin{figure}[htb]

413: \vspace{105mm}

414: \special{psfile=fig_sec2_2.eps hscale=50 vscale=50

415:   hoffset=100 voffset=20}

416: \caption{Quark distribution in the $s$-channel picture. 

417: The black circles   at the top represent the insertion of  

418: the operators in Eq.~(\ref{eq:fqasforwardscattering}).   

419: The double straight line represents the eikonal. 

420: Any number of slow gluons couple the fast parton and 

421: the eikonal  to the proton.}

422: \label{fig:sec2}

423: \end{figure}

424: 

425: 

426: 

427: 

428: There is, of course, a catch in this. There is only one gluon field $A^\mu(x)$. We need to divide it into two pieces, one associated with the fast partons and one associated with the proton. To do this, we choose a momentum fraction $x_c$. Gluons with plus-momenta smaller than $x_c P^+$ are associated with the fast partons. Gluons with plus-momenta larger than $x_c P^+$ are associated with the proton and included in the external field ${\cal A}$ in Eq.~(\ref{UAdef}). In order for the approximations discussed below to work, we need $x \ll x_c$. It is perhaps easiest to think about the physics taking $x_c$ to be of order $1/(R_p P^+)$, so that the proton's field is considered to have a spatial extent of the order of the proton radius, $R_p$. However, in the end we will want to take $x_c \ll 1$ and in fact let $x_c$ be pretty close to $x$.

429: 

430: We will, in fact, not need to be very specific about how to implement the division at momentum fraction $x_c$. For our discussion of the quark distribution, working at lowest order in perturbation theory, we are saved from sensitivity to the splitting method by the fact that the $g \to q\bar q$ Altarelli-Parisi splitting function does not have a soft singularity. If we worked with the gluon distribution or with the quark distribution to higher order, we would need a more sophisticated analysis.

431: 

432: \subsection{The evolution operator $U$ at high energy}

433: \label{sec:evolU}

434: 

435: The function $U[{\cal A}]$  

436: can be written in the interaction picture with

437: ${\cal A}$ as the perturbation:

438: %

439: \begin{eqnarray}

440: %

441: U[{\cal A}] &=&

442: { 2xP^+ \over 2 \pi}

443: \int\! d y_2^- d y_1^- \theta(y_2^- - y_1^-)\,

444: e^{-i xP^+ (y_2^- - y_1^-)}

445: \nonumber\\

446: && \times

447: \langle 0| U(\infty,y_2^-)

448: \bar\psi(0,y_2^-,{\bm 0}) Q(y_2^-) \gamma^+ 

449: \nonumber\\

450: && \times\ \ \ \ 

451: U(y_2^-,y_1^-)

452: Q^\dagger(y_1^-)\psi(0,y_1^-,{\bm 0})

453: U(y_1^-,\infty)|0\rangle 

454: \nonumber\\

455: && - ({\rm same\ with\ } {\cal A} = 0).

456: %

457: \end{eqnarray}

458: %

459: This is without approximation. Now we 

460: recognize that for small $x$, only

461: $y_2^- \gg r^-$ and $y_1^- \ll - r^-$ 

462: are important, where $r^-$ is the

463: effective radius of the proton's field  in the 

464: longitudinal direction, 

465: $r^- = 1 / ( x_c P^+ )$. The external

466: field is concentrated in $|y^-| < r^-$, so we have

467: %

468: \begin{eqnarray}

469: %

470: U[{\cal A}] &\approx&

471: { 2xP^+ \over 2 \pi}

472: \int_0^\infty \!d y_2^- \int_{-\infty}^0\! d y_1^- 

473: e^{-i xP^+ (y_2^- - y_1^-)}

474: \nonumber\\

475: && \times

476: \langle 0|

477: \bar\psi(0,y_2^-,{\bm 0}) Q(y_2^-) \gamma^+ 

478: [U(\infty,-\infty) - 1]

479: Q^\dagger(y_1^-)\psi(0,y_1^-,{\bm 0})

480: |0\rangle .\ \ \ \

481: %

482: \end{eqnarray}

483: %

484: Here we have subtracted the no-scattering term as ``$-1$''.

485: 

486: At this stage, our quantum fields are evolving with full QCD [not

487: including the external field, which is represented in

488: $U(\infty,-\infty)$]. Let us now expand this evolution in powers of

489: $\alpha_s$ and take just the Born term. Then the fields evolve with just

490: the free field hamiltonian. We can insert intermediate states, and at

491: this level of approximation, the intermediate states contain just one

492: antiquark and the one eikonal particle ${\cal E}$. We get

493: %

494: \begin{eqnarray}

495: %

496: U[{\cal A}] &\approx&

497: { 2xP^+ \over 2 \pi}

498: \int_0^\infty \!d y_2^- \int_{-\infty}^0\! d y_1^-

499: e^{-i xP^+ (y_2^- - y_1^-)}

500: \nonumber\\

501: && \times

502: (2\pi)^{-6}

503: \int_0^\infty\! { dp_2^- \over 2p_2^-} \int\!d{\bm p}_2

504: \int_0^\infty\! { dp_1^- \over 2p_1^-} \int\!d{\bm p}_1

505: \sum_{s_1s_2}

506: \nonumber\\

507: && \times

508: \langle 0|

509: \bar\psi(0,y_2^-,{\bm 0}) Q(y_2^-) \gamma^+ 

510: |p_2^-,{\bm p}_2,s_2, {\cal E}\rangle

511: \nonumber\\

512: && \times

513: \langle p_2^-,{\bm p}_2,s_2, {\cal E}|

514: U(\infty,-\infty) - 1

515: |p_1^-,{\bm p}_1,s_1, {\cal E}\rangle 

516: \nonumber\\

517: && \times

518: \langle p_1^-,{\bm p}_1,s_1, {\cal E}|

519: Q^\dagger(y_1^-)\psi(0,y_1^-,{\bm 0})

520: |0\rangle  .

521: %

522: \end{eqnarray}

523: %

524: Taking into account that particle 1 has plus momentum $p_1^+ = {\bm

525: p}_1^2/(2p_1^-)$ while particle 2 has plus momentum $p_2^+ = {\bm

526: p}_2^2/(2p_2^-)$,  we can evaluate the dependence of the matrix elements on

527: $y_1^-$ and $y_2^-$ as

528: %

529: \begin{eqnarray}

530: %

531: U[{\cal A}] &\approx&

532: { 2xP^+ \over (2 \pi)^7}

533: \int_0^\infty\! { dp_2^- \over 2p_2^-} \int\!d{\bm p}_2

534: \int_0^\infty\! { dp_1^- \over 2p_1^-} \int\!d{\bm p}_1

535: \sum_{s_1s_2} 

536: \nonumber\\

537: && \times

538: \int_0^\infty \!d y_2^- \int_{-\infty}^0\! d y_1^-

539: e^{-i (xP^+ + p_2^+) y_2^-}

540: e^{+i (xP^+ + p_1^+) y_1^-}

541: \nonumber\\

542: && \times

543: \langle 0|

544: \bar\psi(0) Q(0) \gamma^+ 

545: |p_2^-,{\bm p}_2,s_2, {\cal E}\rangle

546: \nonumber\\

547: && \times

548: \langle p_2^-,{\bm p}_2,s_2, {\cal E}|

549: U(\infty,-\infty) - 1

550: |p_1^-,{\bm p}_1,s_1, {\cal E}\rangle 

551: \nonumber\\

552: && \times

553: \langle p_1^-,{\bm p}_1,s_1, {\cal E}|

554: Q^\dagger(0)\psi(0)

555: |0\rangle  .

556: %

557: \end{eqnarray}

558: %

559: We can now perform the $y^-$ integrations to produce energy denominators:

560: %

561: \begin{eqnarray}

562: %

563: U[{\cal A}] &\approx&

564: { 2xP^+ \over (2 \pi)^7} 

565: \int_0^\infty\! { dp_2^- \over 2p_2^-} \int\!d{\bm p}_2

566: \int_0^\infty\! { dp_1^- \over 2p_1^-} \int\!d{\bm p}_1

567: \sum_{s_1s_2}

568: \nonumber\\

569: && \times

570: { -i \over xP^+ + p_2^+}\,{ -i \over xP^+ + p_1^+}

571: \nonumber\\

572: && \times

573: \langle 0|

574: \bar\psi(0) Q(0) \gamma^+ 

575: |p_2^-,{\bm p}_2,s_2, {\cal E}\rangle

576: \nonumber\\

577: && \times

578: \langle p_2^-,{\bm p}_2,s_2, {\cal E}|

579: U(\infty,-\infty) - 1

580: |p_1^-,{\bm p}_1,s_1, {\cal E}\rangle 

581: \nonumber\\

582: && \times

583: \langle p_1^-,{\bm p}_1,s_1, {\cal E}|

584: Q^\dagger(0)\psi(0)

585: |0\rangle  .

586: %

587: \end{eqnarray}

588: %

589: 

590: For the factor giving the interaction of the partons with the external

591: field, we have

592: %

593: \begin{eqnarray}

594: %

595: \lefteqn{

596: \langle p_2^-,{\bm p}_2,s_2, {\cal E}|

597: U(\infty,-\infty) - 1

598: |p_1^-,{\bm p}_1,s_1, {\cal E}\rangle 

599:  = }

600: \nonumber\\ 

601: &&\hskip 1 cm

602: 2\pi\,2p_1^-\,\delta(p_1^- - p_2^-)

603: \delta_{s_1s_2}

604: [\tilde F({\bm p}_1 - {\bm p}_2)^\dagger

605: F({\bm 0})

606: - (2\pi)^2 \delta({\bm p}_1 - {\bm p}_2)

607: ],\ \ 

608: %

609: \end{eqnarray}

610: %

611: where

612: %

613: \begin{equation}

614: %

615: F({\bm \Delta}) = {\cal P}\exp\left\{

616: -ig\int_{-\infty}^{+\infty}dz^- {\cal A}^+_a(0,z^-,{\bm \Delta})t_a

617: \right\}

618: %

619: \end{equation}

620: %

621: and

622: %

623: \begin{equation}

624: %

625: \tilde F({\bm k}) =

626: \int d{\bm \Delta}\,e^{i{\bm k}\cdot {\bm \Delta}}F({\bm \Delta}).

627: %

628: \end{equation}

629: %

630: 

631: This gives

632: %

633: \begin{equation}

634: %

635: U[{\cal A}] \approx \int d{\bm \Delta}\

636: \frac{1}{N_c}\, {\rm Tr}

637: [1 - F({\bm \Delta})^\dagger F({\bm 0})]\

638: u({\bm \Delta}),

639: %

640: \end{equation}

641: %

642: where

643: %

644: \begin{eqnarray}

645: %

646: u({\bm \Delta}) &=&

647: { 4xP^+ \over (2 \pi)^6} 

648: \int_0^\infty\! dp^-  

649: \int\!d{\bm p}_2\int\!d{\bm p}_1

650: \sum_{s}

651: e^{i{\bm \Delta}\cdot({\bm p}_1 - {\bm p}_2)}

652: \nonumber\\

653: && \times

654: { p^- \over (2xP^+p^- + {\bm p}_2^2 )(2xP^+p^- + {\bm p}_1^2)}

655: \nonumber\\

656: && \times

657: \langle 0|

658: \bar\psi(0) Q(0) \gamma^+ 

659: |p^-,{\bm p}_2,s, {\cal E}\rangle

660: \langle p^-,{\bm p}_1,s, {\cal E}|

661: Q^\dagger(0)\psi(0)

662: |0\rangle  .

663: %

664: \end{eqnarray}

665: %

666: Thus

667: %

668: \begin{equation}

669: %

670: \label{eq:fisuXi}

671: xf_{q/p}(x,\mu) =

672: {\rm Re}

673: \int d{\bm \Delta}\

674: u({\bm \Delta})\

675: \Xi_I({\bm\Delta}),

676: %

677: \end{equation}

678: %

679: where

680: %

681: \begin{equation}

682: %

683: \label{eq:XiIdef}

684: \Xi_I({\bm\Delta}) = 

685: \left({1\over 2}\sum_s\right)

686: \int\frac{d P^{\prime +}}{(2\pi) 2 P^{\prime +}}

687: \langle P',s|

688: \frac{1}{N_c}\, {\rm Tr}

689: [1 - F({\bm \Delta})^\dagger F({\bm 0})]

690: |P,s\rangle .

691: %

692: \end{equation}

693: %

694: Here $F({\bm \Delta})$ is now defined with the quantum field $A$,

695: %

696: \begin{equation}

697: %

698: F({\bm \Delta}) = {\cal P}\exp\left\{

699: -ig\int_{-\infty}^{+\infty}dz^- A^+_a(0,z^-,{\bm \Delta})t_a

700: \right\}

701: .

702: %

703: \end{equation}

704: %

705: Eq.~(\ref{eq:fisuXi}) has a simple interpretation. First, 

706:  $u({\bm \Delta})$ is the square of the antiquark wave function, 

707:  giving the probability that the antiquark has reached a separation 

708:  $\bm \Delta$ from the eikonal line by the time it reaches the hadron. 

709:  Second, we have a probability $\Xi_I({\bm\Delta})$ for the antiquark-eikonal 

710:  dipole to scatter from the proton.

711: 

712: \subsection{The squared wave function for the antiquark}

713: \label{eq:uofDelta}

714: 

715: We now need the function $u(\Delta)$. First, we need the operator

716: matrix elements: 

717: %

718: \begin{eqnarray}

719: %

720: M &\equiv&

721: \sum_s

722: \langle 0|

723: \bar\psi(0) Q(0) \gamma^+ 

724: |p^-,{\bm p}_2,s, {\cal E}\rangle

725: \langle p^-,{\bm p}_1,s, {\cal E}|

726: Q^\dagger(0)\psi(0)

727: |0\rangle  

728: \nonumber \\

729: &=&

730: \sum_s

731: \langle 0|

732: \bar\psi(0)\gamma^+ 

733: |p^-,{\bm p}_2,s\rangle

734: \langle p^-,{\bm p}_1,s|

735: \psi(0)

736: |0\rangle 

737: .

738: %

739: \end{eqnarray}

740: %

741: There is an implicit color trace here. 

742:  Restoring the color indices makes it

743: %

744: \begin{eqnarray}

745: %

746: M

747: &=&

748: \sum_s

749: \langle 0|

750: \bar\psi_\alpha(0)\gamma^+ 

751: |p^-,{\bm p}_2,s,\beta\rangle

752: \langle p^-,{\bm p}_1,s,\beta|

753: \psi_\alpha(0)

754: |0\rangle 

755: .

756: %

757: \end{eqnarray}

758: %

759: Writing this with spinors gives

760: %

761: \begin{eqnarray}

762: %

763: M

764: &=& \delta_{\alpha\beta}\delta_{\beta\alpha}

765: \sum_s

766: \bar v(p^-,{\bm p}_2,s)

767: \gamma^+ v(p^-,{\bm p}_1,s)

768: .

769: %

770: \end{eqnarray}

771: %

772: Now we need to know about the spin states. 

773: We use null-plane helicity

774: states appropriate to the $x^-$ as the ``time.'' 

775: These have the

776: normalization

777: %

778: \begin{equation}

779: %

780: \bar v(p^-,{\bm p}_2,s')

781: \gamma^- v(p^-,{\bm p}_1,s)

782: = 2 p^- \delta_{ss'}  . 

783: %

784: \end{equation}

785: %

786: Thus

787: %

788: \begin{eqnarray}

789: %

790: M

791: &=& \delta_{\alpha\beta}\delta_{\beta\alpha}

792: \sum_{ss'}

793: \bar v(p^-,{\bm p}_2,s)

794: \gamma^+ v(p^-,{\bm p}_1,s' )\delta_{ss'}

795: \nonumber\\

796: &=&

797: \frac{N_c}{2p^-}

798: \sum_{ss'}

799: \bar v(p^-,{\bm p}_2,s)

800: \gamma^+ v(p^-,{\bm p}_1,s' )\

801: \bar v(p^-,{\bm p}_2,s')

802: \gamma^- v(p^-,{\bm p}_1,s)

803: \nonumber\\

804: &=&

805: \frac{N_c}{2p^-}{\rm Tr}\{

806: \rlap{/}p_1\gamma^-\rlap{/}p_2\gamma^+\}

807: \nonumber\\

808: &=&

809: \frac{N_c}{2p^-}{\rm Tr}\{

810: \rlap{/}p_{1,T}\,\gamma^-\rlap{/}p_{2,T}\,\gamma^+\}

811: \nonumber\\

812: &=&

813: \frac{2N_c}{p^-}\  {\bm p}_1\cdot {\bm p}_2

814: .

815: %

816: \end{eqnarray}

817: %

818: Thus

819: %

820: \begin{eqnarray}

821: %

822: u({\bm \Delta}) &=&

823: { 2x\,2P^+ \over (2 \pi)^6} 

824: \int_0^\infty\! dp^-  

825: \int\!d{\bm p}_2\int\!d{\bm p}_1

826: e^{i{\bm \Delta}\cdot({\bm p}_1 - {\bm p}_2)}

827: \nonumber\\

828: && \times

829: { p^- \over (2xP^+p^- + {\bm p}_2^2 )(2xP^+p^- + {\bm p}_1^2)}

830: \nonumber\\

831: && \times

832: \frac{2N_c}{p^-}\  {\bm p}_1\cdot {\bm p}_2 

833: \nonumber\\

834: &=&

835: { 4N_c \over (2 \pi)^6} 

836: \int_0^\infty\! d\Lambda^{\!2}  

837: \int\!d{\bm p}_2\int\!d{\bm p}_1

838: e^{i{\bm \Delta}\cdot({\bm p}_1 - {\bm p}_2)}

839: \nonumber\\

840: && \times

841: { {\bm p}_1\cdot {\bm p}_2 \over (\Lambda^{\!2} + {\bm p}_2^2

842: )(\Lambda^{\!2} + {\bm p}_1^2)}

843: ,

844: %

845: \end{eqnarray}

846: %

847: where we have defined $\Lambda^{\!2} = 2xP^+p^-$.

848: Extending this to $4-2\epsilon$ dimensions, we have

849: %

850: \begin{equation}

851: %

852: \label{eq:uintegral}

853: u({\bm \Delta}) =

854: {4N_c \mu^{4\epsilon} \over (2 \pi)^{6-4\epsilon} } 

855: \int_0^\infty\! d\Lambda^2  

856: \int\!d^{2-2\epsilon}{\bm p}_2\int\!d^{2-2\epsilon}{\bm p}_1\

857: e^{i{\bm \Delta}\cdot({\bm p}_1 - {\bm p}_2)}\

858: { {\bm p}_1 \cdot {\bm p}_2 \over 

859: (\Lambda^2 + {\bm p}_2^2 )

860: (\Lambda^2 + {\bm p}_1^2)} .

861: %

862: \end{equation}

863: %

864: We perform the integration separately in Appendix~\ref{app:little_u}. We find

865: %

866: \begin{equation}

867: %

868: \label{eq:uresult}

869: u({\bm \Delta}) =

870: {N_c \over 3 \pi^4 }\, \frac{1}{\Delta^4} \

871: \left(\pi\mu^2 \Delta^2\right)^{2\epsilon}

872: \frac{\Gamma(2-\epsilon)^2}{1-2\epsilon/3}

873: .

874: %

875: \end{equation}

876: %

877: 

878: \subsection{Renormalization of the quark distribution}

879: \label{sec:renormalization}

880: 

881: Using the result (\ref{eq:uresult}) for $u(\bm \Delta)$, we have

882: %

883: \begin{equation}

884: \label{xfq}

885: xf_{q/p}(x,\mu) =

886: {   N_c \over 3 \pi^4}\

887: \frac{\Gamma(2-\epsilon)^2}{1-2\epsilon/3}\

888: \mu^{-2\epsilon}\!\int\! d^{2-2\epsilon}{\bm \Delta}\

889: { 1 \over \Delta^4}\,\left(\pi\mu^2 \Delta^2\right)^{2\epsilon}

890: \Xi_I({\bm \Delta})  - {\rm{UV}} 

891: .

892: %

893: \end{equation}

894: %

895: Here there is an ultraviolet divergence from the small $\Delta$ integration region. The notation indicates that we should renormalize the divergence by subtracting a UV counter term.

896: 

897: The standard definition of the parton distribution functions 

898: gives these functions as hadron matrix elements of operator products 

899: that must be renormalized \cite{cs82}. It is thus not a surprise that 

900: we have a divergent integral in Eq.~(\ref{xfq}). The 

901: standard treatment is to apply  $\overline {\rm MS}$  renormalization. 

902: At the one loop level at which we work here, this means performing 

903: the integrals in $4-2\epsilon$ dimensions and subtracting a 

904: counter-term of the form

905: %

906: \begin{equation}

907: %

908: {\rm ``UV"} = {\it const.}\times \frac{1}{\epsilon}\

909: \frac{(4\pi)^\epsilon}{\Gamma(1-\epsilon)}

910: .

911: %

912: \end{equation}

913: %

914: In this section, we implement this subtraction, turning it (approximately) into a cutoff on $|\bm \Delta|$.

915: 

916: We are eliminating only the divergence from the innermost loop in the Feynman diagrams that define $xf_{q/p}(x,\mu)$, so we treat the outer loops in $\Xi_I({\bm \Delta})$ as containing only soft momenta. For this reason, we treat $\Xi_I({\bm \Delta})$ as being an analytic function of ${\bm \Delta}$ near ${\bm \Delta} = 0$. We thus write

917: %

918: \begin{equation}

919: \begin{split}

920: %

921: \Xi_I({\bm \Delta}) ={}& 

922: \Xi_I(0) + \Delta^i [\partial_i \Xi_I({\bm \Delta})]_{\Delta = 0}

923: +\frac{1}{2}\Delta^i\Delta^j 

924: [\partial_i \partial_j\Xi_I({\bm \Delta})]_{\Delta = 0}

925: \\&+

926: \frac{1}{3!}\Delta^i\Delta^j\Delta^k

927: [\partial_i \partial_j\partial_k\Xi_I({\bm \Delta})]_{\Delta = 0}

928: + R(\Delta)

929: .

930: %

931: \end{split}

932: \end{equation}

933: %

934: (We follow the convention that indices $i,j,k$ are summed from 1 to 2 or, with dimensional regularization, from 1 to $2 - 2\epsilon$.) The remainder, $R(\Delta)$, goes to zero like $\Delta^4$ as $\Delta \to 0$. The first term vanishes because $\Xi_I(0) = 0$ by construction. The second and fourth terms vanish upon integrating over $\bm \Delta$. In the third term, under the integration over $\bm \Delta$, we can replace

935: %

936: \begin{equation}

937: %

938: \Delta^i\Delta^j \to \frac{1}{2-2\epsilon}\ \delta^{ij} \Delta^2

939: .

940: %

941: \end{equation}

942: %

943: Thus, in the small $\Delta$ integration region, we can replace

944: %

945: \begin{equation}

946: %

947: \Xi_I({\bm \Delta}) \to \frac{1}{4(1-\epsilon)}\ \Delta^2

948: [\partial^2_\perp\Xi_I({\bm \Delta})]_{\Delta = 0} + R(\bm \Delta)

949: .

950: %

951: \end{equation}

952: %

953: 

954: We introduce this approximation in the small $\Delta$ integration region, defined by $\Delta \mu < a$, where $a$ is a parameter of order 1 that we can adjust. Thus we write

955: %

956: \begin{equation}

957: \begin{split}

958: %

959: xf_{q/p}(x,\mu) ={}&

960: \frac{N_c}{3 \pi^4}\

961: \!\int\! d^2{\bm \Delta}\

962: \theta(\Delta^2\mu^2 > a^2)\

963: \frac{\Xi_I({\bm \Delta})}{\Delta^4} 

964: \\& +

965: \frac{N_c}{3 \pi^4}\

966: \!\int\! d^2{\bm \Delta}\

967: \theta(\Delta^2\mu^2 < a^2)\

968: \frac{R({\bm \Delta})}{\Delta^4}

969: \\

970: &+ \frac{N_c}{12 \pi^4}\

971: [\partial^2\Xi_I({\bm \Delta})]_{\Delta = 0}

972: \\ &\quad\times

973: \frac{\Gamma(2-\epsilon)^2}{(1-\epsilon)(1-2\epsilon/3)}\

974: \mu^{-2\epsilon}\!\int\! d^{2-2\epsilon}{\bm \Delta}\

975: \frac{\theta(\Delta^2\mu^2 < a^2)}{\Delta^2}

976: \,\left(\pi\mu^2 \Delta^2\right)^{2\epsilon}

977: \\&  - {\rm{UV}} . 

978: %

979: \end{split}

980: \end{equation}

981: %

982: In the first two terms, there is no ultraviolet divergence, so we set $\epsilon \to 0$. We can perform the integration in the third term to obtain

983: %

984: \begin{equation}

985: \begin{split}

986: %

987: xf_{q/p}(x,\mu) ={}&

988: \frac{N_c}{3 \pi^4}\

989: \!\int\! d^{2}{\bm \Delta}\

990: \theta(\Delta^2\mu^2 > a^2)\

991: \frac{\Xi_I({\bm \Delta})}{\Delta^4} 

992: \\& +

993: \frac{N_c}{3 \pi^4}\

994: \!\int\! d^{2}{\bm \Delta}\

995: \theta(\Delta^2\mu^2 < a^2)\

996: \frac{R({\bm \Delta})}{\Delta^4}

997: \\

998: &+ \frac{N_c}{12 \pi^3}\

999: [\partial^2\Xi_I({\bm \Delta})]_{\Delta = 0}\

1000: \frac{1}{\epsilon}\,\frac{(4\pi)^\epsilon}{\Gamma(1-\epsilon)}

1001: \\ &\quad\times

1002: \left\{

1003: \frac{\Gamma(2-\epsilon)^2}{(1-\epsilon)(1-2\epsilon/3)}\

1004: (a^2/4)^{\epsilon}

1005: -1

1006: \right\}

1007: .

1008: %

1009: \end{split}

1010: \end{equation}

1011: %

1012: Here we have identified the UV subtraction term and written it as $-1$ inside the braces in the last term. The $-1$ removes the $1/\epsilon$ pole, but, in general, leaves a remainder that is finite as $\epsilon \to 0$. We set

1013: %

1014: \begin{equation}

1015: %

1016: \label{eq:aresult}

1017: a = 2 e^{1/6 - \gamma} \approx 1.32657

1018: ,

1019: %

1020: \end{equation}

1021: %

1022: where $\gamma$ is the Euler constant, $\gamma \approx 0.577216$, that appears in $\Gamma(1 - \epsilon) = 1 + \epsilon\gamma + \cdots$. With this choice, we cancel the finite term and leave

1023: %

1024: \begin{equation}

1025: \begin{split}

1026: %

1027: xf_{q/p}(x,\mu) ={}&

1028: \frac{N_c}{3 \pi^4}\

1029: \!\int\! d^{2}{\bm \Delta}\

1030: \theta(\Delta^2\mu^2 > a^2)\

1031: \frac{\Xi_I({\bm \Delta})}{\Delta^4} 

1032: \\& +

1033: \frac{N_c}{3 \pi^4}\

1034: \!\int\! d^{2}{\bm \Delta}\

1035: \theta(\Delta^2\mu^2 < a^2)\

1036: \frac{R({\bm \Delta})}{\Delta^4}

1037: .

1038: %

1039: \end{split}

1040: \end{equation}

1041: %

1042: 

1043: The term containing $R(\Delta)$ is needed to express the result 

1044: of $\overline {\rm MS}$ renormalization if $1/\mu$ is of the order 

1045: of the proton radius, $R_p$. However, the parton distribution 

1046: function evaluated at such a renormalization scale is not 

1047: really a very interesting object. For large values of $\mu$, 

1048: the term containing $R(\Delta)$ is of order $1/(\mu^2 R_p^2)$ and 

1049: can be neglected. Thus, as long as $1/(\mu^2 R_p^2) \ll 1$, 

1050: we can write\footnote{The derivation assumes 

1051: that $\Xi_I({\bm \Delta})$, and thus $R(\Delta)$, is 

1052: defined with a fixed renormalization scale $\mu$. If 

1053: we use Eq.~(\ref{eq:renormalizedfq}), however, we 

1054: can set $\mu$ in $\Xi_I({\bm \Delta})$ to $a/\Delta$.}

1055: %

1056: \begin{equation}

1057: \begin{split}

1058: %

1059: \label{eq:renormalizedfq}

1060: xf_{q/p}(x,\mu) ={}&

1061: \frac{N_c}{3 \pi^4}\

1062: \!\int\! d{\bm \Delta}\

1063: \theta(\Delta^2\mu^2 > a^2)\

1064: \frac{\Xi_I({\bm \Delta})}{\Delta^4} 

1065: .

1066: %

1067: \end{split}

1068: \end{equation}

1069: %

1070: This is a remarkably simple formula. Almost everything is contained in the dipole scattering function $\Xi_I({\bm \Delta})$. In the following section, we will study $\Xi_I({\bm \Delta})$ for small $\Delta$, where perturbation theory can be used. Then in Sec.~\ref{sec:Xi}, we will introduce and motivate on physical grounds a well known model for $\Xi_I({\bm \Delta})$ for large $\Delta$.

1071: 

1072: \section{Dipole scattering and the gluon distribution}

1073: \label{sec:dipoleandglu}

1074: 

1075: In this section, we investigate the dipole scattering function $\Xi_I({\bm \Delta})$ for small $\Delta$, where the use of perturbation theory is allowed. We will see that $\Xi_I({\bm \Delta})$ for small $\Delta$ is related to the gluon distribution. 

1076: 

1077: \subsection{The dipole scattering function at small $\Delta$}

1078: \label{sec:XiatsmallDelta}

1079: 

1080: We begin by studying $\Xi_I({\bm \Delta})$ for small $\Delta$ and at lowest order in an expansion in powers of the strong coupling $g$. For the sake of generality, we consider using color matrices $t_c$ in a representation $r$ of SU(N) that need not be the fundamental representation that is appropriate for the quark distribution. We start by defining $\Xi_I^r({\bm\Delta})$ corresponding to the representation $r$,

1081: %

1082: \begin{equation}

1083: %

1084: \label{eq:XiIdef2}

1085: (2\pi) 2 P^{\prime +}\delta(P^+ - P^{\prime +})

1086: \delta_{ss'}\ d_r

1087: \Xi_I^r({\bm\Delta}) = 

1088: \langle P',s'|

1089: {\rm Tr}

1090: [1 - F_r({\bm \Delta})^\dagger F_r({\bm 0})]

1091: |P,s\rangle 

1092: ,

1093: %

1094: \end{equation}

1095: %

1096: where

1097: %

1098: \begin{equation}

1099: %

1100: \label{eikFdef2}

1101: F_r({\bm \Delta}) = {\cal P}\exp\left\{

1102: -ig\int_{-\infty}^{+\infty}dz^- A^+_a(0,z^-,{\bm \Delta})t_a

1103: \right\}

1104: .

1105: %

1106: \end{equation}

1107: %

1108: The matrices $t_a$ here are in the color representation $r$ and

1109: $d_r$ is the dimension of the representation, 

1110: % 

1111: \begin{equation}

1112: % 

1113: \label{drfund}

1114: {\mbox{fundamental}}: \hspace*{0.5 cm} d_r = N_c  \hspace*{0.5 cm} , 

1115: % 

1116: \end{equation}

1117: % 

1118: % 

1119: \begin{equation}

1120: % 

1121: \label{dradj}

1122:   {\mbox{adjoint}}:   \hspace*{0.5 cm} d_r = N_c^2-1 \hspace*{0.5 cm} . 

1123: % 

1124: \end{equation}

1125: % 

1126: For the fundamental representation, averaging over spins and integrating over $P'$ gives the definition (\ref{eq:XiIdef}) of $\Xi_I({\bm\Delta})$ that we used for the quark distribution.

1127: 

1128: We are interested  in small ${\bm \Delta}$, for which an expansion in

1129: powers of $ g A$ is justified.  If we limit ourselves to evaluating the

1130: trace to the accuracy $(g A)^2$, we  can ignore the ${\cal P}$-products

1131: and the non-commutativity of the fields in the exponent:  

1132: %

1133: \begin{equation}

1134: %

1135: \label{smallfie}

1136: {\rm Tr}

1137: [1 - F_r({\bm \Delta})^\dagger F_r({\bm 0})]

1138: \approx

1139: {\mbox{Tr}} \left[ 1 - \exp\left(

1140:  i g \int^{\infty}_{- \infty} d z^-\, [ A_c^+(0,z^-,{\bm \Delta}) 

1141: - A_c^+(0,z^-,{\bm 0})] \, t_c

1142: \right) \right]

1143: .

1144: %

1145: \end{equation}

1146: %

1147: 

1148: The exponent has the expansion  around ${\bm \Delta} = 0$

1149: %

1150: \begin{eqnarray}

1151: %

1152: \label{delexpan}

1153: A_c^+(0,z^-,{\bm \Delta}) 

1154: - A_c^+(0,z^-,{\bm 0}) &=&  

1155: \Delta^i [ \partial_i A_c^+(0,z^-,{\bm \Delta}) ]_{{\bm \Delta} = 0} 

1156: \nonumber\\

1157: &+& {1 \over 2} \Delta^i \Delta^j 

1158:  [ \partial_i \partial_j   A_c^+(0,z^-,{\bm \Delta}) 

1159: ]_{{\bm \Delta} = 0}  + \cdots

1160: .

1161: %

1162: \end{eqnarray}

1163: %

1164: Now we evaluate the trace to order $\Delta^2$ by expanding the exponential.  

1165: The zeroth order term from the exponential expansion cancels against~1.  

1166: The linear term  gives zero because ${\mbox{Tr}}\  t_c   = 0$.  The quadratic term in the exponential expansion receives an order-$\Delta^2$  contribution  only from the first-derivative term in the exponent (\ref{delexpan}), again because ${\mbox{Tr}}\  t_c   = 0$. Thus

1167: %  

1168: \begin{eqnarray}

1169: % 

1170: \label{quadrexp}

1171: {\rm Tr}

1172: [1 - F_r({\bm \Delta})^\dagger F_r({\bm 0})]

1173:  &\simeq& - {1 \over 2} (i g)^2 \Delta^i \Delta^j 

1174: {\mbox{Tr}} [ t_a t_b] 

1175: \int^{\infty}_{- \infty} d z_1^- \int^{\infty}_{- \infty} d z_2^- 

1176: \nonumber\\

1177: &\times& 

1178: [ \partial_i A_a^+ (0,z_1^-,{\bm \Delta}) ]_{{\bm \Delta} = 0} \,

1179: [ \partial_j A_b^+ (0,z_2^-,{\bm \Delta}) ]_{{\bm \Delta} = 0}

1180: \hspace*{0.2 cm} . 

1181: % 

1182: \end{eqnarray}

1183: % 

1184: The trace of two generators is 

1185: % 

1186: \begin{equation}

1187: % 

1188: \label{tracetatb}

1189: {\mbox{Tr}} [ t_a t_b] = c_r \delta_{a b}

1190: \hspace*{0.2 cm} ,  

1191: %    

1192: \end{equation}

1193: %

1194: where $c_r$ depends on the representation: 

1195: \begin{equation}

1196: \label{crfund}

1197: {\mbox{fundamental}}: \hspace*{0.5 cm} c_r = T_R = 1/2 

1198: ,

1199: %    

1200: \end{equation}

1201: %

1202: % 

1203: \begin{equation}

1204: % 

1205: \label{cradj}

1206: {\mbox{adjoint}}:   \hspace*{0.5 cm} c_r = C_A = N_c 

1207: .

1208: % 

1209: \end{equation}

1210: % 

1211: For matrix elements over hadron states carrying no transverse momentum 

1212: we can replace 

1213: % 

1214: \begin{equation}

1215: % 

1216: \label{notrans}

1217: \Delta^i \Delta^j \partial^i A_a^+ \partial^j A_b^+ \to 

1218: {1 \over 2} {\bm \Delta}^2  \partial_j A_a^+ \partial_j A_b^+

1219: . 

1220: % 

1221: \end{equation}

1222: % 

1223: Thus, to second order in $g A$ and second order in $\Delta$, we have 

1224: % 

1225: \begin{eqnarray}

1226: % 

1227: \label{avtrace}

1228:  \langle P^\prime,s' | 

1229: {\mbox{Tr}} \left[ 1 - F^\dagger_r ({\bm \Delta} ) 

1230: F_r( {\bm 0} ) \right] | P ,s

1231: \rangle 

1232: &\approx& 

1233:  {1 \over 4} g^2 c_r  {\bm \Delta}^2 

1234: \int^{\infty}_{- \infty} d z_1^- \int^{\infty}_{- \infty} d z_2^- 

1235: \\

1236: &\times &

1237: \langle P^\prime,s' | 

1238: \partial_j A_a^+  (0,z_1^-,{\bm 0}) 

1239: \partial_j A_a^+  (0,z_2^-,{\bm 0}) 

1240: | P ,s\rangle  

1241: .

1242: \nonumber

1243: % 

1244: \end{eqnarray}

1245: % 

1246: 

1247: At this point we make explicit our restriction on the field operators $A^\mu(x)$, namely that only modes with gluon momenta $|q^+|$ larger than $x_c P^+$ are included. (See Sec.~\ref{sec:gluondecomposition}.) This means that the reach in coordinate space in the integrations over $z_1^-$ and $z_2^-$ is limited to $|z_1^- - z_2^-| < 1/(x_c P^+)$. Thus we write

1248: % 

1249: \begin{eqnarray}

1250: % 

1251: \label{eq:XiIsmallDelta}

1252: (2\pi) 2 P^{\prime +}\delta(P^+ - P^{\prime +})

1253: \delta_{ss'}\,

1254: \Xi_I^r({\bm\Delta})

1255: &\approx& 

1256: \frac{g^2}{4} \frac{c_r}{d_r}  {\bm \Delta}^2 

1257: \int^{\infty}_{- \infty} d z_1^- \int^{\infty}_{- \infty} d z_2^- 

1258: \nonumber\\

1259: &\times &

1260: \theta(|z_1^- - z_2^-| < 1/(x_c P^+))

1261: \\

1262: &\times &

1263: \langle P^\prime,s' | 

1264: \partial_j A_a^+  (0,z_1^-,{\bm 0}) \,

1265: \partial_j A_a^+  (0,z_2^-,{\bm 0}) 

1266: | P ,s\rangle  

1267: .

1268: \nonumber

1269: % 

1270: \end{eqnarray}

1271: % 

1272: 

1273: \subsection{The gluon distribution function}

1274: \label{sec:gluondist}

1275: 

1276: One might suspect that the right hand side of Eq.~(\ref{eq:XiIsmallDelta}), being quadratic in the gluon field, may have something to do with the gluon distribution function. Indeed, as we shall see later, the relation is well known. We can check this relation by referring directly to the definition of the gluon distribution \cite{cs82},

1277: %

1278: \begin{equation}

1279: %

1280: \label{opg}

1281: f_{g/p} (x, \mu) = 

1282: {1 \over 2\pi x P^+}  \int d y^-

1283: e^{ix P^+ y^-}

1284: \left(\frac{1}{2}\sum_s\right)

1285: \langle P,s | 

1286: \widetilde F_a^{+j} (0,0,{\bm 0}) 

1287: \widetilde F_a^{+j} (0,y^-,{\bm 0}) | P,s \rangle 

1288: , 

1289: %    

1290: \end{equation}

1291: %

1292: with 

1293: \begin{equation}

1294: \label{Ftilde}

1295: \widetilde F_a(y)^{+j}

1296: =

1297: E(y)_{ab}

1298: F_b(y)^{+j}

1299: ,

1300: %  

1301: \end{equation} 

1302: %

1303: %

1304: \begin{equation}

1305: %

1306: \label{eikdef}

1307: E(y) = 

1308: {\cal P}

1309: \exp\left(

1310: - i g \int_{y^-}^\infty d z^-\, A_c^+(y^+,z^-,{\bm y})\, t_c

1311: \right)

1312: .

1313: %

1314: \end{equation}

1315: % 

1316: We study this distribution in the $s$-channel picture.  At the lowest

1317: order  in this picture the  gluons from the background field  couple to

1318: the vertex measured by the operator (\ref{opg}). 

1319: 

1320: We use momentum conservation to insert a second integral over the minus coordinate in Eq.~(\ref{opg}), and we also use rotational invariance to eliminate the spin average: 

1321: %

1322: \begin{eqnarray}

1323: %

1324: \label{opgyy}

1325: 2 \pi \delta( P^{\prime +} - P^+) \delta_{ss'}f_{g/p} (x, \mu)

1326:  &=&  

1327: {1 \over 2\pi x P^+}  \int_{- \infty}^{\infty} d y_1^- 

1328: \int_{- \infty}^{\infty} d y_2^- \

1329: e^{ix P^+ (y_1^- - y_2^-) } 

1330: \nonumber\\ 

1331: & \times & 

1332: \langle P^\prime,s' | 

1333: \widetilde F_a^{+j} (0,y_2^-,{\bm 0}) 

1334: \widetilde F_a^{+j} (0,y_1^-,{\bm 0}) | P,s\rangle 

1335: .  

1336: % 

1337: \end{eqnarray}

1338: % 

1339: As in \cite{hks}, it is convenient to

1340: rewrite $\widetilde F^{+j}$  as 

1341: % 

1342: \begin{equation}

1343: % 

1344: \label{newF}

1345: \widetilde F_a^{+j}(y) = \partial^+ ( E(y)_{ab} A_b^j(y) ) 

1346: - E(y)_{ab}\partial^j A_b^+(y)   

1347: % 

1348: \end{equation}

1349: % 

1350: and note that inside the integral in Eq.~(\ref{opg}), $\partial^+ $ gives $- i x P^+$. Thus, in the limit $x \to 0$, the first term in Eq.~(\ref{newF}) can be neglected. Additionally, to lowest order in a perturbative expansion, the eikonal operator $E(y)_{ab}$ is equivalent to the unit operator. Thus we replace

1351: % 

1352: \begin{equation}

1353: % 

1354: \label{bornx0}

1355: \widetilde F_a^{+j}(y) \to - \partial^j A_a^+(y)

1356: .  

1357: %    

1358: \end{equation}

1359: %

1360: This gives

1361: %

1362: \begin{eqnarray}

1363: %

1364: \label{opgyy2}

1365: 2 \pi \delta( P^{\prime +} - P^+) \delta_{ss'}f_{g/p} (x, \mu)

1366:  &\approx&  

1367: {1 \over 2\pi x P^+}  \int_{- \infty}^{\infty} d y_1^- 

1368: \int_{- \infty}^{\infty} d y_2^- \

1369: e^{ix P^+ (y_1^- - y_2^-) } 

1370: \nonumber\\ 

1371: & \times & 

1372: \langle P^\prime,s' | 

1373: \partial_j A_a^+(y)(0,y_2^-,{\bm 0})\,

1374: \partial_j A_a^+(y)(0,y_1^-,{\bm 0}) | P,s\rangle 

1375: .  

1376: % 

1377: \end{eqnarray}

1378: % 

1379: 

1380: We need one more approximation. For small $x$, the factor $\exp({ix P^+ (y_1^- - y_2^-) })$ is approximately 1. This is not exact, and fails for very large $(y_1^- - y_2^-)$. For $|y_1^- - y_2^-| > 1/(xP^+)$, the matrix element is a slowly varying function of $(y_1^- - y_2^-)$, so the oscillating factor $\exp({ix P^+ (y_1^- - y_2^-) })$ effectively cuts off the integral. Thus we approximate $\exp({ix P^+ (y_1^- - y_2^-) })$ by a theta function that restricts the integration to $|y_1^- - y_2^-| < 1/(xP^+)$. This gives

1381: %

1382: \begin{eqnarray}

1383: %

1384: \label{xf0}

1385: 2 \pi \delta( P^{\prime +} - P^+) \delta_{ss'}f_{g/p} (x, \mu)

1386:  &\approx&  

1387: {1 \over 2\pi x P^+}  \int_{- \infty}^{\infty} d y_1^- 

1388: \int_{- \infty}^{\infty} d y_2^- \

1389: \theta(|y_1^- - y_2^-| < 1/(xP^+))

1390: \nonumber\\ 

1391: & \times & 

1392: \langle P^\prime,s' | 

1393: \partial_j A_a^+(y)(0,y_2^-,{\bm 0})\,

1394: \partial_j A_a^+(y)(0,y_1^-,{\bm 0}) | P,s\rangle 

1395: .  

1396: % 

1397: \end{eqnarray}

1398: % 

1399: 

1400: \subsection{Relation between $f_{g/p}$ and $\Xi$}

1401: \label{sec:relation}

1402: 

1403: If we compare Eqs.~(\ref{eq:XiIsmallDelta}) and (\ref{xf0}), we see that

1404: %

1405: \begin{equation}

1406: %

1407: \label{eq:cfXigluon0}

1408: \Xi_I^r({\bm\Delta}) \approx 

1409: \frac{\pi g^2}{4} \frac{c_r}{d_r}  {\bm \Delta}^2\,

1410: x_c f_{g/p} (x_c, \mu)

1411: .

1412: %

1413: \end{equation}

1414: %

1415: Eq.~(\ref{eq:cfXigluon}) in particular implies that 

1416: %

1417: \begin{equation}

1418: %

1419: \label{eq:xirat}

1420: { { \Xi}_{I , \rm{fund.}} \over { \Xi}_{I , \rm{adj.}} }

1421: \approx  { {(1/2) /3 } \over { 3 / 8} } 

1422: =  {4 \over 9}  \ =  \ { C_F \over C_A}  

1423: %

1424: \end{equation}

1425: %

1426: for small $\Delta$ and small $x$ and to lowest perturbative order. There is a more general relation between ${\Xi}_{I, \rm{fund.}}$ and ${\Xi}_{I , \rm{adj.}}$, which we give in Appendix~\ref{sec:algeb}.

1427: 

1428: The case of interest to us here is that of the fundamental representation, which applies to the quark distribution function. For this case, the result is

1429: %

1430: \begin{equation}

1431: %

1432: \label{eq:cfXigluon}

1433: \frac{\Xi_I({\bm\Delta})}{{\bm \Delta}^2} \approx 

1434: \frac{\pi^2 \alpha_s}{2N_c}\,

1435: x_c f_{g/p} (x_c, \mu)

1436: .

1437: %

1438: \end{equation}

1439: %

1440: 

1441: \subsection{Matching using the renormalization group}

1442: \label{sec:matching}

1443: 

1444: In deriving Eq.~(\ref{eq:cfXigluon}), we have employed 

1445: rather crude approximations relating to the integrations 

1446: over the minus component of position for the gluon field. 

1447: The main idea was that the  structure in matrix 

1448: elements of $A^+(y)$ occurs for $y^-$  less than 

1449:  $1 / (x_c P^+)$, 

1450: so that limits on the integrations over $y^-$ should not much matter. 

1451: If this were precisely the case, then the 

1452: function $x_c f_{g/p} (x_c , \mu)$ that 

1453: appears on the right hand side of Eq.~(\ref{eq:cfXigluon}) would be 

1454: independent of $x_c$. In fact, $x_c f_{g/p} (x_c, \mu)$ 

1455: grows slowly as $x_c$ decreases. Thus, we should try to make the relation (\ref{eq:cfXigluon}) more precise. 

1456: 

1457: We can use the scale dependence of $f_{q/p}(x,\mu)$ to provide a more precise matching condition. On one hand, we have the leading order renormalization group equation,

1458: %

1459: \begin{equation}

1460: %

1461: \frac{d}{d\log(\mu^2)}\,x f_{q/p}(x,\mu) = \frac{\alpha_s}{2\pi}

1462: \int_x^1\! dz\, P_{qg}(z)\, 

1463: \frac{x}{z}\,f_{g/p}\!\left(\frac{x}{z},\mu\right)

1464: +\frac{\alpha_s}{2\pi}

1465: \int_x^1\! dz\, P_{qq}(z)\, 

1466: \frac{x}{z}\,f_{q/p}\!\left(\frac{x}{z},\mu\right)

1467: .

1468: %

1469: \end{equation}

1470: %

1471: At small $x$, the gluon distribution dominates and the quark distribution is effectively $\alpha_s$ times the gluon distribution (as is, in fact, consistent with this equation). Thus the renormalization group equation can be approximated by

1472: %

1473: \begin{equation}

1474: %

1475: \frac{d}{d\log(\mu^2)}\,x f_{q/p}(x,\mu) = \frac{\alpha_s}{2\pi}\ T_R

1476: \int_x^1\! dz\  \left[z^2 + \left(1-z\right)^2\right]\,

1477: \frac{x}{z}\,f_{g/p}\!\left(\frac{x}{z},\mu\right)

1478: .

1479: %

1480: \end{equation}

1481: %

1482: where we have inserted the specific form of $P_{qg}(x/y)$.

1483: 

1484: In our small $x$ approximations, $f_{q/p}(x,\mu)$ is given by Eq.~(\ref{eq:renormalizedfq}) (as long as $\mu \gg 1/R_p$). Differentiating this equation with respect to $\mu$ gives

1485: %

1486: \begin{equation}

1487: %

1488: \frac{d}{d\log(\mu^2)}\,x f_{q/p}(x,\mu)

1489: \approx

1490: \frac{N_c}{3\pi^3}\ 

1491: \left[\frac{\Xi_I(\Delta)}{\Delta^2}

1492: \right]_{\Delta = a/\mu}

1493: .

1494: %

1495: \end{equation}

1496: %

1497: Comparing these equations gives

1498: %

1499: \begin{equation}

1500: %

1501: \label{eq:XismallDelta}

1502: \frac{\Xi_I(\Delta)}{\Delta^2} = \frac{\pi^2 \alpha_s}{2N_c}\,

1503: x G(x,a/\Delta)

1504: ,

1505: %

1506: \end{equation}

1507: %

1508: for $\Delta \ll R_p$, where

1509: %

1510: \begin{equation}

1511: %

1512: \label{eq:Gxdef}

1513: xG(x,\mu) = \frac{3}{2}

1514: \int_x^1\! dz\  \left[z^2 + \left(1-z\right)^2\right]\,

1515: \frac{x}{z}\,f_{g/p}\!\left(\frac{x}{z},\mu\right)

1516: .

1517: %

1518: \end{equation}

1519: %

1520: Note that the lower limit on the $z$ integral is just a reminder that $y f_{g/p}\!\left(y,\mu\right)$ vanishes for $y>1$. Note also that the integral of the weight function is

1521: %

1522: \begin{equation}

1523: %

1524: \frac{3}{2} \int_0^1\! dz\ \left[z^2 + \left(1-z\right)^2\right] = 1

1525: .

1526: %

1527: \end{equation}

1528: %

1529: Thus $xG(x,\mu)$ is $y f_{g/p}\!\left(y,\mu\right)$ averaged over values of $y$

1530: that are somewhat larger than $x$. If we consider a typical value of $z$ to be

1531: 1/2, then the typical value of $y$ at which the gluon distribution is evaluated

1532: is $y = 2x$. If, for example, 

1533: $x f_{g/p}\!\left(x,\mu\right) \propto x^{-0.3}$ for small $x$, then $xG(x,\mu) \approx 0.76 \times x f_{g/p}\!\left(x,\mu\right)$ for small $x$.

1534: 

1535: Eq.~(\ref{eq:XismallDelta}) is the same result as 

1536: in Eq.~(\ref{eq:cfXigluon}), except that now 

1537: $x_c f_{g/p}\!\left(x_c,\mu\right)$ is replaced 

1538: by the more precise value, $x G(x,a/\Delta)$. Note that the matching 

1539: condition suggests that $x_c$ be set to a value not much bigger 

1540: than $x$. This is  in part  

1541: because our perturbative calculation of $U({\cal A})$ was to zeroth order only. Had we worked to one more order in perturbation theory, we could have included the emission of a fast gluon with momentum fraction between $x$ and $x_c$. However, to the order to which we calculated, there were {\em no} interactions with fast gluons. Working to this order, the best choice is to include all possible gluons as slow gluons. This means setting $x_c$ to something close to $x$.  

1542: 

1543: \section{The hadronic matrix element}

1544: \label{sec:Xi}

1545: 

1546: In this section, we motivate a widely used model for $\Xi_I(\bm \Delta)$ that applies at large $\Delta$. We begin by writing $\Xi_I(\bm \Delta)$ as an integral of a function $\Xi(\bm b,\bm \Delta)$ that has a direct physical interpretation.

1547: 

1548: \subsection{Scattering at fixed impact parameter}

1549: \label{sec:Xiofb}

1550: 

1551: We can rewrite the hadron matrix element in Eq.~(\ref{eq:XiIdef}) by introducing an integration over an impact parameter $\bm b$. Denoting an eigenstate of transverse position by a subscript $x$, we have 

1552: %

1553: \begin{eqnarray}

1554: %

1555: \lefteqn{

1556: \langle  P^{\prime+},{\bm 0},s|

1557: \frac{1}{N_c}\, {\rm Tr}[1 - F({\bm \Delta})^\dagger F({\bm 0})]

1558: | P^+,{\bm 0},s\rangle }

1559: \nonumber\\

1560: &=&

1561: \langle  P^{\prime+},{\bm 0},s|

1562: \frac{1}{N_c}\, {\rm Tr}[1 - F({\bm \Delta}/2)^\dagger F(-{\bm \Delta}/2)]

1563: | P^+,{\bm 0},s\rangle

1564: \nonumber\\

1565: &=&

1566: \frac{1}{N_c}

1567: \int\! d{\bm b}\

1568: {}_x\!\langle P^{\prime +},-{\bm b},s|

1569: {\rm Tr}[1 - F({\bm \Delta}/2)^\dagger F(-{\bm \Delta}/2)]

1570: |P^+,{\bm 0},s\rangle

1571: \nonumber\\

1572: &=&

1573: { 1 \over N_c}

1574: \int\! d{\bm b}\

1575: {}_x\!\langle  P^{\prime+},{\bm 0},s|

1576: {\rm Tr}[1 - F({\bm b}+{\bm \Delta}/2)^\dagger F({\bm b}-{\bm \Delta}/2)]

1577: |P^+,{\bm 0},s\rangle

1578: .

1579: %

1580: \end{eqnarray}

1581: %

1582: Thus

1583: %

1584: \begin{equation}

1585: %

1586: \label{eq:Xiintegral}

1587: \Xi_I({\bm \Delta}) = \int\! d{\bm b}\

1588: \Xi({\bm b},{\bm \Delta})

1589: ,

1590: %

1591: \end{equation}

1592: %

1593: where\footnote{Here $\Xi({\bm b},{\bm \Delta})$ is 

1594: the spin average (with $s' = s$) of what is called $\Xi$ in \cite{hs00}.}

1595: %

1596: \begin{equation}

1597: %

1598: \label{eq:XibDeltadef}

1599: \Xi({\bm b},{\bm \Delta}) =

1600: \frac{1}{N_c}\left(\frac12\sum_s\right) 

1601: \int\frac{d P^{\prime +}}{(2\pi) 2 P^{\prime +}}\

1602: {}_x\!\langle  P^{\prime+},{\bm 0},s|

1603: {\rm Tr}[1 - F({\bm b}+{\bm \Delta}/2)^\dagger F({\bm b}-{\bm \Delta}/2)]

1604: |P^+,{\bm 0},s\rangle

1605: .

1606: %

1607: \end{equation}

1608: %

1609: The quantity $\Xi({\bm b},{\bm \Delta})$ is more suitable than $\Xi_I({\bm \Delta})$ as a quantity to model since the physics of the dipole-proton interaction should depend on $\bm b$. Given a model for $\Xi({\bm b},{\bm \Delta})$, one obtains $\Xi_I({\bm \Delta})$ by integrating over $\bm b$.

1610: 

1611: Given that $\Xi_I({\bm \Delta})$ has the behavior given by Eq.~(\ref{eq:XismallDelta}) at small $\Delta$, we can write for $\Xi({\bm b},{\bm \Delta})$ at small $\Delta$,

1612: %

1613: \begin{equation}

1614: %

1615: \label{eq:XiofBsmallDelta}

1616: \Xi(\bm b, \bm\Delta) = \Delta^2\frac{\pi^2 \alpha_s}{2N_c}\,

1617: x G(x,a/\Delta)\,\phi(\bm b)

1618: ,

1619: %

1620: \end{equation}

1621: %

1622: where

1623: %

1624: \begin{equation}

1625: %

1626: \int d\bm b \ \phi(\bm b) = 1

1627: .

1628: %

1629: \end{equation}

1630: %

1631: Given that $x G(x,a/\Delta)$ is the number of gluons per unit $d\log x$ (averaged over momentum fractions somewhat larger than $x$), we interpret $x G(x,a/\Delta)\,\phi(\bm b)$ as the number of gluons per unit area $d\bm b$ and per unit $d\log x$ at a distance $\bm b$ from the center of the proton. Consistently with this interpretation, we assume that

1632: %

1633: \begin{equation}

1634: %

1635: \phi(\bm b) \ge 0

1636: %

1637: \end{equation}

1638: %

1639: and

1640: %

1641: \begin{equation}

1642: %

1643: \phi(\bm b) = 0 \quad\quad \mbox{for}\ |\bm b| > R_p.

1644: %

1645: \end{equation}

1646: %

1647: We will need a model for $\phi(\bm b)$.

1648: 

1649: \subsection{Interpretation and properties of $\Xi(\bm b, \bm\Delta)$}

1650: \label{sec:Xiproperties}

1651: 

1652: Let us write $\Xi(\bm b, \bm\Delta)$ as

1653: %

1654: \begin{equation}

1655: %

1656: \Xi(\bm b, \bm\Delta) = 1 - T(\bm b, \bm\Delta)

1657: .

1658: %

1659: \end{equation}

1660: %

1661: Here the 1 comes from the 1 in Eq.~(\ref{eq:XibDeltadef}). 

1662: Then $T$ comes from the matrix element of $F^\dagger F$. 

1663: In the language of classical optics, $T(\bm b, \bm\Delta)$ 

1664: is the transmission coefficient for a dipole of size $\Delta$ 

1665: impinging on the proton at impact parameter $\bm b$. 

1666: According to the definition (\ref{eq:XibDeltadef}), 

1667: the dipole is counted as transmitted only if the proton 

1668: is left intact after the dipole moves through it. (This 

1669: is the consequence of our having switched from a description of $f_{q/p}(x , \mu)$ 

1670: as a total cross section to a description in the form of a forward scattering amplitude.) 

1671: Based on this interpretation and on what we have already learned about $\Xi(\bm b, \bm\Delta)$, 

1672: we expect $\Xi(\bm b, \bm\Delta)$ to have the following properties.

1673: 

1674: \begin{enumerate}

1675: 

1676: \item $T(\bm b, \bm\Delta) = 1$ for $|\bm b| > R_p + \Delta/2$.

1677: 

1678: \item $T(\bm b, \bm\Delta) = 1$ for $\Delta = 0$.

1679: 

1680: \item $T(\bm b, \bm\Delta) \approx 0$ for $|\bm b| < R_p$ with $|\bm b|$ not close to $R_p$ and $\Delta$ not small.

1681: 

1682: \item $T(\bm b, \bm\Delta) = 1 - \Delta^2\,[{\pi^2 \alpha_s}/{(2N_c)}]\,

1683: x G(x,a/\Delta)\,\phi(\bm b) + {\cal O}(\Delta^4)$ for $\Delta \to 0$.

1684: 

1685: \end{enumerate}

1686: Property 1 simply says that a dipole that entirely misses the proton does not interact with it and is thus perfectly transmitted. Property 2 holds because a dipole with zero separation does not have any interaction with the proton. This is the property of color transparency. Property 3 applies because a big dipole has strong interactions, so that we expect that after such a dipole moves through the proton the proton is almost never left intact. Property 4 is consistent with $T$ being 1 for $\Delta = 0$ and reflects our previously obtained perturbative result for $\Xi$ at small $\Delta$.  

1687: 

1688: \subsection{Model for $\Xi(\bm b, \bm\Delta)$}

1689: \label{sec:satur}

1690: 

1691: There is a simple model for $T(\bm b, \bm\Delta)$ that is consistent 

1692: with the properties listed in the previous subsection,

1693: %

1694: \begin{equation}

1695: %

1696: \label{eq:Tmodel}

1697: T(\bm b, \bm\Delta) = \exp\left(

1698: -\Delta^2\,\frac{\pi^2 \alpha_s}{2N_c} \,

1699: x G(x,a/\Delta)\,\phi(\bm b)

1700: \right)

1701: .

1702: %

1703: \end{equation}

1704: %

1705: This is a small variation on the widely 

1706: used {\em saturation model}~\cite{mue99,golec}, with 

1707:  the gluon distribution   treated according to  the matching 

1708:  of Sec.~\ref{sec:matching}.  

1709: The same model for $\Xi(\bm b, \bm\Delta)$ is

1710: % 

1711: \begin{equation}

1712: % 

1713: \label{eq:ximodel}

1714: \Xi(\bm b, \bm\Delta) = 1 - e^{ - {\bm \Delta}^2 Q_s^2 ( {\bm b} ) / 4}

1715: ,     

1716: %    

1717: \end{equation}

1718: %

1719: where $Q_s(\bm b)$, known as the saturation scale, is

1720: %

1721: \begin{equation}

1722: %

1723: \label{eq:Qssq}

1724: Q_s^2 ( {\bm b} ) = 

1725: \frac{2\pi^2 \alpha_s}{N_c} \,

1726: x G(x,a/\Delta)\,\phi(\bm b)

1727: .

1728: %

1729: \end{equation}

1730: %

1731: This is the saturation scale for a dipole in the fundamental representation. From Eq.~(\ref{eq:xirat}), we have for a dipole in the adjoint representation (as would be appropriate for the gluon distribution),

1732: %

1733: \begin{equation}

1734: %

1735: Q_s^2 ( {\bm b},\mbox{adjoint} )=

1736: \frac{C_A}{C_F}\,Q_s^2 ( {\bm b},\mbox{fundamental}  ) = 

1737: \frac{4N_c\pi^2 \alpha_s}{N_c^2 - 1} \,

1738: x G(x,a/\Delta)\,\phi(\bm b)

1739: .

1740: %

1741: \end{equation}

1742: %

1743: The name of the model and of the scale $Q_s$ derives from the fact that $\Xi(\bm b, \bm\Delta)$ grows as $\Delta$ increases until it saturates with $\Xi(\bm b, \bm\Delta) \approx 1$ when $\Delta$ reaches approximately $2/Q_s$.

1744: 

1745: For a specific model, we follow Mueller \cite{mue99} in choosing

1746: %

1747: \begin{equation}

1748: %

1749: \label{eq:phimodel}

1750: \phi(\bm b) = \frac{3}{2\pi R_p^3}\, \sqrt{R_p^2 - \bm b^2}\

1751: \theta(|\bm b| < R_p)

1752: .

1753: %

1754: \end{equation}

1755: %

1756: 

1757: \section{Critique of the model}

1758: \label{sec:crit}

1759: 

1760: The dipole picture and saturation model~\cite{mue99,golec} 

1761: along the lines 

1762: just described has enjoyed some success when its predictions 

1763: are compared to experimental results in both inclusive and 

1764: diffractive deeply inelastic scattering (\cite{golecrev}, and 

1765: references therein). We 

1766: do not attempt a numerical comparison in this paper. However, 

1767: we do offer 

1768:  some comments on the extent to which the dipole picture 

1769: for $f_{q/p}$ should be expected to be reliable.

1770: 

1771: We have found that the parton distribution function for quarks can be approximated at small $x$ using Eqs.~(\ref{eq:renormalizedfq}) and (\ref{eq:Xiintegral}), 

1772: %

1773: \begin{equation}

1774: \begin{split}

1775: %

1776: \label{eq:renormalizedfq2}

1777: xf_{q/p}(x,\mu) ={}&

1778: \frac{N_c}{3 \pi^4}\

1779: \int\!d\bm b

1780: \int\! d{\bm \Delta}\

1781: \theta(\Delta^2\mu^2 > a^2)\

1782: \frac{\Xi(\bm b, {\bm \Delta})}{\Delta^4} 

1783: .

1784: %

1785: \end{split}

1786: \end{equation}

1787: %

1788: Clearly,  the model for  $\Xi(\bm b, {\bm \Delta})$ contains 

1789: non-perturbative physics. Furthermore the squared wave function 

1790: $1/\Delta^4$ is a perturbative result that should be 

1791: trusted only for  $\Delta \ll R_p$. Is there any reason to think  

1792: that Eq.~(\ref{eq:renormalizedfq2}) might be reliable at all? 

1793: 

1794: To examine this issue, first look at the integration range for $\Delta$. There is a renormalization cut $\Delta > a/\mu$ and we may suppose that we consider scale choices such that $a/\mu \ll R_p$. The integration extends to arbitrarily large $\Delta$,  but once $\Delta > 1/Q_s(\bm b)$ we have $\Xi(\bm b,\bm \Delta) \approx 1$ so that the integrand is approximately $1/\Delta^4$. This falloff is sufficiently fast that values of $\Delta$ greater than $1/Q_s(\bm b)$ are not important in the integration. Now, $Q_s(\bm b)$ is proportional to the gluon distribution and at small $x$ there are lots of gluons. For this reason, 

1795: for a central impact parameter $\bm b$, $Q_s(\bm b)$ is larger than 

1796: the normal $300\ {\rm MeV}$ soft hadronic scale.  

1797: With $xG(x) = 10$, $\alpha_s = 0.2$ and $R_p = 4.5\ {\rm GeV}^{-1}$ 

1798: one gets $Q_s(\bm 0, \mbox{fundamental}) \approx 

1799: 0.6\ {\rm GeV}$.\footnote{This value is  consistent 

1800: with the value obtained 

1801: by comparison with diffractive DIS data 

1802: in the somewhat different approach~\cite{hs00,diffjet}.}  If 

1803: we were dealing with a large nucleus or with values of $x$ much 

1804: smaller than $10^{-3}$, we could have quite a lot larger values 

1805: of $xG(x)$ and thus a larger saturation 

1806: scale.\footnote{Also, $Q_s(\bm b)$ is larger if we had a 

1807: color $\bm 8$ dipole instead of a color $\bm 3$ dipole, as 

1808: would be the case if we were to investigate the gluon 

1809: distribution.  See \cite{kopel06} for a recent discussion. } Additionally,  $Q_s(\bm b)$  is small  near the  edge of 

1810: the proton. If we were dealing with a large nucleus, the contribution from $\bm b$ near the edge of the nucleus would be less important than for a proton. 

1811: 

1812: To the extent that $Q_s(\bm b)$ is large,  the 

1813: main contributions to $xf_{q/p}(x,\mu)$ come from regions 

1814: in the integrations in which the model is anchored  in a 

1815: reliable perturbative expansion. But what if $Q_s(\bm b)$ is not so large? Then we must face the facts that 

1816: the model for $\Xi(\bm b, {\bm \Delta})$ is non-perturbative and  

1817: that  the $1/\Delta^4$ squared wave function is a perturbative 

1818: result applied outside the range of validity of the perturbative 

1819: expansion. We can analyze these problems in two ways. 

1820: First, the dipole interaction with the proton, $\Xi(\bm b, {\bm \Delta})$, 

1821:  should be subject to scrutiny.  Second, we can consider 

1822:  what would happen if we were to work at a higher 

1823:  order of perturbation theory. Then we would have 

1824:  new contributions to the partonic state that 

1825:  hits the proton, including the possibility that 

1826:  this state contains more than just two partons.

1827:  

1828: Recall first the  behavior of 

1829: $\Xi(\bm b, {\bm \Delta})$ in the model of 

1830:  Sec.~\ref{sec:satur}, supposing that the 

1831: description of the incoming partonic state as a 

1832: dipole with the perturbative $1/\Delta^4$ squared 

1833: wave function is exactly right. It is indeed true 

1834: that $\Xi(\bm b, {\bm \Delta})$ cannot be reliably 

1835: calculated perturbatively when $\Delta$ is not small. 

1836: However, $\Xi(\bm b, {\bm \Delta})$ corresponds to the 

1837: probability that the dipole scatters. When $\Delta$ is 

1838: large and $|\bm b| < R_p$, it is likely 

1839: that the dipole is almost completely absorbed, which 

1840:  corresponds to $\Xi(\bm b, {\bm \Delta}) \approx 1$. The 

1841:   model  of   Sec.~\ref{sec:satur}  for $\Xi(\bm b, {\bm \Delta})$ 

1842: has this 

1843:  property. Thus $\Xi(\bm b, {\bm \Delta})$ is fixed for 

1844:  small $\Delta$ and for large $\Delta$ as long as $\bm b$ is 

1845:  well inside the proton. It is certainly true 

1846:  that  it is not so well known for 

1847:  intermediate values of $\Delta$ and for large or 

1848:  medium $\Delta$ when $|\bm b| \approx R_p$. 

1849:  In particular, if $Q_s$ is not so  large  one is likely to make 

1850:   an error  by extending the  transparency region 

1851: to intermediate $\Delta$. But the effect is not dramatic, 

1852:   so that  even  here  

1853:   there is not too much that one could do to 

1854:  drastically change $\Xi(\bm b, {\bm \Delta})$ from 

1855:  the form given by the  model. 

1856: 

1857: Consider now the higher-order states. 

1858: The original eikonal quark plus an antiquark state can 

1859: become an eikonal quark plus an antiquark plus several gluons, 

1860: for example. We could still define a measure $\Delta$ of the 

1861: transverse size of this partonic system. The partonic 

1862: wave function would depend on $\Delta$. It would also 

1863: depend on other dimensionless shape variables that we 

1864: could call $\gamma$. Then we would have a function 

1865: $\Xi_\gamma(\bm b, { \Delta})$, given by 

1866: a matrix element of multi-eikonal 

1867: operators,  describing the 

1868: probability for this state, labeled by $\bm b, {\Delta}$ and 

1869: internal quantum numbers $\gamma$, to 

1870:  scatter. 

1871: This would give an extension of 

1872: Eq.~(\ref{eq:renormalizedfq2}) with the form

1873:  %

1874: \begin{equation}

1875: %

1876: \label{eq:renormalizedfq3}

1877: xf_{q/p}(x,\mu) =

1878: \int\!d\bm b

1879: \int\! d{\Delta^2}\

1880: \sum_\gamma

1881: |\psi_\gamma(\Delta)|^2\

1882: \Xi_\gamma(\bm b, {\Delta})

1883: .

1884: %

1885: \end{equation}

1886: %

1887: The integral needs renormalization, which can 

1888: introduce logarithms of $\Delta\mu$. Except for 

1889: this appearance of the renormalization scale $\mu$, 

1890: the calculation of the wave function  $|\psi_\gamma(\Delta)|^2$ 

1891: involves no hadronic distance scales and no masses. For this 

1892: reason, dimensional analysis tells us that 

1893: $|\psi_\gamma(\Delta)|^2$ is proportional to $\Delta^{-4}$ 

1894: times the logarithms of $\Delta\mu$ times dimensionless 

1895: constants and times factors of $\alpha_s$. This suggests, 

1896: although it certainly does not prove, that the squared wave 

1897: functions $|\psi_\gamma(\Delta)|^2$ are not larger than the 

1898: lowest order result. This leaves us with 

1899: the scattering probabilities $\Xi_\gamma(\bm b, {\Delta})$. We 

1900: do not know the detailed form of these, but it is 

1901:   plausible 

1902: that the complicated states under discussion are 

1903: almost completely absorbed, which corresponds to 

1904: $\Xi_\gamma(\bm b, \Delta) \approx 1$. This is just the 

1905: behavior of the simple dipole version of the scattering probability, 

1906: $\Xi(\bm b, \Delta)$,  for large $\Delta$. 

1907: 

1908: These arguments do not establish that  Eq.~(\ref{eq:renormalizedfq2}) 

1909:  for the 

1910: quark distribution function must be highly 

1911: accurate if applied to a proton with 

1912: $x \sim 10^{-3}$ rather than, say, a 

1913: very large nucleus or very much lower  $x$. However, 

1914: they do suggest that the picture has enough 

1915: qualitatively right features built into it that it 

1916: should be more useful than would seem from first appearances.

1917: 

1918: 

1919: 

1920: 

1921: \section{The structure function}

1922: \label{sec:strfun}

1923: 

1924: The dipole results for structure functions are known from~\cite{mue99}.  

1925: The transverse structure function $F_T$ is given by~\cite{mue99} 

1926: %

1927: \begin{eqnarray}

1928: %

1929: F_T 

1930: &=& 

1931:  \frac{1}{4 \pi} \sum_a e_a^2\

1932: \frac{4N_c Q^2}{x(2\pi)^{3}}

1933: \int_0^1\!d\alpha\

1934: [1-2\alpha(1-\alpha)]

1935: \int\! d{\bm b} \int\! d{\bm \Delta}\ 

1936: \nonumber\\

1937: &&\times

1938: \frac{1}{\Delta^2}

1939: \left|

1940: \sqrt{\alpha(1-\alpha)}\,Q  \Delta \

1941: K_0'\left(\sqrt{\alpha(1-\alpha)}\,Q \Delta \right)

1942: \right|^2 

1943: \  

1944: \Xi({\bm b} , {\bm \Delta}

1945: )

1946: , 

1947: \label{FTresult}

1948: %

1949: \end{eqnarray}

1950: %

1951: where $Q^2$ is the photon virtuality, and 

1952: $K_0'$ is the derivative of the modified Bessel function. 

1953: The main difference compared to the case of the quark distribution is that 

1954: the ultraviolet region of small $\Delta$ is  now naturally regulated 

1955: by the physical $Q^2$. In Appendix~\ref{app:FT} we 

1956: sketch a derivation of this result along the lines of our derivation 

1957: for the quark distribution function. 

1958: 

1959: In the remainder of this section, we relate this formula for $F_T$ to the normal factorized form in which $F_T$ is expressed as a sum of perturbatively calculable hard scattering functions $\hat F_T$ convoluted with parton distribution functions. For large $Q^2$, the integral in Eq.~(\ref{FTresult}) is dominated by two integration regions, $\Delta \sim 1/Q$ and $\Delta \gg 1/Q$. We discuss each region in turn.

1960: 

1961: In the case $\Delta \sim 1/Q \ll R_p$, one can use the small $\Delta$ perturbative formula for $\Xi({\bm b} , {\bm \Delta})$, Eq.~(\ref{eq:cfXigluon}). Then the contribution from this region is a certain one loop integral times $\alpha_s$ times the gluon distribution function. We can recognize that this has the form of a one loop contribution to $\hat F_T$ times the gluon distribution. We do not analyze it further.

1962: 

1963: The case $\Delta \gg 1/Q$ is more interesting from 

1964: the point of view of this paper. Let us implement the 

1965: requirement $\Delta \gg 1/Q$ in a crude fashion by inserting a 

1966: factor $\theta(Q\Delta > c)$ where $c$ is a fixed number 

1967: of order 1. The only way that we can get a leading contribution to the integral for large $Q\Delta$ without the Bessel function cutting off the integral is for $\alpha(1-\alpha)$ to be small. That is, either $\alpha$ must be small or else $1-\alpha$ must be small. We consider the case $\alpha \ll 1$. To see what this region contributes, we simply neglect $\alpha$ compared to 1 inside the integral, 

1968: %

1969: \begin{eqnarray}

1970: %

1971: F_T^{\rm LTq}

1972: &=& 

1973:  \frac{1}{4 \pi} \sum_a e_a^2\

1974: \frac{4N_c Q^2}{x(2\pi)^{3}}

1975: \int_0^\infty\!d\alpha\

1976: \int\! d{\bm b} \int\! d{\bm \Delta}\ 

1977: \theta(Q\Delta > c)

1978: \nonumber\\

1979: &&\times

1980: \frac{1}{\Delta^2}

1981: \left|

1982: \sqrt{\alpha}\,Q \Delta \

1983: K_0'\left(\sqrt{\alpha}\,Q \Delta \right)

1984: \right|^2

1985: \ 

1986: \Xi(

1987: {\bm b} , {\bm \Delta}

1988: )

1989: .

1990: %

1991: \end{eqnarray}

1992: %

1993: Here we can change variables from $\alpha$ to $z^2 = \alpha Q^2 \Delta^2$,

1994: giving

1995: %

1996: \begin{equation}

1997: %

1998: F_T^{\rm LTq}

1999: = 

2000: \frac{1}{x}

2001: \sum_a e_a^2\

2002: \frac{N_c}{4 \pi^{4}}

2003: \int\! d{\bm b} \int\! d{\bm \Delta}\ 

2004: \theta(Q\Delta > c)\,

2005: \Xi({\bm b} , {\bm \Delta})

2006: \ 

2007: \frac{1}{\Delta^4}

2008: \int_0^\infty\!dz\,z

2009: \left|

2010: z

2011: K_0'\left(z\right)

2012: \right|^2

2013: .

2014: %

2015: \end{equation}

2016: %

2017: Using

2018: %

2019: \begin{equation}

2020: %

2021: \int_0^\infty\! dz \ z

2022: \left| z K_0'(z)

2023: \right|^2

2024: =\frac{2}{3},

2025: %

2026: \end{equation}

2027: %

2028: this is

2029: %

2030: \begin{eqnarray}

2031: %

2032: F_T^{\rm LTq}

2033: &=& 

2034: \frac{1}{2x} 

2035:  \sum_a e_a^2\

2036: \frac{N_c}{3\pi^{4}}

2037: \int\! d{\bm b} \int\! d{\bm \Delta}\ 

2038: \frac{\theta(Q\Delta > c)}{\Delta^4}\,

2039: \Xi({\bm b} , {\bm \Delta}

2040: )

2041: .

2042: \label{result1}

2043: %

2044: \end{eqnarray}

2045: %

2046: Comparing with Eqs.~(\ref{eq:renormalizedfq}) and (\ref{eq:Xiintegral}),  

2047: we see that we have the lowest order contribution 

2048: to the hard scattering, $\hat F_T$, times the 

2049: dipole form of the quark distribution evaluated 

2050: at a renormalization scale of order $Q/c$. The 

2051: corresponding $1-\alpha \ll 1$ contribution 

2052: gives the same $\hat F_T$ times the antiquark 

2053: distribution. Thus we see that the leading order 

2054: factorization formula works in the 

2055: dipole approximation with the quark 

2056: distribution function defined independently 

2057: according to its definition as the proton 

2058: matrix element of a certain operator.\footnote{Dipole 

2059: contributions 

2060: that are power suppressed with respect 

2061: to the leading factorized term are investigated 

2062:   in \cite{plb06} for the $Q^2$ evolution of the 

2063:   structure function.}  

2064:  

2065: 

2066:  

2067:  

2068: \section{Conclusions} 

2069: \label{sec:conclusions} 

2070: 

2071: There is an $s$-channel  approximation for 

2072:  structure functions  that is 

2073: quite standard in the literature and is, we believe, well 

2074: motivated. In this approximation, $F_T(x,Q^2)$ is 

2075: given by Eq.~(\ref{FTresult}). This has the form of

2076: a dipole scattering  probability

2077: $\Xi(\bm b, {\bm \Delta})$ convoluted 

2078: with the probability to make the dipole. We have 

2079: presented a variation of the ``saturation''  

2080: model \cite{mue99,golec} for 

2081: $\Xi(\bm b, {\bm \Delta})$ in Eqs.~(\ref{eq:ximodel}), (\ref{eq:Qssq}) 

2082: and (\ref{eq:phimodel}).\footnote{The principle 

2083: refinement is the definition of $x G(x,\mu)$, Eq.~(\ref{eq:Gxdef}).} The 

2084:  approximation (\ref{FTresult}) for $F_T(x,Q^2)$ seems to be 

2085: quite different from the factorized form applicable at large $Q^2$, in 

2086: which $F_T(x,Q^2)$ is expressed as a convolution of a hard 

2087: partonic 

2088: structure function $\hat F_T$  with parton distribution functions. The focus 

2089: of this paper has been to connect these apparently dissimilar pictures 

2090: by investigating the quark distribution function $xf_{q/p}(x,\mu) $ at 

2091: small $x$ using the $s$-channel  picture.

2092: 

2093: We have found that the parton distribution function for quarks can be approximated at small $x$ using Eqs.~(\ref{eq:renormalizedfq}) and (\ref{eq:Xiintegral}), 

2094: %

2095: \begin{equation}

2096: \begin{split}

2097: %

2098: \label{eq:renormalizedfq2bis}

2099: xf_{q/p}(x,\mu) ={}&

2100: \frac{N_c}{3 \pi^4}\

2101: \int\!d\bm b

2102: \int\! d{\bm \Delta}\

2103: \theta(\Delta^2\mu^2 > a^2)\

2104: \frac{\Xi(\bm b, {\bm \Delta})}{\Delta^4} 

2105: .

2106: %

2107: \end{split}

2108: \end{equation}

2109: %

2110: This has the form of the same  dipole scattering function $\Xi(\bm b, {\bm

2111: \Delta})$ as in $F_T$, now convoluted with a different  probability to make the

2112: dipole. In fact, the probability to make the dipole is beautifully simple,

2113: %

2114: \begin{equation}

2115: %

2116: \frac{N_c}{3 \pi^4}\  \frac{\theta(\Delta^2\mu^2 > a^2)}{\Delta^4}

2117: ,

2118: %

2119: \end{equation}

2120: %

2121: where $a$ is a calculated number of order 1, Eq.~(\ref{eq:aresult}), 

2122: that accomplishes $\overline{\rm MS}$ renormalization for the quark 

2123: distribution, assuming that $\mu$ is large. 

2124: The power behavior, $1/\Delta^4$, characterizes the squared 

2125: lightcone wave function.

2126: 

2127: We have seen not only that the quark distribution has a 

2128: simple form in this picture, but  also  that 

2129: the normal lowest order factorized form for $F_T$ 

2130: relates the dipole expression for $F_T$ to the dipole 

2131: expression for $f_{q/p}$. Furthermore, the evolution 

2132: equation for $f_{q/p}$ relates the exponent in 

2133: $\Xi(\bm b, {\bm \Delta})$ to the gluon distribution.

2134: 

2135: 

2136: %=========================================================================

2137: \appendix

2138: 

2139: \section{Calculation of $u({\bm \Delta})$}

2140: \label{app:little_u}

2141: 

2142: 

2143: In this appendix, we compute the integrals for the function $u({\bm \Delta})$ 

2144: introduced in Sec.~\ref{sec:qua}. We begin with Eq.~(\ref{eq:uintegral}),

2145: %

2146: \begin{equation}

2147: %

2148: u({\bm \Delta}) =

2149: {2N_c \mu^{4\epsilon} \over (2 \pi)^{6-4\epsilon} } 

2150: \int_0^\infty\! d\Lambda^2  

2151: \int\!d^{2-2\epsilon}{\bm p}_2\int\!d^{2-2\epsilon}{\bm p}_1\

2152: e^{i{\bm \Delta}\cdot({\bm p}_1 - {\bm p}_2)}\

2153: { 2{\bm p}_1 \cdot {\bm p}_2 \over 

2154: (\Lambda^2 + {\bm p}_2^2 )

2155: (\Lambda^2 + {\bm p}_1^2)} .

2156: %

2157: \end{equation}

2158: %

2159: We can introduce two Feynman parameter integrals to put the denominators

2160: into the exponent. This enables us to perform the ${\bm  p}_j$ integrals

2161: %

2162: \begin{eqnarray}

2163: %

2164: u({\bm \Delta}) &=&

2165: {4N_c \mu^{4\epsilon} \over (2 \pi)^{6-4\epsilon} } 

2166: \int_0^\infty\! d\Lambda^2  

2167: \int\!d^{2-2\epsilon}{\bm p}_2\int\!d^{2-2\epsilon}{\bm p}_1\

2168: e^{i{\bm \Delta}\cdot({\bm p}_1 - {\bm p}_2)}\

2169: {\bm p}_1 \cdot {\bm p}_2  .

2170: \nonumber\\

2171: &&\times \int_0^\infty \!d\alpha_1\ 

2172: \exp(-\alpha_1(\Lambda^2 + {\bm p}_1^2 ))

2173: \int_0^\infty \!d\alpha_2\ 

2174: \exp(-\alpha_2(\Lambda^2 + {\bm p}_2^2 ))

2175: \nonumber\\

2176: &=&

2177: {4N_c \mu^{4\epsilon} \over (2 \pi)^{6-4\epsilon} } 

2178: \int_0^\infty\! d\Lambda^2  

2179: \int_0^\infty\! d\alpha_1 

2180: \int_0^\infty\! d\alpha_2\ e^{- (\alpha_1 + \alpha_2)\Lambda^2}

2181: \nonumber\\

2182: &&\times \left(-i \frac{\partial}{\partial \Delta_j}\right)

2183: \int\!d^{2-2\epsilon}{\bm p}_1\

2184: \exp(-\alpha_1{\bm p}_1^2  + i{\bm \Delta}\cdot{\bm p}_1 )

2185: \nonumber\\

2186: &&\times \left(i \frac{\partial}{\partial \Delta_j}\right)

2187: \int\!d^{2-2\epsilon}{\bm p}_2\

2188: \exp(-\alpha_2{\bm p}_2^2  - i{\bm \Delta}\cdot{\bm p}_2 )

2189: \nonumber\\

2190: &=&

2191: {4N_c \mu^{4\epsilon} \over (2 \pi)^{6-4\epsilon} } 

2192: \int_0^\infty\! d\Lambda^2  

2193: \int_0^\infty\! d\alpha_1 

2194: \int_0^\infty\! d\alpha_2\ e^{- (\alpha_1 + \alpha_2)\Lambda^2}

2195: \nonumber\\

2196: &&\times \left(-i \frac{\partial}{\partial \Delta_j}\right)

2197: \int\!d^{2-2\epsilon}{\bm p}_1\

2198: \exp(-\alpha_1({\bm p}_1  - i{\bm \Delta}/(2\alpha_1))^2 

2199: -\Delta^2/(4\alpha_1))

2200: \nonumber\\

2201: &&\times \left(i \frac{\partial}{\partial \Delta_j}\right)

2202: \int\!d^{2-2\epsilon}{\bm p}_2\

2203: \exp(-\alpha_2({\bm p}_2  + i{\bm \Delta}/(2\alpha_2))^2 

2204: -\Delta^2/(4\alpha_2))

2205: \nonumber\\

2206: &=&

2207: {4N_c \mu^{4\epsilon} \over (2 \pi)^{6-4\epsilon} } 

2208: \int_0^\infty\! d\Lambda^2  

2209: \int_0^\infty\! d\alpha_1 

2210: \int_0^\infty\! d\alpha_2\ e^{- (\alpha_1 + \alpha_2)\Lambda^2}

2211: \nonumber\\

2212: &&\times \left(i \frac{\Delta_j}{2\alpha_1}\right)

2213: \left(\frac{\pi}{\alpha_1}\right)^{1-\epsilon}

2214: \exp( -\Delta^2/(4\alpha_1))

2215: \nonumber\\

2216: &&\times \left(-i \frac{\Delta_j}{2\alpha_2 }\right)

2217: \left(\frac{\pi}{\alpha_2}\right)^{1-\epsilon}

2218: \exp(-\Delta^2/(4\alpha_2))

2219: \nonumber\\

2220: \nonumber\\

2221: &=&

2222: {N_c \over 2^{6} \pi^{4} } 

2223: \left(4\pi\mu^2\right)^{2\epsilon}\

2224: \Delta^2

2225: \int_0^\infty\! d\Lambda^2  

2226: \int_0^\infty  \frac{d\alpha_1}{\alpha_1}\ \alpha_1^{-1+\epsilon}

2227: \int_0^\infty  \frac{d\alpha_2}{\alpha_2}\ \alpha_2^{-1+\epsilon}

2228: \nonumber\\

2229: &&\times

2230: \exp\left({- (\alpha_1 + \alpha_2)\,\Lambda^2} 

2231:  -\frac{\Delta^2}{4}

2232: \left(\frac{1}{\alpha_1} + \frac{1}{\alpha_2}\right)\right).

2233: %

2234: \end{eqnarray}

2235: %

2236: 

2237: At this point, we can perform the $\Lambda^2$ integral,

2238: %

2239: \begin{eqnarray}

2240: %

2241: u({\bm \Delta}) &=&{N_c \over 2^6 \pi^4 } 

2242: \left(4\pi\mu^2\right)^{2\epsilon}\

2243: \Delta^2

2244: \int_0^\infty  \frac{d\alpha_1}{\alpha_1}\ \alpha_1^{-1+\epsilon}

2245: \int_0^\infty  \frac{d\alpha_2}{\alpha_2}\ \alpha_2^{-1+\epsilon}

2246: \nonumber\\

2247: &&\times

2248: \frac{1}{\alpha_1 + \alpha_2}

2249: \exp\left( 

2250:  -\frac{\Delta^2}{4}

2251: \left(\frac{1}{\alpha_1} + \frac{1}{\alpha_2}\right)\right).

2252: %

2253: \end{eqnarray}

2254: %

2255: In order to simplify the exponent, we can change variables to $\beta_i =

2256: 1/\alpha_i$:

2257: %

2258: \begin{eqnarray}

2259: %

2260: u({\bm \Delta}) &=&

2261: {N_c \over 2^6 \pi^4 } 

2262: \left(4\pi\mu^2\right)^{2\epsilon}\

2263: \Delta^2

2264: \int_0^\infty  \frac{d\beta_1}{\beta_1}\ \beta_1^{2-\epsilon}

2265: \int_0^\infty  \frac{d\beta_2}{\beta_2}\ \beta_2^{2-\epsilon}

2266: \nonumber\\

2267: &&\times

2268: \frac{1}{\beta_1 + \beta_2}

2269: \exp\left( 

2270:  -\frac{\Delta^2}{4}

2271: \left(\beta_1 + \beta_2\right)\right)

2272: .

2273: %

2274: \end{eqnarray}

2275: %

2276: Now we can change variables to

2277: %

2278: \begin{eqnarray}

2279: %

2280: \gamma &=& \beta_1 + \beta_2 , 

2281: \nonumber\\

2282: r &=&\frac{\beta_1}{\beta_1 + \beta_2}.

2283: %

2284: \end{eqnarray}

2285: %

2286: The inverse transformation is

2287: %

2288: \begin{eqnarray}

2289: %

2290: \beta_1 &=& r\gamma , 

2291: \nonumber\\

2292: \beta_2 &=& (1-r)\gamma.

2293: %

2294: \end{eqnarray}

2295: %

2296: The jacobian is

2297: %

2298: \begin{equation}

2299: %

2300: \frac{\partial (\beta_1,\beta_2)}{\partial(\gamma,r)} = \gamma.

2301: %

2302: \end{equation}

2303: %

2304: Thus

2305: %

2306: \begin{eqnarray}

2307: %

2308: u({\bm \Delta}) &=&

2309: {N_c \over 2^6 \pi^4 } 

2310: \left(4\pi\mu^2\right)^{2\epsilon}\

2311: \Delta^2

2312: \int_0^\infty \gamma d\gamma \int_0^1 dr\

2313:  (r\gamma)^{1-\epsilon}\

2314:  ((1-r)\gamma)^{1-\epsilon}

2315: \nonumber\\

2316: &&\times

2317: \frac{1}{\gamma}

2318: \exp\left( 

2319:  -\frac{\Delta^2}{4}\,

2320: \gamma\right)

2321: \nonumber\\

2322: &=&

2323: {N_c \over 2^6 \pi^4 } 

2324: \left(4\pi\mu^2\right)^{2\epsilon}\

2325: \Delta^2

2326: \int_0^\infty  \frac{d\gamma}{\gamma}\ \gamma^{3-2\epsilon}

2327: \exp\left( 

2328:  -\frac{\Delta^2}{4}\,

2329: \gamma\right)

2330: \nonumber\\

2331: &&\times

2332:  \int_0^1 dr\

2333:  (r (1-r))^{1-\epsilon}

2334: .

2335: %

2336: \end{eqnarray}

2337: %

2338: We can perform both integrals with the result

2339: %

2340: \begin{eqnarray}

2341: %

2342: u({\bm \Delta}) &=&

2343: {N_c \over 2^6 \pi^4 } 

2344: \left(4\pi\mu^2\right)^{2\epsilon}\

2345: \Delta^2

2346: \left(\frac{4}{\Delta^2}\right)^{3-2\epsilon}

2347: \Gamma(3-2\epsilon)\

2348: \frac{\Gamma(2-\epsilon)^2}{\Gamma(4-2\epsilon)}

2349: \nonumber\\

2350:  &=&

2351: {N_c \over 3 \pi^4 }\, \frac{1}{\Delta^4} \

2352: \left(\pi\mu^2 \Delta^2\right)^{2\epsilon}

2353: \frac{\Gamma(2-\epsilon)^2}{1-2\epsilon/3}

2354: .

2355: %

2356: \end{eqnarray}

2357: %

2358: 

2359: \section{An algebraic relation for eikonal operators}

2360: \label{sec:algeb}

2361: 

2362: 

2363: In this appendix, we  seek a relation between the operators $ 

2364: {\mbox{Tr}} (  F^\dagger  F  ) $ for the  quark and the gluon

2365: distributions,  where $F$ is given in 

2366: Eq.~(\ref{eikFdef2}). 

2367: 

2368: Denote by $V$ and $U$ the eikonal operators in the fundamental and

2369: adjoint representation: 

2370: % 

2371: \begin{equation}

2372: % 

2373: \label{VandU}

2374: V ({\bm z}) = F_{\rm{fund.}} ({\bm z}) 

2375: \hspace*{0.2 cm} , \hspace*{0.4 cm}  

2376: U ({\bm z}) = F_{\rm{adj.}} ({\bm z}) \hspace*{0.2 cm} .  

2377: %    

2378: \end{equation}

2379: %

2380: The following identity holds between $V$ and $U$ at the same point: 

2381: % 

2382: \begin{equation}

2383: % 

2384: \label{VUsamez}

2385: {1 \over 2} U^{a b} ({\bm z}) =  {\mbox{Tr}}  

2386: \left[ t^a V ({\bm z}) t^b V^\dagger ({\bm z}) \right] 

2387: \hspace*{0.2 cm}    , 

2388: %    

2389: \end{equation}

2390: %

2391: with $t^a$ and $t^b$ generators in the fundamental representation.   This 

2392: can be seen by constructing the adjoint representation  from the product

2393: of $3$ and $\overline 3$. 

2394: 

2395: Using (\ref{VUsamez}) we can write the trace of two $U$'s at points ${\bm

2396: x}$ and ${\bm y}$ as 

2397: %

2398: \begin{eqnarray}

2399: %

2400: \label{Uxy}

2401: {\mbox{Tr}} \left[  U ({\bm x}) U^\dagger ({\bm y}) \right] 

2402: &=&  U^{a b} ({\bm x}) U^{ a  b } ({\bm y})

2403: \nonumber\\

2404: &=& 

2405: 4 t^a_{i j} V_{ j l} ({\bm x})  t^b_{l m} V^{\dagger}_{ m i} ({\bm x}) 

2406: t^a_{p q} V_{ q r} ({\bm y})  t^b_{r s} V^{\dagger}_{ s p} ({\bm y})

2407:  \hspace*{0.2 cm} .  

2408: % 

2409: \end{eqnarray}

2410: %

2411: Now with the identity 

2412: % 

2413: \begin{equation}

2414: % 

2415: \label{fierz}

2416: t^a_{i j} t^a_{p q} = {1 \over 2} \delta_{i q} \delta_{p j} - 

2417: {1 \over {2 N_c} } \delta_{i j} \delta_{p q}

2418: \hspace*{0.2 cm} 

2419: %    

2420: \end{equation}

2421: %

2422: we obtain 

2423: %

2424: \begin{eqnarray}

2425: %

2426: \label{Uxyres}

2427: {\mbox{Tr}} \left[  U ({\bm x}) U^\dagger ({\bm y}) \right] 

2428: &=&  {\mbox{Tr}} \left[  V ({\bm x}) V^\dagger ({\bm y}) \right] 

2429: {\mbox{Tr}} \left[  V^\dagger ({\bm x}) V ({\bm y}) \right] 

2430: \nonumber\\

2431: &-&

2432:  { 1\over N_c} \left\{ 

2433: {\mbox{Tr}} \left[  V ({\bm x}) V^\dagger ({\bm y})  

2434: V ({\bm y}) V^\dagger ({\bm x}) \right] + 

2435:   {\mbox{Tr}} \left[  V ({\bm x}) V^\dagger ({\bm x})  

2436: V ({\bm y}) V^\dagger ({\bm y}) \right]

2437: \right\} 

2438: \nonumber\\

2439: &+& { 1\over N_c^2} {\mbox{Tr}} \left[  V ({\bm x}) V^\dagger ({\bm x}) \right] 

2440: {\mbox{Tr}} \left[  V^\dagger ({\bm y}) V ({\bm y}) \right]

2441: \nonumber\\

2442: &=& 

2443: {\mbox{Tr}} \left[  V ({\bm x}) V^\dagger ({\bm y}) \right] 

2444: {\mbox{Tr}} \left[  V^\dagger ({\bm x}) V ({\bm y}) \right] - 1 

2445:  \hspace*{0.2 cm} . 

2446: % 

2447: \end{eqnarray}

2448: %

2449: 

2450: For the operators that appear in the definition of $\Xi$,  

2451: Eq.~(\ref{eq:XiIdef2}), from Eq.~(\ref{Uxyres}) we get

2452: %

2453: \begin{eqnarray}

2454: %

2455: \label{oneminus}

2456: {1 \over {N_c^2 - 1}} {\mbox{Tr}} 

2457: \left[ 1 -  U^\dagger ({\bm \Delta}) U ({\bm 0}) \right] &= &

2458: { C_A \over C_F}  

2459:  {1 \over {N_c}} \ {\mbox{Re}} \  {\mbox{Tr}} 

2460: \left[ 1 -  V^\dagger  ({\bm \Delta}) V({\bm 0}) \right] 

2461: \\

2462: &-& 

2463: {1 \over 2} { C_A \over C_F}  

2464:  {1 \over {N_c^2}} \ | {\mbox{Tr}} 

2465: \left[ 1 -  V^\dagger  ({\bm \Delta}) V({\bm 0}) \right] |^2 

2466: \hspace*{0.2 cm}   . 

2467: \nonumber   

2468: % 

2469: \end{eqnarray}

2470: % 

2471: From this general  relation we recover the simple ratio (\ref{eq:xirat})  in

2472: the case  of small $\bm \Delta$,  where the quadratic term in the right

2473: hand side of  Eq.~(\ref{oneminus}) can be neglected. 

2474: 

2475: 

2476: 

2477: \section{The evolution operator for   $F_T$}

2478: \label{app:FT}

2479: 

2480: In this appendix we derive the $s$-channel formula 

2481: (\ref{FTresult}) 

2482: for the 

2483: structure function $F_T$ in the same fashion  as  was done 

2484:   for the quark distribution in Sec.~\ref{sec:qua}. 

2485: 

2486: 

2487: We start with the definition of $F_T$,

2488: %

2489: \begin{equation}

2490: %

2491: F_T = \frac{1}{8\pi} \int d^4 y\ e^{-iq\cdot y} 

2492: \langle P|J^j(0)J^j(y)|P\rangle .

2493: %

2494: \end{equation}

2495: %

2496: Here

2497: %

2498: \begin{eqnarray}

2499: %

2500: q &=& \left(

2501: -xP^+,\frac{Q^2}{2xP^+},{\bm 0}

2502: \right),

2503: \nonumber\\

2504: P &=&\left(

2505: P^+,0,{\bm 0}

2506: \right).

2507: %

2508: \end{eqnarray}

2509: %

2510: Similarly to Sec.~\ref{sec:qua}, 

2511: we rewrite this as 

2512: %

2513: \begin{equation}

2514: %

2515: \label{FTmatrelU}

2516: F_T = 

2517: {\rm Re}\

2518: (2\pi)^{-3}\int\frac{dP^{\prime +}}{2P^{\prime +}}\int\! d{\bm P}'\,

2519: \langle P'|U[A] - U[0]|P\rangle .

2520: %

2521: \end{equation}

2522: %

2523: Here $U[A]$ is a function of the field operator $A$,  defined by

2524: %

2525: \begin{eqnarray}

2526: %

2527: U[{\cal A}] &=& \frac{P^+}{2\pi}

2528: \int\! d y^+ 

2529: \int\!d{\bm y}_{1}\int\!d{\bm y}_{2}

2530: \int\!dy_1^-\int\!dy_2^-\,

2531: \theta(y_2^- > y_1^-)

2532: \nonumber\\

2533: &&\times

2534: e^{-iq^-y^+} e^{-ixP^+(y_2^- - y_1^-)}

2535: \langle 0|J^j(0,y_2^-,{\bm y}_{2})

2536: J^j(y^+,y_1^-,{\bm y}_{1})|0\rangle_{\cal A} ,

2537: %

2538: \end{eqnarray}

2539: %

2540: where the matrix element here is taken 

2541: in an external potential ${\cal A}$.

2542: 

2543: 

2544: 

2545: Now using the interaction picture with 

2546: ${\cal A}$ as the perturbation we

2547: have

2548: %

2549: \begin{eqnarray}

2550: %

2551: U[{\cal A}] &=& \frac{P^+}{2\pi}

2552: \int\! d y^+ 

2553: \int\!d{\bm y}_{1}\int\!d{\bm y}_{2}

2554: \int\!dy_1^-\int\!dy_2^-\,

2555: \theta(y_2^- > y_1^-)

2556: \nonumber\\

2557: &&\times

2558: e^{-iq^-y^+} e^{-ixP^+(y_2^- - y_1^-)}\

2559: \langle 0|

2560: U(\infty,y_2^-)

2561: J^j(0,y_2^-,{\bm y}_{2})

2562: \nonumber\\

2563: &&\times

2564: U(y_2^-,y_1^-)

2565: J^j(y^+,y_1^-,{\bm y}_{1})

2566: U(y_1^-,-\infty)

2567: |0\rangle_{\cal A} .

2568: %

2569: \end{eqnarray}

2570: %

2571: In the approximation that the potential is negligible for large $|y^-|$

2572: while only large positive $y_2^-$ and large negative $y_1^-$ dominate the

2573: integrals, this is

2574: %

2575: \begin{eqnarray}

2576: %

2577: U[{\cal A}] &\approx& \frac{P^+}{2\pi}

2578: \int\! d y^+ 

2579: \int\!d{\bm y}_{1}\int\!d{\bm y}_{2}

2580: \int_{-\infty}^0\!dy_1^-\int_0^\infty \!dy_2^-\,

2581: \nonumber\\

2582: &&\times

2583: e^{-iq^-y^+} e^{-ixP^+(y_2^- - y_1^-)}

2584: \nonumber\\

2585: &&\times

2586: \langle 0|

2587: J^j(0,y_2^-,{\bm y}_{2})

2588: U(\infty,-\infty)

2589: J^j(y^+,y_1^-,{\bm y}_{1})

2590: |0\rangle_{\cal A} .

2591: %

2592: \end{eqnarray}

2593: %

2594: We understand here that we are going to use the eikonal approximation for

2595: $U$ and if we go beyond the lowest approximation there will be an

2596: effective interval $-y_0^-< y^- < y_0^-$ for $y^-$ inside the

2597: approximation.

2598: 

2599: We will evaluate this at the lowest order of perturbation theory for the

2600: quantum part of the theory. That is, all of the particles are treated as

2601: free except for the interaction with the external field in $\cal A$. To

2602: carry out this evaluation, we insert intermediate states. The intermediate

2603: states consist of a quark (momentum $k$) and an antiquark (momentum $p$).

2604: These particles carry spin and color, but we choose a notation that

2605: suppresses the spin and color indices. Thus we have

2606: %

2607: \begin{eqnarray}

2608: %

2609: U[{\cal A}] &\approx& \frac{P^+}{2\pi}

2610: \int\! d y^+ 

2611: \int\!d{\bm y}_{1}\int\!d{\bm y}_{2}

2612: \int_{-\infty}^0\!dy_1^-\int_0^\infty \!dy_2^-\,

2613: \nonumber\\

2614: &&\times

2615: e^{-iq^-y^+} e^{-ixP^+(y_2^- - y_1^-)}\ (2\pi)^{-12}

2616: \nonumber\\

2617: &&\times

2618: \int_0^\infty\!\frac{dp_2^-}{2p_2^-}\int\! d{\bm p}_2

2619: \int_0^\infty\!\frac{dk_2^-}{2k_2^-}\int\! d{\bm k}_2

2620: \int_0^\infty\!\frac{dp_1^-}{2p_1^-}\int\! d{\bm p}_1

2621: \int_0^\infty\!\frac{dk_1^-}{2k_1^-}\int\! d{\bm k}_1

2622: \nonumber\\

2623: &&\times

2624: \langle 0|

2625: J^j(0,y_2^-,{\bm y}_{2})

2626: |p_2^-,{\bm p}_2,k_2^-,{\bm k}_2\rangle

2627: \nonumber\\

2628: &&\times

2629: \langle p_2^-,{\bm p}_2,k_2^-,{\bm k}_2|

2630: U(\infty,-\infty)

2631: |p_1^-,{\bm p}_1,k_1^-,{\bm k}_1\rangle_{\cal A}

2632: \nonumber\\

2633: &&\times

2634: \langle p_1^-,{\bm p}_1,k_1^-,{\bm k}_1|

2635: J^j(y^+,y_1^-,{\bm y}_{1})

2636: |0\rangle .

2637: %

2638: \end{eqnarray}

2639: %

2640: For the matrix element of $U$ we use the (leading) eikonal approximation,

2641: %

2642: \begin{eqnarray}

2643: %

2644: \lefteqn{\langle p_2^-,{\bm p}_2,k_2^-,{\bm k}_2|

2645: U(\infty,-\infty)

2646: |p_1^-,{\bm p}_1,k_1^-,{\bm k}_1\rangle_{\cal A}}

2647: \nonumber\\

2648: \quad &=&(2\pi)^2 2p_1^- \delta(p_1^- - p_2^-)

2649: 2k_1^- \delta(k_1^- - k_2^-)\

2650: \widetilde F_{\!c}({\bm p}_1 - {\bm p}_2)

2651: \widetilde F({\bm k}_1 - {\bm k}_2).

2652: %

2653: \end{eqnarray}

2654: %

2655: Here $F$ is the eikonal factor for the quark, $F_{\!c}$ is the eikonal

2656: factor for the antiquark. In the matrix elements of the current we can use

2657: translation invariance to extract the $y$ dependence. Then

2658: %

2659: \begin{eqnarray}

2660: %

2661: U[{\cal A}] &\approx& \frac{P^+}{2\pi}

2662: \int\! d y^+ 

2663: \int\!d{\bm y}_{1}\int\!d{\bm y}_{2}

2664: \int_{-\infty}^0\!dy_1^-\int_0^\infty \!dy_2^-\,

2665: \nonumber\\

2666: &&\times

2667: e^{-iq^-y^+} e^{-ixP^+(y_2^- - y_1^-)}\, (2\pi)^{-10}

2668: \nonumber\\

2669: &&\times

2670: \int_0^\infty\!\frac{dp^-}{2p^-}

2671: \int_0^\infty\!\frac{dk^-}{2k^-}

2672: \int\! d{\bm p}_2

2673: \int\! d{\bm k}_2

2674: \int\! d{\bm p}_1

2675: \int\! d{\bm k}_1

2676: \nonumber\\

2677: &&\times

2678: \langle 0|

2679: J^j(0)

2680: |p^-,{\bm p}_2,k^-,{\bm k}_2\rangle

2681: e^{-i(p_2^+ + k_2^+)y_2^- +i({\bm p}_2 + {\bm k}_2)\cdot {\bm y}_2}

2682: \nonumber\\

2683: &&\times

2684: \widetilde F_{\!c}({\bm p}_1 - {\bm p}_2)

2685: \widetilde F({\bm k}_1 - {\bm k}_2)

2686: \nonumber\\

2687: &&\times

2688: \langle p^-,{\bm p}_1,k^-,{\bm k}_1|

2689: J^j(0)

2690: |0\rangle 

2691: e^{i(p^- + k^-)y_1^+ 

2692: +i(p_1^+ + k_1^+)y_1^-

2693: -i({\bm p}_1 + {\bm k}_1)\cdot {\bm y}_1} .

2694: %

2695: \end{eqnarray}

2696: %

2697: Here

2698: %

2699: \begin{equation}

2700: %

2701: p_1^+ =\frac{{\bm p}_1^2}{2p^-}, \; 

2702: k_1^+ =\frac{{\bm k}_1^2}{2k^-}, \; 

2703: p_2^+ =\frac{{\bm p}_2^2}{2p^-}, \; 

2704: k_2^+ =\frac{{\bm k}_2^2}{2k^-}.

2705: %

2706: \end{equation}

2707: %

2708: We can now perform all of the $y$ integrations to get

2709: %

2710: \begin{eqnarray}

2711: %

2712: U[{\cal A}] &\approx& \frac{P^+}{(2\pi)^{6}}

2713: \int_0^\infty\!\frac{dp^-}{2p^-}

2714: \int_0^\infty\!\frac{dk^-}{2k^-}

2715: \int\! d{\bm p}_2

2716: \int\! d{\bm k}_2

2717: \int\! d{\bm p}_1

2718: \int\! d{\bm k}_1

2719: \nonumber\\

2720: &&\times

2721: \langle 0|

2722: J^j(0)

2723: |p^-,{\bm p}_2,k^-,{\bm k}_2\rangle

2724: e^{-i(p_2^+ + k_2^+)y_2^- +i({\bm p}_2 + {\bm k}_2)\cdot {\bm y}_2}

2725: \nonumber\\

2726: &&\times

2727: \widetilde F_{\!c}({\bm p}_1 - {\bm p}_2)

2728: \widetilde F({\bm k}_1 - {\bm k}_2)

2729: \nonumber\\

2730: &&\times

2731: \langle p^-,{\bm p}_1,k^-,{\bm k}_1|

2732: J^j(0)

2733: |0\rangle 

2734: e^{i(p^- + k^-)y_1^+ 

2735: +i(p_1^+ + k_1^+)y_1^-

2736: -i({\bm p}_1 + {\bm k}_1)\cdot {\bm y}_1} 

2737: \nonumber\\

2738: &&\times

2739: \frac{-i}{xP^+ + p_2^+ + k_2^+}\

2740: \frac{-i}{xP^+ + p_1^+ + k_1^+}

2741: \nonumber\\

2742: &&\times

2743: \delta({\bm p}_2 + {\bm k}_2)\,

2744: \delta({\bm p}_1 + {\bm k}_1)\,

2745: \delta(q^- - p^- - k^-) . 

2746: %

2747: \end{eqnarray}

2748: %

2749: For the minus-momenta we write $p^- = \alpha q^-$ and $k^- = (1-\alpha)

2750: q^-$. With the use of the delta functions, the momenta are

2751: %

2752: \begin{eqnarray}

2753: %

2754: p_1 &=&\left(

2755: \frac{{\bm p}_1^2}{2\alpha q^-},

2756: \alpha q^-,{\bm p}_1

2757: \right),

2758: \nonumber\\

2759: k_1 &=&\left(

2760: \frac{{\bm p}_1^2}{2(1-\alpha)q^-},

2761: (1-\alpha)q^-,-{\bm p}_1

2762: \right),

2763: \nonumber\\

2764: p_2 &=&\left(

2765: \frac{{\bm p}_2^2}{2\alpha q^-},

2766: \alpha q^-,{\bm p}_2

2767: \right) , 

2768: \nonumber\\

2769: k_2 &=&\left(

2770: \frac{{\bm p}_2^2}{2(1-\alpha)q^-},

2771: (1-\alpha)q^-,-{\bm p}_2

2772: \right).

2773: %

2774: \end{eqnarray}

2775: %

2776: This gives

2777: %

2778: \begin{eqnarray}

2779: %

2780: U[{\cal A}] &\approx& \frac{P^+}{4q^-(2\pi)^{6}}

2781: \int_0^1\!\frac{d\alpha}{\alpha(1-\alpha)}

2782: \int\! d{\bm p}_2

2783: \int\! d{\bm p}_1

2784: \nonumber\\

2785: &&\times

2786: \frac{-i}{xP^+ + p_2^+ + k_2^+}\

2787: \frac{-i}{xP^+ + p_1^+ + k_1^+}\,

2788: {\rm Tr}\{

2789: \widetilde F_{\!c}({\bm p}_1 - {\bm p}_2)

2790: \widetilde F({\bm p}_2 - {\bm p}_1)

2791: \}

2792: \nonumber\\

2793: &&\times

2794: \langle 0|

2795: J^j(0)

2796: |p_2,k_2\rangle

2797: \langle p_1,k_1|

2798: J^j(0)

2799: |0\rangle .

2800: %

2801: \end{eqnarray}

2802: %

2803: 

2804: For the matrix elements of $J^j$, we can write

2805: %

2806: \begin{eqnarray}

2807: %

2808: \lefteqn{\langle 0|

2809: J^j(0)

2810: |p_2,k_2\rangle

2811: \langle p_1,k_1|

2812: J^j(0)

2813: |0\rangle

2814: }

2815: \nonumber\\

2816: &=&

2817: \sum_a e_a^2\!\!\sum_{s_1,s_1',s_2,s_2'}

2818: \delta_{s_1s_2}\delta_{s_1's_2'}

2819: \bar u(k_2,s_2)\gamma^j v(p_2,s_2')\

2820: \bar v(p_1,s_1')\gamma^j u(k_1,s_1).\quad\quad

2821: %

2822: \end{eqnarray}

2823: %

2824: Now we can insert

2825: %

2826: \begin{eqnarray}

2827: %

2828: \delta_{s_1s_2} &=&

2829: \bar u(k_2,s_2)

2830: \gamma^-

2831: u(k_1,s_1)/(2k^-),

2832: \nonumber\\

2833: \delta_{s_1's_2'} &=&

2834: \bar v(p_2,s_2')

2835: \gamma^-

2836: v(p_1,s_1')/(2p^-).

2837: %

2838: \end{eqnarray}

2839: %

2840: This leads to

2841: %

2842: \begin{eqnarray}

2843: %

2844: \lefteqn{\langle 0|

2845: J^j(0)

2846: |p_2,k_2\rangle

2847: \langle p_1,k_1|

2848: J^j(0)

2849: |0\rangle

2850: }

2851: \nonumber\\

2852: &=&

2853: \frac{1}{4\alpha(1-\alpha)(q^-)^2}

2854: \sum_a e_a^2\,

2855: {\rm Tr}\{

2856: \gamma^j \rlap{/}p_2\,\gamma^-\rlap{/}p_1\,

2857: \gamma^j\rlap{/}k_1\,\gamma^-\rlap{/}k_2

2858: \}

2859: \nonumber\\

2860: &=&

2861: 4 \sum_a e_a^2\

2862: \frac{1-2\alpha(1-\alpha)}

2863: {\alpha(1-\alpha)}

2864: \,{\bm p}_1\cdot {\bm p}_2 .

2865: %

2866: \end{eqnarray}

2867: %

2868: Thus

2869: %

2870: \begin{eqnarray}

2871: %

2872: U[{\cal A}] &\approx& 

2873: \frac{1}{4 \pi} \sum_a e_a^2\

2874: \frac{2P^+}{q^-(2\pi)^{5}}

2875: \int_0^1\!d\alpha

2876: \int\! d{\bm p}_2

2877: \int\! d{\bm p}_1\

2878: \frac{1-2\alpha(1-\alpha)}

2879: {\alpha^2(1-\alpha)^2}

2880: \,{\bm p}_1\cdot {\bm p}_2

2881: \nonumber\\

2882: &&\times

2883: \frac{-i}{xP^+ + p_2^+ + k_2^+}\

2884: \frac{-i}{xP^+ + p_1^+ + k_1^+}

2885: \nonumber\\

2886: &&\times

2887: {\rm Tr}\{

2888: \widetilde F_{\!c}({\bm p}_1 - {\bm p}_2)

2889: \widetilde F({\bm p}_2 - {\bm p}_1)

2890: \} .

2891: %

2892: \end{eqnarray}

2893: %

2894: 

2895: We can rewrite the energy denominators to obtain

2896: %

2897: \begin{eqnarray}

2898: %

2899: U[{\cal A}] &\approx& 

2900: - \frac{1}{4 \pi} \sum_a e_a^2\

2901: \frac{4Q^2}{x(2\pi)^{5}}

2902: \int_0^1\!d\alpha

2903: \int\! d{\bm p}_2

2904: \int\! d{\bm p}_1\

2905: [1-2\alpha(1-\alpha)]

2906: \,{\bm p}_1\cdot {\bm p}_2

2907: \nonumber\\

2908: &&\times

2909: \frac{1}{\alpha(1-\alpha)Q^2 + {\bm p}_2^2}\

2910: \frac{1}{\alpha(1-\alpha)Q^2 + {\bm p}_1^2}\

2911: \nonumber\\

2912: &&\times

2913: {\rm Tr}\{

2914: \widetilde F_{\!c}({\bm p}_1 - {\bm p}_2)

2915: \widetilde F({\bm p}_2 - {\bm p}_1)

2916: \} .

2917: %

2918: \end{eqnarray}

2919: %

2920: 

2921: With 

2922: %

2923: \begin{eqnarray}

2924: %

2925: \widetilde F_{\!c}({\bm p}_1 - {\bm p}_2)

2926: \widetilde F({\bm p}_2 - {\bm p}_1) &=&

2927: \int d{\bm b}\,d{\bm \Delta}\

2928: e^{i({\bm p}_1 - {\bm p}_2)\cdot({\bm b} + {\bm \Delta}/2)}

2929: e^{i({\bm p}_2 - {\bm p}_1)\cdot({\bm b}- {\bm \Delta}/2) }

2930: \nonumber\\

2931: && \times

2932: F_{\!c}({\bm b} + {\bm \Delta}/2)\,

2933: F({\bm b} - {\bm \Delta}/2) , 

2934: %

2935: \end{eqnarray}

2936: %

2937: we get 

2938: %

2939: \begin{eqnarray}

2940: %

2941: \label{finalU}

2942: U[{\cal A}] &\approx& 

2943: - \frac{1}{4 \pi} \sum_a e_a^2\

2944: \frac{4Q^2}{x(2\pi)^{5}}

2945: \int_0^1\!d\alpha\

2946: [1-2\alpha(1-\alpha)]

2947: \int\! d{\bm b} \int\! d{\bm \Delta}\ 

2948: \nonumber\\

2949: &&\times

2950: {\rm Tr}\{

2951: F_{\!c}({\bm b} + {\bm \Delta}/2)\,

2952: F({\bm b} - {\bm \Delta}/2 )

2953: \} 

2954: \nonumber\\

2955: &&\times

2956: \int\! d{\bm p}_2\

2957: e^{-i {\bm p}_2\cdot {\bm \Delta}}

2958: \frac{{p}_2^j}{\alpha(1-\alpha)Q^2 + {\bm p}_2^2}\

2959: \nonumber\\

2960: &&\times

2961: \int\! d{\bm p}_1\

2962: e^{i {\bm p}_1\cdot {\bm \Delta}}

2963: \frac{{p}_1^j}{\alpha(1-\alpha)Q^2 + {\bm p}_1^2}\

2964: .

2965: %

2966: \end{eqnarray}

2967: %

2968: We now take the hadron matrix element (\ref{FTmatrelU}), and use  

2969: the definition (\ref{eq:XibDeltadef}). Then   

2970: performing the integrations over ${\bm p}_1$ and ${\bm p}_2$  gives  

2971: Eq.~(\ref{FTresult}). 

2972: 

2973: 

2974: %--------------------------------------------------------------------------

2975: \begin{references}

2976: 

2977: 

2978: \bibitem{jjj}

2979: J.M.~Campbell, J.W.~Huston  and  W.J.~Stirling, 

2980: Rept.\ Prog.\ Phys.\ {\bf 70} (2007) 89. 

2981: 

2982: \bibitem{ericemue}

2983:     A.H.~Mueller, hep-ph/0501012, in Proc.

2984:     ``{\em QCD at cosmic energies}" (Erice 2004); 

2985:    E.~Iancu,  A.H.~Mueller and S.~Munier, 

2986:    Phys.\ Lett.\ {\bf B}606  (2005) 342;  

2987:    A.H.~Mueller, A.I.~Shoshi and S.M.H.~Wong, 

2988:    Nucl.\ Phys.\ {\bf B715} (2005) 440; 

2989:    Y.~Hatta, E.~Iancu, L.~McLerran, A.~Stasto and 

2990:    D.N.~Triantafyllopoulos, Nucl.\ Phys.\ {\bf A764} 

2991:    (2006) 423.   

2992: 

2993: \bibitem{golecrev} 

2994:     K.~Golec-Biernat,     

2995:     Acta Phys.\ Polon.\  B{\bf 35}  (2004) 3103; 

2996:     hep-ph/0507251, in Proc. ``{\em Baryons 2004}",  

2997:     Nucl.\ Phys.\ {\bf A755}  (2005) 133; 

2998:     K.~Golec-Biernat and  M.~W{\" u}sthoff,

2999:     Phys.\ Rev.\ D {\bf 60}  (1999) 114023. 

3000: 

3001: \bibitem{mue99}

3002:     A.H.~Mueller,    hep-ph/0111244, lectures at  Cargese

3003:     Summer School;   Nucl.\  Phys.\ {\bf B558} (1999) 285.  

3004:     

3005: 

3006: \bibitem{cs82}

3007: J.C.~Collins and D.E.~Soper, Nucl.\  Phys.\ {\bf B194} (1982)  445. 

3008: 

3009: \bibitem{plb06}

3010: F.~Hautmann,   Phys.\ Lett.\ {\bf B}643  (2006) 171.

3011: 

3012: 

3013: \bibitem{hks} 

3014: F.~Hautmann, Z.~Kunszt and D.E.~Soper, 

3015: Nucl.\  Phys.\ {\bf B563} (1999) 153;   

3016:     Phys.\ Rev.\ Lett.\ {\bf 81} (1998) 3333; see also 

3017: J.D.~Bjorken, J.~Kogut and D.E.~Soper, 

3018:     Phys.\ Rev.\  D {\bf 3} (1971) 1382. 

3019: 

3020: 

3021: 

3022: \bibitem{hs00} 

3023: F.~Hautmann and D.E.~Soper, Phys.\ Rev.\  D {\bf 63} (2000) 011501.  

3024: 

3025:   

3026: \bibitem{golec}

3027:     J.~Bartels, K.~Golec-Biernat and H.~Kowalski,

3028:     Phys.\ Rev.\ D {\bf 66} (2002) 014001.

3029: 

3030: \bibitem{diffjet}

3031:     F.~Hautmann, JHEP {\bf 0210} (2002) 025, 

3032:     JHEP {\bf 0204} (2002) 036.  

3033: 

3034: \bibitem{kopel06}

3035:     B.Z.~Kopeliovich, B.~Povh and I.~Schmidt, hep-ph/0607337. 

3036: 

3037: \end{references}

3038: 

3039: 

3040: 

3041: \end{document}

3042: 

3043: 

3044: