arxiv: v2 [gr-qc] 12 Feb 2015

Transcription

1 Can saic egula black holes fom fom gaviaional collapse? Yiyang Zhang, Yiwei Zhu, Leonado Modeso, and Cosimo Bambi Cene fo Field Theoy and Paicle Physics & Depamen of Physics, Fudan Univesiy, 433 Shanghai, China (Daed: Febuay 13, 15) axiv: v [g-qc] 1 Feb 15 Saing fom he Oppenheime-Snyde model, we know how in classical geneal elaiviy he gaviaional collapse of mae fom a black hole wih a cenal spaceime singulaiy. I is widely believed ha he singulaiy mus be emoved by quanum gaviy effecs. Some saic quanuminspied singulaiy-fee black hole soluions have been poposed in he lieaue, bu when one consides simple examples of gaviaional collapse he classical singulaiy is eplaced by a bounce, afe which he collapsing mae expands fo eve. We may expec 3 possible explanaions: i) he saic egula black hole soluions ae no physical, in he sense ha hey canno be ealized in Naue, ii) he final poduc of he collapse is no unique, bu i depends on he iniial condiions, o iii) bounday effecs play an impoan ole and ou simple models miss impoan physics. In he lae case, afe pope adjusmen, he bouncing soluion would appoach he saic one. We ague ha he coec answe may be elaed o he appeaance of a ghos sae in de Sie spaceimes wih supe Planckian mass. Ou black holes have indeed a de Sie coe and he ghos would make hese configuaions unsable. Theefoe we believe ha hese black hole saic soluions epesen he ansien phase of a gaviaional collapse, bu neve suvive as asympoic saes. I. INTRODUCTION In classical geneal elaiviy, unde he main assumpions of he validiy of he song enegy condiion and of he exisence of global hypeboliciy, he collapse of mae ineviable poduces a singulaiy of he spaceime [1]. A a singulaiy, pedicabiliy is los and sandad physics beaks down. Accoding o he weak cosmic censoship conjecue, spaceime singulaiies fomed fom collapse mus be hidden behind an even hoizon and he final poduc of he collapse mus be a black hole []. In 4-dimensional geneal elaiviy, he only unchaged black hole soluion is he Ke meic [3], which educes o he Schwazschild soluion in he spheically symmeic case. The Oppenheime-Snyde model is he simples fully analyic example of gaviaional collapse, descibing he conacion of a homogeneous spheically symmeic cloud of dus [4]. I clealy shows how he collapse poduces a spaceime singulaiy and he final poduc is a Schwazschild black hole. In analogy wih he appeaance of divegen quaniies in ohe classical heoies, i is widely believed ha spaceime singulaiies ae a sympom of he limiaions of classical geneal elaiviy, o be emoved by quanum gaviy effecs. While we do no have ye any obus and eliable heoy of quanum gaviy, he esoluion of spaceime singulaiies has been invesigaed in many quanum gaviy inspied models. Vey diffeen appoaches have sudied coecions o he Schwazschild/Ke soluion, finding black hole meics in which he cuvaue invaians ae always finie [5] 1. Coesponding auho: bambi@fudan.edu.cn 1 We noe ha i may also be possible ha he quanum coecions ha smooh ou he singulaiy may be ininsicallyquanum and no educible o he meic fom. In such a case, he meic descipion would simply beak down. In he same spii, one can sudy he modificaions o he Oppenheime-Snyde soluion and o ohe models of collapse. In his case, he singulaiy is eplaced by a bounce, afe which he cloud sas expanding [6]. I is heefoe disappoining ha he quanum-gaviy coeced model of collapse does no epoduce o he quanum-gaviy coeced black hole soluion. In his pape, we wan o invesigae his appaen conadicoy esul. Fis, we deemine boh he quanum-gaviy coeced saic black hole meic and he quanum-gaviy coeced homogeneous collapse soluion wihin he same heoeical famewok, since he ones epoed in he lieaue come fom diffeen models. We find ha he poblem indeed exiss. Second, we y o figue ou he possible eason. One possibiliy is ha he saic egula black hole spaceimes ae ad hoc soluions, bu hey canno be ceaed in a collapse and heefoe hey ae physically ielevan. The collapse always poduces an objec ha bounces. Anohe possible explanaion is ha he final poduc of he collapse depends on he iniial condiions. The collapse of a homogeneous cloud ceaes an objec ha bounces, while wih ohe iniial condiions (no known a pesen) he final poduc is a saic egula black hole. Lasly, i is possible ha he simple homogeneous collapse ovesimplifies he model, ingoing and ougoing enegy fluxes beween he ineio and he exeio soluions ae impoan, and, afe pope eadjusmen ha seems o be difficul o have unde conol wihin an analyic appoach, he collapsing model appoaches he saic egula black hole soluion. Ou quanum-gaviy inspied heoies ae uniay, supe-enomalizable o finie a quanum level, and hee ae no exa degees of feedom a peubaive level aound fla spaceime. This should ule ou he possibiliy ha he explanaion of ou puzzle is due o he fac ha hese models may no be consisen descipions of quanum gaviy. Howeve, hese heoies display a ghos sae in de Sie spaceime when he

2 cosmological consan exceeds he squae of he Planck mass. This fac may be esponsible fo ou finding and answes he quesion in he ile of his pape. Ou black holes have indeed a de Sie coe wih an effecive cosmological consan lage han he squae of he Planck mass when he black hole mass exceeds he Planck mass. The pesence of a ghos makes he soluions unsable and heefoe hey canno be he final poduc of he gaviaional collapse. The conen of he pape is as follows. In he nex secion, we biefly eview he classical homogeneous and spheically symmeic collapse model. In Secion III, we deive he spheically symmeic black hole soluions in a supe-enomalizable and asympoically-fee heoy of gaviy wih he family of fom facos poposed by Kasnikov [7] and Tomboulis [8]. In Secion IV, we sudy he spheically symmeic homogeneous collapse in he same models. Summay and conclusions ae in Secion V. II. BLACK HOLES AND GRAVITATIONAL COLLAPSE IN CLASSICAL GENERAL RELATIVITY The mos geneal spheically symmeic meic descibing a collapsing cloud of mae in comoving coodinaes is given by ds = e ν d + R G d +R dω, (1) whee dω epesens he line elemen on he uni wosphee and ν, R, and G ae funcions of and. The enegy-momenum enso is given by T µ ν = diag( ρ(,),p (,),p θ (,),p θ (,)), () and he Einsein equaions educes o κ ρ = F R R, (3) κ p F =, RṘ (4) ν = p θ p R ρ+p R p, ρ+p (5) Ġ = ν R ṘG, (6) whee he denoes a deivaive wih espec o, and he denoes a deivaive wih espec o. The funcion F(,) is called Misne-Shap mass and is defined by F = R(1 G+e ν Ṙ ). (7) The whole sysem has a gauge degee of feedom ha can be fixed by seing he scale a a ceain ime. One usually ses he aea adius R(, ) o be equal o he comovingadius a he iniial ime i =, i.e. R(,) =. We can hen inoduce a scale faco a R(,) = a, (8) ha will go fom 1, a he iniial ime, o, a he ime of he fomaion of he singulaiy. The condiion o descibe collapse is ȧ <. Fo a homogeneous pefec fluid, p = p θ = p(). The simples case is he gaviaional collapse of a cloud of dus, p =, which is he well-known Oppenheime- Snyde model [4]. Fom Eq. (3), we see ha F is popoional o he amoun of mae enclosed wihin he shell labeled by a he ime. Fo dus, fom Eq. (4) i follows ha F is independen of, so hee ae no inflows and ouflows hough any spheically symmeic shell of adial coodinae. If b denoes he comoving adial coodinae of he bounday of he cloud, F( b ) = M Sch, whee M Sch is he Schwazschild mass of he vacuum exeio. Le us noe ha in he geneal case of a pefec fluid ha is no ue, and fo a non-vanishing pessue he homogeneous spheically symmeic ineio mus be mached wih a non-vacuum Vaidya exeio spaceime. Eq. (5) educes o ν = and one can always choose he ime gauge in such a way ha ν =. Fom Eq. (6), we find ha G is independen of and we can wie G = 1 + f(). In he homogeneous maginally bound case (epesening paicles ha fall fom infiniy wih zeo iniial velociy), f = and heefoe G = 1. In he homogeneous spheically symmeic gaviaional collapse of a cloud of dus, one finds ha he enegy densiy is given by ρ() = ρ a 3, (9) whee ρ is he enegy densiy a he iniial ime i =, and he scale faco is ( /3 3ρ a() = 1 ). (1) The model has a song cuvaue singulaiy fo a =, which occus a he ime s = / 3ρ, as can be seen fom he divegence of he Keschmann scala R µνρσ R µνρσ = 1ä a +ȧ 4 a 4. (11) The bounday of he cloud collapses along he cuve R( b,) = b a() and he whole cloud becomes apped inside he even hoizon a he ime < s fo which R( b, ) = M Sch = 3 b ρ /3, so = s 4M Sch 3. (1) Fo p, he exeio soluion is no Schwazschild, bu he Vaidya spaceime, because hee is a nonvanishing flux houghhe bounday b and F( b,) does depend on ime. In he adiaion case, one finds ρ() = ρ a 4, (13) ( ) 1/ ρ a() = 1 3, (14)

