Wilson loops and its correlators with chiral operators in SCFT at large
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.
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. 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 . 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 . 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  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 . Finally in  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  were extended in  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 , the vev of a WL in the fundamental representation of the deformed SYM theory can be written as an matrix model average
The averages in the matrix model are defined as
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
In the following subsections we consider different types of the potential .
2.1 Even potentials
Let us start with a potential
with even .
The resolvent defined as
contains all the averages of the type .
Under the assumption of a single cut it can be represented in the form
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
where is a solution of an equation
Expanding in a series one finds the resolvent in a form
The WL can be written in terms of the resolvent111The WL can be also found as , where is density of eigenvalues, which is clearly equivalent to (11) since .
Evaluating the sums one gets
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
One has simply to sum over .
with now satisfying the equation
with being a solution of
Although the equation (36) for cannot be solved for general , it can be treated in perturbation theory.
At the zeroth order one finds the well-known expectation value of the non-deformed WL
It can be noticed that for the non-deformed WL, at large while in the deformed case at large , so can be considered as an effective coupling constant . But unlike the non-deformed case is limited. In fact (36) implies that
and since one gets a constraint for
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
For the WL under this conjecture one gets
2.2 Potentials with odd terms
In the case of the potential containing both odd and even deformations
the resolvent has an asymmetric cut
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
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
For the WL one gets
2.3 Double-trace potential terms
Let us now consider a potential involving double trace terms
which will be used in the Section 3.
which coincides with an equation for the saddle point in the effective potential
with being the coefficients in the series expansion of the resolvent (6).
An explicit form of equations for the coefficients in the simplest case of even follows directly from the resolvent
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.
This potential was considered in .
The WL in this case is
where is a solution of the equation
The result coincides with .
In this case the WL is given by
and is the real positive solution of the cubic equation
The corresponding effective potential is
Re-expanding the resolvent (28) in terms of one finds the equation for
Together with the equation for
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
Therefore the WL is just
3 Wilson loop in the theory
As it is shown in 333In  the parameters of deformed background were chosen as and we stick to our previous choice . the partition function of the super Yang-Mills theory with U(N) gauge group and fundamental matter multiplets defined on a four-sphere in the weak-coupling limit can be written as
Here is a Hermitian matrices and
with being the Riemann zeta-function and being the Euler-Mascheroni constant.
The vev of the circular WL in this theory is
where can be written as a sum of homogeneous polynomials of order .
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
The system of equations for following from the resolvent can be written as
with the matrix defined as
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
where should be found perturbatively from the equation
The WL one will get in the following form
where stands for the non-perturbed WL in theory (20).
This expansion has a simple diagrammatic interpretation. For example, the terms proportional to come from a diagrams with one double-vertex of the form , i.e. from the diagrams with two single two-pointed vertices, where one vertex is connected with the WL and one is disconnected (self-contracted). A self-contracted two-pointed vertex brings a factor and the two-pointed 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  that the correlators between the WL and the powers of chiral operators in the fundamental representation of the non-deformed SYM theory can also be written as matrix model averages
where stands for the averages defined in (2) with quadratic potential .
The correlators between the WL and the normal-ordered chiral operators correspond to the matrix model average
with in the right-hand-side 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 non-normal ordered chiral primary operators with the WL in the undeformed gauge theory, in particular,
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
The coefficients are the ratios of the number of planar diagrams with self-contractions in the -point vertex and legs connecting the vertex with the WL to the number of planar diagrams with a -point vertex without self-contractions.
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 self-contractions and leave external legs (staying planar). With the help of Appendix A one finds
So for the coefficients one finds then
where are the binomial coefficients. Therefore
(69) can be inverted (see Appendix A), leading to
one can check that
which is in the agreement with the result  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
where stands for the WL in the -symmetric representation.
One can write then
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