1: %\documentstyle[12pt,jsdraft]{article}
2: \documentclass[12pt]{article}
3: \usepackage{amsfonts,amsmath,amssymb}
4: \usepackage{graphicx}
5: \usepackage{epic,eepic,color,graphicx}
6:
7:
8:
9: % pagination
10: \renewcommand{\baselinestretch}{1.1}
11: \textwidth 156mm \textheight 230mm \topmargin 0pt \oddsidemargin 5mm
12: % generation of set of numbers symbols
13: \newfont{\twelvemsb}{msbm10 scaled\magstep1}
14: \newfont{\eightmsb}{msbm8}
15: \newfam\msbfam
16: \textfont\msbfam=\twelvemsb \scriptfont\msbfam=\eightmsb
17: \catcode`\@=11
18: \def\Bbb{\ifmmode\let\next\Bbb@\else
19: \def\next{\errmessage{Use \string\Bbb\space only in math mode}}\fi\next}
20: \def\Bbb@#1{{\fam\msbfam{{#1}}}}
21: % draft copy commands
22: \newcommand{\mynote}[1]{\marginpar{\footnotesize {#1}}}
23: % section and equation numbering for long articles
24: \newcommand{\resection}[1]{\setcounter{equation}{0}\section{#1}}
25: \newcommand{\appsection}{\addtocounter{section}{1}
26: \setcounter{equation}{0}
27: \section*{Appendix \Alph{section}}}
28: %\newcommand{\appsection}{\setcounter{equation}{0} \section*{Appendix}}
29: \renewcommand{\theequation}{\thesection.\arabic{equation}}
30: \newcommand{\be}{\begin{equation}}
31: \newcommand{\ee}{\end{equation}}
32: \newcommand{\ba}{\begin{eqnarray}}
33: \newcommand{\ea}{\end{eqnarray}}
34:
35:
36: \begin{document}
37:
38:
39: \sloppy
40: \renewcommand{\thefootnote}{\fnsymbol{footnote}}
41: \newpage
42: \setcounter{page}{1} \vspace{0.7cm}
43: \begin{flushright}
44: 17/04/08
45: \end{flushright}
46: \vspace*{1cm}
47: \begin{center}
48: {\bf Strong coupling for planar ${\cal N}=4$ SYM theory: an all-order result}\\
49: \vspace{1.8cm} {\large Davide Fioravanti $^a$, Paolo Grinza $^b$ and
50: Marco Rossi $^c$
51: \footnote{E-mail: fioravanti@bo.infn.it, pgrinza@usc.es, rossi@cs.infn.it}}\\
52: \vspace{.5cm} $^a$ {\em Sezione INFN di Bologna, Dipartimento di Fisica, Universit\`a di Bologna, \\
53: Via Irnerio 46, Bologna, Italy} \\
54: \vspace{.3cm} $^b${\em Departamento de Fisica de Particulas,
55: Instituto Galego de Fisica de Altas Enerxias (IGFAE), E-15782,
56: Universidade de Santiago de Compostela, Spain} \\
57: \vspace{.3cm} $^c${\em Dipartimento di Fisica, Universit\`a della
58: Calabria, I-87036 Arcavacata di Rende, Cosenza, Italy}
59: \end{center}
60: \renewcommand{\thefootnote}{\arabic{footnote}}
61: \setcounter{footnote}{0}
62: \begin{abstract}
63: {\noindent We propose a scheme for determining a generalised scaling
64: function, namely the Sudakov factor in a peculiar double scaling
65: limit for high spin and large twist operators belonging to the $sl(2)$
66: sector of planar ${\cal N}=4$ SYM. In particular, we perform
67: explicitly the all-order computation at strong 't Hooft coupling
68: regarding the first (contribution to the) generalised scaling
69: function. Moreover, we compare our asymptotic results with the
70: numerical solutions finding a very good agreement and evaluate
71: numerically the non-asymptotic contributions. Eventually, we illustrate
72: the agreement and prediction on the string side.}
73: \end{abstract}
74: %\vspace{4cm}
75: %{\noindent {\it Keywords}}: Integrability; counting function;
76: %non-linear integral equation; SYM theories. \\
77:
78: \newpage
79:
80:
81: \section{On the set-up}
82: The $sl(2)$ sector of ${\cal N}=4$ SYM contains local composite
83: operators of the form
84: \begin{equation}
85: {\mbox {Tr}} ({\cal D}^s {\cal Z}^L)+.... \, , \label {sl2op}
86: \end{equation}
87: where ${\cal D}$ is the (symmetrised, traceless) covariant
88: derivative acting in all possible ways on the $L$ bosonic fields
89: ${\cal Z}$. The spin of these operators is $s$ and $L$ is the
90: so-called 'twist'. Moreover, this sector would be described -- via
91: the AdS/CFT correspondence \cite {MWGKP} -- by string states on the
92: $\text{AdS}_5\times\text{S}^5$ spacetime with $\text{AdS}_5$ and
93: $\text{S}^5$ charges $s$ and $L$, respectively. Moreover, as far as
94: the one loop is concerned, the Bethe Ansatz problem is equivalent to
95: that of twist operators in QCD \cite{LIP, BDM}. \footnote{A deep
96: reason for that may be that one loop QCD still shows up conformal
97: invariance, albeit integrability does not seem to hold in full
98: generality (for instance, it apparently imposes aligned partonic
99: helicities).}
100:
101:
102: Proper superpositions of operators (\ref {sl2op}) have definite
103: anomalous dimension $\Delta$ depending on $L$, $s$ and the `t Hooft
104: coupling $\lambda = 8 \pi^2 g^2$:
105: \begin{equation}
106: \Delta = L+s+\gamma (g,s,L) \, , \label{Delta}
107: \end{equation}
108: where $\gamma (g,s,L)$ is the anomalous part. A great boost in the
109: evaluation of $\gamma (g,s,L)$ in another sector has come from the
110: discovery of integrability for the the purely bosonic $so(6)$
111: operators at one loop \cite {MZ}. Later on, this fact has been
112: extended to the whole theory and at all loops in the sense that, for
113: instance, any operator of the form (\ref {sl2op}) is associated to
114: one solution of some Bethe Ansatz-like equations and then any
115: anomalous dimension is expressed in terms of one solution \cite
116: {BES}. Nevertheless, along with this host of new results an
117: important limitation emerged as a by-product of the {\it on-shell}
118: (S-matrix) Bethe Ansatz: when the interaction range had been greater
119: than the chain length, then unpredicted {\it wrapping effects} would
120: have modified the same. More precisely, the anomalous dimension is
121: {\it in general} correct up to the $L-1$ loop in the convergent,
122: perturbative expansion, i.e. up to the order $g^{2L-2}$. Which in
123: particular implies, -- fortunately for us, -- that the {\it
124: asymptotic} Bethe Ansatz gives the right result whenever the $L
125: \rightarrow \infty$ limit is applied.
126:
127:
128: In this limit an important double scaling may be considered on both
129: sides of the correspondence \footnote{Actually, in string theory
130: (semi-classical calculations) the $\lambda\rightarrow +\infty$ limit
131: needs consideration before any other (cf. for instance \cite{FTT}
132: and references therein), thus implying a different limit order with
133: respect to our gauge theory approach (cf. below for more details).}:
134: \begin{equation}
135: s \rightarrow \infty \, , \quad L \rightarrow \infty \, , \quad
136: j=\frac {L}{\ln s}={\mbox {fixed}} \, . \label {jlimit}
137: \end{equation}
138: In fact, the relevance of this logarithmic scaling for the anomalous
139: dimension has been pointed out in \cite{BGK} within the one-loop SYM
140: theory and then in \cite{FTT} and \cite{AM} within the string theory
141: (strong coupling $g\gg 1$). Moreover, by describing the anomalous
142: dimension through a non-linear integral equation \cite{FRS} (like in other
143: integrable theories \cite{FMQR}), it has been recently conjectured
144: the Sudakov scaling \cite{AM}
145: \begin{equation}
146: \gamma (g,s,L)=f(g,j)\ln s + O((\ln s)^{-\infty}) \, ,
147: \end{equation}
148: thus indeed generalising to all loops the analogous result of \cite{BGK}.
149: \footnote{$O((\ln s)^{-\infty})$ means a remainder which goes faster
150: that any power of $\ln s$: $\lim\limits_{s \rightarrow \infty} (\ln
151: s)^k O((\ln s)^{-\infty}) =0, \forall \, k>0$.} Actually, this
152: statement was argued by computing iteratively the solution of some
153: integral equations and then, thereof, {\it the generalised scaling
154: function}, $f(g,j)$ at the first orders in $j$ and $g^2$: more
155: precisely the first orders in $g^2$ have been computed for the first {\it
156: generalised scaling functions} $f_n(g)$, forming
157: \begin{equation}
158: f(g,j)=\sum _{n=0}^{\infty} f_n(g)j^n \, .
159: \end{equation}
160: As a by-product, the reasonable conjecture has been put forward that
161: the two-variable function $f(g,j)$ should be analytic (in
162: $g$ for fixed $j$ and in $j$ for fixed $g$). In \cite{BFR2} similar
163: results have been derived for what concerns the contribution beyond
164: the leading scaling function $f(g)=f_0(g)$, but with a modification
165: (see also \cite{BFR1} for the general idea) which has
166: allowed us to neglect the non-linearity for finite $L$ and to end-up with one
167: linear integral equation. The latter does not differ from the
168: BES one (which cover the case $j=0$, cf. the last of \cite{BES}), but for the
169: inhomogeneous term, which is an integral on the one loop root density.
170: In this respect, we have thought interesting the analysis of the
171: next-to-leading-order (nlo)
172: term -- still coming, for finite $L$, from an asymptotic Bethe Ansatz --,
173: as the leading order $f(g)$ has been conjectured to be independent of $L$
174: or {\it universal} (penultimate reference of \cite{BES}, after the one loop
175: proof by \cite{BGK}).
176:
177: For instance, the linearity in $L$ of this nlo term and other features
178: have furnished us the {\it inspiration} for the present calculations.
179: In this respect, we deem useful to briefly introduce in the next Section
180: a suitable modification of the aforementioned method such that it applies
181: to the regime (\ref{jlimit}) (still for any $g$ and $j$). In principle, we
182: might in this way determine the generalised scaling function
183: $f(g,j)$, and also its {\it constituents} $f_n(g)$. As a
184: consequence of the full range of $g$ we can work out not only
185: the weak coupling expansion, but also the exact strong coupling
186: evaluations (here only for the simplest case concerning $f_1(g)$), and to perform an
187: {\it all} $g$ numerical work. Eventually, we shall highlight the concise style of the present
188: publication, in that a next one with much more details shall be coming out
189: rather soon.
190:
191:
192:
193: \section{Computing the generalised scaling function}
194: \setcounter{equation}{0}
195:
196: Because of integrability in ${\cal N}=4$ SYM, we have been
197: finding useful \cite{NOI} to rewrite the Bethe equations as non-linear
198: integral equations, whose integration range is, even for massive
199: excited states (holes and complex roots), $(-\infty,+\infty)$ \cite{FMQR}.
200: More recently \cite{BFR2, BFR1}, we have developed a new technique
201: in order to cope with an integration
202: interval that may be kept finite, having in mind the peculiar case of
203: the $sl(2)$ sector with two holes external to all the roots \cite{BGK, BES, FRS}.
204: With reference in the entire Section to \cite{BFR2}, the non-linear integral
205: equation for the $sl(2)$ sector involves two functions $F(u)$ and
206: $G(u,v)$ satisfying linear equations. Splitting $F(u)$ into its one-loop
207: and higher loop contributions, $F_0(u)$ and $F^H(u)$ respectively, the latter
208: has been shown to satisfy (cf. (4.10) and (4.11) of \cite{BFR2}):
209: \begin{eqnarray}
210: \sigma _{H}(u)&=& -iL \frac {d}{du} \ln \left ( \frac {1+\frac {g^2}
211: {2{x^-(u)}^2}}{1+\frac {g^2}{2{x^+(u)}^2}} \right ) +
212: \nonumber \\
213: &-& \frac {i}{\pi} \int _{-b_0}^{b_0} dv \frac {d}{du}\left [ \ln
214: \left ( \frac {1-\frac {g^2}{2x^+(u)x^-(v)} }{1-\frac
215: {g^2}{2x^-(u)x^+(v)}} \right )
216: +i \theta (u,v) \right ] [\sigma _0(v)+2\pi \delta_h (v)]+ \nonumber \\
217: &+&\int _{-\infty}^{+\infty} \frac {dv}{\pi} \frac {1}{1+(u-v)^2} [\sigma _{H}(v)+2\pi\eta_h(v)]- \label {sigmaeq} \\
218: &-& \frac {i}{\pi} \int _{-\infty}^{+\infty} dv \frac {d}{du} \left
219: [ \ln \left ( \frac {1-\frac {g^2}{2x^+(u)x^-(v)} }{1- \frac
220: {g^2}{2x^-(u)x^+(v)}} \right )+i \theta (u,v) \right ] \sigma
221: _{H}(v) +O((\ln s)^{-\infty})\, , \nonumber
222: \end{eqnarray}
223: which holds when $s\rightarrow \infty$ once introduced in equation
224: (4.10) of \cite{BFR2} the Bethe roots densities \footnote{The actual
225: positive densities would also have a factor $-1/(2\pi)$ in front \cite{BFR2}.}
226: $\sigma _H(u) =\frac {d}{du}
227: F^H(u)$, $g$-dependent, and $\sigma _0(u)=\frac {d}{du} F_0(u)$,
228: $g$-independent \footnote {The dependence $b_0(s)=s/2+O(s^0)$ comes out
229: from the normalisation of the density $\sigma _0(u)$ \cite {BFR2}.}.
230: Here the hole contributions given by
231: $\delta_h (v)= (L-2)\delta (v)+ O(L^2/\ln s)$ \, and $\eta_h(v)=O(L^2/\ln s)$
232: depend on the logarithmic scaling to zero of the
233: internal holes. Moreover, the solution of (\ref{sigmaeq})
234: yields the anomalous dimension in the large spin limit while neglecting
235: the non-linear convolution term \footnote{We also have some numerical
236: evidence supporting this fact.}:
237: \begin{eqnarray}
238: \gamma (g,s,L)&=&-g^2\int _{-b_0}^{b_0}\frac {dv}{2\pi} \left [\frac
239: {i}{x^+(v)}-\frac {i}{x^-(v)}\right ] [\sigma _0(v)+2\pi \delta_h (v)] -\nonumber \\
240: &-& g^2\int _{-\infty}^{+\infty}\frac {dv}{2\pi} \left [\frac
241: {i}{x^+(v)}-\frac {i}{x^-(v)}\right ] \sigma_H(v) + O((\ln s)^{-\infty}) =
242: \label{egs} \\
243: &=& \frac {1}{\pi} \hat \sigma _H(k=0) + O((\ln
244: s)^{-\infty}) \label {egs2}\, ,
245: \end{eqnarray}
246: where the last equality is a generalisation of the analogue in \cite{KL}.
247:
248: As we are just neglecting terms smaller than any inverse logarithm,
249: $O((\ln s)^{-\infty})$, we can efficiently consider the double scaling limit (\ref {jlimit}).
250: Looking at (\ref{sigmaeq}), the r.h.s. is made up of seven terms, among which
251: the first is explicit and the last uninfluential. On the contrary, the third
252: and the fifth integral reflect two different kinds of important hole
253: contributions. Nevertheless, thanks to the quoted scaling
254: $\delta_h (v)= (L-2)\delta (v)+ O(L^2/\ln s)$ \, and $\eta_h(v)=O(L^2/\ln s)$,
255: these integrals enjoy an expansion about $j=0$ (similar to the following one)
256: contributing only with the
257: Dirac delta function to $f_1(g)$, and the remainder (in particular the all
258: $\eta_h(v)$) to the higher $f_n(g), \, n=2,3,\dots$\,. And last but not least, the second
259: term determines the inhomogeneous (or forcing) term as a series about $j=0$ via the
260: density $\sigma _0(u)$, by virtue of the {\it logarithmic expansion} \cite{BGK, FRS}
261: of the one-loop theory \cite{BFR2}:
262: \begin{equation}
263: -\frac {i}{\pi} \int _{-b_0}^{b_0} dv \frac {d}{du}\left [ \ln \left
264: ( \frac {1-\frac {g^2}{2x^+(u)x^-(v)} }{1-\frac
265: {g^2}{2x^-(u)x^+(v)}} \right ) +i \theta (u,v) \right ] \sigma
266: _0(v)= \left[ \sum _{n=0}^{\infty}\phi _n(u)j^n \right] \ln s + O((\ln
267: s)^{-\infty}) \, .
268: \end{equation}
269: In fact, this series shall follow from the solution (in the scaling
270: (\ref{jlimit})) of the linear integral equation for the one
271: loop density $\sigma _0(u)$ (equation (4.9) of \cite {BFR2}), which determines
272: all the functions $\phi _n(u)$. As a consequence, the solution of (\ref{sigmaeq})
273: inherits the same form of the forcing term
274: \begin{equation}
275: \sigma _H(u)= \left[ \sum _{n=0}^{\infty} \sigma
276: _H^{(n)}(u)j^n \right] \ln s + O((\ln s)^{-\infty}) \, .
277: \end{equation}
278: Eventually, all the generalised scaling functions $f(g,j)$ and
279: $f_n(g)$ may be computed, in principle, via the equality (\ref{egs2}).
280: From now on, we will restrict ourselves to the first order beyond the $j=0$
281: theory \cite{BES}, i.e. $\sigma _H^{(1)}(u)$ and
282: $f_1(g)$.
283:
284:
285:
286: \section{The first generalised scaling function}
287: \setcounter{equation}{0}
288:
289: In \cite{BFR2} we have found a way to compute the Stieltjes
290: integrals with measure induced by the one loop-density $\sigma _0(v)$
291: on the support $(-b_0,b_0)$ via an {\it effective} density
292: $\sigma _0^{(b_0)}(v)$ on support $(-\infty,+\infty)$
293: \begin{equation}
294: \int _{-b_0}^{b_0} dv \sigma _0(v) q(v)= \int _{-\infty}^{\infty} dv
295: \sigma _0^{(b_0)}(v) q(v) +O(1/\ln s ) \, , \label{1loop}
296: \end{equation}
297: where the Fourier transform of the function $\sigma _0^{(b_0)}(v)$ reads
298: explicitly
299: \begin{equation}
300: \hat \sigma _0^{(b_0)}(k)=-4\pi \frac {\frac {L}{2}-e^{-\frac {|k|}{2}}
301: \cos \frac {ks}{\sqrt {2}}} {2\sinh \frac {|k|}{2}}+2\pi (L-2) \frac
302: {e^{-\frac {|k|}{2}}}{2\sinh \frac {|k|}{2}}-4\pi \delta (k) \ln 2
303: \, ,
304: \end{equation}
305: and $q(v)$ is a suitable test-function. Therefore, we can compute exactly
306: the functions $\phi_0(u)$ and $\phi_1(u)$
307: and thus write down the linear integral equations for $\sigma _{H}^{(0)}(u)$ and
308: $\sigma _{H}^{(1)}(u)$ respectively. Of course, the equation for
309: $\sigma _{H}^{(0)}(u)$ is the BES equation \cite{BES}, whilst that about
310: $\sigma _{H}^{(1)}(u)$ is a novelty. We may find still convenient to manipulate the
311: Fourier transforms defining the even function
312: \begin{equation}
313: s(k)= \frac {2\sinh \frac {|k|}{2}}{2\pi |k|}\hat\sigma _H^{(1)}(k)
314: \label {Sdef} \, ,
315: \end{equation}
316: which has the important property (induced by (\ref{egs2}))
317: \begin{equation}
318: s(0)=\frac {1}{2}f_1(g) \, . \label {sf_1}
319: \end{equation}
320: If we introduce for convenience the functions
321: \begin{equation}
322: a_r(g)=\int _{-\infty}^{+\infty}\frac {dh}{h} J_{r}({\sqrt
323: {2}}gh)\frac {1}{1+e^{\frac {|h|}{2}}} \, , \quad \bar a_r(g)=\int
324: _{-\infty}^{+\infty}\frac {dh}{|h|} J_{r}({\sqrt {2}}gh)\frac
325: {1}{1+e^{\frac {|h|}{2}}} \, ,
326: \end{equation}
327: and re-cast the integration inside the domain $k\geq 0$, the integral equation
328: for $s(k)$ takes the form
329: \begin{eqnarray}
330: s(k)&=&\frac {1-J_0({\sqrt {2}}gk)}{k}-\sum _{p=1}^{\infty}2p \bar a_{2p}(g)\frac {J_{2p}({\sqrt {2}}gk)}{k}-\sum _{p=1}^{\infty}(2p-1) a_{2p-1}(g)\frac {J_{2p-1}({\sqrt {2}}gk)}{k}\nonumber \\
331: &+&2 \sum _{p=1}^{\infty}\sum _{\nu =0}^{\infty} \Bigl [ (-1)^{1+\nu}c_{2p+1,2p+2\nu+2}(g)a_{2p+2\nu+1}(g) \frac {J_{2p}({\sqrt {2}}gk)}{k}+\nonumber \\
332: &+& (-1)^{1+\nu}c_{2p,2p+2\nu+1}(g)a_{2p-1}(g) \frac {J_{2p+2\nu}({\sqrt {2}}gk)}{k} \Bigr ] - \nonumber \\
333: &-& 2 \sum _{p=1}^{\infty}2p \frac {J_{2p}({\sqrt {2}}gk)}{k}\int _{0}^{\infty}dh \frac {J_{2p}({\sqrt {2}}gh)}{e^h-1}s(h) - \label {seq2} \\
334: &-& 2 \sum _{p=1}^{\infty}(2p-1) \frac {J_{2p-1}({\sqrt {2}}gk)}{k}\int _{0}^{\infty}dh \frac {J_{2p-1}({\sqrt {2}}gh)}{e^h-1}s(h) + \nonumber \\
335: &+&4 \sum _{p=1}^{\infty}\sum _{\nu =0}^{\infty} \Bigl [ (-1)^{1+\nu}c_{2p+1,2p+2\nu+2}(g) \frac {J_{2p}({\sqrt {2}}gk)}{k}\int _{0}^{\infty}dh \frac {J_{2p+2\nu+1}({\sqrt {2}}gh)}{e^h-1}s(h) \nonumber \\
336: &+& (-1)^{1+\nu}c_{2p,2p+2\nu+1}(g) \frac {J_{2p+2\nu}({\sqrt
337: {2}}gk)}{k}\int _{0}^{\infty}dh \frac {J_{2p-1}({\sqrt
338: {2}}gh)}{e^h-1}s(h) \Bigr ] \, . \nonumber
339: \end{eqnarray}
340: As anticipated, this equation shares the same kernel with BES equation \cite{BES}, but different forcing term. Its solution may be expanded in a series involving Bessel functions:
341: \begin{eqnarray}
342: s(k)&=&\frac {1-J_0({\sqrt {2}}gk)}{k}+\sum _{p=1}^{\infty}s_{2p}(g)\frac {J_{2p}({\sqrt {2}}gk)}{k}+\sum _{p=1}^{\infty}s_{2p-1}(g)\frac {J_{2p-1}({\sqrt {2}}gk)}{k} = \nonumber \\
343: &=& \sum _{p=1}^{\infty}\left (2+s_{2p}(g)\right )\frac
344: {J_{2p}({\sqrt {2}}gk)}{k}+\sum _{p=1}^{\infty}s_{2p-1}(g)\frac
345: {J_{2p-1}({\sqrt {2}}gk)}{k} \, . \label {smexp}
346: \end{eqnarray}
347: Now we want to derive linear equations for the coefficients $s_n$. Upon expressing
348: the scattering factor coefficients via
349: \begin{equation}
350: Z_{n,m}(g)=\int _{0}^{\infty} \frac {dh}{h} \frac {J_n({\sqrt
351: {2}}gh)J_m({\sqrt {2}}gh)}{e^h-1} \, ,
352: \end{equation}
353: in the form
354: \begin{equation}
355: c_{r,s}(g)=2 \cos \left [ \frac {\pi}{2}(s-r-1)\right ] (r-1)(s-1)
356: Z_{r-1,s-1}(g) \, ,
357: \end{equation}
358: equation (\ref {seq2}) decomposes into the infinite dimensional linear system
359: \begin{eqnarray}
360: S_{2p}(g)&=&2+2p \left ( -\bar a_{2p}(g)-2\sum _{m=1}^{\infty}Z_{2p,2m}(g)S_{2m}(g)+2\sum _{m=1}^{\infty}Z_{2p,2m-1}(g)s_{2m-1}(g) \right ) \nonumber \\
361: \label {Seq2} \\
362: \frac {s_{2p-1}(g)}{2p-1}&=&-a_{2p-1}(g)-2\sum
363: _{m=1}^{\infty}Z_{2p-1,2m}(g)S_{2m}(g)-2\sum
364: _{m=1}^{\infty}Z_{2p-1,2m-1}(g)s_{2m-1}(g) \nonumber \, ,
365: \end{eqnarray}
366: where we have re-defined for brevity
367: \begin{equation}
368: S_{2m}(g)=2+s_{2m}(g) \, .
369: \end{equation}
370:
371:
372:
373: \section{Exact asymptotic expansion}
374: \setcounter{equation}{0}
375:
376: At this point, we start looking for the solution of equations (\ref{Seq2})
377: for $g\rightarrow +\infty$ in the form of an asymptotic series, i.e.
378: \begin{equation}
379: s_{2m}(g)\doteq \sum _{n=0}^{\infty
380: } \frac {s_{2m}^{(n)}}{g^n} \, , \quad s_{2m-1}(g)
381: \doteq \sum _{n=0}^{\infty } \frac
382: {s_{2m-1}^{(n)}}{g^n} \, . \label {sexpan}
383: \end{equation}
384: Albeit we well know that the unique knowledge of the asymptotic expansion will
385: never identify the function itself (contrary to the convergent weak-coupling
386: series \cite{FRS, BFR2}), we will see in the following many favourable issues,
387: besides the contact with semi-classical string theory results.
388: From the explicit solution of (\ref{Seq2}) up to the order $1/g^2$, we have
389: guessed the form at all orders:
390: \begin{eqnarray}
391: && s_{2m}^{(2n)}=2m \frac {\Gamma (m+n)}{\Gamma
392: (m-n+1)}(-1)^{1+n}b_{2n} \, , \quad
393: s_{2m-1}^{(2n)}=0 \, ; \ n \geq 0 \, , \quad m \geq 1 \, , \nonumber \\
394: && \label {guess} \\
395: && s_{2m}^{(2n-1)}=0 \, , \quad s_{2m-1}^{(2n-1)}=(2m-1)\frac
396: {\Gamma (m+n-1)}{\Gamma (m-n+1)}(-1)^n b_{2n-1} \, ;\ n \geq 1 \, ,
397: \quad m \geq 1 \, , \nonumber
398: \end{eqnarray}
399: with, implicitly, these expressions different from zero only if $n\leq m$. Moreover, the
400: coefficients $b_n$ satisfy a recursive relation whose solution is more easily written
401: in terms of their generating function
402: \begin{equation}
403: b(t)=\sum _{n=0}^{\infty} b_n t^n \, ,
404: \end{equation}
405: which is then worth
406: \begin{equation}
407: b(t)=\frac {1}{\cos \frac {t}{\sqrt {2}}-\sin \frac {t}{\sqrt {2}}}
408: \, .
409: \end{equation}
410: Consequently, we may also derive the explicit values
411: \begin{eqnarray}
412: b_{2n}&=&2^{-n}(-1)^{n} \sum _{k=0}^{n} \frac
413: {E_{2k}2^{2k}}{(2k)!(2n-2k)!} \, , \nonumber \\
414: && \label {aeul} \\
415: b_{2n-1}&=&2^{-n+\frac {1}{2}}(-1)^{n-1} \sum _{k=0}^{n-1} \frac
416: {E_{2k}2^{2k}}{(2k)!(2n-2k-1)!} \, , \nonumber
417: \end{eqnarray}
418: where $E_{2k}$ are Euler's numbers.
419: To summarise equations (\ref {sexpan}, \ref {guess}, \ref {aeul}), we
420: obtain the following strong coupling solution to the linear system (\ref{Seq2}):
421: \begin{eqnarray}
422: s_{2m-1}(g)&\doteq&- (2m-1)\sum
423: _{n=1}^m \frac {\Gamma (m+n-1)}{\Gamma (m-n+1)} \frac
424: {2^{\frac {1}{2}-n}}{g^{2n-1}}\sum
425: _{k=0}^{n-1} \frac {E_{2k}2^{2k}}{(2k)!(2n-2k-1)!} \, , \nonumber \\
426: && \label {sm} \\
427: s_{2m}(g)&\doteq&- 2m\sum
428: _{n=0}^m \frac {\Gamma (m+n)}{\Gamma (m-n+1)} \frac
429: {2^{-n}}{g^{2n}}\sum _{k=0}^{n} \frac {E_{2k}2^{2k}}{(2k)!(2n-2k)!}
430: \, . \nonumber
431: \end{eqnarray}
432: As these series truncate, they are {\it asymptotic} in a very peculiar sense,
433: namely they are correct up to non-expandable corrections which still
434: go to zero (cf. below). From definition (\ref{smexp}) and property (\ref{sf_1}) we can read off
435: \begin{equation}
436: s(0)=\frac {g}{\sqrt {2}}s_1(g)=\frac
437: {1}{2}f_1(g) \, , \label {s1f1}
438: \end{equation}
439: which entails the exact asymptotic expression $f_1(g)\doteq -1$.
440:
441: It is very interesting to provide a possible summation for
442: the expansions (\ref{sm}) (though finite!) by using an integral representation
443: for the ratio of the two gamma functions and then by exchanging the sum over
444: $n$ with the integral, and finally summing up: this procedure provides these
445: {\it new} functions of $g$
446: \begin{eqnarray}
447: \tilde s_{2m-1}(g)&=&-2(2m-1) \int _{0}^{\infty} \frac {dt}{t}\frac
448: {\sinh t}{\cosh 2 t} J_{2m-1}(2{\sqrt {2}}gt) \nonumber \\
449: && \label {smint} \\
450: \tilde s_{2m}(g)&=&-4m \int _{0}^{\infty} \frac {dt}{t}\frac {\cosh
451: t}{\cosh 2 t } J_{2m}(2{\sqrt {2}}gt) \, . \nonumber
452: \end{eqnarray}
453: Instead of the first generalised scaling function we obtain
454: \begin{equation}
455: \tilde f_1(g)=-2 {\sqrt {2}} g \int _{0}^{\infty} \frac {dt}{t}\frac
456: {\sinh t}{\cosh 2 t} J_{1}(2{\sqrt {2}}gt) \label {f1int} \, .
457: \end{equation}
458: From this integral representation we see that the asymptotic behaviour becomes
459: corrected by exponentially small terms, behaving as
460: $g^{1/2}{\mbox {exp}} (-\pi g/{\sqrt {2}})$. We will see in next
461: section that this is not quite the right behaviour because of the wrong power
462: $g^{1/2}$. This is obviously connected to the wrong (convergent) weak
463: coupling expansion of (\ref{f1int}).
464:
465:
466:
467: \section{Numerical solution: the non-asymptotic terms}
468:
469: Remarkably, the linear system (\ref{Seq2}) shows up the same
470: matrix as in \cite{BBKS} for the BES equation, but a more involved forcing term.
471: Explicitly, it may assume the form
472: \begin{eqnarray}
473: \label{matsys} s_p(g) = b_p(g) - \sum_{m=1}^{\infty}
474: (K^{(m)}_{pm}(g)+2 K^{(c)}_{pm}(g)) s_m(g)\, ,
475: \end{eqnarray}
476: where
477: \begin{eqnarray}
478: && K^{(m)}_{pm}(g) = 2 (N Z)_{pm}, \ \ \ \ K^{(c)}_{pm}(g) = 4 (P N Z Q N Z)_{pm} \\
479: && b(g) =- (N + 4 P N Z Q N) a^{\textrm{T}} - N \bar a^{\textrm{T}}
480: - 4 ( N Z P + 4 P N Z Q N Z P) t^{\textrm{T}} \, , \nonumber
481: \end{eqnarray}
482: with
483: \begin{eqnarray}
484: &&
485: N= \textrm{diag} (1,2,3, \dots), \ \ \ P= \textrm{diag} (0,1,0,1 \dots), \ \ \ Q=\textrm{diag} (1,0,1,0 \dots), \nonumber \\
486: && t = (1,0,1,0, \dots), \ \ \ a=(a_1,0,a_3,0, \dots) , \ \ \ \bar
487: a=(0,\bar a_2,0,\bar a_4, \dots).
488: \end{eqnarray}
489: At least formally, the solution may be written as
490: \begin{eqnarray}
491: \label{sysnum} s(g) \ = \ ({\mathcal I}+K^{(m)}+2 K^{(c)})^{-1}\, b
492: \, ,
493: \end{eqnarray}
494: where ${\mathcal I}$ is the identity matrix. This similarity with \cite{BBKS}
495: is crucial for what concerns the numerical treatment, in that everything
496: works well (as in \cite{BBKS}), because (the matrix elements are the same and)
497: the forcing elements have a similar behaviour for large $g$.
498:
499: In the following we will be interested in a numerical analysis of (\ref{sysnum}),
500: emphasising the deviation of the strong coupling behaviour of the first few $s_m(g)$ from
501: the exact expansion of the previous Section. In this respect, a sufficient accuracy is achieved
502: upon truncating at $m=30$: this restriction still yields reliable results up to about $g \simeq 20$.
503:
504:
505:
506: \subsection{The strong coupling corrections and the string side}
507:
508: Since the asymptotic expansion for any $s_{p}(g)$ truncates
509: significantly at the (inverse) power $1/g^p$, the additional (non-perturbative)
510: exponential corrections are simply given by
511: subtracting this to the numerical solution of (\ref{sysnum}) \footnote{At the moment, we
512: observe the same exponential behaviour, with different constant factors (cf. below),
513: for the first few $s_n(g)$, $n=1, \dots,5$.}. At any rate, our main concern here is
514: $s_1(g)$ by virtue of its relation (\ref{s1f1}) to the generalised scaling function $f_1(g)$,
515: whose asymptotic expansion $f(g)\doteq -1$ is in perfect agreement with the string energy density
516: $\Delta-s=\gamma+L$ (cf. (\ref{Delta})), as perturbatively expanded
517: in \cite{FTT, AM}, because at present it does not seem to have the term $L$.
518: Moreover, beyond this asymptotics there are additional, non-perturbative,
519: exponential corrections, whose leading order (see below (\ref{f1exp}))
520: is reported in figure \ref{fig1},
521: where the large $g$, asymptotic behaviour is already reached for $g \sim 3.5$.
522:
523:
524:
525:
526:
527: %%%%%%%%%%%%%%%%%%%%
528: \begin{figure}[ht] \setlength{\unitlength}{1mm}
529: \begin{picture}(100,104)(-3,0)%\put(0,104){+}
530: \put(0,0){\includegraphics[width=0.95\linewidth]{fig.eps}}
531: \put(139,40){\color{white}\rule{4.5mm}{40mm}}
532: \put(51,30){\includegraphics[width=85mm]{zoom.eps}}
533: \put(11,60){\drawline(0,0)(10,0)(10,25)(0,25)(0,0)}
534: \put(21,85){\dottedline{3}(0,0)(30,-6)}
535: \put(21,60){\dottedline{3}(0,0)(30,-26)}
536: \end{picture}
537: \caption{\label{fig1} Comparison between numerical solution (dots),
538: fit as in formula (\ref{f1exp}) (dark grey line) and integral
539: representation (\ref{f1int}) (black line). Detail in the small
540: window: comparison between numerical solution (dots), weak coupling
541: expansion of \cite{FRS, BFR2} (light grey line) and integral
542: representation (\ref{f1int}) (black line).}
543: \end{figure}
544: %%%%%%%%%%%%%%%%%%%%
545:
546:
547:
548:
549:
550: We can then proceed to a more quantitative analysis. At first,
551: we perform a fit of the numerical evaluation of
552: (\ref{sysnum}), in order to check whether it is compatible with the
553: proposed exact asymptotic expansion (\ref{sm}). This
554: analysis -- performed at the moment on the first few $s_n(g)$, $n=1, \dots,5$ --
555: rules out the possibility that other terms with the form $1/g^k$
556: might appear. Then, we find reasonable to conjecture a non-perturbative,
557: exponential term coming into play. In fact, a simple dimensional
558: consideration has led the authors of \cite{AM} to claim that,
559: regarding $f_1(g)$, the additional string energy density
560: \footnote{This has to be summed to $f(g) \ln s$ and is due to the
561: $SO(6)$ charge $j$.} is simply proportional to ($j$ and) the $O(6)$
562: sigma model mass gap, $m$, or in formul\ae \, $(f_1(g)+1) j=c m(g) j$
563: as long as $j\ll m$ (still $g\rightarrow +\infty$). \footnote{We may
564: expect that $m(g)$ in this formula differs from the mass gap as soon
565: as $j \ll g$ is no longer valid.} As a consequence, we use the
566: functional form implied by the mass gap formula (\cite{AM} and
567: reference [13] therein), i.e.
568: \begin{eqnarray}
569: f_1(g) = -1 + \kappa \, g^{1/4} \, e^{- \frac{\pi}{\sqrt{2}} \, g},
570: \ \ \ g \to \infty \, , \label {f1exp}
571: \end{eqnarray}
572: with only $\kappa$ as a free parameter to fit, and we find a perfect
573: agreement with the data in the region $g \in [3,20]$, resulting in
574: the best fit estimate $\kappa = 2.257 \pm 0.009$. On the other hand,
575: the $O(6)$ small coupling calculations of \cite{AM} entail the exact
576: value $\kappa= 2^{5/8} \pi^{1/4} c / \Gamma(5/4)=(2.265218666...)\, c$,
577: which compels us to the natural prediction that $c=1$. \footnote{In
578: this respect there is also an ongoing analytic evaluation.}
579:
580:
581: We can now comment a little about the integral summation
582: (\ref{f1int}) to $\tilde f_1(g)$. Despite the fact that it is able
583: to qualitatively capture the main features of
584: the numerical solution for a wide range of $g$, it still fails to
585: reproduce both the weak-coupling expansion, and the power factor $g^{\frac{1}{4}}$
586: of the non-perturbative term. We have a clear picture of this situation
587: in fig.~\ref{fig1}. Finally, we shall remark the perfect
588: agreement between the numerical solution and the first terms of the
589: weak-coupling expansion computed in \cite{FRS, BFR2}.
590:
591:
592: \section{Some final comments}
593:
594: Unlike all the genuine (i.e. infinite) asymptotic series involved in the derivation
595: of the leading term $f(g)$ (see, for instance, \cite{BKK}), which amounts to
596: twice the cusp anomalous dimension \cite{KM}, all
597: the analogous series for $f_1(g)$ truncate, thus giving rise to polynomials in $1/g$.
598: Moreover, the latter become non-trivially corrected by exponentially small contributions.
599: At this stage, a deeper comparison with string results (\cite{FTT} and references
600: therein) is really compelling, but still demanding because of the summation of all the
601: logarithmic contributions in the string loop expansion \cite{FTT}. Yet, this is the direct
602: consequence of an ordering of different limits and the present results
603: shed some light on what happens to the higher $f_n$, $n=2,3,\dots$ \, .
604:
605:
606:
607:
608: %\medskip
609:
610:
611: {\bf Acknowledgments} D.F. thanks D. Bombardelli, F. Buccheri, E.
612: Caliceti, F. Cannata, F. Ravanini, R. Soldati for
613: discussions, the INFN grant "Iniziativa specifica PI14" and the
614: international agreement INFN-MEC-2008 for travel financial support.
615: P.G. work is partially supported by MEC-FEDER (grant FPA2005-00188),
616: by the Spanish Consolider-Ingenio 2010 Programme CPAN
617: (CSD2007-00042) and by Xunta de Galicia (Conseller\'\i a de
618: Educaci\'on and grant PGIDIT06PXIB296182PR). M.R. thanks
619: INFN-Bologna for kind hospitality.
620:
621:
622:
623:
624:
625: \begin{thebibliography}{xx}
626:
627: \bibitem{MWGKP}
628: J.M. Maldacena, {\sl The large N limit of superconformal field
629: theories and supergravity}, Adv. Theor. Math. Phys. {\bf 2} (1998)
630: 231 and hep-th/9711200; $\bullet$ S.S. Gubser, I.R. Klebanov, A.M.
631: Polyakov, {\sl Gauge theory correlators from non-critical string
632: theory}, Phys.Lett. {\bf B428} (1998) 105 and hep-th/9802109;
633: $\bullet$ E. Witten, {\sl Anti-de Sitter space and holography}, Adv.
634: Theor. Math. Phys. {\bf 2} (1998) 253 and hep-th/9802150;
635:
636: \bibitem{LIP}
637: L.N. Lipatov, {\sl Evolution equations in QCD}, in ``Perspectives in
638: Hadron Physics'', Proceedings of the Conference, ICTP, Trieste,
639: Italy, May 1997, World Scientific (Singapore, 1998);
640:
641: \bibitem{BDM}
642: V.M. Braun, S.E. Derkachov, A.N. Manashov, {\sl Integrability of
643: three particle evolution equations in QCD}, Phys. Rev. Lett. {\bf
644: 81} (1998) 2020 and hep-ph/9805225; $\bullet$ V.M. Braun, S.E.
645: Derkachov, G.P. Korchemsky, A.N. Manashov, {\sl Baryon distribution
646: amplitudes in QCD}, Nucl. Phys. {\bf B553} (1999) 355 and
647: hep-ph/9902375; $\bullet$ A.V. Belitsky, {\sl Fine structure of
648: spectrum of twist-three operators in QCD}, Phys. Lett. {\bf B453}
649: (1999) 59 and hep-ph/9902361; $\bullet$ A.V. Belitsky, {\sl
650: Renormalization of twist-three operators and integrable lattice
651: models}, Nucl. Phys. {\bf B574} (2000) 407 and hep-ph/9907420;
652: $\bullet$ A.V. Belitsky, A.S. Gorsky, G.P. Korchemsky, {\sl Gauge /
653: string duality for QCD conformal operators}, Nucl. Phys. {\bf B667}
654: (2003) 3 and hep-th/0304028;
655:
656:
657: \bibitem{MZ}
658: J.A. Minahan, K. Zarembo, {\sl The Bethe Ansatz for ${\cal N}=4$
659: Super Yang-Mills}, JHEP{\bf 03} (2003) 013 and hep-th/0212208;
660:
661: \bibitem{BES}
662: N. Beisert, C. Kristjansen, M. Staudacher, {\sl The dilatation
663: operator of ${\cal N}=4$ super Yang-Mills theory}, Nucl. Phys. {\bf
664: B664} (2003) 131 and hep-th/0303060; $\bullet$ N. Beisert, M.
665: Staudacher, {\sl The ${\cal N}=4$ SYM integrable super spin chain},
666: Nucl. Phys. {\bf B670} (2003) 439 and hep-th/0307042;$\bullet$ N.
667: Beisert, M. Staudacher, {\sl Long-range $PSU(2,2|4)$ Bethe Ansatz
668: for gauge theory and strings}, Nucl. Phys. {\bf B727} (2005) 1 and
669: hep-th/0504190; $\bullet$ B. Eden, M. Staudacher, {\sl Integrability
670: and transcendentality}, J.Stat.Mech. {\bf 11} (2006) P014 and
671: hep-th/0603157;$\bullet$ N. Beisert, B.Eden, M. Staudacher, {\sl
672: Transcendentality and crossing}, J.Stat.Mech.{\bf 07} (2007) P01021
673: and hep-th/0610251;
674:
675: \bibitem{FTT}
676: S. Frolov, A. Tirziu, A.A. Tseytlin, {\sl Logarithmic corrections to
677: higher twist scaling at strong coupling from AdS/CFT}, Nucl. Phys.
678: {\bf B766} (2007) 232 and hep-th/0611269; $\bullet$ P.Y. Casteill,
679: C. Kristjansen, {\sl The Strong Coupling Limit of the Scaling Function
680: from the Quantum String Bethe Ansatz}, Nucl. Phys, {\bf B785} (2007) 1
681: and arXiv:0705.0890 [hep-th]; $\bullet$ R. Roiban, A.A. Tseytlin, {\sl
682: Spinning superstrings at two loops: strong-coupling
683: corrections to dimensions of large-twist SYM operators}, Phys.Rev.
684: {\bf D77} (2008) 066006 and arXiv:0712.2479 [hep-th];
685:
686: \bibitem{BGK}
687: A.V.Belitsky, A.S. Gorsky, G.P. Korchemsky, {\sl Logarithmic scaling
688: in gauge/string correspondence}, Nucl. Phys. {\bf B748} (2006) 24
689: and hep-th/0601112;
690:
691: \bibitem{AM}
692: L.F. Alday, J.M. Maldacena, {\sl Comments on operators with large
693: spin}, JHEP{\bf 11} (2007) 019 and arXiv:0708.0672 [hep-th];
694:
695: \bibitem{FRS}
696: L. Freyhult, A. Rej, M. Staudacher, {\sl A Generalized Scaling
697: Function for AdS/CFT}, arXiv:0712.2743;
698:
699: \bibitem{FMQR}
700: D. Fioravanti, A. Mariottini, E. Quattrini, F. Ravanini, {\sl
701: Excited state Destri-de Vega equation for sine-Gordon and restricted
702: sine-Gordon models}, Phys. Lett. {\bf B390} (1997) 243 and
703: hep-th/9608091; $\bullet$ C. Destri, H.J. de Vega, {\sl Non linear
704: integral equation and excited states scaling functions in the
705: sine-Gordon model}, Nucl. Phys, {\bf B504} (1997) 621 and
706: hep-th/9701107;
707:
708:
709: \bibitem{BFR2}
710: D. Bombardelli, D. Fioravanti, M. Rossi, {\sl Large spin corrections
711: in ${\cal N}=4$ SYM $sl(2)$: still a linear integral equation},
712: arXiv:0802.0027;
713:
714: \bibitem{BFR1}
715: D. Bombardelli, D. Fioravanti, M. Rossi, {\sl Non-linear integral
716: equations in ${\cal N} = 4$ SYM}, Proceedings of
717: International Workshop on Recent Advances in Quantum Integrable
718: Systems (RAQIS 07), Annecy-le-Vieux, France, 11-14 Sep 2007 and
719: arXiv:0711.2934 [hep-th];
720:
721:
722:
723: \bibitem{NOI}
724: G. Feverati, D. Fioravanti, P. Grinza, M. Rossi, {\sl On the finite
725: size corrections of anti-ferromagnetic anomalous dimensions in
726: ${\cal N}=4$ SYM}, JHEP{\bf 05} (2006) 068 and
727: hep-th/0602189;$\bullet$ G. Feverati, D. Fioravanti, P. Grinza, M.
728: Rossi, {\sl Hubbard's Adventures in ${\cal N}=4$ SYM-land? Some
729: non-perturbative considerations on finite length operators},
730: J.Stat.Mech. {\bf 02} (2007) P001 and hep-th/0611186;$\bullet$ D.
731: Fioravanti, M. Rossi, {\sl On the commuting charges for the highest
732: dimension $SU(2)$ operators in planar ${\cal N}=4$ SYM}, JHEP{\bf
733: 08} (2007) 089 and arXiv:0706.3936 [hep-th];
734:
735: \bibitem{KL}
736: A.V. Kotikov, L.N. Lipatov, {\sl On the highest transcendentality in N=4 SUSY},
737: Nucl. Phys, {\bf B769} (2007) 217 and hep-th/0611204;
738:
739:
740: \bibitem{BBKS}
741: M. K. Benna, S. Benvenuti, I. R. Klebanov, A. Scardicchio, {\sl A
742: Test of the AdS/CFT Correspondence Using High-Spin Operators}, Phys.
743: Rev. Lett. {\bf 98} (2007) 131603 and hep-th/0611135; $\bullet$ L.
744: F. Alday, G. Arutyunov, M. K. Benna, B. Eden, I. R. Klebanov, {\sl
745: On the Strong Coupling Scaling Dimension of High Spin Operators},
746: JHEP{\bf 04} (2007) 082 and hep-th/0702028;
747:
748: \bibitem{BKK}
749: B. Basso, G.P. Korchemsky, J. Kotanski, {\sl Cusp anomalous
750: dimension in maximally supersymmetric Yang-Mills theory at strong
751: coupling}, Phys. Rev. Lett. {\bf 100} (2008) 091601 and
752: arXiv:0708.3933 [hep-th]; $\bullet$ I. Kostov, D. Serban, D. Volin, {\sl
753: Functional BES equation}, arXiv:0801.2542;
754:
755: \bibitem {KM}
756: G.P. Korchemsky, G. Marchesini, {\sl Partonic distributions for
757: large $x$ and renormalization of Wilson loops}, Nucl. Phys. {\bf
758: B406} (1993) 225 and hep-ph/9210281; $\bullet$ G.P. Korchemsky,
759: {\sl Asymptotics of the Altarelli-Parisi-Lipatov
760: Evolution Kernels of Parton Distributions}, Mod. Phys. Lett. {\bf A4}
761: (1989) 1257.
762:
763:
764:
765:
766: \end{thebibliography}
767:
768: \end{document}
769:
770:
771:
772:
773:
774:
775:
776: