Holographic Cusped Wilson loops in $q$-deformed $AdS_5\times S^5$ Spacetime

In this paper, minimal surface in $q$-deformed $AdS_5\times S^5$ with boundary a cusp is studied in detail. This minimal surface is dual to cusped Wilson loop in the dual field theory. We found that the area of the minimal surface has both logarithmic squared divergence and logarithmic divergence. The logarithmic squared divergence can not be removed by either Legendre transformation or the usual geometric substraction. We further make analytic continuation to the Minkowski signature %for the case without the jump and take the limit such that the two edges of the cusp become light-like and extract anomalous dimension from the coefficient of the logarithmic divergence. This anomalous dimension goes back smoothly to the results in the undeformed case when we take the limit that the deformation parameter goes to zero.


Introduction
Integrability [1] and localization [2] make us now be able to compute some important quantities in N = 4 super Yang-Mills theory as non-trivial functions of 't Hooft coupling λ and the rank of the gauge group N 4 . These computations lead to results at strong coupling and give non-trivial test on the famous AdS/CF T correspondence [3,4,5]. Cusp anomalous dimension f (λ) is among these interesting quantities and its value at finite λ in the planar limit can be computed using this powerful integrability method [6,7]. This function appears as a cusp anomaly of a light-like Wilson loop [8,9]. It also appears as the coefficient in front of log S of the anomalous dimension of large spin twist-two operator (here S is the spin of this operator) [10,11]. The fact that these two approaches give the same function f (λ) was proved in the perturbative gauge theory in [12,13,14].
Both approaches for the cusp anomalous dimension have dual descriptions in the gravity side of gauge/string duality. The twist-two operator is dual to folded spinning strings in AdS 5 found by Gubser-Klebanov-Polyakov (GKP) [15]. The anomalous dimension of the operator can be obtained from the energy of the semi-classical string. The Wilson loop is dual to an open F-string in AdS 5 , and the contour of the Wilson loop is just the boundary of the F-string worldsheet [16,17]. The holographical dual of cusped light-like Wilson loop was studied in detail in [18] (see also [19]) by performing a nontrivial analytic continuation of the F-string solution dual to cusped Wilson loop in Euclidean space in [20]. The cusp anomalous dimension obtained from the open F-string solution coincides with the results from the closed string solution obtained in [15]. In [18], this was taken as evidence that [15] made the correct identification for string theory dual of the twist-two operators. In [21], the scaling limits of the above closed string solution and open string solution was shown to be equivalent through a analytic continuation and an AdS 5 isometry rotation. This explained, in the gravity side, why this two approaches give the same results for the anomalous dimension. This can be thought as a kind of open-closed duality in AdS background.
It is obviously of great value to search for integrable structure in AdS/CF T correspondence with less supersymmetries. Such examples are very rare. Orbifolds [22]- [24], β-and γ-deformations [25]- [28], and adding suitable fundamental matters [29]- [32] are almost the only known examples where the four-dimensional field theories are still the usual local gauge theories and the integrability in the planar limit is preserved [33]. Many other four-dimensional theories and their gravity duals are not integrable. Instead they display chaotic behaviors [34]- [39]. In the gravity dual of the orbifolds and β(γ)-deformation examples, the AdS 5 part is untouched. For the first case, the five-sphere is replaced by its orbifolds. And for the second case, the metric on S 5 is deformed with other background fields turned on. Since the AdS 5 part of the metric is unchanged and the NS-NS field has vanishing components in AdS 5 part for both cases, the computations for both GKP folded string in AdS 5 and F-string dual to cusped Wilson loops are not changed. The above mentioned open-closed duality in AdS space is preserved in a trivial manner. We also notice that this open-closed duality were also found for string theory on AdS 3 × S 3 × M 4 with both NS-NS and RR three-form fluxes [40].
It is then quite interesting to search for integrable models with a gravity dual involving more complicated geometry replacing the AdS part. Remarkably, one of such integrable deformations on the worldsheet theory was constructed in [41]. Many aspects of such deformation was already studied in [42]- [59]. The background was called q-deformed AdS 5 × S 5 5 . The field theory dual of string theory on this background is still unclear. People hope that the studies of various aspects in the string theory side can give us some hints on the possible dual field theory. Many classical string solutions in this background were studied in detail in [46,48,52,49,53,55]. There are already several interesting features for the classical strings which are different from the case without deformations. The GKP spinning string solutions found in [52,53] can not be smoothly connected with the original solutions in [15] when we take the limit that the deformation parameter goes to zero. And the energy E and spin S of these spinning strings will not have the relation E − S ∼ f (λ) log S in the large S limit. Another interesting result [55] is that the open F-string solution with boundary a circle has finite area without peforming geometric substraction or Legendre transformation which was used for the undeformed case, though there are divergences in the action when the boundary is a straight line [52]. Here the deformation parameter plays the role of a UV regularization [55].
The above features led us to the study of the F-string solution with boundary a cusp in q-deformed AdS 5 × S 5 . We also consider the case when there is a jump in the deformed S 5 at the cusp. The solution was found by computing the conserved charges from the symmetry of the system. We find the area of the worldsheet has behavior different from both the case with circle as boundary and the holographic dual of cusped Wilson loops in the undeformed case. The area has logarithmic squared divergence, in additional with the logarithmic divergence. The logarithmic squared divergence is softer than the linear divergence in the undeformed case. However the UV regularization provided by the deformation parameter did not change it to be finite. We then turn to the attempts for the renormalization of the area. Two usually-used methods, Legendre transformation and geometric substraction are considered. We found that neither of them can remove the logarithmic squared divergence, and these two methods are no longer equivalent to each other. Finally, by continuation to the Minkowski signature and subtracting the logarithmic squared divergence by hand, we computed the cusp anomalous dimension for the deformed case. We find that this result can be smoothly connected with the result in the undeformed case when we take the limit that the deformation parameter tends to zero.
The remaining part of this paper is as follows: in the next section, we will find the F-string solution in q-deformed AdS 5 × S 5 dual to cusped Wilson loops. The cusp anomalous dimension will be extracted from the cusped Wilson loops in section 3. Final section is devoted to conclusion and discussions.

F-string solution dual to cusped Wilson loop
In [41], an integrable deformation of type IIB superstring theory on AdS 5 ×S 5 was constructed. From this, the string frame metric and B-field for this string background was given in [42]. Later a new coordinate system was introduced in [52] which was inspired by studies of GKP (Gubser-Klebanov-Polyakov) strings [15] in q-deformed AdS 5 . A related Poincare-like coordinate system for q-deformed AdS 5 was introduced in [55]. This will be our starting point. So now we list the results of metric and B-field in this Poincare-like coordinates. The metric for the q-deformed AdS part in Poincare coordinates is, .
The metric for the q-deformed S 5 part is, The action of Wess-Zumino term for the deformed AdS part is, and for the deformed S 5 part is, It is easy to see that C plays the role of deformation parameter and when we take the limit C → 0, we will go back to the undeformed case.

Cusped Wilson loop 2.2.1 Loops without a jump in deformed S 5
We now begin our computation of minimal surface with boundary a cusped loop. This minimal surface is the worldsheet of F-string in deformed AdS 5 × S 5 dual to a cusped Wilson loop in the dual field theory. First we study the case with trivial dependence on the coordinates of deformed S 5 , that is to say that the coordinates of deformed S 5 take constant values on the worldsheet. At the boundary the Wilson loop is put at two lines and The string worldsheet will extend to the bulk of deformed AdS 5 . Let us choose r and ψ to be the coordinates of string worldsheet and start with the following ansatz the boundary condition is y(r, 0) = y(r, Ω) = 0.
Taking into account the invariance of the metric in eq. (1) under the scaling transformation y → λy, r → λr, we expect the solution for y(r, ψ) should take the form of And the boundary condition gives now One can also check that the Wess-Zumino term in the worldsheet action will not affect the equation of motion for the ansatz chosen above 6 . Substituting the ansatz back into the target space metric in eq. (1), we obtain the induced metric on the worldsheet , Then the area of the surface is So the Nambu-Goto action of the string is Therefore, finding the minimum surface in the bulk in this case reduces to a one dimension variational problem with the Lagrangian, We can solve this extreme value problem by making use of the translation invariance in ψ (L does not depends on ψ explicitly), and the corresponding conserved charge is: Due to the symmetry of the system, f will achieve its minimal value f 0 at ψ = Ω/2, then we have ∂ ψ f | ψ=Ω/2 = 0. Thus we can also express E in terms of f 0 , We may work out f ′ by equating these two expressions of E, From this, we get the relation between f 0 and Ω as .
By making the transformation f = z 2 + f 2 0 , we get Substituting eq. (18) back into the Lagrangian , we obtain, where we have imposed an infrared cutoff for y, y > ǫ or f < r/ǫ. We can further make the transformation f = z 2 + f 2 0 as above and the integral becomes, with a, b, c listed below, Here we will give an approximate analysis since a special function solution requires additional constraints for the parameters f 0 and C and will not make the result clearer. By making a change of variable z = 1/t and noticing that for small ǫ, we have .
To extract the divergent part of the integral, we expand the integrand around t = ǫ/r, Hence, the area can be evaluated as, where L is the cutoff for the length of the two rays of the Wilson loop and the function F comes from the finite part of L(r, ǫ). We find that the area is composed of two kinds of divergences, logarithmic one and logarithmic squared one while for the undeformed case there are linear divergence plus a logarithmic one [20]. Unlike the undeformed case where the linear divergence can be casted away by means of Legendre transformation, we can not manage to subtract any divergence in this way in the deformed background as will demonstrated in the next subsection.

Loops with a jump in deformed S 5 at the cusp
We continue to study a cusped loop where the points on the two edges correspond to two different points in deformed S 5 . In this work, we will only consider the case that the dual of the two edges have a relative angle of Θ only along the θ direction of deformed S 5 . For the undeformed case, a complete and analytical solution is given in [60]. Since the cusp is still invariant under the rescaling of r, we consider the following ansatz, Therefore the induced metric on the worldsheet turns out to be, The area becomes, We focus on the Lagrangian density, It is easy to find two conserved charges of the system, the energy and the canonical momentum conjugate to θ, For the convenience of calculation, we introduce two new conserved quantities which are the combinations of J and E, We find immediately θ ′ = qf 2 /(1 + C 2 + C 2 f 2 ) and by substituting it into p, f ′ is easily obtained, The extreme value f 0 is determined from the condition ∂ ψ f | ψ=Ω/2 = 0 as follows, The relation between Ω and f 0 is as in the previous subsection, we make the transformation f = f 2 0 + z 2 and obtain The relaiton between Θ and f 0 is The area becomes, where We can analyze the integral approximately by using a new variable t = 1/z, Therefore the area is, We find that the structure of the divergences is the same as the no jump case.

Renormalization of the area
Let us first recall the story in the undeformed case. When the contour of the Wilson loops is smooth, the bare area of the F-string worldsheet has divergence universally as L/ǫ [62] where L is the length of the loop and ǫ is the cut-off as introduced in this paper. This divergence can be removed either via a Legendre transformation [20] or by a geometric substraction [17]. And these two methods are equivalent to each other. For the case with a cusp, beside this L/ǫ term, there is a subleading divergence term growing as log(L/ǫ). The leading divergence can be removed by either of the two methods, and the subleading log(L/ǫ) term will remain there. This is consistent with the perturbative computations in the field theory side [20].

Legendre transformation
Firstly, we consider the loop with no dependence on the deformed S 5 and the only coordinate need to be replaced by its conjugate momentum is the radial coordinate y. From the Nambu-Goto action (29), it can be easily obtained as, Near the boundary y = ǫ or f = r/ǫ, we can evaluate f ′ approximately from (18), which indicates f ′2 ≫ f 4 ≫ f 2 , thus we obtained from eq. (53), So the boundary term is, Notice this cannot be used to cancel the leading log 2 divergence found in the previous section. The computation of the Legendre transformation for the case with a jump in deformed S 5 is similar and we arrive at the same conclusion.
So the area to be subtracted is, where y 1 , r 1 ≡ ǫ and y 2 , r 2 ≡ L are the IR and UV cutoffs respectively. In another word, we have From this result, one can see that the leading log 2 divergence can not be canceled using this geometric substraction. One can also see that the Legrendre transformation is not equivalent with the geometric substraction, as we advertised previously.

Anomalous dimension from cusped Wilson loop
The anomalous dimension can be obtained by the vacuum expectation value of a light-like Wilson loop with a cusp [18]. We will only consider the case without a jump in deformed S 5 at the cusp. The light-like system can be reached from the solution we have found by analytically continuing f 0 → if 0 and taking f 0 to a fixed value which will be given later, thus the cusp angle Ω becomes π + iγ , with 7 γ = P.P. .
The (renormalized) area A now becomes As discussed in the previous section, neither Legendre transformation nor geometric substraction can cancel the leading log 2 divergence, and to extract the anomalous dimension which comes from the coefficient of the logarithmic divergence, we subtract the leading divergence by hand in the above expression. In order to make the above two integrals real when z → 0, we can choose f 2 0 to satisfy then we make the transformation which gives and the integral can be expressed in terms of δ as In order for the two edges of the cusped Wilson loops to be light-like, we need to take a limit such that γ → ∞. This limit is given by δ → 0 (which obviously corresponds to can see the largest contribution stems from the term The same method can be applied to compute the area, which gives, So the cusp anomaly is,Γ In the C → 0 limit, we haveΓ By using the relation R 2 = α ′ √ λ in the undeformed case with λ the 't Hooft of the N = 4 super Yang-Mills theory, we getΓ which coincides with the results obtained in [18].

Conclusion and discussions
q-deformed AdS 5 × S 5 is a quite interesting background of type IIB string theory. It is integrable, and its dual field theory is still unclear. Probably it is dual to certain non-local field theory. We hope various computations on the string theory side could give some hints on the possible dual field theory. The study in this paper add one more example of such computations. We studied the F-string theory solution dual to cusped Wilson loops in the field theory side. Both the case with a jump in deformed S 5 at the cusp and the case without such jump are studied.
The first interesting aspect we find for the cusped Wilson loops is the divergence behavior of the area of the F-string worldsheet before renormalization. In [55], it is shown that the F-string dual to circular Wilson loop has finite area, before any renormalization or Legendre transformation though the action of F-string dual to straight line is divergent [52]. The first result was explained by that the deformation parameter C provides a UV regularization [55]. For the Wilson loops with a cusp, the bare area goes like Now the leading divergence scaling as log 2 L ǫ which is not made finite due to the deformation, however it is less divergent than L/ǫ. In other words, q-deformation softens the divergence while does not soften it into a finite term. This divergence can be removed neither by the Legendre transformation nor via geometric substraction, and these two methods are no longer equivalent to each other.
Another feature of our solution is that the cusped anomalous dimension obtained from the solution without a jump in deformed S 5 can be smoothly connected with the result in the undeformed case when we take the limit that the deformation parameter C tends to zero. This is quite different from the case for the spinning folded GKP-like string [52,53]. For the GKP string, the relation E − S ∼ f (λ) log S for large S was destroyed by the deformation. This makes us not be able to extract the anomalous dimension from the GKP string side and compare with the results given here from the cusped Wilson loops. The equivalent of these two approach for the undeformed case is broken down by the deformation partly because the background has much smaller isometry group after deformation.
For the undeformed case, the solution dual to the cusped Wilson loop with two light-like edges in [18] was found to actually have four cusps using the embedding coordinations [61]. Such observation made this solution to play a key role in the holographic computations of four-gluon planar amplitudes at strong coupling. It should be interesting to try to embed the deformed AdS 5 into a higherdimensional spacetime and study the geometry of the minimal surface dual to the cusped Wilson loop from this point of view.
It should be interesting to compute the holographic entanglement entropy [63,64,65] from this background to investigate whether the area law [66,67] of the entanglement entropy is lost or not, since probably the dual field theory is a non-local one. However to perform this computation, we need to know the metric in the Einstein frame. Since the metric in the string frame is known, we need to know the dilaton field. Some progresses were made in [57,54], however complete solution is still unknown. It should be valuable to find consistent solution including dilaton and Ramond-Ramond field and compute the holographic entanglement entropy. We hope we could work on this point in the near future.