beyond cusp anomalous dimension from integrability

8
Physics Letters B 675 (2009) 137–144 Contents lists available at ScienceDirect Physics Letters B www.elsevier.com/locate/physletb Beyond cusp anomalous dimension from integrability Davide Fioravanti a,, Paolo Grinza b , Marco Rossi c a Sezione INFN di Bologna, Dipartimento di Fisica, Università di Bologna, Via Irnerio 46, Bologna, Italy b Departamento de Fisica de Particulas, Universidad de Santiago de Compostela, 15782 Santiago de Compostela, Spain c Dipartimento di Fisica dell’Università della Calabria and INFN, Gruppo collegato di Cosenza, I-87036 Arcavacata di Rende, Cosenza, Italy article info abstract Article history: Received 25 February 2009 Accepted 25 March 2009 Available online 27 March 2009 Editor: L. Alvarez-Gaumé We study the first sub-leading correction O ((ln s) 0 ) to the cusp (minimal) anomalous dimension in the high spin expansion of finite twist operators in N = 4 SYM theory. Since this approximation is still governed by a linear integral equation (derived already from the Bethe ansatz equations in a previous paper), we finalise it better in order to study the weak and strong coupling regimes. In fact, we emphasise how easily the weak coupling expansion can be obtained, confirms the known four loop results and predicts the higher orders. Eventually, we pay particular attention to the strong coupling regime showing agreement and predictions in comparison with the string expansion; speculations on the ‘universal’ part (upon subtracting the collinear anomalous dimension) are brought forward. © 2009 Elsevier B.V. All rights reserved. 1. Plan of the work In the framework of the AdS/CFT correspondence [1], let us consider a (massless) gauge theory with a certain field φ in the adjoint representation (or q in the fundamental one). To fix ideas, we may focus our attention on the planar sl(2) sector of N = 4 SYM with local operators Tr ( D s φ L ) +··· , (1.1) where D is the (symmetrised, traceless) covariant derivative acting in all possible ways on the L bosonic fields φ. At finite twist L the high spin behaviour of the minimal anomalous dimension γ ( g, s, L) = ( g, s, L) L s, (1.2) will in general be determined by the universal (in the sense here of being twist and flavour independent [2,3], though theory dependent) scaling function f ( g) (cf. for instance [2–7] and references therein), γ ( g, s, L) = f ( g) ln s + f sl ( g, L) +··· (1.3) (with a factor 1/2 for the field q in the fundamental representation [6]) with this parametrisation of the ’t Hooft coupling λ = 8π 2 g 2 . The universal scaling f ( g) equals in the L = 2 sector twice the cusp anomalous dimension of the light-like Wilson loops [5] and therefore inherits this name. We denote above by dots terms which are going to zero, whilst we wish to investigate the sub-leading (constant) scaling f sl ( g, L) (for QCD see also [8]). In fact, the leading scaling f ( g) has been constrained (for all the values of g ) in [3] (cf. also [9] for the relation with the Bethe root density) by a linear integral equation derived from the asymptotic Bethe ansatz [10] and from the same Bethe ansatz the sub-leading one f sl ( g, L) has been shown in [11], after careful consideration [12], to enjoy a linear integral equation with the same kernel (but different inhomogeneous term; for an alternative approach using the non-linear integral equation [13], see [14]). It is, of course, non-universal in the sense again that it depends explicitly on the twist L (and, if there are other representations than the adjoint one, on the representation carried by the field, as well as on the theory). Yet, it will be conjectured in the following with some evidence to be wrapping-free (at least for the smallest twist L = 2), thus sharing the destiny of f ( g) in this respect. 1 The main evidence * Corresponding author. E-mail address: [email protected] (D. Fioravanti). 1 As already clear, but also stressed in the following it is not universal as f ( g). 0370-2693/$ – see front matter © 2009 Elsevier B.V. All rights reserved. doi:10.1016/j.physletb.2009.03.053

Upload: davide-fioravanti

Post on 29-Jun-2016

213 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Beyond cusp anomalous dimension from integrability

Physics Letters B 675 (2009) 137–144

Contents lists available at ScienceDirect

Physics Letters B

www.elsevier.com/locate/physletb

Beyond cusp anomalous dimension from integrability

Davide Fioravanti a,∗, Paolo Grinza b, Marco Rossi c

a Sezione INFN di Bologna, Dipartimento di Fisica, Università di Bologna, Via Irnerio 46, Bologna, Italyb Departamento de Fisica de Particulas, Universidad de Santiago de Compostela, 15782 Santiago de Compostela, Spainc Dipartimento di Fisica dell’Università della Calabria and INFN, Gruppo collegato di Cosenza, I-87036 Arcavacata di Rende, Cosenza, Italy

a r t i c l e i n f o a b s t r a c t

Article history:Received 25 February 2009Accepted 25 March 2009Available online 27 March 2009Editor: L. Alvarez-Gaumé

We study the first sub-leading correction O ((ln s)0) to the cusp (minimal) anomalous dimension in thehigh spin expansion of finite twist operators in N = 4 SYM theory. Since this approximation is stillgoverned by a linear integral equation (derived already from the Bethe ansatz equations in a previouspaper), we finalise it better in order to study the weak and strong coupling regimes. In fact, we emphasisehow easily the weak coupling expansion can be obtained, confirms the known four loop results andpredicts the higher orders. Eventually, we pay particular attention to the strong coupling regime showingagreement and predictions in comparison with the string expansion; speculations on the ‘universal’ part(upon subtracting the collinear anomalous dimension) are brought forward.

© 2009 Elsevier B.V. All rights reserved.

1. Plan of the work

In the framework of the AdS/CFT correspondence [1], let us consider a (massless) gauge theory with a certain field φ in the adjointrepresentation (or q in the fundamental one). To fix ideas, we may focus our attention on the planar sl(2) sector of N = 4 SYM with localoperators

Tr(

DsφL) + · · · , (1.1)

where D is the (symmetrised, traceless) covariant derivative acting in all possible ways on the L bosonic fields φ. At finite twist L thehigh spin behaviour of the minimal anomalous dimension

γ (g, s, L) = �(g, s, L) − L − s, (1.2)

will in general be determined by the universal (in the sense here of being twist and flavour independent [2,3], though theory dependent)scaling function f (g) (cf. for instance [2–7] and references therein),

γ (g, s, L) = f (g) ln s + fsl(g, L) + · · · (1.3)

(with a factor 1/2 for the field q in the fundamental representation [6]) with this parametrisation of the ’t Hooft coupling λ = 8π2 g2.The universal scaling f (g) equals in the L = 2 sector twice the cusp anomalous dimension of the light-like Wilson loops [5] and thereforeinherits this name. We denote above by dots terms which are going to zero, whilst we wish to investigate the sub-leading (constant)scaling fsl(g, L) (for QCD see also [8]). In fact, the leading scaling f (g) has been constrained (for all the values of g) in [3] (cf. also [9] forthe relation with the Bethe root density) by a linear integral equation derived from the asymptotic Bethe ansatz [10] and from the sameBethe ansatz the sub-leading one fsl(g, L) has been shown in [11], after careful consideration [12], to enjoy a linear integral equation withthe same kernel (but different inhomogeneous term; for an alternative approach using the non-linear integral equation [13], see [14]). Itis, of course, non-universal in the sense again that it depends explicitly on the twist L (and, if there are other representations than theadjoint one, on the representation carried by the field, as well as on the theory). Yet, it will be conjectured in the following with someevidence to be wrapping-free (at least for the smallest twist L = 2), thus sharing the destiny of f (g) in this respect.1 The main evidence

* Corresponding author.E-mail address: [email protected] (D. Fioravanti).

1 As already clear, but also stressed in the following it is not universal as f (g).

0370-2693/$ – see front matter © 2009 Elsevier B.V. All rights reserved.doi:10.1016/j.physletb.2009.03.053

Page 2: Beyond cusp anomalous dimension from integrability

138 D. Fioravanti et al. / Physics Letters B 675 (2009) 137–144

is coming from the agreement with the recent string computations [15], which should seriously allow for gauge loop wrapping effects, asthey live at very large coupling g . In addition, a very recent analysis [16] a la Lüscher has proved for the scalar twist two operator thatthe wrapping correction at four loops goes to zero (like ln2 s/s2).

In any case, thanks to Kotikov et al. [17] it is by now well established that (in N = 4 SYM)

fsl(g) ≡ fsl(g,2) (1.4)

is the same for the operators with the smallest twist L = 2 (and determines also that of some twist three operators, see [18]). In fact, alltwist two operators belong to the same supermultiplet, and their anomalous dimension is expressed in terms of a ‘universal’ function de-fined by the scalars γuniv(s) ≡ γ φ(s) and with shifted Lorentz spin for gauginos γ ψ(s) = γuniv(s + 1) and gauge fields γ A(s) = γuniv(s + 2).

Still at the leading twist L = 2 Dixon et al. [19] have pointed out that, although not universal as f (g), its first logarithmic integral,f (−1)

sl (g), equals the sub-leading correction to the logarithm of the (diverging) scattering amplitude (the following is just a sketchy for-

mula whose precise definitions and regularisation rely on [19] or references therein, in particular for the connexion between f (−1)

sl (g)

and fsl(g)2)

ln A = f (−2)(g)

ε2− f (−1)

sl′ (g)

ε+ · · · , (1.5)

in dimensional regularisation to D = 4−2ε , plus the first logarithmic integral of a universal function h(g) (times a representation dependingfactor we omit here because not extant in SYM4). In terms of the by-logarithm-derivative function of f (−1)

sl′ (g), i.e. the so-called collinearanomalous dimension fsl′ (g), this means the important relation between sub-leading terms

fsl(g) = fsl′ (g) + h(g). (1.6)

In other words, this (L = 2) sub-leading scaling in the anomalous dimension (1.3) contains a universal part, h(g), which, once subtractedfrom it, yields (upon integration) the sub-leading correction in the amplitude (1.5); both the sub-leading terms are not universal, albeittheir difference ought to be. As we will see later (cf. (3.12)), the linear integral equation leads us to a split form of fsl(g, L) into a twist-dependent part and another independent of it, fsl(g) (cf. (3.12) below). The latter contains somehow the universal h(g) and thus mightshare with it, at very strong coupling, its logarithmic behaviour (cf. below (5.2) and (5.3) which are in agreement with the string theorycalculation by [20]). This may lead us to the possible proposal

h(g) = f (g)

[ln

1√2g

−(

1

2− 3

2ln 2

)+ · · ·

], (1.7)

with an intriguing object between square parenthesis (and the presence of f (g) may be perhaps motivated by the relation of h(g) to aWilson loop [19]). In fact, at the first order, recalling that f (g) = 2

√2g + · · · , we would obtain

h(g) = 2√

2g

[ln

1√2g

−(

1

2− 3

2ln 2

)+ · · ·

], (1.8)

which coincides with the tested function in string theory for gluons and quarks [21].

2. One loop results

The present analysis fully relies upon the main achievements of [11], where it was shown that the relevant integral equations whichenter the computation of the anomalous dimension at large spin are linear. Let us briefly remind some results which will be useful later.

For what concerns the one loop results, we consider Eq. (3.52) of that paper. The meaning of this equation is that, in the high spinlimit s → ∞, the one loop density of roots is approximated, up to orders o(s0), by the function whose Fourier transform σ0(k) reads as

σ0(k) = −2π

L2 (1 − e− |k|

2 ) + e− |k|2 (1 − cos ks√

2)

sinh |k|2

− 4πδ(k) ln 2 + o(s0). (2.1)

The one loop energy,

E0(s, L) = −∞∫

−∞

dk

4π2e(k)σ0(k) − (L − 2)e(0),

with the function

e(u) = 1

u2 + 14

⇒ e(k) = 2πe− |k|2 , (2.2)

in the high spin limit behaves as

E0(s, L) = 4 ln s − 4(L − 2) ln 2 + 4γE + o(s0), (2.3)

2 The same connexion holds between f (−1)

sl′ (g) and fsl′ (g). A similar one between f (−2)(g) and f (g) (cf. [19] or references therein).

Page 3: Beyond cusp anomalous dimension from integrability

D. Fioravanti et al. / Physics Letters B 675 (2009) 137–144 139

and then the one loop anomalous dimension reads

γ0(s, L) = g2 E0(s, L) = 4g2 ln s − [4(L − 2) ln 2 − 4γE

]g2 + g2o

(s0). (2.4)

This is in perfect agreement with the original results obtained by Belitsky, Gorsky and Korchemsky through the Baxter T –Q relation [2].

3. All loops results

In order to study the higher than one loop density of roots σH (k) it is convenient to define the quantity

S(k) = 2 sinh |k|2

2π |k| σH (k). (3.1)

We then consider equation (4.11) of [11].3 Passing to Fourier transforms, we obtain that the function S(k) satisfies the linear integralequation

S(k) = L

|k|[1 − J0(

√2gk)

] + 1

π |k|+∞∫

−∞

dh

|h|

[ ∞∑r=1

r(−1)r+1 Jr(√

2gk) Jr(√

2gh)1 − sgn(kh)

2e− |h|

2

+ sgn(h)

∞∑r=2

∞∑ν=0

cr,r+1+2ν(g)(−1)r+νe− |h|2

(Jr−1(

√2gk) Jr+2ν(

√2gh) − Jr−1(

√2gh) J r+2ν(

√2gk)

)]

×[

π |h|sinh |h|

2

S(h) − 4π ln 2δ(h) − π(L − 2)1 − e

|h|2

sinh |h|2

− 2π1 − e− |h|

2 cos hs√2

sinh |h|2

]+ o

(s0), (3.3)

where the functions cr,s(g) enter the definition of the “dressing factor” (for their definition, see e.g. [3]). As follows from the generalisationof the Kotikov–Lipatov identity [9], the relation of the function S(k) with the (all-loops) energy (anomalous dimension) is

γ (g, s, L) = 2S(0). (3.4)

We now want to put Eq. (3.3) in a form which simplifies the analysis of both the weak and the strong coupling limit. We restrict to thedomain k � 0 and expand S(k) in Neumann’s series (of Bessel functions)

S(k) =∞∑

p=1

S p(g)J p(

√2gk)

k, (3.5)

with the energy (3.4) given by

γ (g, s, L) = √2g S1(g). (3.6)

On the other hand, for what concerns the coefficients S p(g), after some simple calculations we find the following system of equations

S2p−1(g) = 2√

2g(ln s + γE )δp,1 + 4(2p − 1)

∞∫0

dh

h

J2p−1(√

2gh)

eh − 1

− 2(2p − 1)(L − 2)

∞∫0

dh

h

J2p−1(√

2gh)

eh2 + 1

− 2(2p − 1)

∞∑m=1

Z2p−1,m(g)Sm(g),

S2p(g) = 4 + 8p

∞∫0

dh

h

J2p(√

2gh)

eh − 1+ 2(L − 2) − 4p(L − 2)

∞∫0

dh

h

J2p(√

2gh)

eh2 + 1

+ 4p∞∑

m=1

Z2p,2m−1(g)S2m−1(g) − 4p∞∑

m=1

Z2p,2m(g)S2m(g). (3.7)

In writing (3.7) we used the notations

J2p−1(x) = J2p−1(x) − δp,1x

2, Zn,m(g) =

∞∫0

dh

h

Jn(√

2gh) Jm(√

2gh)

eh − 1. (3.8)

3 The functions F0(u), F H (u), appearing in (4.11) of [11], are related to σ0(u) and σH (u) by the relations

σ0(u) = d

duF0(u), σH (u) = d

duF H (u). (3.2)

Page 4: Beyond cusp anomalous dimension from integrability

140 D. Fioravanti et al. / Physics Letters B 675 (2009) 137–144

The structure of the forcing terms appearing in the linear system (3.7) suggests that its solution and — consequently — the (all-loops)anomalous dimension can be split as

Sr(g) = SBESr (g) ln s + (L − 2)S(1)

r (g) + Sextrar (g), (3.9)

where SBESr (g) is the (coefficient of the) solution of the BES equation [3], S(1)

r (g) is the (coefficient of the) first generalised scaling density[23–27] and the extra coefficients Sextra

r (g) are solutions of the following system

Sextra2p−1(g) = 2

√2gγEδp,1 + 4(2p − 1)

∞∫0

dh

h

J2p−1(√

2gh)

eh − 1− 2(2p − 1)

∞∑m=1

Z2p−1,m(g)Sextram (g),

Sextra2p (g) = 4 + 8p

∞∫0

dh

h

J2p(√

2gh)

eh − 1+ 4p

∞∑m=1

Z2p,2m−1(g)Sextra2m−1(g) − 4p

∞∑m=1

Z2p,2m(g)Sextra2m (g). (3.10)

From the splitting (3.9) of their solution, we obtain that the all loops energy at high spin is

γ (g, s, L) = f (g) ln s + (L − 2) f (1)(g) + fsl(g) + o(s0), (3.11)

where f (g) is the cusp anomalous dimension, f (1)(g) is the first generalised scaling function and fsl(g) = √2g Sextra

1 (g) comes from thesolution of (3.10). In other terms, the sub-leading correction is worth

fsl(g, L) = fsl(g) + (L − 2) f (1)(g), (3.12)

with explicit mention to its twist dependence (since fsl(g) does not depend on L).In the next sections we will analyse the weak and the strong coupling expansion of fsl(g, L).

4. Weak coupling

Since the system (3.10) is linear (as the original linear integral equation [11]), it can be systematically and very easily expanded atsmall g , giving the weak coupling (convergent) series of fsl(g, L) (via (3.12)). This kind of computations can be automatised by using aprogram for the symbolic manipulation in order to go on to an arbitrary order.4

In view of (3.12), it is natural to start by the twist two formula up to the order g12:

fsl(g) = γE f (g) − 24ζ(3)

(g√2

)4

+ 16

3

(π2ζ(3) + 30ζ(5)

)( g√2

)6

− 8

15

(7π4ζ(3) + 50π2ζ(5) + 2625ζ(7)

)( g√2

)8

+(

128

35π6ζ(3) + 192ζ(3)3 + 832

45π4ζ(5) + 560

3π2ζ(7) + 14 112ζ(9)

)(g√2

)10

−(

58 552π8ζ(3)

14 175+ 1184

63π6ζ(5) + 5824

45π4ζ(7) + 32

3π2(10ζ(3)3 + 147ζ(9)

)

+ 32(164ζ(3)2ζ(5) + 4851ζ(11)

))(g√2

)12

+ · · · . (4.1)

And we end up with the general twist expansion (we also expanded f (1)(g) according to [11,14])

fsl(g, L) = fsl(g) + (L − 2) f (1)(g)

= (γE − (L − 2) ln 2

)f (g) + 8(2L − 7)ζ(3)

(g√2

)4

− 8

3

(π2ζ(3)(L − 4) + 3(21L − 62)ζ(5)

)( g√2

)6

+ 8

15

(π4ζ(3)(3L − 13) + 75(46L − 127)ζ(7) + 5(11L − 32)π2ζ(5)

)( g√2

)8

−(

128

945π6ζ(3)(11L − 49) + 8

(2695ζ(9)L + 16ζ(3)3 L − 7154ζ(9) − 56ζ(3)3)

+ 40

3(25L − 64)π2ζ(7) + 8

45(103L − 310)π4ζ(5)

)(g√2

)10

+(

32

45π4ζ(7)(295L − 772) + 8

3π2(1519ζ(9)L + 24ζ(3)3 L − 3626ζ(9) − 88ζ(3)3)

+ 8(33 285ζ(11)L + 536ζ(3)2ζ(5)L − 85 974ζ(11) − 1728ζ(3)2ζ(5)

)+ 8

945(2023L − 6266)π6ζ(5) + 8(2956L − 13 231)π8ζ(3)

14 175

)(g√2

)12

+ · · · . (4.2)

4 In what follows we report the results up to six loops, but we easily reached loop ten. We invite the interested reader to contact the authors for having these expressions,since their writing would fill some pages in.

Page 5: Beyond cusp anomalous dimension from integrability

D. Fioravanti et al. / Physics Letters B 675 (2009) 137–144 141

Importantly, this expansion for twist L = 2,3 agrees with those up to four loops present in the literature [14,17,28] and checked bydifferent means (cf., for instance, [15] for a summary). Thanks to [16,29] we can also argue that for twist two (at least up to four loops)fsl(g) enjoys the property of being wrapping free, and we would like to conjecture the same in general about fsl(g, L).

In fact, last but not least, after the completion of this work we became aware5 that a five loop calculation (wrapping inclusive) ontwist L = 3 would exactly confirm the expansion of this section.

5. Strong coupling

Let us go on to consider the strong coupling limit of (3.10). The kernel is the same as in the study of the universal scaling function, butthe inhomogeneous (or forcing) terms are peculiar. From the analytic results in Appendix A, we obtain their leading contribution at largeg in the form

−2√

2g ln gδp,1, (5.1)

which allows us to derive the following analytic (leading) behaviour

fsl(g) = − f (g) ln g + · · · . (5.2)

where f (g) is the cusp anomalous dimension at strong coupling [30,31] and the dots denotes contributions of order g or smaller. As aconsequence, to analyse these contributions, we shall preferably split apart the logarithmic contribution at any regime of g in the form

fsl(g) = f (g) ln2√

2

g+ √

2g Sextra1 (g), (5.3)

where Sextra1 (g) is the first component of the infinite dimensional vector Sextra

r (g), satisfying this linear system

Sextra2p−1(g) = 2

√2g

(γE − ln

2√

2

g

)δp,1 + 4(2p − 1)

∞∫0

dh

h

J2p−1(√

2gh)

eh − 1− 2(2p − 1)

∞∑m=1

Z2p−1,m(g) Sextram (g),

Sextra2p (g) = 4 + 8p

∞∫0

dh

h

J2p(√

2gh)

eh − 1+ 4p

∞∑m=1

Z2p,2m−1(g) Sextra2m−1(g) − 4p

∞∑m=1

Z2p,2m(g) Sextra2m (g). (5.4)

Now, the solution Sextrar (g) ought to be free of logarithms and expands as a usual (integer powers) asymptotic series, analogously to the

universal scaling case [30,31]. In particular, this translates for the first component in the asymptotic series

√2g Sextra

1 (g) = k1 g + k0 + k−1

g+ O

(1/g2), g → ∞. (5.5)

For instance, the system can be easily solved by the numerical analysis [32], already effective for determining f (g). In specific, includingup to 30 Bessel functions in the Neumann’s expansion (3.5) allows us to obtain a numerical evaluation of the function Sextra

1 (g) in therange g ∈ [0,15] (a plot of the complete function fsl(g) (5.3) in the range g ∈ [0,5] can be found in Fig. 1 together with a magnificationof the weak-coupling behaviour). Hence, we can fit the numerical data at large g by means of (5.5) and produce the best fit estimates

knum1 = −2.828426 ± 0.000001, knum

0 = 0.3238 ± 0.0001, knum−1 = −0.01194 ± 0.00015.

These value have a direct consequence in the series form of (5.3) (via (5.5)),

fsl(g) = 2√

2g

[ln

2√

2

g− c1 − 3 ln 2

2√

2π gln

2√

2

g+ c0

2√

2π g− K

8π2 g2ln

2√

2

g+ k−1

2√

2g2+ O

(ln g

g3

)], (5.6)

where K = β(2) is the Catalan’s constant and c1 = −k1/(2√

2), c0 = k0π . Now, we may also infer the plausible analytic values

c1 = 1, c0 = 6 ln 2 − π, (5.7)

and check how good the agreement of knum−1 is with the value in [22]

k−1 = 4K − 9(ln 2)2

4√

2π2= −0.0118253 . . . . (5.8)

In particular, for twist two the above value c0 = 6 ln 2 − π entails the unpublished evaluation c = 6 ln 2 + π by N. Gromov, reported in theadded note of [15].

Eventually, for generic twist L plugging into (3.12) the asymptotic value of the first generalised scaling function f (1)(g) = −1 + O (e− π g√

2 )

[23], we end up with

fsl(g, L) = 2√

2g

[ln

2√

2

g− c1 − 3 ln 2

2√

2π gln

2√

2

g+ c0 + (2 − L)π

2√

2π g− K

8π2 g2ln

2√

2

g+ k−1

2√

2g2+ O

(ln g

g3

)]. (5.9)

5 We ought to thank Matteo Beccaria for this private communication.

Page 6: Beyond cusp anomalous dimension from integrability

142 D. Fioravanti et al. / Physics Letters B 675 (2009) 137–144

Fig. 1. Plot of fsl(g) with magnification for g ∈ (0,1).

This shows clearly how, in this asymptotic expansion, the only trace of the twist comes up in the piece c0 + (2 − L)π and thus cancelsout completely, at order O (s0), in the asymptotic (large g) expansion of � − s = γ + L. This cancellation is due to the simple asymptotic

expansion f (1)(g) = −1 + O (e− π g√

2 ) [23] and holds for any L. Furthermore, it makes possible that the constant term (i.e. O (g0)) in� − s = γ + L at order O (s0) be c

π = 6 ln 2+ππ for any twist and thus future comparison with string theory (which does not distinguish

between null and small values of L [15]).

6. Summarising

In the present work we have performed a detailed study of the sub-leading (constant) contribution to the anomalous dimension of thetwist operator in the large spin expansion.

To this aim, we fully exploited the results obtained in [11] in order to write down a linear integral equation for fsl(g, L). This approachallowed us to study its weak-coupling expansion up to the order g20 (and even further), and to access the strong coupling behaviour bymeans of a modification of well established numerical techniques. An entire range plot is depicted by Fig. 1.

The strong coupling regime is of particular interest, because it shows a leading logarithmic behaviour (with the ’t Hooft coupling),that we are able to single out analytically by inspecting the structure of the inhomogeneous term in the linear integral equation (seeAppendix A). Moreover, relying on the numerical analysis, we are in the position to disentangle the terms of the asymptotic expansion;in particular, we confirm the string result in [15], additionally fix the constant c for the twist 2 case and understand how this constant isthe same for any other twist.

It is also important to stress that our computations, based on the asymptotic Bethe ansatz, are in full agreement with previous findings[14–17,28,29].

Finally, our formalism also allows the treatment and can be seen as a particular case of the high spin and large twist case, when theratio between the logarithm of the spin and the twist is fixed: this is the subject of the contemporaneous paper [33].

Note added

An interesting paper [22] appears today in the web archives. It seems to contain an analysis of the strong coupling expansions of fsl(g) in overlap with some of theresults of this work.

