Wilson loops and its correlators with chiral operators in SCFT at large
Abstract:
In this paper we compute the vacuum expectation value of the Wilson loop and its correlators with chiral primary operators in superconformal gauge theories at large . After localization these quantities can be computed in terms of a deformed matrix model. The Wilson loops we deal with are in the fundamental and symmetric representations.
1 Introduction
The computation of the vacuum expectation value (vev) of a circular Wilson loop (WL) and the correlators of such WL with primary operators attract interest in the light of the AdS/CFT correspondence[1]. Especially interesting is the possibility to perform exact computations for the vev of a WL in supersymmetric gauge theories (SYM) exploiting the fact that only planar graphs contribute and that the propagators on the circle are constant [2]. The problem is thus reduced to the computation of the number of planar graphs, a task which is efficiently performed using matrix models[3, 4]. From this point of view, the matrix model is just a convenient tool to perform the computation. A direct computation of the vev of the WL leading to a matrix model was performed in [5]. In this reference the partition function of the SYM was computed and, as a byproduct, the SYM case was recovered by sending the mass to a peculiar limit in which the non perturbative contributions were just set to 1. This establishes a solid link between the computations performed in SYM and the matrix model. Furthering this line of research, in [6] the coefficients of the OPE of the WL were computed in the framework of the AdS/CFT correspondence using supergravity and string theory. This computation was later refined with a conjecture for the OPE of correlators of a WL with chiral primary operators of arbitrary conformal dimension [7]. Finally in [8] D3 and D5 branes were included in the computation. These results were all obtained in the limit of a large number of colors.
Following a somewhat different path, the results of [5] were extended in [9] by inserting arbitrary powers of the vector superfield into the classical prepotential. The general correlator can then be extracted from a deformed partition function given in terms of a deformed matrix model replacing the Gaussian matrix model underlying the theory. The same type of interacting matrix model arises in the studies of theories [5, 10], where now the interactions account for higher loop corrections and mass deformations. In this paper, we study the WL in the deformed matrix model and discuss applications to superconformal gauge theories.
The paper is structured as follows: in Section 2 we study the WL in the fundamental representation, deformed in different ways. In Section 3 the WL in theory is considered. In Section 4 we calculate the correlators between the WL and primary operators in the fundamental and in symmetric representations.
2 Deformed matrix models
As it was shown in [9], the vev of a WL in the fundamental representation of the deformed SYM theory can be written as an matrix model average
(1) 
The averages in the matrix model are defined as
(2) 
where
(3) 
with being the Lebesgue measure in the space of Hermitian matrices, being the Lebesgue measure in the space of eigenvalues absorbing numerical coefficient irrelevant for the calculation of averages and being the Vandermonde determinant
(4) 
In the following subsections we consider different types of the potential .
2.1 Even potentials
Let us start with a potential
(5) 
with even .
The resolvent defined as
(6) 
contains all the averages of the type .
Under the assumption of a single cut it can be represented in the form
(7) 
where is an even polynomial of order . The coefficients of the polynomial as well as the coefficient are determined by the condition at large . This condition generates a system of linear equations for the coefficients of the polynomial and one equation for the coefficient .
Solving the system one gets
(8) 
where is a solution of an equation
(9) 
Expanding in a series one finds the resolvent in a form
(10) 
The WL can be written in terms of the resolvent^{1}^{1}1The WL can be also found as , where is density of eigenvalues, which is clearly equivalent to (11) since .
(11) 
From (6), (10) and (11) one finds
(12) 
Evaluating the sums one gets
(13) 
Since the resolvent is linear in (except for the implicit dependence on in ), the results can be easily generalized to the case of an even potential
(14) 
One has simply to sum over .
(15) 
with now satisfying the equation
(16) 
In particular for the case considered in [9]^{2}^{2}2Unlike [9] we choose the parameters of the deformed background as , not .
(17) 
one gets
(18) 
with being a solution of
(19) 
Although the equation (36) for cannot be solved for general , it can be treated in perturbation theory.
At the zeroth order one finds the wellknown expectation value of the nondeformed WL
(20) 
It can be noticed that for the nondeformed WL, at large while in the deformed case at large , so can be considered as an effective coupling constant . But unlike the nondeformed case is limited. In fact (36) implies that
and since one gets a constraint for
(21) 
In the limit of the WL stops depending on and turns into a constant .
Using the zeroth and the first terms of a perturbation series as well as the exact solutions for one can conjecture the general term
(22) 
where
For the WL under this conjecture one gets
(23) 
2.2 Potentials with odd terms
In the case of the potential containing both odd and even deformations
(24) 
the resolvent has an asymmetric cut
(25) 
where the polynomial contains now both even and odd powers of and stands for the center of the cut. Demanding the resolvent to behave as at large one gets two separate systems of linear equations for the coefficients of with odd and even powers of , with the same invertible matrices as in the previous case. This requirement also leads to the equations
(26) 
(27) 
If there are only even powers in the deformation then and the second equation is missing (but can be equal to even if there are odd deformations in the potential).
The resolvent can now be written as
(28)  
For the WL one gets
(29) 
2.3 Doubletrace potential terms
Let us now consider a potential involving double trace terms
(30) 
which will be used in the Section 3.
Considering the averages in this theory as integrals over the eigenvalues (2) one gets an equation for the saddle point [3]
(31) 
which coincides with an equation for the saddle point in the effective potential
(32) 
with being the coefficients in the series expansion of the resolvent (6).
Thereby the potential (30) can be replaced by an effective potential (32) and the results from the previous section can be applied also to this case.
An explicit form of equations for the coefficients in the simplest case of even follows directly from the resolvent
(33) 
(34) 
where
If or is odd, one should be careful since is a coefficient in the expansion of the resolvent (28) in terms of , not in terms of .
It can be noticed that there is a difference in the diagrammatic interpretation of a WL in the deformed potentials (24) and (30). In the first case every cycle brings a factor , every propagator brings a factor and every vertex brings again a factor , so the total power of is proportion to the Euler characteristic of the surfaces, i.e. all planar diagrams make a contribution in the deformed WL. In the second case every cycle still brings and every propagator brings while the vertices don’t bring a factor anymore. Therefore not all of the planar diagrams make a contribution. Indeed, in every double vertex appearing in the perturbative treatment of the potential (30) only one vertex can be connected with the WL, while the second one should belong to a part separated from the WL, and can be interpreted as an effective factor in the first vertex. This fact is reflected by a replacement of the potential by the effective one.
2.4 Examples