3 3 whee ρ is he enegy densiy a he iniial ime i = and he singulaiy occus a he ime s = 3/ρ /. Like in he dus model, he final oucome is a Schwazschild black hole. Fo he geneic case of a pefec fluid wih equaion of sae p = ωρ, he scale faco is (fo ω 1) a() = ( 1 ) 3(ω+1), (15) s whee s is he ime of he fomaion of he singulaiy s = (ω +1) 3ρ. (16) The ime of he fomaion of he even hoizon is sill givenby R( b, ) = F( b, ) and occus befoehe ime s. III. QUANTUM-GRAVITY INSPIRED BLACK HOLES We sa fom he classical Lagangian of he enomalized heoy in [9], L = { 1 R GµνV 1 ( Λ ) 1 } g κ κ R µν, (17) Λ whee Λ = p µ p µ /Λ and we use he signaue (, +, +, +). The main popeies of ou heoeical famewok ae discussed in Appendix A, whee we show ha he heoies sudied in his pape ae uniay, supeenomalizable o finie a he quanum level, and hee ae no exa degees of feedom (ghoss o achyons) in fla spaceime. We noe ha we ae no consideing local highe deivaive heoies of gaviy, bu weakly non-local heoies of gaviy. Hee wih non-localiy we mean ha we have an opeao wih an infinie numbe of deivaives, while in a local heoy he numbe of hese deivaives would be finie. Weakly because i is only he whole sum ha makes he heoy non-local. Howeve, he non-localiy is no enough o have a good heoy. We needha he popagaoishe sandadoneimes anenie funcion wihou zeos, singulaiies o poles in he whole complex plane. In his case, he heoy does no have ghoss by consucion, because he esidue of he popagao a he pole is he same as he one of geneal elaiviy. The egulaizaion of he soluions is hus due o he choice of he fom faco and o he absence of ineacions a high enegy o, in ohe wods, o asympoicfeedom. Moedeailscanbefoundinhelaspape in[6]. Theequaionsofmoionfohe heoyup oems quadaic in he cuvaue ae G µν +O(R µν ) = κ V( Λ)T µν. (18) The igh hand side can be consideed as an effecive enegy-momenum em, defined by S µν = V( Λ )T µν. Wihin his appoximaion, he lef hand side is compaible wih he Bianchi ideniy, so he effecive enegymomenum enso is conseved µ S µν = µ [V( Λ )T µν ] =. (19) Now we wan o solve he field equaions fo a saic and spheically symmeic souce. Fom he saic popey, he fou-velociy is u µ = (u, ); ha is, only he imelike componen is non-zeo, and u = ( g ) 1/. Fo simpliciy, we conside a poin souce. The T componen is given by T δ() = M 4π = Mδ 3 ( x). Spheical o Caesian-like coodinaes ae adoped o make calculaions easie. In he spheically symmeic case, he meic is assumed o have he Schwazschild fom, whee F() is ds = F()d + d F() + dω () F() = 1 m() (1) and m() is he mass enclosed wihin he adius. The effecive enegy-momenum enso is defined by The S S µ ν V( Λ )T µ ν = diag( ρ e,p e,p e θ,p e θ). () componen can be ewien as ρ e ( x) = V( Λ )Mδ (3) ( x) d 3 k = M (π) 3V = M π ( k Λ ( k k sink k V ) e i k x Λ ) dk, (3) whee = x. This is he epesenaion fo effecive enegy densiy, and, once he fom faco is specified, i can be numeically solved o ge ρ e (). The adial inegal conains he em sink. If we expand he sine funcion, we have ρ e () = M π k V k ( k Λ ) dk +O( ). (4) Independenly of he choice of he fom faco V(z), he leading em is a consan, which means ha a = we will always have a posiive effecive enegy densiy popoional o he mass M and fully deemined by V(z). As long as he convegencevelociy of V(z) is lagehan k 3, we ae able o ge a finie effecive enegy densiy. In classical geneal elaiviy, V(z) = 1 and he esul is no finie. The covaian consevaion and he addiional condiion g = g 1 compleely deemines S µν. The Einsein equaions give dm d = κ 4 ρe, (5) 1 df F d = [m()+ κ 4 pe 3 ], [ m()] (6) dp e d = 1 df F d (ρe +p e )+ (pe θ pe ). (7)

4 4 Fom Eq. (5), we find he mass enclosed in he adius m() = κ 4 d ρ e ( ). (8) A =, m = and F = 1. Fo, m is a consan and F() 1. We have hus soluions wih wo o moe hoizons. Moeove, a = a consan enegy densiy gives a de Sie spaceime, independenly of he choice of he fom faco. Hee he effecive cosmological consan is of ode κ MΛ 3 and his, as agued a he end of his pape, may be he key-ingedien o addess ou quesion. We now conside wo specific fom facos, poposed especively by Kasnikov [7] and by Tomboulis [8]: V(z) = e z n, (9) V(z) = e 1 [γe+γ(,pγ+1(z) )+lnp γ+1(z) ]. (3) Hee p γ+1 (z) is a polynomial of ode γ +1. The supeenomalizabiliy of he heoy equies γ 3 and in wha follows we will only conside he minimal enomalizable heoy wih γ = 3. In he low enegy limi, z Λ, and o ecove geneal elaiviy we need V(z) 1. So p γ+1 () =. Moeove, we should expec deviaions fom geneal elaiviy when z, so fo any z > we have p γ+1 (z). This agumen is in accodance wih he esicion fo p γ+1 (z). We can heefoe conside hee cases: p γ+1 (z) = z 4, and p γ+1 (z) = z 4 ± 6z 3 + 1z. The lae wo cases ae aken as a genealizaion of he fis one. Fig. (1) shows ρ e () obained fom he numeical inegaion of Eq. (3) wih he Kasnikov fom faco and n = 1, 5, 1. The lef panel is fo M = 1, he igh panel fo M = 1. Since ρ e () M, if we change M we change he scale, wihou aleing he shape of ρ e (). Fo n, ρ e is no monoonic and can assume negaive values. Because of ha, i is possible o have moe han wo hoizons. These plos show also ha he effecive enegy densiy ρ e appoaches a finie value fo. Fig. () shows he coesponding F() funcions. Fo M = 1, we find a leas wo hoizons, while fo M = 1 hee is no hoizons. Fo a lage n, he oscillaions of ρ e ae songe and heefoe i is possible o fom moe han wo hoizons. Howeve, his muli-hoizon siuaion only exiss when M 1 and n is lage. Fo insance, we found ha hee ae jus wo hoizons when M = 1 and n = 1. Figs. 3 and 4 ae fo he Tomboulis fom faco. Fig. 3 showsheeffeciveenegydensiyρ e (): likefohekasnikov fom faco, ρ e is finie fo = and i has an oscillaoy behavio nea ρ e =, so ha i can be negaive a some adii. Fig. 4 shows he funcion F(). Fo M = 1 we have wo hoizons, while hee is no hoizons when M = 1. The choice of p γ+1 (z) mainly affecs he egion < M. IV. NON-LOCAL GRAVITY INSPIRED COLLAPSE Now we wan o find he quanum-gaviy coeced soluion of he gaviaional collapse fo a homogeneous and spheically symmeic cloud. The scale faco a() is deemined hough he popagao appoach. We fis wie he meic as a fla Minkowski backgound plus a flucuaion h µν, g µν = η µν +κh µν, ds = d +a() dx i dx j δ ij, (31) whee η µν = diag( 1,1,1,1). The confomal scale faco a() and he flucuaion h µν (, x) ae elaed by he following elaions: a () = 1 κh(), h( = ) =, g µν ( = ) = η µν, h µν (, x) = h()diag(,δ ij ) h()i µν. (3) Afe a gauge ansfomaion, we can ewie he flucuaion in he usual hamonic gauge h µν (x) h µν(x) = h µν (x)+ µ ξ ν + ν ξ µ, ξ µ () = 3κ ( ) h( )d,,,. (33) The flucuaion now eads h µν (, x) = h()diag(3, δ ij), h µ µ (, x) = 6h(). (34) We can hen swich o he sandad gaviaional baed field h µν defined by h µν = h µν 1 η µν h λ λ = h()i µν, (35) saisfying µ h µν =. The Fouie ansfom of h µν is h µν (E, p) = h(e)(π) 3 δ 3 ( p)i µν. (36) The classical soluion fo he homogeneous and spheically symmeic gaviaional collapse is known. We can hus compue he Fouieansfom h(e) defined in (36). Fo ω 1, we have h(e) = πδ(e) κ + Γ( 4 3(ω+1) +1)sin(π 4 3(ω+1) ) 4. (37) 4 3(ω+1) 3(ω+1) κ E +1 In he case of adiaion and dus, we have h(e) = πδ(e) + κ κ E, (adiaion) (38) h(e) = πδ(e) 4Γ( ) κ 4/3 7/3, (dus). (39) 3κ E

5 Ρ e.1 Ρ e FIG. 1. Effecive enegy densiy as a funcion of he adial coodinae fo he Kasnikov fom faco. Lef panel: ρ e () fo M = 1 and n = 1 (solid line), 5 (doed line), and 1 (dashed line). Righ panel: as in he lef panel fo M = 1. The wo plos have exacly he same shape and only diffe in he scale of he veical axis F F FIG.. F as a funcion of he adial coodinae fo he Kasnikov fom faco. Lef panel: F() fo M = 1 and n = 1 (solid line), 5 (doed line), and 1 (dashed line). The hee cuves coss a leas wo imes he F = axis and heefoe evey black hole has a leas wo hoizons. Righ panel: as in he lef panel fo M = 1. These configuaions have no hoizon has a consequence of he small mass. The gauge independen pa of he gavion popagao fo he heoy (17) and enegy-momenum enso T ρσ (p) is [9] O 1 µνρσ(p) = V(p /Λ ) p ( P µνρσ () 1 ) P() µνρσ = h d 4 p µν(x) = κ (π) 4O 1 µνρσ(p) T ρσ (p)e ipx, (4) whee P () µνρσ and P () µνρσ ae he gavion pojecos, P () µνρσ = 1 (θ µρθ νσ +θ µσ θ νρ ) 1 3 θ µνθ ρσ, P () µνρσ = 1 3 θ µνθ ρσ, (41)

6 Ρ e.1 Ρ e FIG. 3. Effecive enegy densiy as a funcion of he adial coodinae fo he Tomboulis fom faco. Lef panel: ρ e () fo M = 1 and p γ+1(z) = z 4 (solid line) and z 4 + 6z 3 + 1z (dashed line). Righ panel: ρ e () fo M = 1 and p γ+1(z) = z 4 (solid line) and z 4 6z 3 +1z (dashed line) F 4 F FIG. 4. F as a funcion of he adial coodinae fo he Tomboulis fom faco. Lef panel: F() fo M = 1 and p γ+1(z) = z 4 (solid line), z 4 +6z 3 +1z (doed line), and z 4 6z 3 +1z (dashed line). The hee cuves coss wo imes he F = axis and heefoe evey black hole has wo hoizons. Righ panel: as in he lef panel fo M = 1. These configuaions have no hoizon has a consequence of he small mass. and θ µν = η µν k µ k ν /k. Theefoe d 4 ( ) p p h() = κ (π) 4V h(e, p)e ipx Λ = ( ) de E = κ π V h(e)e ie Λ, (4) whee h(e, p) = (π) 3 δ 3 ( p) h(e). (43) If we know he classical soluion a(), we can find he disibuion h(e) ha povides he coec soluion fo V( p /Λ ) = 1. We can hen use a diffeen fom faco o find he coesponding quanum-gaviy coeced scale faco a(). Hee we wan o find he soluions fo he gaviaional collapse of a cloud of dus and adiaion wih he fom facos of Kasnikov and Tomboulis. Fig. 5 shows he scale faco a() (lef panel) and he

