over the past ten years , large ( supersymmetric ) extra dimensions have been subject to an increased attention , providing a simple framework for new cosmological ideas .
motivated by scenarios such as the randall - sundrum model @xcite , physics in the presence of one extra dimension has been extensively analyzed and represents an interesting framework in which effects from the higher dimension can be understood .
nevertheless , just as the dynamics of domain walls in a four - dimensional spacetime is in many ways very different to that of a cosmic string or point particle , the behavior of gravity near codimension - one branes is not representative of that around higher codimensional objects .
models with two large extra dimensions , on the other hand , are capable of tracking some of the more interesting features of higher codimension objects , without introducing complications associated with higher - codimension branes .
six - dimensional ( super)gravity is therefore a choice framework for the study of higher - dimensional effects , and presents remarkable features of its own .
solutions of six - dimensional gravity , have been found in refs .
@xcite , cosmological solutions in @xcite , and the stability of these models has been studied in @xcite . in six - dimensional supergravity , for instance , not only would the hierarchy problem be resolved if these dimensions had a submillimeter size @xcite , but if supersymmetry remained unbroken in the bulk at energies much lower that on the brane , the casimir energy could also be of the same order of magnitude as the observed four - dimensional cosmological constant , @xcite .
another property of codimension - two objects relevant to the cosmological constant problem is their capacity of preserving a flat minkowski induced geometry in the presence of any tension , @xcite .
codimension - two branes in the context of six - dimensional ( super)gravity can therefore provide potential resolutions of two of the most embarrassing problems of current particle physics and cosmology , namely the hierarchy and cosmological constant problems in scenarios where the weinberg s argument has different imports , @xcite . nevertheless , these models are faced with one great obstacle , the necessity of regularizing the brane before any question can be addressed , @xcite .
distributional sources of matter on codimension - two and higher branes are indeed only well - defined as regularized objects , and one can therefore wonder whether any regularization - independent statement can even be made . from a field theory perspective , one expects the low - energy theory on such a brane to be independent of any high - energy regularization scheme , yet as of today , no regularization - invariant scheme has been proposed to study the effective theory on such branes .
the only known work in this direction has been developed by goldberger and wise in 2001 ( see ref .
@xcite ) , where it is pointed out that a field living on a six - dimensional flat spacetime will typically present a pathological behavior if coupling terms were to be introduced on a codimension - two surface .
this pathology can however be removed by appropriate renormalization of the coupling constants . in this paper
, we propose a direct extension to ref .
@xcite , where we analyze couplings between bulk fields , free to live in the entire six dimensions , and brane fields , which are confined to codimension - two branes .
the couplings between the two fields induce pathologies for both fields which can be absorbed by appropriate renormalization .
similar ideas have been proposed as being useful for understanding black hole physics @xcite , post - newtonian corrections @xcite and brane localized kinetic terms @xcite .    in what follows , we first review in section [ sectionii ] the problems arising when dealing with distributional sources on codimension - two branes , the regularization schemes that have been proposed in the literature as well as different sources of confusion which we clarify .
we then explain the philosophy of our approach and discuss the main consequences .
our strategy is applied in section [ section free theory ] , where a scalar field toy - model is considered . in particular
, we analyze couplings between a bulk and a brane scalar field and discuss the renormalization procedure using two different techniques .
the first one makes use of a conical cap to regularize the brane , while the other removes the divergences directly in the propagators .
both methods give rise to the same renormalization group ( rg ) flows .
this analysis is then extended to all possible relevant and marginal couplings in section [ sectioninteractions ] , where the three and four - point functions are computed as well as the loop diagrams . using these couplings
, we also demonstrate that the theory is renormalizable . the second part of this paper is then dedicated to the physical implications . in section [ section em ] ,
we show how the same prescription remains valid when considering the more physical example of interactions between gravity and electromagnetism and finally explores the implications for localized kinetic terms on the brane which are relevant for models such as the dvali - gabadadze - porrati ( dgp ) in section [ section kinetic terms ] .
we show how to make sense of kinetic couplings on the brane and deduce that only fixed functions of the kinetic terms are allowed by the renormalization procedure . after concluding in section [ section conclusion ]
, we consider all possible local counterterms in appendix [ appendix ct ] and argue that no such counterterms can simultaneously absorb the bulk field divergences both in the bulk and on the brane , in complete agreement with our procedure .
using the rg flows obtained for the brane couplings , we finish in appendix  [ appendix generalcase ] by computing the arbitrary @xmath0-point function at all order in loops , and prove that it remains finite in the thin - brane limit , hence justifying that the theory is renormalizable against codimension - two divergences .
in 1987 , geroch & traschen showed that strings and point particles do not belong to the class of metrics whose curvatures are well defined as distributions , @xcite . in their analysis , they considered a string in @xmath1-dimensions to be regularized as a cylinder of radius @xmath2 carrying energy density @xmath3 .
the profile of the gravitational potential @xmath4 is obtained by solving poisson s equation @xmath5 , where @xmath3 vanishes outside the cylinder .
although well - defined when the cylinder has a finite width @xmath2 , it turns out that the gravitational potential @xmath4 is not locally integrable in the thin - brane limit @xmath6 and so strings ( and point particles ) are not permitted as sources in @xmath1-dimensions , unless they are pure tension strings .
issues arising from smoothing out codimension - two branes are also discussed in @xcite .    despite the amount of attention branes
have recently received , mainly motivated by string theory , the situation is unfortunately no different for those objects whose intrinsic codimension is equal or greater to two . from the string theory point of view ,
progress in these areas has mainly been achieved by neglecting the backreaction of such objects , treating them as test particles , the so - called probe - brane approximation . from a cosmological point view
, however , such a procedure would miss some of their most important features and is hence not always satisfying . instead
, much effort has been invested in specific regularizations of the theory , such as models arising from abelian - higgs theory , @xcite , thick brane regularizations , @xcite , capped branes , @xcite , intersecting branes , @xcite , codimension - two branes confined on codimension - one objects @xcite , etc ...    in all of these examples , if the extra dimensions are compact or if an einstein - hilbert term is confined on the brane , one recovers four - dimensional gravity for the zero mode .
however a logarithmic divergence appears in the first kaluza - klein mode as soon as the regularization mechanism is removed ( or the thin - brane limit is taken ) . understanding the significance of this divergence and the consequences for an observer on the brane represents the main objective of this paper .
bulk fields away from a defect should be insensitive to the regularization procedure , but evaluating them on the defect itself requires knowledge of the internal structure of the defect .
the philosophy of this paper is therefore to accept the presence of divergences in the thin - brane limit for bulk fields when evaluated on a codimension - two defect but to ensure that these divergences do not propagate into matter fields confined on the defect .
we will show the validity of an effective field theory for such fields and present how observables on the brane remain finite after appropriate renormalization of the coupling constants .      following the analysis of goldberger and wise @xcite , the brane - to - brane feynman propagator for a massless scalar field living in six - dimensional flat space - time with a conical singularity of deficit angle @xmath7 at @xmath8
is given by [ b - b prop ] d_k(0 ; 0)=-_0^ = - , where @xmath9 is the four - dimensional momentum along the brane direction , ( see eq .   for more details . )
the brane - brane propagator is therefore divergent in the thin - brane limit for which the cutoff @xmath10 is sent to infinity ( or for large physical scale . ) in real space , on the other hand , the free propagator is finite outside the coincidence limit , and the presence of the logarithmic divergence in four - dimensional momentum space is merely a consequence to the fact that the gravitational potential of six - dimensional gravity behaves as @xmath11 in real space .
more precisely , one can express the free brane - to - brane bulk propagator in real space as d(0,x;0,x)&= & _ 0^ + & = & _ 0^ = , where @xmath12 and @xmath13 represent directions tangent to the codimension - two brane and the two - point function is evaluated at @xmath8 along the normal direction . when the integral over the brane momentum @xmath9 is performed before that over the bulk momentum @xmath14
, the two - point function is finite everywhere .
nevertheless , as soon as a source is considered at @xmath8 , the logarithmic behavior of the brane - brane two - point function in momentum space becomes relevant .
this will be seen more concretely in what follows .
we present here two general sources of confusion that usually appear when discovering these logarithmic divergences :    * the first one is related to the nature of the divergence , and the order of magnitude at which it arises . any codimension - two object arises from an underlying theory ( abelian - higgs field theory , string theory or any other underlying theory ) which will naturally provide a regularization mechanism for the brane
. we could hence argue that the notion of thin - brane limit is not physical and one should not be concerned about any thin - brane divergences .
yet , such a argument would be going against the principles of effective field theory ( eft ) .
even though the brane is expected to be regularized at some scale ( the string scale ) , we expect from eft that the low - energy physics is independent of the high - energy regularization mechanism .
in other words , one should not need to understand the physics at string scale in order to understand and make predictions about the low - energy physics . *
faced with this realization , one can hope that introducing brane localized counterterms should remove the logarithmic divergence present in without effecting the bulk propagator .
unfortunately such an approach is too naive in this context , since brane - localized counterterms will not only affect the brane - brane propagator @xmath15 but also the brane - bulk @xmath16 and bulk - bulk propagators @xmath17 which were previously finite .
any attempt to absorb the logarithmic divergence of the brane - brane propagator into brane localized counterterms will then automatically result in the introduction of further divergences .
this argument is made more explicit in appendix [ appendix ct ] , where we consider the most general set of local counterterms ( that remain quadratic in the scalar field ) both in the bulk and on the brane , and show explicitly that no such counterterms will allow the propagator to be finite everywhere .
in the philosophy we will follow , we will thus not attempt to make the bulk field propagator finite everywhere but will rather explore the consequences for observers on the brane .      in a conical space - time , the propagator diverges at the tip of the cone .
the aim of this paper is to explore the consequences for a scalar field living on the tip and coupled to a bulk field .
we expect physically that    1 .
bulk fields evaluated away from the brane should not depend on the regularization mechanism and thus be finite in the thin - brane limit .
bulk fields evaluated on the brane itself are sensitive to the regularization procedure , since the position at which they are evaluated , the position of the brane , is dependent of the regularization .
therefore we do not require bulk fields evaluated on the brane ( at @xmath8 ) to be finite in the thin - brane limit .
brane fields , should have a well defined low - energy theory independent of the brane regularization . as long as the energy scales probed by an observer on the brane are much lower than that of the cutoff theory ,
the physics we will observe should be independent of the regularization , and hence finite in the thin - brane limit .    in this paper
, we will follow this philosophy carefully .
the case of bulk fields with brane couplings was considered in @xcite .
we here extend this analysis to matter fields confined to the brane and draw conclusions for brane observers .
in this section we compute the propagator for scalar fields confined to a codimension - two brane and coupled with a bulk scalar field .
we work in a six - dimensional flat space - time with a conical singularity located at @xmath8 : s^2=x^x^+r^2 + r^2 ^2 , with @xmath18 , and where @xmath19 is the deficit angle ( @xmath20 ) .
a three - dimensional brane is located at the tip of the cone and @xmath21 represents the coordinates along the brane direction .
we use the notation @xmath22 ; @xmath23 ; + @xmath24 and @xmath25 .
this scalar field toy - model represents a good framework for the study of effective theories on codimension - two branes .
the theory is composed of two coupled scalar fields , namely    * the scalar field @xmath26 which symbolizes the bulk fields ( gravity , dilaton , gauge field ... ) and thus lives in six dimensions , * the brane field @xmath27 which symbolizes the matter fields living on the brane ( standard model ) and thus confined to a four - dimensional space - time .
the action for this system can thus be taken to be of the form [ freeaction ] s=-^6 x @xmath28 $ ] , where for simplicity we have assumed the field @xmath26 to be massless in the bulk , but further extensions will be considered in section [ sectioninteractions ] .
the coupling between the bulk and brane fields is symbolized by the term @xmath29 ( which can be set to zero ) .
higher interactions will be considered in section [ sectioninteractions ] .    to make contact with previous works in the literature
, we first consider a specific thick - brane regularization mechanism , and show how the coupling constants can be renormalized in order for the theory to remain finite in the thin - brane limit .
we then explore the renormalization mechanism in a more systematic way by analyzing the different classical two - point functions before turning to interactions and one - loop corrections in the following section .
we point out that both methods will give rise to the same tree - level renomalized couplings .      as a warm up
, we follow a standard technique used in the literature to confine matter fields on a codimension - two brane , namely a thick - brane regularization in which the brane is no longer located at @xmath8 , but rather at @xmath30 .
+    the thin - brane limit is then recovered when @xmath31 .
the action is regularized by [ regaction ] s=-^4 xr r & ( & 12 ( _ r ) ^2 + 12 ( _ ) ^2 + & & + ) , where for simplicity we omit for now any angular dependance .
this leads to the following equations of motions : & & -_r(r (r))+k^2 = -@xmath32(r- ) + & & ( r- ) , [ bdycond ] @xmath33 being the eigenvalue of the four - dimensional dalembertian @xmath34 .
integrating the first equation along the brane gives rise to the following jump condition : [ jump ] .
r (r)|^^+_^-=-@xmath35 .
one can solve for the bulk scalar field separately in the conical cap ( for @xmath36 ) and within the bulk ( @xmath37 ) .
we choose the solution within the cap such that the scalar field remains finite at the tip @xmath8 .
this leads to the following solutions ( r)=\ {    lc a i_0 ( kr ) & r < + i_0 ( kr)+b k_0 ( k r ) & r >    .
, where @xmath38 and @xmath39 are the two modified bessel functions , or hyperbolic bessel functions , and @xmath40 remains finite as @xmath41 . for @xmath42 ,
we have set the coefficient of the divergent bessel function @xmath39 to zero , so that @xmath43 remains finite as @xmath44 . for @xmath37 ,
on the other hand , no such choice has been made and this solution is therefore independent of any other boundary conditions .
these results will thus stand independently to any condition imposed on the fields away from the brane .
the constants @xmath45 and @xmath46 are determined using the boundary condition and the jump condition . in the thin - brane limit , this leads to a&= & , + b&= & , where @xmath47 is the euler number , @xmath48 .
for the bulk scalar field to be well - defined in the thin - brane limit , we require @xmath46 to remain finite when probing large physical scales @xmath49 .
this will only be possible if the logarithmic divergence is reabsorbed into one of the coupling constants @xmath50 or @xmath51 .
furthermore the scalar field @xmath27 should also be well - defined in that limit .
this will thus be the case if both the following quantities remain finite b/&=&-(k^2+m^2 ) + ^-1&=&-(k^2+m^2)+ @xmath52@xmath53 .
the logarithmic divergence can thus be absorbed into the coupling constants by arguing that their renormalized expression is related to their bare value by [ renormcouplingsthick ] _
2= , = m^2=m_b^2 + , where the subscript @xmath54 represents the bare value , and @xmath3 is the physical scale . we therefore get the following renormalization group flows for the brane couplings [ rgflowthick ] = , = = .
notice that we recover the same flow as ref .
@xcite for the coupling @xmath55 which gives rise to a mass term for the bulk field on the brane .
the renormalization of this coupling ensures that the bulk field to be finite away from the tip .
however we wish to emphasize that this procedure does not get rid of the divergence of @xmath26 as @xmath56 .
the point of the renormalization is to make sense of the bulk field away from the tip , however at the tip itself the bulk field diverges logarithmically as explained in section [ sectionii ] which is consistent with our philosophy .
the key point here is that one can still make sense of the brane field @xmath27 ( @xmath27 is finite ) despite its coupling with @xmath26 . in other words , at low - energy , matter fields living on a codimension - two brane are independent of the regularization procedure , even though they couple to gravity and other bulk fields which are themselves ill - defined in the brane in the thin - brane limit .
this is possible through adequate renormalization of the couplings .
the renormalization for the coupling @xmath55 is already known from ref.@xcite .
we show here how the renormalization is extended to the couplings for brane fields . in particular
, we see that as soon as @xmath57 , the brane field acquires a mass .    in this setup
, we have used an artificial thick brane regularization .
more fundamentally , we expect this defect to arise as the result of other fields ( abelian - higgs scalar and gauge field @xmath58 ) , providing a natural regularization .
the fundamental theory is thus of the form = [ ] [ a _ ] [ ] [ ] e^i s_tot [ , a _ , , ] .
the resulting field theory is obtained by integrating out the regularizing fields @xmath59 and @xmath60 . in this picture
, we therefore expect that field loop integrations generate the same tree - level counterterms as those obtained in .    in what follows
, we shall recover the same results using a green s function approach , this uses the same technique as in @xcite .
we will also discuss other interaction terms and show how the same renormalization procedures goes through , leading to a renormalizable theory .      in this section
we adopt a more field theoretic approach and require that the bulk - bulk propagator of the bulk field remains finite as well as the brane field propagator .
we will proceed in three steps :    1 .   we consider first of all the purely free theory for which the bulk and brane fields do not couple and all couplings vanish @xmath61 . in particular
we recover the logarithmic divergence of the bulk field propagator when evaluated on the brane , but this divergence is only present in four - dimensional momentum space .
we then consider the corrections to the bulk field propagators arising from the mass term @xmath55 on the brane .
this situation is precisely that considered in @xcite , and we will follow the same approach . in particular , we will show how this brane coupling induces divergences in the bulk which can be removed by appropriate renormalization of the coupling @xmath55 , hence recovering the same result as in .
we finally consider the corrections to both the bulk and brane field propagators induced by the coupling @xmath62 between the two fields . once again
, these couplings will induce divergences which can be removed by renormalization of @xmath62 and @xmath63 , as in .
\i ) _ free propagators _
+ we concentrate first of all on the purely free theory given by the action [ freeaction2 ] s=-^4 xr  r@xmath64 $ ] .
the propagators for both fields satisfy r^(6d)_x d(x^a , x^a)&= & d(x^a , x^a)=i^(6)(x^a - x^a )   + _ x h(x^ , x^)&=&i^(4)(x^-x^ ) , where @xmath65 is the feynman propagator for @xmath26 and @xmath66 the one for @xmath27 . using a mixed - representation , momentum space along the directions
@xmath21 and real space along the two extra dimensions , the propagators for both fields are simply [ bulk prop ] d_k(r , ; r, ) & = & -_n=-^+_0^ e^i n(-)j_|n|(q r)j_|n|(q r ) + h_k&=&- , where @xmath67 the bessel function of first kind , @xmath68 , and @xmath69 the four - dimensional momentum .    notice that in this representation , in four - dimensional momentum space , the free propagator for @xmath26 is finite when at least one of the points is evaluated in the bulk ( @xmath17 and @xmath16 finite ) but it contains a logarithmic singularity when trying to evaluate both points on the brane . introducing a momentum cutoff scale @xmath10 in the evaluation of the propagator , one has [ b - b prop 2 ] d_k(0,0)=-_0^ = , which has the short distance singularity pointed out in @xcite .
this divergence is usually not a problem since the two - point function is actually finite in real space , ( see section [ sectionii ] ) .
however , as soon as a source is included at @xmath8 , the convolution of this two - point function will not be finite in real space .
we therefore expect this divergence to affect the two - point function of both scalar fields when brane couplings are included .
\ii ) _ corrections from the brane mass term @xmath55 _ + the previous two - point functions were that of the free theory for which the both fields were not coupled .
we can now  dress " these propagators with first of all the coupling @xmath55 : [ coupledaction ] s=-^4 xr  r@xmath70 $ ] .
( 150,30)(-15,35)(0,51)(0,0)*@xmath71 * ( 40,60)(0,0)@xmath72 ( 40,50 ) ( 40,50)(3,0)10 ( 70,50 ) ( 70,60)(0,0)@xmath73 ( 85,49.5)(0,0)@xmath74 ( 100,60)(0,0)@xmath72 ( 100,50 ) ( 100,50)(10,0)3(1,0)7 ( 130,50 ) ( 130,60)(0,0)@xmath73 ( 140,49.5)(0,0)@xmath75 ( 155,60)(0,0)@xmath72 ( 155,50 ) ( 155,50)(10,0)3(1,0)7 ( 185,50)(10,0)3(1,0)7 ( 215,50 ) ( 215,60)(0,0)@xmath73 ( 185,60)(0,0)@xmath76 ( 185,50 ) ( 215,50 ) ( 185,40)(0,0)@xmath55 ( 230,50)(0,0)@xmath77 ( 245,60)(0,0)@xmath72 ( 245,50 ) ( 245,50)(10,0)3(1,0)7 ( 275,50)(10,0)3(1,0)7 ( 305,50)(10,0)3(1,0)7 ( 335,50 ) ( 335,60)(0,0)@xmath73 ( 305,60)(0,0)@xmath76 ( 275,60)(0,0)@xmath76 ( 305,50 ) ( 275,50 ) ( 305,40)(0,0)@xmath55 ( 275,40)(0,0)@xmath55 ( 350,51)(0,0)@xmath77 ( 370,50)(0,0)@xmath78    the propagator for the brane field @xmath27 remains unaffected while that for the bulk field @xmath26 gets modified to d_k(r , r)&=&d_k(r , r)-i_2 d_k(r,0 ) d_k(0,r)+ i^2_2 ^ 2 d_k(0,0 ) d_k(r,0 ) d_k(0,r)+ + & = & d_k(r , r)- d_k(r,0 ) d_k(0,r ) , as symbolized in fig .
[ figlamdba2 ] .
if @xmath15 was finite , this bulk field propagator would be finite at tree level as one should expect from usual field theory . in the presented case
, the logarithmic divergence of @xmath15 needs to be absorbed in the coupling constant @xmath55 in the following way : [ lambda2 renorm ] _ 2()= , so that this coupling constant flows as = .
we point out that this renormalization ensures the two - point function @xmath79 to be finite away from the brane .
however , both the bulk - brane and the brane - brane two point functions remain ill - defined : both @xmath80 and @xmath81 contains a logarithmic dependence . once again
, this is to be expected since evaluating the bulk two - point function on the brane requires knowledge about the exact brane position ( see section [ sectionii ] ) .
\iii ) _ corrections from the coupling between the two fields _ + finally , we consider the corrections to these propagators arising from the coupling @xmath62 between the bulk and brane fields : [ coupledaction2 ] s=-^4 xr  r@xmath82 $ ] . the tree level green s functions for this coupled theory are symbolically represented in fig .
[ treelevel ] .
( 150,40)(20,-5 ) ( 5,60)(0,0)@xmath72 ( 5,50 ) ( 5,50)(3,0)15 ( 27.5,50 ) ( 50,50 ) ( 50,60)(0,0)@xmath73 ( 65,49.5)(0,0)@xmath74 ( 80,60)(0,0)@xmath72 ( 80,50 ) ( 80,50)(3,0)15 ( 125,50 ) ( 125,60)(0,0)@xmath73 ( 140,49.5)(0,0)@xmath77 ( 155,60)(0,0)@xmath72 ( 155,50 ) ( 155,50)(3,0)10 ( 185,49.5)(1,0)30 ( 215,50)(3,0)10 ( 245,50 ) ( 245,60)(0,0)@xmath73 ( 185,60)(0,0)@xmath76 ( 215,60)(0,0)@xmath76 ( 185,50 ) ( 215,50 ) ( 185,40)(0,0)@xmath62 ( 215,40)(0,0)@xmath62 ( 260,50)(0,0)@xmath77 ( 275,60)(0,0)@xmath72 ( 275,50 ) ( 275,50)(3,0)10 ( 335,50)(3,0)10 ( 395,50)(3,0)10 ( 305,50)(1,0)30 ( 365,50)(1,0)30 ( 425,50 ) ( 425,60)(0,0)@xmath73 ( 305,60)(0,0)@xmath76 ( 335,60)(0,0)@xmath76 ( 365,60)(0,0)@xmath76 ( 395,60)(0,0)@xmath76 ( 305,50 ) ( 335,50 ) ( 365,50 ) ( 395,50 ) ( 305,40)(0,0)@xmath62 ( 335,40)(0,0)@xmath62 ( 365,40)(0,0)@xmath62 ( 395,40)(0,0)@xmath62 ( 440,51)(0,0)@xmath77 ( 460,50)(0,0)@xmath78 ( 5,0 ) ( 5,0.1)(1,0)45 ( 50,0 ) ( 27.5,0 ) ( 65,0.5)(0,0)@xmath74 ( 80,0 ) ( 80,0.1)(1,0)45 ( 125,0 ) ( 140,0.5)(0,0)@xmath77 ( 155,0 ) ( 155,0.1)(1,0)30 ( 185,10)(0,0)@xmath76 ( 230,10)(0,0)@xmath76 ( 185,0)(3,0)15 ( 230,0.1)(1,0)30 ( 260,0 ) ( 185,-10)(0,0)@xmath62 ( 230,-10)(0,0)@xmath62 ( 185,0 ) ( 230,0 ) ( 207.5,0 )     +    by summing these diagrams , we obtain the following tree - level green s functions g^_k(r , r ) & = & d_k(r , r)-^2 d_k(r,0)d_k(0,r ) h_k _
n0(-^2)^nd_k(0,0)^n h_k^n + & = & d_k(r , r)-d_k(r,0)d_k(0,r ) + & = & d_k(r , r)-d_k(r,0 ) d_k(0,r ) + g^_k&=&h_k@xmath83= + & = & .
notice that there is now also a mixed two - point function for the bulk and brane fields : g^_k(r)=(r ) , = - .    here again ,
if @xmath15 was finite , both green s functions would be finite at the tree level as one expects in usual field theory . in the presented case
, the logarithmic divergence of @xmath15 needs to be absorbed in the coupling constants .
these propagators will thus remain finite in the thin brane limit ( for @xmath84 ) , provided the coupling constants are renormalized as follows : [ renormcouplings ] _
2()= , ( ) = , + [ renormcouplingsm ] m^2()=m^2()- , leading to the following rg flows = , = = . we therefore recover precisely the same relations between the bare and renormalized coupling constants as in the thick brane analysis and the same rg flows .
this is a non - trivial check of our prescription .
notice that @xmath85 , @xmath86 and @xmath87 are still divergent in the four - momentum representation , but the two - point function of the brane field @xmath88 has been made completely finite , and so are @xmath89 and @xmath90 , for @xmath91 .    in summary , we find that by renormalizing the tree - level theory , the propagators of the field on the branes are finite , and the propagator in the bulk are only divergent when one point is evaluated on the brane ( and in the coincident limit ) . thus there is a consistent effective field theory on the brane and matter can be considered on a codimension - two brane in a completely meaningful regularization - invariant way .
this will have important implications for observers on such a brane . before attacking this argument ,
let us consider in what follows all possible relevant and marginal interactions between a bulk and a brane field .
we consider here an extension of the precedent toy - model where further couplings are taken into account .
the effective field theory approach will remain completely consistent after the appropriate tree - level renormalization of the couplings .
we also expect uv divergences to be present in loop corrections , but these can be dealt with through the usual uv renormalization mechanism .    in order to avoid issues related to the uv divergences , ( which are independent of the fact that we consider a codimension - two brane ) , we restrict ourselves to the relevant and marginal operators .
the most general brane interactions are then s=-^6x , with ^int_= _ 3 ^3 + _ 4 ^4+_3 ^2 , where the coupling @xmath92 is relevant while @xmath93 and @xmath94 are marginal .    for each diagram in this theory ,
we expect two sorts of divergences to arise :    * the ones associated with the usual uv divergences which appear in four dimensions when integrating over loops , * the short - distance divergences associated with the thin - brane limit .    from standard four - dimensional eft
, it is a well - known fact that the interactions of the type @xmath95 will induce uv divergences in the one - loop correction of both the two - point function and the four - point functions .
these divergences can be absorbed by renormalization of the mass @xmath63 , the coupling @xmath93 as well as the wave - function .
however , such divergences can be treated in a completely independent way to that arising at the tree - level in our codimension - two scenario .
interactions of the form @xmath96 , for instance will typically induce divergences in the thin - brane limit which can be absorbed by appropriate renormalization of the coupling @xmath97 , this will be studied in the three - point functions in what follows .
( 150,80)(0,-40 ) ( -10,60)(0,0)@xmath98 ( 35,60)(1,0)30 ( 75,65)(2,1)20 ( 75,55)(2,-1)20 ( 50,60 ) ( 85,70 ) ( 85,50 ) ( 25,60)(0,0)@xmath74 ( 110,60)(0,0)@xmath74 ( 130,60)(0,0)@xmath99 ( 230,60)(0,0)@xmath100 ( 350,60)(0,0)@xmath101 ( 145,60)(1,0)30 ( 175,60)(1,1)15 ( 175,60)(1,-1)15 ( 160,60 ) ( 183,68 ) ( 183,52 ) ( 260,60)(1,0)15 ( 268,60 ) ( 290,60)(1,1)15 ( 290,60)(1,-1)15 ( 298,68 ) ( 298,52 ) ( 65,55)(0,1)10 ( 75,55)(0,1)10 ( 65,55)(1,0)10 ( 65,65)(1,0)10 ( 275,60)(3,0)6 ( -10,-10)(0,0)@xmath102 ( 75,-5)(2,1)20 ( 75,-15)(2,-1)20 ( 85,0 ) ( 85,-20 ) ( 25,-10)(0,0)@xmath74 ( 110,-10)(0,0)@xmath74 ( 145,-10)(3,0)7 ( 154,-10 ) ( 35,-10)(3,0)10 ( 50,-10 ) ( 330,-10)(3,0)7 ( 339,-10 ) ( 130,-10)(0,0)@xmath99 ( 225,-10)(0,0)@xmath103 ( 310,-10)(0,0)@xmath104 ( 415,-10)(0,0)@xmath77 perm.@xmath105 ( 165,-10)(1,0)15 ( 180,-10)(1,1)15 ( 180,-10)(1,-1)15 ( 188,-2.5 ) ( 188,-17.5 ) ( 265,-10)(1,1)15 ( 265,-10)(1,-1)15 ( 273,-2.5 ) ( 273,-17.5 ) ( 350,-10)(1,0)10 ( 360,-9.5)(1.5,1.5)5 ( 367,-2)(1,1)10 ( 360,-10)(1,-1)15 ( 372,2.5 ) ( 368,-17.5 ) ( 65,-15)(0,1)10 ( 75,-15)(0,1)10 ( 65,-15)(1,0)10 ( 65,-5)(1,0)10 ( 245,-9.5)(3,0)7 ( 254,-10 )    the diagrams involved in the three - point functions are summarized in fig .
[ 3pt ] . summing these diagrams
, we get , for @xmath106 , g^_k_1 , k_2 , k_3&=&_k_1 _ k_2 _ k_3 + & = & ( -i)@xmath107 + g^_k_1 , k_2 , k_3(r)&= & _ k_1(r ) _ k_2 _ k_3 + & = & ( -i)(6 _ 3 g^_k_1(r)g^_k_2g^_k_3 + 2_3 g^_k_1(r,0 ) g^_k_2g^_k_3 + & &  + 2 _ 3g^_k_1(r)@xmath108 ) , where the factor @xmath109 arises from the first order expansion of @xmath110 .
notice that after appropriate renormalization of @xmath62 , @xmath51 and @xmath55 , the propagators @xmath111 and @xmath112 have been made finite , however the bulk quantities evaluated on the brane @xmath113 and @xmath114 are a priori ill - defined . once again , this divergence would propagate into the three - point function for the brane field , had we not renormalized the couplings @xmath92 and @xmath94 . upon simplification of the previous expression
, we find that the divergent part of @xmath115 is proportional to _ k_1 _ k_2 _ k_3_div & & @xmath116 , so that the coupling @xmath92 should be renormalized as [ beta3 ] _
3()- d_k(0,0 ) + = _
3()- , for any @xmath9 , and where we recall that the coupling @xmath62 has been renormalized in such a way that @xmath117 is finite ( see eqs .  ( [ renormcouplings],[renormcouplingsm ] ) . )
the divergent part of @xmath118 is then proportional to _
k_1(r ) _ k_2 _ k_3_div & & .
this divergence will thus be absorbed if the coupling @xmath94 is renormalized as [ rgflow3 ] _ 3()&= & , and so [ beta3_2 ] _
3()=_3()+ , notice that this renormalization of @xmath94 is precisely the one that ensures the renormalized coupling @xmath92 in eq .   to be independent of the four - momentum @xmath9 .
after renormalization , the quantity @xmath119 is therefore finite [ 3ptfinite ] _
@xmath120=0 which corresponds to the following flows for @xmath92 and @xmath94 = = .
once again , this tree - level renormalization leads to a perfectly well - defined notion of the three - point functions @xmath121 and @xmath122 , as long as @xmath72 is not evaluated on the brane and we work outside the coincidence limit .
furthermore , this renormalization of these coupling constants @xmath92 and @xmath94 also ensures that the two additional three - point functions @xmath123 and @xmath124 are finite ( for @xmath125 ) .
indeed , we have , for @xmath106 , & & g^_k_1,k_2,k_3(r_1,r_2)=_k_1(r_1 ) _ k_2(r_2)_k_3 + & & = -i(6 _ 3 g^_k_1(r_1 ) g^_k_2(r_2 ) g^_k_3 + 2 _ 3 g^_k_1(r_1 ) g^_k_2(r_2 ) g^_k_3(0 ) + & & + 2 _ 3 @xmath126 g^_k_3 ) + & & = -2i g^_k_3_i=1 ^ 2 g^_k_i(r_i)(3 _ 3 ( ) -_3 ( ) -_i=1 ^ 2 ) + & & = -2i g^_k_3_i=1 ^ 2 g^_k_i(r_i ) ( 3_3()-_3()_i=1 ^ 3 + & & + _
i=1 ^ 2 ) , which , in terms of the renormalized coupling constants , is clearly finite .
the last three - point function can be expressed in a similar way : & & g^_k_1,k_2,k_3(r_1,r_2,r_3)=_k_1(r_1 ) _
k_2(r_2)_k_3(r_3 ) + & & = -i@xmath127(6 _ 3 + 2 _ 3 _ i=1 ^ 3 ) + & & = -2i @xmath127 _ i=1 ^ 3 , and is therefore also completely finite .
this result is already non - trivial as it stands , since all four three - point functions have been made finite by simple tree - level renormalization of the two coupling constants @xmath92 and @xmath94 .
we can however push this analysis even a step further by studying the implications for the four - point functions as well as the loop corrections to the two - point functions .
the classical contributions to the four - point function @xmath128 are symbolically represented in fig .
[ 4pt ] .    summing these diagrams ,
we get for @xmath129 , & & g^_k_1,k_2,k_3,k_3= _ k_1
_ k_2_k_3_k_4 + & & = @xmath130,where we recall again that the factor @xmath109 and @xmath131 arise from the expansion to first order ( resp .
second order ) of @xmath110 .
the sum over perm@xmath132 is the one over the three permutations @xmath133 , for which @xmath134 .
( 150,90)(-10,-65)(-20,60)(0,0)[l]@xmath135 ( -20,-40)(0,0)[l]@xmath136 ( 60,60)(-1,1)10 ( 60,60)(-1,-1)10 ( 60,60)(1,1)10 ( 60,60)(1,-1)10 ( 55,55 ) ( 65,55 ) ( 55,65 ) ( 65,65 ) ( 165,60)(-1,1)10 ( 160,65 ) ( 165,60)(-1,-1)10 ( 160,55 ) ( 165,60)(1,0)15 ( 172,60 ) ( 180,60)(1,1)10 ( 185,65 ) ( 180,60)(1,-1)10 ( 185,55 ) ( 277,60)(-1,1)10 ( 277,60)(-1,-1)10 ( 277,60)(2,0)7(290,60)(1,0)10 ( 300,60)(1,1)10 ( 300,60)(1,-1)10 ( 272,55 ) ( 272,65 ) ( 295,60 ) ( 305,55 ) ( 305,65 ) ( 344,66)(-1,1)10 ( 350,60)(-1,-1)10 ( 350,60)(1,0)10 ( 360,60)(1,1)10 ( 360,60)(1,-1)10 ( 350,60)(-1,1)7(345,55 ) ( 340,70 ) ( 355,60 ) ( 365,55 ) ( 365,65 ) ( 334,76 ) ( 190,10)(-1,1)10 ( 190,10)(-1,-1)10 ( 190,10)(2,0)6(195,10)(200,10)(1,1)10 ( 200,10)(1,-1)10 ( 185,15)(185,5)(205,15)(205,5 ) ( 249,16)(-1,1)10 ( 255,10)(-1,-1)10 ( 255,10)(1,0)10 ( 265,10)(1,-1)10 ( 271,16)(1,1)10 ( 255,10)(-1,1)7(265,10)(1,1)7(250,5 ) ( 245,20 ) ( 260,10 ) ( 270,5 ) ( 275,20 ) ( 239,26 ) ( 281,26 ) ( 322,10)(-1,1)10 ( 322,10)(-1,-1)10 ( 322,10)(2,0)7(335,10)(1,0)10 ( 351,16)(1,1)10 ( 345,10)(1,-1)10 ( 317,5 ) ( 317,15 ) ( 340,10 ) ( 350,5 ) ( 355,20 ) ( 345,10)(1,1)7 ( 361,26 ) ( 30,60)(0,0 ) @xmath137 ( 87,50)(0,0)[l ] @xmath138 ( 70,60)(0,0)[l ] @xmath139 ( 133,60)(0,0 ) @xmath140 ( 230,60)(0,0)@xmath141 ( 320,60)(0,0)@xmath142 ( 385,60)(0,0)@xmath105 ( 130,10 ) ( 0,0)[l]@xmath143 ( 220,10)(0,0)[l]@xmath144 ( 290,10)(0,0)[l]@xmath144 ( 370,10)(0,0)[l]@xmath145 $ ] ( 60,-40)(-1,1)10 ( 60,-40)(-1,-1)10 ( 60,-40)(1,1)10 ( 60,-40)(1,-1)10 ( 55,-45 ) ( 65,-45 ) ( 55,-35 ) ( 65,-35 ) ( 140,-35)(-1,1)10 ( 140,-45)(-1,-1)10 ( 175,-35)(1,1)10 ( 175,-45)(1,-1)10 ( 150,-40)(1,0)15 ( 140,-35)(1,0)10(140,-45)(1,0)10(140,-35)(0,-1)10(150,-35)(0,-1)10 ( 165,-35)(1,0)10(165,-45)(1,0)10(165,-35)(0,-1)10(175,-35)(0,-1)10 ( 135,-30 ) ( 135,-50 ) ( 180,-30 ) ( 180,-50 ) ( 157,-40 ) ( 240,-40)(-1,1)10 ( 240,-40)(-1,-1)10 ( 240,-40)(2,0)6(250,-40)(1,1)10 ( 250,-40)(1,-1)10 ( 235,-35)(235,-45)(255,-35)(255,-45 ) ( 30,-40)(0,0 ) @xmath137 ( 87,-50)(0,0)[l ] @xmath138 ( 70,-40)(0,0)[l ] @xmath146 ( 190,-40 ) ( 0,0)[l]@xmath147 ( 270,-40 ) ( 0,0)[l]@xmath148 $ ]    we now recall that the product of the two three - point functions @xmath149 is _ finite _ ( after appropriate renormalization of the couplings @xmath92 and @xmath94 in ) and is given by & & _ u= _ k_u_1_k_u_2_k_u_k_u_3_k_u_4_k_u + & & = -@xmath150 ^ 2@xmath151@xmath152 @xmath153 + & & = -(6 ^ 2 _ 3 ^ 2 g^_k_u+12 _ 3 _ 3 g^_k_u _
i=1 ^ 4 + 24 _ 3 _ 3 g^_k_u(0 ) + 4_3 ^ 2 g^_k_u(0)_i=1 ^ 4 + & & + 4 _ 3 ^ 2g^_k_u_i = u_1,u_2_j = u_3,u_4 + 4_3 ^ 2 ) g^_k_u @xmath130.as shown symbolically in fig .
[ 4pt ] , after appropriate recombination of these different contributions , we can reexpress this four - point function as a finite product of these two renormalized three - point function plus a divergent piece which fixes the renormalization of the coupling @xmath93 : g^_k_1,k_2,k_3,k_4 & = & _ perm_u\{_u + 4(-i)^2_3 ^ 2@xmath130 } + & & + 4!(-i)_4@xmath154 + [ 4ptfunc ] & = & _ perm_u\{_u + @xmath154}. all terms in the previous expressions are finite apart from the ones in square brackets .
the divergence of this term can once again be absorbed into @xmath93 using the following appropriate renormalization [ beta4 ] _
4()-2_3 ^ 2()d_k(0,0)&= & _ 4()- + & = & _ 4()- , the renormalized coupling @xmath93 must flow as _
_ 4()=. in other words , as soon as cubic interactions between the bulk and the brane field are introduced , a quartic interaction for the brane field is spontaneously generated classically .
this is familiar for standard eft .
we can also carefully check using exactly the same technique as previously that this renormalization of the coupling @xmath93 also ensures that all remaining four - point functions @xmath155 , @xmath156 , @xmath157 and @xmath158 are completely finite classically ( provided the bulk field is evaluated away from the brane ) , g^_k_1,k_2,k_3,k_4(r ) & = & _ perm_u\ { g^_k_u_1,k_u_2,k_u(r)g^_k_u_3,k_u_4,k_u + & & -4g^_k_1(r)@xmath159 } + g^_k_1,k_2,k_3,k_4(r_1,r_2 ) & = & g^_k_1,k_2,k_1+k_2(r_1,r_2)g^_k_3,k_4,k_1+k_2 + & & + g^_k_1,k_3,k_1+k_3(r_1)g^_k_2,k_4,k_1+k_3(r_2 ) + ( 34 ) + & & -(4+(34 ) + & & + 4 ) @xmath160@xmath161g^_k_1,k_2,k_3,k_4(r_1,r_2,r_3 ) & = & _ perm_u\ { g^_k_u_1,k_u_2,k_u(r_u_1,r_u_2)g^_k_u_3,k_4,k_u(r_u_3 ) + & & -4@xmath162 g^_k_4 } + g^_k_1,k_2,k_3,k_4(r_1,r_2,r_3,r_4 ) & = & _ perm_u\ { g^_k_u_1,k_u_2,k_u(r_u_1,r_u_2)g^_k_u_3,k_u_4,k_u(r_u_3,r_u_4 ) + & & -4@xmath163 } .
each of these four - point functions introduces a combination of the couplings which is completely finite once they have been renormalized as specified previously ( @xmath164 is finite ) .
this non - trivial check ensures that our proposal makes sense at least at the classical level up to the four - point function . before discussion the general renormalizability of this theory for higher point functions , we present in what follows an insight into the situation at the quantum level , when loops are taken into account .      at the loop level
, we expect from standard field theory in four dimensions , that uv divergences will arise from the momentum integral over the loop .
however no further divergences arise from the codimension - two nature of the theory , and the counterterms required to absorb the divergences are thus the usual one of four - dimensional field theory .    to start with
, we concentrate on the two - point function of the brane field @xmath27 . at first order in loops , ( second order for @xmath92 and @xmath94 ) one
1loop =  _ loop(p , k )  g^_k g^_k , with the integrand @xmath165 being the sum over the different loop configurations : _
loop(p , k)&= & g^_pg^_k - p@xmath166 ^ 2 + & & g^_kg^_0@xmath167 ^ 2 + & & + 4 _ 3 ^ 2@xmath168 + ( -i)_4 g^_p , where for simplicity we have used the notation @xmath169 .
this expression can be most easily interpreted as finite products of three - point functions and extra terms as symbolized in fig .
[ figloops ] [ loop1 ] _
loop(p , k ) & = & -12 -12 + & & -2 g^_k - p -2g^_p + & & -2 g^_p .
( 150,100)(-50,-10)(-40,60)(0,0)[l]@xmath170 ( 125,60)(0,0)[l]@xmath171 ( 248,60)(0,0)[l]@xmath172 ( 20,10)(0,0)[l]@xmath171 ( 170,10)(0,0)[l]@xmath173 ( 365,60)(0,0)[l]@xmath148 $ ] ( 300,10)(0,0)[l]@xmath148 $ ] ( 65,60 ) ( 1,0)52 ( 91,68 ) ( 78,60 ) ( 104,60 ) ( 91,76 ) ( 180,60)(1,0)60 ( 210,60)(26,20)[t ] ( 186,60 ) ( 234,60 ) ( 210,70 ) ( 210,60 ) ( 196,60 ) ( 224,60 ) ( 192,56)(0,1)8 ( 200,56)(0,1)8 ( 192,56)(1,0)8 ( 192,64)(1,0)8 ( 220,56)(0,1)8 ( 228,56)(0,1)8 ( 220,56)(1,0)8 ( 220,64)(1,0)8 ( 315,60)(2,0)13(295,60)(1,0)20 ( 341,60)(1,0)20 ( 328,60)(26,20)[t ] ( 305,60 ) ( 328,70 ) ( 351,60 ) ( 90,0 ) ( 1,0)60 ( 120,0)(0,1)22 ( 120,30 ) ( 100,0 ) ( 140,0 ) ( 120,38 ) ( 120,11 ) ( 116,-4)(0,1)8 ( 124,-4)(0,1)8 ( 116,-4)(1,0)8 ( 116,4)(1,0)8 ( 116,18)(0,1)8 ( 124,18)(0,1)8 ( 116,18)(1,0)8 ( 116,26)(1,0)8 ( 120,0 ) ( 120,22)(220,0 ) ( 1,0)60 ( 250,30 ) ( 230,0 ) ( 270,0 ) ( 250,38 ) ( 250,0)(0,2)12    to clarify the discussion , we denote by @xmath10 , the cutoff scale associated with the codimension - two brane thickness , or equivalently with the integration over the momentum along the extra dimensions , while @xmath174 designates the standard four - dimensional momentum cut - off scale , in the loop integration is cutoff at the scale @xmath174 : @xmath175 . clearly these two scales could be associated with one another , simply representing the scale at which uv physics becomes important .
however for sake of simplicity , we distinguish for now between these two quantities and assume that in general they could be different . in this scenario ,
the couplings are then flowing along two distinct directions @xmath10 and @xmath174 , and we focus our attention on the flow along the @xmath10 direction .    on simple dimension grounds , we expect that the loop integral over @xmath176 will diverge logarithmically , and the one - loop contribution to the two - point function has thus a cutoff dependence of the form @xmath177 which should be absorbed by introduction of a mass counterterm of the form @xmath178 .
this is standard procedure in four - dimensional field theory .
we are however more concern here on the dependence of the other cutoff @xmath10 . @xmath94 and @xmath92
have been renormalized in , such that the three - point function @xmath121 is finite so the first line of is clearly finite .
although the rest of expression includes divergent terms of the form @xmath179 , the combination involved @xmath180 $ ] is precisely the combination that appeared in the expression of four - point function ( [ 4ptfunc ] , [ beta4 ] ) , and is thus also finite .
notice furthermore that the one - loop correction to the two remaining two - point functions @xmath181 and @xmath182 will be also be finite in the thin - brane limit ( once the loop divergences associated with @xmath174 have been taken care of ) , as shown explicitly for the four - point function .
however a non - trivial feature emerges from the computation of the one - loop corrections .
the expression involves terms of the form @xmath183 which also diverges logarithmically , but this time this divergence is instead associated with a ir behaviour . in this toy - model ,
the origin of this ir divergence is related to the fact that the bulk field @xmath26 is massless , but would disappear as soon as a small mass @xmath184 was introduced .
however , if the bulk field is to mimic the graviton , this field should remain massless .
physically , such ir divergences can be removed in the same way as in quantum electrodynamics , see ref .
@xcite .      to complete this section
, we argue that this scalar field toy - model is renormalizable , provided that only relevant and marginal operators are considered .
since no coupling of the form @xmath185 , @xmath186 is introduced , any further @xmath0-point function will necessarily be composed of only reducible diagrams and will thus be expressible in terms of lower - dimensional @xmath187-point functions ( @xmath188 . ) since we have shown that all of these @xmath187-point functions are finite at the classical level , any further @xmath0-point function will thus automatically be finite , without any further counterterms .
we make this argument more concrete by exploring the five - point function , and showing explicitly that it remains finite in the thin - brane limit if @xmath93 is renormalized as in . a completely general argument for an arbitrary @xmath0-point function
can be found in appendix  [ appendix generalcase ] . in particular
we show that the same will remains true at the level of any @xmath0-point function .
the theory will thus be renormalizable , as one can expect from standard four - dimensional field theory intuition .
the contributions to the five - point function are symbolized in fig.[fig5pt ] .
( 150,70)(-20,40)(-20,60)(0,0)[l]@xmath189 ( 130,60)(0,0)[l]@xmath190 ( 270,60)(0,0)[l]@xmath191 ( 360,60)(0,0)[l]@xmath148 $ ] ( 90,64 ) ( -1,1)10 ( 90,56 ) ( -1,-1)10 ( 94,60 ) ( 1,0)30 ( 114,60)(1,1)10 ( 114,60)(1,-1)10 ( 85,69 ) ( 85,51 ) ( 104,60 ) ( 120,60 ) ( 120,66 ) ( 120,54 ) ( 86,56)(0,1)8 ( 94,56)(0,1)8 ( 86,56)(1,0)8 ( 86,64)(1,0)8 ( 210,64 ) ( -1,1)10 ( 210,56 ) ( -1,-1)10 ( 234,64 ) ( 0,1)10 ( 258,64 ) ( 1,1)10 ( 258,56 ) ( 1,-1)10 ( 238,60 ) ( 1,0)16 ( 214,60 ) ( 1,0)16 ( 205,69 ) ( 205,51 ) ( 222,60 ) ( 234,69 ) ( 246,60 ) ( 263,69 ) ( 263,51 ) ( 206,56)(0,1)8 ( 214,56)(0,1)8 ( 206,56)(1,0)8 ( 206,64)(1,0)8 ( 230,56)(0,1)8 ( 238,56)(0,1)8 ( 230,56)(1,0)8 ( 230,64)(1,0)8 ( 254,56)(0,1)8 ( 262,56)(0,1)8 ( 254,56)(1,0)8 ( 254,64)(1,0)8 ( 320,64 ) ( -1,1)10 ( 320,56 ) ( -1,-1)10 ( 324,60 ) ( 1,0)15 ( 349,60)(1,1)10 ( 349,60)(1,-1)10 ( 339,60)(0,1)10 ( 315,69 ) ( 315,51 ) ( 331,60 ) ( 355,66 ) ( 355,54 ) ( 339,65 ) ( 316,56)(0,1)8 ( 324,56)(0,1)8 ( 316,56)(1,0)8 ( 316,64)(1,0)8 ( 339,60)(2,0)5    summing these diagrams , we obtain g^^5_k_1,,k_5&= & + & & + @xmath192g^_(k_4+k_5),k_4,k_5_i=1 ^ 3g^_k_i + & & =  5 !
ig^_(k_4+k_5 ) , k_4 , k_5 , where for simplicity we have used a specific momentum configuration , but the counting takes in account all possible permutations .
the first line of the pervious expression is trivially finite , while the second line is finite only if the terms proportional to @xmath93 and @xmath193 contribute with appropriate coefficients .
as can be seen in the third line of this expression , the contribution from these terms is also finite as @xmath93 is renormalized precisely so as to have @xmath194 finite .
the five - point function is therefore finite at the classical level and no counterterms ought to be added .
this result will remain valid for any other five - point functions ( including the ones with bulk external fields @xmath195 , etc . ) , as well as for any higher @xmath0-point function and their loop corrections , ( see appendix  [ appendix generalcase ] ) .
this represents a highly non - trivial check and leads to the conclusion that the theory is completely renormalizable against divergences associated with the codimension - two source .
in this section , we consider the more physical scenario of a massless gauge field @xmath60 confined to the brane and coupled to gravity . this represents a more realistic framework to study the coupling between gravity and electromagnetism .
we start with the following six - dimensional action s^(em)=^6 x , with @xmath196 . in what follows we work at linear order in perturbations around a flat conical background : s^2= g_a b x^a
x^b = r^2+r^2 ^2+@xmath197x^x^ , where we work in de donder gauge , @xmath198 .
since the stress - energy for radiation is transverse , we will have @xmath199 .
the einstein s equations impose g_&= & ^2 t_^em +
-12 ^(6 ) h_&= & -^2@xmath200 .
using results from the previous sections , we know that @xmath201 will diverge logarithmically when evaluated at @xmath8 [ induced h ] h_(0)= @xmath202(f_f_^  -1 4 f^2 _ ) , where @xmath47 is the euler number and @xmath203 represents the thin - brane limit .
this will affect the equation of motion for the photon : _
f^&=&@xmath204@xmath205@xmath206 + & = & [ maxwell1 ] _
f^-_@xmath207=0 , where in the second line , all index raising is performed with respect to the background flat metric @xmath208 .
we remember that in the previous expression , @xmath209 represents the induced value of the metric perturbation evaluated on the brane and thus diverges logarithmically in the thin - brane limit .
if this was the end of the story , then photons would be very sensitive to the brane thickness @xmath2 even at low - energy .
however , we have learned from section [ section free theory ] , that as soon as a coupling @xmath62 is introduced between brane and bulk fields , this spontaneously generates a mass term @xmath63 for the brane field at the classical level .
the situation is no different here , and the logarithmic divergence of @xmath210 on the brane will spontaneously generate @xmath211 terms on the brane .
more precisely , let us consider the euler - heisenberg brane action s_(brane)=-x^4 , so that the maxwell s equations are modified to
_ f^-_@xmath207-_1 _
@xmath212-_2 _ @xmath213=0 . substituting the expression for the perturbed metric on the brane
, we obtain _ f^ & + & @xmath214-_1 _ @xmath215 + & -&@xmath216+_2 _ @xmath217=0 . the divergence of the graviton can thus be absorbed in the two couplings @xmath218 and @xmath219 : _ 1()=_1()+ and _ 2()=_2()- , leading to the following rg flows _
_ 1 ( ) = -1 4  _ _ 2 ( ) = .
the generation of @xmath211 terms on the brane at the classical level ensures that a photon confined to a codimension - two brane and interacting with a gravitational wave will not evolve in a regularization - dependent way .
in particular , this mechanisms ensures that at low - energy , there is a well defined thin - brane limit description of the codimension - two brane .
of course once , @xmath211 terms are introduced , they will in turn introduce divergences on the brane , which should be absorbed with higher order terms .
the proper finite theory will hence include a infinite series .
as a last intriguing physical implication , we consider in this section the consequences for localized kinetic terms on the brane .
localized kinetic terms are of importance when considering brane - induced einstein - hilbert terms , where the action is typically of the form s= ^d x r_(d ) + ^4 x @xmath220 .
the induced einstein - hilbert term @xmath221 term is expected to be spontaneously generated at the quantum level , and represents a natural mechanism to localize gravity on a four - dimensional surface when the extra dimensions are flat and infinite @xcite .
such models also represent a physical realization of the degravitation process ( see ref .
@xcite ) , since in such scenarios gravity becomes fully higher - dimensional at long wavelengths , hence providing a potential explanation for the observed value of the cosmological constant .
such models are also enriched with an additional interesting feature namely the possibility of having self - accelerating branches @xcite ( see refs .
@xcite for ghost - free realizations ) .
although such models are usually considered in the context of one large extra dimension , a simultaneous resolution of the hierarchy problem usually requires at least two extra dimensions @xcite , and the degravitation observed in the presence of only one extra dimension is only marginal .
understanding this scenario in the presence of two extra dimensions is therefore an important next step . in what follows
, we examine the consequences of such kinetic terms in a scalar field toy - model .
we consider a massless scalar field @xmath26 living in a six - dimensional flat space - time with induced kinetic terms on a codimension - two brane s=-^6x , where @xmath222 represents the four - dimensional dalembertian @xmath223 . in order to recover on the brane the standard klein - gordon equation for the scalar field in the infrared , @xmath224 , we require that only positive powers of @xmath222 be present in @xmath225 . in particular we write f()= _
n0 c_n @xmath226^n , where @xmath227 is an arbitrary length scale ( we recall that in this six - dimensional formalism , @xmath26 has dimension mass squared and thus @xmath225 ought to be dimensionless ) . in particular , @xmath228 represents the dimensionless coupling @xmath55 that was considered in section [ section free theory ] . from that section , we know that the scalar field will be well - defined away from the brane only if the induced couplings on the brane ( in this case the function @xmath225 ) are renormalized and flow as _
f()=12 f^2 ( ) . in terms of the coefficients @xmath229 , this implies [ cn ]
_ c_n()=12 _
u=0^n c_n - u()c_u ( ) . this has important consequences for these kind of theories , in particular , we are not free to choose a brane induced function of the form @xmath230 , as higher curvature terms will spontaneously be generated at the tree - level . as soon as a mass term @xmath228 and kinetic term @xmath231 are present , all the other couplings @xmath229 will flow in a non - trivial way .
the solution for the two first terms is of the form c_0()&= & + c_1()&=&=c_0()^2 , where @xmath232 is a dimensionless parameter .    as an example
, one can choose a particular solution of , for which c_n()=^n c_0()^n+1 , and so f()=. notice that in this formalism , the function of the kinetic term is fixed by the renormalization conditions , and very few parameters can actually be tuned arbitrarily . in this sense
this represents a much more satisfying candidate for theories of modified gravity than for instance @xmath233 gravities , ( see ref .
@xcite for a review on such theories ) . as a natural extension
, one should understand the cosmology for such a scenario and possibly the different signatures which could allow for the discrimination of codimension - two models .
we have analyzed the coupling between bulk fields living in a six - dimensional flat space - time and brane fields confined onto a four - dimensional surface . due to these couplings , logarithmic divergences that arise when evaluating the bulk field on the brane
generically propagate into the brane field . in this paper , we have presented a consistent renormalization mechanism at tree and one - loop level that removes any divergences simultaneously in the brane field and bulk field when the latter is evaluated away from the brane .
we have also shown that any five - point function is finite at the classical level without the addition of any further counterterm , and demonstrated that this remains true for any @xmath0-point function at any order in the loop expansion , thus proving the renormalizability of the theory .
we also point out the presence of ir divergences in the loop diagrams which can be dealt with the same way as for quantum electrodynamics .    the same principle can be applied to more complex theories such as electromagnetism in curved space - time , for which the same prescription remains completely valid . in particular
we show that at tree - level , the coupling of electromagnetism to gravity generates a quartic term for the form field in the action , giving rise to a euler - heisenberg lagrangian which is usually only generated via quantum corrections .    as another physical application ,
we have also explored the consequences for localized kinetic terms which are relevant in scenarios such as the dgp model . in particular
we show that as soon as a kinetic term are induced on the brane , one can not prevent for the generation of an infinite series of higher order terms .
this provides a natural modification of gravity on the brane which might have potential interesting signatures .    to our knowledge , this prescription is the only one to date capable of making sense of sources on codimension - two branes in a regularization - independent way and providing a way to derive the low - energy effective theory on such objects in a regime where interactions with the bulk can not be ignored .    since the main objective of this paper was the establishment of a consistent framework to study sources on codimension - two branes , implications for braneworld physics
have only been superficially addressed .
armed with these new tools , extensions to more physical scenarios will however be of great importance .
understanding the relevance of our results for electromagnetism and theories with induced gravity terms were beyond the scope of this paper but will present interesting extensions .
more realistic interactions from the standard model would also be intriguing , and in particular consequences to the higgs physics in six - dimensional scenarios , such as the sled , @xcite should be understood in more detail .
the author wishes to thank rouzbeh allahverdi , cliff burgess , stefan hofmann , justin khoury , federico piazza , andrew tolley , mark wise and mark wyman for their contribution throughout the development of this work .
research at mcmaster is supported by the natural sciences and engineering research council of canada .
research at perimeter institute for theoretical physics is supported in part by the government of canada through nserc and by the province of ontario through mri .
in what follows , we consider a free scalar field living on a flat six - dimensional spacetime with a conical singularity at @xmath8 .
as shown in and , the brane - brane propagator of this field diverges logarithmically in the thin - brane limit : @xmath234 as @xmath235 . in order to make this quantity finite
, one can try to include counterterms both in the bulk and the brane .
unlike in usual eft , these counterterms are not added to make the interacting theory finite , but the classical free theory itself .
we consider the following most general set of counterterms to renormalize the free theory ( renormalization of the wave function and mass both in the bulk and brane ) s=-^6x .
the propagator will now be instead d^_k(r , r)&=&_n=-^+_0 j_|n|(q r)j_|n|(q r ) + & = & , where @xmath68 and @xmath236 . because of the brane counterterms @xmath237 and @xmath55 , this is however not the complete two - point function .
the two - point function is obtained by summing over all the interactions with the bulk coupling .
this gives rise to following  dressed " propagators g_k(r , r)&=&d^_k(r , r)-d_k^(r,0)d_k^(0,r ) + g_k(r,0)&=&d^_k(r,0 ) + g_k(0,0)&=&d^_k(0,0 ) .
notice that in this approach , we no longer require the propagator @xmath238 to be finite in the thin brane limit but require instead that the two - point function @xmath239 between any two points ( taken in the bulk or the conical tip ) is finite @xmath240 and @xmath55 should flow in such a way that @xmath241 and @xmath242 are all finite .
this implies that :    * @xmath243 should be finite in the limit @xmath244 for any value of @xmath72 , * and similarly the quantity @xmath245 $ ] should be finite for any @xmath72 and @xmath73
.    it will therefore only be possible to make sense of the two - point function on the brane , if one can renormalize the wave function and the mass in such a way that the ratio @xmath243 is finite . from
, we get d_k^(r,0)= k_0@xmath246 , and d_k^(0,0)= _ d_k^(^-1,0)= .
it is therefore clear from these expressions that no matter how the wave function and the mass renormalization flow , the quantity @xmath247 will never be finite in the thin brane limit : =  ,  ( ) . no local counterterm ( quadratic in the field ) will thus ever make the two - point function finite everywhere both in the bulk and the brane .
in this appendix , we demonstrate that the rg flows of the brane couplings @xmath51 , @xmath92 , @xmath93 , @xmath62 , @xmath55 , @xmath94 , ( [ renormcouplings ] , [ rgflow3 ] , [ beta3_2 ] and [ beta4 ] ) is sufficient to make all @xmath0-point green s functions finite in the thin - brane limit at any order in the loop expansion , hence justifying the renormalizability of the theory
. we focus , in what follows , on divergences associated with the codimension - two nature of the theory and do not discuss loop divergences which can be renormalized the standard way .    to simplify , we present the argument for the @xmath0-point green s functions having only brane field external legs @xmath27 .
as seen in section [ sectioninteractions ] , the generalization to an arbitrary number of bulk field legs @xmath26 is straight forward .    defining the generating functional @xmath248 $ ] g[j]=0|e^-i(h^int _ + j ) |0 ,
the @xmath0-point green s functions are expressed by g^(n)(x_1,,x_n)=.|_j=0 .
technically , we are only interested in the connected green s functions which are generated by @xmath249=-i \log g[j]$ ] . the connected @xmath0-point green s function can thus be expressed in terms of the lower ones as g_c^(n)=-i@xmath250 , where @xmath251 is the binomial coefficient .
we have previously demonstrated that all the connected tree - level green s functions @xmath252 were finite for . in what follows ,
we show that this results remains true for any green s function @xmath253 , @xmath254 at any order in the loop expansion , thus ensuring that all the connected green s is finite for any arbitrary number of external legs .
the expression for the @xmath0-point function is g^(n)(x_1,,x_n)&= & _ n0(x_1)(x_n ) + & & _
i=1^ny_i @xmath255 . omitting
the evaluation points @xmath256 and @xmath257 and remembering that every field is evaluated on the brane , we have g^(n)&=&_n0  ^n@xmath258^n + & = & _
n0_m=0^n_k=0^mc^m_n c^k_m _ 3^m - k_4^n - m _
^n - k+4n - m^k among these diagrams , some of them can connect two bulk fields together , generating a singular two - point function @xmath259 .
there can be @xmath260 such connections , ( with @xmath261 ) , so that g^(n)=_n0_m=0^n_k=0^m_=0^k/2c^m_n c^k_m c^2_k _ 3^m - k_4^n - m _
3^k ^n - k+4n - m^k-2 ^2.we now consider the number of ways there is to connect the different fields together ( we recall that for now we are interested in all the possible configurations , and do not restrict ourselves to the connected ones ) . for @xmath12 fields @xmath262 ,
there is@xmath263 possible configurations if @xmath12 is even , and no possible configurations if @xmath12 is odd ( @xmath264 ) .
there is therefore @xmath265 ways to connect the @xmath266 bulk fields in @xmath267 . to count the number of configurations in @xmath268 , we need to pick first of all the fields @xmath27 which will connect with the remaining @xmath269 fields @xmath26 .
there is @xmath270 such configurations and then @xmath271 ways to connect the remaining @xmath27 together .
putting all this together , we therefore get [ g(n)1 ] g^(n)&=&_n0_m=0^n_k=0^m_=0^k/2 ( c^m_n c^k_m   _ 3^m - k_4^n - m_3^k c^2_k + & &  p_n-2k+4n - m+2p_2 + & & @xmath272^@xmath273^k-2@xmath259^)with p_x=\ {        expressing the bulk - bulk and bulk - brane propagator as g^(0)&=&-id g^ + g^(0,0)&=&d-^2 d ^2 g^ , we get g^(n)&=&_n0_m=0^n_k=0^m_=0^k/2_=0^c^m_n c^k_m _ 4^n - m_3^m - k_3^k^k-2d^k-2 @xmath272^(n+4n - m-2 ) + & & _ = f ( ) .
notice that the coefficient @xmath260 does not affect the couplings , and so the summation over @xmath260 can be performed without affecting the order of the diagram _
= 0^k/2_=0^f()=_=0^k/2 _ = ^k/2 f ( ) = _
= 0^k/2(-i)^k-2p_n - m+4n+2 .
we now change the summation variables to @xmath275 , with x = m-2,y = n - m+,l = k-2so that the green s function can be expressed as g^(n)&=&_x0_y0 ( p_n+3x+4y @xmath272^(n+3x+4y ) + & &
_ l=0^x_=0^y c^l_x c^_y ^l _ 3^l+2_3^x - l_4^y - d ^l+ ) , finally , summing over @xmath276 and @xmath277 , we recover the familiar expressions g^(n)=_x0_y0
p_n+3x+4y @xmath272^(n+3x+4y ) @xmath278^x @xmath279^y .
so the coupling constants @xmath62 , @xmath92 , @xmath92 , @xmath94 and the free bulk - bulk propagator @xmath280 come in precisely the right combination to be finite . the rg flows of @xmath94 , @xmath92 and @xmath93 indeed ensures that both expressions @xmath281 and @xmath282 are finite , see eqs .   and .
since the renormalization of @xmath62 , @xmath63 and @xmath55 is such that the brane propagator @xmath272 is finite , we can conclude that @xmath253 is completely finite in the thin brane limit ( up to loop diagram divergences which can be renormalized in the standard way ) .
this argument thus demonstrates that the theory is renormalizable .
l.  randall and r.  sundrum , `` a large mass hierarchy from a small extra dimension , '' phys .
lett .   * 83 * , 3370 ( 1999 ) [ arxiv : hep - ph/9905221 ] ; l.  randall and r.  sundrum , `` an alternative to compactification , '' phys .
* 83 * , 4690 ( 1999 ) [ arxiv : hep - th/9906064 ] .
a.  salam and e.  sezgin , `` chiral compactification on minkowski x s**2 of n=2 einstein - maxwell supergravity in six - dimensions , '' phys .
b * 147 * , 47 ( 1984 ) .
p.  kanti , r.  madden and k.  a.  olive , `` a 6-d brane world model , '' phys .
d * 64 * , 044021 ( 2001 ) [ arxiv : hep - th/0104177 ] ; g.  w.  gibbons , r.  guven and c.  n.  pope , `` 3-branes and uniqueness of the salam - sezgin vacuum , '' phys .
b * 595 * , 498 ( 2004 ) [ arxiv : hep - th/0307238 ] ; y.  aghababaie _ et al .
_ , `` warped brane worlds in six dimensional supergravity , '' jhep * 0309 * , 037 ( 2003 ) [ arxiv : hep - th/0308064 ] ; h.  m.  lee and a.  papazoglou , `` brane solutions of a spherical sigma model in six dimensions , '' nucl .  phys .
b * 705 * , 152 ( 2005 ) [ arxiv : hep - th/0407208 ] ; c.  p.  burgess , f.  quevedo , g.  tasinato and i.  zavala , `` general axisymmetric solutions and self - tuning in 6d chiral gauged supergravity , '' jhep * 0411 * , 069 ( 2004 ) [ arxiv : hep - th/0408109 ] ; s.  mukohyama , y.  sendouda , h.  yoshiguchi and s.  kinoshita , `` warped flux compactification and brane gravity , '' jcap * 0507 * , 013 ( 2005 ) [ arxiv : hep - th/0506050 ] ; s.  l.  parameswaran , g.  tasinato and i.  zavala , `` the 6d superswirl , '' nucl .
b * 737 * , 49 ( 2006 ) [ arxiv : hep - th/0509061 ] ; h.  m.  lee and c.  ludeling , `` the general warped solution with conical branes in six - dimensional supergravity , '' jhep * 0601 * , 062 ( 2006 ) [ arxiv : hep - th/0510026 ] ; a.  j.  tolley , c.  p.  burgess , d.  hoover and y.  aghababaie ,  bulk singularities and the effective cosmological constant for higher jhep * 0603 * , 091 ( 2006 ) [ arxiv : hep - th/0512218 ] ; a.  j.  tolley , c.  p.  burgess , c.  de rham and d.  hoover , `` scaling solutions to 6d gauged chiral supergravity , '' new j.  phys .   * 8 * , 324 ( 2006 ) [ arxiv : hep - th/0608083 ] ; t.  kobayashi and m.  minamitsuji , `` brane cosmological solutions in six - dimensional warped flux compactifications , '' arxiv:0705.3500 [ hep - th ] ; e.  j.  copeland and o.  seto , `` dynamical solutions of warped six dimensional supergravity , '' arxiv:0705.4169 [ hep - th ] . s.  hayakawa , d.  ida , t.  shiromizu and t.  tanaka , `` gravitation in the codimension two brane world , '' prog .  theor
.  phys .
suppl .   * 148 * , 128 ( 2003 ) ; j.  m.  cline , j.  descheneau , m.  giovannini and j.  vinet , `` cosmology of codimension - two braneworlds , '' jhep * 0306 * , 048 ( 2003 ) [ arxiv : hep - th/0304147 ] ; j.  vinet , `` generalised cosmology of codimension - two braneworlds , '' int .
j.  mod .
a * 19 * , 5295 ( 2004 ) [ arxiv : hep - th/0408082 ] ; c.  charmousis and r.  zegers , `` einstein gravity on an even codimension brane , '' phys .
d * 72 * , 064005 ( 2005 ) [ arxiv : hep - th/0502171 ] ; e.  papantonopoulos and a.  papazoglou , `` cosmological evolution of a purely conical codimension-2 brane world , '' jhep * 0509 * , 012 ( 2005 ) [ arxiv : hep - th/0507278 ] .
m.  l.  graesser , j.  e.  kile and p.  wang , `` gravitational perturbations of a six dimensional self - tuning model , '' phys .
d * 70 * , 024008 ( 2004 ) [ arxiv : hep - th/0403074 ] ; h.  m.  lee and a.  papazoglou , `` scalar mode analysis of the warped salam - sezgin model , '' nucl .
b * 747 * , 294 ( 2006 ) [ erratum - ibid .
b * 765 * , 200 ( 2007 ) ] [ arxiv : hep - th/0602208 ] ; c.  p.  burgess , c.  de rham , d.  hoover , d.  mason and a.  j.  tolley , `` kicking the rugby ball : perturbations of 6d gauged chiral supergravity , '' jcap * 0702 * , 009 ( 2007 ) [ arxiv : hep - th/0610078 ] ; s.  l.  parameswaran , s.  randjbar - daemi and a.  salvio , `` stability and negative tensions in 6d brane worlds , '' arxiv:0706.1893 [ hep - th ] .
m.  peloso , l.  sorbo and g.  tasinato , `` standard 4d gravity on a brane in six dimensional flux compactifications , '' phys .
d * 73 * , 104025 ( 2006 ) [ arxiv : hep - th/0603026 ] .
n.  arkani - hamed , s.  dimopoulos and g.  r.  dvali , `` the hierarchy problem and new dimensions at a millimeter , '' phys .
b * 429 * , 263 ( 1998 ) [ arxiv : hep - ph/9803315 ] .
a.  albrecht , c.  p.  burgess , f.  ravndal and c.  skordis , `` natural quintessence and large extra dimensions , '' phys .
d * 65 * , 123507 ( 2002 ) [ arxiv : astro - ph/0107573 ] ; d.  m.  ghilencea , d.  hoover , c.  p.  burgess and f.  quevedo , `` casimir energies for 6d supergravities compactified on t(2)/z(n ) with wilson lines , '' jhep * 0509 * , 050 ( 2005 ) [ arxiv : hep - th/0506164 ] ; e.  elizalde , m.  minamitsuji and w.  naylor , `` casimir effect in rugby - ball type flux compactifications , '' phys .  rev .
d * 75 * , 064032 ( 2007 ) [ arxiv : hep - th/0702098 ] ; m.  minamitsuji , `` casimir effect in a 6d warped flux compactification model , '' arxiv:0704.3623 [ gr - qc ] ; k.  koyama , `` the cosmological constant and dark energy in braneworlds , '' arxiv:0706.1557 [ astro - ph ] .
v.  a.  rubakov and m.  e.  shaposhnikov , `` extra space - time dimensions : towards a solution to the cosmological constant problem , '' phys .  lett .
b * 125 * , 139 ( 1983 ) .
y.  aghababaie , c.  p.  burgess , s.  l.  parameswaran and f.  quevedo , `` towards a naturally small cosmological constant from branes in 6d supergravity , '' nucl .
b * 680 * , 389 ( 2004 ) [ arxiv : hep - th/0304256 ] ; o.  corradini , a.  iglesias and z.  kakushadze , `` toward solving the cosmological constant problem ?
, '' int .
j.  mod .
a * 18 * , 3221 ( 2003 ) [ arxiv : hep - th/0212101 ] ; s.  m.  carroll and m.  m.  guica , `` sidestepping the cosmological constant with football - shaped extra dimensions , '' arxiv : hep - th/0302067 ; i.  navarro , `` codimension two compactifications and the cosmological constant problem , '' jcap * 0309 * , 004 ( 2003 ) [ arxiv : hep - th/0302129 ] ; i.  navarro , `` spheres , deficit angles and the cosmological constant , '' class .  quant .  grav .   *
20 * , 3603 ( 2003 ) [ arxiv : hep - th/0305014 ] ; h.  p.  nilles , a.  papazoglou and g.  tasinato , `` selftuning and its footprints , '' nucl .
b * 677 * , 405 ( 2004 ) [ arxiv : hep - th/0309042 ] ; c.  p.  burgess , `` supersymmetric large extra dimensions and the cosmological constant : an update , '' annals phys .   * 313 * , 283 ( 2004 ) [ arxiv : hep - th/0402200 ] ; j.  m.  schwindt and c.  wetterich , `` the cosmological constant problem in codimension - two brane models , '' phys .
b * 628 * , 189 ( 2005 ) [ arxiv : hep - th/0508065 ] ; c.  p.  burgess , `` supersymmetric large extra dimensions and the cosmological constant problem , '' arxiv : hep - th/0510123 ; e.  k.  park and p.  s.  kwon , `` a self - tuning mechanism in 6d gravity - scalar theory , '' arxiv : hep - th/0702171 .
c.  p.  burgess , j.  matias and f.  quevedo , `` msled : a minimal supersymmetric large extra dimensions scenario , '' nucl .
b * 706 * , 71 ( 2005 ) [ arxiv : hep - ph/0404135 ] ; j.  vinet and j.  m.  cline , `` can codimension - two branes solve the cosmological constant problem ? , '' phys .
d * 70 * , 083514 ( 2004 ) [ arxiv : hep - th/0406141 ] ; j.  garriga and m.  porrati , `` football shaped extra dimensions and the absence of self - tuning , '' jhep * 0408 * , 028 ( 2004 ) [ arxiv : hep - th/0406158 ] ; j.  vinet and j.  m.  cline , `` codimension - two branes in six - dimensional supergravity and the cosmological constant problem , '' phys .
d * 71 * , 064011 ( 2005 ) [ arxiv : hep - th/0501098 ] .
g.  dvali , g.  gabadadze and m.  shifman , `` diluting cosmological constant in infinite volume extra dimensions , '' phys .
d * 67 * , 044020 ( 2003 ) [ arxiv : hep - th/0202174 ] ; o.  corradini , a.  iglesias and z.  kakushadze , `` diluting solutions of the cosmological constant problem , '' mod .
a * 18 * , 1343 ( 2003 ) [ arxiv : hep - th/0305164 ] .
g.  dvali , s.  hofmann and j.  khoury , arxiv : hep - th/0703027 .
g.  r.  dvali , g.  gabadadze and m.  porrati , `` metastable gravitons and infinite volume extra dimensions , '' phys .
b * 484 * , 112 ( 2000 ) [ arxiv : hep - th/0002190 ] ; g.  r.  dvali , g.  gabadadze and m.  porrati , `` 4d gravity on a brane in 5d minkowski space , '' phys .
b * 485 * , 208 ( 2000 ) [ arxiv : hep - th/0005016 ] ; g.  r.  dvali and g.  gabadadze , `` gravity on a brane in infinite - volume extra space , '' phys .
d * 63 * , 065007 ( 2001 ) [ arxiv : hep - th/0008054 ] .
w.  d.  goldberger and m.  b.  wise , `` renormalization group flows for brane couplings , '' phys .
d * 65 * , 025011 ( 2002 ) [ arxiv : hep - th/0104170 ] .
w.  d.  goldberger and i.  z.  rothstein , `` an effective field theory of gravity for extended objects , '' phys .
d * 73 * , 104029 ( 2006 ) [ arxiv : hep - th/0409156 ] ; w.  d.  goldberger and i.  z.  rothstein , `` dissipative effects in the worldline approach to black hole dynamics , '' phys .
d * 73 * , 104030 ( 2006 ) [ arxiv : hep - th/0511133 ] ; w.  d.  goldberger and i.  z.  rothstein , `` towers of gravitational theories , '' gen .
grav .   * 38 * , 1537 ( 2006 ) [ int .
j.  mod .
d * 15 * , 2293 ( 2006 ) ] [ arxiv : hep - th/0605238 ] ; w.  d.  goldberger , `` les houches lectures on effective field theories and gravitational radiation , '' arxiv : hep - ph/0701129 .
r.  a.  porto , `` post - newtonian corrections to the motion of spinning bodies in nrgr , '' phys .
d * 73 * , 104031 ( 2006 ) [ arxiv : gr - qc/0511061 ] ; r.  a.  porto and i.  z.  rothstein , `` the hyperfine einstein - infeld - hoffmann potential , '' phys .
lett .   * 97 * , 021101 ( 2006 ) [ arxiv : gr - qc/0604099 ] ; r.  a.  porto and r.  sturani , `` scalar gravity : post - newtonian corrections via an effective field theory approach , '' arxiv : gr - qc/0701105 ; r.  a.  porto , `` new results at 3pn via an effective field theory of gravity , '' arxiv : gr - qc/0701106 .
f.  del aguila , m.  perez - victoria and j.  santiago , `` bulk fields with general brane kinetic terms , '' jhep * 0302 * , 051 ( 2003 ) [ arxiv : hep - th/0302023 ] ; f.  del aguila , m.  perez - victoria and j.  santiago , `` effective description of brane terms in extra dimensions , '' jhep * 0610 * , 056 ( 2006 ) [ arxiv : hep - ph/0601222 ] .      t.  gherghetta and m.  e.  shaposhnikov , `` localizing gravity on a string - like defect in six dimensions , '' phys .  rev .
lett .   * 85 * , 240 ( 2000 ) [ arxiv : hep - th/0004014 ] .
i.  navarro and j.  santiago , `` gravity on codimension 2 brane worlds , '' jhep * 0502 * , 007 ( 2005 ) [ arxiv : hep - th/0411250 ] ; c.  de rham and a.  j.  tolley , jcap * 0602 * , 003 ( 2006 ) [ arxiv : hep - th/0511138 ] .
t.  kobayashi and m.  minamitsuji , `` gravity on an extended brane in six - dimensional warped flux compactifications , '' phys .
d * 75 * , 104013 ( 2007 ) [ arxiv : hep - th/0703029 ] ; c.  p.  burgess , d.  hoover and g.  tasinato , `` uv caps and modulus stabilization for 6d gauged chiral supergravity , ''
arxiv:0705.3212 [ hep - th ] .
a.  e.  nelson , `` a new angle on intersecting branes in infinite extra dimensions , '' phys .
d * 63 * , 087503 ( 2001 ) [ arxiv : hep - th/9909001 ] ; e.  gravanis and s.  willison , `` intersecting hyper - surfaces in dimensionally continued topological density gravitation , '' j.  math .
* 45 * , 4223 ( 2004 ) [ arxiv : hep - th/0306220 ] ; i.  navarro and j.  santiago , `` higher codimension braneworlds from intersecting branes , '' jhep * 0404 * , 062 ( 2004 ) [ arxiv : hep - th/0402204 ] ; n.  kaloper , `` origami world , '' jhep * 0405 * , 061 ( 2004 ) [ arxiv : hep - th/0403208 ] .    c.  de rham , g.  dvali , s.  hofmann , j.  khoury , o.  pujolas , m.  redi and a.  j.  tolley , `` cascading dgp , '' arxiv:0711.2072 [ hep - th ] ; c.  de rham , s.  hofmann , j.  khoury and a.  j.  tolley , `` cascading gravity and degravitation , '' arxiv:0712.2821 [ hep - th ] .      c.  de rham , t.  shiromizu and a.  j.  tolley , `` weaker gravity at submillimetre scales in braneworlds models , '' arxiv : gr - qc/0604071 . c.  deffayet , g.  r.  dvali and g.  gabadadze , `` accelerated universe from gravity leaking to extra dimensions , '' phys .
d * 65 * , 044023 ( 2002 ) [ arxiv : astro - ph/0105068 ] .    c.  de rham and a.  j.  tolley , `` mimicking lambda with a spin - two ghost condensate , '' jcap * 0607 * , 004 ( 2006 ) [ arxiv : hep - th/0605122 ] ; g.  gabadadze , `` a model for cosmic self - acceleration , '' arxiv : hep - th/0612213 .
h.  beauchemin , g.  azuelos and c.  p.  burgess , `` dimensionless coupling of bulk scalars at the lhc , '' j.  phys .
g * 30 * , n17 ( 2004 ) [ arxiv : hep - ph/0407196 ] ; j.  j.  van der bij and s.  dilcher , `` a higher dimensional explanation of the excess of higgs - like events at cern lep , '' phys .
b * 638 * , 234 ( 2006 ) [ arxiv : hep - ph/0605008 ] .