Super Yang-Mills and θ-exact Seiberg-Witten map: absence of quadratic noncommutative IR divergences

We compute the one-loop 1PI contributions to all the propagators of the noncommutative (NC) N=1,2,4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=1,2,4 $$\end{document} super Yang-Mills (SYM) U(1) theories defined by the means of the θ-exact Seiberg-Witten (SW) map in the Wess-Zumino gauge. Then we extract the UV divergent contributions and the noncommutative IR divergences. We show that all the quadratic noncommutative IR divergences add up to zero in each propagator.


Introduction
The one-loop UV/IR mixing structure of noncommutative N =1 super Yang-Mills theory defined in terms of the noncommutative fields was studied some years ago in a number of papers [1][2][3][4][5]. The outcome was the famous quadratic noncommutative IR divergences which occur in the one-loop gauge field propagator of the non-supersymmetric version of the theory cancel here due to Supersymmetry. The one-loop gauge field propagator still carries a logarithmic UV divergence -a simple pole in Dimensional Regularization-and the dual logarithmic noncommutative IR divergence ln(p 2 (θp) 2 ) as a result of the UV/IR mixing being at work. By increasing the number of supersymmetries of the noncommutative Yang-Mills theory one makes the UV behaviour of the theory softer and eventually finite for N = 4 [6], at which point noncommutative IR divergences cease to exist [7,8]. In the N = 2 super Yang-Mills case, there still remain logarithmic UV divergences at one-loop in the twopoint function which give rise via UV/IR mixing to the corresponding IR divergences [1,9]. That noncommutative N = 4 super Yang-Mills has a smooth commutative limit has been shown in ref. [10].
It is known that classically noncommutative gauge field theories admit a dual formulation in terms of ordinary fields, a formulation that is obtained by using the celebrated Seiberg-Witten map [11]. However we still do not know whether this duality holds at the quantum level, i.e., whether the quantum theory defined in terms of noncommutative fields is the same as the ordinary quantum theory -called the dual ordinary theory -whose classical action is obtained from the noncommutative action by using the Seiberg-Witten map. The existence of UV/IR mixing effects in noncommutative field theory defined in terms of noncommutative fields is thought to be a characteristic feature of those field theories. It is thus sensible to think such effects should also occur in the ordinary dual theory obtained, as previously explained, by using the Seiberg-Witten map. That these UV/IR mixing effects actually occur in the propagator of the gauge field of the dual ordinary theory was first shown in ref. [12] by using the θ-exact Seiberg-Witten map expansion [13,14]. The

JHEP05(2016)169
analysis of the properties and phenomenological implications of the UV/IR mixing effects that occur in noncommutative gauge theories defined by means of the θ-exact Seiberg-Witten map has been pursued in refs. [15][16][17][18].
Up to the best of our knowledge no analysis of the UV and the noncommutative IR structures of noncommutative super Yang-Mills theory defined by means of the θ-exact Seiberg-Witten map has been carried out as yet. In particular, it is not known whether the cancellation of the quadratic noncommutative IR divergences of the gauge-field propagator that occurs, as we mentioned above, in noncommutative super Yang-Mills theory defined in terms of noncommutative fields also works in its dual ordinary theory. The answer to this question is far from obvious since Supersymmetry is linearly realized in terms of the noncommutative fields -and thus there exists a superfield formalism -but is non-linearly realized -see ref. [19] -in terms of the ordinary fields of the dual ordinary theory defined by means of the Seiberg-Witten map. It has long been known that the proper definition of theories with non-linearly realized symmetries is a highly non-trivial process.
The purpose of this paper is to work out all the one-loop 1PI two-point functions, and analyze the UV and noncommutative IR structures of those functions, in noncommutative U(1) N =1,2 and 4 super Yang-Mills theories in the Wess-Zumino gauge, when those theories are defined in terms of ordinary fields by means of the θ-exact Seiberg-Witten maps. To analyze the gauge dependence of the UV and noncommutative IR of the gauge field two-point functions we shall consider to types of gauge-fixing terms for the ordinary gauge field: the standard ordinary Feynman gauge-fixing term and the noncommutative Feynman gauge-fixing term.
The layout of this paper is as follows. Section 2 is devoted to the computation of the one-loop contributions to the photon and photino propagators in N = 1 super Yang-Mills U(1) theory in the ordinary Feynman gauge. In section 3 we discuss, for later use, the construction by using the θ-exact Seiberg-Witten map of a noncommutative U(1) theory with a noncommutative scalar field transforming under the adjoint representation. The oneloop propagators of the the ordinary fields of noncommutative N =2 and 4 super Yang-Mills U(1) theories defined by using the θ-exact Seiberg-Witten map are worked out in sections 4 and 5 in the ordinary Feynman gauge. In sections 6 and 7 we use a noncommutative Feynman gauge to quantize N = 1 super Yang-Mills U(1) theory and compute the oneloop photon propagator. Sections 6 and 7 are introduced to analyze the dependence on the gauge-fixing term of the UV and noncommutative IR contributions found in previous sections. The overall discussion of our results is carried out in section 8. We also include several appendices which are needed to complete properly the analysis and computations carried out in the body of the paper.
2 Noncommutative N = 1 SYM U(1) theory and the θ-exact SW map The noncommutative field content of the noncommutative U(1) super Yang-Mills theory in the Wess-Zumino gauge is the noncommutative gauge field A µ , its supersymmetric fermion partner Λ α and the noncommutative SUSY-auxiliary field D (nc) . The ordinary/commutative counterparts of A µ , Λ α and D (nc) will be denoted by a µ (photon), λ α JHEP05(2016)169 (photino) and D, respectively. Regarding dotted and undotted fermions and σ αα traces, we shall follow the conventions of [20].
In terms of the noncommutative fields and in the Wess-Zumino gauge the action of U(1) super Yang-Mills theory reads The above action S N =1 (2.1), is invariant under the following noncommutative supersymmetry transformations These supersymmetry transformations close on translations modulo noncommutative gauge transformations and tell us that supersymmetry is linearly realized on the noncommutative fields -see [19] for further discussion. The action in (2.1), is also invariant under noncommutative U(1) transformations, which in the noncommutative BRST form read with Ω being the noncommutative U(1) ghost field. The above action S N =1 can be expressed in terms of ordinary fields, a µ , λ α and D, by means of the SW map. The resulting functional is invariant under ordinary U(1) BRST transformations: where ω is the ordinary U(1) ghost field. Indeed, the SW map maps ordinary BRST orbits into the noncommutative BRST orbits. The θ-exact SW map for F µν has been worked out in [15] up to the three ordinary U(1) gauge fields a µ . It reads where, up to the e 2 order, the gauge field strength SW map F e 2 µν expansion is fairly universal [15][16][17] The e 3 order SW map for the gauge field strength from [15] in that case reads

JHEP05(2016)169
The generalized star products relevant for this work are defined as follows [17,18] (2.9) The θ-exact SW map for D µ [A]Λ α up to the two ordinary fields a µ can be retrieved from the expression for F µν in (2.5), (2.6) and (2.7) as explained in the appendix A: where and To compute the full one-loop photon two-point function, one also needs the SW maps for theΛα and D fields. They read (2.14) Let us stress that the way we have constructed -by appropriate restriction of the SW map for the gauge-field -the SW map for Λ α and D (nc) is very much in harmony with JHEP05(2016)169 the idea that if supersymmetry and gauge symmetry are not to clash, the superpartners must have similar behavior with respect to the gauge group.
As discussed in [19] the noncommutative supersymmetric transformations in (2.2) can be understood as the push-forward under the SW map of the appropriate θ-dependent supersymmetric transformations of the ordinary fields. Here we have worked out the θexact expression for such deformed transformations up to the order e 2 , (2.16) The reader shall find in the appendix A the values of objects in the previous equations that have not been given yet. The θ-exact deformed supersymmetry transformations given in (2.15) and (2.16) can be rightly called supersymmetry transformations since, as shown in [19], they close on translations modulo gauge transformations and, hence, they carry a representation of the supersymmetry algebra. However notice that these deformed supersymmetry transformations of the ordinary field do not realize the supersymmetry algebra linearly. Finally, since these supersymmetry transformations generate the noncommutative supersymmetry transformations of (2.2), we conclude that the total θ-exact action (given explicitly in the next subsection) has to be invariant up to the second order in e, under the deformed supersymmetry transformations in (2.15).

JHEP05(2016)169
where and (2.20) First we note that, since the Feynman rules of the 3-and 4-photon self-coupling (2.18), are already given in previous papers [16] and [18], respectively, we shall not repeat them here. Photino-photon Feynman rules, obtained from (2.19), are given explicitly in the appendix C.

JHEP05(2016)169
where B µν (p), T µν (p), P µν (p) bub , P µν (p) tad , S µν (p) bub and S µν (p) tad refer to the contributions from the photon bubble and tadpole, the photino bubble and tadpole, and the adjoint scalar bubble and tadpole diagrams, respectively. The last two diagrams appear only in the extended SUSY, of course. We use n f for the number of photinos (Weyl fermions) and n s for the number of real adjoint scalar bosons (one complex scalar is counted as two real scalars), which are uniquely determined by N = 1, 2, 4 SUSY.
Explicit computation revolves that each of these diagrams can be expressed as a linear combinations of five transverse tensor structures The sum (2.21) can be expressed, in the language of the five tensor decomposition (2.22), as 1 For the N = 1 theory n f = 1, n s = 0, thus we have In this section we are going to show that all quadratic IR divergences cancel in each of the Π N =1 i 's, then we extend our results to the N = 2, 4 theories as well. We choose one specific set of four (five in the sections 6 and 7) nonplanar/special function integrals T 0 , I 0 K , I 1 K and I H alongside the usual planar/commutative UV divergent integrals to express all loop diagrams/coefficients in this article. This decomposition enjoys the advantage that each nonplanar integral bear distinctive asymptotic behavior in the IR regime: T 0 carries all the quadratic IR divergence (θp) −2 , with a pre-factor −2, while I 0 K and I 1 K contain the dual logarithmic noncommutative IR divergence ln(p 2 (θp) 2 ), with prefactors −1/2 and −1/12, respectively. The last integral I H is finite at the IR limit. Further details of these integrals are given in the appendix B.

The photon-bubble diagram
From the photon bubble diagram figure 1 we obtain the following loop-coefficients [16]

JHEP05(2016)169
Extracting the divergent parts from each of the B i 's we observe the presence of the UV plus logarithmic IR divergences in all of them. The logarithmic IR divergences from both planar and nonplanar sources in the bubble diagram appear to have identical coefficient and combine into a single ln(µ 2 (θp) 2 ) term, confirming the expected UV/IR mixing. The quadratic IR divergence, on the other hand, exists only in the B 2,3,4 terms.

The photon-tadpole diagram
From tadpole figure 2 we obtain the same tensor structure as from the photon bubble diagram (figure 1) with the following loop-coefficients T i (p): We notice immediately the absence of UV plus logarithmic divergent terms contrary to the photon-bubble diagram results (2.26). In addition, the tadpole diagram produces no finite terms either, and the quadratic IR are again present in the second, third and fourth term! JHEP05(2016)169

The photino one-loop contributions to the photon polarization tensor
The photino sector contains two diagrams: photino tadpole figure 3 and photino bubble figure 4. We are going to see below that only the latter contributes to the photon polarization tensor.

The photino-tadpole diagram
The photino-tadpole contribution is computed using vertex (C.4). It produces only the quadratic IR divergent terms which cancel each other internally, thus giving vanishing contribution to the photon polarization tensor (2.28) JHEP05(2016)169

The photino-bubble diagram
Taking the photino-photon Feynman rules from appendix C we obtain the following photino-bubble contribution to the photon polarization tensor, P µν bub (p), from figure 4: (2.29) Taking into account the trace and that P µν bub (p) cannot have, at the end of the day, contributions depending on ǫ µ 1 µ 2 µ 3 µ 4 , one arrives at (2.31) After some amount of computations we find that only first two of the general five-terms structure (2.22) survive in D = 4 dimensions: After inspecting the divergences in these two terms we also find that the first of the two, P 1 (p), contain the logarithmic UV/IR mixing terms, while P 2 (p) possesses only quadratic IR divergence and finite terms, as the dual NC logarithmic divergences from integrals I 0 K and I 1 K cancel each other. Summing over (2.26), (2.27) and (2.32) one can see that the total quadratic IR divergences in all Π i 's are zero. The total UV divergences for the N = 1 theory are as follows

The one-loop SUSY-auxiliary field contributions to the photon propagator
The free two-point function of the SUSY-auxiliary field D reads hence, the integrals to be computed in dimensional regularization are of the type (2.39) The integrals in (2.39) vanish in dimensional regularization and hence the SUSY-auxiliary field D does not contribute to the one-loop photon propagator. Indeed, following [21], we first split the D-dimensional ℓ(≡ ℓ (D) ) into where ℓ (D−1) belongs to D − 1 dimensional space orthogonal to θp, and |θp| > 0 is the modulus of θp -recall that θp is a space-like vector, since θ µ0 = 0. Then introduce the following definition of the dimensionally regularized integral in (2.39): However, in dimensional regularization -see [21] which in turn leads to the conclusion that the integral (2.39) vanishes under the dimensional regularization procedure. It is not difficult to see that the argument above can be generalized to integrals with positive ℓ powers too, i.e.
One can explicitly verify two special cases of the identity above using a generalization of the n-nested zero regulator method [18].   The bubble diagram was computed in [16], which boils down to following expressions and (2.48) One can easily notice the absence of the quadratic IR divergent integral T 0 . The UV divergence can be expressed as follows (2.49)

JHEP05(2016)169
3 Minimal action of the noncommutative adjoint scalar field It is commonly known that extended, N = 2, 4, super YM theories contain not only fermion (photino) but also scalar bosons in the adjoint representation. These scalar bosons couple minimally to the gauge field, and their action for the real scalar is for the complex scalar. We study the minimal interacting scalar boson's contribution to 1-PI photon two point function as well as the scalar's own 1-PI two point function in this section. These results will be used for our discussion on N = 2, 4 SYM in the subsequent sections.
It is straightforward to derive the SW map expansion of either S real or S complex using the method described in the appendix A  with the product M (I) being defined in [18]. One can show that if we express one complex scalar in terms of two real scalars. For this reason one complex scalar contribution to the photon 1-PI two point function is twice as one real scalar, while the photon contribution to the complex scalar two point function is the same as for the real scalar two point function. Thus, we shall compute only those for the real scalar field. The scalar-photon Feynman rules are given in the appendix D.

Scalar one-loop contributions to the photon polarization tensor
Like the photino sector, the adjoint scalar sector contains also two diagrams that contribute to the photon polarization tensor, the scalar-bubble diagram figure 7 and scalar-tadpole diagram figure 8. They both follow the five tensor structure decomposition (2.22) and stay nonzero at the D → 4 − ǫ limit.

The scalar-bubble diagram
Using Feynman rule (D.1) and employing the dimensional regularization techniques we obtain the following loop-coefficielnts from the photon-scalar bubble diagram figure 7: (3.6)

The scalar-tadpole diagram
Next, with Feynman rule (D.2) we compute the photon-scalar tadpole diagram in figure 8, Starting with the first integral under dimensional regularization: Using (3.8) and (3.11) and by comparing with general tensor structure (2.22) we have found that from scalar-photon tadpole diagram only two terms survives:   Finally summing up the IR parts of bubble (3.6) and tadpole (3.12) contributions we get: where all IR terms from both diagrams, except the one arising from the bubble, cancels out. Interesting enough is that within this noncommutaive scalar-photon action in the adjont (3.3) we are facing the exact cancelations of all divergences of the higher order terms of noncommutative tensor-parameter θ µν , showing thus the consistency of our computations.

The photon one-loop contribution to scalar 1-PI two point function
The one-loop adjoint scalar 1-PI two point function in the minimal coupled model consists the tadpole diagram figure 9 and the bubble diagram figure 10. The evaluation is straightforward. We obtain in the end and The total quadratic IR divergence reads (3.16) We will soon see in the next section that this divergence is exactly canceled by the contributions from scalar-photino and scalar self-interaction diagrams.
The contributions to the action in (4.1) that are needed to compute one-loop 1PI two-point function of each field in (a µ , λ α , ψ α , φ) can be readily obtained by using (2.15), (2.16), (3.3) and

The one-loop 1PI two-point function for photon field a µ
For N = 2 theory one has n f = n s = 2. Substituting these numbers as well as the scalar bubble and tadpole results to (2.21), and then restricting to quadratic IR divergence only, gives i.e. clean quadratic IR divergence cancellation. Remaining UV divergences can be expressed using the five-term notation in (2.22) as follows Hence, one gets the following full scalar two-point function: which is again quadratic IR divergence free, as The UV divergence reads The scalar-photino loop integral gives the following contribution (4.14)

(4.15)
It is quadratic IR divergence free and it has the following UV divergence The matrices 4 × 4, (σ) ij and (σ −1 ) ij give rise to the IRREP of the Dirac matrices in 8 Euclidean dimensions; further details can be found in [22]. Let us recall that A µ is the noncomutative gauge field, that Λ α i is a noncommutative Weyl field and that Φ m is a noncommutative real scalar field. The noncommutative U(1) acts by the adjoint action on Λ α i and Φ m , and hence D µ By replacing, in S N =4 above, the fields A µ , Λ α i and Φ m with the corresponding θ-exact Seiberg-Witten maps -namely, A µ [a ρ ; θ], Λ α i [a ρ , λ α ; θ] and Φ m [a ρ , φ; θ], respectively, we obtain an action which defines an interacting deformation of the ordinary N = 4 SYM theory in the Wess-Zumino gauge. This deformed action is expressed in terms of the fields of the ordinary N = 4 Yang-Mills supermultiplet (a µ , λ α i , φ m ), i = 1, . . . , 4, m = 1, . . . , 6 and it is invariant (on-shell) under the deformed supersymmetric transformations of the ordinary supermultiplet (a µ , λ α i , φ m ) which give rise to the N = 4 supersymmetric transformations of the fields in (A µ , Λ α i , Φ m ). As in the N = 1 and N = 2 cases, the supersymmetry transformations of the ordinary fields that leave S N =4 in (5.1) invariant gives rise to on-shell nonlinear realization of N = 4 supersymmetry algebra.
The contributions to the action in (5.1) that are needed to compute one-loop 1PI two-point function of each field in (a µ , λ α , ψ α , φ) can easily be obtained by using (2.18), (2.19), (3.3) and The terms in (5.2) yields the Feynman rules given in appendix D. Below we shall display the value of each one-loop Feynman diagram contributing to the two-point functions of the ordinary fields of the theory.

The one-loop 1PI two-point function for massless vector field a µ
The N = 4 a µ 1PI two-point function follows the general formula (2.21), only with n f = 4 and n s = 6. One can immediately recognize clean cancelation of the quadratic IR divergences after substituting N = 4 → n f = 4, n s = 6 into (4.3).

The one-loop 1PI two-point function for the scalar φ m
The one-loop 1PI two-point function, Σ mn (p), of the field φ m is the sum of five diagrams figures 14, 15, 16 and 17, whose values read The UV part reads

The one-loop 1PI two-point function for λ α i
The one-loop 1PI two-point function, Σα α i j (p), of the field λ α i is the sum of the three diagrams figure 18, figure 19 and figure 20 whose values read Σα α i j (p) tad = 0, (5.8)    with N 1,2 (p) being given in (2.47) and (2.48), respectively, and Hence, is quadratic IR divergence free, and the total UV divergences is presented below

Effect of gauge fixing on photon two point function
In the prior sections we have shown that the quadratic IR divergent contribution to the photon two point function can be canceled by introducing supersymmetry. Yet we have still two unanswered question: first, all of our computations above are carried out in the commutative Feynman gauge, which, albeit convenient, is just one specific choice. We do not know whether the cancelation we found would be changed by a change of gauge fixing. Second, we have quite complicated UV divergence in the Feynman gauge in general, which may be modified by changing gauge fixing, as in the commutative gauge theories. To study these two issues we introduce in this section a new, non-local and nonlinear gauge fixing based on the Seiberg-Witten map then evaluate its effect to the photon two point function.

The noncommutative Feynman gauge fixing action
We introduce a new gauge fixing for non-local U(1) gauge theory via the θ-exact Seiberg-Witten map. In terms of BRST language, this gauge fixing contains BRST-auxiliary field B, and it is given by Since the SW map for Ω is actually the same as for the NC gauge parameter Λ from [15] we can derive the photon-photon and photon-ghost coupling in this gauge. So by using the following BRST transformations from (6.1) is produced the following gauge fixing action which after the application of the SW map resulting Feynman rules for the gauge fixing and ghost induced diagrams given in appendix F. We name this gauge as "noncommutative (NC) Feynman gauge" as it is formally identical to the Feynman gauge in a U ⋆ (1) gauge theory.

One-loop contributions from the new NC gauge fixing action
The new gauge fixing action (6.3) introduces additional terms to the three and four photon self-couplings as well as photon-ghost couplings, as summarized in (F.1). Unlike the three and four photon couplings in the commutative Feynman gauge [16,18], these new interaction terms are no longer transverse. It then becomes intriguing how the sum of the resulting loop integrals behave. From Feynman rules (F.1) we find the following diagrams figures 21-26 contributing to the one loop photon two point function. Denoting the total sum of figures 21 to 26 as Π µν gf total , it turns out to be convenient to split it into two partial sums Here Π µν gf mix presents the sum over figures 21 and 22, which contain one 3-photon vertex from the classical action and the other from gauge fixing action, while Π µν gf sums over the rest of them which are solely from the gauge fixing. 2 The evaluation of diagrams in figure 21-26 follows substantially the standard procedure used in the prior section, except the rising of the two new types of tadpole integrals.

JHEP05(2016)169
The first one takes the form of the second term in (2.44) so it can be removed by our regularization prescription. The second one is a tadpole integral without any loop momenta in the numerator i.e.
This integral contains total effective loop momenta power ℓ −4 because of the additional denominator (kθp) −2 from the nonlocal factor f ⋆ 2 (k, p) 2 , which is below the minimal power for the commutative tadpole integral to vanish [23]. Consequently we observe unregularized UV divergence when computing this integral by transforming it into the bubble or applying the n-nested zero regulator method [23]. We develop an alternative prescription (B.21) based on the parametrization (2.40) which is capable of dimensionally-regularizing this integral into a 1/ǫ divergence plus the logarithmic UV/IR mixing term ln(µ 2 (θp) 2 ) at the D → 4 − ǫ limit (B.22).
We are able to express both Π µν gf mix and Π µν gf appropriately once T −2 is added to the prior basis integral set T 0 , I 0 K , I 1 K and I H . The outcome is listed as below One can immediately notice that Π µν gf total contains only two tensor structures p µ p ν and p {µ (θθp) ν} which can not be combined into a transverse sum. The loss of transversality appears to be, of course, surprising. However we are going to develop reasoning/arguments for this seeming odd behavior in the next section and show that it is in fact understandable.
Regular BRST transformation s acting on Z vanish, thus we have: Since the transversality condition means ∂ µ δΓ δaµ = 0, which is satisfied in equation (7.3) only for B = 0. This however is not allowed if we integrate out the B field. Thus we do not perform that, instead we construct a propagator from the following doublet combination a µ B .

Formal analysis
In order to compute the two point function(s) within the presence of the B-field, we must define the propagator(s) for the "kind of strange" vector-scalar field a µ B doublet. Starting with we get a quadratic part of S S quadratic = 1 2 a µ ∂ 2 g µν − ∂ µ ∂ ν a ν + 2B · ∂ µ a µ + B 2 , (7.5) whose Fourier transform is as follows The Hermitian matrix is then the inverse of the propagator in the momentum space. Next we inverse T 0 to obtain which we solve by using simple Ansatz: Taking into account a text book convention (−k 2 g µν + k µ k ν )G µν = iδ µ ρ for the phase factor we add overall factor i and obtained correct photon propagator, as illustrated in figure 27.
One can write down the usual field redefinition B ′ = B + ∂ µ a µ in (6.3) in the Fourier transformed context as The A −1 0 then diagonalizes the bilinear form (7.7) into It is easy to see that inverting this T ′ 0 gives the expected Feynman propagator. From that viewpoint the B-integration can be achieved by diagonalization. One can formally generalize the tree level diagonalization procedure to the one loop. Consider in general the one loop corrections as another Hermitian matrix T 1 adding to the T 0 matrix, we write the quadratic part of the 1-loop corrected effective action in the momentum space as

JHEP05(2016)169
Next we express T 1 in terms of its components The Slavnov-Taylor identity (7.3) then requires that T µν 1 11 = δΓ 1 δãµδãν has to be transverse, while others not. One can now replace A 0 by a new transformation with A −1 diagonalizing the 1-loop corrected bilinear form T 0 + T 1 We then conjecture that the formal leading order expansion of Π µν with respect to the coupling constant e corresponds to the gauge fixing corrections to the 1-loop 1-PI photon two point function, i.e.
And, as we shall see below, this relation/conjecture indeed holds.

The action of the gauge and BRST-auxiliary fields and Feynman rules
We define the noncommutative photon-auxiliary field action by using the first and the second order SW maps for the NC gauge field, A µ and A (2) µ , respectively: from where we obtain the corresponding photon-auxiliary field interaction vertices. Corresponding Feynman rules from the above action generate one-loop correction to the quadratic effective action and are given in appendix G.   Note that Π µν denotes all contributions from the classical action, which is the same as summing over all contributions to the photon two point function computed in sections 2-5 and thus transverse. Explicit computation first revolves that Π µν B−aµ = 0, (7.20) thus the Slavnov-Taylor identity is actually trivially fulfilled. The rest of the matrix elements listed in (7.19) are nonzero and boil down to the following expressions    where

JHEP05(2016)169
Finally we have (7.25) Next we start to verify our conjecture (7.17). First we derive the following relations from it, One then immediately observes that the second and third relations do fulfill. As for the first one we can compute its right hand side 27) which is in agreement with (6.7). Thus the conjectured relation (7.17) is proven. Retrospectively, we see that the gauge fixing contribution to the 1-loop correction is a shift from the on-shell value of the gauge fixing functional. Therefore it does not need to be transverse. The fact that the pure gauge fixing and mixing contributions satisfies (7.17) independently is because the former can be considered as gauge fixing to a free U(1) gauge theory.
Finally let's briefly discuss the divergences in the gauge fixing configuration(s). Using the results from the appendix B we can see that Π µν gf total contains no quadratic IR divergent This cancellation, occuring in the case at hand, is nontrivial since Supersymmetry acts nonlinearly -see (2.16) -on the ordinary fields. Let us recall that the cancellation of quadratic noncommutative IR divergences is also a feature of noncommutative super Yang-Mills theories when formulated in terms of noncommutative fields [1][2][3][4][5]. Hence, our result concerning the cancellation of the quadratic noncommutative IR divergences really points into the direction that the θ-exact Seiberg-Witten map really provides quantum duals of the same underlying theory.
We have shown -see (4.11) and (5.6) -that the characteristic quadratic noncommutative IR divergences, 1 (θp) 2 , which arise in the individual contributions to the one-loop propagators of the scalar fields in the N =2 and 4 Supersymmetry, also cancel each other at the end of the day. The same holds for the photino field as well.
Since the previous cancellations occur both in the ordinary Feynman gauge and in the noncommutative Feynman gauge -see section 7, our computations further indicate that the cancellation is robust against changing the gauge fixing and may have real physical, and therefore gauge invariant, content. Let us recall that independence of gauge-fixing parameter of the cancellation of noncommutative IR divergences in the dual theory, i.e., in N =1 U(1) super Yang-Mills theory formulated in terms of the noncommutative fields, has been shown to hold -see ref. [2].
In this paper we have also worked out explicitly the one-loop UV divergent contributions -which show as poles at D = 4 -to all propagator of the theory: see (2.49), (2.33)-(2.34), (4.13), (4.16), (5.7), (5.12) and (7.30)-(7.37). It is noticeable that the pole parts displayed in the equations we have just quoted contain non-polynomial, i.e., non-local, terms whose denominator isa power of θp. With respect to this we would like to point out that, in keeping with Weinberg's power counting theorem [24], Feynman integrals whose degree of UV divergence are not the same along all directions are liable to give rise to the pole contributions which are non-polynomial. This is exactly our situation since our integrands contain factors of the type 1 (q 2 ) n ((q + p) 2 ) m (qθp) s , s = 1, 2,

JHEP05(2016)169
and these factors approach zero as Λ (−2n−2m−s) along the direction parallel to θp, and as Λ (−2n−2m) along any direction orthogonal to θp. Hence UV divergences with a nonpolynomial dependence on the momenta may occur and our computations show that indeed they do occur. We would like to recall that a similar situation, -i.e. the non-polynomial UV divergences -happens in ordinary Yang-Mills theories in the light-cone gauge [25,26]. Now, the UV divergences of two-point functions are in general gauge dependent quantities. We have verified that this is so in our case by computing the one-loop propagator of the gauge field both in the ordinary Feynman gauge and in the noncommutative Feynman gauge -see section 6. The result for the first type of gauge is in (2.33)-(2.34) and in (7.30)-(7.37) for the second type of gauge fixing term: their differences stand out. Hence, extracting gauge invariant information from the UV divergences is our next challenge along this line of research and it will require the computation of three and higher point functions.
Let us finally remark that UV/IR mixing effects also work for the nonpolynomial UV divergent contributions we have obtained.

Acknowledgments
The work by C.P. Martin  where part of this work was conducted, for hospitality. We would like to acknowledge the COST Action MP1405 (QSPACE). We would also like to thank J. Erdmenger, W. Hollik and A.Ilakovac, for fruitful discussions. A great deal of computation was done by using MATHEMATICA 8.0Mathematica [28] plus the tensor algebra package xACT [29]. Special thanks to A. Ilakovac and D. Kekez for the computer software and hardware support.
A Seiberg-Witten differential equations for the SYM U(1) Let Φ be a noncommutative field, either boson or fermion, in d dimensions, which gauge transforms under the adjoint of U(N). Then its NC BRST transformation reads where Ω is the noncommutative U(N) ghost field in d dimensions that parametrizes the noncommutative BRST transformations of the U(N) gauge field A µ in d dimensions:

JHEP05(2016)169
Let φ and a µ be an ordinary matter and gauge fields in d dimensions which take values in the Lie algebra of U(N) in the fundamental representation. Let the BRST transformations of φ and a µ be where ω is the ordinary ghost field in d dimensions which also takes values in Lie algebra of U(N) in the fundamental representation. Then, the SW map {Ω[e · a, ω; θ µν ], A µ [e · a; θ µν ], Φ[e · a, φ; θ µν ]} is a solution to the problem sΩ = iΩ ⋆ Ω, Ω[e · a, ω; θ ij = 0] = ω, It is known that the following set of differential equations -called the Seiberg-Witten differential equations [11,27] -furnish a solution to the problem in the system of equations (A.4): Note that µ runs from 0 to d − 1, while i runs from 1 to d − 1, respectively. Now we show how a solution to the previous problem can be obtained by solving Seiberg-Witten differential equations for a U(N) gauge field in d + 1 dimensions. Let A M = (A µ , A d ) be a noncommutative gauge field in d+1 dimensions and in the fundamental representation of U(N) and letΩ denote the corresponding noncommutative ghost field. Then the Seiberg-Witten differntial equations for A M andΩ read

JHEP05(2016)169
where we have taken into account that and D (nc) [a µ , D; θ ij ] be θ-exact Seiberg-Witten maps given by the following expansions in terms of the coupling constant e: (A.9) Taking the n-th variations, of the m-th order of the NC gauge field A µ , its supersymmetric fermion partner Λ α and of the NC auxiliary field D (nc) , we obtain the following expressions Here m = 1, 2, while δ n a ν , δ n λ α and δ n D for n = 0, 1, have been given in (2.20).

B Integrals
A fairly large number of special function integrals occur in studying NCQFT, with or without SW map. Some description of the integrals relevant to this work was given in [16], where we used a set of seven special function integrals to present the nonplanar part of the bubble integrals at D = 4. During this work and our prior study on NC tadpole integrals [18] we studied additional new integrals and found some new relations among all of them. Here we present a new list of five integrals which are used to present all loop integral results in the main text.
The original set of seven integrals include four Bessel K-function integrals and three integrals over a function H[z] which can be expressed in terms of hypergeometric functions (B.1)

JHEP05(2016)169
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.