Acknowledgements

D.F. owes particular gratitude to M. Beccaria, D. Serban, I. Kostov, G. Korchemsky, A. Tseytlin, V. Forini, D. Volin and B. Basso forsharing their knowledge. Moreover, we thank D. Bombardelli, G. Infusino for discussions and suggestions. We acknowledge the INFN grantIniziative specifiche FI11 and PI14, the international agreement INFN-MEC-2008 and the Italian University PRIN 2007JHLPEZ “Fisica Statisticadei Sistemi Fortemente Correlati all’Equilibrio e Fuori Equilibrio: Risultati Esatti e Metodi di Teoria dei Campi” for travel financial support.D.F. and P.G. acknowledge the Galileo Galilei Institute for Theoretical Physics as well as M.R. the INFN/University of Bologna for hospitality.

Page 7: Beyond cusp anomalous dimension from integrability

D. Fioravanti et al. / Physics Letters B 675 (2009) 137–144 143

The work of P.G. is partially supported by the MCINN and FEDER (grant FPA2008-01838), the Spanish Consolider-Ingenio 2010 ProgrammeCPAN (CSD2007-00042) and Xunta de Galicia (Conselleria de Educacion and grant PGIDIT06PXIB206185PR).

Appendix A. Strong coupling of the extra terms

We briefly analyse the strong coupling (asymptotic) behaviour of the forcing terms of the system (3.10) for the extra coefficientsSextra

r (g). From the asymptotic formula

∞∫0

dh hs Jr(√

2gh)

eh − 1=

∞∑m=0

2m+s−1 Bm

m!(√2g)m−1

�( r+m+s2 )

�(1 + r−s−m2 )

, r + s � 1, (A.1)

where Bn are the Bernoulli numbers, we deduce the large g behaviour of all the forcing terms in (3.10), but the one involving J1. Thestrong coupling limit of such term can be evaluated after writing it as

∞∫0

dx

2

J2(x) + J0(x) − 1

ex√2g − 1

. (A.2)

Then we compute separately the strong coupling limits of the addends containing J2 and J0 −1, respectively. For the former, we use (A.1).For the latter, one uses the integral representation

J0(x) − 1 = 1

π∫−π

dθ(eix sin θ − 1

)(A.3)

and then integrates first on x, getting an expression in terms of ψ functions, and finally on θ , after developing the ψ functions for largeargument. With this procedure we get the asymptotic formula

g → ∞ ⇒∞∫

0

dh

h

J1(√

2gh)

eh − 1= − g√

2ln

g√2

+ g√2

(1

2− γE

)− 1

2+ O

(1

g

). (A.4)

We see that such term at large g behaves as − g√2

ln g . Therefore, it dominates the strong coupling behaviour of the forcing terms of (3.10).

References

[1] J.M. Maldacena, Adv. Theor. Math. Phys. 2 (1998) 231, arXiv:hep-th/9711200;S.S. Gubser, I.R. Klebanov, A.M. Polyakov, Phys. Lett. B 428 (1998) 105, arXiv:hep-th/9802109;E. Witten, Adv. Theor. Math. Phys. 2 (1998) 253, arXiv:hep-th/9802150.

[2] A.V. Belitsky, A.S. Gorsky, G.P. Korchemsky, Nucl. Phys. B 748 (2006) 24, arXiv:hep-th/0601112.[3] N. Beisert, B. Eden, M. Staudacher, J. Stat. Mech. 01 (2007) P01021, arXiv:hep-th/0610251.[4] A.M. Polyakov, Nucl. Phys. B 164 (1980) 171.[5] G.P. Korchemsky, G. Marchesini, Nucl. Phys. B 406 (1993) 225, arXiv:hep-ph/9210281;

G.P. Korchemsky, Mod. Phys. Lett. A 4 (1989) 1257.[6] L.F. Alday, J.M. Maldacena, JHEP 0711 (2007) 019, arXiv:0708.0672 [hep-th].[7] S. Frolov, A. Tirziu, A.A. Tseytlin, Nucl. Phys. B 766 (2007) 232, arXiv:hep-th/0611269.[8] S. Moch, J.A.M. Vermaseren, A. Vogt, Nucl. Phys. B 688 (2004) 101, arXiv:hep-ph/0403192;

A. Vogt, S. Moch, J.A.M. Vermaseren, Nucl. Phys. B 691 (2004) 129, arXiv:hep-ph/0404111.[9] A.V. Kotikov, L.N. Lipatov, Nucl. Phys. B 769 (2007) 217, arXiv:hep-th/0611204.