7 a.8.6 Ρ FIG. 5. Scale faco a() (lef panel) and enegy densiy ρ() (igh panel) fo he gaviaional collapse of a homogeneous and spheically symmeic cloud of adiaion in he Kasnikov model. The solid line is fo he classical soluion and he singulaiy occus a he ime = when a =. The doed line is fo he Kasnikov model wih n =, while he dashed line fo he one wih n = a Ρ FIG. 6. As in Fig. 5 fo he dus case. enegy densiy (igh panel) fo he Kasnikov fom faco wih n = and 6 in he case of a cloud of adiaion, ω = 1/3. The dus case is shown in Fig. 6. Classically, he scale faco a() monoonically deceases and finally vanishes. The coesponding enegy densiy ρ() heefoe diveges a he ime =. In he quanum-gaviy coeced picue, we find a bounce: a() eaches a minimum and hen sa inceasing. Fa fom he bounce, he classical and he quanum soluions ae simila, while he diffeence becomes impoan a high densiies. The calculaions wih he Tomboulis fom faco un ou o be significanly moe complicaed. We hus use he following appoximaed fom faco { e 1 pγ+1(z) 1 1 V(z) p γ+1(z) if p γ+1 (z) 1 e γ E 1 p γ+1(z) if p γ+1 (z) > 1 (44) As shown in Fig. (7), such an appoximaed fom faco

8 8 V z FIG. 7. Exac (solid line) and appoximaed (dashed line) Tomboulis fom faco. is vey simila o he exac one, wih a iny deviaion nea z = ±1. While such an appoximaed fom faco has a disconinuiy a z = ±1, he Fouie ansfom is applicable as he limis a z = ±1 in boh diecions ae well-defined. Hee we have only sudied he minimal enomalizable heoy wih γ = 3 and have chosen p γ+1 (z) = z 4. The pa p γ+1 (z) > 1 is ivial and we can obain an analyic esul. Fo he ohe pa of he inegal, we need o use a egulaizaion pescipion and sepaae he finie and he divegen pas. The deailed calculaion is in Appendix B. Figs. 8 and 9 show, especively, he adiaion and dus case. The qualiaive behavio of he scale faco a() and he enegy densiy ρ() is he same as he one of he Kasnikov model. V. SUMMARY AND CONCLUSIONS In he pesen pape, we have sudied boh he saic black hole soluion and he homogeneous spheically symmeic collapse of a cloud of mae in a supeenomalizable and asympoically fee heoy of gaviy. The spaceime singulaiy pediced in classical geneal elaiviy is emoved in boh he cases. In he lieaue hee wee so fa some scaeed esuls in diffeen heoeical famewoks. Hee we have sudied his issue in moe deails wihin he Kasnikov and Tomboulis models. Saic and spheically symmeic singulaiy fee black hole soluions have been obained. A he oigin, he effecive enegy densiy is always finie and posiive, independenly ofheexacexpessionofhe fomfacov(z). In ohe wods, hese black holes have a de Sie coe in hei ineio, whee he effecive cosmological consan is of ode κ MΛ, κ = 3πG N, M is he black hole mass, and Λ is he enegy scale of he heoy which is naually z o expec o be close o he Planck mass. The singulaiy of he spaceime is heefoe avoided due o he epulsive behavio of he gaviaional foce. Fo a lage family of fom facos, he effecive enegy densiy can be negaive in some egions, which evenually povides he possibiliy of having muli-hoizon black holes. In he homogeneous and spheically symmeic collapse of a cloud of mae, he fomaion of he singulaiy is always eplaced by a bounce. Fa fom he bounce, he collapse follows he classical soluion, while i depas fom i a high densiies. Sicly speaking, asympoic feedom is sufficien o emove he singulaiy, bu he pesence of a bounce equies also a epulsive chaace fo gaviaional field in he high enegy egime. In conclusion, we have povided some convincing examples ha show how he final poducs of he quanumgaviy coeced collapse soluions ae no he quanumgaviy coeced Schwazschild black hole meics. This is no he esul ha one would expec a pioi. Thee may be 3 naual explanaions. 1. Saic egula black holes canno be ceaed in any physical pocess. In his case, even if hey ae soluion of a heoy, hey ae much less ineesing han hei classical counepas ha can be ceaed in a collapse.. The final poduc of he gaviaional collapse is no unique. The collapse of a homogeneous and spheically symmeic cloud of mae does no poduce a saic egula black hole, bu he collapsing mae bounces and hen expands. Wih diffeen iniial condiions, no known a he momen, saic egula black holes may fom. 3. The simple example of a homogeneous cloud of mae ovesimplifies he picue and misses impoan physics. As discussed in Secion II, in he classical dus case we have a homogeneous ineio and a Schwazschild exeio wihou ingoing o ougoing flux hough any spheical shell of comoving adial coodinae. Howeve, ha is no ue in geneal, and he exeio spaceime is a genealized Vaidya soluions wih ingoing o ougoing flux of enegy. This means ha he homogeneous soluion is no sable and mus evolve o an inhomogeneous model. While he bounce can sill occu, afe i he collapsing mae may no expand foeve. The bounday effecs ae impoan and, afe pope eadjusmen ha can unlikely be descibed wihou a numeical saegy, he collapse appoaches he saic black hole soluion. The possibiliy 1 excludes he possibiliies and 3, bu he lae may also coexis. Hee we have focused on he asympoically fee gaviy heoy wih he Lagangian given in Eq. (17), and we have shown ha he issue indeed exiss. The heoeical model is no sick, and heefoe we canno aibue he poblem o he fac ha we

9 a.6 Ρ FIG. 8. Scale faco a() (lef panel) and enegy densiy ρ() (igh panel) fo he gaviaional collapse of a homogeneous and spheically symmeic cloud of adiaion in he Tomboulis model. The solid line is fo he classical soluion and he singulaiy occus a he ime = when a =. The doed line is fo he Tomboulis model wih p γ+1(z) = z a Ρ FIG. 9. As in Fig. 8 fo he dus case. ae consideing a non-consisen quanum heoy. Howeve, i is easy o compue he popagaofo his classof heoies aound de Sie spaceime backgound and o show he pesence of a ghos when he cosmological consan exceeds he squae of he Planck mass (in pepaaion). This fac may explain he fac ha ou saic black holes ae no he final poduc of he gaviaional collapse. These black holes have indeed a de Sie coe in which he effecive cosmological consan is κ MΛ. If he black hole mass M exceeds he Planck mass, hee is a ghos and he black hole is unsable. Theefoe he soluions hee pesened canno be he final poduc, bu only an inemediae phase of he gaviaional collapse.

10 1 ACKNOWLEDGMENTS This wok was suppoed by he NSFC gan No , he Shanghai Municipal Educaion Commission gan fo Innovaive Pogams No. 14ZZ1, he Thousand Young Talens Pogam, and Fudan Univesiy. Appendix A: Theoeical famewok Fo he heoies sudied in his pape, he classical acion is S = d 4 x g [ V( /Λ ) 1 1 κ R G µν R µν], (A1) whee G µν is he Einsein enso and κ = 3πG N. All he non-polynomialiy is in he fom faco V( /Λ ), which mus be an enie funcion. Λ is he Loenz invaian enegy scale and i is no subjec o infinie o finie (non analyic) enomalizaions. The naual value of Λ is of ode he Planck mass and in his case all he obsevaional consains ae saisfied. Indeed, a classical level all he coecions o he Einsein-Hilbe acion ae suppessed by 1/Λ, and if he value of Λ is lage he heoy can educe o geneal elaiviy a low enegies. A quanum level, he inoducion of non-local opeaos in he acion could poenially lead o song non-localiies geneaed by he enomalizaion goup flow owads he infaed, in disageemen wih obsevaions. This is no he case hee, as a consequence of he Donoghue agumen [1] and of he fac ha ou acion only involves enie funcions. The enie funcion V( /Λ ) mus have no poles in he whole complex plane, in ode o ensue uniaiy, and mus exhibi a leas logaihmic behavio in he ulaviole egime, o give supe-enomalizabliiy a he quanum level. The heoy is uniquely specified once he fom faco is fixed, because he lae does no eceive any enomalizaion: he ulaviole heoy is dominaed by he bae acion (ha is, couneems ae negligible). In his class of heoies, we only have he gavion pole. Since V(z) is an enie funcion, hee ae no ghoss and no achyons, independenly of he numbe of ime deivaives pesen in he acion. This is he main eason o inoduce a non-polynomial Lagangian. A he phenomenological level he fom faco could be expeimenally consained, fo example measuing he coecions o he gaviaional poenial, o hypoheically measuing a coss secion in a scaeing pocess a high enegy. Concening he difficulies wih paicula fom facos and non-local opeaos, we noe ha he class of opeaos inoduced by Kasnikov and by Tomboulis ae well defined in he Euclidean as well as in he Loenzian case, because (k E ) = (k ), whee k E is he momenum in he Euclidean space [7]. Moe deails on he ulaviole and infaed popeies of his class of heoies can be found in he las pape in [6]. We noe ha hee i is possible o ani-sceen gaviy in he UV wihou inoducing exa degees of feedom because he heoy is chaaceized by an enie funcion ha goes o zeo in he UV. We pesen below wo diffeen ways o see his. Tee-level uniaiy The geneal and clea way o addess he uniaiy poblem in Lagangian fomalism can be summaized as follows (fo moe deails, see [11]): 1) we calculae he popagao expanding he acion o he second ode in he gavion flucuaion, ) we calculae he ampliude wih geneal exenal enegy enso souces, and 3) we evaluae he esidue a he poles. A geneal heoy is well defined if achyons and ghoss ae absen, in which case he coesponding popagao has only fis poles a k M = wih eal masses (no achyons) and wih posiive esidues (no ghoss). In ou class of heoies, we only have one pole in k = wih posiive esidue. When we inoduce a geneal souce, he lineaized acion including he gauge-fixing eads L ht = 1 hµν O µνρσ h ρσ gh µν T µν, (A) whee Oµνρσ 1 (p) = V(p /Λ ( ) p P µνρσ () 1 ) P() µνρσ, (A3) P () µνρσ and P () µνρσ ae he gavion pojecos P () µνρσ = 1 (θ µρθ νσ +θ µσ θ νρ ) 1 3 θ µνθ ρσ, P () µνρσ = 1 3 θ µνθ ρσ, (A4) and θ µν = η µν k µ k ν /k. The ansiion ampliude in momenum space is A = g T µν O 1 µνρσ Tµν, (A5)

