general relativity and ordinary differential geometry should be replaced by non - commutative geometry at some point between the currently accessible energies of about 1 - 10 tev ( after starting the large hadron collider ( lhc ) at cern ) and the planck scale , which is @xmath2 times higher , where space - time and gravity should be quantized .
this could occur either at the planck scale or below .
quantum field theory on a non - commutative space - time ( ncqf ) could very well be an intermediate theory relevant for physics at energies between the lhc and the planck scale .
it certainly looks intermediate in structure between ordinary quantum field theory on commutative @xmath3 and string theory , the current leading candidate for a more fundamental theory including quantized gravity .
ncqft in fact appears as an effective model for certain limits of string theory @xcite .    in joint work with r. gurau , j. magnen and f. vignes - tourneret @xcite , using direct space methods , we provided recently a new proof that the grosse - wulkenhaar scalar @xmath4 theory on the moyal space @xmath5 is renormalisable to all orders in perturbation theory .
the grosse - wulkenhaar breakthrough @xcite was to realize that the right propagator in non - commutative field theory is not the ordinary commutative propagator , but has to be modified to obey langmann - szabo duality @xcite .
grosse and wulkenhaar were able to compute the corresponding propagator in the so called `` matrix base '' which transforms the moyal product into a matrix product .
this is a real _ tour de force _ !
they use this representation to prove perturbative renormalisability of the theory up to some estimates which were finally proven in @xcite .
our direct space method builds upon the previous works of filk and chepelev - roiban @xcite .
these works however remained inconclusive @xcite , since these authors used the right interaction but not the right propagator , hence the problem of ultraviolet / infrared mixing prevented them from obtaining a finite renormalised perturbation series .
we also extend the grosse - wulkenhaar results to more general models with covariant derivatives in a fixed magnetic field @xcite .
our proof relies on a multiscale analysis analogous to @xcite but in direct space .
non - commutative field theories ( for a general review see @xcite ) deserve a thorough and systematic investigation , not only because they may be relevant for physics beyond the standard model , but also ( although this is often less emphasized ) because they can describe effective physics in our ordinary standard world but with non - local interactions .    in this case
there is an interesting reversal of the initial grosse - wulkenhaar problematic . in the @xmath4 theory on the moyal space @xmath5 ,
the vertex is sort of god - given by the moyal structure , and it is ls invariant .
the challenge was to overcome uv / ir mixing and to find the right propagator which makes the theory renormalisable .
this propagator turned out to have ls duality .
the harmonic potential introduced by grosse and wulkenhaar can be interpreted as a piece of covariant derivatives in a constant magnetic field .
now to explain the ( fractional ) quantum hall effect , which is a bulk effect whose understanding requires electron interactions , we can almost invert this logic .
the propagator is known since it corresponds to non - relativistic electrons in two dimensions in a constant magnetic field .
it has ls duality .
but the interaction is unclear , and can not be local since at strong magnetic field the spins should align with the magnetic field , hence by pauli principle local interactions among electrons in the first landau level should vanish .
we can argue that among all possible non - local interactions , a few renormalisation group steps should select the only ones which form a renormalisable theory with the corresponding propagator . in the commutative case ( i.e. zero magnetic field ) local interactions such as those of the hubbard model are just renormalisable in any dimension because of the extended nature of the fermi - surface singularity .
since the non - commutative electron propagator ( i.e. in non zero magnetic field ) looks very similar to the grosse - wulkenhaar propagator ( it is in fact a generalization of the langmann - szabo - zarembo propagator ) we can conjecture that the renormalisable interaction corresponding to this propagator should be given by a moyal product .
that s why we hope that non - commutative field theory is the correct framework for a microscopic _ ab initio _ understanding of the fractional quantum hall effect which is currently lacking .    even for regular commutative field theory such as non - abelian gauge theory ,
the strong coupling or non - perturbative regimes may be studied fruitfully through their non - commutative ( i.e. non local ) counterparts .
this point of view is forcefully suggested in @xcite , where a mapping is proposed between ordinary and non - commutative gauge fields which do not preserve the gauge groups but preserve the gauge equivalent classes .
we can at least remark that the effective physics of confinement should be governed by a non - local interaction , as is the case in effective strings or bags models .
in other words we propose to base physics upon the renormalisability principle , more than any other axiom .
renormalisability means genericity ; only renormalisable interactions survive a few rg steps , hence only them should be used to describe generic effective physics of any kind .
the search for renormalisabilty could be the powerful principle on which to orient ourselves in the jungle of all possible non - local interactions .
renormalisability has also attracted considerable interest in the recent years as a pure mathematical structure .
the work of kreimer and connes @xcite recasts the recursive bphz forest formula of perturbative renormalisation in a nice hopf algebra structure .
the renormalisation group ambiguity reminds mathematicians of the galois group ambiguity for roots of algebraic equations .
finding new renormalisable theories may therefore be important for the future of pure mathematics as well as for physics .
that was forcefully argued during the luminy workshop `` renormalisation and galois theory '' .
main open conjectures in pure mathematics such as the riemann hypothesis @xcite or the jacobian conjecture @xcite may benefit from the quantum field theory and renormalisation group approach .    considering that most of the connes - kreimer works uses dimensional regularization and the minimal dimensional renormalisation scheme , it is interesting to develop the parametric representation which generalize schwinger s parametric representation of feynman amplitudes to the non commutative context .
it involves hyperbolic generalizations of the ordinary topological polynomials , which mathematicians call kirchoff polynomials , and physicist call symanzik polynomials in the quantum field theory context @xcite .
we plan also to work out the corresponding regularization and minimal dimensional renormalisation scheme and to recast it in a hopf algebra structure .
the corresponding structures seem richer than in ordinary field theory since they involve ribbon graphs and invariants which contain information about the genus of the surface on which these graphs live .    a critical goal to enlarge the class of renormalisable non - commutative field theories and to attack the quantum hall effect problem is to extend the results of grosse - wulkenhaar to fermionic theories .
the simplest theory , the two - dimensional gross - neveu model can be shown renormalisable to all orders in their langmann - szabo covariant versions , using either the matrix basis @xcite or the direct space version developed here @xcite .
however the @xmath6-space version seems the most promising for a complete non - perturbative construction , using pauli s principle to controll the apparent ( fake ) divergences of perturbation theory .    in the case of @xmath7 , recall that although the commutative version is until now fatally flawed due to the famous landau ghost , there is hope that the non - commutative field theory treated at the perturbative level in this paper may also exist at the constructive level . indeed
a non trivial fixed point of the renormalization group develops at high energy , where the grosse - wulkenhaar parameter @xmath8 tends to 1 , so that langmann - szabo duality become exact , and the beta function vanishes .
this scenario has been checked explicitly to all orders of perturbation theory @xcite .
this was done using the matrix version of the theory ; again an @xmath6-space version of renormalisation might be better for a future rigorous non - perturbative investigation of this fixed point and a full constructive version of the model .
finally let us conclude this short introduction by reminding that a very important and difficult goal is to also extend the grosse - wulkenhaar breakthrough to gauge theories .
one considers free electrons : @xmath9 where @xmath10 is the canonical conjugate of @xmath11 .
the moment and position @xmath12 and @xmath13 have commutators @xmath14=0,\ \ [ r_i , r_j]=0,\ \ [ p_i , r_j]=\imath\hbar\delta_{ij } .\end{aligned}\ ] ]    the moments @xmath15 have commutators @xmath16=-\imath\hbar\epsilon_{ij}eb,\ \ [ r_i , r_j]=0,\ \    [ \pi_i , r_j]=\imath\hbar\delta_{ij } .\end{aligned}\ ] ]    one can also introduce coordinates @xmath17 , @xmath18 corresponding to the centers of the classical trajectories @xmath19 which _ do not commute _ : @xmath20=\imath\hbar\epsilon_{ij}\frac{1}{e b}},\ \ [ \pi_i , r_j]=0 .
\end{aligned}\ ] ] this means that there exist heisenberg - like relations between quantum positions .
one considers the string action in a generalized background @xmath21 where @xmath22 is the string worldsheet , @xmath23 is a tangential derivative along the worldsheet boundary @xmath24 and @xmath25 is an antisymmetric background tensor .
the equations of motion determine the boundary conditions : @xmath26    boundary conditions for coordinates can be neumann ( @xmath27 ) or dirichlet ( @xmath28 , corresponding to branes ) .
after conformal mapping of the string worldsheet onto the upper half - plane , the string propagator in background field is @xmath29 \ ; .\end{aligned}\ ] ] for some constant symmetric and antisymmetric tensors @xmath30 and @xmath31 .
evaluated at boundary points on the worldsheet , this propagator is @xmath32 where the @xmath31 term simply comes from the discontinuity of the logarithm across its cut . interpreting @xmath33 as time , one finds @xmath34= i \theta^{\mu \nu } , \end{aligned}\ ] ] which means that string coordinates lie in a non - commutative moyal space with parameter @xmath31 .
there is an equivalent argument inspired by @xmath35 theory : a rotation sandwiched between two @xmath36 dualities generates the same constant commutator for string coordinates .
the recent progresses concerning the renormalisation of non - commutative field theory have been obtained on a very simple non - commutative space namely the moyal space . from the point of view of quantum field theory , it is certainly the most studied space .
let us start with its precise definition .
let us define @xmath37 and @xmath38 the free algebra generated by @xmath39 .
let @xmath40 a @xmath41 non - degenerate skew - symmetric matrix ( wich requires @xmath42 even ) and @xmath43 the ideal of @xmath38 generated by the elements @xmath44 .
the moyal algebra @xmath45 is the quotient @xmath46 .
each element in @xmath45 is a formal power series in the @xmath47 s for which the relation @xmath48 holds .
usually , one puts the matrix @xmath40 into its canonical form : @xmath49 sometimes one even set @xmath50 . the preceeding algebraic definition whereas short and precise may be too abstract to perform real computations .
one then needs a more analytical definition .
a representation of the algebra @xmath45 is given by some set of functions on @xmath51 equipped with a non - commutative product : the _ groenwald - moyal _ product .
what follows is based on @xcite .
[ [ sec : lalgebre - ca_theta ] ] the algebra @xmath45 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    the moyal algebra @xmath45 is the linear space of smooth and rapidly decreasing functions @xmath52 equipped with the non - commutative product defined by : @xmath53 , @xmath54 this algebra may be considered as the `` functions on the moyal space @xmath55 '' . in the following we will write @xmath56 instead of @xmath57 and use : @xmath58 , @xmath59 , @xmath60 for
the fourier transform and @xmath61 for the twisted convolution . as on @xmath62 ,
the fourier transform exchange product and convolution : @xmath63 one also shows that the moyal product and the twisted convolution are * associative * : @xmath64 using , we show the associativity of the @xmath65-produit .
the complex conjugation is * involutive * in @xmath45 @xmath66 one also have @xmath67    [ prop : trace ] for all @xmath68 , @xmath69    @xmath70    where @xmath71 is the ordinary convolution .    in the following sections , we will need lemma [ lem : moyal - prods ] to compute the interaction terms for the @xmath72 and gross - neveu models .
we write @xmath73 .
[ lem : moyal - prods ] for all @xmath74 , let @xmath75 . then @xmath76    [ cor : int - moyal ] for all @xmath74 , let @xmath75 .
then @xmath77    the cyclicity of the product , inherited from proposition [ prop : trace ] implies : @xmath78 , @xmath79 and allows to extend the moyal algebra by duality into an algebra of tempered distributions .
[ [ sec : extens - par - dual ] ] extension by duality + + + + + + + + + + + + + + + + + + + +    let us first consider the product of a tempered distribution with a schwartz - class function .
let @xmath80 and @xmath81 .
we define @xmath82 and @xmath83 .
[ defn : tf ] let @xmath84 , @xmath85 , we define @xmath86 and @xmath87 by @xmath88    for example , the identity @xmath89 as an element of @xmath90 is the unity for the @xmath65-produit : @xmath91 , @xmath92 we are now ready to define the linear space @xmath93 as the intersection of two sub - spaces @xmath94 and @xmath95 of @xmath90 .
[ defn : m ] @xmath96    one can show that @xmath93 is an associative @xmath71-algebra .
it contains , among others , the identity , the polynomials , the @xmath97 distribution and its derivatives .
then the relation @xmath98 often given as a definition of the moyal space , holds in @xmath93 ( but not in @xmath45 ) .      the simplest non - commutative model one may consider is the @xmath99-theory on the four - dimensional moyal space .
its lagrangian is the usual ( commutative ) one where the pointwise product is replaced by the moyal one : @xmath100 = & \int d^4x \big ( -\frac{1}{2 } \partial_\mu \phi \star \partial^\mu \phi   + \frac{1}{2 } m^2 \,\phi \star \phi + \frac{\lambda}{4 } \phi \star \phi \star \phi \star \phi\big)(x).\label{eq : phi4naif}\end{aligned}\ ] ] thanks to the formula , this action can be explicitly computed .
the interaction part is given by the corollary [ cor : int - moyal ] : @xmath101 the main characteristic of the moyal product is its non - locality .
but its non - commutativity implies that the vertex of the model is only invariant under cyclic permutation of the fields .
this restricted invariance incites to represent the associated feynman graphs with ribbon graphs .
one can then make a clear distinction between planar and non - planar graphs .
this will be detailed in section [ sec : multi - scale - analysismatrix ] .
thanks to the delta function in , the oscillation may be written in different ways :    @xmath102    the interaction is real and positive . ] : @xmath103 it is also translation invariant as shows equation .
the property [ prop : trace ] implies that the propagator is the usual one : @xmath104 .
the non - locality of the @xmath65-product allows to understand the discovery of minwalla , van raamsdonk and seiberg @xcite .
they showed that not only the model is nt finite in the uv but also it exhibits a new type of divergences making it non - renormalisable .
in the article @xcite , filk computed the feynman rules corresponding to .
he showed that the planar amplitudes equal the commutative ones whereas the non - planar ones give rise to oscillations coupling the internal and external legs .
a typical example is the the non - planar tadpole : @xmath105
if @xmath106 , this amplitude is finite but , for small @xmath107 , it diverges like @xmath108 . in other words , if we put an ultraviolet cut - off @xmath109 to the @xmath110-integral , the two limits @xmath111 and @xmath112 do not commute .
this is the uv / ir mixing phenomena .
a chain of non - planar tadpoles , inserted in bigger graphs , makes divergent any function ( with six points or more for example ) . but
this divergence is not local and ca nt be absorbed in a mass redefinition .
this is what makes the model non - renormalisable .
we will see in sections [ sec : prop - et - renorm ] and [ sec : direct - space ] that the uv / ir mixing results in a coupling of the different scales of the theory
. we will also note that we should distinguish different types of mixing .
the uv / ir mixing was studied by several groups .
first , chepelev and roiban @xcite gave a power counting for different scalr models .
they were able to identify the divergent graphs and to classify the divergences of the theories thanks to the topological data of the graphs .
then v.  gayral @xcite showed that uv / ir mixing is present on all isospectral deformations ( they consist in curved generalisations of the moyal space and of the non - commutative torus ) . for this , he considered a scalar model and discovered contributions to the effective action which diverge when the external momenta vanish .
the uv / ir mixing is then a general characteristic of the non - commutative theories , at least on the deformations .
the situation remained so until h.  grosse and r.  wulkenhaar discovered a way to define a renormalisable non - commutative model .
we will detail their result in section [ sec : multi - scale - analysismatrix ] but the main message is the following . by adding an harmonic term to the lagrangian , @xmath113 = & \int d^4x \big ( -\frac{1}{2 } \partial_\mu \phi \star \partial^\mu \phi + \frac{\omega^2}{2 } ( \tilde{x}_\mu \phi ) \star ( \tilde{x}^\mu \phi ) + \frac{1}{2 } m^2 \,\phi \star \phi + \frac{\lambda}{4 } \phi \star \phi \star \phi \star \phi\big)(x)\label{eq : phi4omega}\end{aligned}\ ] ] where @xmath114 and the metric is euclidean , the model , in four dimensions , is renormalisable at all orders of perturbation @xcite .
we will see in section [ sec : direct - space ] that this additional term give rise to an infrared cut - off and allows to decouple the different scales of the theory . the new model ( [ eq : phi4omega ] ) , we call it @xmath72 , do not exhibit any mixing
. this result is very important because it opens the way towards other non - commutative field theories . in the following ,
we will call _ _ vulcanisation__. ] the procedure consisting in adding a new term to a lagrangian of a non - commutative theory in order to make it renormalisable . +
the propagator @xmath115 of this @xmath116 theory is the kernel of the inverse operator @xmath117 .
it is known as the mehler kernel @xcite @xmath118 langmann and szabo remarked that the quartic interaction with moyal product is invariant under a duality transformation .
it is a symmetry between momentum and direct space .
the interaction part of the model is ( see equation ) @xmath119=&\int d^{4}x\,\frac{\lambda}{4}(\phi\star\phi\star\phi\star\phi)(x)\\    = & \int\prod_{a=1}^{4}d^{4}x_{a}\,\phi(x_{a})\,v(x_{1},x_{2},x_{3},x_{4})\label{eq : vx}\\    = & \int\prod_{a=1}^{4}\frac{d^{4}p_{a}}{(2\pi)^{4}}\,\hat{\phi}(p_{a})\,\hat{v}(p_{1},p_{2},p_{3},p_{4})\label { eq : vp }    \intertext{with }    v(x_{1},x_{2},x_{3},x_{4})=&\frac{\lambda}{4}\frac{1}{\pi^{4}\det\theta}\delta(x_{1}-x_{2}+x_{3}-x_{4 } ) \cos(2(\theta^{-1})_{\mu\nu}(x_{1}^{\mu}x_{2}^{\nu}+x_{3}^{\mu}x_{4}^{\nu}))\notag\\    \hat{v}(p_{1},p_{2},p_{3},p_{4})=&\frac{\lambda}{4}(2\pi)^{4}\delta(p_{1}-p_{2}+p_{3}-p_{4})\cos(\frac 12 \theta^{\mu\nu}(p_{1,\mu}p_{2,\nu}+p_{3,\mu}p_{4,\nu}))\notag\end{aligned}\ ] ] where we used a _ cyclic _
fourier transform : @xmath120 .
the transformation @xmath121 exchanges and .
in addition , the free part of the model is nt covariant under this duality .
the vulcanisation adds a term to the lagrangian which restores the symmetry .
the theory is then covariant under the langmann - szabo duality : @xmath122\mapsto&\omega^{2}\,s[\phi;\frac{m}{\omega},\frac{\lambda}{\omega^{2 } } , \frac{1}{\omega } ] .
\end{aligned}\ ] ] by symmetry , the parameter @xmath8 is confined in @xmath123 .
let us note that for @xmath124 , the model is invariant .    [
[ parag : interpharm ] ]    the interpretation of that harmonic term is not yet clear .
but the vulcanisation procedure already allowed to prove the renormalisability of several other models on moyal spaces such that @xmath125 @xcite , @xmath126 @xcite and the lsz models @xcite .
these last are of the type @xmath113 = & \int d^nx \big ( \frac{1}{2 } \bar{\phi}\star(-\partial_\mu+\xt_{\mu}+m)^{2}\phi + \frac{\lambda}{4 } \bar{\phi } \star \phi \star \bar{\phi } \star\phi\big)(x).\label{eq : lszintro}\end{aligned}\ ] ] by comparison with , one notes that here the additional term is formally equivalent to a fixed magnetic background .
deep is the temptation to interpret it as such .
this model is invariant under the above duality and is exactly soluble .
let us remark that the complex interaction in makes the langmann - szabo duality more natural .
it does nt need a cyclic fourier transform .
the @xmath127 have been studied at @xmath124 where they also exhibit a soluble structure .      apart from the @xmath72 , the modified bosonic lsz model @xcite and supersymmetric theories , we now know several renormalizable non - commutative field theories
. nevertheless they either are super - renormalizable ( @xmath128 @xcite ) or ( and ) studied at a special point in the parameter space where they are solvable ( @xmath129 @xcite , the lsz models @xcite ) .
although only logarithmically divergent for parity reasons , the non - commutative gross - neveu model is a just renormalizable quantum field theory as @xmath72 .
one of its main interesting features is that it can be interpreted as a non - local fermionic field theory in a constant magnetic background .
then apart from strengthening the `` vulcanization '' procedure to get renormalizable non - commutative field theories , the gross - neveu model may also be useful for the study of the quantum hall effect .
it is also a good first candidate for a constructive study @xcite of a non - commutative field theory as fermionic models are usually easier to construct .
moreover its commutative counterpart being asymptotically free and exhibiting dynamical mass generation @xcite , a study of the physics of this model would be interesting .
+ the non - commutative gross - neveu model ( @xmath130 ) is a fermionic quartically interacting quantum field theory on the moyal plane @xmath131 .
the skew - symmetric matrix @xmath40 is @xmath132 the action is @xmath133=&\int    dx\lbt\psib\lbt-\imath\slashed{\partial}+\omega\xts+m+\mu\,\gamma_{5}\rbt\psi+v_{\text{o}}(\psib,\psi )    + v_{\text{no}}(\psib,\psi)\rbt(x)\end{aligned}\ ] ] where @xmath134 , @xmath135 and @xmath136 is the interaction part given hereafter .
the @xmath137-term appears at two - loop order .
we use a euclidean metric and the feynman convention @xmath138 .
the @xmath139 and @xmath140 matrices form a two - dimensional representation of the clifford algebra @xmath141 .
let us remark that the @xmath142 s are then skew- hermitian : @xmath143 .
[ [ propagator ] ] propagator + + + + + + + + + +    the propagator corresponding to the action is given by the following lemma :    [ xpropa1gn ] the propagator of the gross - neveu model is @xmath144 with @xmath145 et @xmath146 .
+ we also have @xmath147 .
if we want to study a @xmath148-_color _ model , we can consider a propagator diagonal in these color indices .
[ [ interactions ] ] interactions + + + + + + + + + + + +    concerning the interaction part @xmath149 , recall that ( see corollary [ cor : int - moyal ] ) for any @xmath150 , @xmath151 , @xmath152 , @xmath153 in @xmath45 , @xmath154 this product is non - local and only invraiant under cyclic permutations of the fields .
then , contrary to the commutative gross - neveu model , for which there exits only one spinorial interaction , the @xmath130 model has , at least , six different interacitons : the _ orientable _ ones    [ eq : int - orient ] @xmath155    where @xmath156 s and @xmath157 s alternate and the _ non - orientable _ ones    [ eq : int - nonorient ] @xmath158    all these interactions have the same @xmath6 kernel thanks to the equation .
the reason for which we call these interactions orientable or not will be clear in section [ sec : direct - space ] .
the matrix basis is a basis for schwartz - class functions . in this basis ,
the moyal product becomes a simple matrix product . each field
is then represented by an infinite matrix @xcite .        in the matrix basis
, the action   takes the form : @xmath100=&(2\pi)^{d/2}\sqrt{\det\theta}\big(\frac 12\phi\delta\phi+\frac{\lambda}{4}\operatorname*{tr}\phi^{4}\big)\label { eq : sphi4matrix}\end{aligned}\ ] ] where @xmath159 and @xmath160 the ( four - dimensional ) matrix @xmath161 represents the quadratic part of the lagragian .
the first difficulty to study the matrix model is the computation of its propagator @xmath30 defined as the inverse of @xmath161 : @xmath162    fortunately , the action is invariant under @xmath163 thanks to the form of the @xmath40 matrix .
it implies a conservation law @xmath164 the result is @xcite @xmath165 where @xmath166 and @xmath115 is a function in @xmath8 : @xmath167 .
the main advantage of the matrix basis is that it simplifies the interaction part : @xmath168 becomes @xmath169 .
but the propagator becomes very compllicated .
+ let us remark that the matrix model is _ dynamical _ : its quadratic part is not trivial
. usually , matrix models are _
local_.    a matrix model is called * local * if @xmath170 and * non - local * otherwise .    in the matrix theories , the feynman graphs are ribbon graphs .
the propagator @xmath171 is then represented by the figure [ fig : propamatrix ] .        in a local matrix model , the propagator preserves the index values along the trajectories ( simple lines ) .
the power counting of a matrix model depends on the topological data of its graphs .
the figure [ fig : ribbon - examples ] gives two examples of ribbon graphs .
each ribbon graph may be drawn on a two - dimensional manifold .
actually each graph defines the surface on which it is drawn .
let a graph @xmath30 with @xmath149 vertices , @xmath43 internal propagators ( double lines ) and @xmath172 faces ( made of simple lines ) .
the euler characteristic @xmath173 gives the genus @xmath174 of the manifold .
one can make this clear by passing to the * dual graph*. the dual of a given graph @xmath30 is obtained by exchanging faces and vertices .
the dual graphs of the @xmath175 theory are tesselations of the surfaces on which they are drawn .
moreover each direct face broken by exernal legs becomes , in the dual graph , a * puncture*. if among the @xmath172 faces of a graph , @xmath176 are broken , this graph may be drawn on a surface of genus @xmath177 with @xmath176 punctures .
the figure [ fig : topo - ruban ] gives the topological data of the graphs of the figure [ fig : ribbon - examples ] .
@xmath178        @xmath179v=3@xmath180i=3@xmath180f=2@xmath180b=2@xmath181 +        @xmath182        @xmath183v=2@xmath184i=3@xmath184f=1@xmath184b=1@xmath185      in @xcite , v.  r. , r.  wulkenhaar and f.  v .- t . used the multi - scale analysis to reprove the power counting of the non - commutative @xmath116 theory .
let @xmath30 a ribbon graph of the @xmath186 theory with @xmath148 external legs , @xmath149 vertices , @xmath43 internal lines and @xmath172 faces .
its genus is then @xmath187 .
four indices @xmath188 are associated to each internal line of the graph and two indices to each external line , that is to say @xmath189 indices .
but , at each vertex , the left index of a ribbon equals the right one of the neighbour ribbon .
this gives rise to @xmath190 independant identifications which allows to write each index in terms of a set @xmath191 made of @xmath190 indices , four per vertex , for example the left index of each half - ribbon . +
the graph amplitude is then @xmath192 where the four indices of the propagator @xmath30 of the line @xmath97 are function of @xmath193 and written + @xmath194 .
we decompose each propagator , given by : @xmath195 we have an associated decomposition for each amplitude @xmath196 where @xmath197 runs over the all possible assignements of a positive integer @xmath198 to each line @xmath97 .
we proved the following four propositions :    [ thm - th1 ] for @xmath35 large enough , there exists a constant @xmath199 such that , for @xmath200 $ ] , we have the uniform bound @xmath201    [ thm - th2 ] for @xmath35 large enough , there exists two constants @xmath199 and @xmath202 such that , for @xmath203 $ ] , we have the uniform bound @xmath204    this bound allows to prove that the only diverging graphs have either a constant index along the trajectories or a total jump of @xmath205 .
[ prop : bound3 ] for @xmath35 large enough , there exists a constant @xmath199 such that , for @xmath206 $ ] , we have the uniform bound @xmath207    this bound shows that the propagator is almost local in the following sense : with @xmath208 fixed , the sum over @xmath209 does nt cost anything ( see figure [ fig : propamatrix ] ) . nevertheless the sums we ll have to perform are entangled ( a given index may enter different propagators ) so that we need the following proposition .
[ prop : bound4 ] for @xmath35 large enough , there exists a constant @xmath199 such that , for @xmath206 $ ] , we have the uniform bound @xmath210    we refer to @xcite for the proofs of these four propositions .
about half of the @xmath190 indices initially associated to a graph is determined by the external indices and the delta functions in ( [ ig ] ) .
the other indices are summation indices .
the power counting consists in finding which sums cost @xmath211 and which cost @xmath212 thanks to ( [ thsum ] ) .
the @xmath211 factor comes from ( [ th1 ] ) after a summation over an index . ]
@xmath213 , @xmath214    we first use the delta functions as much as possible to reduce the set @xmath193 to a true minimal set @xmath215 of independant indices . for this , it is convenient to use the dual graphs where the resolution of the delta functions is equivalent to a usual momentum routing .
the dual graph is made of the same propagators than the direct graph except the position of their indices .
whereas in the original graph we have @xmath216 { oberfig-16.eps}}$ ] , the position of the indices in a dual propagator is @xmath217{oberfig-17.eps}}\;. \label{dual - assign}\end{aligned}\ ] ] the conservation @xmath218 in ( [ ig ] ) implies that the difference @xmath219 is conserved along the propagator . these differences
behave like an _ angular momentum _ and the conservation of the differences @xmath220 and @xmath221 is nothing else than the conservation of the angular momentum thanks to the symmetry @xmath222 of the action : @xmath223{oberfig-8.eps}}&\qquad l = m+\ell\;,~~ n = k+(-\ell ) .
\label{angmom}\end{aligned}\ ] ] the cyclicity of the vertices implies the vanishing of the sum of the angular momenta entering a vertex .
thus the angular momentum in the dual graph behaves exactly like the usual momentum in ordinary feynman graphs .
+ we know that the number of independent momenta is exactly the number @xmath224 ( @xmath225 for a connected graph ) of loops in the dual graph .
each index at a ( dual ) vertex is then given by a unique _ reference index _ and a sum of momenta .
if the dual vertex under consideration is an external one , we choose an external index for the reference index .
the reference indices in the dual graph correspond to the loop indices in the direct graph .
the number of summation indices is then @xmath226 where @xmath227 is the number of broken faces of the direct graph or the number of external vertices in the dual graph . + by using a well - chosen order on the lines , an optimized tree and a @xmath228 bound
, one can prove that the summation over the angular momenta does not cost anything thanks to ( [ thsum ] ) .
recall that a connected component is a subgraph for which all internal lines have indices greater than all its external ones .
the power counting is then : @xmath229 and @xmath230 , @xmath231 , @xmath232 , @xmath233 and @xmath234 are respectively the numbers of external legs , of vertices , of ( internal ) propagators , of faces and broken faces of the connected component @xmath235 ; @xmath236 is its genus .
we have    [ pc - slice ] the sum over the scales attributions @xmath137 converges if @xmath237 .
we recover the power counting obtained in @xcite .    from this point on , renormalisability of @xmath7
can proceed ( however remark that it remains limited to @xmath200 $ ] by the technical estimates such as ( [ th1 ] ) ; this limitation is overcome in the direct space method below ) .
the multiscale analysis allows to define the so - called effective expansion , in between the bare and the renormalized expansion , which is optimal , both for physical and for constructive purposes @xcite . in this effective expansion only the subcontributions with all _ internal _ scales higher than all _ external _ scales have to be renormalised by counterterms of the form of the initial lagrangian .
in fact only planar such subcontributions with a single external face must be renormalised by such counterterms .
this follows simply from the the grosse - wulkenhaar moves defined in @xcite .
these moves translate the external legs along the outer border of the planar graph , up to irrelevant corrections , until they all merge together into a term of the proper moyal form , which is then absorbed in the effective constants definition .
this requires only the estimates ( [ th1])-([thsummax ] ) , which were checked numerically in @xcite .    in this way
the relevant and marginal counterterms can be shown to be of the moyal type , namely renormalise the parameters @xmath238 , @xmath208 and @xmath8 term can be absorbed in a rescaling of the field , called `` field strength renromalization . '' ] .
notice that in the multiscale analysis there is no need for the relatively complicated use of polchinski s equation @xcite made in @xcite .
polchinski s method , although undoubtedly very elegant for proving perturbative renormalisability does not seem directly suited to constructive purposes , even in the case of simple fermionic models such as the commutative gross neveu model , see e.g. @xcite .    the bphz theorem itself for the renormalised expansion follows from finiteness of the effective expansion by developing the counterterms still hidden in the effective couplings .
its own finiteness can be checked e.g. through the standard classification of forests @xcite .
let us however recall once again that in our opinion the effective expansion , not the renormalised one is the more fundamental object , both to describe the physics and to attack deeper mathematical problems , such as those of constructive theory @xcite .
the matrix base simplfies very much at @xmath239 , where the matrix propagator becomes diagonal , i.e. conserves exactly indices .
this property has been used for the general proof that the beta function of the theory vanishes in the ultraviolet regime @xcite , leading to the exciting perspective of a full non - perturbative construction of the model .
we give here the results we get in @xcite . in this article , we computed the @xmath6-space and matrix basis kernels of operators which generalize the mehler kernel
. then we proceeded to a study of the scaling behaviours of these kernels in the matrix basis .
this work is useful to study the non - commutative gross - neveu model in the matrix basis .
the following lemma generalizes the mehler kernel @xcite :    [ hinxspace]let @xmath240 the operator : @xmath241 the @xmath6-space kernel of @xmath242 is : @xmath243 @xmath244    the mehler kernel corresponds to @xmath245 .
the limit @xmath246 gives the usual heat kernel .
let @xmath240 be given by with @xmath247 .
its inverse in the matrix basis is : @xmath248 where @xmath166 and @xmath115 is a function of @xmath8 : @xmath167 .      on the moyal space
, we modified the commutative gross - neveu model by adding a @xmath249 term ( see lemma [ xpropa1gn ] ) .
we have @xmath250 it will be useful to express @xmath30 in terms of commutators : @xmath251 where @xmath252 with @xmath145 and @xmath253 .
+ we now give the expression of the fermionic kernel in the matrix basis .
the inverse of the quadratic form @xmath254 is given by in the preceeding section : @xmath255 the fermionic propagator @xmath30 ( [ xfullprop ] ) in the matrix basis may be deduced from the kernel .
we just set @xmath256 , add the missing term with @xmath257 and compute the action of @xmath258 on @xmath259 .
we must then evaluate @xmath260 in the matrix basis : @xmath261 this allows to prove :    let @xmath262 the kernel , in the matrix basis , of the operator + @xmath263 .
we have : @xmath264 where @xmath265 is given by ( [ eq : propinit - b ] ) and the commutators bu the formulas ( [ x0gamma ] ) and ( [ x1gamma ] ) .    the first two terms in the equation ( [ eq : matrixfullprop ] ) contain commutators and will be gathered under the name @xmath266 .
the last term will be called @xmath267 : @xmath268      we use the multi - scale analysis to study the behaviour of the propagator and revisit more finely the bounds to . in a slice @xmath269 ,
the propagator is @xmath270 @xmath271 let @xmath272 and @xmath273 . without loss of generality , we assume @xmath274 and @xmath275 .
then the smallest index among @xmath276 is @xmath208 and the biggest is @xmath277 .
we have :    [ maintheorem ] under the assumptions @xmath278 and @xmath279 , there exists @xmath280 ( @xmath281 depends on @xmath8 ) such that the propagator of the non - commutative gross - neveu model in a slice @xmath269 obeys the bound @xmath282 the mass term is slightly different : @xmath283    we can redo the same analysis for the @xmath116 propagator and get @xmath284 which allows to recover the bounds to .      let us consider the propagator of the non - commutative gross - neveu model .
we saw in section [ sec : bornes ] that there exists two regions in the space of indices where the propagator behaves very differently . in one of them
it behaves as the @xmath116 propagator and leads then to the same power counting . in the critical region
, we have @xmath285
the point is that such a propagator does not allow to sum two reference indices with a unique line .
this fact was useful in the proof of the power counting of the @xmath116 model .
this leads to a _
uv / ir mixing .
let us consider the graph in figure [ fig : sunsetj ] where the two external lines bear an index @xmath286 and the internal one an index @xmath287 .
the propagator obeys the bound in prop .   which means that it is almost local .
we only have to sum over one index per internal face .    on the graph of the figure [ fig : sunseti ] , if the two lines inside are true external ones , the graph has two broken faces and there is no index to sum over .
then by using prop .
we get @xmath288 .
the sum over @xmath269 converges and we have the same behaviour as the @xmath116 theory , that is to say the graphs with @xmath289 broken faces are finite .
but if these two lines belongs to a line of scale @xmath287 ( see figure [ fig : sunsetj ] ) , the result is different .
indeed , at scale @xmath269 , we recover the graph of figure [ fig : sunseti ] . to maintain the previous result ( @xmath290 ) ,
we should sum the two indices corresponding to the internal faces with the propagator of scale @xmath291 .
this is not possible .
instead we have : @xmath292 the sum over @xmath269 diverges logarithmically .
the graph of figure [ fig : sunseti ] converges if it is linked to true exernal legs et diverges if it is a subgraph of a graph at a lower scale .
the power counting depends on the scales lower than the lowest scale of the graph .
it ca nt then be factorized into the connected components : this is uv / ir mixing .
+ let s remark that the graph of figure [ fig : sunseti ] is not renormalisable by a counter - term in the lagrangian .
its logarithmic divergence ca nt be absorbed in a redefinition of a coupling constant .
fortunately the renormalisation of the two - point graph of figure [ fig : sunsetj ] makes the four - point subdivergence finite @xcite .
this makes the non - commutative gross - neveu model renormalisable .
we want now to explain how the power counting analysis can be performed in direct space , and the `` moyality '' of the necessary counterterms can be checked by a taylor expansion which is a generalization of the one used in direct commutative space .
in the commutative case there is translation invariance , hence each propagator depends on a single difference variable which is short in the ultraviolet regime ; in the non - commutative case the propagator depends both of the difference of end positions , which is again short in the uv regime , but also of the sum which is long in the uv regime , considering the explicit form ( [ eq : mehler ] ) of the mehler kernel .
let @xmath30 be an arbitrary connected graph .
the amplitude associated with this graph is in direct space ( with hopefully self - explaining notations ) : @xmath293 \prod_l c_l \ ; ,   \nonumber   \\ c_l= &    \frac{\omega^2}{[2\pi\sinh(\omega t_l)]^2}e^{-\frac{\omega}{2}\coth(\omega   t_l)(x_{v , i(l)}^{2}+x_{v',i'(l)}^{2 } ) + \frac{\omega}{\sinh(\omega t_l)}x_{v , i(l ) } .
x_{v',i'(l ) }    - \mu_0 ^ 2 t_l}\ ; .\nonumber \label{amplitude1}\end{aligned}\ ] ]      with these notations , defining @xmath298 , the propagators in our graph can be written as : @xmath299 ^ 2 } e^{-\frac{\omega}{4}\coth(\frac{\alpha_l}{2 } ) { u_l^2}- \frac{\omega}{4}\tanh(\frac{\alpha_l}{2 } ) { v_l^2 }   - \frac{\mu_0 ^ 2}{\omega } \alpha_l}\ ; .\label{tanhyp}\ ] ]      @xmath301\nonumber\\   c^i ( u , v ) = & \int_{m^{-2i}}^{m^{-2(i-1 ) } }   \frac{\omega d\alpha}{[2\pi\sinh(\alpha)]^2 } e^{-\frac{\omega}{4}\coth(\frac{\alpha}{2 } ) { u^2}- \frac{\omega}{4}\tanh(\frac{\alpha}{2 } ) { v^2 }   - \frac{\mu_0 ^ 2}{\omega } \alpha}\ ; , \end{aligned}\ ] ]              we pick a tree @xmath36 of lines of the graph , hence connecting all vertices , pick with a root vertex and build an _ orientation _ of all the lines of the graph in an inductive way .
starting from an arbitrary orientation of a field at the root of the tree , we climb in the tree and at each vertex of the tree we impose cyclic order to alternate entering and exiting tree lines and loop half - lines , as in figure [ otree ]
.    then we look at the loop lines .
if every loop lines consist in the contraction of an entering and an exiting line , the graph is called orientable
. otherwise we call it non - orientable as in figure [ nono ]
.      there are @xmath306 @xmath97 functions in an amplitude with @xmath306 vertices , hence @xmath306 linear equations for the @xmath307 positions , one for each vertex .
the _ position routing _ associated to the tree @xmath36 solves this system by passing to another equivalent system of @xmath306 linear equations , one for each branch of the tree .
this is a triangular change of variables , of jacobian 1 .
this equivalent system is obtained by summing the arguments of the @xmath97 functions of the vertices in each branch .
this change of variables is exactly the @xmath6-space analog of the resolution of momentum conservation called _ momentum routing _ in the standard physics literature of commutative field theory , except that one should now take care of the additional @xmath308 cyclic signs .
we have , calling @xmath310 the remaining integrand in ( [ amplitude2 ] ) : @xmath311 \ , \big]\ ; i_g(\{x_{v , i }   \ }   )    \\ = & \int \prod_{b } \delta \left (    \sum_{l\in t_b \cup l_b } u_{l } + \sum_{l\in l_{b,+}}v_{l}-\sum_{l\in l_{b,-}}v_{l } + \sum_{f\in x_b}\epsilon(f ) x_f \right ) i_g(\{x_{v , i }   \ } ) , \nonumber \end{aligned}\ ] ] where @xmath312 is @xmath313 depending on whether the field @xmath314 enters or exits the branch .
we can now use the system of delta functions to eliminate variables .
it is of course better to eliminate long variables as their integration costs a factor @xmath315 whereas the integration of a short variable brings @xmath316 .
rough power counting , neglecting all oscillations of the vertices leads therefore , in the case of an orientable graph with @xmath148 external fields , @xmath306 internal vertices and @xmath317 internal lines at scale @xmath269 to :    * a factor @xmath318 coming from the @xmath211 factors for each line of scale @xmath269 in ( [ eq : propbound - phi4 ] ) , * a factor @xmath319 for the @xmath320 short variables integrations , * a factor @xmath321 for the long variables after eliminating @xmath309 of them using the delta functions .      in the non - orientable case
, we can eliminate one additional long variable since the rank of the system of delta functions is larger by one unit !
therefore we get a power counting bound @xmath324 , which proves that only _
orientable _ graphs may diverge .
in fact we of course know that not all _ orientable _ two and four point subgraphs diverge but only the planar ones with a single external face .
( it is easy to check that all such planar graphs are indeed orientable ) .
since only these planar subgraphs with a single external face can be renormalised by moyal counterterms , we need to prove that orientable , non - planar graphs or orientable planar graphs with several external faces have in fact a better power counting than this crude estimate .
this can be done only by exploiting their vertices oscillations .
we explain now how to do this with minimal effort .
following filk @xcite , we can contract all lines of a spanning tree @xmath36 and reduce @xmath30 to a single vertex with `` tadpole loops '' called a `` rosette graph '' .
this rosette is a cycle ( which is the border of the former tree ) bearing loops lines on it ( see figure [ fig : rosette ] ) :        remark that the rosette can also be considered as a big vertex , with @xmath325 fields , on which @xmath148 are external fields with external variables @xmath6 and @xmath326 are loop fields for the corresponding @xmath327 loops . when the graph is orientable , the rosette is also orientable , which means that turning around the rosette the lines alternatively enter and exit .
these lines correspond to the contraction of the fields on the border of the tree @xmath36 before the filk contraction , also called the `` first filk move '' .
the rosette contribution after a complete first filk reduction is exactly : @xmath330 where the @xmath331 variables are the long or external variables of the rosette , counted with their signs , and the quadratic oscillations for these variables is @xmath332    we have now to analyze in detail this quadratic oscillation of the remaining long loop variables since it is essential to improve power counting . we can neglect the secondary oscillations @xmath333 and @xmath334 which imply short variables .
the second filk reduction @xcite further simplifies the rosette factor by erasing the loops of the rosette which do not cross any other loops or arch over external fields .
it can be shown that the loops which disappear in this operation correspond to those long variables who do not appear in the quadratic form @xmath335 .
the basic mechanism to improve the power counting of a single non - planar subgraph is the following : @xmath336 in these equations we used for simplicity @xmath290 instead of the correct but more complicated factor @xmath337 ( of course this does not change the argument ) and we performed a unitary linear change of variables @xmath338 , @xmath339 to compute the oscillating @xmath340 integral . the gain in ( [ gainoscill ] ) is @xmath341 , which is the difference between @xmath342 and the normal factor @xmath343 that the @xmath344 integral would have cost if we had done it with the regular @xmath345 factor for long variables . to maximize this gain
we can assume @xmath346 .
finally it remains to consider the case of subgraphs which are planar orientable but with more than one external face .
in that case there are no crossing loops in the rosette but there must be at least one loop line arching over a non trivial subset of external legs ( see e.g. line @xmath347 in figure [ fig : rosette ] ) .
we have then a non trivial integration over at least one external variable , called @xmath6 , of at least one long loop variable called @xmath348 .
this `` external '' @xmath6 variable without the oscillation improvement would be integrated with a test function of scale 1 ( if it is a true external line of scale @xmath349 ) or better ( if it is a higher long loop variable ) can not be the full combination of external variables in the `` root '' @xmath97 function . ] .
but we get now @xmath350 so that a factor @xmath315 in the former bound becomes @xmath351 hence is improved by @xmath316 .    in this way we can reduce the convergence of the multiscale analysis to the problem of renormalisation of planar two- and four - point subgraphs with a single external face , which we treat in the next section .
remark that the power counting obtained in this way is still not optimal .
to get the same level of precision than with the matrix base requires e.g. to display @xmath174 independent improvements of the type ( [ gainoscill ] ) for a graph of genus @xmath174 .
this is doable but basically requires a reduction of the quadratic form @xmath335 for single - faced rosette ( also called `` hyperrosette '' ) into @xmath174 standard symplectic blocks through the so - called `` third filk move '' introduced in @xcite .
we return to this question in section [ hyperbo ] .
the idea is that one should compare its amplitude to a similar amplitude with a `` moyal factor '' @xmath352 factorized in front , where @xmath353 .
but precisely because the graph is planar with a single external face we understand that the external positions @xmath6 only couple to _ short variables _ @xmath354 of the internal amplitudes through the global delta function and the oscillations .
hence we can break this coupling by a systematic taylor expansion to first order .
this separates a piece proportional to `` moyal factor '' , then absorbed into the effective coupling constant , and a remainder which has at least one additional small factor which gives him improved power counting .
this is done by expressing the amplitude for a graph with @xmath355 , @xmath356 and @xmath357 as : @xmath358 \
e^{\imath uru+\imath usv } \\ & \hspace{-2 cm } \bigg\ { { \delta(\delta ) } + \int_{0}^{1}dt\bigg [ \mathfrak{u}\cdot \nabla \delta(\delta+t\mathfrak{u } ) + \delta(\delta+t\mathfrak{u } ) [ \imath xqu   + { \mathfrak r } ' ( t ) ]   \bigg ]   e^{\imath txqu + { \mathfrak r}(t ) }   \bigg\ } \
.\nonumber\end{aligned}\ ] ] where @xmath359 is the propagator taken at @xmath360 , @xmath361 and @xmath362 is a correcting term involving @xmath363 $ ] .
following the same strategy we have to taylor - expand the coupling between external variables and @xmath354 factors in two point planar graphs with a single external face to _ third order _ and some non - trivial symmetrization of the terms acording to the two external arguments to cancel some odd contributions .
the corresponding factorized relevant and marginal contributions can be then shown to give rise only to        again the bphz theorem itself for the renormalised expansion follows by developing the counterterms still hidden in the effective couplings and its finiteness follows from the standard classification of forests .
see however the remarks at the end of section [ sec : vari - indep ] .
since the bound ( [ eq : propbound - phi4 ] ) works for any @xmath366 , an additional bonus of the @xmath6-space method is that it proves renormalisability of the model for any @xmath8 in @xmath3670,1]$ ] in @xmath368 is irrelevant since it can be rewritten by ls duality as an equivalent model with @xmath8 in @xmath3670,1]$ ] .
] , whether the matrix method proved it only for @xmath8 in @xmath3670.5,1]$ ] .
the interaction @xmath371 ensures that perturbation theory contains only orientable graphs . for @xmath372
the @xmath6-space propagator still decays as in the ordinary @xmath7 case and the model has been shown renormalisable by an easy extension of the methods of the previous section @xcite .
consider the @xmath6-kernel of the operator @xmath374 the gross - neveu model or the critical langmann - szabo - zarembo models correspond to the case @xmath375 . in these models
there is no longer any confining decay for the `` long variables '' but only an oscillation : @xmath376    this kind of models are called critical .
their construction is more difficult , since sufficiently many oscillations must be proven independent before power counting can be established .
the prototype paper which solved this problem is @xcite , which we briefly summarize now .
the main technical difficulty of the critical models is the absence of decreasing functions for the long @xmath331 variables in the propagator replaced by an oscillation , see ( [ eq : criticalpropa ] ) .
note that these decreasing functions are in principle created by integration over the @xmath377 variables .
] : @xmath378 but to perform all these gaussian integrations for a general graph is a difficult task ( see @xcite ) and is in fact not necessary for a bphz theorem .
we can instead exploit the vertices and propagators oscillations to get rationnal decreasing functions in some linear combinations of the long @xmath331 variables .
the difficulty is then to prove that all these linear combinations are independant and hence allow to integrate over all the @xmath331 variables . to solve this problem
we need the exact expression of the total oscillation in terms of the short and long variables .
this consists in a generalization of the filk s work @xcite .
this has been done in @xcite .
once the oscillations are proven independant , one can just use the same arguments than in the @xmath116 case ( see section [ sec : routing - filk - moves ] ) to compute an upper bound for the power counting :    [ lem : compt - puissgn ] let @xmath30 a connected orientable graph . for all @xmath379 ,
there exists @xmath380 such that its amputated amplitude @xmath381 integrated over test functions is bounded by @xmath382    as in the non - commutative @xmath116 case , only the planar graphs are divergent .
but the behaviour of the graphs with more than one broken face is different .
note that we already discussed such a feature in the matrix basis ( see section [ sec : prop - et - renorm ] ) . in the multiscale framework ,
the feynamn diagrams are endowed with a scale attribution which gives each line a scale index .
the only subgraphs we meet in this setting have all their internal scales higher than their external ones .
then a subgraph @xmath383 of scale @xmath269 is called _ critical _ if it has @xmath384 and that the two `` external '' points in the second broken face are only linked by a single line of scale @xmath287 .
the typical example is the graph of figure [ fig : sunseti ] . in this case , the subgrah is logarithmically divergent whereas it is convergent in the @xmath116 model .
let us now show roughly how it happens in the case of figure [ fig : sunseti ] but now in @xmath6-space .
the same arguments than in the @xmath116 model prove that the integrations over the internal points of the graph [ fig : sunseti ] lead to a logarithmical divergence which means that @xmath385 in the multiscale framework . but remind that there is a remaining oscillation between a long variable of this graph and the external points in the second broken face of the form @xmath386 . but @xmath331 is of order @xmath387 which leads to a decreasing function implementing @xmath388 of order @xmath389 .
if these points are true external ones , they are integrated over test functions of norm @xmath349 . then thanks to the additional decreasing function for @xmath388 we gain a factor @xmath290 which makes the graph convergent .
but if @xmath6 and @xmath390 are linked by a single line of scale @xmath287 ( as in figure [ fig : sunsetj ] ) , instead of test functions we have a propagator between @xmath6 and @xmath390 . this one behaves like ( see ): @xmath391 the integration over @xmath388 instead of giving @xmath392 gives @xmath290 thanks to the oscillation @xmath393 .
then we have gained a good factor @xmath394 .
but the oscillation in the propagator @xmath395 now gives @xmath396 instead of @xmath397 and the integration over @xmath398 cancels the preceeding gain .
the critical component of figure [ fig : sunseti ] is logarithmically divergent .
this kind of argument can be repeated and refined for more general graphs to prove that this problem appears only when the extrernal points of the auxiliary broken faces are linked only by a _ single _
lower line @xcite .
this phenomenon can be seen as a mixing between scales .
indeed the power counting of a given subgraph now depends on the graphs at lower scales .
this was not the case in the commutative realm .
fortunately this mixing does nt prevent renormalisation .
note that whereas the critical subgraphs are not renormalisable by a vertex - like counterterm , they are regularised by the renormalisation of the two - point function at scale @xmath291 .
the proof of this point relies heavily on the fact that there is only one line of lower scale .
let us conclude this section by mentionning the flows of the critical models .
one very interesting feature of the non - commutative @xmath116 model is the boundedness of its flows and even the vanishing of its beta function for a special value of its bare parameters @xcite .
note that its commutative counterpart ( the usual @xmath399 model on @xmath400 ) is asymptotically free in the infrared and has then an unbounded flow .
it turns out that the flow of the critical models are not regularized by the non - commutativity .
the one - loop computation of the beta functions of the non - commutative gross - neveu model @xcite shows that it is asymptotically free in the ultraviolet region as in the commutative case .        in ordinary commutative field theory , symanzik
s polynomials are obtained after integration over internal position variables .
the amplitude of an amputated graph @xmath30 with external momenta @xmath107 is , up to a normalization , in space - time dimension @xmath42 : @xmath401 the first and second symanzik polynomials @xmath402 and @xmath403 are      where the first sum is over spanning trees @xmath36 of @xmath30 and the second sum is over two trees @xmath405 , i.e. forests separating the graph in exactly two connected components @xmath406 and @xmath407 ; the corresponding euclidean invariant @xmath408 is , by momentum conservation , also equal to @xmath409 .
since the mehler kernel is still quadratic in position space it is possible to also integrate explicitly all positions to reduce feynman amplitudes of e.g. non - commutative @xmath7 purely to parametric formulas , but of course the analogs of symanzik polynomials are now hyperbolic polynomials which encode the richer information about ribbon graphs .
the reference for these polynomials is @xcite , which treats the ordinary @xmath7 case . in @xcite ,
these polynomials are also computed in the more complicated case of critical models .    defining the antisymmetric matrix @xmath410
as @xmath411 the @xmath412functions appearing in the vertex contribution can be rewritten as an integral over some new variables @xmath413 .
we refer to these variables as to _ hypermomenta_. note that one associates such a hypermomenta @xmath413 to any vertex @xmath149 _ via _ the relation @xmath414    consider a particular ribbon graph @xmath30 .
specializing to dimension 4 and choosing a particular root vertex @xmath415 of the graph , one can write the feynman amplitude for @xmath30 in the condensed way @xmath416^{2 } d\alpha_{\ell } \int d x d p e^{-\frac { \omega}{2 } x g x^t}\end{aligned}\ ] ] where @xmath417 , @xmath418 summarizes all positions and hyermomenta and @xmath30 is a certain quadratic form . if we call @xmath419 and @xmath420 the external variables we can decompose @xmath30 according to an internal quadratic form @xmath335 , an external one @xmath35 and a coupling part @xmath421 so that @xmath422 performing the gaussian integration over all internal variables one obtains : @xmath423^{2 } d\alpha\frac{1}{\sqrt{\det q } } e^{-\frac{\ot}{2 } \begin{pmatrix } x_e & \bar{p } \\ \end{pmatrix } [ m - p q^{-1}p^{t } ] \begin{pmatrix } x_e \\ \bar{p } \\ \end{pmatrix}}\ .\end{aligned}\ ] ] this form allows to define the polynomials @xmath424 and @xmath425 , analogs of the symanzik polynomials @xmath354 and @xmath149 of the commutative case ( see ) .
they are defined by @xmath426 hu_{g , \bar{v } } ( t ) ^{-2 }     e^{-   \frac { hv_{g , \bar{v } } ( t , x_e , p_{\bar v})}{hu_{g , \bar{v } } ( t ) } } .\end{aligned}\ ] ] they are polynomials in the set of variables @xmath427 ( @xmath428 ) , the hyperbolic tangent of the half - angle of the parameters @xmath429 .        *
the polynomials @xmath424 and @xmath425 have a strong positivity property . roughly speaking they are sums of monomials with positive integer coefficients .
this positive integer property comes from the fact that each such coefficient is the square of a pfaffian with integer entries , * leading terms can be identified in a given `` hepp sector '' , at least for _
orientable graphs_. a hepp sector is a complete ordering of the @xmath432 parameters .
these leading terms which can be shown strictly positive in @xmath424 correspond to super - trees which are the disjoint union of a tree in the direct graph and a tree in the dual graph .
hypertrees in a graph with @xmath306 vertices and @xmath172 faces have therefore @xmath433 lines .
( any connected graph has hypertrees , and under reduction of the hypertree , the graph becomes a hyperrosette ) .
similarly one can identify `` super - two - trees '' @xmath425 which govern the leading behavior of @xmath425 in any hepp sector .
for the bubble graph of figure [ figex1 ] : @xmath435}^2+t_1t_2\big{[}2p_2 ^ 2+(1 + 16s^4)(x_1-x_4)^2                  \big{]}\,,\nonumber\\                  & + t_1
^ 2\big{[}p_2 + 2s(x_1-x_4)\big{]}^2\nonumber\\\end{aligned}\ ] ]                            @xmath437}+t_1 ^ 2\big{[}p_2    + 2s(x_3-y_4 ) \big{]}^2\,,\nonumber\\    & + t_1t_2\big{[}8s^2y_2 ^ 2 + 2(p_2 - 2sy_4)^2+(x_1+x_3)^2 + 16s^4(x_1-x_3)^2\big{]}\nonumber\\    & + t_1 ^ 2t_2 ^ 24s^2(x_1-y_2)^2\,,\nonumber\end{aligned}\ ] ]          finally , for the half - eye graph ( see fig .
[ figeye ] ) , we start by defining : @xmath440 the @xmath438 polynomial with fixed hypermomentum corresponding to the vertex with two external legs is : @xmath441 whereas with another fixed hypermomentum we get : @xmath442    note that the leading terms are identical and the choice of the root perturbs only the non - leading ones
. moreover note the presence of the @xmath443 term .
its presence can be understood by the fact that in the sector @xmath444 the subgraph formed by the lines @xmath445 has two broken faces .
this is the sign of a power counting improvement due to the additional broken face in that sector . to exploit it
, we have just to integrate over the variables of line @xmath446 in that sector , using the second polynomial @xmath447 for the triangle subgraph @xmath448 made of lines @xmath445 .
non - commutative qft seemed initially to have non - renormalisable divergencies , due to uv / ir mixing .
but following the grosse - wulkenhaar breakthrough , there has been recent rapid progress in our understanding of renormalisable qft on moyal spaces .
we can already propose a preliminary classification of these models into different categories , according to the behavior of their propagators :    * ordinary models at @xmath449 such as @xmath7 ( which has non - orientable graphs ) or @xmath450 models ( which has none ) .
their propagator , roughly @xmath451 is ls covariant and has good decay both in matrix space ( [ th1]-[thsummax ] ) and direct space ( [ tanhyp ] ) .
they have non - logarithmic mass divergencies and definitely require `` vulcanization '' i.e. the @xmath8 term . *
`` supermodels '' , namely ordinary models but at @xmath452 in which the propagator is ls invariant .
their propagator is even better . in the matrix base
it is diagonal , e.g. of the form @xmath453 , where @xmath454 is a constant .
the supermodels seem generically ultraviolet fixed points of the ordinary models , at which non - trivial ward identities force the vanishing of the beta function .
the flow of @xmath8 to the @xmath452 fixed point is very fast ( exponentially fast in rg steps ) .
* `` critical models '' such as orientable versions of lsz or gross - neveu ( and presumably orientable gauge theories of various kind : yang - mills , chern - simons ... ) .
they may have only logarithmic divergencies and apparently no perturbative uv / ir mixing .
however the vulcanized version still appears the most generic framework for their treatment .
the propagator is then roughly @xmath455 . in matrix space
this propagator shows definitely a weaker decay ( [ mainbound1 ] ) than for the ordinary models , because of the presence of a non - trivial saddle point . in direct space
the propagator no longer decays with respect to the long variables , but only oscillates .
nevertheless the main lesson is that in matrix space the weaker decay can still be used ; and in @xmath6 space the oscillations can never be completely killed by the vertices oscillations .
hence these models retain therefore essentially the power counting of the ordinary models , up to some nasty details concerning the four - point subgraphs with two external faces .
ultimately , thanks to a little conspiration in which the four - point subgraphs with two external faces are renormalised by the mass renormalisation , the critical models remain renormalisable .
this is the main message of @xcite .
* `` hypercritical models '' which are of the previous type but at @xmath452 .
their propagator in the matrix base is diagonal and depends only on one index @xmath208 ( e.g. always the left side of the ribbon ) .
it is of the form @xmath456 . in @xmath6 space
the propagator oscillates in a way that often exactly compensates the vertices oscillations .
these models have definitely worse power counting than in the ordinary case , with e.g. quadratically divergent four point - graphs ( if sharp cut - offs are used ) .
nevertheless ward identities can presumably still be used to show that they can still be renormalised .
this probably requires a much larger conspiration to generalize the ward identities of the supermodels .
parametric representation can be derived in the non - commutative case .
it implies hyper - analogs of symanzik polynomials which condense the information about the rich topological structure of a ribbon graph .
using this representation , dimensional regularization and dimensional renormalisation should extend to the non - commutative framework .
remark that trees , which are the building blocks of the symanzik polynomials , are also at the heart of ( commutative ) constructive theory , whose philosophy could be roughly summarized as `` you shall use trees , but you shall _ not _ develop their loops or else you shall diverge '' .
it is quite natural to conjecture that hypertrees , which are the natural non - commutative objects intrinsic to a ribbon graph , should play a key combinatoric role in the yet to develop non - commutative constructive field theory .    in conclusion
we have barely started to scratch the world of renormalisable qft on non - commutative spaces .
the little we see through the narrow window now open is extremely tantalizing .
there exists renormalizable ncqfts eg @xmath457 on @xmath458 , gross - neveu on @xmath459 and they seem to enjoy better propoerties than their commutative counterparts , for instance they no longer have landau ghosts !
non - commutative non relativistic field theories with a chemical potential seem the right formalism for a study ab initio of condensed matter in presence of a magnetic field , and in particular of the quantum hall effect .
the correct scaling and rg theory of this effect presumably requires to build a very singular theory ( of the hypercritical type ) because of the huge degeneracy of the landau levels . to understand this theory and
the gauge theories on non - commutative spaces seem the most obvious challenges ahead of us .
n.  seiberg and e.  witten , string theory and noncommutative geometry , _ jhep _ * 09 * ( 1999 ) 032 , http://www.arxiv.org/abs/hep-th/9908142[hep-th/9908142 ] .
r.  gurau , j.  magnen , v.  rivasseau and f.  vignes - tourneret , renormalization of non - commutative @xmath7 field theory in @xmath6 space , _ commun .
* 267 * ( 2006 ) , no .  2 , 515542 , http://www.arxiv.org/abs/hep-th/0512271[hep-th/0512271 ] .
h.  grosse and r.  wulkenhaar , power - counting theorem for non - local matrix models and renormalisation , _ commun .
* 254 * ( 2005 ) , no .  1 , 91127 , http://www.arxiv.org/abs/hep-th/0305066[hep-th/0305066 ] .
h.  grosse and r.  wulkenhaar , renormalisation of @xmath99-theory on noncommutative @xmath460 in the matrix base , _ commun .
* 256 * ( 2005 ) , no .  2 , 305374 , http://www.arxiv.org/abs/hep-th/0401128[hep-th/0401128 ] .
e.  langmann and r.  j. szabo , duality in scalar field theory on noncommutative phase spaces , _ phys .
lett . _ * b533 * ( 2002 ) 168177 , http://www.arxiv.org/abs/hep-th/0202039[hep-th/0202039 ] . v.  rivasseau , f.  vignes - tourneret , and r.  wulkenhaar , renormalization of noncommutative @xmath457-theory by multi - scale analysis , _ commun . math . phys .
_ * 262 * ( 2006 ) 565594 , http://www.arxiv.org/abs/hep-th/0501036[hep-th/0501036 ] .
t.  filk , divergencies in a field theory on quantum space , _ phys .
* b376 * ( 1996 ) 5358 .
i.  chepelev and r.  roiban , convergence theorem for non - commutative feynman graphs and renormalization , _ jhep _ * 03 * ( 2001 ) 001 , http://www.arxiv.org/abs/hep-th/0008090[hep-th/0008090 ] .
i.  chepelev and r.  roiban , renormalization of quantum field theories on noncommutative @xmath461 .
i : scalars , _ jhep _ * 05 * ( 2000 ) 037 , http://www.arxiv.org/abs/hep-th/9911098[hep-th/9911098 ] .
e.  langmann , r.  j. szabo , and k.  zarembo , exact solution of quantum field theory on noncommutative phase spaces , _ jhep _ * 01 * ( 2004 ) 017 , http://www.arxiv.org/abs/hep-th/0308043[hep-th/0308043 ] .
m.  r. douglas and n.  a. nekrasov , noncommutative field theory , _ rev .
* 73 * ( 2001 ) 9771029 , http://www.arxiv.org/abs/hep-th/0106048[hep-th/0106048 ] .
d.  kreimer , on the hopf algebra structure of perturbative quantum field theories , _ adv .
* 2 * ( 1998 ) 303334 , http://www.arxiv.org/abs/q-alg/9707029[q-alg/9707029 ] .
a.  connes and d.  kreimer , renormalization in quantum field theory and the riemann - hilbert problem i : the hopf algebra structure of graphs and the main theorem , _ commun .
* 210 * ( march , 2000 ) 249273 .
a.  connes and d.  kreimer , renormalization in quantum field theory and the riemann
hilbert problem ii : the  - function , diffeomorphisms and the renormalization group , _ commun .
* 216 * ( january , 2001 ) 215241 .
a.  connes and m.  marcolli , from physics to number theory via noncommutative geometry .
ii : renormalization , the riemann - hilbert correspondence , and motivic galois theory , http://www.arxiv.org/abs/hep-th/0411114[hep-th/0411114 ] .
e.  leichtnam , scaling group flow and lefschetz trace formula for laminated spaces with $ p-$adic transversal , _ arxiv mathematics e - prints _ ( mar . , 2006 )
http://www.arxiv.org/abs/math/0603576 [ math/0603576 ] .
a.  abdesselam , the jacobian conjecture as a problem of perturbative quantum field theory , _
annales henri poincare _ * 4 * ( 2003 ) 199215 , http://www.arxiv.org/abs/math.co/0208173[math.co/0208173 ] .
r.  gurau and v.  rivasseau , parametric representation of non - commutative field theory , to appear in commun .
phys , http://www.arxiv.org / abs / math - ph/0606030[math- ph/0606030 ] .
h.  grosse and r.  wulkenhaar , the beta - function in duality - covariant noncommutative @xmath99-theory , _ eur .
phys . j. _ * c35 * ( 2004 ) 277282 , http://www.arxiv.org/abs/hep-th/0402093[hep-th/0402093 ] .
m.  disertori and v.  rivasseau , two and three loops beta function of non commutative @xmath4 theory http://www.arxiv.org/abs/hep-th/0610224[hep-th/0610224 ] .
m. disertori , r.  gurau , j.  magnen and v.  rivasseau , vanishing of beta function of non commutative @xmath462 to all orders , submitted to phys .
b , http://www.arxiv.org/abs/hep-th/0612251[hep-th/0612251 ] .
s.  minwalla , m.  van  raamsdonk , and n.  seiberg , noncommutative perturbative dynamics , _ jhep _ * 02 * ( 2000 ) 020 , http://www.arxiv.org/abs/hep-th/9912072[hep-th/9912072 ] . v.  gayral , heat - kernel approach to uv / ir mixing on isospectral deformation manifolds , _
annales henri poincare _ * 6 * ( 2005 ) 9911023 , http://www.arxiv.org/abs/hep-th/0412233[hep-th/0412233 ] . b.  simon , _ functionnal integration and quantum physics _ ,
86 of _ pure and applied mathematics_. academic press , new york , 1979 .
h.  grosse and r.  wulkenhaar , renormalisation of @xmath99-theory on noncommutative @xmath463 in the matrix base , _ jhep _ * 12 * ( 2003 ) 019 , http://www.arxiv.org/abs/hep-th/0307017[hep-th/0307017 ] .
h.  grosse and h.  steinacker , renormalization of the noncommutative @xmath464 model through the kontsevich model .
h.  grosse and h.  steinacker , a nontrivial solvable noncommutative @xmath464 model in @xmath465 dimensions , http://www.arxiv.org/abs/hep-th/0603052[hep-th/0603052 ] .
e.  langmann , r.  j. szabo , and k.  zarembo , exact solution of noncommutative field theory in background magnetic fields , _ phys .
lett . _ * b569 * ( 2003 ) 95101 , http://www.arxiv.org/abs/hep-th/0303082[hep-th/0303082 ] .
e.  langmann , interacting fermions on noncommutative spaces : exactly solvable quantum field theories in 2n+1 dimensions , _ nucl .
phys . _ * b654 * ( 2003 ) 404426 , http://www.arxiv.org/abs/hep-th/0205287[hep-th/0205287 ] .
v.  rivasseau , _ from perturbative to constructive renormalization_. princeton series in physics .
princeton univ .
princeton , usa , 1991 .
336 p.    p.
k. mitter and p.  h. weisz , asymptotic scale invariance in a massive thirring model with @xmath466 symmetry , _ phys .
* d8 * ( 1973 ) 44104429 .
d.  j. gross and a.  neveu , dynamical symmetry breaking in asymptotically free field theories , _ phys .
* d10 * ( 1974 ) 3235 . c.  kopper , j.  magnen , and v.  rivasseau , mass generation in the large n gross - neveu model , _ commun . math . phys . _
* 169 * ( 1995 ) 121180 .
f.  vignes - tourneret , _ renormalisation des thories de champs non commutatives_. physique thorique , universit paris 11 , september , 2006 .
m. disertori and v.rivasseau , continuous constructive fermionic renormalization , _
annales henri poincar _ * vol . 1 * ( 2000 ) 1 http://www.arxiv.org/abs/hep-th/9802145 [ hep - th/9802145 ] .
v.  rivasseau , _ an introduction to renormalization _ , in poincar
seminar 2002 , ed . by b. duplantier and v. rivasseau .
progress in mathematical physics 30 , birkhuser ( 2003 ) , isbn 3 - 7643 - 0579 - 7 .
a.  lakhoua , f.  vignes - tourneret and j.c .
wallet , one - loop beta functions for the orientable non- commutative gross - neveu model , submitted to jhep .
http://www.arxiv.org/abs/hep-th/0701170 [ hep - th/0701170 ] .