This potential was considered in [9].

In this case the WL is given by
(37) where is
(38) and is the real positive solution of the cubic equation
(39) 
The corresponding effective potential is
(40) Reexpanding the resolvent (28) in terms of one finds the equation for
(41) Together with the equation for
(42) it gives the simple solution , so the effective potential does not contain a deformed term at all.
One could immediately see that in this case, since the initial potential is even, so all the averages of odd functions of disappear, including
(43) Therefore the WL is just
(44) 
3 Wilson loop in the theory
As it is shown in [10]^{3}^{3}3In [10] the parameters of deformed background were chosen as and we stick to our previous choice . the partition function of the super YangMills theory with U(N) gauge group and fundamental matter multiplets defined on a foursphere in the weakcoupling limit can be written as
(49) 
Here is a Hermitian matrices and
(50) 
where
(51) 
with being the Riemann zetafunction and being the EulerMascheroni constant.
The vev of the circular WL in this theory is
(52) 
where can be written as a sum of homogeneous polynomials of order .
(53) 
(54) 
where are the binomial coefficients.
Let us consider a conformal case with .
can be interpreted as a deformation in theory of the form considered in the previous section. Since is an even function of , all and only the terms of the form with even in actually deform the averages. Therefore the effective potential has the form
(55) 
with
(56) 
The system of equations for following from the resolvent can be written as
(57) 
with the matrix defined as
(58) 
It seems that the infinite system (57) cannot be solved in the general case, but since , the system can be treated in perturbation theory in terms of a small .
For example up to in the WL one will find the effective potential as
(59) 
where should be found perturbatively from the equation
(60) 
The WL one will get in the following form
(61) 
where stands for the nonperturbed WL in theory (20).
This expansion has a simple diagrammatic interpretation. For example, the terms proportional to come from a diagrams with one doublevertex of the form , i.e. from the diagrams with two single twopointed vertices, where one vertex is connected with the WL and one is disconnected (selfcontracted). A selfcontracted twopointed vertex brings a factor and the twopointed vertex connected with the WL brings a factor of (see (73)). There is also a multiplicative factor of 2 due to the two possible ways to pick up a vertex to connect to the WL. Therefore all the terms proportional to come from the expansion of in any order of including the ones in (61).
4 Correlators between the WL and chiral operators
It was shown in [9] that the correlators between the WL and the powers of chiral operators in the fundamental representation of the nondeformed SYM theory can also be written as matrix model averages
(62) 
where stands for the averages defined in (2) with quadratic potential .
The correlators between the WL and the normalordered chiral operators correspond to the matrix model average
(63) 
with in the righthandside standing for the Wick product.
In the following subsections we consider WL’s correlators with chiral operators in the fundamental and symmetric representations.
4.1 Fundamental representation
As it is clear from (1), the expectation value of the deformed WL with the potential (17) appears to be a generating function of connected correlators of nonnormal ordered chiral primary operators with the WL in the undeformed gauge theory, in particular,
(64) 
(65) 
counts all diagrams with one point vertex generated by the WL. In order to calculate the correlator between the WL and the normal ordered chiral operators corresponding to , one needs to subtract from all contributions given by the diagrams where some of the legs coming out of the point vertex are contracted among themselves and leave only the diagrams with propagators starting from the point vertex and ending on the WL.
Taking into account that every propagator gives a factor , one can write
(66) 
The coefficients are the ratios of the number of planar diagrams with selfcontractions in the point vertex and legs connecting the vertex with the WL to the number of planar diagrams with a point vertex without selfcontractions.
In order to find the coefficients let us introduce the quantities standing for the number of ways in which the legs of a point vertex can have selfcontractions and leave external legs (staying planar). With the help of Appendix A one finds
(67) 
So for the coefficients one finds then
(68) 
where are the binomial coefficients. Therefore
(69) 
(69) can be inverted (see Appendix A), leading to
(70) 
where
(71) 
Using (70) and the first term of (23)
(72) 
one can check that
(73) 
which is in the agreement with the result [7] and proves the conjecture that the radiative corrections cancel to all orders and the sum of planar rainbow diagrams is enough to calculate the correlators.
4.2 symmetric representation, limit
In the symmetric representation the expectation value of a WL written as the matrix model integral, is
(74) 
where stands for the WL in the symmetric representation.
In the large t’Hooft coupling constant limit the WL (74) can be written up to exponentially suppressed terms as [12, 13]
(75) 
One can write then
(76) 
where stands for the trace in the fundamental representation.
It implies that the WL in the symmetric representation has the same diagrammatic interpretation as the WL in the fundamental representation up to a factor for every line coming to the WL.
In particular, in the case of the potential (17) in the planar limit