11 whee g is an effecive coupling consan. To make he analysis moe explici, we can expand he souces using he following se of independen vecos in he momenum space 11 k µ = (k, k), k µ = (k, k), ǫ µ i = (, ǫ), i = 1,...,D, (A6) whee ǫ i ae uni vecos ohogonal o each ohe and o k. The symmeic sess-enegy enso eads T µν = ak µ k ν +b k µ kν +c ij ǫ (µ i ǫν) j +dk (µ kν) +e i k (µ ǫ ν) i +f i k(µ ǫ ν) i. The condiions k µ T µν = and k µ k ν T µν = place consains on he coefficiens a,b,d,e i,f i. Inoducing he spinpojecos and he consevaion of he sess-enegy enso k µ T µν = in (A5), he ampliude esuls { } A = g T µν T µν T e H(k /Λ ) D k, (A8) whee T = T µ µ. Clealy, hee is only he gavion pole in k = and he esidue a k = is Res (A) [ k = = g (c ij ) (cii ) ] D Fo D > 3, we find ha Res (A) k > (because H() = ), which means ha he heoy is uniay. Insead, fo = D = 3 he gavion is no a dynamical degee of feedom and he ampliude is zeo. As an example of his quanum ansiion, we can conside he ineacion of wo saic poin paicles. Hee T ν µ = diag(ρ,,,) wih ρ = M δ( x) and he ampliude (A8) simplifies o ( ) D 3 e A = g M H(k /Λ ) D k, (A1) which is posiive in D > 3 and zeo fo D = 3 since, again, hee ae no local degees of feedom in D = 3. Källén-Lehmann (KL) epesenaion Any acion in he class of heoies hee pesened is defined in ems of an enie funcion wih no zeos, singulaiies, nehe poles. Theefoe he usual deivaion of he KL decomposiion goes saighfowad. Le us consuc sep by sep such epesenaion fo a weakly nonlocal pooype heoy. I is easy o show ha, Theefoe a complee se of saes saisfy, d 3 p (π) 3 = E p 1 = + λ k =. d 4 p (π) 4δ(p m λ)θ(p )e H(p m λ ). d 3 p (π) 3 E p λ p λ p whee we defined he sae λ p by boosing of an abiay boos p a momenum zeo sae λ and we summed ove all p. Assuming ha φ(x) = and Loenz invaiance of φ(), φ(x) λ p = e ipx φ() λ p = e ipx φ() λ. (A13) p=e p (A7) (A9) (A11) (A1) We hus ge fo x > y : φ(x)φ(y) = x>y λ = λ = λ λ = λ d 3 p (π) 3 E p e ip(x y) p=e p φ() λ d 4 p i C F (π) 4 (p m m λ )eh(p λ ) e ip(x y) φ() λ e H( m λ ) e H( m λ ) R C F R d 4 p (π) 4 i (p m λ ) e ip(x y) φ() λ d 4 p i (π) 4 (p m λ +iǫ) e ip(x y) φ() λ m λ ) d 4 p ie H(p (π) 4 (p m λ +iǫ) e ip(x y) φ() λ, (A14)

12 whee he conou C F is closed in he lowe half p -plane, while he inegal along he eal axes is evaluaed displacing he poles fo Re(p ) > in he lowe half plane and fo Re(p ) < in he uppe half plane (in ou gaviaional heoy m λ = ). Analog elaion is obained fo x < y, heefoe: T(φ(x)φ(y)) = λ R m λ ) d 4 p ie H(p (π) 4 (p m λ +iǫ) e ip(x y) φ() λ. (A15) The maix elemen is Loenz invaian and only depends on he mass of he sae m λ, heefoe we can wie (A15) making use of he definie posiive specal densiy funcion ρ(s) defined by, 1 ρ(s) = λ δ(s m λ) φ() λ, (A16) as follows whee we defined he funcion T(φ(x)φ(y)) = F (x y;m λ) = R + ds F (x y;s)ρ(s), m λ ) (A17) d 4 p ie H(p (π) 4 (p m λ +iǫ) e ip(x y), (A18) in analogy wih he Feynman popagao. The specal epesenaion sees all he poles, bu in his case hey ae he same as in geneal elaiviy, because we have inoduced a funcion wih no poles o zeos. In he case of a local heoy wih a finie numbe of deivaives, his is impossible and he heoy is sick. We expec a single paicle sae o conibue o ρ(s) as an isolaed dela T(φ(x)φ(y)) = + ds R m λ ) d 4 p ie H(p (π) 4 (p m λ +iǫ) e ip(x y) δ(s m λ )Z (Z > ). (A19) Appendix B: Inegals wih he Tomboulis fom faco We use he appoximaed fom faco in Eq. (44). Le us fis conside he adiaion case. Fo p γ+1 (z) 1, he inegal is ivial. When p γ+1 (z) 1, we have 1 1 de π (1 p γ+1(z) ) E eie. (B1) The second em wih p γ+1 (z) is ivial, in he sense ha i has an analyic esul. We hus wan o find he soluion of he fis em which, apa a consan coefficien, has he fom I 1 1 de eie E n, (B) whee n is an even inege, so ha he inegal gives a eal esul and is an even funcion of. In he case of adiaion, n =. This inegal can be calculaed wih he esidue heoem. We inoduce a small numbe µ, so ha he pole of ode n a E = is educed o n simple poles. To include all he poles, we can conside conou inegals of boh he uppe and he lowe cicles. Wiing E = ρe iθ, de = iedθ, and we have and I + I + θ=π θ= ρ=1 θ= π θ= ρ=1 de eie E n I +I 1 = πi de eie E n I +I = πi µ iin uppe uni cicle µ iin he lowe uni cicle ( e ie ) Res E n +µ n +πi ( e ie ) Res E n +µ n πi µ ion eal axis µ ion he eal axis ( e ie ) Res E n +µ n (B3) ( e ie ) Res E n +µ n. (B4)

13 13 The combinaion of he wo equaions gives he esul of I I = 1 (I 1 +I )+D, (B5) whee I 1 +I = π θ= and he divegence D of ode µ n 1 is given by Fo adiaion, n = and we have I = 1 { } dθ e sinθ sin[(n 1)θ cosθ]+e sinθ sin[(n 1)θ+cosθ], (B6) D = πi( π θ= µ iin he uppe uni cicle µ iin he lowe uni cicle ( e ie ) )Res E n +µ n. (B7) { } dθ e sinθ sin[θ cosθ]+e sinθ sin[θ +cosθ] + π µ, (B8) whee he divegen pa is D = π µ fo µ. The dus case is slighly diffeen and i is moe convenien o choose he exponenial fom fo appoximaion of V(z), so he inegal is I 1 1 de 1 E α e E 16 e ie = Re ρ= θ= 1 de 1 E αe E 16 e ie, (B9) whee α > is no an inege. Wih he ansfom fo he inegaion vaiable E = ρe iθ, de = iedθ, and applying he conou inegal we have ( ρ=1 ρ= θ=π θ= ) I 1 +I +I R +I de 1 16 e ie =. (B1) ρ=1 θ= θ=π E αe E θ=π ρ=1 ρ The fis wo ems I 1 +I can be simplified as I 1 +I = 1 dρ 1 ρ αe 1 ρ16 e iρ e iπα (isinαπ). The inegaion of he uni cicle gives he finie pa of he equied inegal, and he inegaion aound he oigin gives he divegen pa of ode α 1, I R = i I = i π π dθ e 1 cos16θ sinθ e i[ 1 sin16θ+cosθ+(1 α)θ], dθ Finally, we can ge he esul 1 µ 16 µ α 1e cos16θ µsinθ e i[ µ16 sin16θ+µcosθ+(1 α)θ] i π (B11) (B1) dθ ei(1 α)θ µ α 1. (B13) I = 1 sinαπ π dθe (1 cos16θ+sinθ) cos[ 1 cos16θ+cosθ +(1 α)θ +απ]+ (α 1)µ α 1. Fo dus case, we have α = 7/3 and he divegence is of ode 4/3. (B14) [1] S. W. Hawking and R. Penose, Poc. Roy. Soc. Lond. A 314, 59 (197); S. W. Hawking and G. F. R. Ellis, The Lage scale sucue of space-ime (Cambidge Univesiy Pess, Cambidge, UK, 1973). [] R. Penose, Riv. Nuovo Cim. Numeo Speciale 1, 5 (1969) [Gen. Rel. Gav. 34, 1141 ()]. [3] B. Cae, Phys. Rev. Le. 6, 331 (1971); D. C. Robinson, Phys. Rev. Le. 34, 95 (1975).

14 14 [4] J. R. Oppenheime and H. Snyde, Phys. Rev. 56, 455 (1939). [5] I. Dymnikova, Gen. Rel. Gav. 4, 35 (199); E. Ayon-Beao and A. Gacia, Phys. Le. B 493, 149 () [g-qc/977]; L. Modeso, Phys. Rev. D 7, 149 (4) [g-qc/4797]; P. Nicolini, A. Smailagic and E. Spallucci, Phys. Le. B 63, 547 (6) [g-qc/5111]; A. Smailagic and E. Spallucci, Phys. Le. B 688, 8 (1) [axiv: [hep-h]]; C. Bambi and L. Modeso, Phys. Le. B 71, 39 (13) [axiv: [g-qc]]; Z. Li and C. Bambi, Phys. Rev. D 87, no. 1, 14 (13) [axiv: [g-qc]]. [6] V. P. Folov and G. A. Vilkovisky, Phys. Le. B 16, 37 (1981); R. Casadio and C. Gemani, Pog. Theo. Phys. 114, 3 (5) [hep-h/47191]; C. Bambi, D. Malafaina and L. Modeso, Phys. Rev. D 88, 449 (13) [axiv: [g-qc]]; C. Bambi, D. Malafaina and L. Modeso, Eu. Phys. J. C 74, 767 (14) [axiv: [g-qc]]; Y. Liu, D. Malafaina, L. Modeso and C. Bambi, Phys. Rev. D 9, 444 (14) [axiv: [g-qc]]. [7] N. V. Kasnikov, Theo. Mah. Phys. 73, 1184 (1987) [Teo. Ma. Fiz. 73, 35 (1987)]. [8] E. T. Tomboulis, hep-h/ [9] L. Modeso, Phys. Rev. D 86, 445 (1) [axiv: [hep-h]]. [1] J. F. Donoghue, Phys. Rev. D 5, 3874 (1994) [axiv:g-qc/94557]. [11] K. S. Selle, Phys. Rev. D 16, (1977); P. van Nieuwenhuizen, Nucl. Phys. B 6, 478 (1973); F. C. P. Nunes and G. O. Pies, Phys. Le. B 31, 339 (1993); A. Accioly, J. Helayel-Neo, E. Scaena, J. Moais, R. Tucai and B. Peeia-Dias, Class. Quan. Gav. 8, 58 (11) [axiv: [hep-h]]; F. C. P. Nunes and G. O. Pies, Phys. Le. B 31, 339 (1993). [1] G. V. Efimov, Nonlocal Ineacions of Quanized Fields [in Russian] (Nauka, Moscow, 1977).