Inteio of Blck Holes nd Infomtion Recovey Hiku Kwi Deptment of Physics, Kyoto Univesity, Kyoto 66-85, Jpn Yuki Yokoku Intentionl Cente fo Theoeticl Sciences, Suvey No.151, Shivkote, Hesghtt Hobli, Bengluu Noth - 56 89, Indi. Xiv:159.847v [hep-th] 8 Jn 16 We nlyze time evolution of spheiclly symmetic collpsing mtte fom point of view tht blck holes evpote by ntue. We fist conside spheicl thin shell tht flls in the metic of n evpoting Schwzschild blck hole of which the dius (t) deceses in time. The impotnt point is tht the shell cn neve ech (t) but it ppoches (t) (t) d(t). This sitution holds t ny dius becuse the motion of shell in spheiclly symmetic system is not ffected by the outside. In this wy, we find tht the collpsing mtte evpotes without foming hoizon. Nevetheless, Hwking-like dition is ceted in the metic, nd the object looks the sme s conventionl blck hole fom the outside. We then discuss how the infomtion of the mtte is ecoveed. We lso conside blck hole tht is dibticlly gown in the het bth nd obtin the inteio metic. We show tht it is the self-consistent solution of G µν = 8πG T µν nd tht the fou-dimensionl Weyl nomly induces the dition nd stong ngul pessue. Finlly, we nlyze the intenl stuctues of the chged nd the slowly otting blck holes. PACS numbes: 4.6.+v, 4.7.Dy, 11.1.-z. I. INTRODUCTION The pictue of the blck hole hs chnged significntly since the discovey of the Schwzschild solution. In the clssicl level blck holes e chcteized by the existence of the event hoizon, nd objects which hve enteed into them cnnot come bck foeve. In the quntum level, howeve, blck holes evpote in the vcuum [1] nd cn be in equilibium with the het bth of the Hwking tempetue []. One of the poblems of this pictue is the infomtion pdox[3], which is essentilly the disgeement between the infomtion flow nd the enegy flow. Suppose we conside pocess in which blckholeisfomedbythe collpseofmtte. Intheconventionl pictue, the mtte cosses the hoizon holding its own infomtion. On the othe hnd, the Hwking dition is theml becuse it is ceted in vcuum, nd it cnnot eflect the detiled infomtion of the collpsing mtte. Theefoe, if we ssume tht the evpotion occus fte the hoizon is fomed, we e foced to conclude tht, lthough ll the enegy is emitted to infinity, the fllen infomtion does not come bck. In this ppe, we econside the time evolution of the collpsing mtte fom the point of view tht blck holes e objects tht evpote inheently. Then, we find tht no hoizon ppes nd the mtte is distibuted in the whole egion inside the blck hole. Futhemoe, we discuss tht the Hwking dition comes out though the mtte nd cn exchnge infomtion with it. In ode to undestnd the bsence of the hoizon, we hkwi@guge.scphys.kyoto-u.c.jp yuki.yokoku@icts.es.in fist conside spheicl shell flling in the evpoting Schwzschild metic. The impotnt point is tht the dius (t) is decesing s d(t) = Cl p (t) due to the Hwking dition. Hee = GM is the Schwzschild dius, l p = G is the Plnck length, nd C is popotionlity constnt of ode O(1). Then, the shell does not ctch up with the hoizon completely but ppoches to = (t) + Cl p (t). This is becuse the shell ppoches the hoizon in the time scle, but duing tht time the dius deceses by = d Cl = p. We then conside spheiclly symmetic collpsing mtte with continuous distibution, nd egd it s set of thin shells. Becuse of the spheicl symmety the time evolution of ech shell is not ffected by the shells outside it. Then, the bove gument cn be pplied to ech shell. Thus, thee is no tpped egion, nd no hoizon ppes. Nevetheless, we cn show tht dition is ceted fom ech shell, nd it tkes lmost the sme fom s the conventionl Hwking dition. Inteestingly, stong ngul pessue is lso induced, ginst which the shell collpses nd loses the enegy. Fom these discussions it tuns out tht the evpoting object hs cle sufce t = (t)+ Cl p (t) nd tht its inteio is filled with mtte nd dition while fom the outside it looks lmost the sme s the conventionl blck hole. As we will see, no tns-plnckin poblems occu if the theoy hs mny fields, fo exmple bout 1. This pictue of blck holes indictes possible mechnisms of the infomtion ecovey. Since the Hwking dition is poduced ne ech shell, the dition nd the collpsing mtte cn intect nd exchnge the detiled infomtion. The time scle of this pocess cn be
estimted s log l p. Bsed on this mechnism, we discuss the possibility tht the dition depends on the initil infomtion of the collpsing mte. We lso discuss blck hole which is dibticlly gown in the het bth. We obtin its inteio metic nd show tht it is the self-consistent solution of the semiclssicl Einstein eqution G µν = 8πG T µν. Then, it is undestood tht the the fou-dimensionl Weyl nomly poduces the dition nd the ngul pessue. We cn lso investigte the inteio stuctue of the chged nd the slowly otting blck holes. This ppe is ognized s follows. In Sec. II, we explin the new pictue of blck holes. In Sec. III, we discuss how the infomtion comes bck in the pocess of evpotion, nd conside possible mechnisms of infomtion ecovey. In Sec. IV, we conside the blck hole tht is dibticlly gown in the het bth. In Secs. V nd VI, we study the chged nd the slowly otting blck holes. We give supplementy discussions in the Appendixes. II. NEW PICTURE OF BLACK HOLES A. Conventionl pictue of blck holes We eview hee the conventionl pictue of blck holes. Suppose we conside Schwzschild blck hole in the vcuum with lge mss M = G comped with the Plnck mss m p. The blck hole hs the Hwking G tempetue nd the Bekenstein-Hwking entopy [1,, 4], T H = 4π, S BH = A 4l p, (1) whee A = 4π is the e of the hoizon. Fom the Stephn-Boltzmnn lw [5], the time evolution of (t) cn be expessed s d = σ(). () Hee σ() is lp multiplied by constnt of ode 1. σ() depends on the detil of the theoy, such s the numbe of species of fields [6]. We expect tht σ() vies dσ with slowly comped with l p ; d l p σ. Although these esults wee oiginlly obtined by ssuming the existence of the hoizon, s we will see lte, collpsing mtte dites nd hs the sme entopy even if thee is no hoizon. Next we conside the smllest unit of enegy following Bekenstein s gument [4]. Suppose we inject wve pcket of mssless pticle with enegy ǫ to blck hole with dius. In ode fo the wve to ente into the blck hole, its wvelength needs to be smlle thn the size of the blck hole: λ <. (3) Theefoe, its enegy should stisfy ǫ = ω = π λ >. (4) Thus, the minimum enegy tht cn be dded to blck hole with dius is given by nd the coesponding wvelength is ǫ, (5) λ. (6) Although the bove gument is vlid fo mssless pticles, we cn show the sme esults lso fo mssive pticles (see Appendix A). The minimum enegy (5) coesponds to 1 bit of infomtion, becuse the wvelength of the pticle (6) is s lge s the blck hole, nd we hve two possibilities, whethe it goes inside the hole o not. Now, suppose we build up blck hole with dius fom pticles which hvethe minimum enegy. Then, the totl mount of the lost infomtion is evluted s S (the numbe of pocesses) (entopy pe pocess) Gǫ log l p, (7) which gees with S BH in (1). Note tht if we use pticles with ǫ the entopy is much less thn (7) (see Appendix A). As we will see lte, the existence of the hoizon is not essentil fo this estimtion. B. Motion of test pticle ne the evpoting blck hole We nlyze hee the motion of test pticle ne the evpoting Schwzschild blck hole. The outside spcetime cn be ppoximtely descibed by ds = (t) + (t) d + dω, (8) whee (t) stisfies () [7]. If the test pticle comes sufficiently close to (t), its dil coodinte (t) is detemined iespectively of its mss o ngul momentum by d(t) = (t) (t) (t). (9) This is becuse ny pticle becomes ulteltivistic ne nd behves like mssless pticle [1] [11]. Fom (9) we see tht the pticle ppochesthe dius in the time scle of O(). Duing this time, howeve, the dius (t) itself is slowly shinking due to the Hwking dition. Hence, the pticle cnnot ctch up with the
3 FIG. 1: A test pticle in the time-dependent Schwzschild metic. (t) cnnot ctch up with (t) s long s d (t) <. dius completely. Insted, (t) is lwys pt fom (t) by d. See Fig.1. We cn see this behvio explicitly by solving (9) s follows. Putting (t) = (t)+ (t) in (9) nd ssuming (t) (t), we hve d (t) = (t) (t) d(t). (1) The genel solution of this eqution is given by (t) = C e t t ( 1 t (t ) + d ) t (t ) e t t 1 (t ), whee C is n integtion constnt. Becuse (t) nd d (t) cn be consideed to be constnt in the time scle of O(), the second tem cn be evluted s t t ( d d (t) ) (t ) t t e Theefoe we obtin e t t 1 (t ) t t d (t) = (t)(t)(1 e (t) C e t t (t) d t t (t)(t)(1 e (t) ), which leds to (t) d +Ce t = + σ() t t (t) ). +Ce t + σ, (11) whee C is positive constnt nd we hve used () to obtin the second line. This esult indictes tht in the time scle of O() ny pticle ppoches R() + σ(), (1) ndit willnevecossthedius(t)slongs(t) keeps decesing. In the following we cll R() the sufce of the blck hole. We give numeicl demonsttion of (11) in Appendix B. One might wonde if such smll dil diffeence σ mkes sense, since it looks much smlle thn l p. Howeve, the pope distnce between the sufce nd the hoizon is estimted s l = g (R()) σ() σ(), (13) becuse g () =. In genel this is popotionl to l p, but the coefficient cn be lge if we conside theoy with mny species of fields. In fct, in tht cse we hve σ Nl p l p, (14) whee N is the numbe of fields. We ssume tht N is lge but not infinite, fo exmple, of the ode of 1 s in the stndd model. So f, we hve found the sufce (1) bsed on the clssicl motion of pticles. Howeve, we cn show tht the esult is vlid even if we tet the pticles quntum mechniclly. Suppose tht we thow wve pcket of mssless pticle with fequency ω to the blck hole [1]. Hee, ω is mesued t nd thee the wvelength is given by λ = π ω. Then, it becomes blueshifted s it ppoches to = + : ω ω locl = gtt (). Thus, the locl wvelength is given by λ locl = π ω locl = g tt ()λ λ. On the othe hnd, the pope distnce l fom = is given by l = + + d g = + d 1 1 d =. (15) Theefoe, in ode tht the wve is contined in egion with the size l, the wvelength needs to stisfy 1 < l λ locl = λ, (16) whichtunsouttobethesmes(3). Thistellsthtsuch wve pcket tht cn go into the blck hole behves s pticle ne =. Theefoe, we cn conclude tht (1) is the position whee ny wve ppoches. Note tht (16) is nothing but the condition fo the eikonl ppoximtion. C. New pictue 1. Sufce of blck holes We conside spheiclly symmetic collpsing mtte tht foms blck hole in the conventionl pictue. As is
4 discussedin AppendixC, wecnegditsconsistingof thin shells with the minimum enegy (5). An impotnt point is tht becuse of the spheicl symmety, the time evolutionofechshell is not ffected bythe shells outside it, if we descibe the motion using the locl time. Then, ssuming tht the mss inside ech shell is decesing s in (), we cn pply (1) fo ech shell, nd find tht it is lwys pt fom its Schwzschild dius. Theefoe, we cn conclude tht thee is no tpped egion. Next, we conside the outemost shell. Becuse its dius ppoches R((t)) = (t) + σ((t)) (t), ll mtte is stuffed in the egion < R((t)), which mens tht the object hs cle boundy t = R((t)). This is the eson why we cll R() the sufce [13]. The egion outside the sufce is lmost empty, nd the object looks exctly the sme s the conventionl blck holes when it is obseved fom the outside. On the othe hnd, the inside of the sufce is totlly diffeent. In pticul, the hoizon no longe exists [8, 15, 16] becuse of the nontivil distnce (13). In the following, we cll the object blck hole, lthough it is significntly diffeent fom the conventionl ones. Hee, one might wonde if the Hwking dition is elly ceted by such n object. Howeve, we cn show tht indeed it is [8, 15] (see lso Appendix C). Genelly, pticle cetion occus in time-dependent potentil, nd it tkes the Plnck-like distibution if the ffine pmetes on the null genetos of the pst nd futue null infinity e elted exponentilly [17]. Indeed, in Appendix D, using the self-consistent metic obtined in Sec. IV, we show tht pticles e ceted fom the vcuum in ccodnce with the Plnck-like distibution with the Hwking tempetue [18] T H (t) = 4π(t). (17) Howeve, s we will see in Sec. IID, the distibution my be modified by the intection between the collpsing mtte nd the dition.. Self-consistent time evolution of ech shell In this subsection we investigte how ech shell loses enegy duing the Hwking dition. When we nlyze the time evolution of shell, we cn ignoe the mtte outside it becuse of the spheicl symmety, nd egd the system s consisting of the shell nd the coe. Hee, the coe is the pt of the system inside the shell, nd we denote its dius nd mss by nd G, espectively. Fo simplicity, we ssume tht is ledy vey close to R( ) nd tht the Hwking dition is emitted s conventionl blck hole, d = σ( ), (18) whee t is the time without tking the mtte outside the coe into ccount. We lso ssume fo simplicity tht FIG. : Time evolution of the coe with nd the shell with ǫ(t = ) in the view of the locl time t. the shell hs no thickness nd denote its dius by s. Now we cn discuss how the enegy of the shell deceses fom its initil vlue, which we ssume to be ǫ. We cn conside the following thee stges. See Fig.. Stge I. The shell is f fom the coe, nd the dition emitted fom the coe is not lteed by the shell. The totl mss (t) G deceses s d ) σ(. (19) Stge II. In the time scle of ode, the shell comes close to the coe. Then the totl system behves like blck hole with dius, the sufce of which is locted t = s = R(), nd dites s usul (). Howeve, the dition comes minly fom the shell becuse the dition fom the coe is extemely wekened by the edshift cused by the shell, lthough the coe itself ditesconstntlys(18)intemsoft. Theefoe, (t), nd thus R( (t)), chnge vey little duing this stge. We cn exmine the time evolution of the enegy of the shell moe pecisely, which is given by ǫ(t) = (t) G, whee =. The metic outside the coe is given by { (t) + (t) d + dω, fo s, ds = (t ) + (t ) d + dω, fo R( ) s, () whee (t) nd (t ) follow () nd (18), espectively. Theeltionbetweentn isobtinedsfollows. Fist, we wite the time evolution of s in two wys using the metic outside nd inside the shell: d s = s(t) (t), s (t) Then, by tking the tio, we get = s s = 1 σ() d s = s(t ) (t ) s (t ) σ() σ() +. (1) () (3)
5 whee we hve used s = R() = + σ() nd ssumed < l p togethe with (14). By using (), (18), (3), nd ( ) 1 1 1+, we obtin dǫ = 1 G 1 G ( ) d d = 1 ( d G d ) [ ( σ() 1 ) σ() σ() ( 1+ )] ǫ, (4) which gives ǫ(t) = ǫ()e t (t). (5) Hee we hve used the fct tht (t) does not chnge significntly in the time scle of O(). Thus, the enegy of the shell deceses exponentilly in the time scle t decy. (6) Note tht the edshift (3) plys cucil ole in (4). This indictes tht in genel the dition obseved fom the outside comes fom the egion ne the sufce. Stge III. When the enegy of the shell is exhusted, the coe stts to dite without edshift. Becuse the bove gument cn be pplied to ny shell, we conclude tht the whole object evpotes fom the outside s if n onion is peeled. A moe detiled nlysis is s follows. Fist we estimte how mny shells ound the sufce e moving without lge edshift. Fom (), we hve = O(1) < 1 < σ. (7) Theefoe, if we conside blck-hole-like object with dius, the outemost egion with the wih sufce σ( ) (8) is not fozen, which contins σ l shells with enegyǫ p. Then, the lifetime of the object is estimted s t life (the decy time of shell) (the totl numbe of the shells) (the numbe of shells moving t the sme time) ( ) G ǫ 1 σ 3 l σ, (9) p which gees with the one obtined fom (). 3. Inteio of the evpoting blck hole Now we conside the inteio of the object. See Fig.3. We exmine the egion deepe thn the outemost one FIG. 3: The inteio pictue of n evpoting blck hole. consideed in the pevious subsection. In tems of the locl time, the shells in this egion simply keep flling s (9) fo the locl quntities,, nd t (see the lowe closeup of Fig.3). Howeve, if we see them fom the outside, time is fozen due to the lge edshift fte the outemost shells come close to the sufce. To check this explicitly, we conside shell with dius in the deep egion so tht = sufce σ. Hee, nd e the Schwzschild dius coesponding to the mss of the totl system nd tht inside the shell, espectively. An impotnt point hee is tht the shell hs not necessily eched R( ). In fct, in tht cse, Eq. () becomes which leds to σ, (3) t t. (31) σ As we hve seen, t is the time scle in which the shell eches R( ). On the othe hnd, t σ is the time scle in which the mtte outside the shell evpotes by the Hwking dition. Thus, we hve seen tht the inteio egion is lmost fozen nd its stuctue depends on the initil distibution [19]. Ech shell stts to evolve fte the mtte outside it disppes. Next, we discuss the outemost egion with the wih σ, whee time flows without lge edshift. Fo ny initil distibution, ech shell in this egion eches the symptotic position R( ) in the time scle. Then, the Hwking dition stts to be ceted, nd the enegy of the shell deceses exponentilly s(5) (see the uppe closeup of Fig.3). As we will see lte, this time evolution depends on the initil, which gives ntul mechnism of the infomtion ecovey. Sof, wehvefound tht collpsingmtte becomes compct object with the sufcelocted t = R((t)),
6 nd it evpotes without foming tpped egion in the time scle of 3 σ. We will lso see in Sec. IIF tht no tns-plnckin poblem occus if the theoy hs mny species of mtte fields. Thus, we obtin the Penose digm s in Fig.4, which is topologiclly the sme s the Minkowski spce [8, 15] []. FIG. 4: The Penose digm of the evpoting blck hole in the vcuum. D. Close look t the sufce nd intensity σ() In this subsection we exmine the sufce moe pecisely. In pticul, we conside the effect tht some potion of the Hwking dition is sctteed bck due to the gvittionl potentil o sctteing with the othe mttes. enegy, ǫ sct, we intoduce function g() s ǫ sct = g() 1+g() ǫ. (3) g() should be n ode 1 quntity nd my depend on the mtte Lgngin. Then, in the time scle, the sctteed mtte comes bck to the sufce S, which is shown s P i+. Then, it entes into the object nd keeps going long the tjectoy S i+, nd it is coveed by the subsequentmtteodition. Hee,S i islocte = R ( i ) i + σ(i) i, which is the symptotic position of the shell tht stted fom Q i 1. Thus, pt of the Hwking dition comes bck in the time scle. This pocess occus continuously, nd we find tht the physicl sufce S consists of the sctteed mtte nd dition. Now, we elte the wintensity σ to the net intensity σ. To do it, we estimte how the mssof the totl system deceses duing t i+ t t i+3. Adding the decese by the w emission nd the incese by the sctteed enegy (3), we hve = σ t+ g i+ 1+g σ t i σ t+ g σ 1+g t = 1 1+g Comping this with (), we obtin σ t. (33) σ() σ () 1+g(). (34) Although g() my depend on the detil of the mtte Lgngin, the gument in Sec. IIB is still vlid, nd the position of the sufce S is detemined by σ, s in (1). E. Sttiony blck holes in the het bth FIG. 5: A close look t the outemost egion. The outemost egion is mgnified in Fig.5. Hee, fo simplicity, time is discetized to the intevl t. S stnds fo the sufce which is locted t = R((t)) = (t) + σ((t)) (t). Suppose tht mtte o dition with enegy ǫ σ() is emitted fom the sufce t t = t i, which is shown s P i in the figue [3]. Hee σ () is the w intensity befoe tking the sctteed flow into ccount. In the time scle, the mtte eches = g +, whee. At this point Q i+1, some mount of the mtte is sctteed bck while the est goes to infinity. In ode to indicte the potion of the sctteed Hee we conside how the blck-hole-like object becomes in equilibium with the het bth. Suppose n evpoting object with mss G is put in the het bth of tempetue T H = 4π. As the mtte in the outemost egion comes out of the object [3], the dition fom the het bth eplces it. Becuse the collpsing mtte is eplced by the dition in the het bth, this pocess is not n equilibium one. Afte this pocess is completed in the outemost egion, the system becomes sttiony. Figue 6 epesents this sitution. The emkble point is tht this pocess occus only in the outemost egion whee time flows. The mtte in the deepe egion is lmost fozen nd keeps hving its initil infomtion. Nevetheless, the totl object becomes in equilibium with the het bth in tht the outgoing nd ingoing flows blnce lmost completely. In the igoous sense it is meely sttiony stte, but in pctice it behves s n equilibium stte. Finlly, we
7 stisfied. FIG. 8: σ l p qunt with enegy ǫ 1 ppoching the coe. FIG. 6: The blckhole thtis in equilibiumwith thethehet bth. The mtte in the outemost egion hs been eplced with dition fom the het bth. Ech quntum with enegy ǫ 1 is blueshifted s it flls towd the coe, nd the enegy becomes ǫ locl 1 = ǫ 1 gtt (R()) σ(). (35) Hee we hve used (1) nd () to obtin g tt (R()) = σ(). Fom (14), we hve ǫ locl 1 m p R() R() when N is lge. This indictes tht ech quntum does not hve tns-plnckin enegy. It should be noted tht the wvelength λ locl 1 of ech quntum is of the sme ode s the pope length l of the outemost egion: FIG. 7: The Penose digm fo the sttiony blck hole in Fig. 6. show the Penose digm. See Fig. 7. While the inteio stuctue depends on the initil distibution of mtte, the exteio is univeslly descibed by the Schwzschild metic, Eq. (8) with =const.. F. Absence of tns-plnckin poblems In this subsection we will show tht the tns- Plnckin effects e bsent if the theoy hs mny fields. We conside the mtte in the outemost egion with wih σ, whee time flows s is discussed in (8). The enegy of the mtte is given by ǫ σ G due to the eltion = GM. Becuse the enegy of the minimum quntum is ǫ 1 s discussed by Bekenstein [4], we cn ǫ egd the mtte s consisting of ǫ 1 σ l N qunt. p This is consistent with the fct tht we hve N species of fields. In fct, we cn conside how the N qunt with wvelength e compessed to fom the outemost egion just outside the coe. See Fig. 8. Duing this pocess, the wves e dibticlly compessed becuse the initil wvelength is, nd the condition (16) is λ locl 1 = ǫ locl σ() 1 (36) l g (R()) σ() σ(). (37) Hee we hve used (1) nd () to obtin g (R()) = R() R() σ(). This gives nothe suppot to the pictue tht the wves e dibticlly compessed s in Fig. 8 [4]. The bove esults suggest tht the typicl scle in which things chnge is σ. Theefoe, the cuvtue cn be estimted s R 1 ( σ) 1 σ, (38) which is smlle thn l p fom (14). We will justify this esult in Sec. IV by exmining the self-consistent metic. See Eq. (75). We cn show tht the enegy density ρ = T t t is much smlle thn the Plnck scle if the object is sufficiently lge, l p. Fist, we note tht fo the genel spheiclly symmetic system the Anowitt-Dese-Misne enegy (ADM enegy) inside dius is given by [1] M() = 4π d ρ( ). (39)
8 In Fig. 8, the totl enegy ǫ of the qunt is conseved, nd using (39), we hve ǫ 4π befoe ρ befoe 4π fte ρ fte. (4) Hee, befoe, ρ befoe, fte, nd ρ fte e the size of the egion nd the enegy density befoe nd fte the pocess, espectively. Using ǫ σ G, befoe, fte σ, nd N σ l, we obtin p ρ befoe N 4, (41) ρ fte 1 G. (4) Both e much smlle thn the Plnck scle if N is not too lge. Eqution (4) will be checked by the selfconsistent solution [see Eq. (78)]. Itisexpectehttheenegyfluxdensityisofthesme ode s the enegy density, becuse the mtte is ulteltivistic ne R() s in (35). Indeed, we cn check this s follows. The Hwking flux is given by J() = σ() G fom (), nd consideing the double blueshift fctos, we hve ( 1 J locl (R()) = J() gtt (R())) σ() σ() G = 1 G. (43) Theefoe, the flux pe unit e is estimted s [16] j locl (R()) = 1 1 4πR() J locl(r()) 8πG, (44) which is gin vey smll comped with the Plnck scle. Note tht if the hoizon existed J locl would divege t =. G. Stong ngul pessue coe(18) tht is edshifted due to the shell [see Eq. ()]. Thus, p d is induced by the Hwking dition fom the shell itself. We cn estimte p d fo s = R() using simil gument to (4) (see Appendix F): [ ( s σ p d 8πG( s ) 1 ) ( σ σ 1+ )] GN lp. (46) Hee l p nd (14) hve been used. Let us see how lge this is s thee-dimensionl quntity. Noting tht p d is foce pe unit length on the spheicl shell with the cuvtue dius, we expect tht the thee-dimensionl pessue is given by p θ p d 1 GN l p. (47) As we will show in Sec. IVD, Eq. (47) cn be undestood by the fou-dimensionl Weyl nomly [7]. This is lge, but not tns-plnckin becuse of (14). If n obseve flls into the object s S i in Fig. 5, he will find this intense pessue ound the sufce. This my be identified with the fiewll [8], lthough the intepettion is the diffeent. Futhemoe, the pessue is extemely nisotopic becuse the dil pessue p cn be estimted s p j locl 1 G fom (44), which is much smlle thn (47). Theefoe the inteio of the object cnnot be egded s the odiny fluid. At fist glnce the stong ngul pessue seems mysteious. Howeve, it plys n impotnt ole to decelete nd sustin the collpsing mtte. They lose enegy s they shink ginst the pessue, nd the enegy is conveted to the Hwking dition. Theefoe, we cn conclude tht the existence of the stong ngul pessue is self-consistent nd obust. In this sense, the new pictue is vey diffeent fom tht of the two-dimensionl models [9]. We show tht stong pessue in the ngul diection ppes in the inteio of the blck hole. We conside stge II of Fig., nd evlute the sufce enegymomentum tenso on the shell. We cn use the junction condition fo null hypesufce [5, 6], becuse the shell moves lmost lightlike long (9). We obtin the sufce enegy density nd sufce pessue [8] (see Appendix F fo the deivtion.): ǫ d = ǫ 4πs, p d = s 8πG( s ) [ ( d s s ) ] d. (45) ǫ d simply epesentsthe enegy pe unit eof the shell with enegyǫ. In the expessionofp d, the fist tem coesponds to the totl enegy flux fom the whole object (). The second tem epesents the enegy flux fom the III. INFORMATION RECOVERY IN THE NEW PICTURE A. Intection As we hve seen in the new pictue, the Hwking dition is ceted ne the sufce (see Appendix D fo the detiled nlysis). Theefoe, it is impotnt to conside the intection between the collpsing mtte nd the Hwking dition. Hee, we estimte the time scle of the sctteing by consideing only the s-wve nd ppoximting the intection s one-dimensionl sctteing poblem. Suppose tht the ingoing mtte nd outgoing Hwking dition intect with smll dimensionless coupling constnt λ (see Fig. 9). Thee e two possible cses.
fom which we obtin τ sct σ()log [ ] lp λσ() 9. (53) In tems of the Schwzschild time, it coesponds to [ ] lp t sct log. (54) λσ() FIG. 9: Sctteing pocess between ingoing mtte nd outgoing dition in the outemost egion. One is the bckwd sctteing, fte which the ingoing mtte goes outwd nd the Hwking dition inwd. In this cse, they exchnge thei enegies. The othe is the fowd sctteing, in which the mtte nd dition go though ech othe. If we denote the pobbility of the bckwd sctteing pe unit pope time by P locl, the sctteing pope time τ sct is evluted fom τsct dτp locl = 1, (48) B. Wve ntue of mtte We next exmine nothe possible mechnism of the infomtion ecovey. Eqution (5) indictes tht the wvelength of the pticles in the outemost egion inceses s λ locl (τ) = ǫ locl (τ) τ σ()e σ(), (55) σ() whee we hve used (5), (36), nd dτ. The mtte cn no longe sty in the blck hole if the wvelength becomes lge thn the size of the blck hole: σ() whee dτ = g tt ( R()). We cn estimte P locl s follows. Fist we hve Hee, λ locl (τ) > l BH(τ). (56) P locl = Ω coss F, (49) whee Ω coss nd F e the coss section nd the numbe flux, espectively. Ω coss is given by Ω coss λ ǫ locl in ǫ locl out, (5) whee ǫ locl in nd ǫ locl out e the locl enegy of the ingoing mtte nd outgoing dition, espectively. We note tht the enegy of the wve in the collpsing mtte decys s (5) nd tht the typicl locl enegy scle is given by (35). Thus, we hve Next, using (44), we hve Ω coss λ τ σ()e σ(). (51) F j locl (R()) 1 σ() ǫ locl out lp. (5) Then, Eq. (48) becomes 1 = τsct τsct l p dτω coss F dτλ τ σ()e σ() σ() lp λ σ() τ σ() sct e, l BH (t) = R((t)) d g (t,) (57) is the pope size of the blck hole which depends on the inteio metic g (t,). We cn ewite the condition (56) by using (55) s [ ] τ > l BH σ()log τ wve. (58) σ() Thus, τ wve is the time sclein which the mtte comes bck by the wve ntue. l BH is estimted s follows. We fist note tht the flt spce, in which g = 1, hs the minimum pope length. On the othe hnd, we expect tht the inteio of the dibticlly fomed blck hole, which we will see in the next section, hs the longest pope length. Thus, using the self-consistent metic (7), we hve 1 g () σ() = < l BH() < At ny te, τ wve is ppoximtely given by τ wve σ()log σ(). (59) σ(), (6) fom which we obtin the time scle in tems of the Schwzschild time t wve () log. (61) σ()
1 C. Time evolution of infomtion ecovey Bsed on the bove esults, we cn discuss how the infomtion ecoves in the evpotion pocess. Becuse the two time scles (54) nd (61) e essentilly the sme nd expessed s t bck log l p, (6) we do not hve to distinguish the detiled mechnism. At ny te it indictes tht fte the pticle with initil enegy echesthe sufce ofthe blck hole, it comes bck with its initil infomtion in the time scle t bck. Thus the enegy flow gees with the infomtion flow, nd the infomtion comes bck in sequence fom the outside s the blck hole evpotes. Note tht (6) lso coesponds to the themliztion time in the sense of Sec. IIE. We cn exmine the time evolution of the entnglement entopy between the blck hole nd the emitted mtte. Suppose tht initilly the collpsing mtte is in pue stte. The time evolution of the totl system is unity becuse thee is no tns-plnckin physics nd it is descibed by locl field theoy. Theefoe, s usul, the entnglement entopy inceses fo while, nd it stts to decese fte bout hlf of the blck hole hs evpoted. This time is bout the hlf of the lifetime of the blck hole 3 σ, which is essentilly the sme s the Pge time [3]. When the blck hole evpotes completely, the entopy becomes zeo gin, which mens tht ll the infomtion hs come out. D. Nonconsevtion of byon numbe We discuss the consevtion of the byon numbe in the evpotion pocess. Suppose we constuct blck hole with dius fom l byons by epeting Bekenstein s opetion [4] (see Appendix A). The impotnt p point is tht lthough ech byon hs the est mss m, it inceses the ADM mss of the blck hole by, which is much smlle thn m. Then, if the byon numbe is conseved, not ll the byons cn come bck to infinity fte the evpotion becuse the totl est mss l p m is much lge thn the totl ADM mss G. In othe wods, even if the byons e emitted ne the sufce, they cnnot ech infinity due to the binding enegy. Sting theoy my give n nswe to this pdox. Actully in sting theoy it is believed tht thee is no continuous globl symmety, nd ny continuous symmety must be guged [31]. Theefoe, we cn expect tht byons e conveted to mssless pticles though some intection in the egion ne the sufce whee the locl enegy of pticles is close to the Plnck scle s (35). Thus the blck hole mde fom byons cn evpote by violting the byon numbe consevtion. IV. ADIABATICALLY FORMED SCHWARZSCHILD BLACK HOLE A. Blck hole in the het bth We conside smll Schwzschild blck hole put in het bth nd gow it to lge one dibticlly by chnging the tempetue nd size of the het bth popely (see Fig. 1). As ws discussed in Sec. II, the blck FIG. 1: The blck hole tht is fomed dibticlly in the het bth. hole hs the sufce t = R( ) when the mss is G, nd the dition fom the blck hole lwys blnces tht fom the het bth s in Fig. 6. Theefoe the stuctue t the dil coodinte is completely detemined when the sufce is t. Once it is detemined, it is not lteed even fte the blck hole gows becuse of the spheicl symmety [3]. Hence, the inteio metic is independent of the totl size of the blck hole,. Thus, we cn pmetize the metic s ds = 1 B() ea() +B()d + dω, fo R(), (63) whee neithe A() no B() depends on. In the next subsection, we will detemine A() nd B() in tems of two phenomenologicl functions. On the othe hnd, the egion R() is ppoximted by the Schwzschild metic, Eq. (8) with =const.. We discuss hee the time scle fo dibticity. As we hve seen in the pevious sections, the unfozen egion t ech stge hs the wih σ( ), (8), nd it is themlized in the time scle log l p, (6). Theefoe, if the dius chnges by σ in time scle longe thn log l p, it cn be egded s n dibtic pocess [33]. B. Detemintion of the inteio metic The function B() is esily detemined if we ssume tht the metic t dil coodinte is completely fozen to the vlue when the sufce is t in the gowing pocess Fig. 1. Fist, g on the sufce is obtined fom (8) by setting = R(): g =R() = R() R() = R() σ() R() σ(r()). (64)
11 In the lst expession we hve eplced with R() becuse σ ismuchlessthnfolgeblckhole, l p. This cn be diectly identified with B(R()) in (63) becuse the dil coodinte is uniquely fixed in the Schwzschild coodinte (8): B(R()) = R() σ(r()). Becuse this esult holds fo ny, nd we hve postulted tht A() nd B() do not depend on, we find tht the function B() is detemined s B() = σ(). (65) In ode to detemine A(), we conside the enegymomentum flow inside the blck hole. Becuse the system is in equilibium, it hs the time-evesl symmety nd stisfies thedildiectionwithoutsctteing, P µ shouldbepllel to l µ, which mens f =. Theefoe, the vlue of f epesents the devition fom such n idel sitution. If the dited pticle is mssive, P µ is timelike, nd we hve f >. Even when the pticle is mssless, f cn become nonzeo if the pticle is sctteed in the ingoing diection by gvittionl potentil o intection with othe pticles. Note tht f() in the outemost egion my be diffeent fom one in the deepe egion. This is becuse the enegy density outside the sufce is less thn tht in the deepe egion [see (41) nd (4)], nd the pobbility of sctteing should be diffeent. In the following, we ssume tht f() does not depend on except fo vey thin outemost egion. T µν k ν = η(l µ +f()k µ ), T µν l ν = η(k µ +f()l µ ). (66) Hee, f() is expected to be of ode 1 nd vy slowly df comped with l p : d l p f. l nd k e the dil outgoing nd ingoing null vectos, espectively, l = e A t + 1 B, k = e A t 1 B, (67) which tnsfom unde time evesl s (l, k) ( k, l). Eqution (66) cn be ewitten s T kk : T lk = 1 : f, T kk = T ll, (68) whee T kk stnds fo T µν k µ k ν, nd so on. This is lso expessed in tems of the tio between the enegy density T t t nd the dil pessue T : T T t t = 1 f 1+f. (69) Hee we discuss the physicl mening of f() (see Fig.11). ThevectoP µ = T µk tinsidethe blckhole epesents the enegy-momentum flow though the ingoing lightlike spheicl sufce S of dius. Since S cn be egded s n evpoting blck hole with M G, P µ descibes the dition fom the blck hole. If the dited pticle is mssless nd popgtes outwd long FIG. 11: The mening of f(). Once f() is given, we cn detemine A() s follows. Using (69) nd the Einstein eqution we obtin 1+f = G A G t +1 = t B 1+ logb A B. (7) In the lst eqution, we hve used B 1 nd B logb fo l p, which cn be esily checked fom (65). Fom (65) nd (7) we hve A() = d (1+f( ))σ( ), (71) whee is efeence point. Now, by connecting the inside metic (63) nd the outside metics (8) t the sufce, we cn wite down the metic of the blck hole of dius tht hs been gown in the het bth [15], ds = { σ() e R() d (1+f( ))σ( ) + σ() d + dω, fo R(), + d + dω, fo R(), (7) whee R() = + σ(). This metic is continuous t = R(). We emphsize tht the inteio metic of (7) does not exist in the clssicl limit becuse σ() vnishes. As we hve discussed in Sec. II, in genel the inside metic depends on the initil distibution of the collpsingmtte. Ifweputsuchnobjectinthehetbthwith the Hwking tempetue, the outemost egion becomes
1 in equilibium (s discussedin Sec. IIE) in the time scle log l P, while the deepe egion is lmost fozen. Howeve, if we wit vey long time, o if we mke it shink nd gow dibticlly by chnging the tempetue of thehetbth, the insideiseplcedbytheditionfom the het bth, nd the object becomes exctly in equilibium, the metic of which is given by (7). In this sense, the metic (7) epesents the stte with the mximum entopy. We will show lte tht it gees with the e lw. Similly, we cn constuct the metic of the evpoting blck hole in the vcuum. To do tht, we fist ewite (63) in the Eddington-Finkelstein-like coodintes s ds = e A() ( ) 1 B() e A() du+d du+ dω, (73) whee we hve intoduced u-coodinte by du = B()e A() d. Then, we obtin the metic by connecting (73) to the Vidy metic [9] long the null sufce S, ds = e R((u)) d (1+f( ))σ( ) (u) ( σ() e R((u)) d (1+f( ))σ( ) du+d )du+ dω, fo R((u)), du ddu+ dω, fo R((u)), (74) whee R((u)) = (u) + σ((u)) (u), nd (u) stisfies d(u) du = σ((u)) (u). This metic is continuous t = R((u)). C. Consistency checks We give some consistency checks hee. Fist, we investigte the lge edshift inside the blck hole. ( The tt-component of (7) ) behves s g tt exp (1+f)σ (R ) log σ slightly below the sufce, < R. Hee, we hve used the fct tht σ()/l p nd f() e of ode 1 nd smll comped with /l p. This mens tht time flows ) only in the outemost egion with the wih of O, nd it is exponentilly fozen in the ( l p deepe egion, which is consistent with (8). Next, weexminethe vlidity ofthe useofthe Einstein eqution. Fom (7), we cn evlute the geometicl invints in the egion l p < R() nd obtin R, R µν R µν, This mens tht if the condition R µναβ R µναβ 1 (1+f) σ. (75) σ(1+f) l p (76) is stisfied, the cuvtue is smll comped to l p, nd we cn use the Einstein eqution without woying bout the highe-deivtive coections. Note tht (76) is the sme s (14) becuse f = O(1), nd (75) is consistent with (38). The condition (76) is elized if thee e mny fields s in the stndd model. Although this fielheoeticppochdoes notpplytothe smllegion < l p, the cuvtue t l p is smlle thn the Plnck scle s (75), nd dynmics in such smll egion would be esolved by sting theoy. In this sense, this metic does not hve singulity [34], s we hve expected in Sec. IIF. Futhemoe, s we will check in the next subsection, Eqs. (7) nd(74) coectly contin the effect of the fou-dimensionl Weyl nomly. In this sense, they cn be egded s the self-consistent solutions of G µν = 8πG T µν. (77) We then investigte the behvio of the enegymomentum tenso inside the blck hole. They cn be evluted fom (7) fo l p s [35] T t t = 1 1 8πG, T = 1 1 f 1 8πG1+f, T θ θ = 1 1 8πG(1+f) σ. (78) The enegy density T t t = 1 1 8πG is positive definite eveywhee [37] nd consistent with (4). It gives the mss of the blck hole coectly though (39): M = 4π R() σ d ( T t t ) G. (79) Futhemoe, the stong ngul pessue T θ θ ppes s in (47). Actully, it beks the dominnt enegy condition [6], T θ θ T t t, nd leds to the dstic nisotopy, T θ θ T, s we hve discussed in Sec. IIG. Thus, the inteio is not fluid. Finlly, we check tht the enegy-momentum flow P µ = T µk though the ingoing lightlike spheicl sufces isequltothestengthσ ofthehwkingdition. Actully, the totl enegy flux mesued by the locl time is given by J 4π P µ u µ = 4π 1 B ( Tt t ) = σ G, (8) whee u = e A t, nd in the lst eqution we hve used (65) nd (78). This is consistent with ().
13 D. Cse of confoml mtte In this subsection we conside confoml mtte, nd show tht the metic (7) is indeed the self-consistent solution of G µν = 8πG T µν [15]. We stt with the Weyl nomly [38, 39] G µ µ = 8πG T µ µ = γf αg + β R, (81) 3 whee F C µναβ C µναβ nd G R µναβ R µναβ 4R µν R µν +R. We hve intoduced the nottions γ 8πG c, α 8πG, β 8πG b, (8) whee c,, b e the coefficients in the Weyl nomly. This eqution togethe with the ssumption (68) detemines A() nd B() s follows. Hee, we ssume tht fo l p, A() nd B() e lge quntities of the sme ode s expected fom (65) nd (71): A() B() 1. (83) In ode to exmine wht tems dominte in (81) fo l p, we eplce A, B, nd with µa, µb, nd µ, espectively, nd pick up the tems with the highest powes of µ. Then, we hve [4] A B + = γ ( ) A 4 1B + α ( µ 1A + ( [ A 3 β µ 1 3 B 4B 3 A A B ) B + ] ) +. (84) Theefoe, unde the ssumption µ 1, Eq. (84) becomes A B = γ A 4 1B, tht is, B = γ 6 A. (85) By combining this eqution with (7), which is the consequence of (68), 1+f = A B, we obtin A = 3(1+f), B = 3(1+f) γ γ. (86) It is ntul to expect tht the dimensionless function f() is constnt fo the confoml fields f() = const. (87) If we ssume it, we obtin the following inteio metic: ds γ 3(1+f) = 3(1+f) e γ [R() ] + 3(1+f) d + dω, fo R(). (88) γ This contins only two pmetes. One is the c- coefficient, which is detemined by the mtte content. The othe is the constnt f, which my depend on the detil of the dynmics nd the initil stte. Thus we hve seen tht (88) is the self-consistent solution of G µν = 8πG T µν [41]. Now, we cn undestnd the oigin of the Hwking dition. In fct by comping the second eqution in (86) with (65), we find σ = γ 3(1+f), (89) nd the condition fo the cuvtue to be smll (76) becomes γ lp, tht is, c 1. (9) Thus, we hve seen tht the Hwking dition is poduced by the fou-dimensionl Weyl nomly[39, 4, 43]. It is inteesting tht the stength of the Hwking dition is popotionl to the c-coefficient. The positive Hwking dition ensues the positivity of the c- coefficient [44]. Futhemoe, if we compe (89) with (34) in the outemost egion, it is ntul to conjectue σ = γ 3, 1+g = (1+f). (91) We cn lso undestnd the existence of the stong ngul pessue. Actully, fom (78), we hve T θ θ = 1 Tµ µ, (9) which indictes tht the lge pessue ises s consequence of the Weyl nomly. E. Mechnisms of enegy extction 1. Time evolution of the enegy of the collpsing mtte We exmine how the collpsing mtte loses enegy in the metic (7). In Appendix G, we show tht the locl enegy ǫ locl (τ) deceses exponentilly s function of the locl time τ: ǫ locl (τ) = ǫ locl ()e σ(1+f). (93) If we conside the outemost egion, the decy time in tems of the pope time τ decy () = σ()(1+f()) (94) cn be conveted to the Schwzschild time by using dτ(r()) σ() s t decy = (1+f()). (95) Thisisconsistentwith(5)exceptfonextfcto(1+ f). The decy time is incesed by this fcto becuse the emission te is educed by the sctteing. τ
14. Enegy exchnge nd the Weyl nomly Hee we nlyze the locl enegy consevtion α T α β = in the pesence of the Weyl nomly, nd ty to get micoscopic pictue of the enegy decese (93). Fist we expess the enegy flux fom ech pt by the tce of the enegy-momentum tenso. Using the sme gument s (43), we cn show tht the outgoing flow of the locl enegy t is given by J locl ( ) = 1 G. (96) Then, the locl enegy flow ceted by the thin egion is given by J locl () = J locl () J locl ( ) g tt ( ) g tt () e A() [e A() J locl ()] =. (97) G(1+f())σ() This esult is lso obtined fom the enegy consevtion nd the Weyl nomly. In fct, by ewiting α T α β = fo the metic (7), we obtin J locl locl = 4π σ(1+f) T µ µ, (98) whee locl = g. This indictes tht the outgoing enegy is poduced t ech point by the foudimensionl Weyl nomly nd inceses s it goes outwd. Similly, we cn conside the ingoing enegy flow. Fom the time evesl symmety, we see tht the ingoing enegy flow deceses s it goes inwd. This cn hppen if the ingoing enegy of the mtte is educed by the negtive enegy tht is ceted fom the vcuum insidethe blckhole. Thissitutionissimiltotht inthe two-dimensionl models [39, 46]. In ou cse, howeve, the positive enegy bought by the collpsing mtte is gete thn the negtive enegy so tht the totl enegy density is positive eveywhee s (78). Thus, the nomly descibes the net effect of the convesion of the ingoing enegy to the outgoing one. In ode fo this mechnism to wok, thee must be pope intections between the collpsing mtte nd the negtive enegy sttes. To descibe the pecise pocess of evpotion such s the infomtion ecovey nd the byon numbe nonconsevtion, it should be impotnt to undestnd such intections. F. Entopy Becuse the dibticlly fomed blck hole hs the mximum entopy, the e lw should be obtined if we sum up the entopy of the inteio. Moe concetely, we put such blck hole in the vcuum, nd exmine the entopy flow duing the evpotion. Becuse the inteio is fozen, we slice it to shells with the typicl wih σ, which hsbeen discussed in Sec. IIF. See Fig. 1. Then, FIG. 1: The evpotion of the dibticlly fomed blck hole nd the entopy the totl entopy should be given by S = dl dτṡ(), (99) whee ṡ() is the entopy emitted pe unit pope wih dl = g d pe unit locl time dτ = g tt. We fist evlute the locl time τ flow () tht it tkes fo shell with dius to ppe t the sufce, σ() τ flow () = σ() σ() = tc tc e R((t)) d (1+f( ))σ( ) e (t) 4(1+f())σ() () d σ() e 4(1+f())σ() σ()(1+f()), (1) whee t C is the time t which (t) becomes, (t C ) =, nd () hs been used. Note tht this gees with (94) becuse time flows only in the outemost egion. Next, we conside the entopy flux J s fom ech shell. Becuse the blck hole hs been fomed dibticlly, we cn use the eltion S = Q T nd hve J s = J locl T locl. Hee, J locl is the locl enegy flux given by (96), nd T locl is the locl tempetue t. We ssume tht in the dibtic pocess of the blck hole fomtion, the locl tempetue t point is fozen to the vlue t the moment when the point is coveed by the sufce. Theefoe, using g tt () = 1+, we hve T locl ( 1 ) = gtt ( = R( )) 4π = 4π σ( ), (11) fom which we obtin J s = J locl = π σ(). (1) T locl l p
15 Then, we cn clculte ṡ similly to (97): [ ] 1 g tt ( ) ṡ() = J s () J s ( ) g g tt () 1 g e A() [e A() J s ()] l p π. (13) (1+f()) Now, using (1), (13), nd l() = cn evlute (99) s = = S BH R() R() d σ()(1+f()) σ() d π l p π l p, we σ() π l p(1+f()), (14) which gees with the e lw, S BH = A 4l. We cn lso p deive the e lw fo the sttiony blck hole in the het bth. See Appendix H. V. ADIABATICALLY FORMED CHARGED BLACK HOLE We conside Reissne-Nodstom blck hole which is dibticlly fomed in the het bth. In the following sections we set = G = 1. We ssume tht η RN = η RN (M,Q) is quntity of ode 1 nd popotionl to the numbe of fields. We lso ssume tht it vies slowly s function of M nd Q nd emins finite in the limit Q M. If test pticle comes sufficiently close to + (t), its motion is govened by d(t) = κ RN ((t) + (t)), κ RN + + (18) no mtte wht mss, ngul momentum, o electic chge it hs. Hee, (t) epesents its dil position, nd κ RN is the sufce gvity. Using simil gument to (11), we obtin (t) + + η RN + +Ce κrnt, (19) whee we hve used (17). Thus, in the time scle of O( + ), ny pticle eches R RN (M,Q) + + η RN + ( ) +, (11) whee (17) hs been used. The pope distnce fom the oute hoizon is estimted s l = g (R RN ) η RN + η RN, (111) + + which is lge thn the Plnck length if we hve mny fields s in (14). + A. Test pticle ne the evpoting chged blck hole As in the cse of the Schwzschildblck hole, we stt with exmining the motion of test pticle ne the evpoting Reissne-Nodstom blck hole with mss M(t) nd electic chge Q(t). We epesent the outside spcetime by whee ds = M(t)+Q(t) + M(t)+Q(t) d + dω, = ( +(t))( (t)) + ( + (t))( (t)) d + dω, (15) ± M ± M Q. (16) Motivted by the Stephn-Boltzmnn lw fo the entopy flux [47], we pmetize the time evolution of + (t) s d + η ( ) 3 RN + +, η RN η RN. (17) + B. Inteio stuctue nd the themodynmic integbility In this subsection, we conside the inteio stuctue of the dibticlly fomed chged blck hole. Fist, following the sme gument s in Sec. IIC1, fom (11), wefinhttheobjecthsthesufcet = R RN (M,Q) nd thee is no tpped egion inside it. Next, we conside the pocess in which the blck hole gows dibticlly nd discuss how the chge moves in the blck hole. Suppose dition fom the het bth inceses the mss nd chge of the blck hole fom M,Q to M + M,Q + Q. In this pocess, the electic chge on the oiginl sufce R RN (M,Q ) should go outwd due to the epulsive foce nd eventully moves to the new sufce R RN (M + M,Q + Q). Theefoe, it is ntul to expect tht ll the chge is distibuted in the outemost egion, whee time flows without lge edshift. Then, the inteio egion is stffed with neutl dition, nd in ccodnce with the dibtic fomtion, it should hve the sme stuctue s the inteio of the dibticlly fomed Schwzschild blck hole (7). Then thee is no inne hoizon. See Fig. 13. This pictue is ntul fom the themodynmic point of view. We conside the themodynmic pmete
16 inside enegy density is given by tht of the Schwzschild blck hole (78), nd we obtin ρ S = 1 8π. The outside one comes fom the electic field of spheicl cpcito of dius +, ρ EM = Q [6]. Thus, using the genel 8π+ 4 fomul (39), we hve FIG. 13: A pictue of the Reissne-Nodstom blck hole consistent with the condition fo themodynmicl integbility. Electic chge exists only in the outemost egion with the wih 1 +. spce (M,Q). We cn move fom one point to nothe long ny pth by contolling the tempetue nd electic potentil of the het bth. If the object elly obeys themodynmics, the stte is completely detemined by (M,Q), nd should not depend on the pth long which (M,Q) is eched. On the othe hnd, the inteio of the object is fozen except fo the outemost egion, s we hve seen in section II. Theefoe if the electic chge did not move outwd s mentioned bove, it would be distibuted depending on the pth, nd the themodynmic integbility would be violted. Inteestingly, thee is fct tht suppots this pictue. Let us conside the enegy of the object of Fig. 13. The RRN M 4π d ρ S +4π d ρ EM R RN = R RN + Q R RN + + Q +. (11) This gees with (16), which gives nontivil check fo the consistency of the bove pictue. C. Simple model We now wite down the inteio metic fo such n object. Becuse the chge distibution in the outemost egion would be nontivil, we ssume tht the chge is distibuted on the sufce. Then, the object consists of the inteio stuctue of the Schwzschild blck hole nd the chged thin shell. Becuse the inside nd outside metics e the sme s tht of the Schwzschild (7) nd Reissne-Nodstom blck holes (15), espectively, we hve ds = σ() e RRN ( +)( ) d (1+f( ))σ( ) dτ + σ() d + dω, fo R RN, + ( +)( ) d + dω, fo R RN. (113) We will find the eltion between two time coodintes τ nd t below. Hee, the sufce is consideed s timelike hypesufce locted s = R RN =const. s in Fig. 6. Then, the induced metic needs to be connected smoothly [6, 36], nd the condition of the tt-component is given by σ(r RN ) R RN dτ = (R RN + )(R RN ) RRN, which is ewitten by using (19) s dτ = η RN(M,Q). (114) σ(r RN ) Thus, we obtin the metic fo the dibticlly fomed chged blck hole: ds = e RRN d (1+f( ))σ( ) ηrn(m,q) M+Q σ() σ(r RN) + σ() d + dω, fo R RN, + M+Q d + dω, fo R RN. (115) We cn evlute the enegy-momentum tenso on the sufce using Isel s junction condition [6, 36]. In pticul, the sufce enegy density ǫ d is given by ǫ d = 1 ( ) σ(rrn ) η RN (M,Q) 4π RRN 1. (116) σ(r RN )
17 In ode fo this to be non-negtive, we need to hve η RN (M,Q) σ(r RN ), (117) which mens dτ. This is consistent with the pictue tht the electic chge lives on the sufce. Then, it is ntul tht the -component of (115) jumps t = R RN. VI. ADIABATICALLY FORMED SLOWLY ROTATING BLACK HOLE We discuss slowly otting Ke blck hole which is dibticlly fomed in the het bth. We denote the tio between ADM enegy M nd ngul momentum J by j J M. A. Test pticle ne the evpoting Ke blck hole We begin with nlyzing the motion of test pticle ne the evpoting Ke blck hole. A emkble point is tht, lthough we no longe hve the spheicl symmety, the notion of sufce is vlid becuse of the Cte constnt. We ssume tht the metic of the evpoting Ke blck hole with M(t) nd j(t) is given by ds = Σ P + P sin θ Σ (dφ ω) + Σ d +Σdθ, Σ +j(t) cos θ, M(t)+j(t), P ( +j(t) ) j(t) sin θ. (118) The ngul velocity t mesued by n obseve with zeo ngul momentum is ω Mj P j + + ω +j H, (119) whee + is the loction of the oute hoizon, which is the solution of = : ± M ± M j. (1) If test pticle comes close to + (t), its motion is descibed by (see Appendix I) d(t) dθ(t) dφ(t) = κ K ((t) + (t))+o( 3 + ), κ K + +, (11) = O( 3 + ), (1) = ω H +O( 3 + ), (13) nomttewhtmssndngulmomentum iths. The test pticle ppoches + in the time scle of O( + ). It ottes with the blck hole while it hdly moves in the θ-diection. Using simil nlysis to Sec. IIB, we obtin (t) + 1 d + +Ce κkt. (14) κ K Theefoe, ny pticle ppoches R K (M,j) + 1 d + κ K, (15) nd we conclude tht thee is cle sufce t = R K (M,j). B. Slowly otting limit We now investigte the inteio of the dibticlly fomed Ke blck hole. Howeve, it is difficult to nlyze the genel Ke blck hole becuse the discussions in Sec. II depend on the spheicl symmety. In the following pts, s fist til, we conside the slowly otting limit in which we ignoe tems with O(j ). Then the Ke metic (118) educes to ds = M(t) + M(t) d with + dθ + sin θ[dφ ω(t,)] +O(j ) (16) ω = Mj 3 +O(j ), + = M+O(j ), κ K = 1 4M +O(j ). (17) Now the loction of the hoizon nd the sufce gvity e the sme s the Schwzschildblck hole. If we intoduce nothe ngul coodinte by dψ dφ ω(,t), Eq. (16) becomes ds = M(t) + M(t) d (18) + (dθ +sin θdψ )+O(j ). Note tht tjectoy with ψ =const. ottes with the ngul velocity dφ = ω(,t) with espect to the sttic coodinte t infinity. Theefoe, we cn egd this object simply s the Schwzschild blck hole otting with the ngul velocity ω H = j + +O(j ). (19) Then, we cn undestnd tht the object emits enegy in the sme wy s the Schwzschild blck hole, which is consistent with the emission of ngul momentum. Hence, fom (), (15), nd (17), we hve R K (M) = + + σ( +) + +O(j ) (13) fo + = M +O(j ), which is the sme s (1).
18 C. Simple model We now investigte the inteio metic of such n object. Becuse (18) is spheiclly symmetic nd the sufce is given by (13), we cn follow the discussion of Sec. IIC1. As in the cse of the chged blck hole, the themodynmic integbility in (M, j) spce equies tht the ngul momentum is distibuted only in the outemost egion with wih 1 + nd tht the inteio is the sme s the Schwzschild blck hole. Hee, we ssume tht due to the centifugl foce the ngul momentum moves outwd t ech step of the dibtic gowth. Thus, we obtin pictue simil to Fig. 13 in which electic chge is eplced by ngul momentum, nd the whole system is otting. In ode to wite down the metic, we model the object by composing the inteio of the Schwzschild blck hole nd thin lye with the ngul velocity (19). Then, fom (7) nd (18), we obtin the metic ds = { σ() e RK (M) d (1+f( ))σ( ) + M σ() d + [dθ +sin θdψh ], fo R K(M), + M d + [dθ +sin θ(dφ ω()) ]+O(j ), fo R K (M), (131) whee dψ H dφ ω H. As consistency check, we evlute the enegymomentum tenso on the sufce = R K by using Isel s junction condition [6, 36]. We obtin the sufce enegy density ǫ d, sufce pessue p d, nd sufce ngul momentum density J d : ǫ d =, p d = 1 1 f(r K ) 1 16π1+f(R K ) σ(rk ), J d = 3jsin θ 16π σ(r K ). (13) These epoduce the ngul momentum J though the genelized Kom fomul [48], while thee is no dditionl contibution to the ADM enegy M fom the sufce. VII. CONCLUSIONS AND DISCUSSIONS In this ppe we hve consideed time evolution of the blck hole with the bckection fom the Hwking dition tken into ccount. We hve found tht collpsing mtte becomes n object tht looks like blck hole when it is seen fom the outside. Howeve, insted of the hoizon, it hs cle boundy, which we cll the sufce. The inside of it is filled with mtte nd dition, while the outside is lmost empty. The sufce is locted slightly outside the hoizon of the vcuum solution. Fo exmple, in the spheiclly symmetic cse, it is locted t = + σ(), whee is the Schwzschild dius. Becuse the stuctue inside the sufce is totlly diffeent fom the vcuum solution, the object hs neithe tpped egion no singulity. In genel, the inside stuctue depends on the initil distibution of the mtte, becuse time evolution is lmost fozen inside the sufce due to the lge edshift. Howeve, if we see the object fom the outside, it looks the sme s the conventionl pictue of the blck hole: it emits the Hwking dition nd evpotes in the time scle 3 σ. In this sense, the blck hole in the el wold is not the vcuum egion with the closed tpped sufce, but kind of highly dense st. Theefoe, the poblem of the time evolution of the infomtion is simil to tht of the wve function of mny-pticle system in condensed mtte physics. Hee, it is impotnt to conside intections. Actully, we cn estimte the time scle in which the infomtion comes bck in the evpotion pocess by consideing the intection between the mtte nd the Hwking dition. Howeve, thee emin poblems to be clified. Fist, ou desciption is bsed on the spheicl symmety. It is impotnt to extend it to the genel cse such s the constuction of the inteio metic of the otting blck hole nd the investigtion of the nonspheicl symmetic instbility of (88). Anothe impotnt poblem is to undestnd how byon numbe chnges though intections in the evpotion pocess. We hve seen tht it should occu in the outemost egion, whee the enegy scle of the pticles is close to the Plnck scle but still contollble by field theoy if we hve mny species of fields. It is inteesting to see whethe some effects of quntum gvity o sting theoy e involved in the mechnism o not. We lso hve not identified the micoscopic mechnism of the stong ngul pessue, which suppots the object. Although we hve found tht it is necessyto stisfy the Weyl nomly, we hve not undestood how it occus. This poblem is lso elted to how the incoming enegy of the collpsing mtte is conveted to the outgoing enegy of the Hwking dition. It is lso inteesting to constuct moe explicit eltions mong the phenomenologicl functions, σ (), g(), f(), by consideing simple exmple. Then, we cn see explicitly how the intensity σ()
19 depends on the initil of the mtte. Finlly, it is ttctive to investigte the pocess in which the chged nd otting blck hole is fomed fom the mtte with genel distibution nd check the vlidity of the themodynmic integbility moe explicitly. Acknowledgment The uthos would like to thnk membes in ICTS nd S. Ss fo vluble discussions. This wok hs been efined by the comments nd discussions in Bngloe Ae Sting Meeting t ICTS, IAGRG 15 t Rmn Resech Institute, KEK Theoy Wokshop 15 t KEK, Stings 15 t ICTS, nd semin t Indin Institute of Astophysics. Y.Y. thnks Deptment of Physics in Kyoto Univesity nd Yukw Institute fo hospitlity. Appendix A: Blck hole entopy nd Bekenstein s gument Bsed on Bekenstein s gednkenexpeiment, we discuss blck hole entopy. Fist we estimte infomtion to be lost in the fomtion pocess. Then we discuss the e lw, nd gue tht geneiclly the entopy poduction occus in the evpotion pocess. Finlly we eview n opetion fo mssive pticles. 1. Entopy in the fomtion pocess Bekenstein intoduced the notion of blck hole entopy s the logithm of the numbe of ll the possible wys Ω to constuct the blck hole [4]. We eview nd genelize his ide. Suppose we constuct blck hole with dius fom mtte. Fist, we focus on the stge whee the dius is i nd thow pticle with enegy ǫ i to the blck hole. Hee, in ode fo the pticle to ente into the blck hole, Eq. (4) needs to be stisfied. Let us estimte the numbe of ll the possible wys Ω i fo this pocess. Note tht the wvelength of the pticle is λ i ǫ i, which plys ole of the sptil esolution fo this pocess. Hence, the numbe of the wys fo the pticle to ente into the blck hole is given by Ω i i n i iǫ i n i λ i. (A1) Hee, n i is the numbe of species of pticles with ǫ i, which is ssumed to be O(1). Eqution (A1) coesponds to the phse volume fo pticle with enegy ǫ i nd species n i in one-dimensionl system with size i, becuse the blck hole is spheiclly symmetic. Applying this estimtion to ech stge of the constuction, we obtin N N Ω = Ω i i=1 i=1 i ǫ i n i. (A) In ode to evlute the totl numbe of steps N, we conside the cse whee i, ǫ i ǫ, nd n i n fo ny i. Then, we hve N Gǫ (A3) becuse the size nd enegy of the blck hole e elted s = GM. Thus, Eq. (A) becomes ( ǫ ) N Ω n, (A4) which leds to S fomtion BH = logω ( ǫ ) Gǫ log. (A5) Hee, the contibution of logn is neglected becuse it is smlle thn log ( ) ǫ due to (4). By constuction, this entopy mesues the mount of infomtion tht is lost in the fomtion pocess. This is becuse the infomtion of the mtte which hs enteed into the hoizon is lost fo n outside obseve. We conside hee the stuting cse in (4), tht is, the cse of (5). This is the most slow fomtion tht coesponds to the dibtic pocess in the sense of themodynmics. Then, Eq. (A5) becomes S fomtion BH lp logo(1) lp which gees with the conventionl e lw [1, ] S fomul BH = A 4l p, (A6), (A7) except fo the coefficient. Hee, we discuss the eltion with the new pictue of blck holes. As is discussed in Sec. II, in the new pictue, the inteio of the blck hole is lmost fozen due to the lge edshift, nd the infomtion of the initil distibution is kept inside fo long time. Eventully it will come out in the pocess of evpotion, but in pctice it seems to be lost. In this sense, the bove discussion pplies lso to the new pictue.. Entopy poduction in the evpotion pocess We discuss the eltion between the genel esult(a5) nd the usul fomul (A7) nd show tht geneiclly the entopy poduction occus in the evpotion pocess. Oiginlly, Eq. (A7) ws obtined by integting the Hwking dition fom the evpoting blck hole [1]. In this sense, it counts the numbe of micosttes in the mtte emitted fom the blck hole. On the othe hnd, Eq. (A5) mesues the numbe of ll possible wys to constuct the blck hole. Note tht (A7) is much lge thn (A5) unless ǫ. Theefoe, in the whole pocess fom fomtion to evpotion, the entopy inceses by S = S fomul BH S fomtion BH l p Gǫ log ( ǫ ), (A8)
which is consistent with the genelized second lw [4]. Especilly, if we conside the dibtic fomtion (A6), S, which coesponds to the blck hole in equilibium with the het bth of the Hwking tempetue []. 3. Revesible pocess of mssive pticles Fom the bove discussion it seems tht mssive pticle with ǫ > cnnot be given to the blck hole dibticlly, since S > fo ǫ >. Howeve, we cn mke pocedue to dd mssive pticle to the blck hole evesibly. Supposewegivemssivepticlewithestmssm, sy, poton with m 1GeV. If we thow it f fom the blck hole, the ADM enegy inceses by ǫ = m. Now, we follow Bekenstein s gednkenexpeiment [4]. Imgine tht we slowly lowe the mssive pticle fom point t to the blck hole by using stong sting. If the sting is cut off t point, the ADM enegy given to the blck hole is evluted s ǫ() = m 1, (A9) which is smlle thn ǫ( = ) = m. This is becuse in this pocess the system composed of the blck hole nd the pticle woks positively to n extenl gent by the gvittionl binding enegy. Hee, we conside question: In ode to give the mximum entopy nd the minimum enegy to the blck hole by this pocess, how f do we hve to lowe the pticle? In quntum mechnics mssive pticle exists within the Compton wvelength λ C = m. Theefoe, if the pticle is locted t distnce of its Compton wvelength fom the hoizon, we cnnot distinguish whethe the pticle ledy hs been swllowed into the blck hole o not. This sitution leds to loss of 1 bit infomtion fo n outside obseve. Indeed, we cn see this explicitly s follows. Fo = +, Eq. (A9) becomes ǫ( = + ) m = m l, (A1) whee (15) hs been used. Theefoe, by tking l = λ C = we hve m ǫ( = + ) =, (A11) which gees with the minimum enegy (5). Thus, if we epet this pocess to mke blck hole, no entopy poduction occus in the evpotion pocess: S. Moe igoously, howeve, the byon numbe should be chnged in the evpotion pocess s is discussed in Sec. III D, nd the entopy poduction should occu. Finlly, we show tht when such mssive pticle elesed t = + (l = λ C ) comes close to the sufce t = R() = + σ, it becomes ulteltivistic, nd cn be egded s n ingoing lightlike pticle. In fct its locl enegy is estimted s ǫ locl = m m gtt ( = + λc ) gtt ( = R) λ C σ = m σ λ C = σ (A1) whee (15) hs been used. This is the sme ode s (35) nd much lge thn the est mss m. Appendix B: A numeicl solution of (t) We give numeicl demonsttion of (11). We conside simple cse whee σ() = k =const. in (), the solutionofwhichisgivenby(t) = [() 3 6kt] 1/3. Using this, we solve (9) numeiclly fo () = 1, () = 11, nd k = 1 nd obtin Fig. 14. This shows tht (t) ppoches (t)+ k (t) s in (11). FIG. 14: The numeicl esult of (t)[(t) (t)] fo () = 1, () = 11, σ = k = 1. It ppoches k =. Appendix C: A multishell model We intoduce simple model [8] s concete exmple fo the new pictue in Sec. IIC. 1. Single-shell model In ode to constuct the self-consistent solution of G µν = 8πG T µν, we stt with spheiclly symmetic collpsing null shell. The inside egion is flt becuse of the spheicl symmety. We ssume tht the outside
1 egion is descibed by the outgoing Vidy metic [9]: ds = { du dud+ dω fo s (u) du dud+ dω fo s (C1) Hee s is the dius of the shell, M(u) = (u) G is the Bondi mss, nd U nd u e the outgoing null coodintes in the Eddington-Finkelstein coodintes fo the inside nd outside, espectively. See Fig. 15. FIG. 16: A continuous distibution modeled by mny shells. u i is given s (C) by FIG. 15: An evpoting null shell. In this coodinte (u, ), n outgoing null y is depicted by line with u =const.. In Ref.[8], we hve shown tht the self-consistent solution is obtined by solving nd s (u) (u) du = d s = du s (u) d du = l p 8π {u,u}, (C) (C3) povided tht the dition is mssless, nd only the s- wve is consideed in the eikonl ppoximtion. Hee, {u, U} is the Schwzin deivtive, which is given by {u,u} Ü(u) U(u)... U (u). Eqution (C) indictes tht 3 U(u) the motion of the shell is lightlike both in the inside nd the outside egions. Eqution (C3) is equivlent to the Einstein eqution G µν = 8πG T µν becuse the only nonzeo components of G µν nd T µν e G uu = ȧ(u) nd T uu = 1 4π 16π {u,u}. i i du i = d i = i i 1 du i 1 fo i = 1,...n, i i (C5) whee we egd = nd u = U fo the flt spce. This is equivlent to nd d i du i = i i i, (C6) du i du i 1 = i i 1 i i = 1+ i i 1 i i. (C7) The Einstein eqution (C3) holds fo ech shell, d i du i = Nl p 8π {u i,u}, (C8) whee the degees of feedom of the fields N hve been intoduced. The coupled equtions (C5) nd (C8) cn be solved by the following nstz: d i = C du i, (C9) i. Geneliztion to multishells It is esy to genelize the bove model to the cse of multishells. We conside n shells of which the dii e denoted by i (i = 1,...n). See Fig. 16. The metic of the egion between i nd i+1 is descibed by ds i = i(u i ) du i du id+ dω, (C4) i = i i d i du i = i + C i. (C1) Eqution (C9) mens tht ech shell behves like the conventionl evpoting blck hole, nd (C1) indictes tht ech shell hs eched the symptotic dius s in (11). Fist, Eq. (C1) solves (C6) s in (11). Next, we solve (C7) with the nstz. We define η i by whee u i is the locl time nd i(ui) G is the mss in the ith shell. The junction condition of ech time coodinte η i log du du i. (C11)
Then, we hve du du i du η i η i 1 = log = log du i du i 1 ( = log 1+ ) i i 1 i i du i 1 i i 1 i i 1 i C i i 1 ( 4C i ) i 1. (C1) Hee, t the second line, we use (C7); t the thid line, we ssume i i 1 C 1, which is stisfied fo the cse of i continuous distibution; nd t the lst line, we ppoximte i i + i 1. With the boundy conditions η = =, we obtin η i = 1 4C i. (C13) Finlly, we check(c8). Becuse the Schwzin deivtive {u i,u} is witten s {u i,u} = 1 ( ) dηi d η i 3 du i 3 du, (C14) i we obtin {u i,u} 1 1 Hee, we hve used (C9) nd (C13) to obtin 1 i dη i = 1 du i C d i i = 1. du i i Theefoe, Eq. (C8) is stisfied if C = Nl p 96π.. (C15) (C16) (C17) In pticul, the outemost shell (nth shell) stisfies d du = C, (C18) which indictes tht the entie system behves like the conventionl evpoting blck hole when it is obseved fom the outside. Appendix D: Hwking dition in the new pictue We show tht the metic of the new pictue of blck holes indeed cetes dition fom the vcuum which obey Plnck-like distibution with the Hwking tempetue (17) [49]. We stt with the genel fom of the spheiclly symmetic metic in the Eddington- Finkelstein-like coodintes: ( ) h(u,) ds = q(u,) du+d du+ dω. (D1) FIG. 17: A continuously distibuted mtte tht collpses nd evpotes nd tjectoy of field fom the flt spcetime to the mtte. Hee, n outgoing null line is depicted s u =const. See Fig. 17. We ssume tht the metic ne the sufce, R F < R, is given by (74). Rigoously speking, the vlues of f nd σ thee fo the evpoting blck hole my be diffeent fom those of the dibticlly fomed one. Hee we simply ssume tht they e the sme. On the othe hnd, the deepe egion, < R F, need not be the sme s (74), but the metic thee is fozen in time. We futhe ssume tht thee emins smll flt spcetime ound the oigin: ds = du dud+ dω. (D) We conside the s-wve of mssless el scle field φ(x) nd solve the Heisenbeg eqution using the eikonl ppoximtion [1]. In this ppoximtion, the eflection ofthe ditionis not consideed, nd f() becomes zeo. The Hwking dition is ceted by the time evolution of the field long y tht stts fom the flt spce befoe the collpse, goes though the cente, nd psses the collpsing mtte (see Fig. 17). We focus hee on time intevl ound u, I(u ) = [u k(u ),u + k(u )], whee k 1. By putting φ = 1 e is(u,), the Klein- Godon eqution φ = in the metic (D1) becomes [ 1 q u h ] q S S =, (D3) in the leding ppoximtion of the expnsion. Hee, the ingoing nd outgoing dil null vectos e given by k = 1 q u h q nd l =, espectively. Theefoe, we obtin the outgoing eikonl solution φ out = Sout(u) ei. (D4) We ssume tht the field ws in the vcuum stte befoe the collpse. Theefoe, in the Heisenbeg pictue, the stte should stisfy ω =, (D5) whee ω is the coefficient of e iωu fo ω > in the outgoing component of φ : ( ) dω 1 e iωu φ = ω + eiωu ω. (D6) π ω 4π 4π