arxiv: v2 [hep-th] 25 Oct 2014

Transcription

1 SU-ITP--5 OIQP--8 On the continuity of the commutative limit of the d N = non-commutative suer Yang-Mills theory arxiv:.53v [he-th] 5 Oct Masanori Hanada a,b,c and Hidehiko Shimada d a Stanford Institute for Theoretical Physics, Stanford University, Stanford, CA 935, USA b Yukawa Institute for Theoretical Physics, Kyoto University, Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 66-85, Jaan c The Hakubi Center for Advanced Research, Kyoto University, Yoshida Ushinomiyacho, Sakyo-ku, Kyoto 66-85, Jaan d Okayama Institute for Quantum Physics, Okayama, Jaan abstract We study the commutative limit of the non-commutative maximally suersymmetric Yang- Mills theory in four dimensions N = SYM. The commutative limits of non-commutative saces are imortant in articular in the alications of non-commutative saces for regularisation of suersymmetric theories such as the use of non-commutative saces as alternatives to lattices for suersymmetric gauge theories and interretations of some matrix models as regularised suermembrane or suerstring theories, which in turn can lay a rominent role in the study of quantum gravity via the gauge/gravity duality. In general, the commutative limits are known to be singular and non-smooth due to UV/IR mixing effects. We give a direct roof that UV effects do not break the continuity of the commutative limit of the non-commutative N = SYM to all order in erturbation theory, including non-lanar contributions. This is achieved by establishing the uniform convergence with resect to the non-commutative arameter of momentum integrals associated with all Feynman diagrams aearing in the theory, using the same tools involved in the roof of finiteness of the commutative N = SYM.

2 Introduction Non-commutative field theories are non-local deformations of usual local field theories, obtained by relacing roducts between fields by the so-called Moyal roducts, f g fe i µc µν ν g = fg + i Cµν µ f ν g + i C µ ν C µ ν µ! f µ ν ν g +, where C µν = C νµ are the non-commutativity arameters. Asects of these theories have been studied from various ersectives in recent years. For a review, see e.g. []. In this aer we study the commutative limit, C. The original local field theories are recovered in this limit at the classical level. However, the commutative limit is known to be singular at the quantum level for generic non-commutative field theories, due to an effect called the UV/IR mixing [], as will be elaborated later. One motivation to study the non-commutative field theory, or the non-commutative sace, comes from the exectation that it might rovide us with a good mean to regularise, or discretise, quantum theories with infinite degrees of freedom in articular those with suersymmetry, enabling us to define these theories non-erturbatively. The commutative limit lays a crucial role in this context. One of the early examles of the alication of the non-commutative sace is the construction of the matrix model of M-theory as the regularised version of suermembrane theory[3,, 5, 6]. The matrix model has the same amount of suersymmetry as the suermembrane theory; an imortant advantage of the regularisations using the non-commutative saces comared to, for examle, simle lattice regularisations is that the suersymmetry can often be reserved more easily. The mathematical structures associated with this regularisation are the same as those aearing in the non-commutative saces. It is an imortant issue to understand how one should take the large-n limit of the matrix model at the quantum level, which can be interreted as the continuum limit of the membrane theory. This continuum limit of the membrane theory is equivalent to the commutative limit C, in the secial case where the membrane worldsace the timeslice of the membrane worldvolume is given by the so-called non-commutative lane defined by the Moyal roduct. The IKKT matrix model [7] is also obtained by alying a similar regularisation to the suerstring worldsheets. Another examle, which is more directly relevant to the subject of this aer, is the alication of non-commutative saces to non-erturbative definitions of suersymmetric Yang-Mills SYM theories. The non-erturbative definition of SYM theories via regularisations of them is of course The commutative limit is also imortant, if one ursues the ossibility that our sace-time is non-commutative. This non-commutativity is not observed so far. If the commutative limit is continuous, this can be naturally attributed to the smallness of the value of C. If the commutative limit is singular, which is the case for generic non-commutative field theories, it is more difficult to exlain the absence of the non-commutativity in the resent observation. Usually, comact worldsaces of membranes such as a shere, whose matrix counterarts are finite dimensional matrices, are considered. The matrix version of a non-comact worldsace by contrast is infinite dimensional because of infinite numbers of degrees of freedom in the IR. Strictly seaking, for the case of infinite dimensional matrices corresonding to the non-comact membranes, the quantum theory is otentially ill-defined due to the infinite number of degrees of freedom, and hence one has to consider it as a certain limit of the theory associated with finite-dimensional matrices. Nonetheless, we believe that at least some of the essential features of the continuum limit of membranes should be catured by the C limit of the non-commutative lane.

3 a concetually imortant theme, and also oens u the ossibility of studying non-erturbative roerties of these theories via Monte-Carlo simulations. However, construction of satisfactory formulations of regularised SYM theories in articular those using the lattices is a notoriously difficult roblem, whose general solution is not known to date. In general, one cannot reserve the full suersymmetry algebra in the regularised theory. It is ossible to write down a discretised theory which recovers the suersymmetry in the continuum limit at tree level; however, if one goes beyond the tree level, it is in general necessary to introduce counter-terms to revent the exlicit breaking of the suersymmetry via radiative corrections. This rocedure is usually called as the fine-tuning. Only for some secific SYM theories, lattice regularisation methods which avoid the fine-tuning roblem are known. A articularly imortant four-dimensional SYM theory is that with the maximal amount of suersymmetry, N = suersymmetric Yang-Mills theory d N = SYM hereafter, whose non-erturbative roerties are studied extensively in articular in the context of the AdS/CFT corresondence [8]. For the N = SYM, no formulation based urely on the lattice regularisation is available which is free from the fine-tuning roblem 3. Several years ago, one of the authors roosed a fine-tuning free non-erturbative regularisation of the theory utilising the non-commutative sace []. In this formalism, two satial dimensions are non-commutative, being embedded into the gauge degrees of freedom [, 5]. The remaining two directions are regularised by the lattice method 5. According to this roosal, after an aroriate continuum limit is taken, one obtains the non-commutative version of the d N = SYM in which only two sacelike directions are non-commutative. A crucial assumtion here is that d N = SYM is obtained as the commutative limit of its non-commutative cousin. However, it is a non-trivial issue whether one recovers the original theory by taking the commutative limit. An imortant feature of generic non-commutative field theories is that comutations of some Feynman diagrams, whose counterarts in the commutative theory are UV-divergent, yield terms which behave singularly in the C limit. These terms behave singularly also in the limit where the external momenta go to zero, and hence the aearance of these terms is usually called as the UV/IR mixing []. This imlies that in the commutative limit the observables of a non-commutative field theory are not equivalent to those of its commutative counterart, at least without further modification of the theory. In this aer we will show that the breaking of the continuity of the commutative limit due to UV effects does not occur for the four-dimensional N = SYM. 6 More recisely, we rove that the commutative limit is continuous, for all Green functions of the non-commutative N = SYM in the lightcone gauge, to all order in the erturbation theory, including non-lanar contributions. Actually, it was suggested 3 Lattice simulation of N = SYM, albeit with the arameter fine tuning, is also ursued. See [9] for the latest result. Prior to this work, a similar technique has been alied for 3d maximal SYM in []. See also [], in which all dimensions are embedded into matrices. Another examle which uses non-commutative sace can be found in [3]. 5 For two-dimensional suer Yang-Mills, there are several roosals of fine-tuning free formulations [6, ], and there are numerical tests which suort the validity of these roosals at the nonerturbative level [7]. For a comlete list of references, see a review aer [8]. 6 In this aer, we avoid the introduction of non-commutativity between the timelike and a sacelike coordinate. It has been argued that introduction of the non-commutativity between the time direction and a sacelike direction leads to athological features, such as the violation of the causality and unitarity[9,, ]. Furthermore, for the regularisation of N = SYM in the aroach of [], the non-commutativity is introduced only between two sacelike dimensions. It is the commutative limit in this setting that is crucial in this aroach. 3

4 in [] that the singular terms are absent for the non-commutative N = SYM, which imlies the continuity of the C limit. One reason behind this suggestion is the well-known finiteness of the commutative C = N = SYM[3, ]. However, the finiteness of the commutative theory alone does not ensure the continuity, let alone the smoothness, of the commutative limit, as will be exlained in detail in section. The crucial oint is that the finiteness of the original theory is due to non-trivial cancellations between divergent diagrams, and there is no guarantee a riori that these cancellations are not ruined by the introduction of the non-commutativity. The crucial concet utilised in our roof is the uniform convergence, whose relevance is exlained in section. Our tools to rove the uniform convergence of all Feynman integrals, the lightcone suersace and ower-counting rocedures done in two stes, are those used in the original roofs of the finiteness of the commutative theory [3, ]. We will rove our theorem by showing that these tools remain effective after modifications due to the non-commutativity. This strategy is the same as that taken in the roof of finiteness of the so-called β-deformed N = SYM [5, 6], and the technical art of our roof is also similar to those given there, though there are a few imortant differences. This is because the β-deformation is also defined by relacing the ordinary roduct of the original theory by a -roduct which shares imortant roerties with the Moyal roduct. We emhasise that what we show is not merely the finiteness of the non-commutative N = SYM: the non-commutative SYM is finite, and the finite result is continuous with resect to C. This is achieved because our ower counting rocedures ensure the uniform convergence, which is stronger than the mere convergence of Feynman integrals. The finiteness of the non-commutative N = SYM was roved in [7]. We notice that the alication of Weinberg s theorem [8] in the lightcone gauge involves some subtlety as first ointed out in [9]. This oint will be discussed later in this aer. This aer is organised as follows. In section, we elaborate on the non-triviality of the commutative limit, and show that the finiteness of the commutative version alone does not imly the smoothness of the commutative limit. The roof of our theorem is given in section 3. We conclude with some discussion in section. In an aendix we give an exlicit one-loo comutation of two oint functions in the suerfield formulation, which is indeed continuous in the C limit. Commutative limit and uniform convergence In this section, we discuss why the commutative limit is nontrivial, in articular for the N = SYM. We begin by recalling the so-called UV/IR mixing in generic non-commutative field theories. In terms of the Feynman rules, the effect of the relacement of usual roducts by the Moyal roducts simly amounts to introduction of hase factors, e i µcµν ν for each vertex, where and are momenta associated with the external or internal lines connected to the vertex. It was then found by exlicit one-loo calculations that some Green functions exhibit new tyes of singularities [, 3, 3]. These singularities aear only for non-lanar diagrams. 7 7 For lanar diagrams, the deendence of the hase factors on the loo momenta cancels out, and hence we

5 Original UV divergences associated with non-lanar diagrams are tamed by the raid oscillations introduced by the hase factors [3]. One can interret this as an introduction of an effective UV cut-off, for the internal momenta, of order Ck. Here k is given by some linear combination of external momenta which may be different for different diagrams. The integral is finite and behaves singularly in the limit C. Schematically, they behave like C µν k ν 3 for diagrams which are originally quadratically divergent. logarithmically divergent, the singular behaviour is, For diagrams which are originally log C µν k ν. The aearance of these terms is usually called the UV/IR mixing : they arise from originally UV divergent grahs, and have singular behaviour in the IR, i.e. when the external momenta are sent to zero. These terms are also singular in the commutative limit, C, which is the subject of this aer. These singular behaviours arise although the integrands of the Feynman integrals are smooth with resect to C as in. Thus, the C limit and the integral do not commute. More recisely, the C limit and the limit in which the uer bound of the momentum integral is taken to infinity do not commute. We will rove that these two limits do commute for the case of the N = model. One might be temted to think that because the singularities at C originate in the UV divergences, UVfinite theories including d N = SYM admit continuous C limits. In fact this reasoning is not sufficient to ensure the continuity. The oint missed in this argument is that the finiteness of the original theory is a result of cancellations of, say, logarithmically divergent diagrams. The introduction of the hase factors may tame different divergent diagrams in different ways with different effective cut-offs for different diagrams. If this haens, we will have sums of terms of the form log Ck, where k can be different for various diagrams. Such sums can behave singularly in the limit C. In other words, the original cancellation is ruined. In this manner, a theory which is finite at C = can have a non-smooth C limit. Simle one-dimensional integrals 8- with this roerty are resented at the end of this section. Exlicit one-loo comutations for suer Yang-Mills theories with lower suersymmetry were erformed in [33, 3, 35]. In these comutations UV/IR mixing terms are found, even for some N = UV finite theories. Proerties of non-commutative N = theories related to UV/IR mixing are discussed in [36]. For the N = theory no UV/IR mixing terms are found [33, 37, 38] at the one-loo level. One can look at this roblem of the commutative limit from a more mathematical oint of view. It is well-known that what guarantees the validity of the exchange of two limits is the condition of uniform convergence; the cancellation of the divergence at C = does not imly a smooth behaviour for C. have the same Feynman integrals which may be divergent as the original commutative theory, multilied only by over-all hase factors deending on the external momenta. In [7], an argument is given to show the finiteness of the non-commutative N = SYM focusing only on lanar diagrams since contributions from non-lanar diagrams are finite. In order to discuss the singularities in the C limit, one has to study the non-lanar diagrams. 5

6 Let us recall the definition of uniform convergence. We consider an integral of the form Λ lim f, Cd = F C 5 Λ where Λ is the uer bound of the momentum integral 8. The definition of uniform convergence with resect to the arameter C is for ε >, Λ Λ s.t. f, Cd F C < ε for Λ > Λ and C, 6 while the definition of the usual convergence for each fixed value of C is given by the condition, for ε >, Λ s.t. Λ f, Cd F C < ε for Λ > Λ. 7 Here ε is the error in the comutation of the total integral F C; if one wishes to comute F C within this error then one has to choose the uer bound of the integral, Λ, to be larger than the value Λ. Thus this Λ can be thought of as a quantity which measure the slowness of the convergence; larger Λ imlies slower convergence. The only difference between the two definitions is the extra C in the former: for the usual convergence, Λ may deend on C, whereas for the uniform convergence Λ does not deend on C. In case of the non-uniform convergence, Λ can be singularly large for certain values of C, which makes it ossible for F C to develo singularities or discontinuities at these oints even for smooth f, C. If the condition of the uniform convergence is satisfied, smoothness roerties of the integrand f, C with resect to C, such as the continuity, transfer to that of the F C. In articular, we will use the theorem 9 which states that if f, C is continuous in both and C and if the convergence is uniform, F C is also continuous in C. We conclude this section by illustrating our argument above by some simle one-dimensional integrals. We start from the simlest logarithmically divergent integral Λ µ d = log Λ µ. 8 Here the arameter µ lays the role of the IR cutoff. Introducing the hase factor, we consider an integral eick d logµck 9 µ The right hand side is the leading behaviour for µck, which can be derived by using a transformation of the integration variable similar to that resented below. For definiteness, we assume C >, k >. The logarithmically divergent integral is now tamed by the oscillating hase 8 We note that this Λ has a slightly different character comared to the usual UV cutoff in quantum field theory. Usually one introduces the UV cutoff to make sense out of a divergent integral, to define the erturbation theory. It is a non-trivial issue which tye of the cutoff rocedure such as the simle cut-off, the Pauli-Villars method one should emloy. For the N = SYM, since the integrals are finite the tye of the cutoff is hardly an issue. We note that the integrals are made finite by suitable combinations of divergent diagrams. 9 See, for examle, [39]. 6

7 factor to yield a finite result, which behaves singularly in the limit Ck. This is analogous to the UV/IR mixing for generic non-commutative field theories. Now let us resent an examle which yields a finite result when utting C = in the integrand, but nonetheless have a discontinuity in the C limit, F C = lim Λ Λ µ eick eick d. If one uts C = in the integrand, or equivalently, if one takes the C limit before the Λ limit, one gets, F = d =, µ which is of course finite. Meanwhile, one can evaluate the integral by using simle transformations of variables u = Ck and u = Ck, F C = µck µck u eiu du log k k. Again, the right hand side is the leading behaviour when C is small. Thus F C has a discontinuity at C = and the C limit is not smooth. This corresonds to the dangerous situation, where the cancellation between would-be divergent terms are ruined by the hase factors, yielding singular C limit. We will rule out occurrence of analogous situations for Feynman integrals in the N = SYM model in the next section. 3 The roof Our roof is technically similar to those given in [5, 6], and in [], and our main focus will be on differences in articular on the manner uniform convergence is achieved. We will be only concerned with the UV roerties of the Feynman integral. We shall assume below that there is an imlicit IR cut-off to avoid any ossible comlication from IR divergences. We note that the hase factor associated with the Moyal roduct does not introduce the raid oscillations in the IR when the loo momenta are small, and hence it seems likely that the structure of IR divergences is not affected much by the non-commutativity. The outline of the roof is as follows. In section 3., we formulate the non-commutative N = SYM in terms of the lightcone suerfield. Due to roerties of the Moyal roduct such as the associativity, the result is quite simle: one relaces roducts between suerfields in the suersace action for the commutative theory with Moyal roducts. In section 3., we evaluate an uer bound for the suerficial degree of divergence D of Feynman integrals. This is done in two stes. In the first ste, we make a rough estimate of D, by using techniques of evaluating suerfield Feynman grahs similar to those introduced in [] for N = suergrahs. At this stage one concludes that D. In the next ste, one focusses on vertices connected to external lines; using the articular form of the vertices, one can imrove the rough estimate of D to show that D is in fact negative. We note that in the lightcone gauge there is no wavefunction renormalisation. In some gauge there is wavefunction renormalisation which does not affect hysical observables of the theory. 7

8 Finally, we use Weinberg s theorem [8] in section 3.3. In our context Weinberg s theorem imlies the uniform convergence, which in turn results in the continuity of the result of the Feynman integrals with resect to C. 3. Non-commutative N = SYM in lightcone suersace In this section we introduce the lightcone suerfield formalism in the non-commutative sace, which is a natural extension of the original formulation in the commutative sace []. We define the lightcone coordinates x ± = x ± x 3, 3 where x + lays the role of the time coordinate. The remaining two coordinates x, x are noncommutative, x x x x = ic = ic. Our metric convention is η µν = diag, +, +, +, and the lightcone comonents of the metric are η + = η + = η + = η + =, η ++ = η = η ++ = η =. We use indices µ, ν =,..., 3 for sacetime coordinates. The lightcone comonents of the gauge fields are A ± = A ± A 3 /. We imose the lightcone gauge condition A =. 5 In this gauge, A ± are not roagating. There are eight bosonic roagating degrees of freedom: two transverse comonents of the gauge field A and A, which we combine into a comlex field A = A + ia and Ā = A ia and three comlex scalar fields, ϕ mn = ϕ nm m, n =,, with the condition ϕ mn = ɛ mnq ϕ q /, where ɛ mnq is a totally antisymmetric tensor with ɛ 3 = +. Half of the sinor fields are not roagating in the lightcone gauge, and there are four comlex singlecomonent fermions χ m m =,,. The action in the lightcone gauge is obtained from the original action by eliminating nondynamical degrees of freedom such as A + []. In this rocedure the trace cyclicity of the matrix roduct lays an essential role. The rocedure goes through similarly in the non-commutative case, because the Moyal roduct also satisfies the cyclicity inside the trace, f f f n d d x = f f n f d d x. 6 The invariance under suersymmetry is also reserved in a similar way. Now let us introduce the suerfield formulation. There are four bosonic and eight fermionic coordinates, x +, x, z = x + ix /, z = x ix / and θ m, θ m m =,,. Eight kinematical manifest suersymmetries are generated by Q m = θ m i θ m, Qm = θ m + i θm. 7 This may be understood as a consequence of the maing between functions in the non-commutative sace and matrices []: the integral and the non-commutative roduct are identified to the trace and the roduct of matrices, resectively. 8

9 The suersace chiral derivatives are defined by d m = θ m + i θ m, dm = θ m i θm. 8 The scalar suerfield Φ and its hermitian conjugate Φ satisfy the chirality condition d m Φ =, dm Φ = 9 and We use abbreviations such as, Φ = d Φ, Φ = d Φ d = d d d3 d = ɛmnq dm dn d dq. This convention differs from those of [,, 5, 6] by a factor of. The definition of the suerfields remains the same for the non-commutative case since derivatives in the lightcone coordinates commute with -roducts. In terms of the comonent fields, the scalar suerfield Φ is exressed as Φx, θ, θ = AX i θ m χ m X + + i θ m θ n ϕ mn X 6 ɛ mnqθ m θ n θ χ q X ɛ mnqθ m θ n θ θ q ĀX. Here X is the chiral coordinate X = x +, y, z, z where y x i θ m θm. The action in terms of suerfields is,3 S = 8 d x { d θd θ Tr Φ Φ + 8ig Φ [Φ, 3 Φ] + Φ [ Φ, Φ] +g [Φ, Φ] [ Φ, Φ] + [Φ, Φ] [Φ, Φ] where the star commutator between two fields A, B is defined by } 3 [A, B] = A B B A. The action of the non-commutative SYM is the same as the original theory in the commutative sace, excet for the relacement of the roduct with the Moyal roduct. This is similar to the formulation of β-deformed N = SYM in terms of the lightcone suerfield discussed in [5, 6]. We use the rescrition by Mandelstam [3] when defining factors such as, which enables us to erform the Wick rotation. 3 We follow the notation used in [], = + i /, = i /. 9

10 3. Power counting In this section, we consider the suerficial degree of divergence D. In usual field theory, D is determined by counting the owers of momenta. In the non-commutative theory the integrand deends on the momenta non-olynomially due to the hase factors introduced by the -roduct. We define D neglecting the hase factors. The suerficial degree of divergence so defined is useful when we aly Weinberg s theorem as we will see in section 3.3. The ower counting rocedure is divided into two stes. In the first ste a rough estimate of D is made, which is refined in the second ste. The starting oint of the first ste is to write down the suersace Feynman rules. The roagator is given by = Φ u v θ, θ Φ r s θ, θ π δ + δ u sδ r v i d δ8 θ θ, 5 µ where δ 8 θ θ = θ θ θ θ. 6 Our convention is θ = /ɛ mnq θ m θ n θ θ q. The vertices can be read off from the action by using the formula. We will now sketch the suergrah ower-counting. For details, see [, 5,, ]. When evaluating a Feynman diagram, one first erforms the θ-integrals. Focussing on a single internal line, one can get rid of d s originating from the roagator and d s originating from vertices by using artial integration, ending u with a bare suersace δ-function. Then the θ-integral can be erformed, eliminating one θ variable. This rocedure is to be reeated to the oint where only one θ-integral is left. In this rocess, for each loo, one has to use the following identity once: δ 8 θ θ d d δ 8 θ θ = δ 8 θ θ. 7 Other combinations of two δ-functions and chiral derivatives vanish under the θ-integral [, ]. This means that we lose owers of momentum for each loo. This cancels the original owers of momentum from the loo integral. Thus, the contribution of each loo to the suerficial degree of divergence D is zero. 5 The contribution of the roagator to D comes from the d art of 5 and is zero. The contributions of the vertices are also zero as can be read off from the action 3. The result of the first ste in the ower counting rocedure is thus D. At this stage, we are not distinguishing the external and internal momenta. In the second ste, we distinguish them, focussing on a vertex attached to an external line. By certain maniulations using the exlicit form of the vertices one can then show that the suerficial degree of divergence decreases by one or more. These maniulations are, a moving d s or d s from internal lines to external We note that d s or d s should be thought of as a square root of momenta, in the ower counting rocedure. 5 For the β-deformed theory [5, 6] the equality 7 is modified excet for lanar diagrams, because the - roduct for the β-deformation acts on the θ-sace. Hence the analysis was restricted to the lanar level for the β-deformed theory. In the resent case, this equality remain unchanged, because the Moyal roduct does not act on the θ s, so that our analysis is valid for all diagrams including non-lanar ones.

11 Figure : Three vertex 8. d d k d k k k d Figure : A class of generic rocesses in which the vertex 8 is involved. between two sets of diagrams takes lace as shown in 9. The cancellation lines via artial integrations b cancellations between contributions from different vertices and contractions, in the leading behaviour when the internal momenta are much larger than the external momenta. One has to do this analysis for all ossible contractions of all three-oint and four-oint vertices. Here, one has to verify that the cancellations used in this ste occur among contractions which acquires the same hase factors from the non-commutativity. This ste is arallel to the corresonding ste in the roof of finiteness of the β-deformed theory given in [5], and we will not give the details in this aer. The resent case is actually simler since the chiral derivatives commute with the Moyal roducts. In order to illustrate the rocedure let us discuss one articular examle of the arguments used in this ste, for the three-oint vertex, ig 3 d x d θd θ Tr Φ [ Φ, Φ] = ig d x [ d θd d θ Tr Φ Φ, d ] Φ,8 which can be reresented diagrammatically as in Fig.. In our convention roducts of fields are always taken to be counter-clockwise in Feynman diagrams. The contributions we consider are shown in Fig.. The shaded disk reresents general rocesses. We are focussing on a articular vertex connected to the external line, which is given by Fig.. The contractions we consider are shown in Fig.. By moving d aroriately, it is ossible to show that the contributions from two diagrams are the same excet for the momentum factor. The sum of these momentum factors are + k + k + + k. 9 The leading terms for k cancel out. This cancellation imlies that the suerficial degree of

12 divergence is decreased by one, imroving the convergence. It is essential that the cancellation is not affected by the hase factors originating in the Moyal roduct; the hase factors associated with the two vertices shown in Fig. are identical. As discussed in [5], there are a few excetional diagrams in which general arguments do not aly. They are one-loo diagrams and are evaluated exlicitly in the aendix. 3.3 Weinberg s theorem, UV finiteness and the commutative limit At each order in erturbation theory, we have finite sums of terms of the form f, Cd = ge i i iµc µν iν d. 3 The integrand is given by a rational function g multilied by a single hase factor. The arguments in the revious section shows that the suerficial degree divergence of gd is negative. We recall that our definition of D does not include the hase factor. Here i, and i are some linear combinations of the internal and external momenta. It is also easy to see that the same holds for all sub-diagrams. One can now invoke Weinberg s theorem 6, which assures the absolute convergence of the integral gd, i.e. the convergence of the integral g d. 3 A quick way to see that 3 imlies the uniform convergence of 3 is the following. The convergence of 3, or the absolute convergence of 3, guarantees that the original integral 3 converges to a definite value, F C. Then, Λ f, Cd F C in the condition for uniform convergence, 6, can be rewritten as 7 f, Cd = ge i C d, 3 Λ and the r.h.s. satisfies the elementary inequality ge i C d < g d. 33 Λ Because of the convergence of 3, for arbitrary ε > there exists Λ such that for any Λ > Λ Λ g d < ε. By using the same ε and Λ we have Λ f, Cd F C = f, Cd < ε 3 6 The assumtion of Weinberg s theorem is that the suerficial degree of divergence is negative for all ossible linear subsaces in the integration variables [8]. For Lorentz invariant Feynman integrals after Wick rotation, the denominator deends on the momenta always in the form µ, and therefore it is sufficient to consider all ossible subgrahs to guarantee that this requirement is met. In the lightcone gauge, there are factors of / in the integrand. As a consequence, it is necessary to searately examine the linear subsaces distinguishing longitudinal and transverse comonents for all loo momenta. For examle, one should consider the region in which transverse comonents are sent to infinity but longitudinal comonents are ket finite. This was not done in the original finiteness roof of d N = theory in []. For the roof given in [3], this subtlety is ointed out and a resolution of it is discussed in [9]. We will make a few comments on this subtlety also in section. 7 We use the notation Λ Λ Λ Λ to denote the multi-dimensional integral comlementary to Λ, i.e. = Λ + Λ.

13 for arbitrary C, which is the condition of uniform convergence. We now use the theorem which states that if f, C is continuous in and C and Λ is uniformly convergent, F C is continuous in C [39]. Thus we have shown that there is no discontinuity in C, in articular for C. Conclusion and discussion In this aer we have analysed the UV roerties of the non-commutative version of the d N = SYM. We have shown that the cancellations between diagrams at C = i.e. of the commutative theory, which are resonsible for the finiteness of the commutative theory, ersist for the non-commutative theory as well. These cancellations ensure that the momentum integrals converge uniformly with resect to C, which in turn imlies that the Green functions in the lightcone gauge have no discontinuity in C, to all order in erturbation theory. This continuity is one of the key stes of the non-erturbative definition of d N = SYM roosed in []. The roosal for 3d maximal SYM [] also includes imlicitly the assumtion that the commutative limit is continuous. In this case, however, our roof does not directly aly because we utilised the indeendence of lightcone coordinates and the Moyal roduct; in three dimension, in the resence of the non-commutativity in two sace-like directions, the lightcone coordinates become non-commutative inevitably. The roosal may eventually enable us to study nonerturbative features of d N = SYM numerically, which should deeen our understanding of the AdS/CFT corresondence and may make it ossible to study quantum asects of gravity from a dual gauge theory. Such numerical aroach has been so far successful for the + -d theory [6, 5][3] for recent work see [] and + -d theory [5]. The d theory, which has been considered much more extensively in the ast, would serve as an even better laboratory. The non-commutative d N = SYM is also an interesting theory in its own right. It is believed that this theory has a gravity dual, and asects of the duality have been studied for examle in [6, 7, 8]. The aearance of singularities of the form 3 and, is a characteristic feature of noncommutative theories. 8 These singularities lay imortant roles in the study of the relations between non-commutative field theories and ordinary field theories. 9 They may also have some relevance in some roosals discussing relation between non-commutative field theories and gravity [5, 53]. We stress that our work is the first to establish strong constraints on these singularities to the all order in erturbation theory. It would be interesting to consider more general theories and roerties from this aroach. We believe that our analysis of the continuity of Green functions with resect to the noncommutative arameter C will be the core in the study of the commutative limit in the N = 8 Usually, the singular terms 3 and are characterised by the singular behaviour in the IR region of the external momenta. What we have studied in this aer is the smoothness roerties when the non-commutative arameter goes to zero. Our analysis alone does not exclude the occurrence of IR singularities, since it is at least logically ossible to have a term which behaves singularly when external momenta go to zero but does not have a discontinuity in C. 9 For a recent interesting discussion on the relation between the analog of the UV/IR mixing effect on a noncommutative shere and aearance of a certain non-local interaction in the renormalisation grou flow, see [9]. See also [5, 5]. 3

14 SYM. There are directions in which one can extend our analysis in this aer. First, one can also study the differentiability of Green functions with resect to C by studying the convergence roerty of the integral which have the integrand given by the C-derivative of the original integrand. Each C-derivative acting on the hase factor e ic brings in extra two owers of momenta, increasing the suerficial degree of convergence. It should be ossible to clarify the structure of singularities in the C-derivatives of Green functions by aroriate extension of our method. Second, we have confined ourselves to study of Green functions of the fundamental fields. It would be also interesting to study gauge invariant oerators. Recently correlation function of comosite oerators have been studied in the lightcone gauge formalism [5]. Third, in this aer we have used the lightcone gauge. Hence, the Lorentz invariance of theory is not manifest. It is natural to exect that the lightcone gauge formulation is equivalent to a covariant formulation, say, in the Lorentz gauge, which leads immediately also to the Lorentz invariance. Although the gauge indeendence of erturbative gauge theories is fairly well-established, this issue should be more non-trivial for non-commutative gauge theories because of the non-locality introduced by Moyal roducts. This issue is not unrelated to the issue of the gauge invariant oerators. When discussing the gauge indeendence, one has to fix one s attention on a set of gauge invariant observables. In the standard non-conformal gauge theories, one usually studies the S-matrix. Since the commutative N = theory is conformal, a natural candidate for the set of observables are n-oint correlation functions of comosite oerators with definite conformal dimensions. In this aer, the convergence of the Feynman integrals was studied alying Weinberg s theorem, following revious work []. In the lightcone suerfield formalism Feynman rules are not manifestly Lorentz invariance in articular because of the aearance of factors of. Hence one should examine the limit which breaks the symmetry, for examle, a regime in which transverse comonents are taken to be large while longitudinal comonents of momenta are ket finite. In aendix A we will show exlicitly that there is a more non-trivial cancellation at the one-loo level. It is ossible to classify the UV regions for general Feynman diagrams and study the suerficial degree of divergence by using aroriate diagrammatic techniques. This issue will be addressed in a searate ublication. We hoe that this work can rovide a basis for studies of the alication of non-commutative N = SYM and serve as a starting oint to clarify the relation between non-commutative field theories and their commutative counterarts more generally. Acknowledgements The authors would like to thank S. Kovacs, S. Matsuura, F. Sugino for their careful reading of our manuscrit and very useful discussions and comments. We would like to thank S. Ananth, L. Brink, L. Dixon, T. McLoughlin, and J. Nishimura for very useful discussions and comments. The work of M. H. is suorted in art by the Grant-in-Aid of the Jaanese Ministry of Education, Sciences and Technology, Sorts and Culture MEXT for Scientific Research No. 5876, and the National Science Foundation under Grant No. PHYS-6693 and the hositality of the Asen Center for Physics.

15 A Exlicit one-loo comutations In this aendix we erform exlicit one-loo comutations of two-oint Green functions of the non-commutative N = SYM in the lightcone suerfield formalism. The asymmetric asymtotic region in which the transverse comonents goes to infinity while longitudinal comonents remain finite is imortant. There are two suerfield diagrams. Suerficial degree of divergence for each diagram is negative in the usual ower counting. However, the diagrams are both logarithmically divergent because of the asymmetric asymtotic region. The divergent contributions from the two diagrams cancel each other and the result behaves well in the C limit. Below in section A. we exlain the Feynman rules. The next section A. summarises the result for each diagrams and exlains the cancellations. In section A.3 we comile some useful formulae. A. Feynman rules for N = SYM Because Φ and Φ are related by, we can rewrite the action 3 in terms only of Φ. We erform a Fourier transformation on the x coordinates, leaving the θ coordinates, Φx = Φ e i x d. 35 Then the suersace roagator can be derived from the quadratic art of the action, = Φ u v θ, θ Φ r s θ, θ π δ + δ u sδ r v i d δ8 θ θ. 36 µ Here UN colour indices u, v,... are shown exlicitly. The cubic and quartic vertices are read off from the interaction art of the action, is int = d xd 8 θtr g d [ ] 6 3 Φ Φ, Φ g [ d Φ Φ, d ] Φ [ ] [ + ig d d ] [ Φ, Φ 6 Φ, Φ + ig d ] [ d ] Φ, 3 Φ Φ, Φ. 37 In momentum sace this becomes is int = d 8 θd kd d qπ δ k + + qe i kµcµν l ν+ µc µν q ν g q Tr 6 3 Φ k Φ Φ q + g q k Φ d k Φ d Φ q q + d 8 θd kd ld d qπ δ k + l + + qe i kµcµν l ν+ µc µν q ν Tr ig k q + l 8 q + Φ k Φ d l Φ d Φ q q + ig 6 Φ d k Φ l Φ d Φ q.38 l q 5

16 We make it as a rule to write all vertices in a way in which matrix roducts go in a counter clock-wise order. In this convention, the diagrams can be written unambiguously without the double-line notation, and we do not show the colour indices exlicitly in the Feynman rules. One can easily recast the single-line diagrams in our convention as diagrams written in the double-line convention, which in turn is convenient to study the colour structure of the result. As exlained in the main text we erform the θ-integral by moving d s and d s via artial integrations, using the identity 7 and The Feynman rules are, d = i µ {d m, d n } = iδ m n. 39 d k = g 6 q 3 e i µcµν q ν q d k = d g q k e i µcµν q ν q q q l d = d k ig 8 k q + l q + e i kµcµν l ν+ µc µν q ν q 3 Here we used the convention q d d = l k ig 6 l e i kµcµν l ν+ µc µν q ν q = + i, = i. 5 6

17 We use indices µ, ν =,,... 3 for four-vectors, and indices i, j =, for the transverse comonents. A. One loo comutation We shall comute the two-oint art of the PI effective action. Firstly we define the artition function with a source J by Z[J] = e is+j φ Dφ. 6 Then by using the vacuum exectation value of φ, we introduce the effective action Γ as iγ = log Z J φ. 7 The effective action takes as its argument the vacuum exectation value of the quantum field. For simlicity, we shall use in the following the same symbol Φ for the vacuum exectation value of the suerfield as the argument of the effective action. One loo contributions to the two-oint art of iγ come from the four diagrams in Fig. 3. a b c d Figure 3: One loo contributions to iγ. The contribution to iγ from the diagram a is d kd 8 θπ Tr d Φ k Φ k d π g N µ + k k 8 which is derived by the suerfield technique first introduced for N = suerfields in [], see also []. For the case of the N = theory in the lightcone gauge, see [, 5]. The suerficial degree of divergence is in usual Lorentz invariant ower counting. If only transverse momenta 7

18 are large, it is. If only longitudinal momenta are large, it is. We reresent this by saying the suerficial degree of divergence is,,. The contribution of this diagram is actually logarithmically divergent, because of the region where transverse comonents are large and longitudinal comonents are finite. Actually there are similar logarithmically divergent terms from c, which cancel the divergent contribution. In order to comute this integral, we rewrite the contribution as d kd 8 θπ T r d d g N Φ k Φ k π µ + k + µ k + 3 µ + k µ k by using a artial fraction exansion. The contribution from the diagram b is, = d kd 8 θπ Tr d Φ k TrΦ k d kd 8 θπ Tr d Φ k TrΦ k d g π e iµcµν k ν µ + k k d g π e iµcµν k ν µ + k + µ k + 3 µ + k + 3 µ k 5 We note that the contribution from the lanar diagram a and the non-lanar diagram b differs simly by a factor N and the hase factor eiµcµν k ν at the level of the integrand, as it should be. The suerficial degree of divergence is the same as the corresonding lanar diagram a, i.e.,,. The contribution from the diagram c is = d kd 8 θπ Tr d Φ k Φ k d π g N 8 µ + k µ + k + kk + k + k + k d kd 8 θπ Tr d d Φ k Φ k π g N i + ki k i i k µ + k µ + k 5 The suerficial degree of divergence is again,,. This can be rewritten as, d kd 8 θπ Tr d Φ k Φ k + k µ k + µ 3 + k µ k 3 µ + k µ + k µ k 3 µ + k µ + k + 3 d π g N µ + k µ + k + k µ + k + 3 µ. 5 8

19 Here the key stes in the maniulation are = k = k i k + ki k i i k µ + k µ + k = k + k i k + k i + + k ki µ + k µ + k i µ + k µ + k + k + k i µ + k µ + k + k µ + + µ + k µ + k + + k µ + k + + k k µ + k µ + k + + k µ + k + k µ + k = k + + k µ + k µ + k + + k + k µ + k µ + k + = k + k µ + k + k µ + k + k µ The last equality involves cancellations between terms roortional to +. The contribution from the diagram d is d kd 8 θπ Tr d Φ k TrΦ k d π g k k k i µ + k µ + k k i µ + k µ + k k i µ + k µ + k µ + k µ + k. 53 e iµcµν k ν i k + ki k i i k µ + k µ + k, 5 whose suerficial degree of divergence is,,. Again, the contribution of c and d is related simly by a factor of /N and the non-commutative hase at the level of the integrand. By a comutation similar to the case of c, this reduces to d kd 8 θπ Tr d Φ k TrΦ k + k µ k + µ 3 + k µ k 3 µ + k µ + k µ k 3 µ + k d π µ + k + 3 g µ + k µ + k e iµcµν k ν Combining the lanar contributions from a and c, we obtain d kd 8 θπ Tr d d Φ k Φ k π g N µ k + + k µ + k 3 + k µ k 3 µ k + + k + µ k 3 µ + k µ + k µ k 3 k 3 µ + k µ + k 9 + k µ + k + 3 µ k µ + k + 3 µ. 56

20 By shifting integration variables aroriately, one can show that only the last two terms in the arentheses remain. Hence we have, k µ d kd 8 θπ Tr d Φ k Φ k k 3 µ + k µ + k µ k 3 d π g N µ + k µ + k. 57 The suerficial degree of divergence is,, 3. Thus we see that the integral is finite due to cancellations between diagrams a and c. The integral can be comuted by the method exlained in the next subsection. Using 75, this can be rewritten as, d kd 8 θπ Tr d Φ k Φ k g N iπ k dt t log t tk µ tkµ t ki 58. For the combined non-lanar contribution to iγ from b and d, we can erform the same shift without changing the hase factor e iµcµν k ν. Then we obtain d kd 8 θπ Tr d g Φ k TrΦ k e iµcµν k ν k µ k 3 µ + k µ + k µ k 3 d π µ + k µ + k. 59 The suerficial degree of divergence is,, 3, and the integral is finite by cancellation between diagrams b and d. Therefore, the commutative limit should be continuous. In order to see it exlicitly, we rewrite this exression by using the Bessel function of the second kind, 59 = d kd 8 θπ Tr d g Φ k TrΦ k iπ k dt t K t tkµ k i K tkµ t ki k i, 6 by using 7. Here k µ = C µν k ν. If one takes C using the behaviour of K x around x, 8, this becomes = d kd 8 θπ Tr d g Φ k TrΦ k 6 iπ dt k t log tk µ kµ tki. 6 This is N times the lanar contribution 58. Thus we have confirmed the continuity exlicitly. Power-counting shows that the divergences of individual terms are at most linear. Furthermore, the linearly divergent arts vanishes because of rotational symmetry. Thus all the terms are at most logarithmically divergent, and the shifting of integration variables should be legitimate.

21 A.3 Some useful formulae A.3. Feynman integrals in lightcone gauge In order to evaluate Feynman integrals in the lightcone gauge, we follow the method exlained in [55]. We start from the following integral [55], d + d d ɛ e iαµµ iρ µ µ = π ɛ ɛ iα e i α ρµρµ e i α ρ iρ i. 63 ρ The above formula can be derived by erforming the Wick rotation which is allowed due to our use of the Mandelstam rescrition for factors such as, and evaluating the integral over the longitudinal sace and the transverse sace successively. In this exression, the dimensional regularisation is used for the transverse dimensions i.e. the dimension of the transverse sace is formally altered from to ɛ. For our urose it is not necessary, and hence we will set ɛ = from now on. The details regarding the Wick rotation are as follows. The integration contour for on the real axis from left to right is rotated counter-clockwise by π/, such that it coincides with the imaginary axis. It is convenient to define i E =. After the rotation, E is real, and d is relaced by i d E. The arameter ρ µ can be either real, ure imaginary, comlex for all comonents. The integral is defined if Imα <. The integration contour over the arameter α is rotated clockwise on the comlex lane by π/ later. We define the integral I I = d µ + k e iµcµν k ν, 6 µ and also consider I lanar defined by I lanar = d µ + k. 65 µ Both of them are convergent. By using a Feynman arameter t, I can be rewritten as I = d dt + tk µ + t tkµ e iµcµν k ν 66 By using a Schwinger arameter α, this becomes, + I = d dt dααe iα+tk µ +t tk µ e iµcµν k ν + = d dt dααe iα µ+t µk µ +tkµ e iµcµν k ν = We now aly 63 with d dt + dααe iα µe iµαtkµ Cµν k ν e iαtk µ. 67 ρ µ = αtk µ Cµν k ν = αtk µ ˆk µ. 68

22 We use the notation k µ = ˆk µ = C µν k ν 69 for brevity. Then, I = dt + Since the only non-zero comonents of C are C ij, we have We note that k iˆki =. Hence, we obtain I = π dt dαα π iα e i α ρµρµ e i α ρ iρ i e iαtk µ. 7 ρ ρ µ = α t k µ + ˆk i, ρ i = α t k i + ˆk i, ρ = αtk. 7 + dαα αtk iα e iαt tk µ+i α ˆk i We now rotate the integration contour of α by writing, u = iα. I = π dt = iπ k + dt t duuu ituk + du u e ut tk µ u ˆk i e iαtk µ t k i +i α ˆk i e utk µ t k i u ˆk i. 7 e ut tk µ k u i e utkµ t ki k u i. 73 Alying the integral reresentation of the Bessel function, 79, we finally obtain I = iπ k dt t This is an odd function with resect to k µ. We roceed similarly for the I lanar, I lanar = iπ k K t tkµ k i K tkµ t ki k i. 7 In order to evaluate this, we consider dt t + + du u du u e ut tk µ e utk µ t k i. 75 e Au e Bu. 76 This integral is convergent as the two terms cancel each other when u. By artial integration, we have + du u e Au e Bu = log u e Au e Bu + + du log u Ae Au Be Bu = log A B. 77 We assume that the external momenta k µ are analytically continued aroriately in order to avoid any roblem which may occur in the Wick rotation of the contour.