[10] J.A. Minahan, K. Zarembo, JHEP 0303 (2003) 013, arXiv:hep-th/0212208;N. Beisert, M. Staudacher, Nucl. Phys. B 670 (2003) 439, arXiv:hep-th/0307042;M. Staudacher, JHEP 0505 (2005) 054, arXiv:hep-th/0412188;N. Beisert, M. Staudacher, Nucl. Phys. B 727 (2005) 1, arXiv:hep-th/0504190;G. Arutyunov, S. Frolov, M. Staudacher, JHEP 0410 (2004) 016, arXiv:hep-th/0406256.

[11] D. Bombardelli, D. Fioravanti, M. Rossi, Nucl. Phys. B 810 (2009) 460, arXiv:0802.0027 [hep-th].[12] D. Bombardelli, D. Fioravanti, M. Rossi, Non-linear integral equations in N = 4 SYM, Proceedings of International Workshop on Recent Advances in Quantum Integrable

Systems (RAQIS 07), Annecy-le-Vieux, France, 11–14 September 2007, arXiv:0711.2934 [hep-th].[13] D. Fioravanti, A. Mariottini, E. Quattrini, F. Ravanini, Phys. Lett. B 390 (1997) 243, arXiv:hep-th/9608091.[14] L. Freyhult, A. Rej, M. Staudacher, J. Stat. Mech. 0807 (2008) P07015, arXiv:0712.2743 [hep-th].[15] M. Beccaria, V. Forini, A. Tirziu, A.A. Tseytlin, arXiv:0809.5243 [hep-th].[16] Z. Bajnok, R.A. Janik, T. Lukowski, arXiv:0811.4448 [hep-th].[17] A.V. Kotikov, L.N. Lipatov, A.I. Onishchenko, V.N. Velizhanin, Phys. Lett. B 595 (2004) 521, arXiv:hep-th/0404092;

A.V. Kotikov, L.N. Lipatov, A.I. Onishchenko, V.N. Velizhanin, Phys. Lett. B 632 (2006) 754, Erratum.[18] M. Beccaria, JHEP 0706 (2007) 054, arXiv:0705.0663 [hep-th].[19] L.J. Dixon, L. Magnea, G. Sterman, JHEP 0808 (2008) 022, arXiv:0805.3515 [hep-th].[20] L.F. Alday, J.M. Maldacena, JHEP 0706 (2007) 064, arXiv:0705.0303 [hep-th].[21] L.F. Alday, Talk given at Strings 2008, August 2008, CERN, Geneva.[22] L. Freyhult, S. Zieme, arXiv:0901.2749 [hep-th].[23] D. Fioravanti, P. Grinza, M. Rossi, Nucl. Phys. B 810 (2009) 563, arXiv:0804.2893 [hep-th].[24] B. Basso, G.P. Korchemsky, Nucl. Phys. B 807 (2009) 397, arXiv:0805.4194 [hep-th].[25] D. Fioravanti, P. Grinza, M. Rossi, arXiv:0805.4407 [hep-th].[26] F. Buccheri, D. Fioravanti, arXiv:0805.4410 [hep-th].[27] D. Fioravanti, P. Grinza, M. Rossi, arXiv:0808.1886 [hep-th].

Page 8: Beyond cusp anomalous dimension from integrability

144 D. Fioravanti et al. / Physics Letters B 675 (2009) 137–144

[28] M. Beccaria, JHEP 0706 (2007) 044, arXiv:0704.3570 [hep-th];A.V. Kotikov, L.N. Lipatov, A. Rej, M. Staudacher, V.N. Velizhanin, J. Stat. Mech. 10 (2007) P10003, arXiv:0704.3586 [hep-th].

[29] M. Beccaria, V. Forini, arXiv:0901.1256 [hep-th].[30] B. Basso, G.P. Korchemsky, J. Kotanski, Phys. Rev. Lett. 100 (2008) 091601, arXiv:0708.3933 [hep-th].[31] I. Kostov, D. Serban, D. Volin, JHEP 0808 (2008) 101, arXiv:0801.2542 [hep-th].[32] M.K. Benna, S. Benvenuti, I.R. Klebanov, A. Scardicchio, Phys. Rev. Lett. 98 (2007) 131603, arXiv:hep-th/0611135;

L.F. Alday, G. Arutyunov, M.K. Benna, B. Eden, I.R. Klebanov, JHEP 0704 (2007) 082, arXiv:hep-th/0702028.[33] D. Fioravanti, G. Infusino, M. Rossi, arXiv:0901.3147 [hep-th].