Operator mixing in large N superconformal field theories on S4 and correlators with Wilson loops

We find a general formula for the operator mixing on the S4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\mathbb{S}}^4 $$\end{document} of chiral primary operators for the N=4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=4 $$\end{document} theory at large N in terms of Chebyshev polynomials. As an application, we compute the correlator of a chiral primary operator and a Wilson loop, reproducing an earlier result by Giombi and Pestun obtained from a two-matrix model proposal. Finally, we discuss a simple method to obtain correlators in general N=2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=2 $$\end{document} superconformal field theories in perturbation theory in terms of correlators of the N=4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=4 $$\end{document} theory.


Introduction
In N = 2 superconformal field theories (SCFT's), correlators of a special type of scalar operators known as chiral primary operators (CPO's) can be computed exactly from a deformed matrix model obtained by adding suitable source terms to the theory on S 4 [1]. Since the construction involves a conformal map from S 4 into R 4 , and because the regulated theory on S 4 breaks the U(1) R symmetry, mixings among operators with different R-symmetries are possible. Alternatively, since the radius of the S 4 sets a scale which can soak up dimensions, operators of different dimensions can mix. These mixings can be viewed as a manifestation of the conformal anomaly.
In order to take care of the operator mixings, Gerchkovitz et al. [1] proposed a Gram-Schmidt procedure to disentangle the correct operators corresponding to those in R 4 . Such procedure was carried out explicitly in [2] for N = 4 Super Yang-Mills theory (SYM) in the large N limit, where the structure of the CPO's dramatically simplifies as only singletrace operators are kept. In particular, it was shown how the expected free-field result is recovered. This is a consequence of a celebrated non-renormalization theorem [3][4][5][6][7].
As discussed in [1], the coefficients encoding the mixings among operators are subject to an ambiguity; as they are defined modulo the addition of holomorphic and antiholomorphic functions of the couplings. This ambiguity can nevertheless be removed by taking appropriate derivatives. Thus, the resulting differentiated mixing coefficients should be observables, very plausibly linked to new manifestations of the conformal anomaly. It is therefore natural to expect the structure of the operator mixings (modulo the holomorphic ambiguity) to be very interesting.
In this note we explore the structure of the operator mixing, focusing in the case of N = 4 SYM in the large N limit (we provide some results for N = 2 superconformal QCD JHEP12(2016)120 as well). As we will see, the mixing coefficients nicely fit into a pattern corresponding to the Chebyshev polynomials (see eq. (2.18)). We will show that this form is exactly what is needed in order to recover the expected correlation functions from the matrix model [2]. Moreover, these operator mixings in the form of Chebyshev polynomials are also exactly what is needed to recover the expected form of the correlators between CPO's and Wilson loops [8][9][10][11][12], thus providing a highly non-trivial check of the relevance of the mixing structure.
It is worth emphasizing that the correlator between a CPO and a Wilson loop has been previously computed in [8][9][10][11][12]. Since the propagators evaluated on the loop become position independent, the computation can be done through a certain two-matrix model encoding the combinatorics of the Feynman diagrams. Interestingly, such matrix model is related to 2d Yang-Mills theory [13]. Here we shall arrive at the same result through a completely different path, thus suggesting an intriguing large N "duality" between matrix models.
This paper is organized as follows: we start section 2.1 with a brief review of the construction of [1] to compute correlators of CPO's and explain the relevance of the operator mixing. After this review section we jump into the new results found in this paper. In section 2.2 we then specialize to N = 4 SYM and establish the generic expression (2.18) encoding such operator mixing. In section 3 we turn to the computation of the correlator of a Wilson loop and a CPO. Following the same logic, we uncover a new representation for these correlators in terms of the S 4 matrix model with the insertion of operators in the form of the Chebyshev polynomials, as in eq. (2.18). This reproduces the same result obtained in [8] in a highly non-trivial way, and confirms the general form of the operator mixing on S 4 . In section 4 we turn to N = 2 conformal SQCD, for which we compute the analogous correlator among a Wilson loop and a CPO. Along the way, we find that correlators of CPO's in N = 2 superconformal QCD can be written in terms of correlators of N = 4 CPO's and prove a conjecture [2] about the 2-point function for CPO's in N = 2 SQCD with arbitrary SU(N ) gauge group. We close in section 5 with concluding remarks.
2 Operator mixing in S S S 4 from correlators of chiral primary operators

Review
Let us start with a brief review of the procedure presented in [1] to extract, from a deformed version of the S 4 partition function, correlators for chiral primary operators; as well as its recent application to the computation of large N correlators in N = 4 SYM and N = 2 superconformal QCD in [2].
Superconformal primary operators, annihilated by the superconformal supersymmetry generators S i α andS iα , play a prominent role in N = 2 theories. Among those, chiral operators (CPO), annihilated as well by the Poincaré supercharges of one chiralityQ iα , are of special relevance. In particular, strong arguments suggest that these operators are always Lorentz scalars satisfying the BPS bound ∆ = R 2 , being R the U(1) R charge. This implies that their OPE is non-singular with constant structure functions, endowing these operators with a ring structure. Very recently, there has been much progress in JHEP12(2016)120 understanding the structure of such ring [1,2,[14][15][16][17][18]. In particular, in [1] it was argued that correlators of CPO's in R 4 can be extracted from the partition function of a deformed version of the theory on S 4 . This is possible due to a Ward identity on the S 4 , which relates the integrated correlator of particular combination including the top component of the N = 2 chiral superfield where the CPO lives, denoted by C, with the (unintegrated) correlator of CPO's O at North and South poles of the sphere (see [1,17,18] for more details). Explicitly, (2.1) Furthermore, due to supersymmetry, it holds that correlators on R 4 satisfy that [15] This can now be recast as In order to relate the correlators on R 4 to the correlators on S 4 , one makes use of the fact that R 4 and S 4 metrics are related by a conformal transformation, Given that x → ∞ in the S 4 corresponds to the North pole, one has where we used the conformal map induced by (2.4). Conversely, since x → 0 corresponds to the South pole, Thus, this allows one to relate the R 4 correlator to the S 4 correlator as Substituting this formula into (2.1), one obtains (2.8)

JHEP12(2016)120
The next problem is to determine the correlators on S 4 . A convenient way to generate these correlators is by considering a deformed version of the S 4 partition function by adding sources τ m for all CPO's, obtaining in this way a deformed partition function Z[{τ m ,τ m }] [1]. Here τ 2 = τ YM , where, as usual, Im τ YM = 4π Correlators can then be computed by (2.9) There is, however, one important subtlety, namely that, due to the conformal anomaly, on the S 4 there is a highly non-trivial operator mixing. This is expected, since the S 4 theory preserves the supergroup osp(2|4), which contains the SU(2) R symmetry but breaks the U(1) R symmetry. Thus, mixings among different chiral primary operators are possible. Indeed, denoting by r the radius of the S 4 , a given operator O ∆ of dimension ∆ on R 4 , when mapped into S 4 , generically mixes with all operators of lower dimensions in steps of 2, that is (2.10) Due to this effect, in order to find the expected R-charge conservation on R 4 , when mapping the S 4 computation back into the R 4 , the operator mixing must be disentangled. This can be accomplished by a Gram-Schmidt orthogonalization procedure. From now on, we set r = 1.
Following [1], in the recent work [2] correlators of CPO's in N = 4 SYM have been computed solving the deformed matrix model in the large N limit. In this limit, the set of CPO's dramatically simplifies as only single-trace operators contribute. Thus, the operators in the chiral ring are of the form O R 4 n = Tr φ n , being φ one of the complex scalars in the theory (that interpreted to live in the vector multiplet when the theory is viewed as an N = 2 theory). Upon mapping into the S 4 , the operators Tr φ n | S 4 acquire a vacuum expectation value (VEV) due to the mixing with the identity operator given by [ and Tr φ 2r+1 S 4 = 0. It is useful to define the operator O S 4 n as the VEV-less version of Then, the large-N correlators of O S 4 n are given by [2] π (n + r + 1)Γ(n + 1)Γ(r + 1) . (2.14) 1 This VEV can also be read from the VEV of the 1/2 BPS circular Wilson loop, which at large N is given by [19,20] , by expanding the exponential (see (3.3), (3.1) below).

JHEP12(2016)120
The map (2.10) between O R 4 n and O S 4 n arising from the Gram-Schimidt procedure was explicitly calculated in [2] for the first few operators. One finds With these ingredients, it was shown in [2] that the first few correlators of O R 4 n exactly match the general formula being λ the 't Hooft coupling. This formula coincides with the free field theory result due to a non-renormalization theorem [3][4][5][6][7].

A general expression for the operator mixing in large N N = 4 SYM
The mixings in (2.15) appeared in [2] for the first few operators. While the extension to arbitrary dimension is in principle straightforward, it becomes intrinsically more cumbersome to perform the Gram-Schmidt procedure. Our first task will be finding the generic form of the mixing coefficients. To that matter, upon inspection of (2.15) one can identify the general pattern underlying the mixing structure. We find that the operator mixing (2.15) is encoded in the general expression where T n (x) is the n-th Chebyshev polynomial and it is understood that the term x k in the polynomial stands for the VEV-less operator O S 4 k , defined in (2.12). The formula can be given in a more explicit form as

JHEP12(2016)120
where we have used the property This can be proved by substituting the expressions for the VEV given in (2.11). 2 Using (2.18) and the sphere correlators (2.13), we can now prove in full generality (2.16). To that matter, note that For even n, T n only contains even powers of x, while for odd n, T n contains only odd powers of x.
where we have set, for simplicity, λ (4π) 2 ≡ g. The overall numerical factor 4 2n+1 stands for the 4 ∆ factor discussed above, originating from the conformal map S 4 → R 4 . Substituting here the formula (2.13), we obtain (2.23) Strikingly, this exactly reproduces (2.16) for odd-dimensional operators. Next, for even-dimensional operators the analogous computation reads

JHEP12(2016)120
We have seen that the mapping between R 4 operators and S 4 operators in large N N = 4 SYM is given by the Chebyshev polynomials (2.18). We can now extract the explicit formulas for the operator mixing coefficients. Comparing (2.10) with (2.18), we have that (2.26) As discussed in [1], these coefficients are scheme-dependent and can be redefined as Nevertheless, an unambiguous quantity, which we will denote as A (2k) n , can be constructed as (2.27) In the case at hand, we find (2.28) It would be extremely interesting to understand the physical significance of the A (2k) n , in particular, as a manifestation of the conformal anomaly.

Correlators of chiral primary operators and Wilson loops in N = 4 SYM
Let us turn our attention to the correlator between a chiral primary operator and a Wilson loop [8,9]. We consider the family of 1/8 supersymmetric Wilson loops introduced in [21][22][23]. These are constrained to live in an S 2 inside R 4 at x 4 = 0 and satisfying x 2 1 + x 2 2 + x 2 3 = r 2 . Generically, these Wilson loops couple to three out of the six real scalars of the N = 4 SYM theory, which we may denote by X i , as (3.1) A specially interesting class of operators are those of the form Tr(X n + iY ) n , where X n = x i r X i and Y stands for any of the remaining three scalars [8,24]. These operators share 2 supersymmetries with the Wilson loop.
We may now choose the loop to lie on the maximal circle -so that it becomes 1/2 BPS -at x 3 = 0, when it couples only to X 3 . Moreover, we can insert the scalar operators at {x 1 , x 2 , x 3 } = {0, 0, ±r}, so that X n = ±X 3 . Then, the combination φ = ±X 3 + iY is just a CPO for which the results of [1,2] apply. Thus, let us consider the correlator O R 4 n (0)W R 4 , with O R 4 n = Tr φ n (0). Note that r is then the distance between the insertion point and the center of the loop. Following the same procedure as in the previous section, we can then map this into the S 4 , so that

JHEP12(2016)120
In the remainder of this section, we will compute (3.2) and then compare it against the results in [8]. To that matter, the map (2.18) will be crucial.
It is useful to first compute the vacuum expectation value of the 1/2 BPS Wilson loop, which amounts to the insertion of Tr e 2πφ . Expanding the exponential, it follows that Substituting (2.11) into (3.3), we find where I n denotes, as usual, the modified Bessel function of the first kind. This reproduces the familiar formula for the VEV of the circular Wilson loop found in in [19,20]. Note that we could have proceeded the other way, and read off the VEV's for the operators from the expansion of the Wilson loop in powers of λ, as the coefficient of each term would be the desired VEV. This prescription can also be used to determine the complete 1/N expansion of the vacuum expectation value of single trace CPO's. The exact result is the formula (2.11) multiplied by the factor B(r, N ) in eq. (A.9) in [20] (it can also be computed ab initio using orthogonal polynomials). Next, consider Note that in writing this we are simply using the results of localization, which permits to compute the Wilson loop in terms of local operators, (3.3). Because of localization, only the constant part of the scalar field of the vector multiplet appears in the matrix model. We also use the fact that the preserved SUSY's between the CPO and the loop are the same -and therefore we can import (3.3). In (3.5), the operator O R 4 n is to be interpreted through the operator mixing formula (2.18), that is, in terms of the VEV-less operators in S 4 inside the n-th Chebyshev polynomial. Note that Tr φ r does not correspond to a VEV-less operator, and hence the expressions (2.13) do not directly apply. Nevertheless, we may write O R 4 n Tr φ n is a polynomial in terms of the O S 4 n , whose VEV vanishes, the last term is zero. Therefore we can write Writing the operator O R 4 n in terms of the Chebyshev polynomials, (2.18), using the expansion (2.20) and computing the two-point functions using (2.13), we find Similarly, which is in perfect agreement with [8], yet through a completely different matrix model -see eq. (4.21) in [8] for The two-matrix model in [8] contains two matrices X and Y . The connection with the Gaussian matrix model used in the present paper (proposed in [20] and derived from supersymmetric localization [13]) seems to arise in the process of integrating out the Y matrix, which effectively generates the operator mixing in terms of the Chebyshev polynomial prescription. This is clear after taking the large N limit, i.e. to the level of solutions to the saddle-point equations. It would be extremely interesting to investigate the mechanism behind this duality in the most general context.

Correlators for chiral primary operators and Wilson loops in N = 2 superconformal SQCD
We can extend our computations of correlators between Wilson loops and CPO's to the case of other N = 2 theories. In perturbation theory, one can express correlators in any N = 2 superconformal field theory in terms of correlators of the N = 4 theory. As an illustration, we consider the example of N = 2 superconformal SCQD. For this case, the map between R 4 and S 4 operators was partially worked out in [2] at weak coupling. In the case of N = 2 superconformal SQCD, the map O R 4 → O S 4 will be given through a power-series correction to the Chebyshev polynomial prescription of N = 4 theory. This can be traced back to the fact that the partition function for N = 2 superconformal QCD JHEP12(2016)120 is (we assume that the gauge group is U(N ) for definiteness) We shall consider the perturbative expansion in the zero instanton number sector, so we set Z inst → 1. A perturbative series is obtained by expanding the one-loop factor in powers of a i . We use Now we can expand Z N =2 as (4.4) Since, for instance, the correlator , we see that the correlator in N = 2 superconformal SQCD can be written in terms of correlators in N = 4. It is clear that, mutatis mutandi, this result extends to all other correlators in N = 2 superconformal QCD.
Let us now turn to the correlator between CPO's and Wilson loops. For simplicity, we will focus on the correlator between O R 4 2 = Tr φ 2 and the Wilson loop. As shown in [2], O R 4 2 → O S 4 2 . Moreover, the correlators between O S 4 2 and any other even-dimensional operators can be read off from the formula where the first line corresponds to the leading order term, which is identical to that of the free field theory (and consequently analogous to that of N = 4 SYM due to the nonrenormalization theorem) and the second represents the NLO correction. Correlators with odd dimensional operators vanish.

JHEP12(2016)120
Consider the correlator Substituting the 2-point function (4.5), we find This formula generalizes the results by Giombi and Pestun to N = 2 superconformal QCD. It can be extended to other N = 2 superconformal field theories by following the same procedure. One may also compute the analogous correlators for CPO's of higher dimensions, though they are much more complicated because of the operator mixing. One , where the first few c n 's can be read off from the explicit map given in [2].

The SU(N ) case
As emphasized above, (4.3) is valid for any gauge group. Let us now particularize it and compute the partition function for N = 2 SQCD with SU(N ) gauge group at finite N . Imposing that Tr φ = 0, we get (4.8) We stress that we will be interested on the perturbative part. This corresponds to zero instanton number (for non-zero instanton number, one needs to project out the contribution of the U(1) vector multiplet from the U(N ) instanton partition function). It is useful now to re-write Tr φ 2 Tr φ and

JHEP12(2016)120
With this at hand (4.13) Let us now consider correlators for CPO's. The special case of correlators for Tr φ 2 is simple, as these insertions arise from derivatives of the YM coupling τ YM . The case of the SU(N ) theory is particularly interesting, since a conjecture for Tr φ 2 Tr φ 2 R 4 was put forward in [2]. Using (4.13) one finds which demonstrates the conjecture of [2]. In the particular case of SU(2) gauge group, this formula reproduces an earlier result given in [15] (see also [1]) and, for SU (3), SU(4), the formula (4.14) also reproduces the expressions given in [1,16].

Conclusions
In this paper we have analyzed the structure of the operator mixing arising when mapping the R 4 theory into the S 4 . Concentrating on the N = 4 SYM case, and at large N , such operator mixings are elegantly encoded into Chebyshev polynomials. This provides a general expression for the mixing coefficients, whose ∂ τ YM ∂ τ YM derivative is an unambiguous quantity A (2k) n . It would be be extremely interesting to understand if the gauge-invariant mixing coefficients A (2k) n can be computed in the holographic dual setup for supergravity in AdS 5 × S 5 space.
We have provided very non-trivial evidence of the relevant role of the Chebyshev polynomial mixing by computing the W O R 4 n R 4 correlator. In [8], such correlators were computed by means of a completely different matrix model -namely the two-matrix model. Here we have reproduced the result [8] for the correlation function W O R 4 n R 4 from first-principles, using the localized partition function and disentangling the operator mixing induced by mapping into S 4 . Thus, our result proves the conjectural relation proposed in [8] with the two-matrix model. In addition, it suggests a novel duality between two completely different matrix models at large N . It would be very interesting to explore such "duality" and understand its origins, in particular under the light of the connection of the twomatrix model to 2d Yang-Mills, and the extent to which this duality holds. In particular, it would be very interesting to understand the generic correlators W i O R 4 n i R 4 . Note that the Chebyshev polynomial prescription does not take into account mixing with multitrace operators in the S 4 , which, on the other hand, might be relevant whenever there is more than one CPO in the correlator with the Wilson loop. Understanding this point would be very interesting.
We have also computed the W O R 4 n R 4 correlator in N = 2 superconformal SQCD up to (and including) O(λ 4 ) in perturbation theory. Along the way, we have seen that correlators of CPO's in N = 2 superconformal QCD can be written in terms of correlators of CPO's in N = 4 SYM. In particular, this allowed us to provide a simple proof of the JHEP12(2016)120 formula for the finite N two-point function of the O R 4 2 operator conjectured in [2]. Further studying this connection among CPO correlators of N = 2 SQCD and N = 4 SYM would be very interesting.