1: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2: % ktf_prd.tex k_T factorization
3: % revised Oct. 18
4: % replace to hep-ph and submit to PRD
5: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
6: %\documentstyle[aps,prd,preprint]{revtex}
7: \documentstyle[aps,prd]{revtex}
8: \begin{document}
9: \hfill{hep-ph/0210173}\par
10: \hfill{OCHA-PP-193}\par
11: \vskip 0.5cm
12: \centerline{\large\bf $k_T$ factorization of exclusive processes}
13: \vskip 0.3cm
14: \centerline{Makiko Nagashima$^1$ and Hsiang-nan Li$^2$}
15: \vskip 0.3cm
16: \centerline{$^1$Department of Physics, Ochanomizu University,}\par
17: \centerline{Bunkyo-ku, Tokyo 112-8610, Japan}
18: \vskip 0.3cm
19: \centerline{$^2$Institute of Physics, Academia Sinica,
20: Taipei, Taiwan 115, Republic of China}
21: \vskip 0.3cm
22: \centerline{$^2$Department of Physics, National Cheng-Kung University,}\par
23: \centerline{Tainan, Taiwan 701, Republic of China}
24: \vskip 1.0cm
25: \centerline{\bf abstract}
26: \vskip 0.3cm
27:
28: We prove $k_T$ factorization theorem in perturbative QCD (PQCD) for
29: exclusive processes by considering $\pi\gamma^*\to \gamma(\pi)$ and
30: $B\to\gamma(\pi) l\bar\nu$. The relevant form factors are expressed as the
31: convolution of hard amplitudes with two-parton meson wave functions in the
32: impact parameter $b$ space, $b$ being conjugate to the parton transverse
33: momenta $k_T$. The point is that on-shell valence partons carry
34: longitudinal momenta initially, and acquire $k_T$ through collinear gluon
35: exchanges. The $b$-dependent two-parton wave functions with an
36: appropriate path for the Wilson links are gauge-invariant. The hard
37: amplitudes, defined as the difference between the parton-level diagrams
38: of on-shell external particles and their collinear approximation, are
39: also gauge-invariant. We compare the predictions for two-body
40: nonleptonic $B$ meson decays derived from $k_T$ factorization (the
41: PQCD approach) and from collinear factorization (the QCD factorization
42: approach).
43:
44: %%%%%%%%%%%%%%%%%%%%%%%%
45: \section{introduction}
46: %%%%%%%%%%%%%%%%%%%%%%%%
47: Both collinear and $k_T$ factorizations are the fundamental tools of
48: perturbative QCD (PQCD), where $k_T$ denotes parton transverse momenta.
49: For inclusive processes, consider deeply inelastic scattering
50: (DIS) of a hadron, carrying a momentum $p$, by a virtual photon, carrying
51: a momentum $q$. Collinear factorization \cite{Ste} and $k_T$ factorization
52: \cite{CCH,CE,LRS} apply, when DIS is measured at a large and small Bjorken
53: variable $x_B\equiv -q^2/(2p\cdot q)$, respectively. The cross section is
54: written as the convolution of a hard subprocess with a hadron distribution
55: function in a parton momentum fraction $x$ in the former, and in both $x$
56: and $k_T$ in the latter. When $x_B$ is small, $x \ge x_B$ can reach a small
57: value, at which $k_T$ is of the same order of magnitude as the
58: longitudinal momentum $x p$, and not negligible. For exclusive processes,
59: such as hadron form factors, collinear factorization was developed in
60: \cite{BL,ER,CZS,CZ}. The range of a parton momentum fraction $x$,
61: contrary to that in the inclusive case, is not experimentally controllable,
62: and must be integrated over between 0 and 1. Hence, the end-point region
63: with a small $x$ is not avoidable. If there is no end-point singularity
64: developed in a hard amplitude, collinear factorization works. If such a
65: singularity occurs, indicating the breakdown of collinear factorization,
66: $k_T$ factorization should be employed. Since $k_T$ factorization theorem
67: was proposed \cite{BS,LS}, there had been wide applications to various
68: processes \cite{LFF}. However, a rigorous proof is not yet available.
69:
70: Based on the concepts of collinear and $k_T$ factorizations, the PQCD
71: \cite{LY1,CL,YL,KLS} and QCD factorization (QCDF) \cite{BBNS}
72: approaches to exclusive $B$ meson decays have been developed, respectively.
73: As applying collinear factorization to the semileptonic decay
74: $B\to \pi \ell{\bar \nu}$ at large recoil, an end-point singularity from
75: $x\to 0$ was observed \cite{SHB}. Some authors then concluded that PQCD is
76: not applicable to these decays even in the heavy quark limit
77: \cite{BBNS}. According to the above explanation, this conclusion is
78: obviously too strong. We would rather conclude that it is collinear
79: factorization which fails, and that exclusive $B$ meson
80: decays demand $k_T$ factorization. Retaining the dependence on the parton
81: transverse momentum $k_T$, and
82: resumming the resultant double logarithms $\alpha_s\ln^2 k_T$ into a
83: Sudakov form factor \cite{LY1}, the singularity does not exist. PQCD is
84: then self-consistent and reliable as an expansion in a small coupling
85: constant $\alpha_s$ \cite{TLS,L5,WY}.
86:
87: In this paper we shall prove the factorization theorem with the $k_T$
88: dependence included into two-parton meson wave functions and into
89: hard amplitudes. In our previous works we have proposed a simple
90: all-order proof of collinear factorization theorem for the exclusive
91: process $\pi\gamma^*\to \gamma(\pi)$ and $B\to\gamma(\pi) l\bar\nu$
92: up to the two-parton twist-3 level \cite{L1}. The proof of $k_T$
93: factorization theorem follows the similar procedures. We stress that
94: it is more convenient to perform $k_T$ factorization in the impact
95: parameter $b$ space, in which infrared divergences in radiative
96: corrections can be extracted from parton-level diagrams explicitly.
97: We shall explain how to construct a gauge-invariant $b$-dependent
98: meson wave function defined as a nonlocal matrix element with a special
99: path for the Wilson link. Evaluating this matrix element in perturbation
100: theory, the infrared divergences in the parton-level diagrams are
101: exactly reproduced.
102:
103: We emphasize that predictions for a physical quantity from $k_T$
104: factorization theorem are gauge-invariant, even though three-parton wave
105: functions are not included. The valence partons, carrying only longitudinal
106: momenta, are initially on-shell. They acquire the transverse degrees of
107: freedom through collinear gluon exchanges, before participating hard
108: scattering. Therefore, the parton-level amplitudes are gauge-invariant. A
109: hard amplitude, derived from the parton-level amplitudes
110: with the gauge-invariant and infrared-divergent meson wave function
111: being subtracted, is then gauge-invariant and infrared-finite. At last, we
112: obtain gauge-invariant and infrared-finite predictions by convoluting the
113: hard amplitude with a model wave function, which is determined from
114: nonperturbative methods (such as lattice QCD and QCD sum rules).
115:
116:
117: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
118: \section{FACTORIZATION OF $\pi\gamma^\ast\to \gamma(\pi)$}
119: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
120:
121: We first prove $k_T$ factorization theorem for the exclusive
122: process $\pi\gamma^\ast \to\gamma$. This process, though containing no
123: end-point singularity,
124: is simple and appropriate for a demonstration. The momentum $P_1\;(P_2)$
125: of the initial-state pion (final-state photon) is chosen as
126: \begin{eqnarray}
127: P_1&=&(P_1^+,0,{\bf 0}_T)=\frac{Q}{\sqrt{2}}(1,0,{\bf 0}_T)\;,
128: \nonumber\\
129: P_2&=&(0,P_2^-,{\bf 0}_T)=\frac{Q}{\sqrt{2}}(0,1,{\bf 0}_T)\;.
130: \label{mpp}
131: \end{eqnarray}
132: We concentrate on the kinematic region with large $Q=\sqrt{-q^2}$,
133: $q=P_2-P_1$ being the momentum transfer from the virtual photon, in
134: which scattering mechanism is governed by PQCD.
135: The lowest-order diagrams are displayed in Fig.~1. Assume that the
136: on-shell $u$ and $\bar u$ quarks carry the fractional momenta
137: ${\bar x}P_1$ and $xP_1$, respectively, with ${\bar x}\equiv 1-x$. The
138: reason for considering an arbitrary $x$ will become clear later.
139: Figure~1(a) gives the parton-level amplitude,
140: \begin{eqnarray}
141: {\cal G}^{(0)}(x)&=& -ie^2 {\bar u}(xP_1)\not \epsilon
142: \frac{\not P_2-x\not P_1}{(P_2-xP_1)^2}\gamma_\mu u({\bar x}P_1),
143: \label{ga0}
144: \end{eqnarray}
145: where $\epsilon$ denotes the polarization vector of the outgoing photon.
146: Figure~1(b) leads to the same result.
147:
148: The factorization in the fermion flow is achieved by inserting the
149: Fierz identity,
150: \begin{eqnarray}
151: I_{ij}I_{lk}&=& \frac{1}{4}I_{ik}I_{lj}
152: + \frac{1}{4}(\gamma^\alpha)_{ik}(\gamma_\alpha)_{lj}
153: + \frac{1}{4}(\gamma^5\gamma^\alpha)_{ik}(\gamma_\alpha\gamma^5)_{lj}
154: + \frac{1}{4}(\gamma^5)_{ik}(\gamma^5)_{lj}
155: + \frac{1}{8}(\gamma^5\sigma^{\alpha\beta})_{ik}
156: (\sigma_{\alpha\beta}\gamma^5)_{lj},
157: \label{fierz0}
158: \end{eqnarray}
159: with $I$ being the identity matrix and
160: $\sigma_{\alpha\beta}\equiv i[\gamma_\alpha,\gamma_\beta]/2$. For the momenta chosen in Eq.~(\ref{mpp}), only the structure
161: $\gamma^5\gamma^\alpha$ with $\alpha=+$ contributes to the wave function
162: at leading twist (twist 2). The other structures contribute at higher
163: twists, and the factorization of the corresponding wave functions is
164: similar.
165:
166: Equation~(\ref{ga0}) is then factorized into
167: \begin{eqnarray}
168: {\cal G}^{(0)}(x)=\psi^{(0)}(x){\cal H}^{(0)}(x)\;,
169: %\int d\xi \int \frac{d^2b}{(2\pi)^2} \phi^{(0)}(x,\xi,b)H^{(0)}(\xi,b)\;,
170: \label{gl0}
171: \end{eqnarray}
172: where
173: \begin{eqnarray}
174: %\phi^{(0)}(x,\xi,b)&=&\int d^2l_T
175: %\psi^{(0)}(x)\delta(\xi-x)\delta^2(l_T)\exp(-i{\bf l}_T\cdot {\bf b})
176: %=\psi^{(0)}(x)\delta(\xi-x)\;,
177: %\nonumber\\
178: %H^{(0)}(\xi,b)&=&\int d^2k_T
179: %{\cal H}^{(0)}(\xi,k_T)\exp(i{\bf k}_T\cdot {\bf b})
180: %\label{psi0}\\
181: \psi^{(0)}(x)&=&\frac{1}{4P_1^+}{\bar u}(xP_1)\gamma^5\not n_-
182: u({\bar x}P_1)\;,
183: \nonumber\\
184: {\cal H}^{(0)}(x)&=& ie^2
185: \frac{tr(\not \epsilon \not P_2 \gamma_\mu
186: \not P_1\gamma^5)}{2x P_1\cdot P_2}\;,
187: \label{h0}
188: \end{eqnarray}
189: with the dimensionless vector $n_-=(0,1,{\bf 0}_T)$ on the light cone,
190: define the lowest-order distribution amplitude and hard amplitude
191: in perturbation theory, respectively. Note that none of
192: ${\cal G}^{(0)}(x)$, $\psi^{(0)}(x)$, and ${\cal H}^{(0)}(x)$
193: depends on a transverse momentum in the $O(\alpha_s^0)$ factorization.
194:
195: \subsection{$O(\alpha_s)$ Factorization}
196:
197: Next we consider the $O(\alpha_s)$ radiative corrections to Fig.~1(a)
198: shown in Figs.~2(a)-2(f), where the gluon carries the loop
199: momentum $l$. As stated in \cite{L1}, there are two types of infrared
200: divergences, soft and collinear, which arise from $l$ with the
201: components,
202: \begin{eqnarray}
203: & &l^+\sim l^-\sim l_T\sim \bar{\Lambda}\;,
204: \nonumber\\
205: & &l^+\sim Q\;,\;\; l^-\sim \bar{\Lambda}^2/Q\;,\;\;
206: l_T\sim \bar{\Lambda}\;,
207: \label{ragl}
208: \end{eqnarray}
209: respectively. Here $\bar \Lambda$, being of $O(\Lambda_{\rm QCD})$,
210: represents a small scale. Below we work out the factorization of the
211: collinear enhancement from $l$ parallel to $P_1$ without integrating out
212: the transverse components $l_T$. The prescription is basically similar to
213: that for collinear factorization. The wave function and
214: the hard amplitude then become $l_T$-dependent through collinear gluon
215: exchanges.
216:
217: We derive the $O(\alpha_s)$ $k_T$ factorization formula,
218: written as the convolution over the momentum fraction $\xi$ and over
219: the impact parameter $b$,
220: \begin{eqnarray}
221: {\cal G}^{(1)}(x)&=& \sum_{i=a}^{f}{\cal G}^{(1)}_i(x)\;,
222: \nonumber\\
223: {\cal G}^{(1)}_i(x)&=&\int d\xi\frac{d^2b}{(2\pi)^2}
224: \phi_i^{(1)}(x,\xi,b)H^{(0)}(\xi,b)
225: +\psi^{(0)}(x){\cal H}_i^{(1)}(x)\;,
226: %\nonumber \\
227: %&=&\int \frac{d^2b}{(2\pi)^2} \left[\int d\xi\phi_i^{(1)}(x,\xi,b)
228: %H^{(0)}(\xi,b)+\psi^{(0)}(x)H_i^{(1)}(x,b)\right]\;.
229: \label{h11}
230: \end{eqnarray}
231: The above expression, with the $O(\alpha_s)$ wave functions
232: $\phi_i^{(1)}(x,\xi,b)$ and $H^{(0)}(\xi,b)$ specified, defines the
233: $O(\alpha_s)$ hard amplitudes ${\cal H}_i^{(1)}(x)$, which do not contain
234: collinear divergences. It is now obvious why we consider an arbitrary
235: $x$ for the parton-level diagrams in Figs.~1 and 2: we can obtain the
236: functional form of ${\cal H}_i^{(1)}(x)$ in $x$. Equation (\ref{h11}) is
237: a consequence of our assertion that partons acquire transverse
238: degrees of freedom through collinear gluon exchanges:
239: ${\cal H}^{(1)}$, convoluted with the lowest-order $l_T$-independent
240: $\psi^{(0)}$, is then identical to that in
241: collinear factorization. As explained later, this consequence is
242: crucial for constructing gauge-invariant hard amplitudes.
243:
244: Figures~2(a) and 2(c) are self-energy corrections to the external
245: lines. In this case the loop momentum $l$ does not flow through the
246: hard amplitude. The $O(\alpha_s)$ wave functions extracted from
247: these two diagrams are the same as in the collinear
248: factorization \cite{L1}. We simply quote the results,
249: \begin{eqnarray}
250: \phi^{(1)}_a(x,\xi,b)&=&
251: \frac{-ig^2C_F}{4P_1^+} \int\frac{d^4l}{(2\pi)^4}{\bar u}(xP_1)
252: \gamma^5\not n_-\frac{1}{{\bar x}\not P_1}\gamma^\nu
253: \frac{{\bar x}\not P_1+\not l}{({\bar x}P_1+l)^2}\gamma_\nu
254: u({\bar x}P_1)\frac{1}{l^2}\delta(\xi-x)\;,
255: \label{psia}\\
256: \phi^{(1)}_c(x,\xi,b)&=&
257: \frac{-ig^2C_F}{4P_1^+} \int\frac{d^4l}{(2\pi)^4}
258: {\bar u}(xP_1)\gamma^\nu
259: \frac{x\not P_1-\not l}{(xP_1-l)^2}\gamma_\nu
260: \frac{1}{x\not P_1}\gamma^5\not n_-
261: u({\bar x}P_1)\frac{1}{l^2}\delta(\xi-x)\;.
262: \label{psic}
263: \end{eqnarray}
264:
265: The loop integrand associated with Fig.~2(b) is given by
266: \begin{eqnarray}
267: I_b^{(1)}&=& e^2g^2C_F {\bar u}(xP_1)\gamma^\nu
268: \frac{x\not P_1 -\not l}{(xP_1-l)^2}\not \epsilon
269: \frac{\not P_2-x\not P_1 +\not l}{(P_2-xP_1+l)^2} \gamma_\mu
270: \frac{{\bar x}\not P_1+\not l}{({\bar x}P_1+l)^2}\gamma_\nu u({\bar x}P_1)
271: \frac{1}{l^2}\;.
272: \label{i2b}
273: \end{eqnarray}
274: Inserting the Fierz identity, we obtain the wave function,
275: \begin{eqnarray}
276: \phi^{(1)}_b(x,\xi,b)&=&\frac{ig^2C_F}{4P_1^+}
277: \int\frac{d^4l}{(2\pi)^4}{\bar u}(xP_1)
278: \frac{\gamma^\nu(x\not P_1-\not l)\gamma^5\not n_-
279: ({\bar x}\not P_1+\not l)\gamma_\nu}
280: {(xP_1-l)^2({\bar x}P_1+l)^2l^2}u({\bar x}P_1)
281: \delta\left(\xi-x+\frac{l^+}{P_1^+}\right)e^{-i{\bf l}_T\cdot {\bf b}}\;.
282: \label{p2b}
283: \end{eqnarray}
284: The Fourier transformation introduces the additional factor
285: $\exp(-i{\bf l}_T\cdot {\bf b})$ into the wave function
286: $\phi^{(1)}_b$ compared to the result in collinear factorization
287: \cite{L1}, since the hard amplitude depends on $l_T$ in this case.
288:
289: The integrand associated with the two-particle irreducible diagram in
290: Fig.~2(d) is given by
291: \begin{eqnarray}
292: I_d^{(1)}&=& -e^2g^2C_F {\bar u}(xP_1)\not \epsilon
293: \frac{\not P_2-x\not P_1}{(P_2-xP_1)^2}\gamma^\nu
294: \frac{\not P_2-x\not P_1 +\not l}{(P_2-xP_1+l)^2}
295: \gamma_\mu
296: \frac{{\bar x}\not P_1+\not l}{({\bar x}P+l)^2}\gamma_\nu u({\bar x}P_1)
297: \frac{1}{l^2}.
298: \label{i2d}
299: \end{eqnarray}
300: To collect the leading contribution, $\gamma^\nu$ and $\gamma_\nu$
301: must be $\gamma^-$ and $\gamma_-=\gamma^+$, respectively. In the collinear
302: region the following approximation holds,
303: \begin{eqnarray}
304: (\not P_2-x\not P_1)\gamma^\nu(\not P_2-x\not P_1+\not l)
305: &\approx& 2P_2^\nu\not P_2\;,
306: \label{ap00}
307: \end{eqnarray}
308: where the $l^-$ and $l_T$ terms, being power-suppressed compared to
309: $P_2^-$, have been dropped.
310:
311: The factorization of the collinear enhancement from Figs.~2(d)
312: requires the further approximation for the product of the two internal
313: quark propagators \cite{L1},
314: \begin{eqnarray}
315: \frac{2P_2^\nu}{(P_2-xP_1)^2(P_2-xP_1+l)^2}
316: \approx \frac{n_-^\nu}{n_-\cdot l}\biggl[\frac{1}{(P_2-xP_1)^2}
317: -\frac{1}{(P_2-xP_1+l)^2}\biggr]\;,
318: \label{pi}
319: \end{eqnarray}
320: where the numerator $2P_2^\nu$ comes from Eq.~(\ref{ap00}), and the factor
321: $n_-^\nu/n_-\cdot l$ is exactly the Feynman rule associated with a Wilson
322: line in collinear factorization. Similarly, we have neglected the
323: power-suppressed terms, such as $l^2$ and $xP_1\cdot l$. The first (second)
324: term on the right-hand side of Eq.~(\ref{pi}) corresponds to the case
325: without (with) the loop momentum $l$ flowing through the hard amplitude.
326:
327: The above eikonal approximation also applies to Fig.~2(e). Hence, the
328: extracted $O(\alpha_s)$ wave functions are written as
329: \begin{eqnarray}
330: \phi^{(1)}_{d}(x,\xi,b)&=&
331: \frac{-ig^2C_F}{4P_1^+}\int\frac{d^4l}{(2\pi)^4}
332: {\bar u}(xP_1)\gamma^5\not n_-
333: \frac{ {\bar x}\not P_1+\not l}{({\bar x}P_1+l)^2}
334: \gamma_\nu u({\bar x}P_1)
335: \frac{1}{l^2}\frac{n_-^\nu}{n_-\cdot l}
336: \nonumber\\
337: & &\times\left[\delta(\xi-x)-\delta\left(\xi-x+\frac{l^+}{P_1^+}\right)
338: e^{-i{\bf l}_T\cdot {\bf b}}\right]\;,
339: \label{p2d}\\
340: \phi^{(1)}_{e}(x,\xi,b) &=&
341: \frac{ig^2C_F}{4P_1^+}\int\frac{d^4l}{(2\pi)^4}
342: {\bar u}(xP_1)\gamma_\nu\frac{x\not P_1-\not l}{(xP_1-l)^2}
343: \gamma^5\not n_-
344: u({\bar x}P_1)\frac{1}{l^2}\frac{n_-^\nu}{n_-\cdot l}
345: \nonumber\\
346: & &\times\left[\delta(\xi-x)-\delta\left(\xi-x+\frac{l^+}{P_1^+}\right)
347: e^{-i{\bf l}_T\cdot {\bf b}}\right]\;,
348: \label{p2e}
349: \end{eqnarray}
350: where the first (second) term in the brackets is associated with the first
351: (second) term on the right-hand side of Eq.~(\ref{pi}). Due to the Fourier
352: transformation, the second terms acquire the additional factor
353: $\exp(-i{\bf l}_T\cdot {\bf b})$ compared to the results in
354: collinear factorization.
355:
356: Figure~2(f) does not exhibit a collinear enhancement, since the
357: radiative gluon gives a self-energy correction to the off-shell
358: internal line. Hence, we have $\phi^{(1)}_{f}(x,\xi,b) =0$.
359: It is easy to observe that the soft divergences cancel among
360: the $O(\alpha_s)$ radiative corrections. In the soft
361: region of $l$ we have $\exp(-i{\bf l}_T\cdot {\bf b})\approx 1$ and
362: $l^+\approx 0$, and the two terms in Eqs.~(\ref{p2d}) and (\ref{p2e})
363: cancel. Similarly, the soft divergences cancel among
364: Figs.~2(a)-2(c). This is the reason we discuss only the factorization
365: of the collinear enhancements.
366:
367: The above $O(\alpha_s)$ wave functions can be reproduced by the
368: $O(\alpha_s)$ terms of the following nonlocal matrix element in the $b$
369: space,
370: \begin{eqnarray}
371: \phi(x,\xi,b)&=&i\int\frac{dy^-}{2\pi }e^{-i\xi P_1^+y^-}
372: \langle 0|{\bar u}(y)\gamma_5\not n_-
373: P\exp\left[-ig\int_0^{y}ds\cdot A(s)\right]u(0)
374: |{\bar u}(xP_1) u({\bar x}P_1)\rangle\;,
375: \label{pw1}
376: \end{eqnarray}
377: with the coordinate $y=(0,y^-,{\bf b})$. The path
378: for the Wilson link is composed of three pieces: from 0 to $\infty$
379: along the direction of $n_-$, from $\infty$ to $\infty+{\bf b}$, and from
380: $\infty+{\bf b}$ back to $y$ along the direction of $-n_-$ as displayed in
381: Fig.~3. We show that the first piece corresponds to the eikonal
382: line associated with the first terms in
383: Eqs.~(\ref{p2d}) and (\ref{p2e}). Fourier transforming the gauge field
384: $A(s)$ into ${\tilde A}(l)$, we have
385: \begin{eqnarray}
386: -ig\int_0^{\infty}dz
387: \exp[iz(n_-\cdot l+i\epsilon)]n_-\cdot {\tilde A}(l)
388: =g\frac{n_-^\alpha}{n_-\cdot l} {\tilde A}_\alpha(l)\;.
389: \end{eqnarray}
390: The field ${\tilde A}(l)$, contracted with other gauge fields, gives
391: the propagator of the gluon attaching the eikonal line.
392: The second piece does not contribute because of the appropriate
393: choice of the small imaginary constant $+i\epsilon$ in the above
394: expression. The third piece corresponds to the eikonal line associated
395: with the second terms in Eqs.~(\ref{p2d}) and
396: (\ref{p2e}). The additional Fourier factor $\exp(-i{\bf l}_T\cdot {\bf b})$
397: is a consequence of the shift by ${\bf b}$ from the first piece:
398: \begin{eqnarray}
399: -ig\int_{\infty}^{y^-}dz
400: \exp[iz(n_-\cdot l+i\epsilon)-i{\bf l}_T\cdot {\bf b}]
401: n_-\cdot {\tilde A}(l)
402: =-g\frac{n_-^\alpha}{n_-\cdot l}e^{-i{\bf l}_T\cdot {\bf b}}
403: e^{i l^+y^-}{\tilde A}_\alpha(l)\;,
404: \end{eqnarray}
405: where the Fourier factor $\exp(i l^+y^-)$
406: leads to the function $\delta(\xi-x+l^+/P_1^+)$.
407:
408: At last, for the evaluation of the lowest-order hard amplitude, we
409: neglect only the minus component $l^-$ in the denominator [see the second
410: term on the right-hand side of Eq.~(\ref{pi})],
411: \begin{eqnarray}
412: (P_2-xP_1+l)^2 \approx -(2\xi P_1\cdot P_2 + l_T^2) \;.
413: \label{appI}
414: \end{eqnarray}
415: Note that in collinear factorization both $l^-$ and $l_T$ are dropped.
416: The $b$-dependent hard amplitude is then given by,
417: \begin{eqnarray}
418: H^{(0)}(\xi,b)&=&\int d^2l_T
419: {\cal H}^{(0)}(\xi,l_T)\exp(i{\bf l}_T\cdot {\bf b})\;,
420: \nonumber\\
421: {\cal H}^{(0)}(\xi,l_T)&=& ie^2
422: \frac{tr(\not \epsilon \not P_2\gamma_\mu
423: \not P_1\gamma^5)}{2\xi P_1\cdot P_2+l_T^2}\;.
424: \label{psi0}
425: \end{eqnarray}
426: Equivalently, the above ${\cal H}^{(0)}(\xi,l_T)$ is derived by
427: considering an off-shell $\bar u$ quark, which carries the momentum
428: $\xi P_1-{\bf l}_T$, and the leading structure $\not P_1\gamma_5$
429: associated with the pion, which is the same as in collinear
430: factorization.
431:
432: \subsection{All-order Factorization}
433:
434: In this subsection we present the all-order proof of $k_T$ factorization
435: theorem for the process $\pi\gamma^\ast \to \gamma$, and construct the
436: parton-level wave function in Eq.~(\ref{pw1}). The proof is similar to
437: that for collinear factorization, if it is performed in the impact
438: parameter $b$ space. It will be observed that collinear factorization is
439: the $b\to 0$ limit of $k_T$ factorization. Therefore, we just highlight
440: the differences, and refer the rest of details to \cite{L1}. The idea of
441: the proof is based on induction. The factorization of the $O(\alpha_s)$
442: collinear enhancements has been derived in the previous subsection.
443: Consider $G^{(0)}(x,b)$ and $G^{(1)}(x,b)$ defined via
444: \begin{eqnarray}
445: {\cal G}^{(0),(1)}(x)\equiv{\cal G}^{(0),(1)}(x,k_T=0)=
446: \int \frac{d^2b}{(2\pi)^2} G^{(0),(1)}(x,b)\;,
447: \end{eqnarray}
448: which indicates that the integration over the variable $b$
449: corresponds to an amplitude with $k_T=0$ for external particles.
450: The $O(\alpha_s)$ hard amplitude $H^{(1)}(\xi,b)$ is defined similarly
451: via ${\cal H}^{(1)}(\xi)$. We obtain the factorization formula up to
452: $O(\alpha_s)$,
453: \begin{eqnarray}
454: G^{(0)}(x,b) + G^{(1)}(x,b) &=&\int d\xi
455: \Bigl[\phi^{(0)}(x,\xi,b) + \phi^{(1)}(x,\xi,b) \Bigr]
456: \Bigl[H^{(0)}(\xi,b) + H^{(1)}(\xi,b) \Bigr]\;,
457: \label{bfa}
458: \end{eqnarray}
459: with $\phi^{(0)}(x,\xi,b)=\psi^{(0)}(x)\delta(\xi-x)$.
460: The summation over all the diagrams is understood.
461:
462: Assume that factorization theorem holds up to $O(\alpha_s^N)$,
463: \begin{eqnarray}
464: G^{(j)}(x,b)=\sum_{i=0}^{j}\int d\xi
465: \phi^{(i)}(x,\xi,b)H^{(j-i)}(\xi,b)\;,\;\;\;\;
466: j=1,\cdots, N\;,
467: \label{gbn}
468: \end{eqnarray}
469: where $\phi^{(i)}(x,\xi,b)$ is given by the $O(\alpha_s^{i})$ terms in the
470: perturbative expansion of Eq.~(\ref{pw1}). $H^{(j-i)}(\xi,b)$ stands for
471: the $O(\alpha_s^{j-i})$ infrared-finite hard amplitude.
472: Equations~(\ref{bfa}) and (\ref{gbn}) approach the expressions in
473: collinear factorization as $b\to 0$ as stated above. We shall show that
474: the $O(\alpha_s^{N+1})$ diagrams ${\cal G}^{(N+1)}$ in the momentum space
475: is written as the convolution of the $O(\alpha_s^N)$ diagrams
476: ${\cal G}^{(N)}$ with the $O(\alpha_s)$ wave function by employing the
477: Ward identity,
478: \begin{eqnarray}
479: l_\mu G^\mu(l,k_1,k_2,\cdots, k_n)=0\;,
480: \label{war}
481: \end{eqnarray}
482: where $G^\mu$ represents a physical amplitude with an external gluon
483: carrying the momentum $l$ and with $n$ external quarks carrying the
484: momenta $k_1$, $k_2$, $\cdots$, $k_n$. All these external particles are
485: on the mass shell. It is known that factorization of a QCD process in
486: momentum, spin and color spaces requires summation of many
487: diagrams. With the Ward identity, the diagram
488: summation can be handled in an elegant way.
489:
490: Look for the gluon in a complete set of $O(\alpha_s^{N+1})$ diagrams
491: ${\cal G}^{(N+1)}$, one of whose ends attaches the outer most vertex on
492: the upper $u$ quark line in the pion. Let $\alpha$ denote the outer most
493: vertex, and $\beta$ denote the attachments of the other end of the
494: identified gluon inside the rest of the diagrams. There are two
495: types of collinear configurations associated with this gluon, depending on
496: whether the vertex $\beta$ is located on an internal line with a momentum
497: along $P_1$. The quark spinor adjacent to the vertex $\alpha$ is
498: $u({\bar x}P_1)$. If $\beta$ is not located on a collinear line along $P_1$,
499: the component $\gamma^+$ in $\gamma^\alpha$ and the minus component of
500: the vertex $\beta$ give the leading contribution. If $\beta$ is located on
501: a collinear line along $P_1$, $\beta$ can not be minus, and both $\alpha$
502: and $\beta$ label the transverse components. This configuration is the
503: same as of the self-energy correction to an on-shell particle.
504:
505: According to the above classification, we decompose the tensor
506: $g_{\alpha\beta}$ appearing in the propagator of the identified gluon
507: into
508: \begin{eqnarray}
509: g_{\alpha\beta}=\frac{n_{-\alpha} l_\beta}{n_-\cdot l}
510: -\delta_{\alpha \perp}\delta_{\beta \perp}
511: +\left(g_{\alpha\beta}-\frac{n_{-\alpha} l_\beta}{n_-\cdot l}
512: +\delta_{\alpha \perp}\delta_{\beta \perp}\right)\;.
513: \label{dec}
514: \end{eqnarray}
515: The first term on the right-hand side extracts the first
516: type of collinear enhancements, since the light-like vector $n_{-\alpha}$
517: selects the plus component of $\gamma^\alpha$, and the dominant component
518: $l_{\beta=-}$ in the collinear region selects the minus component of the
519: vertex $\beta$. The components $l_{\beta=+,\perp}$ do not change the
520: collinear structure, since they are negligible in the numerators compared
521: to the leading terms proportional to $P_1^+$ and $P_2^-$. This can be
522: confirmed by contracting $l_\beta$ to Figs.~2(d) and 2(e), from which
523: Eq.~(\ref{pi}) is obtained. The second term extracts the second type of
524: collinear enhancements. The last term does not contribute a collinear
525: enhancement due to the equation of motion for the $u$ quark. We shall
526: concentrate on the factorization of ${\cal G}_\parallel^{(N+1)}$
527: corresponding to the first term on the right-hand side of Eq.~(\ref{dec}),
528: and the factorization associated with the second term can be included
529: simply by following the procedure in \cite{L1}.
530:
531: Those diagrams with Figs.~2(a) and 2(b) as the $O(\alpha_s)$
532: subdiagrams are excluded from the set of ${\cal G}_\parallel^{(N+1)}$ as
533: discussing the first type of collinear configurations, since the identified
534: gluon does not attach a line parallel to $P_1$. Consider the physical
535: amplitude, in which the two on-shell quarks and one on-shell gluon carry
536: the momenta ${\bar \xi} P_1$, $x P_1$ and $l$, respectively. Figure 4(a),
537: describing the Ward identity, contains a complete set of contractions of
538: $l_\beta$, since the second and third diagrams have been added back. The
539: second and third diagrams in Fig.~4(a) lead to
540: \begin{eqnarray}
541: & &l_\beta \frac{1}{{\bar \xi}\not P_1-\not l}\gamma^\beta
542: u({\bar \xi} P_1)
543: =\frac{1}{{\bar \xi}\not P_1-\not l}(\not l-{\bar \xi}\not P_1 +
544: {\bar \xi}\not P_1)u({\bar \xi} P_1)
545: =-u({\bar \xi} P_1)\;,
546: \label{ide}\\
547: & &l_\beta{\bar u}(xP_1)\gamma^\beta\frac{1}{x\not P_1-\not l}
548: =-{\bar u}(xP_1)\;,
549: \label{ide2}
550: \end{eqnarray}
551: respectively. The terms $u({\bar \xi} P_1)$ and ${\bar u}(xP_1)$ at the
552: ends of the above expressions correspond to the $O(\alpha_s^N)$ diagrams.
553: %Applying the Fierz transformation in Eq.~(\ref{fierz0}) to break the
554: %fermion flow, the second and the third diagrams are written as the
555: %convolutions of the $O(\alpha_s^N)$ diagrams with the corresponding
556: %$O(\alpha_s)$ collinear pieces.
557:
558: Figure~4(b) shows that the diagrams ${\cal G}_{\parallel}^{(N+1)}$
559: associated with the first term in Eq.~(\ref{dec}) are factorized into the
560: convolution of the parton-level $O(\alpha_s^N)$ diagrams ${\cal G}^{(N)}$
561: with the $O(\alpha_s)$ collinear piece extracted from Fig.~2(d).
562: The double line represents the Wilson line.
563: The first diagram means that the gluon momentum does not flow into
564: ${\cal G}^{(N)}$, while in the second diagram the gluon momentum does.
565: The similar reasoning applies to the identified gluon,
566: one of whose ends attaches the outer most vertex of the lower $\bar u$
567: quark line.
568: Substituting Eq.~(\ref{gbn}) into $G^{(N)}(\xi,b)$ in the $b$ space on
569: the right-hand side of Fig.~4(b), and
570: following the procedure in \cite{L1}, we arrive at
571: \begin{eqnarray}
572: G^{(N+1)}(x,b) =\sum_{i=0}^{N+1} \int d\xi
573: \phi^{(i)}(x,\xi,b) H^{(N+1-i)}(\xi,b)\;,
574: \label{gf2}
575: \end{eqnarray}
576: with the infrared-finite $O(\alpha_s^{N+1})$ hard amplitude $H^{(N+1)}$.
577: Equation (\ref{gf2}) implies that all the collinear enhancements in the
578: process $\pi\gamma^\ast \to \gamma$ can be factorized into the
579: wave function in Eq.~(\ref{pw1}) order by order.
580:
581:
582: \subsection{Gauge Invariance}
583:
584: We now demonstrate the gauge invariance of $k_T$ factorization
585: theorem. Equation~(\ref{pw1}) is explicitly gauge-invariant because
586: of the presence of the Wilson link from $0$ to $y$ \cite{CE,CS2}. Below
587: we argue that hard amplitudes in $k_T$ factorization are also
588: gauge-invariant. Equation (\ref{h11}) approaches the collinear
589: factorization under the approximation,
590: \begin{eqnarray}
591: \phi^{(1)}(x,\xi,b)\approx \phi^{(1)}(x,\xi,0)\equiv
592: \psi^{(1)}(x,\xi)\;,
593: \end{eqnarray}
594: with $\psi^{(1)}(x,\xi)$ being the distribution amplitude in
595: collinear factorization. The integration of the hard amplitude
596: $H^{(0)}(\xi,b)$ over $b$ gives ${\cal H}^{(0)}(\xi,l_T=0)$. Hence,
597: we have the collinear factorization formula,
598: \begin{eqnarray}
599: {\cal G}^{(1)}(x)=\int d\xi\psi^{(1)}(x,\xi){\cal H}^{(0)}(\xi)
600: +\psi^{(0)}(x){\cal H}^{(1)}(x)\;,
601: \end{eqnarray}
602: where the summation over the diagrams has been suppressed.
603: Since ${\cal G}^{(1)}(x)$, $\psi^{(1)}(x,\xi)$, and
604: ${\cal H}^{(0)}(\xi)$ are gauge-invariant in collinear factorization,
605: ${\cal H}^{(1)}(x)$ is gauge-invariant. From Eq.~(\ref{h11}), the
606: gauge invariance of $\phi^{(1)}(x,\xi,b)$ stated above, together with the
607: gauge invariance of ${\cal G}^{(1)}(x)$ and ${\cal H}^{(1)}(x)$, then
608: imply the gauge invariance of $H^{(0)}(\xi,b)$. Similarly, the $k_T$
609: factorization formula of $O(\alpha_s^2)$,
610: \begin{eqnarray}
611: {\cal G}^{(2)}(x)=\int d\xi\frac{d^2b}{(2\pi)^2}
612: \left[\phi^{(2)}(x,\xi,b)H^{(0)}(\xi,b)
613: +\phi^{(1)}(x,\xi,b)H^{(1)}(\xi,b) \right]
614: +\psi^{(0)}(x){\cal H}^{(2)}(x)\;,
615: \end{eqnarray}
616: leads to the gauge invariance of $H^{(1)}(\xi,b)$:
617: Both ${\cal G}^{(2)}(x)$ and $\psi^{(0)}(x){\cal H}^{(2)}(x)$
618: are gauge-invariant in collinear factorization, and all
619: $\phi^{(i)}(x,\xi,b)$ are gauge-invariant as explained
620: previously.
621: The gauge invariance of $H^{(0)}(\xi,b)$ stated above then implies
622: the gauge invariance of $H^{(1)}(\xi,b)$.
623: Therefore, the hard amplitudes in $k_T$
624: factorization are gauge-invariant at all orders.
625:
626: Equation~(\ref{pw1}) plays the role of an infrared regulator for
627: parton-level diagrams. A hard amplitude then corresponds to the
628: regularized parton-level diagrams. After determining the gauge-invariant
629: infrared-finite hard amplitude $H(x,b)$, we convolute it with the physical
630: two-parton pion wave function, whose all-order gauge-invariant definition
631: is given by
632: \begin{eqnarray}
633: \phi(x,b)&=&i\int\frac{dy^-}{2\pi }e^{-ixP_1^+y^-}
634: \langle 0|{\bar u}(y)\gamma_5\not n_-
635: P\exp\left[-ig\int_0^{y}ds\cdot A(s)\right]u(0)|\pi(P_1)\rangle\;.
636: \label{pwt}
637: \end{eqnarray}
638: The valence-quark state $|{\bar u}(xP_1) u({\bar x}P_1)\rangle$
639: has been replaced by the pion state $|\pi(P_1)\rangle$, and the pion decay
640: constant $f_\pi$ has been omitted. The relevant form factor $F$ for the
641: process $\pi\gamma^\ast \to\gamma$ is then expressed as
642: \begin{eqnarray}
643: F=\int dx \frac{d^2b}{(2\pi)^2}\phi(x,b)H(x,b)\;.
644: \end{eqnarray}
645: We conclude that predictions derived from $k_T$
646: factorization theorem are gauge-invariant and infrared-finite.
647:
648: $k_T$ factorization theorem for the pion form factor involved in the
649: process $\pi\gamma^*\to \pi$ can be proved in the same way.
650: The $O(\alpha_s)$ factorization is similar to the collinear factorization
651: performed in \cite{L1}. The only difference is the extra Fourier factor
652: $\exp(-i{\bf l}_T\cdot {\bf b})$ associated with the diagrams, in which
653: the loop momentum flows through the hard amplitude. Following
654: the steps in Sec.~II A, the eikonal line can be constructed from the
655: diagrams with collinear gluons attaching the hard amplitude and the
656: outgoing pion. The decomposition in Eq.~(\ref{dec}) and the whole
657: procedure presented above then apply. That is, the all-order proof is also
658: similar to that of collinear factorization \cite{L1}. Compared to the
659: process $\pi\gamma^*\to \gamma$, the structures $\gamma_5$ and
660: $\gamma_5\sigma^{\alpha\beta}$ from the Fierz identity
661: contribute, and the corresponding twist-3 pion wave functions
662: appear.
663:
664: \section{FACTORIZATION of $B\to\gamma(\pi)\ell\bar\nu$}
665:
666: In this section we prove $k_T$ factorization theorem for the radiative
667: decay $B\to \gamma l{\bar \nu}$, retaining the transverse degrees of
668: freedom of internal particles, and construct the $B$ meson wave function
669: in the impact parameter $b$ space. We shall discuss only the $O(\alpha_s)$
670: factorization, and demonstrate that the all-order factorization can be
671: proved in a way similar to collinear factorization \cite{L1}.
672: The momentum $P_1$ of the $B$ meson and the momentum $P_2$ of the
673: out-going on-shell photon are chosen as
674: \begin{eqnarray}
675: P_1 &=& \frac{M_B}{\sqrt 2}\;(1,1,{\bf 0}_T)\;, \;\;\;
676: P_2 = \frac{M_B}{\sqrt 2}\;(0,\eta,{\bf 0}_T)\;,
677: \end{eqnarray}
678: where the photon energy fraction $\eta$ is large enough to justify the
679: applicability of PQCD. Assume that the light spectator quark in the $B$
680: meson carries the momentum $k$. In collinear factorization, only the plus
681: component $k^+$ is relevant through the inner product $k\cdot P_2$
682: \cite{DS}. The lowest-order diagrams for the $B\to \gamma\ell\bar\nu$
683: decay is displayed in Fig.~1, but with the upper quark (virtual photon)
684: replaced by a $b$ quark ($W$ boson).
685:
686: Bellow we shall concentrate on Fig.~1(a), because Fig.~1(b) is
687: power-suppressed. Figure~1(a) gives the parton-level amplitude,
688: \begin{eqnarray}
689: {\cal G}^{(0)}(x)&=&
690: e{\bar u}(k)\not \epsilon \frac{\not P_2-\not k}{(P_2-k)^2}
691: \gamma_\mu(1-\gamma_5) b(P_1-k)\;,
692: %\nonumber \\
693: %&=& -e{\bar u}(xP_1)\frac{\not \epsilon
694: %\not P_2 \gamma_\mu(1-\gamma_5)}{2xP_1\cdot P_2}b({\bar x}P_1)\;,
695: \label{b1a}
696: \end{eqnarray}
697: which does not depend on a transverse momentum.
698: Inserting the Fierz identity in Eq.~(\ref{fierz0}) into to Eq.~(\ref{b1a}),
699: we obtain Eq.~(\ref{gl0}) with
700: \begin{eqnarray}
701: \psi^{(0)}(x)&=&\frac{1}{4P_1^+}{\bar u}(k)\gamma_5\not n_-
702: b(P_1-k)\;,
703: \nonumber\\
704: {\cal H}^{(0)}(x)&=&-e
705: \frac{tr[\not \epsilon \not P_2 \gamma_\mu(1-\gamma_5)
706: \not n_+\gamma^5]P_1^+}{2x P_1\cdot P_2}\;,
707: \nonumber\\
708: &=&-e\frac{tr[\not \epsilon \not P_2 \gamma_\mu(1-\gamma_5)
709: (\not P_1+M_B)(\not n_+/\sqrt{2})\gamma^5]}{2x P_1\cdot P_2}\;,
710: \label{h0B}
711: \end{eqnarray}
712: with the dimensionless vector $n_+=(1,0,{\bf 0}_T)$ on the light cone.
713: We have dropped the higher-power term $\not k$ in the numerator,
714: and the momentum fraction $x$ is defined by $x=k^+/P_1^+$. For the $B$
715: meson wave functions, there are two leading-twist components associated
716: with the structures $\gamma_5\gamma^\pm$. For the $B\to\gamma l\bar\nu$
717: decay, we choose the structure $\gamma_5\gamma^+=\gamma_5\not n_-$,
718: since $\not \epsilon$ in Eq.~(\ref{h0B}) involves $\gamma_\perp$,
719: and only the structure $\gamma^-\gamma_5=\not n_+\gamma_5$ contributes to
720: the hard amplitude.
721:
722: Next we consider the $O(\alpha_s)$ radiative corrections to Fig.~1(a)
723: shown in Figs.~2(a)-2(f). We discuss the factorization
724: of the soft divergence from the loop momentum
725: $l^\mu\sim ({\bar \Lambda},{\bar \Lambda}, {\bar \Lambda})$,
726: where $\bar\Lambda$ can be regarded as the $B$ meson and $b$ quark
727: mass difference, $\bar\Lambda=M_B-m_b$. The dependence of the $B$ meson
728: wave function on the transverse momentum is generated by
729: soft gluon exchanges. The analysis is similar to that in Sec.~II, and
730: we obtain Eq.~(\ref{h11}). The factorization of the two-particle reducible
731: diagrams in Fig.~2(a)-(c) is straightforward. Take Fig.~2(b) as an
732: example, which gives the integrand,
733: \begin{eqnarray}
734: I_b^{(1)}&=& ieg^2C_F {\bar u}(k)\gamma^\nu
735: \frac{\not k -\not l}{(k-l)^2}\not \epsilon
736: \frac{\not P_2-\not k +\not l}{(P_2-k+l)^2} \gamma_\mu(1-\gamma_5)
737: \frac{\not P_1-\not k +\not l+m_b}{(P_1-k+l)^2-m_b^2}
738: \gamma_\nu b(P_1-k)
739: \frac{1}{l^2}\;.
740: \label{i2bB}
741: \end{eqnarray}
742: Employing the eikonal approximation in the heavy-quark limit, we have
743: \begin{eqnarray}
744: \frac{\not P_1-\not k+\not l+m_b}{(P_1-k+l)^2-m_b^2}
745: \gamma_\nu b(P_1-k) &\approx&
746: \frac{v_\nu}{v\cdot l}b(P_1-k)\;,
747: \label{appII}
748: \end{eqnarray}
749: with the velocity $v=P_1/M_B$. The $O(\alpha_s)$ wave function
750: extracted from Eq.~(\ref{i2bB}) is then written as
751: \begin{eqnarray}
752: \phi^{(1)}_{b}(x,\xi,b)&=&\frac{ig^2C_F}{4P_1^+}
753: \int\frac{d^4l}{(2\pi)^4}{\bar u}(k)
754: \frac{\gamma^\nu(\not k-\not l)}{(k-l)^2 l^2}
755: \gamma_5\not n_-b(P_1-k)\frac{v_\nu}{v\cdot l}
756: \delta\left(\xi-x+\frac{l^+}{P_1^+}\right)
757: e^{-i{\bf l}_T\cdot {\bf b}}\;.
758: \label{p2bB}
759: \end{eqnarray}
760:
761: The loop integrands associated with Figs.~2(d) and 2(e)
762: are given by
763: \begin{eqnarray}
764: I_d^{(1)}&=& -ieg^2C_F {\bar u}(k)\not \epsilon
765: \frac{\not P_2 -\not k}{(P_2-k)^2}\gamma^\nu
766: \frac{\not P_2-\not k +\not l}{(P_2-k+l)^2} \gamma_\mu(1-\gamma_5)
767: \frac{\not P_1-\not k +\not l+m_b}{(P_1-k+l)^2-m_b^2}
768: \gamma_\nu b(P_1-k)
769: \frac{1}{l^2}\;,
770: \label{i2dB}
771: \\
772: I_e^{(1)}&=& ieg^2C_F {\bar u}(k)\gamma_\nu
773: \frac{\not k -\not l}{(k-l)^2}
774: \not \epsilon
775: \frac{\not P_2 -\not k+\not l}{(P_2-k+l)^2}\gamma^\nu
776: \frac{\not P_2-\not k}{(P_2-k)^2}
777: \gamma_\mu(1-\gamma_5)b(P_1-k)
778: \frac{1}{l^2}\;,
779: \label{i2eB}
780: \end{eqnarray}
781: respectively. Neglecting the subleading terms proportional to $\not k$
782: and $\not l$ in the numerators in comparison with $\not P_2$,
783: we have the eikonal approximation,
784: \begin{eqnarray}
785: \frac{\not P_2-\not k}{(P_2-k)^2}\gamma^\nu
786: \frac{\not P_2-\not k+\not l}{(P_2-k+l)^2}
787: \approx
788: \frac{n_-^\nu }{n_-\cdot l}
789: \Biggl[ \frac{1}{(P_2-k)^2}- \frac{1}{(P_2-k+l)^2} \Biggr]\not P_2\;,
790: \end{eqnarray}
791: similar to Eq.~(\ref{pi}).
792: Inserting the Fierz identity, we extract the $O(\alpha_s)$ wave functions,
793: \begin{eqnarray}
794: \phi^{(1)}_{d}(x,\xi,b)&=&
795: \frac{-ig^2C_F}{4P_1^+}\int\frac{d^4l}{(2\pi)^4}
796: {\bar u}(xP_1)\gamma_5\not n_- b(P_1-k)
797: \frac{1}{l^2}\frac{n_-\cdot v}{n_-\cdot l v\cdot l}
798: \nonumber\\
799: & &\times\left[\delta(\xi-x)-\delta\left(\xi-x+\frac{l^+}{P_1^+}\right)
800: e^{-i{\bf l}_T\cdot {\bf b}}\right]\;,
801: \label{p2dB}\\
802: \phi^{(1)}_{e}(x,\xi,b) &=&
803: \frac{ig^2C_F}{4P_1^+}\int\frac{d^4l}{(2\pi)^4}
804: {\bar u}(xP_1)\gamma_\nu\frac{\not k-\not l}{(k-l)^2}
805: \gamma_5\not n_- b(P_1-k)
806: \frac{1}{l^2}\frac{n_-^\nu}{n_-\cdot l}
807: \nonumber\\
808: & &\times\left[\delta(\xi-x)-\delta\left(\xi-x+\frac{l^+}{P_1^+}\right)
809: e^{-i{\bf l}_T\cdot {\bf b}}\right]\;.
810: \label{p2eB}
811: \end{eqnarray}
812: The eikonal approximation in Eq.~(\ref{appII}) has been
813: applied. Figure~2(f) does not have the soft divergence due to the
814: off-shell internal quark.
815:
816: It is obvious that the above $O(\alpha_s)$ parton-level wave functions
817: are similar to those derived in Sec.~II: the eikonal line in $n_-$ is
818: the same as in collinear factorization, and the integrands contain the additional Fourier factor $\exp(-i{\bf l}_T\cdot {\bf b})$, when the
819: loop momentum flows through the hard amplitude. The decomposition in
820: Eq.~(\ref{dec}) and the procedure for the all-order proof presented in
821: Sec.~II apply to the $B\to \gamma l{\bar \nu}$ decay. We construct a
822: gauge-invariant light-cone $B$ meson wave function,
823: \begin{eqnarray}
824: \phi_+(x,b)&=&i\int\frac{dy^-}{2\pi }e^{-ix P_1^+y^-}
825: \langle 0|{\bar u}(y)\gamma_5\gamma^+
826: P\exp\left[-ig\int_0^{y}ds\cdot A(s)\right]b_v(0)
827: |B(P_1)\rangle\;,
828: \end{eqnarray}
829: where $b_v$ is the rescaled $b$ quark field characterized by the velocity
830: $v$. The lowest-order hard amplitude in the $b$ space is given by
831: Eq.~(\ref{psi0}) with
832: \begin{eqnarray}
833: {\cal H}^{(0)}(\xi,l_T)&=&-e
834: \frac{tr[\not \epsilon \not P_2 \gamma_\mu(1-\gamma_5)
835: (\not P_1+M_B)(\not n_+/\sqrt{2})\gamma^5]}{2\xi P_1\cdot P_2+l_T^2}\;,
836: \end{eqnarray}
837: where the momentum fraction $\xi$ is defined by $\xi= (k^+-l^+)/P_1^+$.
838: The above expression can be derived by
839: considering an off-shell $\bar u$ quark of the momentum
840: $(\xi P_1^+,0,-{\bf l}_T)$, and the leading structure
841: $(\not P_1+M_B)(\not n_+/\sqrt{2})\gamma^5$ associated with the
842: $B$ meson, which is the same as in collinear factorization.
843:
844: As emphasized in the Introduction, the semileptonic decay
845: $B\to\pi l\bar\nu$, because of the end-point singularities (the failure
846: of collinear factorization), demands $k_T$ factorization. Its all-order
847: proof is also performed in the same way. Note that for this mode,
848: both the leading-twist $B$ meson wave functions $\phi_\pm$, associated
849: with the structures $\gamma_5\gamma^\pm$, contribute \cite{L1}.
850:
851:
852: \section{DISCUSSION}
853:
854: We have explained that the range of a parton momentum
855: fraction $x$ in exclusive processes, contrary to that in inclusive
856: processes, is not experimentally controllable. Hence, the end-point
857: region with a small $x$ is not avoidable. If a hard amplitude develops
858: an end-point singularity in collinear factorization, implying the
859: importance of the end-point region, $k_T$ factorization must be employed.
860: Exclusive $B$ meson decays belong to this category, for which
861: $k_T$ factorization is a more appropriate tool. We have proved $k_T$
862: factorization theorem for the processes $\pi\gamma^*\to \gamma(\pi)$ and
863: $B\to\gamma(\pi) l\bar\nu$ in this paper. The proof performed in the
864: impact parameter $b$ space indicates that collinear factorization is the
865: $b\to 0$ limit of $k_T$ factorization.
866:
867: The prescriptions for determining wave functions and
868: hard amplitudes in $k_T$ factorization theorem are summarized as
869: follows:
870:
871: $\bullet$ A two-parton $b$-dependent wave function is factorized
872: from parton-level diagrams in a way the same as in collinear
873: factorization (for example, under the same eikonal approximation), but the loop integrand is associated with an additional Fourier factor
874: $\exp(-i{\bf l}_T\cdot {\bf b})$, when the loop momentum $l$ flows through
875: a hard amplitude.
876:
877: $\bullet$ A $k_T$-dependent hard amplitude is obtained in a way the same
878: as in collinear factorization, but considering off-shell external
879: partons, which carry the fractional momenta $k=xP+{\bf k}_T$ ($k^2=-k_T^2$),
880: $P$ being the external meson momenta. Then Fourier transform this hard
881: amplitude into the $b$ space.
882:
883: $\bullet$ The insertion of the Fierz identity to separate the fermion
884: flow between a wave function and a hard amplitude is the same as
885: in collinear factorization. Take the process $\pi\gamma^*\to\pi$
886: discussed in Sec.~II as an example. Up to the twist-3 accuracy for
887: the initial pion, adopt the structures $\gamma_5\gamma^+$, $\gamma_5$
888: and $\gamma_5\sigma^{\alpha\beta}$ with $\alpha,\beta=\pm$, {\it i.e.},
889: without the $\perp$ components.
890:
891: Under the above prescriptions, the Wilson link for the $b$-dependent wave
892: function is the same as in collinear factorization, but with a shift
893: ${\bf b}$ between the two pieces of paths along the light cone. Both the
894: $b$-dependent two-parton meson wave functions and hard amplitudes are
895: gauge-invariant in $k_T$ factorization, without introducing three-parton
896: wave functions. Therefore, predictions for a physical quantity obtained
897: from $k_T$ factorization theorem are gauge-invariant. For inclusive
898: processes in small $x_B$ physics, the gauge invariance of the
899: unintegrated gluon distribution function and of the hard subprocess
900: of reggeized gluons, being also off-shell by $-k_T^2$, is ensured in a
901: similar way. The distinction is that the structures of $\gamma$-matrices
902: from the Fierz identity are replaced by eikonal vertices, which contain
903: only the longitudinal components \cite{CE}.
904:
905: There are more differences between the $k_T$ factorizations of inclusive
906: and exclusive processes. Inclusive processes involve a single scale,
907: and only single logarithms. Exclusive processes involve two scales (when
908: a valence parton is soft, another is fast), and double logarithms. That
909: is, no rapidity ordering is assumed \cite{LL}. Hence, the required
910: resummation techniques are different. The definition of meson wave
911: functions constructed in this work serves as the starting point of $k_T$
912: resummation \cite{CS,L96,MR}. The resultant Sudakov factor smears the
913: end-point singularity in the semileptonic decay $B\to\pi l\bar\nu$ by
914: increasing the magnitude of $k_T$ though infinite many gluon exchanges.
915: The perturbative expansion of decay amplitudes then makes sense.
916: Certainly, this conclusion needs to be justified by evaluating
917: next-to-leading-order corrections in $\alpha_s$ in $k_T$ factorization
918: theorem. If higher-order contributions converge quickly enough, the
919: PQCD approach to exclusive $B$ meson decays will be theoretically solid.
920:
921: In our next work we shall construct $k_T$ factorization of
922: two-body nonleptonic $B$ meson decays. Below we briefly compare the
923: phenomenological consequences for these
924: decays derived from collinear and $k_T$ factorizations,
925: mentioning only the CP asymmetry in
926: $B_d^0\to\pi^+\pi^-$ mode. According to the power counting rules of
927: QCDF \cite{BBNS} based on collinear factorization, the
928: factorizable emission diagram in Fig.~5(a) gives the leading contribution
929: of $O(\alpha_s^0)$, since the $B\to\pi$ form factor $F^{B\pi}$ is not
930: calculable. Because Fig.~5(a) is real, the strong phase arises from the
931: factorizable annihilation diagram in Fig.~5(b), being of
932: $O(\alpha_s m_0/M_B)$, and from the vertex correction in Fig.~5(c),
933: being of $O(\alpha_s)$. For $m_0/M_B$ slightly smaller than unity,
934: Fig.~5(c) is the leading source of strong phases in collinear
935: factorization (QCDF). In $k_T$ factorization the power counting rules
936: change. The factorizable emission diagram is calculable and of
937: $O(\alpha_s)$ as indicated in Fig.~5(d). The factorizable annihilation
938: diagram has the same power counting as for Fig.~5(b). The vertex
939: correction becomes of $O(\alpha_s^2)$ as shown in Fig.~5(e).
940: Therefore, Fig.~5(b) contributes the leading strong phase in $k_T$
941: factorization (PQCD). The strong phases from Fig.~5(b) and 5(c)
942: are opposite in sign, and the former has a large magnitude. This is the
943: reason QCDF prefers a small and positive CP asymmetry $C_{\pi\pi}$
944: \cite{Ben}, while PQCD prefers a large and negative
945: $C_{\pi\pi}\sim -30\%$ \cite{KLS,LUY,Keum}. It is expected that
946: in the near future the two different approaches to exclusive $B$ meson
947: decays, based on collinear and $k_T$ factorizations, could be
948: distinguished by experiments \cite{Nir,Ros}.
949:
950: \vskip 0.3cm
951: We thank J. Kodaira, Y. Koike, T. Morozumi, G. Sterman, and K. Tanaka for
952: useful discussions. The work was supported in part by the National Science
953: Council of R.O.C. under Grant No. NSC-91-2112-M-001-053, by the National
954: Center for Theoretical Sciences of R.O.C., and by Theory Group of KEK,
955: Japan.
956:
957:
958: \begin{thebibliography}{99}
959: \bibitem{Ste} G. Sterman, {\it An Introduction to Quantum Field Theory},
960: Cambridge, 1993.
961: \bibitem{CCH} S. Catani, M. Ciafaloni and F. Hautmann, Phys. Lett.
962: B {\bf 242}, 97 (1990); Nucl. Phys. {\bf B366}, 135 (1991).
963: \bibitem{CE} J.C. Collins and R.K. Ellis, Nucl. Phys. {\bf B360}, 3 (1991).
964: \bibitem{LRS} E.M. Levin, M.G. Ryskin, Yu.M. Shabelskii,
965: and A.G. Shuvaev, Sov. J. Nucl. Phys. {\bf 53}, 657 (1991).
966: \bibitem{BL} G.P. Lepage and S.J. Brodsky, Phys. Lett. B {\bf 87},
967: 359 (1979); Phys. Rev. D {\bf 22}, 2157 (1980).
968: \bibitem{ER} A.V. Efremov and A.V. Radyushkin, Phys. Lett. B {\bf 94}, 245
969: (1980).
970: \bibitem{CZS} V.L. Chernyak, A.R. Zhitnitsky, and V.G. Serbo,
971: JETP Lett. {\bf 26}, 594 (1977).
972: \bibitem{CZ} V.L. Chernyak and A.R. Zhitnitsky,
973: Sov. J. Nucl. Phys. {\bf 31}, 544 (1980); Phys. Rep. {\bf 112}, 173 (1984).
974: \bibitem{BS} J. Botts and G. Sterman, Nucl. Phys. {\bf B225}, 62 (1989).
975: \bibitem{LS} H-n. Li and G. Sterman, Nucl. Phys. {\bf B381}, 129 (1992).
976: \bibitem{LFF} P. Jain {\it et al.}, Nucl. Phys. {\bf A666}, 75 (2000);
977: H-n. Li, Nucl. Phys. {\bf A684}, 304 (2001) and references therein.
978: \bibitem{LY1} H-n. Li and H.L. Yu, Phys. Rev. Lett. {\bf 74}, 4388 (1995);
979: Phys. Lett. B {\bf 353}, 301 (1995); Phys. Rev. D {\bf 53}, 2480 (1996).
980: \bibitem{CL} C.H. Chang and H-n. Li, Phys. Rev. D {\bf 55}, 5577 (1997).
981: \bibitem{YL} T.W. Yeh and H-n. Li, Phys. Rev. D {\bf 56}, 1615 (1997).
982: \bibitem{KLS} Y.Y. Keum, H-n. Li, and A.I. Sanda,
983: Phys. Lett. B {\bf 504}, 6 (2001); Phys. Rev. D {\bf 63}, 054008 (2001);
984: Y.Y. Keum and H-n. Li, Phys. Rev. {\bf D63}, 074006 (2001).
985: \bibitem{BBNS} M. Beneke, G. Buchalla, M. Neubert, and C.T. Sachrajda,
986: Phys. Rev. Lett. {\bf 83}, 1914 (1999);
987: Nucl. Phys. {\bf B591}, 313 (2000).
988: \bibitem{SHB} A. Szczepaniak, E.M. Henley, and S. Brodsky,
989: Phys. Lett. B {\bf 243}, 287 (1990).
990: %\bibitem{DGS} S. Descotes-Genon and C.T. Sachrajda, Nucl. Phys.
991: %{\bf B625}, 239 (2002).
992: %\bibitem{KR} A. Khodjamirian and R. Ruckl, Phys. Rev. D {\bf 58}, 054013
993: %(1998).
994: \bibitem{TLS} T. Kurimoto, H-n. Li, and A.I. Sanda,
995: Phys. Rev D {\bf 65}, 014007 (2002).
996: \bibitem{L5} H-n. Li, hep-ph/0102013, to appear in Phys. Rev. D.
997: \bibitem{WY} Z.T. Wei and M.Z. Yang, hep-ph/0202018, to appear in
998: Nucl. Phys. B.
999: \bibitem{L1} H-n. Li, Phys. Rev. D {\bf 64}, 014019 (2001); M. Nagashima
1000: and H-n. Li, hep-ph/0202127.
1001: \bibitem{CS2} J.C. Collins and D.E. Soper, Nucl. Phys. {\bf B194}, 445
1002: (1982).
1003: \bibitem{DS} S. Descotes-Genon and C.T. Sachrajda, hep-ph/0209216;
1004: E. Lunghi, D. Pirjol, and D. Wyler, hep-ph/0210091;
1005: but see also G.P. Korchemsky, D. Pirjol, and T.M. Yan,
1006: Phys. Rev. D 61 (2000) 114510.
1007: \bibitem{LL} H-n. Li, Phys. Lett. B {\bf 405}, 347 (1997); hep-ph/9703328;
1008: H-n. Li and J.L. Lim, Eur. Phys. J. C {\bf 10}, 319 (1999).
1009: \bibitem{CS} J.C. Collins and D.E. Soper, Nucl. Phys. {\bf B193}, 381
1010: (1981).
1011: \bibitem{L96} H-n. Li, Phys. Rev. D {\bf 55}, 105 (1997).
1012: \bibitem{MR} I.V. Musatov and A.V. Radyushkin, Phys. Rev. D {\bf 56},
1013: 2713 (1997).
1014: \bibitem{Ben} M. Beneke, hep-ph/0207228.
1015: \bibitem{LUY} C. D. L\"{u}, K. Ukai, and M. Z. Yang, Phys. Rev. D {\bf 63},
1016: 074009 (2001).
1017: \bibitem{Keum} Y.Y. Keum, H-n. Li, and A.I. Sanda, hep-ph/0201103;
1018: Y.Y. Keum, hep-ph/0209002; hep-ph/0209208; Y.Y. Keum and A.I. Sanda,
1019: hep-ph/0209014.
1020: \bibitem{Nir} Y. Nir, hep-ph/0208080.
1021: \bibitem{Ros} J. Rosner, hep-ph/0208243.
1022: \end{thebibliography}
1023:
1024:
1025: \noindent
1026: {\bf FIG. 1} Lowest-order diagrams for the process
1027: $\pi\gamma^\ast \to\gamma$.
1028:
1029: \noindent
1030: {\bf FIG. 2} $O(\alpha_s)$ corrections to Fig.~1(a).
1031:
1032: \noindent
1033: {\bf FIG. 3} The path for the Wilson link in a $b$-dependent
1034: two-parton meson wave function.
1035:
1036: \noindent
1037: {\bf FIG. 4} (a) Ward identity. (b) Factorization of ${\cal G}^{(N+1)}$.
1038:
1039: \noindent
1040: {\bf FIG. 5} Diagrams contributing to the $B_d^0\to\pi^+\pi^-$ decay.
1041:
1042:
1043: \end{document}
1044:
1045:
1046:
1047: %%%%%%%%%%%%%%%%%
1048: \appendix
1049: \section{$O(\alpha_s)$ CORRECTIONS TO FIG.~1(A)}
1050:
1051: Also we have the approximation,
1052: \begin{eqnarray}
1053: \frac{1}{(P_2-xP_1)^2(P_2-xP_1+l)^2} &\approx&
1054: \frac{1}{2P_2\cdot l} \Bigl[
1055: \frac{1}{(P_2-xP_1)^2}-\frac{1}{(P_2-xP_1+l)^2} \Bigr]\; ,
1056: \end{eqnarray}
1057: because of $P_2\cdot l \gg P_1\cdot l \approx l_T^2$.
1058:
1059: Therefore, we obtain the factorized expression
1060: \begin{eqnarray}
1061: I^{(d)}_{P_1\parallel l} &=&
1062: \frac{-ig^2C_F}{4P_1^+}
1063: {\bar u}(xP_1)\Bigl[(\gamma^5\not n_-)
1064: \frac{ {\bar x}\not P_1+\not l}{({\bar x}P_1+l)^2l^2}
1065: \gamma^\nu \Bigr] u({\bar x}P_1)
1066: \frac{1}{l^2}\frac{n_{-\nu}}{n_-\cdot l}
1067: \nonumber \\
1068: & & \times
1069: (ie^2\omega)\Bigl[
1070: \frac{tr[\not \epsilon (\not P_2-x\not P_1)
1071: \gamma_\mu \not P_1\gamma^5]}{ 2xP_1\cdot P_2}
1072: -
1073: \frac{tr[\not \epsilon (\not P_2-x\not P_1 +\not l)
1074: \gamma_\mu \not P_1\gamma^5]}{(l_T^2 +2\xi P_1\cdot P_2)}
1075: \Bigr] P_1^+ \nonumber \\
1076: &=&
1077: \psi^{(1)}_d(x,\xi,l_T)\bigl[
1078: {\cal H}^{(0)}(x,l_T=0) - {\cal H}^{(0)}(\xi,l_T)
1079: \bigr]
1080: \;,
1081: \end{eqnarray}
1082: after inserting the Fierz identity.
1083:
1084: The function $\psi^{(1)}_{d}(x,\xi,l_T)$ is defined as
1085: \begin{eqnarray}
1086: \psi^{(1)}_{d}(x,\xi,l_T)&=&
1087: \frac{-ig^2C_F}{4P_1^+}
1088: {\bar u}(xP_1)\Bigl[(\gamma^5\not n_-)
1089: \frac{ {\bar x}\not P_1+\not l}{({\bar x}P_1+l)^2}
1090: \gamma^\nu \Bigr] u({\bar x}P_1)
1091: \frac{1}{l^2}\frac{n_{-\nu}}{n_-\cdot l}.
1092: \end{eqnarray}
1093:
1094:
1095: The integrand associated with Fig.~2(e) is written as
1096: \begin{eqnarray}
1097: I^{(e)}&=& e^2g^2C_F\omega {\bar u}(xP_1)\gamma_\nu
1098: \frac{x\not P_1-\not l}{(xP_1-l)^2}
1099: \not \epsilon
1100: \frac{\not P_2-x\not P_1 +\not l}{(P_2-xP_1+l)^2} \nonumber \\
1101: & &\times
1102: \gamma_\nu
1103: \frac{\not P_2-x\not P_1}{(P_2-xP_1)^2}\gamma_\mu
1104: u({\bar x}P_1) \frac{1}{l^2}.
1105: \label{i2e}
1106: \end{eqnarray}
1107: Following the same procedure with Eq.~(\ref{i2d}),
1108: Eq.~(\ref{i2e}) is split into
1109: \begin{eqnarray}
1110: I^{(e)}_{P_1\parallel l} &=&
1111: \frac{ig^2C_F}{4P_1^+}
1112: {\bar u}(xP_1)\Bigl[\gamma^\nu\frac{x\not P_1-\not l}{(xP_1-l)^2}
1113: (\gamma^5\not n_-)\Bigr]
1114: u({\bar x}P_1)\frac{1}{l^2}\frac{n_{-\nu}}{n_-\cdot l}
1115: \nonumber \\
1116: & & \times
1117: (ie^2\omega)\Bigl[
1118: \frac{tr[\not \epsilon (\not P_2-x\not P_1)
1119: \gamma_\mu \not P_1\gamma^5]}{ 2xP_1\cdot P_2}
1120: -
1121: \frac{tr[\not \epsilon (\not P_2-x\not P_1 +\not l)
1122: \gamma_\mu \not P_1\gamma^5]}{(l_T^2 +2\xi P_1\cdot P_2)}
1123: \Bigr] P_1^+ \nonumber \\
1124: &=&
1125: \psi^{(1)}_e(x,\xi,l_T)\bigl[
1126: {\cal H}^{(0)}(x,l_T=0) - {\cal H}^{(0)}(\xi,l_T)
1127: \bigr]\;,
1128: \end{eqnarray}
1129: where
1130: \begin{eqnarray}
1131: \psi^{(1)}_{e}(x,\xi,l_T) &=&
1132: \frac{ig^2C_F}{4P_1^+}
1133: {\bar u}(xP_1)\Bigl[\gamma^\nu\frac{x\not P_1-\not l}{(xP_1-l)^2}
1134: (\gamma^5\not n_-)\Bigr]
1135: u({\bar x}P_1)\frac{1}{l^2}\frac{n_{-\nu}}{n_-\cdot l}.
1136: \end{eqnarray}
1137:
1138:
1139:
1140:
1141:
1142:
1143:
1144:
1145:
1146:
1147: