BPS Wilson loops in generic conformal N=2 SU(N) SYM theories

We consider the 1/2 BPS circular Wilson loop in a generic N=2 SU(N) SYM theory with conformal matter content. We study its vacuum expectation value, both at finite $N$ and in the large-N limit, using the interacting matrix model provided by localization results. We single out some families of theories for which the Wilson loop vacuum expectation values approaches the N=4 result in the large-N limit, in agreement with the fact that they possess a simple holographic dual. At finite N and in the generic case, we explicitly compare the matrix model result with the field-theory perturbative expansion up to order g^8 for the terms proportional to the Riemann value zeta(5), finding perfect agreement. Organizing the Feynman diagrams as suggested by the structure of the matrix model turns out to be very convenient for this computation.


Introduction
An ambitious goal in theoretical physics is to obtain exact results that are valid for all values of parameters and couplings. This goal, however, is still out of reach for realistic quantum field theories describing the elementary particles in our world. It is therefore natural to study models obeying stronger symmetry constraints, such as supersymmetric and/or conformal theories. Moreover, some progress can be achieved by considering special regimes, like for instance the large-N limit in SU(N ) gauge theories, or by restricting to some specific sectors of observables. The hope is that the methods developed and the results obtained in this way could improve our understanding of more realistic situations.
A paradigmatic case, which sits at the crossroad of many approaches, is represented by the BPS Wilson loops of the N = 4 Super-Yang-Mills (SYM) theory in four dimensions. This theory has the maximum possible amount of supersymmetry allowed for nongravitational models; it is exactly conformal also at the quantum level, and many subsectors of its observables are integrable. Moreover, it admits a holographic dual description [1] as Type IIB superstring theory on AdS 5 × S 5 . In this theory, it is possible to construct BPS Wilson loops which preserve part of the supersymmetry. In particular, a 1/2 BPS straight Wilson loop vanishes identically, but a circular one is non-trivial. Its vacuum expectation value was computed in the planar limit in [2] by resumming the rainbow diagrams that contribute to it. The result has a holographic interpretation as the area of the surface bordered by the loop in the AdS 5 × S 5 background [3]. This computation was extended to finite N in [4] where it was observed that the perturbative expansion is captured by a Gaussian matrix model. Many extensions and generalizations have been studied in the N = 4 context with either field-theoretic or holographic methods or through relations to integrability [5][6][7][8][9][10][11][12][13][14][15][16][17][18][19][20]. Wilson loops that preserve a subgroup of the superconformal symmetry of the N = 4 theory are also instances [21] of a defect conformal field theory [22][23][24] and have been investigated also from this point of view [25][26][27].
The matrix model description of the 1/2 BPS circular Wilson loop has been derived in [28] from the localization approach. Actually, the localization methods are valid not only for the N = 4 SYM theory, but for any N = 2 SYM theory, in which case the resulting matrix model is not Gaussian any longer but contains interaction terms. This has been very useful in the study of the AdS/CFT duality in the N = 2 setting [29][30][31][32], since the interacting matrix model allows one to study the large-N limit in an efficient way, also in the strong coupling regime.
In this context, the localization is realized on a spherical space manifold S 4 , but when the theory is conformal it also reproduces the results in flat space. In fact, it has been shown to provide information about correlators of chiral operators [33][34][35][36][37][38][39][40][41] and about one-point functions of chiral operators in presence of a Wilson loop [42]. In non-conformal cases, one expects a conformal anomaly in relating the localization results obtained on S 4 to flat space quantities; there are however strong indications [43] that this anomaly, at least for correlators of chiral operators, is rather mild and that the interacting matrix model still contains a lot of information about perturbation theory in flat space. Localization also provides exact results for important observables related to the Wilson loop, such as the Bremsstrahlung function and the cusp anomalous dimension [44][45][46][47][48][49][50][51].
For N = 2 superconformal theories, the first check of the agreement between matrix model predictions from localization in S 4 and explicit calculations using Feynman diagrams in R 4 has been presented in [52]. Here the authors considered N = 2 SQCD with gauge group SU(N ) and 2N flavors, and explicitly showed that the terms proportional to g 6 ζ(3) in the vacuum expectation value of a circular BPS Wilson loop predicted by the Pestun matrix model exactly matched the g 6 ζ(3)-terms arising from Feynman diagrams in flat space at three loops. In particular they performed their check by considering the difference between the Wilson loop computed in N = 4 SYM and in N = 2 SU(N ) SQCD, finding in this way an enormous reduction in the number of Feynman diagrams to be evaluated. Focusing on the "difference theory", namely computing only the diagrammatic difference with respect to N = 4 SYM, is highly convenient and indeed this method has been extensively used in many subsequent developments in this context (see for example [41-43, 47, 48, 51, 53, 54]).
In this paper we present an extension of the work of [52] in two respects. Firstly, we consider the vacuum expectation value of the fundamental 1/2 BPS circular loop in conformal N = 2 SU(N ) theories that are more general than SQCD, namely in theories with matter transforming in a generic SU(N ) representation subject only to the requirement that the β-function vanishes. Secondly, we perform our calculations at one loop-order higher than in [52], i.e. we compute the terms proportional to g 8 ζ(5) at four loops. Our motivations are several.
First of all, by considering theories with a generic matter content we can gain a better understanding of how the matrix model diagrams are packaged color-wise. Indeed, we show that the interaction terms in the matrix model can be expressed as the trace of the logarithm of the fluctuation operator around the fixed points selected in the localization computation. The color structure of such operator is that of multiple insertions of adjoint generators in a loop where the hypermultiplets run -the matter ones contributing with a positive sign and the adjoint ones, which would be present in the N = 4 theory, with a negative sign. This fact indicates that the matrix model itself naturally organizes its outcomes in terms of the "difference theory", thus suggesting to organize in the same fashion also the Feynman diagrams arising in the corresponding field-theoretic computations. Furthermore, the matrix model also suggests that the lowest-order contributions to the vacuum expectation value of the circular Wilson loop proportional to a given Riemann ζ-value, namely the terms of the type g 2n+2 ζ(2n − 1), are entirely due to the n-th loop correction to a single propagator inserted in the Wilson loop in all possible ways. This is indeed what we find up to n = 3, thus extending the result at n = 2 of [52].
By working at one loop-order higher than in [52] we can put the agreement between the matrix model predictions and the field-theory results on a more solid ground. Indeed, at order g 6 all the numerous diagrams computed in [52] using the component formalism, actually collapse to just two superdiagrams if one uses the N = 1 superfield formalism in the Fermi-Feynman gauge. One of these two superdiagrams trivially vanishes since it is proportional to the β-function coefficient, and thus the check with the matrix model predictions reduces to the comparison of a single coefficient. On the contrary, at order g 8 even in the N = 1 superfield formalism one finds many different non-vanishing contributions corresponding to superdiagrams with different topologies, different combinatorial coefficients and different color structures. Therefore, obtaining an agreement with the matrix model results in this case is much more challenging and not at all obvious since many independent factors have to conspire in the right way. Moreover, differently from what happens at three loops, at order g 8 the color factors in the matrix model expressions have a different trace structure as compared to the Feynman diagrams at four loops, and the agreement between the two can be obtained only by using group-theoretic identities. Dealing with a matter content in a generic representation allows us to have full control on the color and combinatorial factors, thus avoiding accidental simplifications.
A further motivation for our work is that being able to treat conformal N = 2 theories with a generic matter content allows us to select special cases that exhibit a particular behavior in the large-N limit. For instance, we consider theories in which the matter content consists of N F hypermultiplets in the fundamental, N S in the rank-two symmetric and N A in the rank-two anti-symmetric representations of SU(N ) 1 . By requiring the vanishing of the β-function coefficient one obtains five classes of theories that exist for arbitrary N [55], one of which is the N = 2 SQCD. For two other classes we show that the difference of the Wilson loop vacuum expectation value with respect to the N = 4 case is sub-leading in the large-N limit and thus vanishes in the planar approximation. In fact, these two classes of theories were shown to have a holographic dual [56] of the type AdS 5 × S 5 /Z for an appropriate discrete group Z, which is a simple modification of the AdS 5 × S 5 geometry corresponding to the N = 4 SYM theory. Since the circular Wilson loop only sees the Anti-de Sitter factor, one should expect no deviations from the N = 4 case, and this is indeed what our results indicate.
We hope that our analysis might be useful also to study the vacuum expectation value of a Wilson loop in a generic representation and its behavior in the limit where the dimension of such a representation is large, along the lines recently discussed for example in [57][58][59].
This paper is organized as follows. In section 2 we review the matrix model obtained in [28] via localization, and formulate it for an N = 2 theory with gauge group SU(N ) and a generic matter content. In section 3 we first compute the quantum correction to the "propagator" of the interacting matrix model up to three loops, and then use it to obtain the leading terms of the vacuum expectation value of the 1/2 BPS circular Wilson loop in the fundamental representation. We also derive the exact expressions in g and N for the corrections proportional to ζ(3) and ζ(5) in this vacuum expectation value, and exploit them to study the large-N limit. In section 4 we perform a perturbative field-theory computation in the N = 2 superconformal theories at order g 8 using the N = 1 superfield formalism. By computing (super) Feynman diagrams in the "difference theory", we show the perfect agreement with the matrix model results. Finally in section 5 we briefly present our conclusions.
A lot of technical material is contained in the appendices. In particular, appendix A contains our group theory notations and conventions for SU(N ), while appendix B describes our notations and conventions regarding the spinor algebra and Grassmann variables. Appendix C describes a method to carry out the Grassmann integrations appearing in N = 1 superdiagrams with chiral/anti-chiral multiplet and vector multiplet lines. We have found this method, which follows a different route from the use of the D-algebra proposed long ago in [60], quite efficient in dealing with the type of diagrams involved in our computation. Finally, in appendix D we give the details on the various three-loop diagrams contributing at order g 6 ζ(5) to the adjoint scalar propagator.

The matrix model for N = SYM theories
Localization techniques have been exploited to compute exactly certain observables in N = 2 SYM theories, such as the partition function on a 4-sphere S 4 or the vacuum expectation value of BPS Wilson loops [28]. Here we consider N = 2 SYM theories with gauge group SU(N ) and matter hypermultiplets transforming in a generic representation R.

The S 4 partition function
The partition function on a 4-sphere S 4 with unit radius 2 , computed via localization, can be expressed as follows: where a is a Hermitean N × N matrix with (real) eigenvalues a u (u = 1, . . . , N ), ∆ is the Vandermonde determinant and Z(ia, g) is the partition function for a gauge theory with coupling g defined on R 4 with a parametrizing the Coulomb branch. Note that in non-conformal theories the gauge coupling g has to be interpreted as the renormalized coupling at a scale inversely proportional to radius of the 4-sphere. Before considering Z(ia, g) in more detail, let us remark that the integration over the eigenvalues a u in (2.1) can be rewritten simply as the integral over all components of the Hermitean traceless matrix a, namely The matrix a can be decomposed over a basis of generators t a of su(N ): we will normalize these generators so that the index of the fundamental representation equals 1/2: In Appendix A we collect our group theory conventions and other useful formulas. The integration measure is then simply proportional to b da b . The R 4 partition function Z(ia, g) can be written as In perturbation theory, we can neglect the instanton contributions and put Z inst = 1. The tree-level term is given by providing a free matrix model with a Gaussian term. The 1-loop part contains interaction terms, which we write as follows: The matrix model corresponding to the N = 4 SYM theory has S(a) = 0 and is purely Gaussian. For N = 2 SYM theories, instead, there are interaction terms. In general, let us denote by a the N -dimensional vector of components a u , and by W (R) the set of the weights w of the representation R and by W (adj) is the set of weights of the adjoint representation. Then, ) , and G is the Barnes G-function.

The interaction action
Let us now consider the interaction action S(a). From (2.8) it follows that = Tr R log H(ia) − Tr adj log H(ia) = Tr R log H(ia) , (2.11) where in the last step we introduced the notation This indeed vanishes for the N = 4 SYM theory, where the representation R of the hypermultiplets is the adjoint. For N = 2 models, this combination of traces is nonvanishing and precisely accounts for the matter content of the "difference theory" which is often used in field theory computations [52], where one removes from the N = 4 result the diagrams with the adjoint hypermultiplets running in internal lines and replaces them with the corresponding diagrams involving the matter hypermultiplets in the representation R.
Using the properties of the Barnes G-function, one can prove that where ζ(n) are the Riemann ζ-values. Then, we can rewrite (2.11) as follows (2.14) With the rescaling a → g 2 8π 2 a , (2.15) we bring the partition function on S 4 to the form The overall g-dependent pre-factor in (2.16) is irrelevant in computing matrix model correlators, and thus can be discarded. Using the expansion (2.4), the traces appearing in S(a) can be expressed as These tensors are cyclic by definition. In particular, we have where i R is the index of the representation R and β 0 the one-loop coefficient of the βfunction of the corresponding N = 2 gauge theory. In superconformal models, one has β 0 = 0. This implies that Tr R a 2 = 0 so that the interaction action S(a) starts at order g 4 , i.e. at two loops. As discussed in [41][42][43], using the basic contraction (2.22) and the so-called fusion/fission relations for traces in the fundamental representation of SU(N ), it is possible to recursively evaluate the quantities t k 1 ,k 2 ,··· = tr a k 1 tr a k 2 · · · 0 (2.23) and obtain explicit expressions for generic values of k 1 , k 2 , . . .. To compute perturbatively the vacuum expectation value f (a) in the interacting theory, one starts from the right-hand-side of (2.21) and expands the action S(a) as in (2.17). Proceeding in this way, for conformal theories where the g 2 -term vanishes, one gets

Expectation values in the interacting matrix model
where the notation 0,c stands for the connected part of a free correlator, namely We may regard (2.24) as an expansion in "trascendentality", in the sense that each term in the sum has a given power of Riemann ζ-values since it comes from the expansion of the exponential of the interaction action (2.17). For example the second term is the only one proportional to ζ(3), the third term is the only one proportional to ζ(5), while the ellipses stand for terms proportional to ζ(7), ζ(3) 2 and so on. Often f (a) is a "gauge-invariant" quantity, expressed in terms of traces of powers of a in some representations. Also the quantities Tr R a 2k are traces of this type. As shown in Appendix A, relying on the Frobenius theorem it is possible to express such traces in terms of traces in the fundamental representation. At this point, the vacuum expectation value (2.24) is reduced to a combinations of the quantities t k 1 ,k 2 ,... introduced in (2.23). This is the computational strategy we adopt in the following sections.

A class of conformal N = 2 theories
Let us consider a class of theories with N F matter hypermultiplets transforming in the fundamental representation, N S in the symmetric and N A in the anti-symmetric representation of order 2. This corresponds to taking The traces Tr R a 2k appearing in the interaction action S(a) can be re-expressed in terms of traces in the fundamental representation, as discussed in appendix A. 3 We normalize the flat measure as da = b da b / √ 2π , so that da e − tr a 2 = 1. In this way the contraction (2.22) immediately follows.
For example, for k = 1 one has Superconformal theories must have β 0 = 0. It is easy to see that imposing this condition leads to five families of N = 2 superconformal field theories with gauge group SU(N ), and matter in the fundamental, symmetric or anti-symmetric representations. They were identified long ago in [55] and recently reconsidered in [32,61]. They are displayed in table 1. Theory A is the N = 2 conformal SQCD which is often considered as the prototypical example of a N = 2 superconformal theory. On the other hand, theories D and E are quite interesting: for these superconformal models a holographic dual of the form AdS 5 × S 5 /Z with an appropriate discrete group Z has been identified [56]. We will discuss some properties of these theories in the following.
For higher traces with k > 1, one finds (see again Appendix A for details) Notice that for theory E the quartic term vanishes and thus in this case the effects of the interactions appear for the first time at order g 6 , i.e. at three loops, and are proportional to ζ(5). This feature, which has been recently pointed out also in [61], is a simple consequence of the properties of the quartic trace in a representation R formed by one symmetric and one anti-symmetric representation. Altogether, the matter hypermultiplets fill a generic  N × N matrix; this is to be compared with the N = 4 case in the hypermultiplets are in the adjoint representation, which is equivalent to N × N minus one singlet. The strong similarity of the two representations explains why theory E is the N = 2 model which is more closely related to the N = 4 SYM theory. For theory D, instead, the quartic term is a single fundamental trace and thus is simpler than in the other theories. In the following we will see that these features of theories D and E have a bearing on their large-N behavior.

Propagator and Wilson loops in superconformal matrix models
We now discuss in detail two specific applications of the formula (2.24): first the "propagator" a b a c and later the 1/2 BPS circular Wilson loops W(a) in the fundamental representation.

The propagator
If in (2.24) we take f (a) = a b a c , we get where inside each connected correlator we cannot contract a b with a c . Doing all legitimate contractions we obtain The above contracted tensors are proportional to δ bc , and thus if define we can rewrite (3.2) as Using the expressions of the tensors C for the five families of superconformal SU(N) theories that can be obtained from the formulae in Appendix A with the help of Form Tracer [62], one finds (3.6) These coefficients are tabulated in table 3.
theory Table 3. The coefficients C 4 and C 6 for the five families of conformal theories defined in table 1.
For the comparison with perturbative field theory calculations presented in section 4, it is useful to make explicit the symmetrization of the C -tensors appearing in (3.2). For the 4-index tensor, we have Indeed, due to the cyclic property and the fact that two indices are identified, a subgroup Z 4 ×Z 2 of permutations leaves C bcdd invariant and one has to average only over the 4!/8 = 3 permutations in the coset with respect to this stability subgroup. In a similar way, for the 6-index tensor we have In this case, the stability subgroup is Z 6 × Z 2 × Z 2 × Z 2 and the coset has 6!/48 = 15 elements.
We would like to remark that even if we have considered theories with SU(N ) gauge group and matter in the fundamental, symmetric and anti-symmetric representations, the color tensors C b 1 ...bn in (2.19) and the corresponding coefficients C n can be defined also for other representations of SU(N ) (or U(N )) using the Frobenius theorem, as indicated in appendix A, and also for other gauge groups. Thus, the structure of the propagator corrections in (3.4) is very general.

Wilson loops
As a second example, we consider the 1/2 BPS circular Wilson loop in the fundamental representation. If this operator is inserted on the equator of S 4 , in the matrix model we can represent it by the operator [28] Its vacuum expectation value is computed starting from (2.24), following the strategy outlined in section 2.3. We write where and so on. From these expressions it is easy to realize that for each Riemann ζ-value (or product thereof) the term with the lowest power of g in ∆W arises from the quadratic term in the expansion of the Wilson loop operator. Indeed, we have where C 4 is the coefficient of the two-loop correction of the "propagator" of the matrix model defined in (3.6). This result is valid for any superconformal theory, and in particular for the five families introduced in section 2.4. Clearly, for theory E the correction is zero; actually the whole X 3 vanishes in this case. In a similar way we find where C 6 is the three-loop correction of the matrix model "propagator". Combining (3.13) and (3.14) we see that at the lowest orders in g the difference of the vacuum expectation value of the Wilson loop with respect to the N = 4 expression is given by where Π is the quantum correction to the "propagator" given in (3.5). In the following sections we will prove that these results are in perfect agreement with perturbative field theory calculations using ordinary (super) Feynman diagrams. Actually, as explained in [42], within the matrix model it is possible to evaluate X 3 , X 5 and so on, without making any expansion in g. To obtain these exact results, one has to write the traces Tr R a 2k in terms of the traces in the fundamental representation by means of (2.29). In this way everything is reduced to combinations of the quantities t k 1 ,k 2 ,... defined in (2.23), which in turn can be evaluated in an algorithmic way using the fusion/fission identities [41]. In the end, this procedure allows one to express the result in terms of the exact vacuum expectation value of the Wilson loop in the N = 4 theory given by This expression can be resummed to obtain [2,4]: where L m n (x) is the generalized Laguerre polynomial of degree n. Applying this procedure to the five families of superconformal theories introduced in section 2.4, we find Expanding in g, it is easy to check the validity of (3.13). The case of theory A, namely N S = N A = 0, was already described in [42]. For theory E, as we have already remarked, X 3 = 0 since Tr R a 4 = 0. Therefore, in this case the first correction with respect to the N = 4 result for the Wilson loop is X 5 , which turns out to be Similar formulae can be easily obtained for the other families of superconformal theories.
We have derived them but we do not report their explicit expressions since for theories A, B, C, and D the leading term in the difference with respect to the N = 4 result is given by X 3 . We stress once more that this procedure allows one to obtain in an algorithmic way the exact expression in g and N of any term of the vacuum expectation value of the circular Wilson loop with a fixed structure of Riemann ζ-values. This fact will now be used to study the behavior of the matrix model in the large-N limit.

The large-N limit
The large-N limit is defined by taking N → ∞ and keeping the 't Hooft coupling fixed. In this limit the perturbative correction Π to the "propagator" given in (3.5) becomes From this expression we easily see that in the planar limit Π is non-zero for theories A, B and C, whereas it vanishes for theories D and E: In particular for theory D the correction to the "propagator" goes like 1/N , whereas for theory E it goes like 1/N 2 : Therefore, in the planar limit, the "propagator" of the matrix model for these two families is identical to that of the free matrix model describing the N = 4 SYM theory.
Let us now consider the vacuum expectation value of the circular Wilson loop. Taking the large-N limit in the N = 4 expression (3.17) one obtains [2] where I is the modified Bessel function of the first kind. Using this result in the ζ(3)-correction (3.18), we get This is a generalization of the formula obtained in [42] for the SQCD theory. With the same procedure we have also derived the planar limit of the ζ(5)-correction, finding These results indicate that for theories A, B and C the vacuum expectation value of the circular Wilson loop in the planar limit is different from the one of the N = 4 SYM theory.
On the other hand, for theories D and E this difference vanishes, namely in analogy with the "propagator" result (3.22). Working out the details at the next-toleading order for theory D, we find where the ellipses stand for terms with higher Riemann ζ-values (or product thereof). Similarly, at the next-to-next-to-leading order for theory E, we find Our findings have been obtained with a weak-coupling analysis at small λ. They are, however, in agreement with the strong-coupling results at large λ presented in [32], in the sense that also at strong coupling the vacuum expectation value of the circular Wilson loop in the planar limit is different from that of the N = 4 SYM theory for theories A, B and C, while it is the same for theories D and E. This observation suggests that also the interpolating function between weak and strong coupling shares the same features for the various theories. The fact that for theories D and E the vacuum expectation value of the circular Wilson loop is identical to that of the N = 4 SYM theory in the planar limit is also in agreement with the fact that the holographic dual of theories D and E is of the form AdS 5 × S 5 /Z with an appropriate discrete group Z [56]. Indeed, for the 1/2 BPS circular Wilson loop, the relevant part of the geometry is the Anti-de Sitter factor AdS 5 , which is the same one that appears in the famous AdS 5 × S 5 holographic dual of the N = 4 SYM theory [1]. It would be interesting to identify other observables that have this property in the planar limit and check the holographic correspondence, and also to find which observables of the theories D and E instead feel the difference with the N = 4 SYM theory in the planar limit. Investigating which sectors of our N = 2 theories are planar equivalent to those of the N = 4 SYM theory would be useful to better clarify the relations among the various models and also to understand to which extent the arguments discussed for example in [63] in the so-called orientifold models can be applied to our case. We leave however this issue for future work.
We conclude by observing that the coefficients N S + N A − 2 and N S − N A appearing in the planar limit results (see, for example, (3.21), (3.26) and (3.27)) have an interesting meaning in terms of the central charges of the N = 2 superconformal gauge theories corresponding to the matrix model. Indeed, taking into account the matter content corresponding to the representation (2.26) and using the formulae for the c and a central charges derived in [64], we find Using this, we can rewrite our results for the Wilson loop in the following way It would be nice to have an interpretation of this formula, and in particular of its prefactor, based on general principles.

Field theory checks
In this section we consider the field-theoretic counterpart of the computations we performed in section 3 using the matrix model.

Action and Feynman rules
We compute Feynman superdiagrams, working in N = 1 superspace formalism and considering the diagrammatic difference of the N = 2 SYM theory with respect to the N = 4 theory. We now briefly review these techniques; this serves also to explain our conventions.
Our N = 2 theory contains both gauge fields, organized in an N = 2 vector multiplet, and matter fields, organized in hypermultiplets. In terms of N = 1 superfields the N = 2 vector multiplet contains a vector superfield V and a chiral superfield Φ, both in the adjoint representation of SU(N ). The adjoint complex scalar ϕ of the N = 2 gauge multiplet is the lowest component of the chiral superfield Φ, while the gauge field A µ is the θ σ µ θcomponent of V (we refer to appendix B for our conventions on spinors, Pauli matrices and Grassmann variables). In the Fermi-Feynman gauge the part of the action which only involves these adjoint fields is where the dots stand for higher order vertices of the schematic form Here f abc are the structure constants of SU(N ) (see appendix A for our group-theory conventions). The Feynman rules following from this action are displayed in figure 1. An N = 2 hypermultiplet in a representation R contains two N = 1 chiral multiplets, Q transforming in the representation R and Q transforming in the conjugate representation R; we denote by Q u , u = 1, . . . d R and Q u their components 4 . The action for these matter fields, again in the Fermi-Feynman gauge, is where by T a we denote the SU(N ) generators in the representation R. The Feynman rules that are derived from this action are illustrated in figure 2. Figure 2. Feynman rules involving the matter superfields that are relevant for our calculations.
Therefore, the total action for the N = 2 theory is simply The N = 4 SYM theory can be seen as a particular N = 2 theory containing a vector multiplet and an hypermultiplet, both in the adjoint representation of the gauge group. So it corresponds simply to the case in which R is the adjoint representation. In terms of N = 1 superfields, beside V and Φ, it contains also two adjoint chiral multiplets that we call H and H (note that the adjoint representation is self-conjugate). Their components are denoted as H a ,H a , with a = 1, . . . N 2 − 1, and their action S H has the same structure as S matter with Q u andQ u replaced by H a andH a and the generator components (T a ) v u by the structure constants if abc . Thus we can write Doing the same substitutions on the Feynman rules of figure 2 yields the Feynman rules for the H and H superfields. From (4.3) and (4.4) it is easy to realize that the total action of our N = 2 theory can be written as Actually, given any observable A of the N = 2 theory, which also exists in the N = 4 theory, we can write Thus, if we just compute the difference with respect to the N = 4 result, we have to consider only diagrams where the hypermultiplet fields, either of the Q, Q type or of the H, H type, propagate in the internal lines, and then consider the difference between the (Q, Q) and the (H, H) diagrams. This procedure, which was originally used in [52], reduces in a significant way the number of diagrams to be computed. Moreover, as we remarked in section 2.2, it is suggested by the structure of the matrix model. We will apply this method to explicitly evaluate by means of Feynman superdiagrams two quantities: the propagator of the scalar ϕ and the vacuum expectation value of the 1/2 BPS circular Wilson loop. From now on we assume that our theory is conformal at the quantum level, namely that the β-function coefficient β 0 vanishes. This amounts to ask that the index of the representation R be equal to N , see (2.20).

The scalar propagator
The tree level propagator for the adjoint scalar field ϕ of the vector multiplet can be extracted from the propagator of the superfield Φ given in the first line of figure 2 by imposing θ 1 = θ 2 = 0: Since we consider conformal N = 2 theories, the quantum corrected propagator will depend on the momentum only through the factor 1/q 2 , and by gauge symmetry it can only be proportional to δ bc . So we will have ∆ bc (q) = δ bc q 2 1 + Π (4.8) where Π is a g-dependent constant describing the effect of the perturbative corrections. This constant should be captured by the matrix model and thus should be the same as the quantity Π defined in (3.4). We will now check explicitly that this is indeed the case, up to the three-loop order corrections proportional to ζ(5).

One loop
At order g 2 the first diagram we have to consider is (4.9) Here, and in all following diagrams, we adopt the notation explained in detail in appendix D (see in particular (D.1) and the following sentences): we write the diagram as the product of a normalization factor, 2g 2 in this case, which takes into account the combinatoric factor and the strength of the vertices, a color factor, and an integral over the internal momenta. The factor Z(k, q) is the result of the integration over the Grassmann variables at each internal vertex 5 and, according to the rules in figures 1 and 2 reads (4.10) The momentum integral in (4.9) is divergent for d → 4; however in the difference theory we have to subtract an identical diagram in which the adjoint superfields H and H run in the loop instead of Q and Q. This diagram has the same expression except for the color factor which is now given by Tr adj (T b T c ). The difference of the two diagrams is therefore proportional to From now on, we will use the graphical notation introduced in figure 3, according to which a hypermultiplet loop stands for the difference between the (Q, Q) and the (H, H) diagrams, with a color factor that is directly given by a primed trace. Figure 3. One-loop correction to Φ propagator in the difference theory. 5 The Grassmann variables in the external points 1 and 2 are set to zero to pick up the lowest component ϕ of the superfield, namely we have θ1 =θ2 = 0. Note that if we do not do this and consider the propagator of the full superfield Φ the color factor remains the same.
As already stated in (2.20), the color factor (4.11) for the one-loop correction, being proportional to the β 0 coefficient, vanishes for conformal theories. Thus the constant Π in (4.8) starts at order g 4 and all diagrams including the one-loop correction to the Φ propagator as a sub-diagram vanish.

Building blocks for higher order diagrams
Let us now consider higher order diagrams in the difference theory. Similarly to what happens at one-loop as shown in figure 3, the contributions of the (Q, Q) and (H, H) hypermultiplets always have a color factor that contains a "primed" trace of generators, i.e. they contain the tensor C b 1 ...bn defined in (2.19). We will use the symbol C (n) to denote such a tensor when we do not need to specify explicitly its n indices. Notice that, according to the Feynman rules, each insertion of a generator on the hypermultiplet loop carries a factor of g, so that the color factor C (n) is always accompanied by a factor of g n .
In the difference theory all diagrams up to order g 6 can be formed using the building blocks depicted in figure 4, and suitably contracting the adjoint lines, corresponding to V or Φ propagators, inserted in the loops.  As a matter of fact, we can also have quartic vertices with two gluon lines inserted in the same point along the hypermultiplet loop, each of which comes with a factor of g 2 and two generators. However, for the purpose of identifying the color factors, these contributions do not substantially differ from those produced by two separate insertions. Therefore, the possible color structures that occur up to the order g 6 can all be derived from the diagrams in figure 4. Organizing the Feynman diagrams according to their color coefficients C (n) in the way we have outlined facilitates the comparison with the matrix model.
In constructing higher order diagrams we exploit a further simplification: in N = 2 theories the one-loop correction to any hypermultiplet propagator vanishes. This is illustrated in figure 5. Such one-loop corrections cannot therefore appear as sub-diagrams of higher loop diagrams.

Two loops
At order g 4 there are two classes of diagrams that may contribute, whose color coefficients are proportional to C (3) or to C (4) . The diagrams proportional to g 3 C (3) always contain also an adjoint vertex proportional to g with which they are contracted. This is the case represented on the left in figure 6. However, due the symmetry properties of the tensor C Let us now consider these diagrams. As remarked before, a building block with four adjoint lines inserted on the hypermultiplet loop is proportional to g 4 C (4) , so at this order we cannot add any other vertices to it. Moreover, there is a unique contraction allowed, since each hypermultiplet field has a vanishing one-loop propagator. Thus, the only diagram at this order is the one represented on the right in figure 6. This has already been computed in [52] (see also [41]). Performing the Grassmann algebra and the momentum integral, we obtain a finite result proportional to ζ(3), which explicitly reads b c Since this is the only correction to the propagator at this order, from (4.8) we find in perfect agreement with the matrix model result reported in (3.3) and (3.5). This is an extension to a generic N = 2 SYM theory of the check originally performed in [52] for conformal SQCD.

Three loops
At order g 6 many diagrams survive also in the difference theory. Moreover, some of them can be divergent in d = 4. However, since we are dealing with conformal field theories, all divergences cancel when one sums all contributing diagrams. Therefore, we can concentrate on extracting the finite part, which the matrix model result (3.2) suggests to be proportional to ζ(5). Thus we only look for diagrams which provide ζ(5) contributions, and we check that their sum reproduces exactly the matrix model result.
To scan all the possible ζ(5)-contributions we use the same approach we applied above. We start from the building blocks in figure 4 and contract their adjoint lines in all the possible ways, introducing new vertices when necessary. It is quite simple to realize that many of the diagrams that are created in this way have a vanishing color factor. For example, the diagrams proportional to C (3) vanish for the same reason we discussed before. As far as the diagrams with C (4) are concerned, we can discard those containing as a subdiagram the two-loop contribution on the right of figure 6 since this latter is proportional to ζ(3), and no ζ(5)-contribution can arise from this kind of diagrams. All other possible diagrams that one can construct using as building block a sub-diagram with C (4) vanish by manipulations of their color factors.
We are left with diagrams whose color factor is proportional either to C (5) or to C (6) . In the first case, the building block is proportional to g 5 and thus we have insert a further cubic vertex to obtain the desired power of g; in the second case, instead, the building block is already of order g 6 , and so we can only contract its adjoint lines among themselves. We have made a systematic search of all diagrams that can be obtained in this way. Many of them vanish either because of their color factor or because of the θ-algebra, while in other cases the momentum integral does not produce any ζ(5)-contribution. In the following we list all of the diagrams that do yield a ζ(5)-term. There are seven such diagrams, named W  where T (I) bc is the color factor, which is in fact proportional to δ bc , and x (I) is a numerical coefficient determined by the explicit evaluation of the integrals over the loop momenta. In detail, we have  Since each color factor is proportional to δ bc , we can identify terms that are equal up to an exchange of b and c. In this way we get  Using the relation (A.14), it is easy to see that the first two terms actually cancel, and that the remaining ones can be written as follows: This expression is apparently different from the color tensor in the g 6 -term of the matrix model result (3.2). In fact, the latter contains the totally symmetric combination 30C (bdcede) and does not contain any C with five indices. However, using again (A.14) and the properties of the C tensors described in appendix A, it is possible to show that the last two terms in (4.24) precisely symmetrize the first term. The total three-loop contribution is therefore where in the last step we used (3.3). Altogether, adding the two-loop term (4.14), the quantum corrections of the scalar propagator proportional to g 4 ζ(3) and g 6 ζ(5) are This result fully agrees with the matrix model prediction given in (3.5).
As already mentioned at the end of section 3.1, we observe that the color tensors C b 1 ...bn and the coefficients C n can be defined for any representation of SU(N ) (or U(N )). Moreover, the steps that we performed above to show the agreement with the matrix model predictions only rely on the symmetry/anti-symmetry properties of these tensors and their group-theory properties, and not on their specific expressions for the SU(N ) theories with matter in the fundamental, symmetric or anti-symmetric representations. For this reason we believe that the same match could be proved and realized also in more general superconformal theories with other gauge groups and matter representations.

Supersymmetric Wilson loop
We now consider the perturbative computation of the vacuum expectation value of a 1/2 BPS circular Wilson loop in the fundamental representation. This composite operator, placed on a circle C of radius R, is defined as where P denotes the path-ordering. We parametrize the loop as: x µ (τ ) = R cos τ, sin τ, 0, 0 (4.28) with τ ∈ [ 0, 2π ]. We compute W (C) in perturbation theory using the diagrammatic difference (4.6). This perturbative computation has been already performed up order g 6 in [52], where the term proportional to ζ(3) coming from the matrix model was reproduced using Feynman diagrams for the conformal SQCD case, namely for theory A of table 1. Here we briefly review this result, generalizing it to a generic superconformal theory, and extend it to an order higher, reconstructing the full ζ(5)-coefficient at order g 8 .
Let us recall first some remarkable properties of this observable that simplify the perturbative analysis. The tree-level propagators of the gauge field and of the adjoint scalar in configuration space are (4.29) They are identical, a part from the different space-time indices. We will denote the sum of a scalar and a gluon propagator with the straight/wiggly line already introduced in figure 4. Expanding (4.27) at order g 2 , one gets an integral over C of the sum of the tree-level propagators of the gluon and of the scalar fields between the points x(τ 1 ) and x(τ 2 ). This contribution is represented in figure 7. Using (4.29), one finds Exploiting the parametrization (4.28), one can easily show that the integrand is τ -independent; indeed Inserting this (4.30), one finally obtains (4.32) At this order, this calculation is of course the same in N = 2 and N = 4, and thus there is no g 2 -contribution to the vacuum expectation value of W (C) in the difference theory. Also at order g 4 there are no contributions in the difference, since the only possible sources for such contributions are the one-loop corrections to the scalar and gluon propagators, which however vanish for superconformal theories in the Fermi-Feynman gauge [60,65], see figure 3. One begins to see a difference between the N = 4 and the conformal N = 2 results at order g 6 . Indeed, as we have seen in the previous section, in a generic conformal N = 2 theory the propagator of the adjoint scalar gets corrected by loop effect starting at order g 4 . Due to supersymmetry, also the gluon propagator in the Fermi-Feynman gauge gets corrected in the same way and thus (4.29) can be replaced by where Π is the quantity introduced in (4.8).
Exploiting this fact, and repeating the same steps as before, we can easily compute the contribution to the vacuum expectation value of W (C) corresponding to the diagram in figure 8, which yields a term proportional to g 2n+2 ζ(2n − 1). Using (4.26), for n = 2 this calculation yields Comparing with (3.13) and (3.14), we find a perfect agreement with the matrix model predictions for the lowest order terms in the g-expansion of X 3 and X 5 . The precise match with the matrix model results suggests that in the vacuum expectation value of W (C) the terms proportional to a given Riemann ζ-value with the lowest power of g, namely the terms proportional to g 2n+2 ζ(2n − 1), are entirely captured by the n-th loop correction of a single gluon or scalar propagator inserted in the Wilson loop. Moreover, the agreement with the matrix model also suggests that all diagrams contributing to W (C) have an even number of legs attached to the Wilson loop. We shall now check that this is indeed true, at the first relevant orders.

Absence of other contributions
Let us consider diagrams with three insertions on the Wilson loop contour. In the N = 4 theory there is such a diagram already at order g 4 which is shown in figure 9. Here the internal vertex can be with three gluons or with two scalars and one gluon. In both cases it carries a color factor proportional to f abc . This contribution has been proven to vanish  long ago [2,15]. The cancellation is justified by symmetry properties of the (finite) integral over the insertion points along the circular loop 6 .
In the difference theory, instead, the first three-leg diagram appears at order g 6 and is depicted in figure 10. This contribution, however, has a vanishing color factor (see also [51]). This is due to the different roles of the Q or H superfields, transforming in the representation R, and of the Q or H ones, transforming in the representationR. This implies that the color factor is At order g 8 there are several possible three-leg diagrams. Again, if we classify them in terms of their color factor, we can distinguish three classes, represented in figure 11. The first two have again a color factor proportional to the combination (4.36) which vanishes, while the last type has a color factor proportional to f abc . We have not performed a detailed calculation of this class of diagrams, but it is natural to expect that they cancel by a mechanism analogous to the one at work in the g 4 diagrams of the N = 4 theory represented in figure 9, since they have the same color structure and symmetry properties. This concludes our analysis on the check of the agreement between the matrix model prediction and the field theory results of W (C) at order g 8 .

Summary and conclusions
We have considered the perturbative part of the matrix model, derived from localization, which describes a generic conformal N = 2 SYM theory with group SU(N ). We have described the color structure of the interactions in this matrix model in terms of the difference between the N = 2 theory and the N = 4 theory corresponding to a free Gaussian model. In this set-up we have computed the matrix model counterpart of the propagator of the scalar field in the N = 2 vector multiplet and of the vacuum expectation value of a 1/2 BPS circular Wilson loop, organizing the resulting expressions according to their Riemann zeta-value structures. Having at our disposal generic expressions, we could focus on a class of conformal theories containing fundamental, symmetric and anti-symmetric matter multiplets and we singled out two classes of theories for which the Wilson loop in the large-N limit approaches the N = 4 value. Then, we have performed an explicit check of these matrix model results against their field-theoretic perturbative evaluation by means of superdiagrams in the N = 1 superfield formalism. We have done this up to order g 6three loops -for the propagator, which has allowed us to determine the four-loop terms of order g 8 proportional to ζ(5) in the Wilson loop vacuum expectation value. This is in itself a significant progress with respect to the checks previously available, namely those of order g 6 ζ(3) for the Wilson loop in the case of the conformal SQCD only. We think however that the relevance of this computation stays also in the fact that we have shown how the perturbative computations are made more efficient and tractable by organizing them in the way suggested by the matrix model, namely by focusing on the color factors corresponding to traces of adjoint generators inserted on a loop of hypermultiplets. We think that such an organization is potentially useful also for different theories, for example non conformal ones or, maybe, even theories with less supersymmetry for which localization techniques are not presently available. Beside the circular Wilson loop, it would be interesting also to study other observables in the various families of N = 2 superconformal theories described in this paper and analyze their behavior in the large-N limit to gain some insight on their holographic dual counterparts.

A Useful group theory formulae for SU(N )
We denote by T a , with a = 1, . . . , N 2 − 1, a set of Hermitean generators satisfying the su(N ) Lie algebra We indicate by t a the representative of T a in the fundamental representation; they are Hermitean, traceless N × N matrices that we normalize by setting In the conjugate fundamental representation the generators arē The generators t a are such that the following fusion/fission identities hold for arbitrary (N × N ) matrices M 1 and M 2 .
In the enveloping matrix algebra, we have where d abc is the totally symmetric d-symbol of su(N ). Using (A.2) and (A.6), we obtain from which it follows that d aac = 0. We can write the d-and f -symbols as ( and derive the following useful identities: where Tr denotes the trace in the adjoint representation.

Traces of generators
In any representation R we have where i R is the index of R, and is fixed once the generators have been normalized in the fundamental representation (see (A.2)). The quadratic Casimir operator in the representation R is defined by T a T a = c R 1 .
with d R being the dimension of the representation R.
The traces of products of generators define a set of cyclic tensors These are of course also cyclic, and the relation (A.14) applies to them as well.
If R is the representation in which the matter hypermultiplets of a superconformal theory transform, one can prove that since C ab is proportional to the one-loop β-function coefficient. Therefore, using this property and the relation (A.14) one can easily show that for conformal theories which, together with cyclicity, implies that the tensor C abc is totally symmetric. Thus, it is proportional to d abc . Finally, one can prove that Indeed, if we exchange the two free indices we have where the last step follows from the fact that C ecc = 0 since d ecc = 0. If instead we switch the position of a free and a contracted index, we have where have used the fact that C aec , being symmetric, vanishes when contracted with f bce .

Some particular representations
The generators in the direct product representation R = ⊗ are given by This representation is reducible into its symmetric and anti-symmetric parts: In the symmetric representation one has while in the anti-symmetric representation one has The adjoint representation is contained in the direct product of a fundamental and an anti-fundamental: The generators in the adjoint can thus represented simply 7 by Using these relations it is easy to obtain the well-known results collected in table 4. Table 4. Dimensions and indices of the fundamental, symmetric, anti-symmetric and adjoint representations of SU(N ).
If we consider a representation R made of N F fundamental, N S symmetric and N A anti-symmetric representations, namely as in (2.26), we immediately see that where β 0 is the one-loop β-function coefficient of the N = 2 SYM theory (see (2.28)). With a bit more work, but in a straightforward manner, one can compute traces of more generators. In particular, one can evaluate Tr R a n = N F tr a n + N S Tr a ⊗ 1 + 1 ⊗ a n + N A Tr a ⊗ 1 + 1 ⊗ a n − Tr adj a ⊗ 1 + 1 ⊗ (−a T ) n , (A. 29) with the result In particular, when n = 2k, this expression can be rewritten as in (2.29) of the main text.

Traces in a generic representation
A representation R is associated to a Young diagram Y R ; let r be the number of boxes in the tableau. Traces in the representation R can be evaluated in terms of traces in the fundamental representation using the Frobenius theorem. For any group element U in SU(N ), this theorem theorem states that We denote by M a conjugacy class 8 of S r containing permutations made of m j cycles of length j, with j = 1, . . . r; the number of elements in the class is r!/|M |, with

Spinor notations
We denote by ψ a chiral spinor of components ψ α with α = 1, 2, and byψ an anti-chiral one of componentsψα, withα = 1, 2. The spinor indices are raised and lowered with the following rules: We contract indices according to M is associated to a Young diagram with r boxes, containing mj columns of length j.
For the "square" of spinors, we use the notation From the previous relations, it is straightforward to obtain the Fierz identities

Clifford algebra
We realize the Euclidean Clifford algebra by means of the matrices (σ µ ) αβ and (σ µ )α β that can be taken to be where τ are the ordinary Pauli matrices. They are such that With these matrices we can write the 4-vectors as bispinors: We will often use the notations k andk to indicate the matrices k αβ andk αβ and form spinor bilinears of the type θ kθ = θ α k αβθβ . (B.11) The Clifford algebra, together with the property (B.9), allows to evaluate traces of σ and σ matrices, which we can also write in terms of traces of matrices of the type (B.10). In our computations we will need the following traces: tr k 1k2 k 3k4 = + 2 (k 1 ·k 2 ) (k 3 ·k 4 ) − (k 1 ·k 3 ) (k 2 ·k 4 ) + (k 1 ·k 4 ) (k 2 ·k 3 ) + . . . , tr k 1k2 k 3k4 k 5k6 = − 2 k 1 ·k 2 (k 3 ·k 4 ) (k 5 ·k 6 ) − (k 3 ·k 5 ) (k 4 ·k 6 ) + (k 3 ·k 6 ) (k 4 ·k 5 ) where the ellipses in the second and last line stand for parity-odd terms containing contractions with a space-time ε-tensor that do not enter in our computations.

Grassmann integration formulae
The basic integration formulae for Grassmann variables are These imply that the θ 2 andθ 2 act as fermionic δ-functions; more in general, writing θ ij = θ i − θ j , we have we also use the notation Spinor derivatives The covariant spinor derivatives are defined as In momentum space, they become where k is the momentum flowing outward from the space-time point x, i.e. the Fourier transform is taken with the phase exp(+i k·x).

C Grassmann integration in superdiagrams
We discuss a method to carry out the Grassmann integrations appearing in N = 1 superdiagrams involving chiral/anti-chiral multiplet and vector multiplet lines.

Diagrams with only chiral/anti-chiral multiplet lines
As we can see from the Feynman rules in figure 2, the three-point vertex with incoming chiral lines carries a factor of θ 2 and thus in the integration over the fermionic variables associated to the vertex, one remains with only an integral overθ. For the three-point vertex with outgoing anti-chiral lines, we remain instead with an integration over θ only. We will use a graphical notation in which a black dot represents a θ variable and a white circle represents aθ variable. From the point of view of the Grassmann integrations, superdiagrams with only hypermultiplet lines reduce to bipartite graphs, which we call "θgraphs". In these graphs a solid line connecting the i-th dot to the j-th circle corresponds to the factor exp 2 θ i k ijθj = 1 + 2 θ i k ijθj + 1 2 2 θ i k ijθj 2 (C.1) coming from the chiral superfield propagator connecting two vertices at points i and j in a Feynman superdiagram. An example of a θ-graph associated to a superdiagram is illustrated in figure 12, where the momenta respect momentum conservation at each node. To compute the diagram we have to integrate over all θ i andθ j variables. To do so, we expand the exponential factor corresponding to each line as in (C.1); we graphically represent this expansion in figure 13. Figure 13. Expansion of the exponential factor corresponding to a black line in the θ-graph. In the right hand side, each grey line corresponds to a θ i kθ j term.
Once this is done, it is easy to realize that one gets a non-zero contribution from the Grassmann integration if and only if in each black (or white) node one selects exactly two incoming (or outgoing) lines. As a consequence, one gets a contribution for each possible non-self-intersecting path passing through all the nodes that uses the edges present in the diagram. Such paths are collections of closed cycles. In the example of figure 12 there are ten such paths, which are drawn in figure 14.
We can now integrate over all Grassmann variables belonging to a cycle. By using the Fierz identities (B.6) and the integration rules (B.13), it is possible to show the following  Figure 14. The paths corresponding to non-vanishing contributions to the integral encoded in the diagram of figure 12. Note that all cycles of length two are actually accompanied by a factor of 1/2 which, however, we did not write in the figure to avoid clutter. relation: where the traces can be computed using (B.12) -or analogous formulae for n > 3. This is the key Grassmann integration formula for the calculation of Feynman superdiagrams.
Applying this procedure to the θ-graph of figure 12, we obtain where we have introduced the function F defined by tr p 8p7 p 2p3 + p 2 8 tr p 2p1 p 4p5 + p 2 7 tr p 1p4 p 6p3 + p 2 1 tr p 6p8 p 7p5 + tr p 6p8 p 7p2 p 1p4 + tr p 8p7 p 5p4 p 1p3 . (C.4) With the momentum assignments as in (C.3), the ten terms in the right hand side of (C.4) precisely reproduce the ten terms represented in figure 14. Computing the traces with the help of (B.12), one obtains in the end a polynomial of order six in the momenta entirely made of scalar products.
We have explicitly worked out this example because this θ-graph actually describes the prototypical example for the Grassmann factor associated to many of the Feynman superdiagrams that we will consider in detail in appendix D, the only difference being in the different assignments of the momenta to the various lines.

Vector multiplet lines
For Feynman superdiagrams containing vector multiplet lines, the most convenient strategy to handle the Grassmann integration is first to eliminate the vector lines, so that one remains with graphs containing hypermultiplet lines only, which can then be computed as we have previously described.
Let us first consider the graphs in which all vector lines are attached at both ends to a hypermultiplet line. In this case, for every vector line we have a sub-graph of the form described on the left of figure 15, where the solid oriented lines indicate a generic chiral/anti-chiral multiplet propagator.
As one can see from the Feynman rules listed in section 4, at each cubic vertex, labeled by 1 and 2, both θ 1 andθ 1 , and θ 2 andθ 2 are present and have to be integrated. However, the vector propagator contains a factor of θ 2 12θ 2 12 which acts as a δ-function identifying θ 2 andθ 2 with θ 1 andθ 1 , respectively. Therefore, we remain with two Grassmann variables, say θ 1 andθ 1 , to be integrated. The hypermultiplet lines attached to these variables provide the factor exp − θ 1 k 1 + p 1 + k 2 + p 2 θ 1 = exp − 2 θ 1 k 1 + k 2 θ 1 (C.5) Figure 15. How to associate a θ-graph to a diagram with a vector line attached to matter current.
where in the second step we have used momentum conservation. This is exactly the same type of exponential factor that in a θ-graph we associate to a solid line from the black dot representing θ 1 to the white dot representingθ 1 (see (C.1)). Thus, we deduce the rule of figure 15 which allows us to write the portion of a θ-graph corresponding to a vector line attached to matter lines.
Analogous rules can be worked out when there are vertices with the simultaneous emission of two vector lines from a scalar current line. The simplest case is the one represented in figure 16. Figure 16. The rule to replace a quartic vertex with two vector lines with the corresponding θ-graph. Here K = k 1 + k 2 + k 3 .
Things proceed in a perfectly analogous way if there are more quartic vertices. In the end, the subdiagram gives rise to a θ-subgraph with the same "external" lines. However now the outgoing lines are all attached to a single black dot -corresponding to an integration variable θ -and the incoming lines are all attached to a single white circle -corresponding to a variableθ. The dot and the circle are connected by a line, associated with the exponential factor exp − 2 θ Kθ , where K is the sum of the incoming momenta.
When the diagram contains interaction vertices with three or more vectors, things are slightly more involved because of the presence of covariant spinor derivatives in such vertices. We will not describe the procedure in general, because only one diagram with a three-vector vertex is needed in our computations. Indeed, we find more convenient to deal directly with this case, in which it is again possible to rewrite the Grassmann integrals in terms of a θ-graph of the type introduced above.

D Evaluation of the relevant superdiagrams
We report the computation of the Feynman superdiagrams that yield a contribution proportional to ζ(5) in the three-loop corrections to the propagator of the scalar field in the N = 2 vector multiplet.
Any diagram of this kind, with external adjoint indices b and c, external momentum q and s internal lines, is written as Here N is the product of the symmetry factor of the diagram and all the factors (like the powers of the coupling constant g) appearing in the vertices -except for the color factors which give rise to the tensor T bc . We have then the scalar integral over the internal momenta k s which we perform using dimensional regularization setting d = 4 − 2ε. The momenta are subject to the appropriate momentum conservation relations enforced by the δ-functions δ (d) (cons). Beside the denominator coming from the massless propagators, the integrand contains also a numerator Z(k) which is the result of the integration over all the Grassmann variables of the θ-dependent expressions present in the superdiagram. The massless scalar integrals at three loops with cubic or quartic vertices can be evaluated by various means; in particular, we use the FORM version of the program Mincer discussed in [66], which classifies them according to different "topologies" described by diagrams in which a solid line indicates a massless scalar propagator, and momentum conservation is enforced at each vertex.

Diagrams with six insertions on the hypermultiplet loop
We start by considering the diagrams with six insertions of an adjoint generator on the hypermultiplet loop. The color factor of these diagrams is proportional to a doubly contracted C tensor with six indices defined in (2.19).
The first diagram we consider is the following In this first diagram we set up the notation that we will use also in all subsequent ones. The external momentum is always denoted as q. Regarding the labeling of internal momenta, we label the internal vertices (from 3 to 8 in this case) and we denote as k ij the momentum flowing in a propagator from the vertex i to the vertex j, which is also the same convention introduced in (C.1). Assuming it, from now on we will display in the figures only the labels of the vertices and not of the internal momenta. The Feynman rules for propagators and vertices are given section 4.1. Using them, we get The scalar diagram has the ladder topology denoted as LA in [66]. The Grassmann factor Z (1) (k) is obtained integrating over d 4 θ i for i = 3, . . . , 8 and is easily determined using the rule described in figure 15. It is given by the following θ-diagram The evaluation of this θ-diagram by means of its cycle expansion, as explained after (C.1) and illustrated in figure 12, is immediate using (C.2). A factor of q 4 removes the two external propagators in the scalar diagram, so that it reduces to Here we have employed the standard graphical notation for diagrams with canceled external propagators and we have given the value of this scalar integral, which is finite, directly in d = 4. Altogether we get thus The next diagram is bc (q) = Here the color tensor reads the two terms stemming from the two ways to attach the gluon lines to the quartic vertex. This expression comes with a factor of 2 in (D.7) to account for the diagram in which the dashed and dotted parts of the hypermultiplet loop are switched. The scalar diagram has the fan topology denoted as FA in [66]. The Grassmann factor can be determined using the rule described in figure 16 and it is given by This factor removes the two external propagators in the scalar diagram, so that it reduces to Altogether we find thus The third diagram that contributes is The scalar diagram has the non-oriented topology denoted as NO in [66]. The Grassmann factor is found applying the rule of figure 15 and it is given by a θ-diagram of the type depicted in C.3, but with a different assignment of momenta. In particular, one has where the ellipses stand for terms that do not contain ζ (5). Putting together the various factors, we find Here the second term comes from the diagram where the dashed and dotted parts of the hypermultiplet loop are exchanged. The scalar diagram has the "Benz" topology denoted as BE in [66]. The Grassmann factor is found using the rule of figure 15 and it is given by The color factor is given by where the four terms that appear in the first line correspond to the four possible ways to attach the "external" vector multiplet line. The Grassmann factor is again found using the rule of figure 15 and it is given by Z (5) (k) = F 0, −k 78 , k 78 , −q, 0, q, k 78 , −(k 78 + q) . (D.23) Using this result inside the scalar momentum integral, which has the LA topology, one finds Here the four terms correspond to the four possible ways to attach the "external" adjoint chiral multiplet line. Using the by-now familiar procedure, the Grassmann factor is found to be Z (6) (k) = F k 73 , −(k 56 + k 87 ), k 68 , k 53 , k 56 , k 54 , k 87 , −(k 87 + q) . (D.28) The scalar integral, which has the BE topology, yields the result Among the diagrams with five insertions that give a ζ(5) contribution, there is one whose Grassmann factor cannot be computed simply by using the rules illustrated in ap-pendix C. It is the following: bc (q) = with the two terms corresponding to the fact that in the hypermultiplet loop the dashed or dotted parts can be exchanged. Since the cubic vector vertex contains covariant spinor derivatives and is not symmetric in the three vector lines that it contains, the diagram gets six distinct contributions arising from the six different ways it is contracted with the other vertices of the diagram. We write these six terms as follows Z (7) = Z 578 + Z 758 + Z 785 + Z 875 + Z 857 + Z 587 . (D.33) The first term above is Z 578 (k) = D 6 2 D α 6 δ 4 (θ 65 ) δ 4 (θ 67 ) D 6,α δ 4 (θ 68 ) exp A(k) . (D.34) Here we have denoted by D 6,α and D 6,α the covariant spinor derivatives defined in (B.18) with respect to θ 6 andθ 6 . The last exponential factor exp A(q, k) contains all other contributions which amount to A(k) = 2 θ 4 k 45θ5 + 2 θ 5 k 53θ3 − θ 5 k 45 + k 53 θ 5 + 2 θ 4 k 47θ7 + 2 θ 7 k 78θ8 − θ 7 k 47 + k 78 θ 7 + 2 θ 8 k 83θ3 − θ 8 k 78 + k 83 θ 8 . where in the second step we could replace the factor 1 + θ 65 k 65θ5 with exp θ 65 k 65θ5 because it is multiplied by θ 65 . We now perform the θ-integrations using the δ-functions present in (D.40) and keep as remaining independent variables θ 4 ,θ 63 , θ 65 , θ 6 andθ 6 ; with straightforward manipulations, involving also the use of momentum conservation, we rewrite A(k) − θ 6 k 65θ65 + θ 65 k 65θ5 as −2 θ 4 qθ 6 − 2 θ 4 k 45θ65 + 2 θ 5 qθ 63 + 2 θ 65 k 53θ63 + 2 θ 6 k 45θ65 − 2 θ 65 k 53θ65 . (D.41) We also have 2 θ 65 k 83θ38 = −2 θ 65 k 83θ63 ≡ exp − 2λ θ 65 k 83θ63 λ (D.42) where the notation X λ means the term of X that is linear in λ. Altogether we have managed to express Z (D.44) 9 Since we use as Grassmann variables the differencesθ63 and θ65 of original variables, in the resulting θ-graph momentum conservation is not realized at each node. However, this is does not cause any problem.
We can apply this same procedure to evaluate the other five terms in (D.33) and obtain Z The vanishing of the last contribution is due to the fact that in the step analogous to the one in (D.39) we compute ∂ 7,α − (k 67θ7 ) α exp A(k) = 2 k 78θ87 α exp A(k) = 0 ; (D. 50) indeed in presence of δ 4 (θ 68 ) δ 4 (θ 67 ), the differenceθ 87 is null. The vanishing of this factor makes zero the entire expression. Now that we have computed all six terms of (D.33), we can insert the resulting expression for Z (7) (k) in the momentum integration, which has the BE topology, obtaining We have made a thorough analysis of all diagrams that can contribute to the propagator at order g 8 and the ones we have listed above are the only ones that yield a term proportional to ζ(5) in the difference theory for a generic superconformal matter content. Other diagrams, indeed, either vanish due their color structure or give contributions that do not contain ζ(5).