1 Introduction

Supersymmetric field theories have been intensely investigated since their discovery [1,2,3,4,5], for various important reasons related to their possible phenomenological implications, to their rôle as simplified, highly symmetric theoretical scenarios in which to shed light on deep properties of QFTs and their enticing connections with advanced mathematical structures. In all of these directions, the fact that supersymmetry simplifies the perturbative expansion exploiting partial cancellations between bosonic and fermionic loops has always played an important part.

Supersymmetric theories can be described in terms of superfields [6], which collect the bosonic and fermionic fields that sit in a given representation of the supersymmetry algebra (a multiplet) within an expansion in terms of Grassmann variables, usually dubbed with the letter \(\theta \). The perturbative expansion when organized in terms of superfields of the correlation functions is expressed in terms of super Feynman diagrams. These encompass the contributions of all ordinary Feynman diagrams for the component fields of the various multiplets. The evaluation of super Feynman diagrams requires the integration of their internal vertices over superspace, i.e. over both their space-time positions and their Grassmann \(\theta \) coordinates. The Grassmann integration is essentially an algebraic operation, and poses no conceptual problem. However, from the practical point of view, it can rapidly become complicated when the order in perturbation theory and/or the number of external points increases. It is therefore important to develop efficient strategies to tackle it. Often, the space-time dependence of the diagrams is mapped via Fourier transform to momentum space. In this setting, the result of the Grassmann integration is a polynomial in the external and the loop momenta.

In this work we focus on four space-time dimensions. The description of theories with \({\mathcal {N}}=1\) supersymmetry, i.e., with four supercharges, in terms of \({\mathcal {N}}=1\) superfields is rather simple. In fact \({\mathcal {N}}=1\) superfields are often used also for theories with higher supersymmetry, such as \({\mathcal {N}}=2\) theories; in this case, a single \({\mathcal {N}}=2\) supermultiplet encompasses more than one \({\mathcal {N}}=1\) superfield. In particular we consider theories that, when decomposed into \({\mathcal {N}}=1\) superfields, contain chiral/anti-chiral and vector superfields. The superpropagators for these superfields and the vertices for typical interactions are standard, see for instance [7].

A well-known strategy to carry out Grassmann integrations in superdiagrams of this kind was proposed long time ago in [8] and it is referred to as “D-algebra approach”. Roughly, one eliminates all \(\theta \) integrations but one. The remaining integrand comprises a string of spinorial covariant derivatives (usually denoted with the symbol D) which have to be simplified using the algebraic relations satisfied by the latter.

Here we choose not to implement this strategy and remain essentially with the methods originally developed for supergraphs in [9,10,11,12,13]. There is no doubt that the D-algebra approach is very efficient and since it appeared it has been used in basically every demanding computation in supersymmetric gauge theories. However, we found that the older approach with multiple Grassmann integrations of quite simple integrands can be described in diagrammatical terms and performed using a few general rules. This \(\theta \)-diagrammatic procedure is algorithmic and we have implemented it in a Mathematica notebook,Footnote 1 attached to this paper. With it we are for instance able to compute, in less than a second on a normal laptop, the Grassmann integrations of a 3-loop diagram that involves six permutations of a 3-vertex with covariant derivatives (see Eq. (4.2)). It is well possible that also the D-algebra approach can be similarly automated, but to our knowledge this has not been done yet.

A partial version of this approach was already proposed in [14] as an instrument to ease the computation of certain superdiagrams occurring in \({\mathcal {N}}=2\) SYM theories with massless matter. The diagrammatic rules devise in [14], however, did not allow to treat algorithmically diagrams with self-interaction vertices of the vector superfield. In this work, we generalize the \(\theta \)-diagrammatic method so that also applies to such superdiagrams. We also show how to treat diagrams in which all possible fields, bosonic and fermionic, appear in the external legs.

Our method is quite general. To describe it explicitly, however, we focus on the kind of fields and interactions which typically occur in the context of \({\mathcal {N}}=2\) conformal SYM theories. Thus we consider massless superfields with the type of interactions that occur in such theories; for instance, we do not consider vertices with spinorial covariant derivatives acting on the chiral/anti-chiral superfields. Also, given that in the \({\mathcal {N}}=2\) SYM context it is often convenient to study the so called “difference theory” with respect to \({\mathcal {N}}=4\) SYM and in this difference ghost contributions typically cancel out, we do not consider explicitly diagrams which contain the ghosts. However, the propagator of the ghost superfield has exactly the same expression as that of chiral superfields, see for instance [15], and their interaction vertices are of the type that can be described with our method. They can therefore be included without problems, provided that one takes into account in the loops their flipped statistics.

Our diagrammatic method is most straightforward if we don’t impose the Wess-Zumino gauge, at the price of having to include higher and higher interaction vertices when we increase the perturbative order. In principle, all such interactions are manageable within our approach.

This paper is organized as follows. Section 2 describes the type of \({\mathcal {N}}=1\) superdiagrams we consider, describing the relevant Feynman rules and in particular their Grassmann content. Section 3 introduces the basics of the \(\theta \)-diagram approach to the Grassmann integrations in superdiagrams. In Sect. 4 we analyze in detail an example. Section 5 generalizes the method to all possible types of fields in the external legs. In Sect. 6 we describe an implementation of our approach in a Mathematica code. The code is provided together with an ancillary file, furtherinstructions.pdf, which gives some details not discussed in the main text.

2 \({\mathcal {N}}=1\) superdiagrams for \({\mathcal {N}}=2\) theories

We consider supersymmetric theories in \(d=4\) whose content can be arranged into chiral (or anti-chiral) and vector \({\mathcal {N}}=1\) superfields. In our conventions, see Appendix A, the expansion of a chiral superfield has the form

$$\begin{aligned} \Phi (x,\theta ,{\bar{\theta }})= & {} \phi (x)+\sqrt{2}\theta \psi (x) + \textrm{i}(\theta \sigma ^\mu {\bar{\theta }})\partial _\mu \phi (x)-\theta ^2 F(x)\nonumber \\{} & {} -\frac{\textrm{i}}{\sqrt{2}}\theta ^2\partial _\mu \psi (x)\sigma ^\mu {\bar{\theta }} -\frac{1}{4}\theta ^2{\bar{\theta }}^2\square \phi (x)~, \end{aligned}$$
(2.1)

where \(\phi \) is a complex scalar, \(\psi \) its fermionic partner (a chiral Weyl spinor) and F an auxiliary field. The antichiral superfield contains \({\bar{\phi }}\) and the antichiral spinor \({\bar{\psi }}\). For a vector superfield we have

$$\begin{aligned} V(x,\theta ,{\bar{\theta }})&= C(x) + \textrm{i}\theta \chi (x) - \textrm{i}{\bar{\theta }}{\bar{\chi }}(x) + (\theta \sigma ^\mu {\bar{\theta }})v_\mu (x)\nonumber \\&\quad + \frac{\textrm{i}}{2}\theta ^2(M(x) + \textrm{i}N(x)) -\frac{\textrm{i}}{2}\theta ^2(M(x)-\textrm{i}N(x)) \nonumber \\&\quad + \textrm{i}\theta ^2{\bar{\theta }}({\bar{\lambda }}(x) + \frac{i}{2}{\bar{\sigma }}^\mu \partial _\mu \chi (x)) - \textrm{i}{\bar{\theta }}^2\theta (\lambda (x)\nonumber \\&\quad + \frac{\textrm{i}}{2}\sigma ^\mu \partial _\mu {\bar{\chi }}(x)) + \frac{1}{2}\theta ^2{\bar{\theta }}^2(D(x) - \frac{1}{2}\square C(x), \end{aligned}$$
(2.2)

where \(v_\mu \) is the connection for a gauge group G, \(\lambda \) and \({\bar{\lambda }}\) are the the (anti)chiral parts of the gaugino and D a real auxiliary field; they all carry indices in the adjoint of G. The remaining fields can be fixed exploiting the supersymmetric gauge transformation

$$\begin{aligned} V \rightarrow V + \Phi _{\textrm{gauge}} + {\bar{\Phi }}_{\textrm{gauge}}, \end{aligned}$$
(2.3)

where the parameter \(\Phi _{\textrm{gauge}}\) is itself a chiral superfield. A typical choice is the Wess–Zumino gauge, that exploits this invariance to set CMN and \(\chi \) to zero, while retaining the usual gauge freedom with parameter \(2\textrm{Im}~\phi _\textrm{gauge}\). The Wess–Zumino gauge choice does not commute with supersymmetry transformations, though, and we will not impose it; thus we retain supersymmetry explicit, at the price of keeping the full fledged expression (2.2) of the vector superfield and having more terms in the action.

We consider theories in which the group G is in general non Abelian, and the chiral superfields are charged, i.e. transform in some representation R – in general reducible – of G. We also include the possibility of cubic chiral or anti-chiral vertices. For the sake of simplicity, we do not include other types of interactions among the matter fields, but the method we propose can be generalized in this sense.

2.1 \({\mathcal {N}}=2\) SYM theories

As we already remarked in the introduction, the initial idea of the method we describe here was put forward in the context of \({\mathcal {N}}=2\) SYM theories with matter [14]. The fields of these theories can be organized, with respect to an \({\mathcal {N}}=1\) supersymmetry subalgebra, into vector and (anti)-chiral superfields with the type of interactions we mentioned above. Indeed the degrees of freedom of the \({\mathcal {N}}=2\) vector multiplet can be encoded in a vector superfield V plus a chiral superfield \(\Phi \), both in the adjoint of the gauge group G. The components of an \({\mathcal {N}}=2\) matter hypermultiplet can instead be arranged in two chiral superfields, Q and \(\tilde{Q}\), transforming in conjugate representations of G.

The pure gauge action can be written in the \({\mathcal {N}}=1\) superspace as follows:

$$\begin{aligned} S_{\textrm{gauge}}&= \int \! d^4x\, d^4\theta \ \text {Tr}\left. \left[ \frac{1}{8g^2}\left( W_\alpha W^\alpha \delta ^2({\bar{\theta }})+\text {h.c.}\right) \right. \right. \nonumber \\&\quad \left. \left. - \frac{\xi }{4}D^2(V){\bar{D}}^2(V)\right| _{\xi =1}+2{\textrm{e}}^{-2gV}{\bar{\Phi }}{\textrm{e}}^{2gV}\Phi \right] \text {,} \end{aligned}$$
(2.4)

where g is the bare gauge coupling and

$$\begin{aligned} W_\alpha&= -\frac{1}{4}{\bar{D}}^2({\textrm{e}}^{-2gV}D_\alpha ({\textrm{e}}^{2gV})),\nonumber \\ {\bar{W}}_{{\dot{\alpha }}}&= -\frac{1}{4}D^2({\textrm{e}}^{2gV}{\bar{D}}_{{\dot{\alpha }}}({\textrm{e}}^{-2gV}))\text {.} \end{aligned}$$
(2.5)

This action is given in the Fermi–Feynman gauge (\(\xi =1\)), but we did not write the ghost-antighost part since it is not needed in order to explain our algorithm.Footnote 2 Expanding up to order \(g^2\) and taking the colour trace we have

$$\begin{aligned} S_{\textrm{gauge}}&= \int \! d^4x\, d^4\theta \ \Biggl [-V^a\square V^a +{\bar{\Phi }}^{a}\Phi ^a\nonumber \\&\quad +g f^{abc}\Biggl (\frac{\textrm{i}}{4}({\bar{D}}^2(D^\alpha V^a))V^b(D_\alpha V^c) + 2\textrm{i}{\bar{\Phi }}^{a}V^b\Phi ^c\Biggr )\nonumber \\&\quad + g^2f^{abe}f^{ecd}\Biggl (-\frac{1}{8}V^a (D^\alpha V^b)({\bar{D}}^2 V^c)(D_\alpha V^d)\nonumber \\&\quad -2{\bar{\Phi }}^{a} V^b V^c \Phi ^d\Biggr ) + O(g^3)\Biggr ]. \end{aligned}$$
(2.6)

From this action one can derive Feynman rules in terms of superpropagators and supervertices. Note that every vertex carries a superspace integration; one can as usual trade the vertex positions for the momenta running in the diagram, and remain with a \(\int d^4\theta _i\) integral in the i-th vertex. The Feynman rules in momentum space, understanding these Grassmann integrals at each vertex, are displayed in Figs. 1 and 2.

Fig. 1
figure 1

Superpropagators for the \({\mathcal {N}}=2\) gauge action

Fig. 2
figure 2

Vertex rules for the \({\mathcal {N}}=2\) gauge action, up to order \(g^2\)

Note that the cubic and quartic vector vertices contain spinorial derivatives; see Appendix A.2, in particular Eq. (A.50), for our conventions and notations. Thus in Fig. 2 a covariant derivative placed on one leg in which a momentum p flows out of the vertex is to be understood as \(D_\alpha = \partial _\alpha - p_{\alpha {\dot{\alpha }}}{\bar{\theta }}^{{\dot{\alpha }}}\). These covariant derivatives are among the chief sources of algebraic complications in carrying out the Grassmann integrations in the superdiagrams. Our approach, that will be discussed in Sect. 3.5, associates these covariant derivatives to the vector superpropagators connecting the vertices rather than to the vertices themselves. For this reason, in the right hand sides of Fig. 2 we have not written them.

The hypermultiplet part of the action is given by

$$\begin{aligned} S_{\textrm{hyper}}&= \int \! d^4 x\, d^4\theta \ {\bar{Q}} {\textrm{e}}^{2gV} Q + {\tilde{Q}}{\textrm{e}}^{-2gV} \bar{{\tilde{Q}}}\nonumber \\&\quad + \textrm{i}\sqrt{2}g {\tilde{Q}}\Phi Q\delta ^2({\bar{\theta }}) - \textrm{i}\sqrt{2}g{\bar{Q}}{\bar{\Phi }}\bar{{\tilde{Q}}}\delta ^2(\theta ). \end{aligned}$$
(2.7)

Expanding up to order \(g^2\) and making explicit the colour indicesFootnote 3 we get

$$\begin{aligned} S_h&=\int d^4x d^2\theta d^2{\bar{\theta }} \ \biggl [{\bar{Q}}^u Q_u + {\tilde{Q}}^u\bar{{\tilde{Q}}}_u \nonumber \\&\quad +g \bigl (2{\bar{Q}}^uV^a(T^a_R)^v_uQ_v-2{\tilde{Q}}^u V^a(T^a_R)^v_u\bar{{\tilde{Q}}}_v \nonumber \\&\quad + \textrm{i}\sqrt{2}{\tilde{Q}}^u\Phi ^a(T^a_R)_u^v Q_v\delta ^2({\bar{\theta }})-i\sqrt{2}{\bar{Q}}^u{\bar{\Phi }}^a(T^a_R)_u^v\bar{{\tilde{Q}}}_v\delta ^2(\theta ) \bigr ) \nonumber \\&\quad + g^2 \bigl (2{\bar{Q}}^uV^aV^b(T^a_RT^b_R)^v_u Q_v+2{\tilde{Q}}^uV^aV^b(T^a_RT^b_R)^v_u \bar{{\tilde{Q}}}_v\bigr )\nonumber \\&\quad + O(g^3)\biggr ]\text {.} \end{aligned}$$
(2.8)

The corresponding superpropagators are displayed in Fig. 3 and the vertices in Fig. 4.

Fig. 3
figure 3

Superpropagators for the \({\mathcal {N}}=2\) hypermultiplets

Fig. 4
figure 4

Vertex rules for the \({\mathcal {N}}=2\) hypermultiplet action, up to order \(g^2\)

2.2 Factorizing the Grassmann part

We are interested in evaluating superdiagrams, constructed with the Feynman rules described above, that contributes to a correlator with fixed external states. Such a superdiagram depends on the set of external momenta, which we label collectively by q, and carries colour structure and Lorentz indices associated to the external states. We write it in the following form:Footnote 4

$$\begin{aligned} {\mathcal {W}}_{\textrm{colour}}^{\textrm{Lorentz}}(q) = {\mathcal {N}}\times {\mathcal {T}}_{\textrm{colour}}\times \!\int \!\prod _s \frac{d^d k_s}{(2\pi )^d} ~\delta ^{(d)}(\textrm{cons}) ~\frac{{\mathcal {Z}}^{\textrm{Lorentz}}(k)}{\prod _s k_s^2}. \end{aligned}$$
(2.9)

Here \({\mathcal {N}}\) is the product of the symmetry factor of the diagram and all the factors (like the powers of the coupling constants) appearing in the vertices – except for the color factors which give rise to the tensor \({\mathcal {T}}_{\textrm{colour}}\). By the index s we enumerate the internal lines of the superdiagram. The scalar integral over the internal momenta \(k_s\) is typically performed using dimensional regularization, setting \(d=4-2\varepsilon \). The momenta are subject to the appropriate conservation relations enforced by the \(\delta \)-functions \(\delta ^{(d)}(\textrm{cons})\). Beside the denominator coming from the massless propagators, the integrand contains also a numerator \({\mathcal {Z}}^{\textrm{Lorentz}}(k)\) which is the result of the integration over all the Grassmann variables of the \(\theta \)-dependent expressions present in the superdiagram and is the object of this paper.

Since the difference between the chiral multiplets \(\Phi \), Q and \({{\tilde{Q}}}\) resides only in their colour properties and numerical factors in the vertices, which are factored out in the decomposition (2.9), the Grassmann part of propagators and vertices are the same independently of the specific chiral multiplets involved. Thus, denoting any chiral field simply by a solid line, and introducing the symbol \(\overset{\theta }{=}\) such that \({\mathcal {W}}\overset{\theta }{=}{\mathcal {Z}}\) means “the Grassmann part of \({\mathcal {W}}\) is \({\mathcal {Z}}\)”, we have the following rules. For the chiral propagator between two points i and j we have

(2.10)

For the chiral and anti-chiral cubic vertices we have

(2.11)

where we reinstated the integration over the variables \(\theta _i\) and \({\bar{\theta }}_i\) pertaining to the vertex which was understood in Fig. 4. For the vector propagator we have

(2.12)

and for the vertices involving the vectors

(2.13)

where, as discussed above, we do not include in the r.h.s. the spinorial covariant derivatives because we will associate them with the vector lines connected to the vertices.

2.3 External lines in superdiagrams

Often we are interested in correlators of specific fields rather than of superfields. In this case, super Feynman diagrams contain field-superfield propagators in the external lines. Such propagators, that arise from the Wick contraction of an external field with a superfield appearing in an internal vertex, are perfectly well defined. For instance, considering a generic chiral superfield and omitting internal symmetry indexes, we have

$$\begin{aligned}&{\langle {\phi (x_1){\bar{\Phi }}(x_2,\theta _2,{\bar{\theta }}_2)}\rangle }_0 \nonumber \\&\quad = {\langle {\phi (x_1)({\bar{\phi }}(x_2)+\sqrt{2}{\bar{\theta }}_2{\bar{\psi }}(x_2)+\cdots )}\rangle }_0\nonumber \\&\quad = {\langle {\phi (x_1){\bar{\phi }}(x_2)}\rangle }_0 + \sqrt{2}{\bar{\theta }}_{2,{\dot{\alpha }}} {\langle {\phi (x_1){\bar{\psi }}^{{\dot{\alpha }}}(x_2)}\rangle }_0 + \cdots . \end{aligned}$$
(2.14)

We can also write them in terms of the super-propagators, and this will be useful for us in the following. Indeed one can see, by Eq. (2.1), that for the chiral content we have:

$$\begin{aligned} \phi (x)&=\left. \Phi (x,\theta ,{\bar{\theta }})\right| _{\theta ={\bar{\theta }}=0}, \end{aligned}$$
(2.15)
$$\begin{aligned} \psi _\alpha (x)&=\left. \frac{1}{\sqrt{2}}\partial _\alpha \Phi (x,\theta ,{\bar{\theta }})\right| _{\theta ={\bar{\theta }}=0}. \end{aligned}$$
(2.16)

Thus, considering the above relations for a generic chiral superfield and the similar ones for the anti-chiral content, we have

$$\begin{aligned}&{\langle {\phi (x_i){\bar{\Phi }}(x_j,\theta _j,{\bar{\theta }}_j)}\rangle }_0 = \left. {\langle {\Phi (x_i,\theta _i,{\bar{\theta }}_i){\bar{\Phi }}(x_j, \theta _j,{\bar{\theta }}_j)}\rangle }_0\right| _{\theta _i={\bar{\theta }}_i=0}, \end{aligned}$$
(2.17)
$$\begin{aligned}&{\langle {\Phi (x_i,\theta _i,{\bar{\theta }}_i){\bar{\phi }}(x_j)}\rangle }_0 = \left. {\langle {\Phi (x_i,\theta _i,{\bar{\theta }}_i){\bar{\Phi }}(x_j, \theta _j,{\bar{\theta }}_j)}\rangle }_0\right| _{\theta _j={\bar{\theta }}_j=0}, \end{aligned}$$
(2.18)
$$\begin{aligned}&{\langle {\psi _\alpha (x_i){\bar{\Phi }}(x_j,\theta _j,{\bar{\theta }}_j)}\rangle }_0 \nonumber \\&\quad = \frac{1}{\sqrt{2}}\left. \partial _{i,\alpha } {\langle {\Phi (x_i,\theta _i,{\bar{\theta }}_i) {\bar{\Phi }}(x_j,\theta _j,{\bar{\theta }}_j)}\rangle }_0\right| _{\theta _i={\bar{\theta }}_i=0}, \end{aligned}$$
(2.19)
$$\begin{aligned}&{\langle {\Phi (x_i,\theta _i,{\bar{\theta }}_i){\bar{\psi }}^{{\dot{\alpha }}}(x_j)}\rangle }_0 \nonumber \\&\quad = \frac{1}{\sqrt{2}}\left. {\bar{\partial }}^{{\dot{\alpha }}}_j {\langle {\Phi ^a(x_i,\theta _i,{\bar{\theta }}_i) {\bar{\Phi }}^b(x_j,\theta _j,{\bar{\theta }}_j)}\rangle }_0\right| _{\theta _j={\bar{\theta }}_j=0}. \end{aligned}$$
(2.20)

Writing the above relations in momenta space we obtain:

(2.21)
(2.22)
(2.23)
(2.24)

We can relate the fields in the vector multiplet to the vector superfield in a similar way to what we did for the chiral supermultiplet, see Eq. (2.15), namely using derivatives and the setting some variables to zero. Indeed one can see, omitting colour indexes, that

$$\begin{aligned} v^\mu (x)=\frac{1}{2}\left. \sigma ^\mu _{\alpha {\dot{\beta }}}\partial ^\alpha {\bar{\partial }}^{{\dot{\beta }}}V(x,\theta ,{\bar{\theta }})\right| _{\theta ={\bar{\theta }}=0} \end{aligned}$$
(2.25)

from which we can obtain:

$$\begin{aligned}&{\langle {v^\mu (x_i)V(x_j,\theta _j,{\bar{\theta }}_j)}\rangle }_0 \nonumber \\&\quad =\left. \frac{1}{2}\sigma ^\mu _{\alpha {\dot{\beta }}}\partial ^\alpha {\bar{\partial }}^{{\dot{\beta }}}{\langle {V(x_i,\theta _i,{\bar{\theta }}_i)V(x_j,\theta _j,{\bar{\theta }}_j)}\rangle }_0\right| _{\theta _i={\bar{\theta }}_i=0}. \end{aligned}$$
(2.26)

Then in momentum space we have:

(2.27)

Also these external lines can be treated through the diagrammatical method that we propose in this paper, but a bit of care is needed. Suppose that the external vector field be connected to a vector superfield on which a certain expression \(f(D,{\bar{D}})\), built of spinorial covariant derivatives, acts. This happens, for instance, for some of the vector Super Yang–Mills vertices – see Fig. 2. Then the Grassmann part of \({\langle {v(x_i)f(D_j,\bar{D_j})V(x_j,\theta _j,{\bar{\theta }}_j)}\rangle }_0\) would be given by

$$\begin{aligned} {\langle {v^\mu f(D_j,\bar{D_j})V(\theta _j,{\bar{\theta }}_j)}\rangle }_0 \overset{\theta }{=}\sigma ^\mu _{\alpha ,{\dot{\beta }}}\partial ^\alpha {\bar{\partial }}^{{\dot{\beta }}}f(D_j,{\bar{D}}_j)\delta ^4(\theta _{ij}). \end{aligned}$$
(2.28)

Such an expression is not easily handled in our diagrammatical method, but there is a way around. Instead of expressing \(v^\mu \) in terms of the superfield V by means of Grassmann derivatives, we can exploit Grassmann integrations and write

$$\begin{aligned} v^\mu (x)&=-2\int \! d^2\theta d^2{\bar{\theta }} \ (\theta \sigma ^\mu {\bar{\theta }})V(x,\theta ,{\bar{\theta }}), \end{aligned}$$
(2.29)

Then we can also replace Eq. (2.28) with

$$\begin{aligned}&{\langle {v^{\mu }(x_i) f(D_j,{\bar{D}}_j)V(x_j,\theta _j,{\bar{\theta }}_j)}\rangle }_0 = -2\! \int \! d^ \theta _i d^2{\bar{\theta }}_i\ (\theta _i\sigma ^\mu {\bar{\theta }}_i)\nonumber \\&\quad \times {\langle {V(x_i,\theta _i,{\bar{\theta }}_i) f(D_j,{\bar{D}}_j) V(x_j,\theta _j,{\bar{\theta }}_j)}\rangle }_0. \end{aligned}$$
(2.30)

In momentum space this leads to

(2.31)

In this wayFootnote 5 we only have to deal with Grassmann integrals and covariant derivatives acting on \(\delta ^4(\theta _{ij})\), which can be treated within our diagrammatic formalism, as we will discuss in Sect. 3.5.

We can deal similarly with the gaugino, even if the expression is slightly more complicated and contains two terms:Footnote 6

$$\begin{aligned} {\langle {\lambda _\alpha (x_i) V(x_j,\theta _j,{\bar{\theta }}_j)}\rangle }_0&=\int \! d^4\theta _i\ \left( -2\textrm{i}\theta _{i,\alpha } - \sigma ^\mu _{\alpha {\dot{\beta }}}{\bar{\theta }}_i^\beta {\bar{\theta }}_i^2\, \partial /\partial x_{i,\mu }\right) \nonumber \\&\quad \times {\langle {V(x_i,\theta _i,{\bar{\theta }}_i) V(x_j,\theta _j,{\bar{\theta }}_j)}\rangle }_0, \end{aligned}$$
(2.32)
$$\begin{aligned} {\langle {V(x_i,\theta _i,{\bar{\theta }}_i){\bar{\lambda }}^{{\dot{\alpha }}}(x_j)}\rangle }_0&=\int \! d^4\theta _j\ \left( 2\textrm{i}{\bar{\theta }}_j^{{\dot{\alpha }}} + {\bar{\sigma }}^{\mu ,{\dot{\alpha }},\beta }\theta _{j,\beta }\theta _j^2\, \partial /\partial x_{j,\mu }\right) \nonumber \\&\quad \times {\langle {V(x_i,\theta _i,{\bar{\theta }}_i)V(x_j,\theta _j,{\bar{\theta }}_j)}\rangle }_0. \end{aligned}$$
(2.33)

In momentum space and focusing only on the Grassmann part we obtain:

(2.34)
(2.35)

In making explicit the spinorial derivatives in the expressions above one has to take into account that Eq. (A.50) is written with the momentum flowing out of the vertex j (so in some of the cases above it is actually the momentum \(-p\)).

3 Grassmann integration in superdiagrams

As already stated, the focus of this paper is on the Grassmann integration occurring in superdiagrams, namely on the computation of the quantity \({\mathcal {Z}}^{\textrm{Lorentz}}\) defined in Eq. (2.9). Of course, methods to perform such integration are well known, and in particular the so-called D-algebra approach of [8] is widely used. Here we propose a method that we find efficient and that is very algorithmic, so that it can be implemented in a symbolic language code. This method is based on the construction of what we call \(\theta \)-diagrams.

3.1 A simple example

To fix the ideas, let us consider a very simple example, the one-loop correction to the propagator of the scalar in an adjoint chiral multiplet with matter chiral multiplets running in the loop. In this case the Lorentz structure is trivial, and the colour factor follows easily from the colour part of the vertices and propagators given in Figs. 4 and 3, while the normalization factor turns out to be just \(2g^2\). With respect to Eq. (2.9) it is immediate in this example to exploit the momentum conservation, obtaining

(3.1)

The factor \({\mathcal {Z}}(k,q)\) is the result of the integration over the Grassmann variables at each internal vertex. According to the rules in Figs. 3 and 4 and Eqs. (2.21) and (2.22) it reads

$$\begin{aligned} {\mathcal {Z}}(k,q)&= \int d^4\theta _3 \,d^4\theta _4\, (\theta _3)^2 ({{{\bar{\theta }}}}_4)^2\, {\textrm{e}}^{2 \theta _4 (k-q) {{\bar{\theta }}}_3 - \theta _4 (k-q) {{\bar{\theta }}}_4 - \theta _3 (k-q) {{\bar{\theta }}}_3 }\nonumber \\&\quad \, \, \, {\textrm{e}}^{-2 \theta _4 k {{\bar{\theta }}}_3 + \theta _4 k {{\bar{\theta }}}_4 + \theta _3 k {{\bar{\theta }}}_3 }. \end{aligned}$$
(3.2)

This integral is straightforward, as we will describe shortly. In general, the computation of \({\mathcal {Z}}^{\textrm{Lorentz}}(k)\) through Grassmann integrations remains essentially algebraic and presents in principle no conceptual difficulty for any superdiagram. Nevertheless, it typically becomes very involved as the complexity of the superdiagram increases.

3.2 D-algebra

The key idea of this approach is to make the Grassmann integration local, namely to reduce it to the integral over a single pair of Grassmann variables.

This can be achieved because the Grassmann variables to be [9] integrated over are associated to the vertices in the superdiagram. The vertices are connected by superpropagators. The Grassmann part of the vector superpropagator directly contains \(\delta \) functions, see Eq. (2.12), that identify the \(\theta \)-variables in the vertices i and j it connects. Also the Grassmann part of the chiral-antichiral propagator, given in Eq. (2.10), can be rewritten so as to display such \(\delta \) functions; indeed one can show that

$$\begin{aligned} {\textrm{e}}^{2\theta _i p {{\bar{\theta }}}_j - \theta _i p {{\bar{\theta }}}_i - \theta _j p {{\bar{\theta }}}_j } = \frac{1}{16} {{\bar{D}}}^2_{i,p}\, D^2_{i,p} \delta ^2(\theta _{ij})\delta ^2({\bar{\theta }}_{ij}), \end{aligned}$$
(3.3)

where we have remarked that the spinorial covariant derivatives contain the momentum p. Exploiting appropriately the \(\delta \) functions present in the propagators, one can then eliminate the integrals over all but one of the pair of Grassmann variables. The remaining integrand, however, contains in general spinor covariant derivatives arising both from the vector vertices, see Fig. 2, and from the chiral propagators rewritten using Eq. (3.3). This expression needs to be evaluated using the algebraic properties of the spinorial covariant derivatives D and \({{\bar{D}}}\), i.e., carrying out the D-algebra.

For the example of Eq. (3.2), this procedure amounts to rewrite \({\mathcal {Z}}(k,q)\) as

$$\begin{aligned} {\mathcal {Z}}(k,q)&= \frac{1}{16^2}\int d^4{{\bar{\theta }}}_3 \,d^4\theta _4\,\theta _3^2\,{{\bar{\theta }}}_4^2 \left[ D^2_{4,-k}\, \bar{D}^2_{4,-k} \delta ^4(\theta _{34})\right] \,\nonumber \\&\quad \times \left[ D^2_{4,k-q}\, \bar{D}^2_{4,k-q}\delta ^4(\theta _{34})\right] \end{aligned}$$
(3.4)

and integrate it by partsFootnote 7 to obtain

$$\begin{aligned} {\mathcal {Z}}(k,q)&= \frac{1}{16^2} \int d^4{{\bar{\theta }}}_3 \,d^4\theta _4\, \left[ D^2_{4,q-k}\, {{\bar{D}}}^2_ {4,q-k}\right. \nonumber \\&\quad \times \left. \left[ \theta _3^2\,{{\bar{\theta }}}_4^2 {{\bar{D}}}^2_{4,-k}\, D^2_{4,-k} \delta ^4(\theta _{34})\right] \right] \, \delta ^4(\theta _{34}). \end{aligned}$$
(3.5)

Using the fact that \(D_4^2 \) and \({{\bar{D}}}_4^2\) commute with \(\theta _3^2\) and exploiting the \(\delta \)-function we can write

$$\begin{aligned} {\mathcal {Z}}(k,q)&= \frac{1}{16^2} \int \,d^4{{\bar{\theta }}}_4\, \theta _4^2 \left[ D^2_{4,q-k}\, {{\bar{D}}}^2_{4,q-k}\right. \nonumber \\&\quad \times \left. \left[ {{\bar{\theta }}}_4^2 \bar{D}^2_{4,-k}\, D^2_{4,-k} \delta ^4(\theta _{34})\right] \right] _{3\rightarrow 4}, \end{aligned}$$
(3.6)

where in the string of covariant derivatives we have to identify the variables in the node 3 with those in the node 4 after having carried out the derivatives. In this way we have recast \({\mathcal {Z}}\) in term of a Grassmannian integration at a single node. As argued in [8], this can be done for any loop within a superdiagram and, iterating the procedure, for any irreducible superdiagram.

The explicit evaluation of \({\mathcal {Z}}\) written in the form (3.6) can be carried out exploiting the algebraic properties of the covariant derivatives and the final outcome is that

$$\begin{aligned} {\mathcal {Z}}(k,q) = - q^2. \end{aligned}$$
(3.7)

3.3 Introducing the \(\theta \)-diagrams

In this example, the D-algebra strategy turns out to be rather more involute than carrying out the integration over the Grassmann variables in both nodes with the propagators in exponential form, as in Eqs. (3.2, 3.7). In fact, the latter procedure can be described in a diagrammatic, algorithmic form which turns out to be generalizable to a large class of superdiagrams and can be implemented in a computer program. Let us now introduce this strategy starting from the example at hand.

The basic ingredient are the exponentials appearing in the chiral propagators. We introduce the following diagrammatic notation:

(3.8)

Due to the Grassmannian nature of the \(\theta \) and \({{\bar{\theta }}}\) variables, the exponentials are in fact polynomial:

$$\begin{aligned} {\textrm{e}}^{2(\theta _i p{\bar{\theta }}_j)}= 1 + 2(\theta _i p{\bar{\theta }}_j) + \frac{1}{2}\times \left( 2(\theta _i p{\bar{\theta }}_j)\right) ^2. \end{aligned}$$
(3.9)

In diagrammatic notation, this reads

(3.10)

where the momentum and the end-point labels are the same in all lines and are understood.

The superdiagrams contain integrations over Grassmann variables \(\theta _i\) and \({{\bar{\theta }}}_i\) at the various sites. These we represent graphically as black or white dots:

(3.11)

The cubic (anti)-chiral super-vertices bring in factors of Grassmannian delta-functions:

$$\begin{aligned} \theta _i^2 = \delta ^2(\theta _i),\quad {{\bar{\theta }}}_i^2 = \delta ^2({{\bar{\theta }}}_i). \end{aligned}$$
(3.12)

Taking into account all this, we can rewrite diagrammatically eq. (3.2) as follows:

(3.13)

This expression can be simplified in some obvious ways. The Grassmannian delta-function \(\delta ^2(\theta _3)\) soaks up the corresponding integration and sets to zero all occurrences of \(\theta _3\). On the diagram, this correspond simply to remove the black dot labeled by 3 and the two solid lines connecting to it, since the associated exponentials reduce to 1. Similarly, the \(\delta ^2(\theta _4)\) removes the white dot labeled by 4 and the lines attached to it. We remain thus with

(3.14)

Note that the labels 3 and 4 attached to the dots just assign a name to the integration variables, and they are thus actually redundant.

Moreover, we can take into account the following general property: the product of two solid lines with the same endpoints gives a single solid line carrying the total momentum, namely

(3.15)

This just corresponds to the product rule for the corresponding two exponentials, see Eq. (3.8). Thus we arrive at

(3.16)

We can expand the solid \(\theta \)-lines into dashed lines according to Eq. (3.10). Then we have to take into account the presence of white and black dots, that correspond to Grassmann integrals over two-component spinors. According to Eq. (3.8), each dashed line leaving the vertex i carries one \(\theta _i\) variable, and each dashed line entering the vertex j carries one \({{\bar{\theta }}}_j\). The Grassmann integrals \(\int \! d\theta ^2\) or \(\int \! d{\bar{\theta }}^2\) vanish unless they act on expression quadratic in \(\theta _{\alpha }\) or \({\bar{\theta }}^{{\dot{\alpha }}}\). Graphically this means that a \(\theta \)-diagram is non-null if and only if exactly two dashed lines are attached to each dot. This is a very simple but crucial property of the \(\theta \)-diagrams. In particular, we have

(3.17)

Finally, the dashed loop on the r.h.s. above is very easily evaluated. One has

(3.18)

where we made use of a Fierz rearrangement, see Eqs. (A.33, A.35), and carried out the integrations according to the basic rules in Eqs. (A.12A.14). We obtain therefore

$$\begin{aligned} {\mathcal {Z}}(k,q) = - q^2, \end{aligned}$$
(3.19)

in agreement with the result of the D-algebra manipulations.

Of course, the Grassmann integrations in this \({\mathcal {Z}}(k,q)\) are very easy. It may seem that our diagrammatic notation unnecessarily complicates it. However, it readily generalizes and is algorithmic. As a first step, we show how the Grassmann part \({\mathcal {Z}}\) of all superdiagrams involving only (anti)-chiral superfields can be managed using \(\theta \)-diagrams.

3.4 Diagrams with (anti)chiral superfields

This is the simplest case. Let us describe how to manage it.

Deriving the \(\theta \)-diagram The Grassmann part of all chiral-superchiral propagators is given by a momentum dependent exponential of the type considered above, see Eq. (2.10), thus we can say that

(3.20)

Note that in Eq. (3.20) and in the following, the cyan, thick lines that appear on the r.h.s. of the \(\overset{\theta }{=}\) symbol have a completely different meaning from the black ones on the left: they are the solid \(\theta \)-lines defined in Eq. (3.8).

For propagators connected to external scalars, given in Eqs. (2.21) and (2.22), we have simply

(3.21)

and

(3.22)

Also the contribution of cubic vertices involving chiral superfields to the Grassmann part of the diagram are very easy to describe:

(3.23)

Similarly, for the anti-chiral vertices one has

(3.24)

It follows from Eqs. (3.21, 3.22) that a chiral propagator connecting an external scalar to a cubic vertex gives a trivial contribution to the \(\theta \)-diagram. Indeed, suppose for instance that the propagator (3.21) be attached to a vertex of the type (3.24) in position j; then its \(\theta \)-line \(\exp (-\theta _j p{{\bar{\theta }}}_j)\) reduces to 1 since the vertex sets all occurrences of \(\theta _j\) to zero.

The properties we have listed are sufficient to determine the \(\theta \)-diagrammatic form of the Grassmann factor \({\mathcal {Z}}\) associated to any superdiagram \({\mathcal {W}}_{\textrm{colour}}\) involving only (anti) chiral superfields with scalar external states; we will consider later the possibility that the external states correspond to other components of the multiplet.

An example Let us illustrate this by a specific example, namely

(3.25)

This diagram represents a three-loop contribution to the adjoint chiral scalar propagator, and has been considered for instance in [14]. Using the rules from (3.20) to (3.24) for all the propagators and vertices and making use of the \(\delta \)-functions that they contain we obtain

(3.26)

This is perfectly analogous to the form we obtained in Eq. (3.14) for the one-loop example. It is easy to convince oneself that in fact in all cases involving only chiral/antichiral superfields the structure of vertices and lines of the \(\theta \)-diagram mimics the one of the original superdiagram, except for dropping the external lines attached to scalar components, and associating a white dot to every chiral cubic vertex and a black dot to every anti-chiral one.

Expanding the \(\theta \)-diagram To compute a \(\theta \)-diagram of the type just described, one can expand its solid lines according to Eq. (3.10). Having done this, we can exploit the crucial observation we already stated just before Eq. (3.17): the only non zero contributions are those in which exactly two dashed lines enter or leave every dot. As a consequence, such non-zero contributions consist of products of loops of dashed linesFootnote 8 going through non-overlapping subsets of dots, leaving no dot isolated.

Let us illustrate this with another example. Consider a \(\theta \)-diagram with the following structure:

(3.27)

This can arise, for instance, from a one-loop contribution to a four-point function of chiral/antichiral scalars. According to the rules just stated, it is given by

(3.28)

The terms in the right hand side represent precisely the possible decompositions of \({\mathcal {Z}}\) into loops of dashed lines; note that we have drawn the loops involving two dots as single solid lines, see Eq. (3.17).

Another example of the decomposition of a \(\theta \)-diagram is given in Fig. 5.

Fig. 5
figure 5

An example of the decomposition of a \(\theta \)-diagram into its non-vanishing contributions. For simplicity we do not label the vertex and the lines

The decomposition into loops can be realized by means of a path-finding algorithm and implemented in a computer code; this was done in [16]. In the code presented here we follow a different strategy, based on expanding in turn all lines and taking into account at each steps the simplifications owing to the rule that selects exactly two dashed lines in each node. This approach turns out to be computationally more efficient.

Getting the final result The next ingredient is the following: each loop of dashed lines can be evaluated explicitly and the result can be given in a general form. Using repeatedly the Fierz rearrangements in Eqs. (A.32A.35) and the integration rules (A.12,A.13,A.14) one easily shows that

(3.29)

The traces appearing above are of the form

$$\begin{aligned} \text {tr}(p_1{\bar{k}}_1...p_n{\bar{k}}_n)=p_{1,\mu _1}k_{1,\nu _1}...p_{n,\mu _n}k_{n,\nu _n}\text {tr}(\sigma ^{\mu _1}{\bar{\sigma }}^{\nu _1}...\sigma ^{\mu _n}{\bar{\sigma }}^{\nu _n}) \end{aligned}$$
(3.30)

They can be recursively computed using the properties of the matrices \(\sigma ^\mu \) and \({\bar{\sigma }}^\mu \), see Appendix A.2.

For instance for Eq. (3.28) we obtain

$$\begin{aligned} {\mathcal {Z}}&= p_1^2\, p_3^2 - 2(p_1\cdot p_2)(p_3\cdot p_4) + 2(p_1\cdot p_3)(p_2\cdot p_4) \nonumber \\&\quad - 2 (p_1\cdot p_4)(p_2 \cdot p_3) + p_2^2\, p_4^2+p_{1,\mu }p_{2,\nu }p_{3,\rho }p_{4,\sigma }\epsilon ^{\mu \nu \rho \sigma }. \end{aligned}$$
(3.31)

Perspective Let us summarize. Drawing the \(\theta \)-diagrams and evaluating them according to the rules we just described, we can compute explicitly the Grassmannian integrations for all superdiagrams involving only chiral and antichiral superfields, with scalar external states. All the three main steps of the procedure, namely writing down the \(\theta \)-diagram, finding its decomposition into loops of dashed lines and evaluating the latter, are completely algorithmic and can be implemented in a computer code.

This procedure was already described in [14], without however detailing the algorithm for determining all non-zero contributions and without providing a computer code. In the present work we aim at extending this approach to a much larger class of superdiagrams, maintaining its main advantage, namely that of being algorithmic and readily implemented in a code. The basic idea is to cast the \(\theta \)-dependent part of the superdiagram in terms of Grassmannian delta-functions and exponentials, which we can then evaluate with the \(\theta \)-diagrammatic method described in the present section.

3.5 Diagrams with (internal) vector superfields

The Grassmann part of the propagator of the vector superfields is very simple:

(3.32)

As was mentioned in the introduction, we restrict in this paper to theories that can be formulated in terms of \({\mathcal {N}}=1\) chiral and vectorial superfields, with interactions that have covariant derivatives that act only on vectorial superfields. This class of theories contain in particular \({\mathcal {N}}=2\) SYM theories with matter hypermultiplets. In this case, beside the cubic vertices of the type considered in Eqs. (3.23, 3.24), we have other interactions that involve both vectors and chiral superfields. Up to order \(g^2\), they are elementary from the point of view of their Grassmann structure:

(3.33)

From the action (2.6) we see that there are also interaction vertices, involving vector superfields only, which include spinor covariant derivatives. Connecting vertices of this kind to other vertices by means of the vector superpropagator we effectively obtain expressions in which such covariant derivatives act on the vector lines. The possible cases, and their Grassmann structure, can be worked out with a little bit of algebra. For instance, as in Eq. (4.4), there might be a case where we have a single covariant derivative acting on a vector propagator. This implies a contribution like \(D_{i,\alpha }\delta ^4(\theta _{ij})\). It is straightforward to see that the following two expression coincide:

$$\begin{aligned} D_{i,\alpha }\delta ^4(\theta _{ij})=2\theta _{ij,\alpha }\delta ^2({\bar{\theta }}_{ij})e^{\frac{(\theta _i p_{ij}{\bar{\theta }}_i)-(\theta _j p_{ij}{\bar{\theta }}_i)}{2}}\text {.} \end{aligned}$$
(3.34)

Graphically we have:

(3.35)

This can be extended with further derivatives analogously. In two cases we might have two spinor derivatives:

(3.36)
(3.37)

In Eq. (3.36) we have took into account that a line might have a derivatives coming from both vertices it attaches to, see Fig. 7.

We have two contributions with three spinor derivatives:

(3.38)
(3.39)

two with four spinor derivatives:

(3.40)
(3.41)

one with five spinor derivatives:

(3.42)

and finally a single one with six spinor derivatives:

(3.43)

Once the spinorial covariant derivatives have been assigned to the vector lines, the “bare” gluon vertices only contain the information about the integration; thus for instance

(3.44)

Consider the situation in which the “decorated” vector lines of Fig. 2 are inserted inside superdiagrams with scalar external states, which have an overall trivial Lorentz structure. The various spinor quantities and tensors appearing above, like \(\theta _{ij}^\alpha \), \(\epsilon _{\alpha \beta }\), and \(\delta ^\alpha _\beta \), must conspire to produce scalar structure. Thus they can only give overall numerical factors or Grassmannian scalar products of the type \(\theta _{ij}\cdot \theta _{kl}\). Remembering that \(\theta _{ij} = \theta _i - \theta _j\) and that \(\delta ^2(\theta )=\theta ^2\), one has:

$$\begin{aligned}&\theta _{ij}\cdot \theta _{kl}=\frac{1}{2}\left( \delta ^2(\theta _{ij})+\delta ^2(\theta _{kl})-\delta ^2(\theta _i-(\theta _j+\theta _k-\theta _l))\right) . \end{aligned}$$
(3.45)

Thus, the Grassmann structure of all superdiagrams formed with the elements we considered so far can be recast as linear combinations of integrals of exponentials and Grassmann \(\delta \) functions which we know how to deal with using the \(\theta \)-diagrammatic technique.

In other theories based on \({\mathcal {N}}=1\) superfields, other combinations of spinorial covariant derivatives, beside those appearing in Eqs. (3.353.43), might appear. They could be treated by applying the same principle. Furthermore the number of possible different combinations is finite and one could write down the analogues of the rules in Eqs. (3.353.43) for all of them. Thus for a generic theory with chiral/antichiral and vector \({\mathcal {N}}=1\) superfields, with spinorial covariant derivatives appearing on the vectors only, all the Grassmann integrals in any superdiagram can always be expressed in terms of \(\theta \)-diagrams.

3.6 Some \(\theta \)-diagrammatical properties

Let us pause here to recapitulate some properties of our \(\theta \)-diagrammatic notation, which have used somehow implicitly above.

First of all, the order in which white and black dots appear in the graphical representation of the \(\theta \)-diagram is not relevant: they represent integrals over certain Grassmann variables, and all the occurrences of these variables in other elements of the diagram must be integrated over. Thus, for example,

(3.46)

even if the white dot appears rightmost in the drawing.

Another graphical property that we have been using is the fact that endpoints of solid or dotted \(\theta \) lines get attached to dots carrying the same index, remembering that the lines go from a black to a white dot: thus, for instance,

(3.47)

as well as

(3.48)

This also works when one end is already attached to a dot, or when a dot has already other lines attached to it.

In the \(\theta \) diagram, the lines can be constrained as consequence of the integration of some Grassmannian delta function. These delta function might set some variable to zero, as in the case of the \(\delta ^2(\theta )\) or \(\delta ^2({\bar{\theta }})\) present in the hyper-multiplet vertices, or identify two different variables, as in the case of the \(\delta ^2(\theta _{ij})=\delta ^2(\theta _i-\theta _j)\) and the \(\delta ^2({\bar{\theta }}_{ij})=\delta ^2({\bar{\theta }}_i-{\bar{\theta }}_j)\) present in vectorial superpropagators, see Eq. (3.32).

It is easy to see that such constraints amount to the following rules:

(3.49)

and

(3.50)

as well as

(3.51)

and

(3.52)

Another important property is the fact that we can combine the solid lines with the same endpoints, summing their momenta, as described in Eq. (3.15):

(3.53)

Finally we would like to point out the fact that solid \( \theta \)-lines can be stripped off from a \(\theta \)-diagram; we will show this through an example. Let’s consider a portion of \(\theta \)-diagram with the following form:

(3.54)

and the decomposition of its external line:

(3.55)

The only contribution that we can accept is the one where two dashed \(\theta \)-lines connect to the external vertex; thus we remain with:

(3.56)

where in the last step we took into account that, since two dashed lines are already attached to the white \(\theta \)-dot, no further lines can be attached to it. Using Eq. (3.17), we can summarize this property as follows:

(3.57)

This property obviously holds independently of the color of the most external \(\theta \)-dot.

4 Analyizing an example

In this section we illustrate the \(\theta \)-diagram methodology by means of an example which contains all the ingredients discussed above.

Let us consider a superdiagram that contributes at the three-loop order to the propagator of the adjoint scalar in an \({\mathcal {N}}=2\) SYM theory with matter, given by

(4.1)

We have explicitly written here our rather obvious convention for the names of the momenta running in the various propagators; in the following we will sometimes just assume them.

To the “external” ring of chiral propagators and to all vertices but the central one we can assign \(\theta \)-diagrammatic elements according to the rules discussed above, in particular those in Eqs. (3.20, 3.23, 3.24, 3.33). These elements are

(4.2)

Building up the Feynman diagram, we actually have to take into account six contributions corresponding to the different ways in which the triple and the single covariant derivative structures that appear originally in the three-gluon vertex – see Fig. 2 – can be assigned to the vector propagators. In other words, the gluon part of this superdiagram is given by

(4.3)

We denote by \({\mathcal {Z}}_{ijk}\), with ijk in the range 5, 7, 8, the Grassmann part of contribution to the diagram \({\mathcal {W}}_{ab}\) in which \({{\bar{D}}}_6 D_6^\alpha \) acts on the vector propagator from the node 6 to the node i and \(D_{6,\alpha }\) acts on the propagator from 6 to k. Thus, for instance,

(4.4)

where for simplicity we did not write the momenta associated to the various propagators. Altogether we have

$$\begin{aligned} {\mathcal {W}}_{ab} \overset{\theta }{=}{\mathcal {Z}}_{875} + {\mathcal {Z}}_{578} + {\mathcal {Z}}_{758} + {\mathcal {Z}}_{857} + {\mathcal {Z}}_{587} + {\mathcal {Z}}_{785}. \end{aligned}$$
(4.5)

The term \({\mathcal {Z}}_{ijk}\) contains the following ingredients:

(4.6)

which, according to the rules in Eqs. (3.44, 3.38, 3.32) and (3.35), correspond to

(4.7)

The contraction \(\theta _{6i}\cdot \theta _{6k}\) appears, for which we can use the property (3.45) obtaining

$$\begin{aligned} \theta _{6i}\cdot \theta _{6k} = \frac{1}{2} \left[ -\delta ^2(\theta _{ki}) + \delta ^2(\theta _{6i}) + \delta ^2(\theta _{6k}) \right] . \end{aligned}$$
(4.8)

Moreover, we can integrate over \(\theta _6\) and \({\bar{\theta }}_6\) variables, which appear only inside this portion of the diagram, using the \(\delta \) functions \(\delta ^2(\theta _{6j})\) and \(\delta ^2({{\bar{\theta }}}_{6j})\). We rewrite thus the factors in eq. (4.6) as

(4.9)

Here we have used the property (3.15) for the solid lines from j to j; note that these elements were written in Eq. (4.7) as solid lines from 6 to 6, which is the same in presence of \(\delta ^2(\theta _{6j})\delta ^2({{\bar{\theta }}}_{6j})\). Equation (4.9) contains the sum of three terms, containing different \(\delta \) functions. Correspondingly, we write

$$\begin{aligned} {\mathcal {Z}}_{ijk} = 8 \left( {\mathcal {A}}^{(1)}_{ijk} - {\mathcal {A}}^{(2)}_{ijk} - {\mathcal {A}}^{(3)}_{ijk}\right) , \end{aligned}$$
(4.10)

where \({\mathcal {A}}^{(1)}_{ijk}\) contains \(\delta ^2(\theta _{ki})\), \({\mathcal {A}}^{(2)}_{ijk}\) contains \(\delta ^2(\theta _{ji})\) and \({\mathcal {A}}^{(3)}_{ijk}\) contains \(\delta ^2(\theta _{jk})\).

We will now describe in some detail the evaluation of \({\mathcal {Z}}_{875}\) and \({\mathcal {Z}}_{578}\); the other terms can be treated analogously and we well just quote the result.

Evaluation of \({\mathcal {Z}}_{875}\) We start from \({\mathcal {A}}^{(1)}_{875}\). We put together the contributions in Eq. (4.2) with the first addend in (4.9) with \(i,j,k= 8,7,5\), we take into account the factor of \(\delta ^2(\theta _{58})\delta ^2({\bar{\theta }}_{75})\) and we collect the lines between the same nodes according to the property (3.15). Finally, we exploit momentum conservation at each node of the diagram, see Eq. (4.1). In this way we obtain a \(\theta \)-diagram that we can easily evaluate using the rules discussed in Sects. 3.3 and 3.4:

(4.11)

In the second step we simply stripped off the external lines, according to the procedure discussed around Eq. (3.57). This simplification is implemented in the code that we will discuss in Sect. 6. Now we can apply to the r.h.s. the results (3.17,3.18) obtaining

$$\begin{aligned} {\mathcal {A}}_{875}^{(1)} = - k_{83}^2 \, (q^2)^2. \end{aligned}$$
(4.12)

Let us now consider \({\mathcal {A}}^{(2)}_{875}\). We combine the contributions in Eq. (4.2) with the second addend in (4.9) with \(i,j,k= 8,7,5\). We have now a factor of \(\delta ^2(\theta _{78})\delta ^2({\bar{\theta }}_{75})\); collecting the lines and using momentum conservation we arrive at the following \(\theta \)-diagram:

(4.13)

In the second step we have stripped off the line \(\langle 47 \rangle \). The resulting expression can be evaluated using the results for a single line and the one for a four-nodes loop. The second one was given in Eq. (3.31), in which we now have to set \(p_1=k_{53}\), \(p_2=-p_3= p_4= k_{83}\): taking into account the momentum conservation relation \(k_{53}+ k_{83} = -q\), the result is simply \(q^2\, k_{83}^2\). Altogether we get thus

$$\begin{aligned} {\mathcal {A}}_{875}^{(2)} = - k_{83}^2 (q^2)^2. \end{aligned}$$
(4.14)

For what concerns \({\mathcal {A}}_{875}^{(3)}\), the terms in Eq. (4.2) have to be combined with the third addend in (4.9) with \(i,j,k= 8,7,5\), which contains a factor of \(\delta ^2(\theta _{75})\delta ^2({\bar{\theta }}_{75})\). Collecting the lines and using momentum conservation, we get this time

(4.15)

This diagram is obviously vanishing because the integration over the Grassmann variables of the isolated white dot cannot be saturated by any line. Thus

$$\begin{aligned} {\mathcal {A}}_{875}^{(3)} = 0. \end{aligned}$$
(4.16)

Inserting the results (4.12, 4.14, 4.16) into Eq. (4.10) we get

$$\begin{aligned} {\mathcal {Z}}_{875} = 8 \left( {\mathcal {A}}_{875}^{(1)} - {\mathcal {A}}_{875}^{(2)} - {\mathcal {A}}_{875}^{(3)}\right) = 0. \end{aligned}$$
(4.17)

Evaluation of \({\mathcal {Z}}_{578}\) This contribution is obtained by combining the elements in Eq. (4.2) with those in Eq. (4.9) with \(i,j,k = 5,7,8\). We split it into the three terms \({\mathcal {A}}_{578}^{(a)}\), with \(a=1,2,3\), according to Eq. (4.10). Thus \({\mathcal {A}}_{578}^{(1)}\) corresponds to the first addend in (4.9), and contains the factor \(\delta ^2(\theta _{85}) \delta ^2({\bar{\theta }}_{78})\). Collecting the lines and using momentum conservation we obtain

(4.18)

where in the second step we have simplified the \(\theta \)-diagram by stripping off the line \(\langle 35 \rangle \). We can now evaluate the single line and the four-nodes loop using Eqs. (3.17, 3.18) and (3.31). We obtain in the end

$$\begin{aligned} {\mathcal {A}}_{578}^{(1)} = - (q^2)^2 (k_{45} - k_{53})^2. \end{aligned}$$
(4.19)

The term \({\mathcal {A}}_{578}^{(2)}\) corresponds to the second addend in eq. (4.9), and contains the factor \(\delta ^2(\theta _{75}) \delta ^2({\bar{\theta }}_{78})\). Proceeding in the by now usual way we arrive at the following \(\theta \)-diagram:

(4.20)

The decomposition of such a double-box diagram was exhibited in Fig. 5. Each of the terms in the decomposition is either a single line or a dashed loop whose value is obtained from Eqs. (3.29) and (A.39A.43). After a bit of algebra, the final outcome is

$$\begin{aligned} {\mathcal {A}}_{578}^{(2)} = - (q+k_{45})^2 \, k_{53}^2\, (q+ k_{53})^2. \end{aligned}$$
(4.21)

The term \({\mathcal {A}}_{578}^{(3)}\) comes from the third addend in (4.9). It is proportional to \(\delta ^2(\theta _{78}) \delta ^2({\bar{\theta }}_{78})\) and the associated \(\theta \)-diagram is found to be the following:

(4.22)

This double box diagram can be evaluated analogously to the one of Eq. (4.20) and the result is

$$\begin{aligned} {\mathcal {A}}_{578}^{(3)} = - q^2\, k_{45}^2 (q+k_{53})^2. \end{aligned}$$
(4.23)

It is now straightforward to obtain

$$\begin{aligned} {\mathcal {Z}}_{578}&= 8 \left( A^{(1)}_{578}-A^{(2)}_{578}-A^{(3)}_{578}\right) \nonumber \\&= 16q^2\,(k_{45}^2\,k^2_{53} + q^2\, k_{45}\cdot k_{53}\nonumber \\&\quad + k_{45}^2\, q\cdot k_{53} + k_{53}^2\, q\cdot k_{45}). \end{aligned}$$
(4.24)

Similarly one can compute all the terms \({\mathcal {Z}}_{ijk}\) in the Grassmann part of the diagram \({\mathcal {W}}_{ab}\). The total result agrees with [14], where the computation was performed only partly by means of \(\theta \)-diagrammatic techniques as the covariant spinorial derivatives were treated by brute force.

4.1 Ordering issues

The techniques introduced here allow to compute the Grassmann part of more complicated diagrams that would really be hard to deal with other methods. For diagrams which contain more than one vertex with spinor covariant derivatives, one has to pay attention to ordering issues which are relevant for determining the overall sign of each contribution.

Suppose for instance having to compute the diagram in Fig. 6.

Fig. 6
figure 6

An example of diagram in which ordering issues must be taken into account when applying the \(\theta \)-diagrammatic rules

Using the condensed notation \(V_i=V(x_i,\theta _i,{\bar{\theta }}_i)\), the contractions that lead to the term singled out in the right hand side of Fig. 6 are the following:

(4.25)

Our approach is to separate this superdiagram in its elementary constituents, to which we assign their \(\theta \)-diagra mmatical counterparts. In doing this we have to take into account that, while the vectorial superfield is a commuting object, each covariant spinor derivative flips its statistics. We must thus pay attention to the signs that arise if some exchanges of such elements in the Wick contractions. These signs are accounted for in the code that accompanies this paper. In the case at hand, the decomposition of the particular contribution we are considering is given in Fig. 7 and includes a global \((-1)\) factor.

Fig. 7
figure 7

An example of a decomposition where the overall sign is non trivial

5 Superdiagrams with vector or spinor external states

We will now discuss how to handle the Grassmann integrations in n-point functions whose external states are spinorial or vectorial. To extend the \(\theta \)-diagrammatic method to these cases it suffices to understand what Grassmannian factors the non-scalar external lines introduce. The necessary ingredients have already been written down in Sect. 2.3; here we will recast them in a \(\theta \)-diagrammatic form.

We shall begin with vector external states, which are quite easy to handle.

5.1 External vectors

The Grassmann part of a vector line attached on one end to an external vector state \(v^\mu \) has been given in Eq. (2.31). We can introduce a \(\theta \)-diagrammatical notation for it as follows:

(5.1)

where the element

(5.2)

is nothing else that the dashed line introduced in Eq. (3.8) with the momentum p replaced by the versor \({\hat{e}}^\mu \) in the direction \(\mu \). This versor has components \({\hat{e}}^\mu _\nu = \delta ^\mu _\nu \), so that its scalar product with any vector a yields

$$\begin{aligned} {\hat{e}}^\mu \cdot a = a^\mu . \end{aligned}$$
(5.3)

Thus in particular \({\hat{e}}^\mu \cdot \sigma = \sigma ^\mu \) and \({\hat{e}}^\mu \cdot {\bar{\sigma }} = {\bar{\sigma }}^\mu \).

Let us note that, in the case in which the external vector line carries no spinorial covariant derivatives, its expression simplifies into

(5.4)

since the supervector propagator is given by \(\delta ^2(\theta _{ij}) \delta ^2({{\bar{\theta }}}_{ij})\) and can be used to integrate the \(\theta _i\) and \({\bar{\theta }}_i\) variables, which only occur in this part of the diagram, according to (2.31).

Consider a very simple example, akin to the case with scalar external states considered in Sect. 3.1, namely the one-loop superdiagram

(5.5)

Its Grassmann part \({\mathcal {Z}}^{\mu \nu } \overset{\theta }{=}{\mathcal {W}}_{ab}^{\mu \nu }\) is given, according to the rule just introduced and to Eqs. (3.20, 3.33), by

(5.6)

This \(\theta \)-diagram can be expanded as usual into cycles of dotted lines, but such cycles are bound to contain the two \({\hat{e}}^\mu \) and \({\hat{e}}^\nu \) dotted lines. Therefore one gets

(5.7)

Both terms can now be computed using the trace rule of Eq. (3.29) and the formulæ  in Appendix A.2, treating the versors \({\hat{e}}^{\mu }\) and \({\hat{e}}^\nu \) as any other quadri-momentum and then taking into account Eq. (5.3).

As another example, let us consider the following superdiagram, corresponding to a one loop cubic vertex correction:

(5.8)

Its Grassmann part \({\mathcal {Z}}^{\mu } \overset{\theta }{=}{\mathcal {W}}_{abc}^{\mu }\) is given, using the rules introduced above, by

(5.9)

Expanding this \(\theta \)-diagram into cycles of dotted lines, bound to contain the \({\hat{e}}^\mu \) dotted line, we get

(5.10)

Again, both terms can be computed using Eq. (3.29) and Appendix A.2.

5.2 Spinors from (anti-)chiral multiplets as external states

Let us now consider superdiagrams whose external states are spinors sitting in \({\mathcal {N}}=1\) chiral or anti-chiral multiplets.Footnote 9

The Grassmann part of a chiral line attached at one end to a chiralino or to an anti-chiralino has been given in Eqs. (2.23, 2.24). In a (partially) \(\theta \)-diagrammatic notation it can be expressed as follows:

(5.11)

and

(5.12)

The novelty is the presence of “bare” \(\theta \)-variables whose spinorial indices are not contracted with the spinor indices carried by other \(\theta \) variables. This leads, when these external lines are combined with the inner vertices, to the appearance of new \(\theta \)-diagrammatic elements. Indeed, consider for instance an external line of the type (5.11) attached to a chiral cubic vertex, whose Grassmann part was given in Eq. (3.24). We have

(5.13)

and similarly

(5.14)

where we introduced the notation

(5.15)

Consider for instance the following simple one-loop example:

(5.16)

Using the rules just stated, its Grassmann part \({\mathcal {Z}}_{~\alpha }^{{{\dot{\alpha }}}} \overset{\theta }{=}{\mathcal {W}}_{ab,\alpha }^{{{\dot{\alpha }}}} \) is given by

(5.17)

Let us note that the external spinors appear in a specific order, dictated by the Wick contractions that originate the diagram one is considering, which implies a specific ordering of the “bare” \(\theta \)-variables in the \(\theta \)-diagram that carry the spinor indices of the external spinors. If this order is altered, we have to keep track of the ensuing overall sign - again, this is automatic in the code.

The crucial property of these triangular symbols is that, in the expansion of a \(\theta \)-diagram, only the terms where precisely one dotted line is attached to each triangular vertex survive since these represent an integration already containing a fermionic coordinate. This is analogous to the fact that exactly two dotted lines must be attached to each black or white dot, as stated after Eq. (3.16). Thus the possible decompositions of the \(\theta \)-diagram must contain open trajectories – which cannot intersect or overlap – starting on a triangle end ending on another one. In the case of Eq. (5.17) there is just one possibility:

(5.18)

Let us consider a more elaborate example, namely the following two-loop quartic diagram, which we indicate only schematically, without labeling the momenta and the nodes:

(5.19)

In this case there are many more possibilities to draw the open lines and the decomposition of the \(\theta \)-diagram contains the following structures (we omit writing the factors of the external momenta attached to the triangles):

(5.20)

The open paths connecting the triangles represent Grassmannian integrations; for instance

(5.21)

where by \(d\Theta \) we indicate the integration over all the involved Grassmann variables. These expressions can be evaluated by the same Fierz techniques utilized in Eq. (3.29) for the closed paths. The result is

(5.22)

Similarly, one has

(5.23)

and

(5.24)

All of these products of \(\sigma ^\mu \)-matrices can be treated algorithmically as described in Appendix (A.2).

For instance, in the first two cases we have

(5.25)

and

(5.26)

Note that the open chains with two black triangles, i.e. with two external chiral spinor indices, transform in the \((2,1) \otimes (2,1)\) representation of the spin group, which is reducible into \((1,1) \oplus (3,1)\), i.e., into an antisymmetric and a symmetric part in these spinor indices.

Coming back to the simple case of Eq. (5.18), the final result is

$$\begin{aligned} {\mathcal {Z}}_{~\alpha }^{{\dot{\alpha }}}&= (-1){{\bar{q}}}^{{\dot{\alpha }}\beta }\times \frac{(-1)}{2} (-q)_{\beta {\dot{\gamma }}} \epsilon ^{{\dot{\gamma }}{\dot{\beta }}}q_{\alpha {{\dot{\beta }}}} = -\frac{1}{2} ({{\bar{q}}} q {{\bar{q}}})^{{\dot{\alpha }}}_{\ \alpha } \nonumber \\&= \frac{q^2}{2} (\bar{q})^{{\dot{\alpha }}}_{~\alpha }=\frac{q^2}{2}q_\mu (\sigma ^\mu )_\alpha ^{\ {\dot{\alpha }}}. \end{aligned}$$
(5.27)

The first \((-1)\) factor comes from exchanging the theta-variables of the triangular \(\theta \)-vertices in Eq. (5.18) to match the one in the formula (5.21).

5.3 Gauginos as external states

Let us consider now the case in which we have a spinor from the \({\mathcal {N}}=1\) vector multiplet in an external state. The Grassmann parts of a vector line attached at one end to an external gaugino or anti-gauginowere given in Eqs. (2.34) and (2.35). We can describe them in \(\theta \)-diagrammatic notation as follows:

(5.28)

and

(5.29)

Thus each gaugino external line leads to the sum of two diagrammatic elements; this is a consequence of the fact that we chose not to impose the Wess–Zumino gauge. The \(\theta \)-diagrams with gauginos as external states will therefore comprise multiple terms already before effecting their decomposition.

Let us note that if the external gaugino line carries no spinorial derivatives its contributions simplify because they involve the vector line with no spinor derivatives, which is just \(\delta ^2(\theta _{ij}) \delta ^2({\bar{\theta }}_{ij})\). This allows to integrate out the \(\theta \) variables in the external node. Thus, for instance, if the external gaugino is attached to a cubic adjoint vertex, see Fig. 2, we have

(5.30)

and

(5.31)

Let us consider, for instance, the following one-loop superdiagram:

(5.32)

According to the rules we just described, its Grassmann part \({\mathcal {Z}}_{~\alpha }^{{\dot{\alpha }}}\overset{\theta }{=}{\mathcal {W}}_{ab,\alpha }^{{\dot{\alpha }}}\) is given in \(\theta \)-diagrammatical terms by

(5.33)

It comprises therefore four \(\theta \)-diagrams: we write \({\mathcal {Z}}_{~\alpha }^{{\dot{\alpha }}} = {\mathcal {Z}}_{(1)\alpha }^{{\dot{\alpha }}} + {\mathcal {Z}}_{(2)\alpha }^{{\dot{\alpha }}} + {\mathcal {Z}}_{(3)\alpha }^{{\dot{\alpha }}} + {\mathcal {Z}}_{(4)\alpha }^{{\dot{\alpha }}}\) and we have

(5.34)

In the first step we kept the labels on the nodes to facilitate the comparison with Eq. (5.33); in the second step we omitted such labels and we joined the lines between the same nodes. In the following terms we will write directly the analogue of this second expression, namely

(5.35)

and finally

(5.36)

The decomposition of these \(\theta \)-diagrams goes as follows. We find

(5.37)

as well as

(5.38)

and

(5.39)

6 Use of the Grassmann integration algorithm

We have insisted that the approach to the Grassmann integration in superdiagrams we described in the previous sections is algorithmic and can therefore be implemented in a computer code. We have chosen to realize this possibility as a Mathematica notebookFootnote 10 which is made available together with this paper. Besides the code we provide an ancillary file, furtherinstructions.pdf, which gives some details not discussed here.

The code, as it stands, allows to deal with the type of matter content and interactions considered in the bulk of the paper. It can also be applied to other theories whose interaction vertices contain only products of superfields with some combinations of spinorial covariant derivatives on vector superfields. It is straightforward to modify the program in order to include massive chiral multiplets, in which case chiral superpropagators terms like \(\langle \Phi \Phi \rangle \) or \(\langle {\bar{\Phi }} {\bar{\Phi }}\rangle \) appear. Furthermore it is in principle possible to extend the program to handle vertices with all possible combinations of spinorial derivatives an all superfields. It is true that the code can certainly be optimized by more expert programmers but yet it proves our point: the procedure described in the text can be implemented on a computer.

The notebook is called Theta-diagrams.nb. In the following, we assume that this notebook has been opened in Mathematica and evaluated. Beside the notebook Theta-diagrams.nb, there is a folder, called Theta-programs, which contains the breakup of the code into smaller notebooks, each containing some basic step of the procedure, accompanied by a few more examples.

In this section we illustrate how to use this software to obtain from a superdiagram the momenta polynomial resulting from the Grassmann integration. We proceed by examples to illustrate how the superdiagram must be specified and how the output has to be interpreted.

Diagrams with (anti)chiral superfields Let us begin with a very simple example, namely the superdiagram in Eq. (3.1), which we redraw here for commodity of the reader:

(6.1)

To evaluate the corresponding Grassmann integral, namely the function \({\mathcal {Z}}\) of Eq. (3.2), the following command must be issued:

The first argument is empty because it must be used only when gauginos appear in the external states. The other arguments describe the elements of the diagram.

  • ECSc[1,3,q] is the external line of the chiral scalar going from the vertex labeled as 1 to the vertex labeled as 3. Similarly, EACAS[4,2,q] is the external line or the anti-chiral scalar from vertex 4 to vertex 2.

  • CP[4,3,-k] stands for the chiral superfield propagator that carries momentum \(-k\) and goes from the vertex 4 to the vertex 3. CP[4,3,k-q] is the other chiral superfield propagator of the diagram.

  • C3inward[3] and C3outward[4] signal the presence of three-point chiral supervertices with incoming lines in position 3, and outgoing lines in position 4, see Eq. (2.11).

The command returns the output -q\(\cdot \)q, namely \(-q^2\), in agreement with Eq. (3.7).

Let us consider a more complex example, namely the three-loop superdiagram of Eq. (3.25). We implement momentum conservation at each vertex and choose three independent loop momenta rst as follows:

(6.2)

The corresponding Grassmann integral is computed by the following command:

The result, which is proportional to \(q^2\), is written almost completely in terms of scalar products of momenta. The only other type of expression that appears is $E[q,r,s,t], which stands for \(\epsilon _{\mu \rho \sigma \tau }q^\mu r^\rho s^\sigma t^\tau \).

Diagrams with internal vector superfields We consider now the three loops example with an internal three-vector vertex of Eq. (4.2). Implementing momentum conservation and choosing three independent loop momenta rst we write it as

(6.3)

To evaluate the Grassmann integrals for this superdiagram, we have to explicitly define the momenta variables for the gluon propagators. We choose

and then compute

Among the arguments we have some new ingredients.

  • V3[6,5,7,8] represents the 3-vector vertex in 6, from which three vector superpropagators point toward the vertices 5, 7, 8.

  • In case one needs to consider a diagram in which a propagator connects two legs of the vertex V3 the input should be of the form V3[o,a,a,b]. Note that the index a to be used has to be different from all other indices used to specify vertices or external lines. A similar remark applies also to four-vector vertices, which in the program are denoted in general as V4[o,a,b,c,d].

  • Note that the vector propagators departing from the 3-vector vertex must not appear separately in the input, and the program assign automatically a name to their momenta: $p[6][5] is the momentum flowing in the propagator from 6 to 5, and so on. This is why we had to give the instructions $p[6][5] = s-r, to enforce our choice of names before calling the program.Footnote 11

  • GV[i] indicates that in position i there is a “generic vertex” whose Grassmann contribution is just \(\int \!d^4\theta _i\). This is the case, see Eq. (2.13), of the vector-chiral-chiral vertices in positions 5, 7 and 8.

The result, which is proportional to \(16 q^2\), is very simple although the computation, described in Sect. 4, is quite involved.

Diagrams with vector external lines The program also handles superdiagrams with external vector lines. Let us consider for instance the example given in Eq. (5.5), that we redraw here for ease of comparison to the input that must be given to the program:

(6.4)

The corresponding Grassmann integrations are evaluated by the following command:

Note the following points:

  • EVV[i,j] stands for a vector external lines attached to a vertex in position j.

  • The external indices \(\mu \) and \(\nu \) are not specified explicitly in the input. The program associates automatically to each external vector line EVV[i,j] a unit vector $s[V,i,j] that appears in the output. With the conventions taken in (6.4) we should therefore read $s[V,1,3] as \(\hat{e}^\mu \) and $s[V,4,2] as \(\hat{e}^\nu \).

Using the properties of the unit vectors \(\hat{e}^\mu \), see the discussion from Eqs. (5.1) to (5.3), the output of the program corresponds therefore to

$$\begin{aligned}{} & {} q\cdot \hat{e}^\mu \ q\cdot \hat{e}^\nu +2k\cdot k\ \hat{e}^\mu \cdot \hat{e}^\nu -2k\cdot q\ \hat{e}^\mu \cdot \hat{e}^\nu \nonumber \\{} & {} \quad +2k_\rho q_\sigma \hat{e}^\mu _\lambda \hat{e}^\nu _\eta \epsilon ^{\rho \sigma \lambda \eta }=q^\mu q^\nu \nonumber \\{} & {} \quad +2k\cdot k\delta ^{\mu \nu }-2k\cdot q\delta ^{\mu \nu }+2k_\rho q_\sigma \epsilon ^{\rho \sigma \mu \nu }. \end{aligned}$$
(6.5)

Consider now the diagram of Eq. (5.8), namely

(6.6)

The corresponding Grassmann integration can be performed with the command

According to the conventions already discussed for the diagram (6.4), $s[V,1,3] stands for the unit vector \({\hat{e}}^\mu \) and, after simple manipulations, the result has the form

$$\begin{aligned}&2\ell ^\mu (p^2 + p\cdot q) - 2 p^\mu (\ell ^2-\ell \cdot q) \nonumber \\&\quad - q^\mu \left( \ell ^2 - 2 \ell \cdot q + (p+q)^2\right) - 2 \epsilon ^{\mu \nu \rho \sigma } \ell _\nu p_\rho q_\sigma . \end{aligned}$$
(6.7)

Diagrams with chiralino external lines Let us discuss now the the case in which some of the external states are spinors, focusing as usual on an example. We consider the superdiagram of Eq. (5.32), namely

(6.8)

The corresponding Grassmann integrals are computed using the following call:

In this expression, $seps[S,1,2dot] stands for \((\sigma ^\mu )_{\alpha }^{~{\dot{\alpha }}}\) while $s[S,1,2dot] corresponds to \(\hat{e}_\mu \). Indeed $seps indicates a \(\sigma ^\mu \) matrix with an index saturated via a \(\epsilon \) (the S simply reminds us that that term comes from a spinorial contribution) whose spinorial indices are those associated to the external points 1 and 2 in the diagram, namely \(\alpha \) and \({\dot{\alpha }}\). The index \(\mu \) is dummy, and it has to be saturated with a structure labeled by the same arguments, namely $s[S,1,2dot]. As already explained after Eq. (6.4), $s indicates a unit vector, which here has to be \({\hat{e}}_\mu \). Thus the above results amounts to

$$\begin{aligned} \frac{1}{2} q^2\, q_\mu \left( \sigma ^\mu \right) _\alpha ^{~{{\dot{\alpha }}}} = \frac{1}{2} q^2\, q_\alpha ^{~{{\dot{\alpha }}}}. \end{aligned}$$
(6.9)

Let us now consider the more complicated case introduced in Eq. (5.19) and discussed thereafter. In the decomposition of the corresponding Grassmannian integrals more tensorial structures appear, which are codified in a non completely obvious way in the output of the program. Let us redraw the diagram in question here:

(6.10)

Here we labeled the nodes so as to facilitate the comparison with the input that has to be given to the program in order to compute the corresponding Grassmann integrals, namely

We used momentum conservation to express the external momentum \(p_4\) in terms of \(p_1\), \(p_2\) and \(p_3\) and we denoted by k and l the two independent loop momenta running in the two boxes - the assignments of momenta to the various lines can be understood from the call itself, whose syntax should by now be clear.

The resulting expression carries two chiral and two anti-chiral indices, namely it transforms in the \((2,1)\otimes (2,1)\otimes (1,2)\otimes (1,2)\) representation, which is reducible into \((3,3)\oplus (3,1)\oplus (1,3)\oplus (1,1)\). The program, however, which implements the decomposition into open paths described in Eq. (5.20), does not completely carry out the reduction. It does so for the terms arising from the first term in the decomposition (5.20), but not or the others.Footnote 12 As a consequence, the output of the program is not optimized and is very long, so we do not report it here. It contains various new structures. For instance, the following term appears in the output of the program call above:

Here $eps[S,1,4] stands for \(\epsilon _{\alpha \beta }\): indeed, $eps denotes an \(\epsilon \) tensor, the argument S indicates that its indices are spinorial while 1,4 states that these spinorial indices are those associated with the lines denoted as 1 and 4 in the input for this diagram. With analogous logic, $eps[S,3dot,2dot] stands for \(\epsilon ^{{{\dot{\beta }}}{{\dot{\alpha }}}}\). Altogether this term reads therefore

$$\begin{aligned} -\frac{1}{4}(k\cdot p_2)(k\cdot p_3)(\ell \cdot p_1)(\ell \cdot p_2)\epsilon _{\alpha \beta } \,\epsilon ^{{{\dot{\beta }}}{{\dot{\alpha }}}}. \end{aligned}$$
(6.11)

Another term appearing in the output is the following:

Here $sbareps[S,1 3dot,2dot][A-B] stands for \(\left( {{\bar{\sigma }}}^{\mu \nu }\right) ^{{{\dot{\beta }}} {{\dot{\alpha }}}}\). Indeed $sbareps[...][A-B] indicates a \({{\bar{\sigma }}}\) matrix with two vector indices with raised spinor indices – see the remark after Eq. A.27. The arguments S,3dot,2dot mean that the spinor indices are those associated with the external lines numbered as 3 and 2 in the input. The quantity $s[S,3dot,2dot,A] has to be interpreted as the unit vector \({\hat{e}}_\mu \). In fact, $s indicates a unit vector, while the arguments S,1,4,A implicate that the vector index of this unit vector is the first one (this is the meaning of A) of the indices of the sigma matrix whose spinor indices are associated to the lines 3 and 2. Similarly, $s[S,3dot,2dot,B] means \({\hat{e}}_\nu \). Overall the output term above is

$$\begin{aligned}&\frac{1}{16}(k\cdot p_2)(k\cdot \hat{e}_\nu )(\ell \cdot p_1)(\ell \cdot \hat{e}_\mu )(p_2\cdot p_3)\epsilon _{\alpha \beta } ({{\bar{\sigma }}}^{\mu \nu })^{{{\dot{\beta }}}{\dot{\alpha }}}\nonumber \\&= \frac{1}{16}(k\cdot p_2)(\ell \cdot p_1)(p_2\cdot p_3) \ell _\mu k_\nu ({{\bar{\sigma }}}^{\mu \nu })^{{{\dot{\beta }}}{\dot{\alpha }}}\, \epsilon _{\alpha \beta }. \end{aligned}$$
(6.12)

Of course, there is an analogous notation for \(\left( \sigma ^{\mu \nu }\right) _{\alpha \beta }\) matrices, which are called $seps.

Diagrams with gaugino external lines The external gaugino (EG) and anti-gaugino (EAG) lines have to be called within the first argument of the Superdiagram Computation command. For instance, consider the diagram of figure Eq. (5.32), which we redraw here for ease of comparison:

(6.13)

Its Grassmann part is computed via the following call:Footnote 13

There is no new ingredient in this result which, with manipulations already used previously, reads explicitly

$$\begin{aligned} -\left( k^2 + \frac{q^2}{4}\right) \, k_\alpha ^{~{\dot{\alpha }}} - \frac{1}{2} \left( k^2 - (k\cdot q)\right) \, q_\alpha ^{~{\dot{\alpha }}}. \end{aligned}$$
(6.14)

Ordering issues When there are spinorial external lines, which have a fermionic statistics, the order in which they are written in the correlator is relevant to determine the overall sign. The program returns the sign which is appropriate for the correlator in which the external spinors are ordered exactly in which they appear as arguments of the SuperdiagramComputation call. Our convention is thus that the gauginos appear as the leftmost elements.