by now , it has been a few years since it was realized that noncommutative gauge theories emerge from string theory through various decoupling limits @xcite .
nonetheless , the understanding of the dynamics of noncommutative gauge theories remains in a relatively primitive state compared to ordinary gauge theories .
the main difficulty is that noncommutative quantum field theories are highly nonlocal .
in fact , one can think of the nonlocality as arising from elementary dipole degrees of freedom whose transverse length is proportional to their center of mass momentum @xcite .
the novel behavior of these dipole quanta gives rise to uv - ir mixing : uv dipoles grow long in spatial extent and mediate instantaneous long distance interactions that dominate in the ir .
not surprisingly , uv - ir mixing leads to difficulties in the naive application of conventional field theory techniques to noncommutative theories .
in particular , the non - decoupling of uv and ir states leads to ambiguities in the distinction between short and long distance physics .
consequently , there has been some confusion regarding such things as the renormalization of uv divergences @xcite , the treatment of ir divergences @xcite , and wilsonian integration @xcite .
what is more , the noncommutative gauge invariance is not preserved separately in each diagram of the standard perturbative expansion ; rather , gauge invariance is achieved by an infinite resummation of diagrams @xcite .
finally , there is a sort of naturalness problem with the conventional approach in that the intrinsic dipole structure of the elementary field quanta is not completely clear , although some suggestive results have been obtained @xcite .    on the other hand , in the matrix formulation of noncommutative gauge theory ,
the noncommutative gauge invariance is manifest @xcite , as is the dipole character of the elementary quanta @xcite .
in fact , as shown in @xcite , the matrix approach allows for a clear separation between the quantum effects of uv and ir dipoles .
in particular , it was shown that one could make sense of wilsonian integration despite uv - ir mixing .
for example , the interactions that result from integrating out the uv states were explicitly calculated at both the one and two loop order .
the resulting interactions were found to dominate the long distance behavior , which shed some light on uv - ir mixing in noncommutative gauge theory , as well as the nonanalytic dependence of the quantum theory on the noncommutativity parameter , @xmath0 . for a different point of view on how the matrix formulation naturally leads to a bi - local representation ,
.    however , while some progress has been made , there are still many unanswered questions . for one thing ,
the analysis of @xcite was limited to perturbation theory , which generically breaks down due to strong quantum corrections .
although it was conjectured in @xcite that the perturbative analysis of the wilsonian quantum effective action is valid for supersymmetric theories whose uv behavior is softer , this remains to be proven .
furthermore , it is not even clear if noncommutative quantum theories are renormalizable , although there have been arguments for the affirmative @xcite .    in this work ,
we continue to develop noncommutative gauge theory in the matrix formulation . in section
ii , after reviewing the basic ingredients of the dipole interpretation and the matrix formulation of noncommutative gauge theory , we determine the general form of the gauge invariant perturbative corrections to the quantum effective action that result from integrating out uv states . based on this structure , we then show that the leading long distance interactions cancel at each order in perturbation theory for supersymmetric theories .
in section iii , we first discuss renormalizability in the context of nonsupersymmetric noncommutative theories and argue that , beyond one loop order , uv - ir mixing generally introduces divergences that spoil the consistency of the theory .
we are led to conjecture that only supersymmetric noncommutative theories that do not get renormalized beyond one loop can be consistent quantum mechanically .
we end with some discussion of our results and some concluding remarks .
the appendices contain a review of the important results of @xcite and some other technical details .
ultimately , we would like to further develop our intuition for how uv - ir mixing affects the quantum mechanical consistency of noncommutative gauge theories . to this end
, it will prove convenient to separate the degrees of freedom into an uv region , defined by momenta much greater than any other scale in the problem , and an ir region defined by all of the rest of momenta .
the strategy will be to first integrate out the uv modes in the wilsonian sense , and then to study the effective action in the ir regime . in this section
, we will discuss the general structure of perturbative corrections to the effective action resulting from integrating out uv states .    as discussed in @xcite , the structure of perturbative corrections
is strongly constrained by noncommutative gauge invariance , which is a much larger symmetry group than ordinary gauge symmetries .
in fact , gauge invariant quantities receive contributions from an infinite number of diagrams in terms of the conventional perturbative expansion . for this reason ,
it is most convenient to work in the matrix formulation of noncommutative gauge theory , which is manifestly gauge invariant .
the technical machinery useful for performing perturbative calculations in the matrix approach was developed in @xcite , although the main technical results from the matrix formulation , which will be used extensively in what is to follow , are briefly reviewed in appendix [ ap : review ] .
we will begin by recalling the interpretation of the matrix degrees of freedom in terms of dipoles , since this viewpoint is robust and will clearly generalize to all orders of perturbation theory .
the dipole interpretation follows naturally from the representation of the matrix degrees of freedom in terms of the noncommutative gauge group . as discussed in @xcite ,
the degrees of freedom of noncommutative gauge theory are represented as infinite dimensional hermitian matrices @xmath1 where @xmath2 are time - independent hermitian matrices satisfying the algebra of the noncommuting @xmath3-plane @xmath4=i\theta^{ij}{\rlap{1 } \hskip 1.6pt \hbox{1}}.\ ] ] the essential point is that @xmath5 lives in the adjoint representation of the group noncommutative @xmath6 which , as indicated by the tensor product structure of eq .
( [ eq : xmatrix ] ) , can be thought of as the product of ordinary groups @xmath7 .
the representations of the ordinary @xmath6 group will play the role of chan - paton factors joined to the ends of the dipoles , and their treatment will come naturally in our framework .
the crucial observation is that the adjoint representation of @xmath8 , furnished by functions of @xmath2 , should be thought of in
t  hooft double line notation . in this language
, the feynman diagrams that appear in the matrix formulation have a simple and intuitive interpretation in terms of dipole degrees of freedom : _ the double lines literally represent the spatial trajectory that is traced out by the endpoints of the dipole quanta as they propagate around the loops _ @xcite .    in order to demonstrate and reinforce this dipole picture , we shall review the results of explicit calculations and their interpretations @xcite .
for example , consider the one loop diagram    .
a simple matrix calculation gives an interaction term in the effective lagrangian proportional to @xmath9 where @xmath10 and @xmath11 are the numbers of bosonic and fermionic polarization states , respectively , and the rest of the notation is reviewed in appendix [ ap : review ] .
note that although we have discussed only gauge field degrees of freedom explicitly , fermions and other matter fields will generally contribute quantities of the same form as the pure gauge field calculation , but they will differ in the constant of proportionality as in eq .
( [ eq : trace ] ) above .
the @xmath12 factor that appears in the integrand of eq .
( [ eq : trace ] ) is familiar from field theory if we identify the momentum of the virtual quantum with @xmath13 .
in fact , this is precisely the relation between the center of mass momentum and the end points of the dipoles that is expected @xcite ! the most obvious consequence of this relation is that uv dipoles are long in spatial extent .
therefore , if we are to associate the double lines of the matrix diagrams with the ends of the dipoles , we should think of the one loop diagram above  stretched out " into a long thin cylinder as depicted in fig .
[ fig : cyli ] .
[ fig : cylinder ]   and @xmath14.,title="fig:",height=37 ]    the quantity @xmath15 which appears in eq .
( [ eq : trace ] ) is a gauge invariant functional of the low momentum background field that is well localized in space around @xmath16 , given the fact that we are only integrating out high momentum states , as discussed in @xcite .
evidently , we are to associate a trace , which produces the gauge invariant functional @xmath17 , to each boundary of the cylinder .
in fact , this leads to the connection between eq .
( [ eq : trace ] ) and the field theory diagrams that appear in the conventional perturbative expansion .
if we expand @xmath18 , then as discussed in @xcite , we identify the constant term as the contribution from field theory diagrams with no background field insertions on the corresponding boundary , while the term with nontrivial position dependence descends from diagrams that include background gauge field insertions on the corresponding boundary .
this interpretation is supported by the fact that @xmath19 for field configurations gauge equivalent to @xmath20 . using this reasoning
, we can conclude that the vacuum diagram , which involves no insertions on either boundary , is proportional to @xmath21 of course , this is just the expected result from field theory .
the contribution from diagrams with planar background field insertions vanishes because @xmath22 ; however , the nonplanar diagrams yield a nontrivial interaction term proportional to @xmath23 apparently , eq .
( [ eq : delta ] ) describes the instantaneous interaction between distant background fluctuations at @xmath24 and @xmath14 , as illustrated in fig .
[ fig : cyli ] .
in fact , this interaction term demonstrates the novel feature of noncommutative quantum field theories : uv dipoles grow long in spatial extent and mediate instantaneous long distance interactions , which is how we can think about uv - ir mixing .
however , it should be noted that , in the case of eq .
( [ eq : delta ] ) , the interactions grow strong at long distances because @xmath25 as discussed in @xcite , the strong interaction expressed in eq .
( [ eq : strong ] ) is due to the leading ir poles in external momenta that result from the uv region of loop integrals involving nonplanar background insertions .
the appearance of nonanalytic behavior in external momenta has also been discussed from the field theory perspective in @xcite . in the particular case of eq .
( [ eq : strong ] ) , we will require that @xmath26 so that this term vanishes and perturbation theory remains valid .
however , the appearance of strong ir corrections from the quantum effects of virtual uv states and their treatment in general will be a central theme of this work .
furthermore , as discussed in @xcite , it is important to realize that the one loop matrix calculation ( [ eq : trace ] ) gives only the leading term in a derivative expansion involving the background field .
the next to leading order one loop diagram involves two extra insertions of the background field strength    .    the contribution from this diagram
was shown to be of the form @xmath27\int\frac{d\omega}{2\pi } \widetilde{g}({\omega},{\theta}^{-1}x_{12})\widetilde{g}({\omega},{\theta}^{-1}x_{21})\nonumber,\end{aligned}\ ] ] where @xmath28 and @xmath29 are constants depending on the dimensionality and the matter content of the theory , as previously discussed .
notice that a nontrivial contribution from planar field theory diagrams is contained in the first term above .
we will discuss eq .
( [ eq : ntlo ] ) in much more detail in the next section , but for now , we shall just remark on its basic features . evidently , the field strength operators that were inserted into the matrix diagram above appear as operators attached to the end of wilson lines
. this structure seems to reinforce the correspondence between the boundaries of the matrix diagram and traces which lead to gauge invariant wilson lines . in general , higher order terms in the derivative expansion involve higher dimensional operator insertions into the loop diagram , and hence , the wilson lines .
however , the double trace structure and the corresponding interpretation in terms of long distance two - body interactions remains the same .
moreover , it is interesting that the appearance of the propagator @xmath30 in eq .
( [ eq : ntlo ] ) is again consistent with our field theory intuition .
higher loop diagrams , on the other hand , will involve more traces , and will therefore lead to multi - body interactions .
for example the leading two - loop contribution to the effective lagrangian comes from        @xmath31    .
note that we have not included the nonplanar matrix diagrams because their contribution to the wilsonian integration is exponentially suppressed due to moyal phase factors @xcite . as indicated by the double line diagrams above ,
the leading two - loop diagrams give triple trace contributions .
the first diagram gives an interaction term in the effective lagrangian proportional to @xcite @xmath32 + and , as calculated in appendix [ ap : twoloop ] , the second gives a term proportional to @xmath33 indeed , as expected based on our intuition , eqs .
( [ eq : threebody ] ) and ( [ eq : cubicthreebody ] ) describe long distance interactions that arise from high momentum dipoles growing large in spatial extent and `` stretching out '' the matrix diagrams , as depicted in fig .
[ fig : twolooppicture ] .
furthermore , these expressions bear a close resemblance to what is expected from ordinary field theory , and in fact , the general structure of perturbative corrections is starting to emerge .
to each boundary of the double line diagram we should associate a point in space and a trace which yields a gauge invariant wilson line .
the position dependence of the interaction strength between the wilson lines follows from an integral over frequencies with the integrand being given by a particular function of both the dipole frequencies and momenta as defined by the separation between the space points associated to the boundaries of the double line diagram .
in fact , the particular function of dipole frequencies and momenta corresponds precisely to the structure of momentum space field theory propagators that appear in the analogous process in ordinary field theory .
the subleading terms in the derivative expansion will have a similar trace structure but wilson lines modified to include higher derivative operator insertions as in eq .
( [ eq : ntlo ] ) .
naturally , the subleading terms will include a different function of dipole frequencies and momenta that reflects the extra propagators that are required by the operator insertions .
note that for dipole degrees of freedom , powers of momentum are equivalent to powers of separation , as discussed in @xcite and in appendix [ ap : review ] .
therefore , the inclusion of more powers of momentum in the denominator leads to faster falloff with distance , which is expected from subleading terms in a derivative expansion .
however , quantum corrections coming from higher loop orders are generally strong , as we will discuss in the next section .    of more importance to our immediate goal ,
is the determination of the form of the leading long distance interactions at each order in perturbation theory .
it is clear from the general structure discussed above that at @xmath34-loop order the leading long distance interactions will involve @xmath35 wilson lines with no operator insertions , such as eq .
( [ eq : trace ] ) in the case @xmath36 and both eq .
( [ eq : threebody ] ) and eq .
( [ eq : cubicthreebody ] ) in the case @xmath37 .
the crucial observation is that since the vacuum diagrams are contained in interactions of this form , as shown explicitly by eq .
( [ eq : vacuum ] ) in the one - loop case , these terms must vanish entirely if the vacuum diagrams vanish .
thus , _ in supersymmetric noncommutative theories , the leading long distance interactions must cancel at each order in perturbation theory_.
this statement is a generalization to all loop orders of the cancellation that we have discussed in the case of the leading one - loop interactions given by eq .
( [ eq : trace ] ) .
it reflects the fact that supersymmetric theories are softer in the uv , and hence , the ir behavior that is generated by uv - ir mixing is not as strong . in fact , the cancellation of the leading ir interactions occurs even in minimally supersymmetric theories .
the relation between the amount of supersymmetry and the cancellation of other terms has been discussed in @xcite from the field theory perspective , and we will touch on this important point as well in the next section .    in summary , we have determined the gauge invariant form of perturbative corrections to the wilsonian quantum effective action for noncommutative gauge theories .
it followed immediately from the structure of perturbation theory that the leading long distance interactions cancel order by order in the supersymmetric theories .
since nonsupersymmetric theories do not enjoy these cancellations , they are strongly coupled at long distances .
in fact , what we are beginning to discover is that noncommutative quantum theories are highly sensitive to the uv , which we will further explore in the next section .
in the previous section , we determined the gauge invariant form of the perturbative quantum corrections to the effective action that result from integrating out uv states . in this section
we will take a closer look at these perturbative corrections and their divergence properties .
in addition to the expected types of uv divergences , we will find new divergences that have dual uv and ir interpretations and for which there are no analogues in ordinary quantum field theories .
in fact , we will argue that these new uv - ir divergences , if they are allowed , will spoil the renormalizability of the theory . in the end , we will find that only supersymmetric theories with the softest uv behavior can be consistent quantum mechanically .    because it will set the ground work for the discussion of the more interesting supersymmetric case
, we will start this section by discussing divergences in the context of nonsupersymmetric noncommutative gauge theories .
we will begin with the familiar procedure of gauge coupling renormalization .
in fact , in this case , it will turn out that renormalizability is threatened already at the two loop level . to see how this happens
, we first recall from @xcite the form of the one - loop quantum correction to the gauge coupling .
the only candidate for this type of term is eq .
( [ eq : ntlo ] ) because it comes from a one - loop graph with two insertions of the field strength operator . to isolate the uv divergence in the planar diagrams
, we must use the splitting scheme @xmath18 and focus on the first term , as previously discussed .
the integral then factorizes into @xmath38}^{2}\right ) n\int\frac{d{\omega}d^{2p}p}{2\pi(2\pi)^{2p}}{\widetilde{g}(\omega , p)}^{2}.\end{aligned}\ ] ] this quantity is easily recognized as contributing to the renormalization of the operator @xmath39^{2}$ ] , as expected .
therefore , the one - loop quantum correction to the gauge coupling is proportional to the dimensionless quantity @xmath40 where we have restored the gauge coupling @xmath41 explicitly .
if we are to consistently absorb the one - loop correction ( [ eq : gaugerenorm ] ) into a new quantum corrected gauge coupling , we must find the same quantity at higher loops correcting each factor of @xmath41 that appears .
otherwise , renormalizability will be threatened , because we will be forced to introduce new couplings into the effective lagrangian in order to cancel all of the resulting divergences . however
, in our conventions , the dependence on the gauge coupling is particularly simple  powers of @xmath41 count the number of loops .
thus , powers of the gauge coupling only appear multiplying the loop corrections ; the wilson lines , which encode the background gauge field insertions into the loops , are independent of the coupling .
therefore , to test renormalizability of the gauge coupling at the two loop order , we should look for a term of the form @xmath42 because it corresponds to the one - loop correction to @xmath41 given by eq .
( [ eq : gaugerenorm ] ) multiplying the leading one - loop interaction ( [ eq : trace ] ) .    in order to find this sort of term
, we consider the leading two - loop interactions . as discussed in appendix [ ap : twoloop ] , these contributions can be combined into the form of eq .
( [ eq : threebody ] ) .
it is now straight forward to isolate the divergent quantum corrections to the two - body interactions .
the constant term in either @xmath43 or @xmath44 gives @xmath45 apparently , eq .
( [ eq : propcorrection ] ) involves the leading one - loop uv divergent contribution to the mass term of the field theory propagator @xmath30 appearing in eq .
( [ eq : trace ] ) .
in fact , this type of correction is familiar from ordinary quantum field theories .
however , it will turn out that in the supersymmetric theories of ultimate interest to us , corrections of this form will not appear . in any case , eq .
( [ eq : propcorrection ] ) is not the term we are looking for , so we move on .
the only other candidate for the appearance of eq .
( [ eq : required ] ) in the leading order two - loop diagrams is the interaction that comes from the constant term of @xmath46 @xmath47 needless to say , eq .
( [ eq : twoloopcorrection ] ) is not the term we need either ; thus , the renormalizability of the gauge coupling is threatened already at the two - loop order .
however , a closer look at eq .
( [ eq : twoloopcorrection ] ) reveals an entirely new problem facing the renormalizability of noncommutative theories that we will now discuss .    evidently , eq .  (
[ eq : twoloopcorrection ] ) represents a two - loop quantum correction to the leading one - loop two - body interaction ( [ eq : trace ] ) . the growth in @xmath48 of the interaction strength of eq .
( [ eq : twoloopcorrection ] ) is given by @xmath49 clearly , eq .
( [ eq : intcorrection ] ) is uv divergent for @xmath50 , so we must introduce an uv cutoff @xmath51 .
the integral can now be calculated in a straight forward fashion and the leading dependence on separation goes as @xmath52 .
however , since there is no two - body interaction that grows as @xmath53 at one loop , this logarithmic divergence can not be absorbed into the gauge coupling .
therefore , a new coupling for a two - body interaction of the form @xmath54 must be introduced into the effective lagrangian so that the divergence in eq .
( [ eq : twoloopcorrection ] ) can get cancelled .    although one can arrange for the cancellation of divergent corrections to any interaction strength by continuing to introduce new interactions with divergent couplings , as above
, it is not hard to see that this procedure is a serious threat to the renormalizability of the theory . to see this , we need only note that , at higher orders , there will be quantum corrections to the interaction strengths that come in the form of powers of the dimensionless quantity @xmath55 therefore , to cancel all of the divergences that appear in the various powers of ( [ eq : running ] ) , we would have to introduce an infinite number of new interactions
the reason is that there are an infinite number of distinct functions of @xmath56 that can appear , each requiring a different interaction term with its own coupling in order to cancel the required divergences in the effective lagrangian .
thus , it seems that divergent corrections to the interaction strength between wilson lines , a new feature of noncommutative theories having no analogue in ordinary quantum field theories , will generally spoil the renormalizability of the theory .
a crucial assumption in the argument above is that if divergent quantum corrections to interaction strengths occur at the two - loop order , they will appear at all higher orders as well .
in fact , this is easy to see graphically by recalling the relation between matrix diagrams and field theory diagrams . using the correspondence that we discussed earlier in section
ii , we find that eq .
( [ eq : twoloopcorrection ] ) descends from the leading order terms in the external momenta expansion of field theory diagrams of the form        and    .
evidently , the dangerous divergences are not due to planar subdiagrams , which have the standard uv interpretation , but are due to purely nonplanar field theory diagrams .
we will develop more understanding for what this means in the moment , but for now let us note that higher order graphs of this type exist at each loop order in perturbation theory .
for example , fig .
[ fig : threeloop ] depicts some three - loop field theory diagrams that give rise to divergent quantum corrections to three - body and two - body interactions .
thus , dangerous corrections to interaction strengths that first appear at some given order in perturbation theory will receive quantum corrections from all higher loop orders , generating corrections in the form of powers of ( [ eq : running ] ) .
however , by the arguments above , the divergences appearing in powers of eq .
( [ eq : running ] ) will inevitably spoil renormalizability .
therefore , any renormalizable noncommutative theory can not allow the leading order terms in the derivative expansion , which as we have seen , contain these dangerous corrections .
we are forced to conclude that _ only supersymmetric noncommutative theories can be renormalizable _ since , in this case , the leading order interactions always vanish .    before discussing the supersymmetric theories ,
let us take some time to understand the nature of the dangerous divergences by recasting them into the form of momentum integrals .
for example , consider the transformation of eq .
( [ eq : twoloopcorrection ] ) to momentum space @xmath57 we can first perform the integrals over @xmath58 and @xmath59 by introducing a schwinger parameter and an uv cutoff @xmath51 , as in @xcite . then the integral over @xmath60 and @xmath61 is regular , and we are left with a quantity proportional to @xmath62 now the @xmath63 limit results in an ir divergence instead of an uv divergence , and @xmath64 plays the role of an ir cutoff ! the transform back into position space just gives the same correction to the interaction strength that we have already determined directly from eq .
( [ eq : intcorrection ] ) .
apparently , these types of divergences have a dual uv - ir interpretation . the origin of this duality can be traced to the moyal phase factor @xmath65 in eq .
( [ eq : moyal ] ) , which represents the nonplanarity of the background insertions and gives rise to uv - ir mixing .
in particular , the uv loop integrals over virtual states , labelled by momenta @xmath59 and @xmath61 , produce nonanalytic dependence on the background momentum @xmath66 that becomes important in the ir .
thus , on one hand , the divergence comes from integrating over uv states , but on the other hand , the divergence cast be recast into the form of an ir singular fourier transform .    actually , as discussed in @xcite , this type of uv - ir mixing
has a simple interpretation in terms of dipole degrees of freedom : the separation between the endpoints of the dipoles is the dual variable to the external momenta @xmath66 ; therefore , the ir singular fourier transform gives rise to corrections to interaction strengths which grow strong with large separation ; but , since powers of separation are equivalent to powers of dipole momentum , these strong corrections can also be thought of as arising from uv divergences in the theory .
thus , the dipole intuition that emerges from the matrix formulation seems to shed new light on the proposal of @xcite concerning the dual interpretation of divergences due to nonplanar diagrams .
in fact , at this point , let us take an aside to remark on the virtues of the matrix formulation of noncommutative gauge theory .
first of all , the matrix degrees of freedom naturally encode the elementary dipole structure of the field quanta , and hence , the essence of uv - ir mixing .
this is a very convenient aspect of the matrix approach , which leads to great conceptual clarity in the physics of noncommutative quantum theories , as we have seen . perhaps , the most important advantage of the matrix description , however , is the manifest nature of the noncommutative gauge invariance .
this crucial property allows us to distinguish between various long distance interactions , which in turn , forms the basis for our interpretation of the uv - ir divergences that appear in the theory .    back to the issue of divergences in supersymmetric noncommutative theories ,
we now consider interactions that are of next to leading order in the derivative expansion .
as we have discussed , these are the lowest order terms that do not generally vanish in the case of supersymmetric theories .
however , we will find that uv - ir divergences do generally occur in the next to leading order interactions , and therefore , supersymmetric theories generally suffer from uv - ir divergences , as well .
for example , as derived in appendix  [ ap : ntlotl ] , the next to leading order two - loop interactions include dangerous terms such as eq .
( [ eq : dangerous ] ) , which contain a quantum correction to the interaction strength of eq .
( [ eq : ntlo ] ) that goes as @xmath67 following an analysis parallel to the one above for eq .
( [ eq : intcorrection ] ) , it is straight forward to show that uv - ir divergences appear in eq .
( [ eq : div ] ) for @xmath68 ( note that by @xmath59 equal to a half - integer we really mean that , in addition to @xmath69 noncommutative two - planes , there is an additional commutative spatial direction .
the proper way to include this case in our analysis is to let @xmath59 remain the integer valued number of noncommutative two - planes and replace @xmath70 with @xmath71 to represent the two commuting spacetime directions .
all of the conclusions that we have drawn up to this point are true also in the case when the space dimensionality is odd ) .
furthermore , the graphical argument that we employed earlier in the case of the leading order interactions , can be easily generalized to include the next to leading order terms in the derivative expansion .
we need only consider adding higher derivative operator insertions in the matrix framework or , in the field theory picture as in fig .
[ fig : threeloop ] , taking the next to leading order terms in the expansion in external momenta . in any case
, we are forced to conclude that if dangerous uv - ir terms appear at two loops , then there will be more dangerous quantum corrections that emerge from all higher loop orders .
therefore , if eq .
( [ eq : dangerous ] ) appears in @xmath72 dimensions or higher , uv - ir divergences will proliferate and renormalizability will fail .    in order to determine what corrections
are allowed by supersymmetric theories , let us take some time to discuss the proportionality constants that we have so far ignored .
this will be fruitful because we will find that the nonrenormalization theorems enjoyed by ordinary supersymmetric theories have a natural extension to noncommutative theories .
we can then use these nonrenormalization theorems to show that @xmath72 dimensional noncommutative theories with a sufficiently high degree of supersymmetry do not allow uv - ir divergences , and therefore , renormalizability does not face any obvious obstruction in these special theories .
we begin by considering the content of the matrix diagrams from a field theory point of view .
first of all , the double line matrix diagrams themselves only contain information pertaining to the contraction of gauge indices , which encodes the planarity and nonplanarity of both the external operator insertions and the internal propagators .
thus , the double line diagrams contain purely topological information , not specific to any particular gauge theory  ordinary or noncommutative . in terms of the framework that we have discussed up to this point , this topological information only fixes the ratio of coefficients between terms with a similar propagator structure but different wilson line structure .
for example , @xmath73 is fixed by topological considerations , as are both @xmath74 and @xmath75 . furthermore , the coefficients coming from nonplanar matrix diagrams , which we have not discussed here , are fixed relative to the coefficients of the corresponding planar diagrams ( note that factors of @xmath76 are contained in the traces of the wilson lines , not the coefficients that we are referring to )
. however , topological quantities , such as the ratio between coefficients , are independent of any characteristic specific to the theory in question such as the field content , the allowed couplings between fields , and whether the theory is noncommutative or not .
although the ratios of certain coefficients are topological quantities , independent of the theory in question , the coefficients coming from planar and nonplanar matrix diagrams involving a similar propagator structure all share a common normalization factor that depends on the number and type of modes that propagate around the loops . thus , the overall normalization factor does depend on characteristics specific to a particular theory , such as the field content , the allowed couplings between fields , and the coupling constants .
however , the noncommutativity of the theory enters only through the moyal phase factors inside the momentum integrals of nonplanar field theory diagrams ; noncommutativity does not affect the coefficient outside the integral .
it follows that a given coefficient in a particular noncommutative gauge theory is identical to the same coefficient in the corresponding ordinary gauge theory .
after all , with the exception of moyal phase factors in the the noncommutative theories , the contraction of fields is the same in both cases .
therefore , _ the nonrenormalization theorems of ordinary supersymmetric theories generalize immediately to noncommutative supersymmetric theories_.    as an application of this useful result , let us return to the problem of dangerous uv - ir divergent terms in the next to leading order two - loop contribution to the quantum effective action , which are given by eq .
( [ eq : dangerous ] ) . according to our reasoning above , @xmath77 , @xmath78 , and @xmath79
are all proportional to the two - loop contribution to the beta function .
therefore , we can guarantee their vanishing by imposing @xmath80 supersymmetry in @xmath72 dimensions . in this case , the dangerous two - loop interactions cancel , as do all higher loop corrections . moreover , the two - loop terms given by eq .
( [ eq : leading ] ) cancel because no mass terms are allowed to appear perturbatively , given any amount of supersymmetry .
thus , renormalizability for @xmath72 dimensional noncommutative gauge theories requires at least @xmath80 supersymmetry , in which case the next to leading order interactions are restricted to the one - loop result given by eq .
( [ eq : ntlo ] ) , along with the two - loop terms containing the one - loop correction to the gauge coupling ( [ eq : beta ] ) . in the case of @xmath81 supersymmetry
, none of the next to leading order interactions are allowed what so ever .
moreover , it is also worth mentioning that @xmath82 supersymmetry also implies that most , if not all , of the next to leading order nonplanar matrix diagrams cancel as well .
the reason is that , as we have discussed , the coefficients of these contributions differ from their planar counterparts only by a combinatoric factor .
thus , the only next to leading order nonplanar remnant is        which is proportional to the one - loop beta function .
of course , all of the leading order nonplanar diagrams cancel , given any amount of supersymmetry .
the advantage of eliminating the leading and next to leading order nonplanar matrix diagrams , is that they are divergent when the wilsonian cutoff is removed .
in fact , these divergences resulting from the ir region of integration in nonplanar loop integrals , have posed a major challenge to our understanding of the quantum effects of ir states in noncommutative theories .
therefore , it is fortunate that renormalizability of uv quantum fluctuations turns out to also constrain most of these ir divergences to vanish as well .
although a thorough treatment of the quantum effects of ir states is beyond the scope of this work , it seems that our results here are already a help in this direction .
while we have shown that @xmath82 supersymmetry is sufficient to prevent uv - ir divergences from appearing in diagrams containing two insertions of the field strength , we should still worry about dangerous terms appearing from diagrams involving other operator insertions .
for example , all orders of wave function renormalization for matter hypermultiplets is generally allowed by @xmath80 theories , although @xmath81 theories do not allow any renormalization at all .
therefore , @xmath80 gauge theories generally involve new uv divergences at each loop order , which will inevitably lead to the proliferation of dangerous uv - ir divergences via uv - ir mixing .
after all , the divergent integral @xmath83 that appears embedded in both eqs .
( [ eq : intcorrection ] ) and ( [ eq : div ] ) will certainly appear at two loops and beyond in diagrams containing the insertion of any marginal operator , unless new divergences beyond one loop are not allowed .
thus , divergent quantum corrections beyond one loop are inherently dangerous in noncommutative theories .
we are led to conjecture that _ the only renormalizable , and hence , quantum mechanically consistent noncommutative gauge theories are supersymmetric and do not require renormalization beyond the one loop order_. it is striking how strong this statement is .
apparently , noncommutative quantum theories are extremely sensitive to the uv , and only the softest uv behavior can be tolerated . in particular ,
the allowed @xmath84 dimensional theories include any supersymmetric gauge theory , and the allowed @xmath72 dimensional theories include both @xmath80 and @xmath81 noncommutative super yang - mills ( ncsym ) theories plus some @xmath80 gauge theories that include matter hypermultiplets in special representations .
it is interesting that @xmath85 supersymmetry , or even @xmath80 in most cases , does not appear to be enough to render @xmath72 dimensional noncommutative gauge theories renormalizable .
moreover , it is tempting to extend our conjecture to noncommutative theories other than gauge theories .
after all , the intuition that we have gained appears to be quite generic and most likely applies to any noncommutative theory .
for example , it seems unlikely that noncommutative scalar theory is consistent quantum mechanically , when nonsupersymmetric gauge theories are not .
it even seems reasonable that renormalizability could fail in @xmath85 and @xmath80 supersymmetric noncommutative theories that do not include gauge degrees of freedom , in light of the fact that any extra hypermultiplets of matter that are added to @xmath80 ncsym theory must form special representations which do not allow wave function renormalization , so as not to spoil the theory .
nonetheless , arguments have been put forward for the renormalizability of many noncommutative theories that are excluded by our conjecture @xcite .
although , these works have involved different approaches which have encoded uv - ir mixing in one way or another , none have employed a manifestly dipole construction such as the matrix formulation .
since the dipole behavior of the elementary quanta is the fundamental origin of uv - ir mixing in noncommutative theories , it seems that the physical interpretation that naturally emerges from the matrix approach is the most reliable .
we believe that this is a tremendous advantage when discussing renormalizability , because traditionally , the proper treatment of divergences has resulted from a sound physical interpretation for their meaning .
of course , the physical content of noncommutative theories is independent of the language used to discuss them ; we are simply suggesting that the physics is more clear in the matrix representation . in any case
, the difference between our work and @xcite is the interpretation and treatment of the dual uv - ir divergences that occur in noncommutative quantum theories .    before closing this section ,
let us make a few comments concerning the scope of our results from the perspective of string theory .
our analysis has been limited to noncommutative gauge theories , and given these dipole degrees of freedom , we have shown that both a sufficiently high degree of supersymmetry and low spacetime dimensionality is necessary to ensure the quantum mechanical consistency of the theory . however
, this result does not imply that other degrees of freedom can not be added to the theory to give a consistent uv completion .
for example , @xcite shows that there is an uv completion of some higher dimensional ncsym theories in the form of noncommutative open string theories , in which the closed string sector has decoupled but there are still stringy modes from the open string sector that remain .
yet another distinct possibility is that , in the case of theories with a lesser degree of supersymmetry , there could be some closed string modes that survive the decoupling limit and render the theory consistent @xcite .
the point is that any noncommutative theory that emerges from a decoupling limit of string theory will be consistent ; our results only imply that the decoupled theory can conceivably be a noncommutative gauge theory in only very special cases .
string theory aside , however , the renormalizability of noncommutative quantum field theories is interesting in its own right .
in this work , we have continued to develop noncommutative gauge theory in the matrix formulation . after reviewing the dipole interpretation of the matrix approach
, we determined the general gauge invariant form of perturbative corrections to the quantum effective action that result from integrating out uv states .
we then studied the divergence structure of these quantum corrections , which revealed new divergences , having dual uv and ir interpretations , that are unique to noncommutative theories .
these uv - ir divergences , which appear at two loops and beyond , were found to represent dangerous quantum corrections that generally spoil the renormalizability of the theory .
thus , we were led to conjecture that only supersymmetric noncommutative theories that do not receive quantum corrections beyond one - loop are renormalizable , and hence , quantum mechanically consistent .
furthermore , beyond specific results concerning renormalizability , it is interesting that the consequences of uv - ir mixing in noncommutative quantum theories so profoundly affect the long distance behavior : in @xmath72 dimensions or higher , uv quantum corrections generally introduce new long distance interactions that grow stronger and stronger , even if the gauge coupling is small . in the end ,
the lesson that we learn is that noncommutative quantum theories exhibit an extreme sensitivity to the uv , such that only the softest uv behavior can be tolerated .
however , there still remain a number of open questions concerning noncommutative quantum field theories . perhaps , the most glaring omission in our understanding is the nature of quantum effects due to ir states in the theory .
this important problem represents an interesting avenue to pursue in future studies .
in particular , it would be very satisfying if both the uv and ir dynamics could be encoded together in a unified framework .
surely , this would shed some more light on the fascinating structure of noncommutative theories .
we thank li  jiang , sonia  paban , and willy  fischler for many stimulating discussions .
this work was supported by nsf grant phy-0071512 .
for an introduction to the formulation of field theories on noncommutative spaces , see @xcite , and for a complete review of the matrix formulation of noncommutative gauge theory , see @xcite . here
we will review only the main results that we will need for the calculations that appear in this work .
furthermore , we will focus only on the treatment of the gauge degrees of freedom , the generalization to matter fields , including fermions , being obvious .
the basic idea of the matrix formulation is that the degrees of freedom are contained in infinite dimensional time dependent hermitian matrices @xmath86 and @xmath5 . in order to separate the quantum effects from uv and ir states
, it will prove convenient to work in the background field gauge . in this approach
, we expand the fields @xmath87 and @xmath88 where the background fields , @xmath89 and @xmath90 , are interpreted as the low momentum degrees of freedom , while the fluctuating fields , @xmath91 and @xmath92 , contain the high momentum degrees of freedom . to make the connection with noncommutative gauge theory
, we think of @xmath93 and @xmath94 where @xmath2 are infinite dimensional time - independent hermitian matrices satisfying the algebra of the noncommuting @xmath3 plane @xmath4=i\theta^{ij}{\rlap{1 } \hskip 1.6pt \hbox{1}}.\ ] ]    after a suitable choice of gauge fixing , which includes setting @xmath95 , the lagrangian takes the form @xmath96 where @xmath97[b^{i},b^{j}]\right ) ; \nonumber\\ l_2 & = & { \rm tr}\left(\frac{1}{2}\dot{y}^{j2}+\frac{1}{2}[b^{i},y^{j}]^{2}-\frac{1}{2}{\dot{a}}^{2}-\frac{1}{2}[b^{i},a]^{2}+\dot{\bar{c}}\dot{c } \right .
\nonumber\\   & & \left.{}+[b^{i},\bar{c}][b^{i},c]+[b^{i},b^{j}][y^{i},y^{j}]-2i\dot{b}^{i}[a , y^{i } ] \right ) ; \nonumber\\ l_3 & = & { \rm tr}\left([b^{i},a][a , y^{i}]+[b^{i},y^{j}][y^{i},y^{j}]+[b^{i},\bar{c}][y^{i},c ] \right .
\nonumber\\   & & \left.{}-i{\dot{y}}^{i}[a , y^{i}]-i\dot{\bar{c}}[a , c ] \right ) ; \nonumber\\ l_4 & = & { \rm tr}\left(\frac{1}{4}[y^{i},y^{j}][y^{i},y^{j}]-\frac{1}{2}[a , y^{i}]^{2}\right).\end{aligned}\ ] ] + notice that we have neglected the linear term in the fluctuating fields , which generically , is not consistent because we expect that uv quantum corrections will contribute to the dynamics of the background field through tadpoles and other effects resulting from the linear interactions . in the language of perturbation theory ,
this amounts to corrections that are both higher order in the gauge coupling and higher order in derivatives of the background field .
therefore , in order to consistently ignore the linear term , we must require both that the coupling is sufficiently weak so that the loop corrections are suppressed and that the states we integrate out are of sufficiently high momenta relative to the scale set by the background so that the higher derivatives are suppressed , as well .
we will find that both of these conditions are met in our approach , so for simplicity sake , we have neglected the linear interactions .    moving along , from @xmath98
, we see that up to commutators and time derivatives of the background fields , all of the fluctuating fields , @xmath99 , have similar quadratic terms of the form @xmath100^{2}\right)\\ & & = \frac{1}{2}\phi^{t}\left(-{\rlap{1 } \hskip 1.6pt \hbox{1}}\otimes { \rlap{1 } \hskip 1.6pt \hbox{1}}\frac{d^{2}}{dt^{2}}+(b^{i}\otimes { \rlap{1 } \hskip 1.6pt \hbox{1}}-{\rlap{1 } \hskip 1.6pt \hbox{1}}\otimes b^{i})^{2}\right).\nonumber\end{aligned}\ ] ] for both consistency with the neglect of the linear terms in the fluctuating fields , as discussed above , and convenience in the definition of the propagator for the fluctuating fields , we will treat the commutator and time derivative terms perturbatively while absorbing the remaining background field dependence into the definition of the propagator . as discussed in @xcite
, this choice corresponds to a derivative expansion of the background field , which makes sense because we will only integrate out high momentum states .
to lowest order in the derivative expansion , the propagator for the high momentum modes is @xmath101 where @xmath102 is the momentum space field theory propagator for a massless bosonic state and @xmath103 is the inverse spatial metric , which we will discuss at the end of this section .
were we dealing with fermions instead of bosons , we would simply replace @xmath104 above with the appropriate propagator for fermi fields .    as discussed in @xcite , eq .
( [ eq : prop ] ) manifestly describes dipole degrees of freedom whose transverse length is proportional to their center of mass momentum .
in particular , the identification is that @xmath16 and @xmath105 are the endpoints of the dipole in space , and the center of mass momentum is given by @xmath106 .
it is also important to understand that there is a lower cutoff on the integrals over @xmath107 and @xmath16 , which reflects the fact that the wilsonian integration is only performed over states of high energy and momentum compared to the background .    in practicality ,
when we perform calculations , we frequently encounter traces of the form @xcite @xmath108 + where @xmath109 is some operator in the adjoint representation of the gauge group .
we immediately recognize this object as an open wilson line with @xmath110 attached at the end .
in fact , this structure was essentially guaranteed by the noncommutative gauge invariance @xcite .
furthermore , we will also frequently encounter the fourier transform of the open wilson lines above , which we shall denote @xmath111 + finally , we should mention that we are using a convention of units in which @xmath112 .
this convention could potentially lead to some unfamiliar notions of dimension .
what is more , the situation is further complicated by the fact that the inverse spatial metric is @xmath113 .
nonetheless , the quantities that will appear in our calculations will all have simple physical interpretations .
the rule to follow is that the magnitude squared of distance @xmath114 has dimensions of _ energy _ squared .
the reason is that @xmath115 where we have used the relation between the center of mass momentum and the position of the end points of the dipole quanta @xmath116 .
likewise , by the same argument , the magnitude squared of momenta has dimensions of length squared .
the leading two - loop contribution to the effective action comes from treating the interaction terms in @xmath117 to first order in perturbation theory and the interaction terms in @xmath118 to second order . in @xcite , the contribution from both the @xmath117 terms as well as the time derivative terms in @xmath118
was computed . in this section , we will comput the contribution to the effective action from the remaining terms in @xmath118 , which can be represented schematically as @xmath119[\phi,\phi](t_1)\right)\nonumber\\ & & \qquad\qquad\times\int dt_2 \rm{tr}\left([b,\phi][\phi,\phi](t_2)\right)\rangle,\end{aligned}\ ] ] where @xmath120 is the low momentum background field and @xmath121 represents the high momentum fluctuating fields to be integrated out .
the angled brackets denote the vacuum expectation value , which in our background field language , is the product of the expectation value of the low momentum  background fields " and the expectation value of the high momentum  fluctuating fields " . since we are working in the wilsonian scheme , we evaluate only the latter quantity and think of the residual expression involving an expectation value of background fields as originating from an effective lagrangian of background fields only .    furthermore , in the evaluation of eq .
( [ eq : expect ] ) , we neglect the tadpole contractions , although generally , there will be tadpole contributions from the linear interaction term in the lagrangian as well as both the cubic and quartic interaction terms . however , the linear terms are suppressed by higher derivatives of the background as we have already discussed in appendix  [ ap : review ] , and in the supersymmetric theories that are ultimately of interest to us , the tadpoles from interaction terms cancel as well . after a straight forward but somewhat tedious calculation , up to subleading time derivative and commutator terms we have    @xmath122.\end{aligned}\ ] ]    since we only integrate out states with high energy and momentum , time derivatives and commutators involving the background field are suppressed . therefore ,
to lowest order , we obtain @xmath123 after performing the integral over @xmath124 and @xmath125 and integrating by parts in the @xmath66 integrals .
note that we have dropped the single trace term , since as discussed in @xcite , it corresponds to a nonplanar matrix diagram , which is suppressed in the domain of wilsonian integration . finally , upon fourier transforming back to position space , we are left with @xmath126    we can now combine the above expression with the result that was calculated in @xcite to obtain the leading two - loop contribution from the second order treatment of all of the cubic interactions in @xmath118 .
we get a result proportional to @xmath127 note that we have used the @xmath128 symmetry that is present in the vacuum diagrams in order to determine that the integrand of the combined expression can only depend on the invariant product @xmath129 . with this factor
present in the integrand , as in the commutative theories , the two - loop cubic interactions given by eq .
( [ eq : totaltwoloop ] ) can be reduced to the form of eq .
( [ eq : threebody ] ) .
as in the next to leading order one - loop calculation , to get the precise result we must retain higher order commutators and time derivatives that were dropped in the derivation of the matrix propagator ( [ eq : prop ] ) as well as the field strength terms in @xmath98 that were also excluded from the the propagator @xcite . however , after developing some intuition in section ii for the structure of terms that can appear , a lengthly calculation is not necessary .
we simply need to keep track of all the distinct possibilities in which the field strength insertions can appear in the diagrams .
for example , in the case of the quartic diagram , both insertions can go into one loop or each loop can get a single insertion            of course , each insertion requires an extra field theory propagator to appear in the corresponding loop , and for each loop , there are two boundaries in which the insertion can go .
therefore , the first diagram corresponding to both insertions going into the same loop contributes two terms @xmath130,\nonumber\end{aligned}\ ] ] while the second diagram corresponding to one insertion going into each loop contributes three terms @xmath131.\nonumber\end{aligned}\ ] ]    there are many more possibilities in the case of the cubic graph . for simplicity , we will enumerate them in four propagator form , which is obtained after the cancellation of one propagator by the momenta in the numerator of the integrand ( see eq .
( [ eq : totaltwoloop ] ) ) .
it is not difficult to see that there are three combinations of field theory propagators that emerge : the first is similar to eq .
( [ eq : leading ] ) , the second is similar to eq .
( [ eq : beta ] ) , and the third is given by @xmath132.\nonumber\end{aligned}\ ] ]    let us now discuss the meaning of these expressions in the context of supersymmetric theories .
first of all , consider the terms of the form eq .
( [ eq : leading ] ) .
the planar subdiagram corresponding to the constant term of @xmath44 , contributes one - loop divergent mass corrections to the propagators appearing in eq .
( [ eq : ntlo ] ) . as discussed in section iii , in supersymmetric theories , contributions of this type
will always cancel .
another obvious group is the combination given by eq .
( [ eq : beta ] ) . by isolating the constant term of @xmath44
, we recover the uv divergent one - loop correction to the gauge coupling that multiplies eq .
( [ eq : ntlo ] ) . of course
, these types of corrections are required by renormalizability and pose no threat to the consistency of the theory . moreover ,
the constant term of @xmath46 gives rise to a benign quantum correction to the @xmath133 interaction in eq .
( [ eq : ntlo ] ) .
finally , we arrive at the dangerous group of terms given by eq .
( [ eq : dangerous ] ) .
although , the constant term of @xmath44 gives a harmless quantum correction to the interaction strength of eq .
( [ eq : ntlo ] ) , the constant term of @xmath46 leads to the same type of dangerous uv - ir divergent correction that was discussed at length in section iii .
therefore , renormalizability demands that these contributions vanish .
n.  seiberg and e.  witten , j. high energy phys .
* 09 * , 032 ( 1999 )
. m.  m.  sheikh - jabbari , phys .
b * 455 * , 129 ( 1999 ) ; d.  bigatti and l.  susskind , phys .
d * 62 * , 066004 ( 2000 ) ; z.  yin , phys .
b * 466 * , 234 ( 1999 ) ; h.  liu and j.  michelson , phys .
d * 62 * , 066003 ( 2000 ) .
s.  minwalla , m.  van raamsdonk and n.  seiberg , j. high energy phys . * 02 * , 020 ( 2000 ) .
martin and d.  sanchez - ruiz , phys .
lett . * 83 * , 476 ( 1999 ) ; t.  krajewski and r.  wulkenhaar , int . j. mod
a * 15 * , 1011 ( 2000 ) .
martin and f.r .
ruiz , nucl .
b597 * , 197 ( 2001 ) .
i.  chepelev and r.  roiban , j. high energy phys . * 05 * , 037 ( 2000 ) ; h.  grosse , t.  krajewski , and r.  wulkenhaar ; h.  girotti , m.  gomes , v.  rivelles , and a.  da  silva , nucl . phys . *
b587 * , 299 ( 2000 ) ; i.  chepelev and r.  roiban , j. high energy phys . * 03 * , 001 ( 2001 ) ; a.  bichl , _ et al _ , j. high energy phys . * 06 * , 013 ( 2001 ) ; s.  sarkar , j. high energy phys . * 06 * , 003 ( 2002 ) . m.  hayakawa , phys . lett .
b * 478 * , 394 ( 2000 ) .
ruiz , phys .
b * 502 * , 274 ( 2001 )
. v.  v.  khoze and g.  travaglini , j. high energy phys . * 01 * , 026 ( 2001 ) .
l.  griguolo and m.  pietroni , j. high energy phys .
* 05 * , 032 ( 2001 ) .
g.h .  chen and y.s .
yu , nucl . phys . *
b622 * , 189 ( 2002 ) .
y.  kiem , s.  lee , s.  j.  rey and h.  t.  sato , hep - th/0110215 ; y.  kiem , s.  j.  rey , h.  t.  sato and j.  t.  yee , phys .
d * 65 * , 026002 ( 2002 ) ; hep - th/0107106 ; y.  kiem , s.  s.  kim , s.  j.  rey and h.  t.  sato , hep - th/0110066 .
a.  armoni and e.  lopez , nucl
* b632 * , 240 ( 2002 ) . h.  liu and j.  michelson , nucl . phys . *
b614 * , 279 ( 2001 ) ; h.  liu , _ ibid_. * b614 * , 305 ( 2001 ) . m.  van  raamsdonk , j. high energy phys . *
11 * , 006 ( 2001 ) .
l.  jiang and e.  nicholson , phys
d * 65 * , 105020 ( 2002 ) .
s.  iso , h.  kawai , and y.  kitazawa , nucl .
b576 * , 375 ( 2000 ) .
n.  ishibashi , s.  iso , h.  kawai and y.  kitazawa , nucl .
* b573 * , 573 ( 2000 ) ; s.  j.  rey and r.  von  unge , phys .
b * 499 * , 215 ( 2001 ) ; s.  das and s.  j.  rey , nucl .
b590 * , 453 ( 2000 ) ; d.  gross , a.  hashimoto and n.  itzhaki , adv .
phys . * 4 * , 893 ( 2000 ) .
n.  seiberg , j. high energy phys . *
09 * , 003 ( 2000 ) .
a.  matusis , l.  susskind and n.  toumbas , j. high energy phys .
* 12 * , 002 ( 2000 ) .
d.  zanon , phys .
b * 502 * , 265 ( 2001 ) .
r.  gopakumar , s.  minwalla , n.  seiberg , and a.  strominger , j. high energy phys . * 08 * , 008 ( 2000 ) .
a.  rajaraman and m.  rozali , j. high energy phys . * 04 * , 033 ( 2000 ) .
r.  gopakumar , s.  minwalla and a.  strominger , j. high energy phys . * 05 * , 020 ( 2000 ) .