1:
2: \chapter{Operator Product Expansion Approach to DIS}
3:
4: The standard approach to DIS structure functions is based on Wilson's
5: Operator Product Expansion (OPE). In this chapter, we introduce the idea of
6: OPE and also the definition of twist of an operator. Then we describe
7: briefly the OPE method of analyzing DIS.
8: \vskip .2in
9: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
10: \section{`Twist' of an Operator}\label{c2twist}
11: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
12: Products of fields at the same space-time point are called
13: composite operators. The composite operator is not well-defined. The
14: easiest way to see this is to calculate the vacuum expectation value of the
15: propagator of free scalar field, $\Delta(x-y)$. In coordinate space, one
16: clearly sees that $\Delta(x-y)$ diverges as $x \rightarrow y$. For free
17: field theory, one then subtracts out the singularity by taking the normal
18: ordered product. However, for interacting fields, this cannot be generalized
19: in a straightforward manner. Wilson introduced the idea of operator product
20: expansion (OPE) in which the singularities of operator products are
21: expressed as a sum of non-singular operators with singular c-number
22: coefficients. There are two types of OPE \cite{c2cheng}:
23:
24:
25: \subsection{Short Distance Expansion}
26:
27:
28: The product of two operators at short distance $(x-y)^\mu \rightarrow 0$ is
29: given by,
30: \be
31: A(x)B(y) \approx \sum_i C_i(x-y) O_i( {1\over 2}(x+y));~~~~~~(x-y)^\mu
32: \rightarrow 0
33: \e
34: where $A, B$ and $O_i$ are local operators. $C_i$ are singular c number
35: functions which are called Wilson coefficients.
36: The short distance behavior of the Wilson coefficients is expected to be
37: given by naive dimensional counting. The most dominant term in the expansion
38: at $x\rightarrow 0$ will be the term for which ${x}^{d_i - d_A-d_B}$ is
39: most singular, where
40: $d_i, d_A$ and $d_B$ are the mass dimensions of the operators. Higher is the
41: dimension of the operator $O_i$, less singular is the Wilson coefficient.
42:
43: \subsection{Light Cone Expansion}
44:
45: The product of two operators at short light cone distance $x^2 \rightarrow
46: 0$ is given by,
47: \be
48: A({x\over 2})B(-{x\over 2}) \approx \sum_i C_i(x) O_i ({x\over 2}, -{x\over
49: 2}),~~~~~~~~~~~x^2 \approx 0.
50: \e
51: $O_i(x, y) $ are regular bilocal operators which can be expanded in a Taylor
52: series,
53: \be
54: O_i( {x\over 2}, -{x\over 2}) = \sum_j x^{\mu_1} x^{\mu_2}....x^{\mu_j}
55: O^{j,i}_{\mu_1 ... \mu_j}(0).
56: \e
57: So the OPE on the light cone becomes, in terms of local operators,
58: \be
59: A({x\over 2}) B(-{x\over 2}) \approx \sum_{j,i} C_i^{(j)}(x^2) x^{\mu_1} x^{\mu_2}....x^{\mu_j}
60: O^{j,i}_{\mu_1 ... \mu_j}(0)
61: \e
62: where $j$ is the maximum spin of the operators $O^{j,i}_{\mu_1 ...
63: \mu_j}(0)$. The light cone behavior of the Wilson coefficients is given by
64: naive dimensional counting, and the most dominant singularity is for the
65: term which has the lowest value of $(d_{j,i} - j)$, i.e. the dimension of $O^{j,i}_{\mu_1 ...
66: \mu_j}(0)$ minus the spin of $O^{j,i}_{\mu_1 ...\mu_j}(0)$. The {\it twist}
67: of an operator is defined as
68: \be
69: \tau = dimension - spin.
70: \e
71:
72: \subsection{Spin of an Operator}
73:
74: The representations of the homogeneous Lorentz group are labeled by the
75: values of two positive integers and/or half integers, $A$, $B$.
76: An operator that transforms like the $(A, B)$ representation has components
77: that rotate like objects of spin $j$, with
78: \be
79: j=A+B, A+B-1, ....\mid A-B\mid.
80: \e
81: A traceless symmetric tensor of rank $2A$ transforms like the $(A, A)$
82: representation and has components of spin $2A, 2A-1, ...0$ \cite{c2wein}.
83: In the definition of twist, one takes into account the maximum spin.
84:
85:
86:
87: Deep inelastic scattering is a light cone dominated process, which means
88: that it gets major contributions near the light cone and the light cone
89: expansion is applied here.
90:
91: In the next section, we shall describe briefly the conventional approach
92: based on OPE to deep inelastic scattering.
93:
94: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
95: \section{A Brief Overview of Deep Inelastic Scattering in the Conventional
96: Approach}\label{c2over}
97: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
98:
99: In this section, we describe the approach based on OPE to polarized and
100: unpolarized deep inelastic scattering. Because of the complexities of the expressions, we
101: shall avoid the explicit details but only outline the procedure.
102:
103: We begin with a brief review of the basic ingredients of
104: lepton-nucleon deep inelastic scattering (DIS):
105: \begin{equation}
106: e(k) + h(P) \longrightarrow e(k^\prime) + X(P+q) \, ,
107: \end{equation}
108: where we have specified the four momenta of the particles explicitly
109: and $q=k-k^\prime$
110: is the momentum transfer in the process through the virtual photon.
111: The inclusive cross section for the above scattering process is given by
112: \begin{equation}
113: {d \sigma \over d\Omega dE'} = {1\over 2M}{\alpha^2 \over q^4}
114: {E'\over E} L_{\mu \nu} W^{\mu \nu}.
115: \end{equation}
116: Here $E$ ($E'$) is the energy of the incoming (outgoing) lepton,
117: $L_{\mu \nu}$ is the leptonic tensor,
118: \begin{eqnarray}
119: L_{\mu \nu} &=& {1\over 2}\sum_{s'}[\overline{u}(k,s)\gamma_\mu
120: u(k',s') \overline{u}(k',s')\gamma_\nu u(k,s)] \nonumber \\
121: &=& 2(k'_\mu k_\nu + k'_\nu k_\mu) - 2 g_{\mu \nu} k \cdot k'
122: - 2i \epsilon_{\mu \nu \rho \sigma} q^\rho s^\sigma .
123: \end{eqnarray}
124: $W^{\mu \nu}$ is the hadronic tensor which contains all the hadronic
125: dynamics involved in DIS process,
126: \begin{equation}
127: W^{\mu \nu} = {1\over 4\pi} \int d^4 \xi~ e^{iq \cdot \xi}
128: \langle PS |[J^\mu(\xi), J^\nu(0)]|PS \rangle \, ,
129: \label{c2wmunu}
130: \end{equation}
131: where $P$ and $S$ are the target four-momentum and polarization
132: vector respectively ($P^2=M^2, S^2=-M^2, S\cdot P=0$), $q$ is
133: the virtual-photon four momentum, and $J^\mu(x)=\sum_\alpha
134: e_\alpha \overline{\psi}_\alpha(x) \gamma^\mu \psi_\alpha(x)$ the
135: electromagnetic current with quark field $\psi_\alpha (x)$ carrying
136: the flavor index $\alpha$ and the charge $e_\alpha$.
137:
138: The above hadronic tensor can be decomposed into independent
139: Lorentz invariant scalar functions:
140: \begin{eqnarray}
141: W^{\mu \nu} &=&\Big(-g^{\mu \nu} + {q^\mu q^\nu
142: \over q^2} \Big) W_1(x,Q^2) + \Big(P^\mu - {\nu
143: \over q^2} q^\mu\Big)\Big(P^\nu -{\nu \over q^2}
144: q^\nu\Big)W_2(x,Q^2) \nonumber \\
145: & & - i \epsilon^{\mu \nu \lambda \sigma}q_\lambda \Big[
146: S_\sigma W_3(x,Q^2)+ P_\sigma S\cdot q W_4(x,Q^2)
147: \Big] \nonumber \\
148: &=& \Big( g^{\mu \nu} - {q^\mu q^\nu \over q^2} \Big)\Big({1\over 2}
149: F_L (x,Q^2) -{M^2\over \nu}F_2(x,Q^2)\Big)\,
150: + \Big [P^\mu P^\nu - {\nu \over q^2} \Big(
151: P^\mu q^\nu + P^\nu q^\mu \Big) \nonumber \\
152: & & \quad\quad\quad\quad + g^{\mu \nu} {\nu^2
153: \over q^2} \Big] {F_2(x,Q^2) \over \nu}
154: - i \epsilon^{\mu \nu \lambda \sigma}{q_\lambda \over \nu}
155: \Big[ S_{\sigma L} g_1(x,Q^2) + S_{\sigma T} g_T
156: (x,Q^2) \Big] \, . \label{c2wfun}
157: \end{eqnarray}
158: The dimensionless functions
159: \begin{eqnarray}
160: F_L(x,Q^2)&=& 2 \Big [-W_1 + \big [ M^2 -{(P.q)^2 \over q^2}\big ] W_2
161: \Big ]\\
162: F_2(x,Q^2) &=& \nu W_2(x,Q^2)
163: \e
164: are the unpolarized structure functions measured from the unpolarized target
165: and
166: \be
167: g_1(x,Q^2) &=&\nu \Big[ W_3(x,Q^2) + \nu W_4 (x,Q^2) \Big]~~~\\
168: g_T(x,Q^2) &=& g_1(x,Q^2) + g_2(x,Q^2) = \nu W_3(x,Q^2)~~,
169: \end{eqnarray}
170: where $g_1(x,Q^2)$ and $g_T(x,Q^2)$ are
171: known as the longitudinal
172: and transverse polarized structure functions respectively. Here $x = { Q^2
173: \over {2 \nu}}$ is the Bjorken variable, $\nu = P \cdot q$ is the energy
174: transfer and $Q^2 = -q^2$.
175: The longitudinal and transverse polarization vector
176: components are given by
177: \begin{equation}
178: S_{\mu L} = S_\mu - S_{\mu T}~~, ~~~~~
179: S_{\mu T} = S_\mu - P_\mu {S \cdot q \over \nu} \, .
180: \end{equation}
181:
182: The hadronic tensor is related to the forward
183: virtual-photon hadron Compton scattering amplitude as
184: \begin{equation}
185: W^{\mu \nu} = {1\over 2\pi}{\rm Im} T^{\mu \nu} ,\label{c2comp}
186: \end{equation}
187: where $T^{\mu \nu} $ is given by
188: \be
189: T^{\mu \nu} = &&i \int d^4 \xi~ e^{iq \cdot \xi}
190: \langle PS |T(J^\mu(\xi), J^\nu(0))|PS \rangle \nonumber\\
191: =&&\Big(-g^{\mu \nu} + {q^\mu q^\nu
192: \over q^2} \Big) T_1(x,Q^2) + \Big(p^\mu - {\nu
193: \over q^2} q^\mu\Big)\Big(p^\nu -{\nu \over q^2}
194: q^\nu\Big)T_2(x,Q^2) \nonumber \\
195: & & ~~~~~~~~~~~~~ - i \epsilon^{\mu \nu \lambda \sigma}q_\lambda
196: \Big[ S_\sigma T_3(x,Q^2)+ P_\sigma S\cdot q T_4(x,Q^2)
197: \Big ] \, .
198: \end{eqnarray}
199: It can be shown that the most dominant contribution to $W^{\mu \nu}$ comes
200: from the region near the light cone, $\xi^2 \approx 0$, at high value of
201: $Q^2$. So one can expand the products of currents near the light cone. For
202: the sake of clarity and simplicity we suppress the Lorentz indices and write
203: \be
204: {T(\nu,Q^2)}_{\xi^2 \rightarrow 0}&&= \sum_{i,n} \int d^4 \xi
205: e^{iq\xi}C_1^n(\xi^2) \xi_{\mu_1}...\xi_{\mu_n}\langle P \mid O_i^{\mu_1
206: ...\mu_n} \mid P \rangle \nonumber\\&&
207: =\sum_{i,n} 2q_{\mu_1}...2q_{\mu_n}{\pp^n\over {\pp(iq^2)^n}}
208: \int d^4 \xi
209: e^{iq\xi}C_1^n(\xi^2) \langle P \mid O_i^{\mu_1
210: ...\mu_n} \mid P \rangle.
211: \e
212: Here, in the last step we have replaced $\xi^\mu$s by ${\pp\over \pp
213: q_\mu}$s and used the relation
214: \be
215: {\pp\over \pp q_{\mu_1}}...{\pp\over \pp q_{\mu_n}}=
216: 2q_{\mu_1}...2q_{\mu_n}{\pp^n\over {\pp(iq^2)^n}}+{\rm trace~ terms}.
217: \e
218: The trace terms are neglected since they are suppressed.
219: So we get
220: \be
221: T(\nu,Q^2)=\sum_{i,n} ({Q^2\over 2})^{-n}q_{\mu_1}...q_{\mu_n} C^n_i(Q^2)
222: \langle P \mid O_i^{\mu_1...\mu_n}(0) \mid P \rangle.
223: \e
224: Here $C_i^n(Q^2)$ are (Fourier transform of) the Wilson coefficients and
225: $O_i^{\mu_1...\mu_n}(0)$ are local operators. According to their most
226: general Lorentz structure, the spin averaged matrix elements of the
227: operators $O_i$ can be written as \cite{c2reya}
228: \be
229: \langle P \mid O_i^{\mu_1...\mu_n}(0) \mid P
230: \rangle=A^n_i(p^{\mu_1}...p^{\mu_n}-m^2 g^{\mu_1 \mu_2}p^{\mu_3}...).
231: \e
232: The terms proportional to $g^{\mu_1 \mu_2}$ are trace terms which are
233: subtracted to project out operators of definite spin. We then get
234: \be
235: T(\nu, Q^2)=\sum_{i,n}C_i^n(Q^2)x^{-n}A_i^n+O[x^{-n+2}{m^2\over Q^2}].
236: \label{c2tmn}
237: \e
238: The neglected terms are either contributions from the trace terms (which are
239: called target mass effects) or they arise from higher twist operators (in
240: this case, the mass scale $m^2$ is not necessarily the target mass).
241:
242: The Wilson coefficients $C_i^n(Q^2)$ depend on the renormalization scale
243: $\mu$ and the coupling $g(\mu)$. They obey the renormalization group
244: equation
245: \be
246: (\mu {\pp\over \pp \mu}+\beta{\pp\over \pp g}-\gamma_{O_i^n})C_i^n({Q^2\over
247: \mu^2},g(\mu))=0
248: \e
249: where $\beta$ is the QCD beta function and $\gamma_{O_i^n}$ is the first
250: non-trivial (one loop) order anomalous
251: dimension of the operator $O_i^{\mu_1...\mu_n}$ \cite{c2cheng}. The leading $Q^2$
252: dependence to all orders in $\alpha_s$ can be obtained from the solution of
253: the RG equation.
254: One then uses optical theorem to connect $T^{\mu \nu}$ to $W^{\mu \nu}$.
255: This is not straightforward, since the physical region for DIS is $0 \le x
256: \le 1$. But from Eq. (\ref{c2tmn}) one can see that $T^{\mu \nu}$ diverges in
257: the physical region. This difficulty is overcome by analytically continuing
258: $T^{\mu \nu}$ to complex $x$ and get the result corresponding to the
259: physical region as a limit of the analytic function in the unphysical
260: region. In this way one automatically gets the $x$ moments of the structure
261: functions. We define $T(x, Q^2)$ as a function of complex $x$ which is
262: analytic as $\mid x \mid \rightarrow \infty$ and has a cut from $-1$ to
263: $+1$. The coefficient of $x^{-n}$ in Eq. (\ref{c2tmn}) is isolated by taking
264: the $x^{n-1}$ moment and integrating along a closed contour in the complex $x$
265: plane such that the cut lies inside the contour. We then get
266: \be
267: {1\over {2\pi i}}\int_C dx x^{n-1} T(x, Q^2)=\sum_i C_i^n(Q^2)A_i^n.
268: \e
269: This is called Mellin transform. Shrinking the contour to the physical cut,
270: and also using optical theorem, we get
271: \be
272: 4\int_0^1 dx x^{n-1} W(x,Q^2) =\sum_i C_i^n(Q^2)A_i^n.
273: \e
274: This equation uniquely predicts the $Q^2$ evolution of the DIS structure
275: functions $W(x, Q^2)$ provided we know the non-perturbative part, $A_i^n$.
276: These depend on the target hadron state and are related to the
277: experimentally measured parton distribution functions. One takes the ratio
278: of moments at different $Q^2$ to get rid of the $A^n_i$'s and compare
279: moments at various scales of $Q^2$.
280: The moments can be inverted by what is called an inverse Mellin
281: transformation to get the structure functions.
282:
283: So far, we considered only lowest twist contributions.
284: Higher twist effects are suppressed by powers of
285: ${1\over Q^2}$ compared to the lowest twist effects in DIS. They may become
286: important at lower value of $Q^2$ where perturbative QCD is no longer
287: applicable since the coupling constant becomes large. In this kinematical
288: region, the effect of target mass also becomes important. Correction terms
289: that appear when the target mass effects are included involve powers of
290: ${1\over Q^2}$ and are often referred to as kinematical higher twist
291: effects, whereas terms coming from higher twist operators are called
292: dynamical higher twist effects.
293:
294: Operators of higher dimensions
295: contribute at higher twist.
296: The detailed analysis of DIS using OPE keeping only the twist two
297: contributions can be found in textbooks \cite{c2cheng,c2wil}. The analysis
298: involving the higher twist operators is very complicated because there are a
299: large number of operators.
300:
301: The target mass enters in the structure functions in the OPE method through
302: the subtraction of the trace terms. The
303: operators in OPE are made traceless to project out operators of definite
304: spin. The trace terms are proportional to ${M^2\over
305: Q^2}$ which are subtracted. These are higher twist effects and in the leading
306: twist analysis they are neglected. Target mass effects have been analyzed by
307: Natchman by introducing a variable $\xi$ defined as,
308: \be
309: \xi={2x\over {1+(1+{4M^2x^2\over Q^2})}^{1\over 2}}.
310: \label{c2xi}
311: \e
312: The basic assumption in this case is that the effective coupling constant is
313: small such that free field OPE is a good approximation. Instead of scaling
314: in terms of the Bjorken variable $x$, the structure functions scale in terms
315: of the variable $\xi$. In other words, if the structure functions $F(x,
316: Q^2)$ are expressed in terms of the variables $\xi$, such that,
317: \be
318: {\tilde F}=({\pp \xi\over \pp x})^{-1} F,
319: \e
320: the ${\tilde F}(\xi, Q^2)$ is independent of the scale $Q^2$ in free theory. $\xi$ scaling
321: was derived by Natchman \cite{c2natch} by expanding the products of currents in terms of
322: operators of definite spin. He showed that, the light cone expansion of the
323: product of currents in Mincowski space corresponds to the expansion
324: in terms of $O_4$ spherical harmonics. These are orthogonal Gegenbauer
325: polynomials on the interval $-iQ \le \nu \le iQ$. The orthogonality relations among the
326: spherical harmonics project out operators of definite spin $n$.
327: An alternative way of deriving $\xi$ scaling is given in \cite{c2gorgi}.
328: Violations of $\xi$ scaling occurs due to interactions.
329:
330: $\xi$ scaling can be interpreted in the language of the parton model in the
331: following way. We take the initial proton four-momentum as
332: $(p^0,0,0,p^3)$ and the virtual photon four-momentum as $(q^0,0,0,q^3)$.
333: Then taking both the initial and the final state of the struck quark to be
334: on the mass shell, it
335: can be shown that the expression for $\xi$ given by Eq. (\ref{c2xi}) can be written as
336: \be
337: \xi={p_I^0+p_I^3\over {p^0+p^3}}
338: \e
339: where $p_I$ is the initial momentum of the struck quark and we have assumed
340: that $p_T^2=0$, where $p_T$ is the part of $p_I$ transverse to $p$ and $q$.
341:
342: As we mentioned before, higher twist contributions to DIS also come from the
343: higher twist operators. These dynamical higher twist effects involve
344: nontrivial quark-gluon interaction. There are two approaches to analyze the higher twist
345: contributions:
346:
347: (1) OPE is used to relate the $O({1\over Q^2})$ corrections to the target
348: matrix elements of certain classes of twist four local operators
349: \cite{c2soldate}.
350:
351: (2) The other method is a graphical method to express $O({1\over Q^2})$
352: corrections in terms of certain quark-gluon-target forward scattering
353: amplitudes \cite{c2EFP}.
354:
355: Both of these methods are very complicated. The starting point
356: is the assumption that the structure function can be factorized into two
357: parts: the coefficient functions $C_i$ which describes the short distance
358: part of the interaction and can be calculated in perturbation theory, and
359: the parton correlation functions $f_i$ which contain non-perturbative
360: information about the distribution of partons inside the struck hadron.
361:
362: OPE deals with the moments of the structure functions. In the QCD improved
363: parton model analysis one gets the parton correlation functions as the
364: Fourier transform of the matrix elements of light-front bilocal currents.
365: One cannot explore these
366: expressions further because of the non-trivial hadronic matrix elements.
367: Here
368: one has to parametrize the nonperturbative information and it is only the
369: $Q^2$ evolution which is calculated perturbatively.
370: We have followed a recently developed alternative approach based on
371: light-front Hamiltonian technique.
372: It addresses the structure functions directly instead of its moments, using
373: the Bjorken-Johnson-Low (high energy) expansion of the Compton scattering
374: amplitude. More important is the point that our approach gives a complete
375: description of the structure functions because it has the potential of
376: incorporating the non-perturbative contents of the structure functions.
377: It is possible to investigate the structure functions for a bound state
378: target by solving the light-front QCD bound state equation. At present,
379: active research is going on for solving light-front QCD bound state equation
380: using a technique called similarity renormalization (see chapter 3 for
381: references). Another advantage of our method is that the target and quark
382: mass effects are automatically included and one does not have to introduce
383: them by hand. The intrinsic picture of parton model is there but the partons
384: are massive, non-collinear and interacting.
385:
386:
387: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
388: \begin{thebibliography}{99}
389:
390: \bibitem{c2cheng} {\it Gauge Theory of Elementary Particle Physics}, T. P.
391: Cheng and L.F. Li, Oxford University Press, New York, 1996.
392:
393: \bibitem{c2wein} S. Weinberg, {\it The Quantum Theory of Fields}, Vol. I,
394: Cambridge University Press, 1998.
395:
396: \bibitem{c2reya} E. Reya, Phys. Rep. {\bf 69}, 196 (1981).
397:
398: \bibitem{c2wil} See for example, T. Muta, {\it Foundations of Quantum
399: Chromodynamics} (World Scientific, Singapore, 1987).
400:
401:
402: \bibitem{c2natch} O. Nachtmann, Nucl. Phys. {\bf B63}, 237 (1973).
403:
404:
405: \bibitem{c2gorgi} H. Georgi and H. D. Politzer, Phys. Rev. {\bf D14}, 1829
406: (1976).
407:
408: \bibitem{c2soldate} R. L. Jaffe and M. Soldate, Phys. Rev. {\bf D26}, 49
409: (1982).
410:
411: \bibitem{c2EFP} R. K. Ellis, W. Furmanski and R. Petronzio, Nucl. Phys. {\bf
412: B212}, 29 (1983).
413:
414:
415: \bibitem{c2shur} E. V. Shuryak and A. L. Vainshtein, Nucl. Phys. {\bf B199},
416: 951 (1982); {\bf B201}, 141 (1982).
417:
418: \bibitem{c2pol} H. D. Politzer, Nucl. Phys. {\bf B172}, 349 (1980).
419:
420: \end{thebibliography}
421:
422:
423: