<<

predictions for black hole interior geometry

Emanuele Alesci1,∗ Sina Bahrami1,† and Daniele Pranzetti2‡ 1Institute for Gravitation and the Cosmos, Pennsylvania State University, University Park, Pennsylvania 16802, USA and 2Perimeter Institute for Theoretical Physics, Waterloo, Ontario N2L 2Y5, Canada (Dated: September 13, 2019) In a previous work we derived an effective Hamiltonian constraint for the Schwarzschild geometry starting from the full Hamiltonian constraint and computing its expectation value on coherent states sharply peaked around a spherically symmetric geometry. We now use this effective Hamiltonian to study the interior region of a Schwarzschild black hole, where a homo- geneous foliation is available. Descending from the full theory, our effective Hamiltonian, though still bearing the well known ambiguities of the quantum Hamiltonian operator, preserves all relevant information about the fundamental discreteness of quantum space. This allows us to have a uniform treatment for all quantum gravity holonomy corrections to spatially homogeneous geometries, unlike the minisuperspace loop quantization models in which the effective Hamiltonian is postulated. We show how, for several geometrically and physically well motivated choices of coherent states, the classical black hole singularity is replaced by a homogeneous expanding Universe. The resultant ge- ometries have no significant deviations from the classical Schwarzschild geometry in the pre-bounce sub-Planckian curvature regime, evidencing the fact that large quantum effects are avoided in these models. In all cases, we find no evidence of a white hole horizon formation. However, various aspects of the post-bounce effective geometry depend on the choice of quantum states.

A primary aim for the quantization program of grav- Firstly, we were still confronted with the fundamental itational field is to determine the fate of classical space- issue of whether the microscopic degrees of freedom re- time singularities as predicted by . It moved by the symmetry reduction at the classical level has been speculated that quantum gravitational effects could have been relevant, affecting the final physical pre- smooth out spacetime singularities, analogously to how dictions of the theory. In the case of LQC techniques ap- an ultraviolet completion of quantum fields tames ultra- plied to the Schwarzschild interior, this was clearly mani- violet divergences. Fortunately, the canonical approach fest in the use of point holonomies for the construction of to loop quantum gravity (LQG) is now sufficiently devel- the reduced kinematical Hilbert space associated with the oped to systematically resolve this key issue from the full 2-spheres that foliate the spacelike surfaces, which com- theory perspective. pletely eliminated all information about the 3-D struc- To provide some historical context, we point out that ture of the graph. Secondly, the reintroduction, by hand, the first generation of quantum gravity predictions were of some ‘elementary plaquette’ at the end of the quanti- made in cosmology and within the minisuperspace quan- zation procedure, in order to fix the quantum parameters tization scheme. There the loop quantization program entering the construction of the states, was an ambigu- was implemented by applying LQG inspired techniques ous prescription, with different choices yielding different to a (model dependent) symmetry reduced phase space physical scenarios, as well as undesirable features. of general relativity parametrized by the Ashtekar con- In order to construct a more robust and reliable model nection and densitized triad [1]. The resultant models, of quantum black hole geometry that addresses the afore- which later became known as loop quantum cosmology mentioned issues, a new framework, the so-called ‘quan- (LQC), unanimously predict that the classical spacetime tum reduced loop gravity’ approach [15–20], has recently singularity is replaced by a quantum bounce [2,3]. They been developed in which one starts from the full LQG offered the first glimpse of how quantum gravity could

arXiv:1904.12412v2 [gr-qc] 12 Sep 2019 theory and then performs the symmetry reduction at the resolve spacetime singularities. quantum level by means of coherent states encoding the However, attempts to generalize the loop quantization information about a semi-classical spherically symmetric program to a black hole geometry were not equally suc- black hole geometry. More precisely, computing the ac- cessful at producing generally accepted predictions [4– tion of the quantum Hamiltonian operator on a partially 14]. The starting point of all these previous attempts was gauge fixed kinematical Hilbert space results in a semi- the observation that the Schwarzschild black hole interior classical, effective Hamiltonian constraint H that now can be described in terms of a contracting anisotropic eff replaces the Hamiltonian constraint of general relativ- Kantowski–Sachs model, allowing one to apply LQC ity. Unlike its predecessors, the newly obtained effective techniques to this highly symmetric geometry. This ap- Hamiltonian constraint for the Schwarzschild geometry proach presented two major drawbacks. [20] descends from the LQG quantum Hamiltonian con- straint. It retains all information about the fundamental degrees of freedom associated with the quantum space ∗ [email protected][email protected] that is inherited from the full theory. ‡ [email protected] The effective Hamiltonian in [20] was derived for a gen- 2 eral spacetime foliation, well defined for both the exte- tions and dΩ2 is the unit round 2-sphere line element. rior and the interior Schwarzschild regions. Solving for Due to spatial homogeneity, the only gauge freedom is the effective geometry in both regions cannot be done to rescale proper time by choosing a lapse function N. within the minisuperspace quantization program as a ho- As commonly done, in order to avoid having a diver- mogeneous slicing that covers the entire spacetime is not gent symplectic structure, we require x ∈ [0,L0] where available. One is forced to use an inhomogeneous slic- L0 is some infrared cut-off in the x direction. The co- ing and subsequently work with an infinite dimensional variant phase space of solutions consists of the met- phase space. In particular, the effective scalar constraint ric functions Λ and R and their conjugate momenta equation Heff = 0 is now a highly non-linear, non-local PΛ,PR. The symplectic 2-form for this phase space is ODE. While work is in progress to develop numerical ω = L0(dR∧dPR +dΛ∧dPΛ), whence the Poisson brack- techniques to solve this equation, a simpler task is to ets assume the familiar form {R,PR} = {Λ,PΛ} = 1/L0. restrict attention to the interior region where the stan- To avoid confusion with the previous LQG literature, we dard Schwarzschild foliation is now homogeneous and the emphasize that the L0 factor appearing in the symplec- coherent states are peaked around this homogenous ge- tic structure is not absorbed in the phase space variables. ometry. In this way, the effective Hamiltonian derived in Hence, in all subsequent equations, the phase space vari- [20], as well as the Hamilton’s evolution equations that ables must be regarded as invariants under a rescaling by it generates, assume a more tractable form which can be this cut-off. In particular, as it will become clear below, solved through a combination of analytical and numeri- the effective dynamics is L0-independent and the unde- cal tools. In this letter we report on the results of this sirable features related to this scale dependence that ap- analysis. pear in some of the previous minisuperspace models are Let us emphasize that our restricting to the interior absent in our treatment. minisuperspace for the sake of solving the interior effec- In the case of a Schwarzschild spacetime with a gravi- tive dynamics is not equivalent to the minisuperspace tational mass m, the above phase space variables assume quantization models of the previous literature. In fact, as the following trajectories (in the rest of the letter we de- it will be elucidated in detail, our Heff provides a uniform note classical solutions with a subscript c, and we work treatment of the quantum gravity SU(2) holonomy cor- in c = ~ = 1 units unless otherwise stated) rections to spatially homogeneous geometries. It should τ/2Gm be noted that a number of ambiguities present in the Rc(τ) = 2Gm e , quantization procedure for the Hamiltonian constraint p −τ/2Gm Λc(τ) = e − 1, in LQG [21] inevitably percolate in our construction as 1 h −τ/2Gmi well, implying non-uniqueness for the form of the quan- PRc (τ) = 2 − e , tum corrections that we derive. However, this level of 2G τ/4Gmp τ/2Gm ambiguity is a direct reflection of important open issues PΛc (τ) = −2m e 1 − e , (2) in the full theory, unlike the quantization ambiguity in the polymer approach that is due to a choice to work for with point holonomies. Therefore, our derived Heff repre- R2 sents a far better motivated alternative to the previously Nc = − (3) 2G2mP used Hamiltonian constraint of the minisuperspace loop Λ quantization procedure, which so far has been postulated as the choice for the lapse function. Here the range based on the example of homogeneous and isotropic cos- −∞ < τ < 0 covers the entire interior region of the mology [22]. At the same time, having the full theory Schwarzschild black hole, with τ = 0 corresponding to (graph) structure to begin with, our analysis provides a the horizon and τ = −∞ to the classical singularity. In consistent and intuitive geometrical framework in which the effective theory, the phase space variables are evolved we identify the quantum parameters entering the effective in time τ via the following Poisson brackets: dynamics. This allows us to investigate, in a controlled way, how various choices of quantum coherent states re- 1 ∂Heff [N] R˙ = {R,Heff [N]} = , sult in different physical predictions of the theory. L0 ∂PR 1 ∂Heff [N] Phase space and effective dynamics. We are inter- P˙R = {PR,Heff [N]} = − , ested in an effective description for the interior geom- L0 ∂R etry of a spherically symmetric black hole. Practically, 1 ∂Heff [N] Λ˙ = {Λ,Heff [N]} = , this amounts to considering quantum gravitational ef- L0 ∂PΛ fects for which the metric continues to be spatially ho- ˙ 1 ∂Heff [N] mogeneous. Therefore, let us specialize to a coordinate PΛ = {PΛ,Heff [N]} = − , (4) L0 ∂Λ system in which the metric is where dot denotes differentiation with respect to τ and 2 2 2 2 2 2 2 ds = −N(τ) dτ + Λ(τ) dx + R(τ) dΩ . (1) Heff [N] is the smearing of the effective Hamiltonian con- straint by the lapse function. As gravity is described by Here Λ(τ) and R(τ) are the two dynamical metric func- a constrained Hamiltonian system, we also have Heff = 0 3 at all times. This constraint equation is implied by the The appearance of the Struve function in (5) represents evolution equations, provided that it is satisfied at some the main departure from the minisuperspace quantiza- initial time. tion models in the previous literature. It is a direct reflec- In order to find the solutions to the evolution equa- tion of including ab initio the fundamental discreteness tions, let us introduce Heff and discuss in some detail of quantum geometry on the 2-spheres in the quantum the graph structure that we have adapted to constant τ reduced kinematical Hilbert space. The other significant slices. By specializing the general effective Hamiltonian difference, also originating from the SU(2) holonomies derived in [20] to the spatially homogeneous metric (1) along angular links, is encoded in the term proportional and integrating over the angular coordinates (amounting to γ2 inside the second curly brackets. This term derives to averaging out quantum fluctuations around spherical from the Lorentzian part of the LQG Hamiltonian con- symmetry), we obtain straint and it contains corrections to all orders in , while in its minisuperspace counterpart only the leading term L  γG [P R − P Λ] − 0 x R Λ is present 1. Heff = 2 2 R sin 2 (5) 4γ Gx R In order to distinguish the classical regime, in which  γGP  γGP  general relativity is expected to be a valid description × 2 sin Λ + πH Λ R 0 R of gravitational field, from the region where quantum ef-  2  fects are expected to become relevant, we rely on the 2    γGPΛ γGPΛ +xΛ 8γ cos () sin +π sin H0 . Kretschmann scalar which for the classical Schwarzschild 2 R R metric functions given in Eq. (2) becomes

Here H0(x) is the Struve function of zeroth order and γ − 3τ abcd 3 e Gm is the that, for the sake of numerical Kc := RabcdR = . (8) calculation presented below, we fix it to be approximately 4(Gm)4 0.274 in consistency with (some) black entropy calcula- Quantum gravity heuristics suggest that any effective tions in LQG [23, 24]. The two quantum parameters in metric encoding quantum gravity corrections should be- (5),  and x, are the angular and longitudinal coordi- gin to deviate significantly from the classical one in nate lengths of the so-called plaquettes, cubic cells that the regime where curvature becomes (super-) Planck- are sewn together to make up a graph or a discrete ge- 4 ian, namely as Kc & 1/`p which happens for times ometric structure on constant τ surfaces. The graph is τ τ = (Gm/3) log [3`4/(4G4m4)]. We can thus de- such that each 2D hypersurface in a given leaf of our foli- . ? p fine the parameter ation identified by a pair of coordinates is tessellated by a large number of plaquettes, rendering these coordinate ρ := Rc(τ)/Rc(τ?) (9) lengths very small. More precisely, due to how the par- tially gauged fixed LQG kinematical Hilbert space was and expect quantum effects to become dominant at about constructed in [20] and the peakedness properties of the ρ ∼ 1. coherent states defined on the associated graph structure, The quantum parameters  and x defined in (6) are these parameters are related to the semi-classical data as functions of the effective phase space variables (in the old literature, this corresponds to the so-calledµ ¯-scheme [6]). √ It follows that the quantum parameters have non-trivial α p p β 8πγ`p j contributions to the Poisson brackets defining the evo-  = , α = 8πγ`p j0; x = , β = √ , R Λ j0 lution equations and lead to a very complicated system (6) of ODEs that is difficult to analytically integrate. We p 3 where `p = ~G/c is the Plank length and j0 and j are thus numerically solve the effective Hamilton’s evolution the quantum numbers associated respectively with the equations starting with classical initial data very near the 2/3 longitudinal and the angular links of the coherent states. black hole event horizon, namely when ρ ∼ (Gm/`p) . It is important to emphasize that the above quantum pa- We specialize to the following choice of lapse function rameters are local quantities that are invariant under a γR rescaling of global quantities, such as the infrared cut-off N = − h    i , (10) γGPΛ π γGPΛ L0. Therefore, the dynamics derived from the effective Gm sin R + 2 H0 R Hamiltonian (5) with the expressions (6) for the quan- tum parameters does not contain any information about L0, rendering our key physical predictions independent 1 of this scale as well. At the same time, this is the only contribution from the Lorentzian term that survives in the homogeneous interior fo- Let us point out that, not surprisingly, in the classical liation. In all cases considered in this letter, it can be verified limit where ~ → 0,  and x vanish, the discreteness of that this contribution does not play a dominant role in determin- quantum geometry disappears, and the effective Hamil- ing the asymptotic behavior for the effective metrics. Therefore, tonian in Eq. (5) reduces to its classical value we expect the ambiguities surrounding the quantization prescrip- tion for the Lorentzian piece of the Hamiltonian constraint in the H GP P GΛP 2 Λ full theory not to have a significant impact on the physical pre- c − R Λ Λ − = + 2 . (7) dictions of the effective theory for the interior geometry. L0 R 2R 2G 4

6× 10 12 12 10 mp and j = j0 = 10. The qualitative behavior of 5× 10 12 the two metric functions remain the same for different 4× 10 12 values of the mass and spin numbers as long as m is

12 3× 10 R reasonably above the Planck mass (a stellar mass black 38 2× 10 12 Rc hole has m ≈ 10 mp). The plots in FIG.1 show how

1× 10 12 the effective metric agrees with the classical one in the low curvature region which spans all the way till τ ∼ τ , 0 ? -6× 10 13 -4× 10 13 -2× 10 13 0 where the Planck regime is reached and quantum geome- τ 600 000 try corrections become dominant, as expected. In partic- ular, R decreases with τ till it reaches a minimum value 500 000 Rmin = R(τb). It then bounces and grows exponentially 400 000 as τ → −∞. Therefore, the area of 2-spheres foliating 300 000 Λ constant τ surfaces never shrinks to zero, i.e. the singu- Λc 200 000 larity is effectively resolved. The surface τ = τb marks 100 000 the transition for the 2-spheres from being trapped in

0 the past (τb < τ < 0) to being anti-trapped in the future -5× 10 13 -4× 10 13 -3× 10 13 -2× 10 13 -1× 10 13 0 (−∞ < τ < τ ). In order to determine if a white hole τ b horizon forms in the future of τb, we need to analyze the FIG. 1. Plots of the effective metric functions R, Λ (blue lines) behavior of the second metric function Λ. in comparison with the classical metric function Rc, Λc (red As can be seen in FIG.1, numerical integration sug- 12 lines) for m = 10 mp in the first regime α = β for the choice gests that Λ approaches a constant non-zero value for 13 of j = j0 = 10. The bounce occurs at τb = −3.9 × 10 (with τ  0. An analysis of the Hamilton’s dynamical equa- 13 τ? = −3.7 × 10 ). The quantities are reported in the unit tions confirms this indication. In fact, it can be shown 2 mp = `p = 1. that as τ → −∞ one has PR/RΛ and 2PΛ/R approach- ing −2π/γα, which in turn implies that R/R˙ → −1/2m and Λ˙ → 0. We obtain the following estimates for the as it simplifies the analysis we perform in the asymptotic metric functions in this limit: regime. This lapse reduces to the classical Nc given above √ in the limit → 0. In presence of a non-zero  and for j`p ~ p N(τ) → constant ∼ , m much larger than the Planck mass mp = ~c/G, the Gm 1 black hole event horizon is still nearly at τ = 0. τ can be  Gm 3 extended all the way to −∞ unless the coordinate system Λ(τ) → constant ∼ √ , j` e g p breaks down at a finite value of τ due to, . , reaching a 1 Killing horizon. 2 4!3 j `p − τ The only remaining freedom in specifying the coherent R(τ) → e 2Gm . (11) Gm states is in the choice of spin numbers j0 and j. Different choices of α and β can appear depending on what one Asymptotically, as can be seen from the above equation, assumes for the quantum numbers j0 and j. It turns the interior geometry becomes a product of a 2D pseudo- out that the qualitative behavior of the solutions to the Euclidean space and a round 2-sphere whose proper area effective dynamics depends only the value of the ratio is blowing up exponentially. Note that as ~ → 0 the clas- η ≡ α/β and not on the specific value of the two spin sical singularity reappears. It is clear from Eq. (11) that numbers 2. We now present results for both when η = 1 the interior metric is not asymptotically flat. In fact, and when η ∈ (1 − ζ, 1 + ζ) for ζ  1, as one would the Ricci scalar approaches the non-vanishing asymp- 2 2 2 2 expect from the regularity condition on the geometry in totic value 3/(2G m N ) ∼ 1/(j0`p). Some of the other ab the large number of plaquettes limit. curvature invariants, such as the Ricci squared RabR and the Kretschmann scalar remain non-vanishing but The case η = 1. The effective metric functions R(τ) abcd bounded everywhere, while the Weyl squared CabcdC and Λ(τ) are plotted in FIG.1 for the choice of m = vanishes asymptotically. Interestingly enough, the upper bounds as well as the asymptotic values of the aforemen- tioned curvature scalars are all independent of the black 2 Let us remark that the coherent states we used to derive the hole mass m and only carry information about the quan- effective Hamiltonian (5) are peaked already for spin numbers tum structure. It follows without much difficulty from of order 10 (see, e.g., [25]). In the cases considered here, the the asymptotic relations (11) that the interior metric is bounce happens at an instant of time in vicinity of τ?, where 2/3 2 geodesically complete. The null energy condition is vio- the area of the minimal 2-sphere is of order A ∼ (Gm/`p) `p. 12 Therefore, already for black holes of mass m ∼ 10 mp, the spin lated for τ . τ∗. numbers j ∼ j0 ∼ 10 correspond to the minimal 2-sphere being tessallted by N ∼ 107 plaquettes. This is well within our working The case η ∈ (1 − ζ, 1 + ζ). The qualitative behavior assumption of a large number of degrees of freedom even in the of the metric function R in this case is similar to the pre- high curvature regime. vious one, with a bounce happening around the critical 5 time τ? followed by a subsequent exponential growth. As for Λ, it crucially depends on whether η < 1 or η > 1. In fact, performing an asymptotic analysis of the Hamil- 1.0 ton’s equations indicates that N approaches a constant 0.8 in the τ → −∞ limit while the other two metric functions assume the following time dependence: 0.6 ↵ δ F(η)τ/2Gm cos (κ/η)τ/2Gm 0.4 ∝ ∝ AAAFqHicfVRbT9swFDaMbqy7wfY07cVaBZp4iJJS1iKVio0J7YXLKAVGU1WO49LQ3Ga7sMqK9mv2uv2e/ZudpCltQrcjOTn+vnPziXOs0HWE1PU/C4sPlgoPHy0/Lj55+uz5i5XVl2ciGHLKWjRwA35hEcFcx2ct6UiXXYScEc9y2bk12Iv58xvGhRP4p3IUso5Hrnyn51AiAequvF43iRv2yY5pMUlMs7h+vXPd1XcMvbtS0jU9EXxfMVKlhFI57q4u3Zp2QIce8yV1iRBtQw9lRxEuHeqyqGgOBQsJHZAr1gbVJx4THZWcIcJrgNi4F3BYvsQJOuuhiCfEyLPA0iOyL/JcDM7lXCLZd/DM5FcHfhOCBW6uKtmrdZTjh0PJfDouqjd0sQxw3DxsO5xR6Y5AIZQ7cC5M+4QTKqHFmfi2iI+RzRnXxkVPRMW1uYIPHcrwAVjh/bgHeL5ZIkXzE4MmcxZb7hPPcUeqFakkvIrwRNYgEveIi5tQbijxjGRDNPskZNMIXqT8SNW3Gjjeb+H6+0a9Ot5UZ0NgXK816tuNuqHHS9veglcZVkWrwLOqlYEu61oVduWKVquNYxj6pMhpFfG5P8RXES6iMuNexYVkK8LzBEL47JYGnkd8GzzBum10JiGwKhnRfMfZEP9p9T/6P5tzLxqnsyy1F0VZ7nDKHea5kyl3kucup9xlnrshQIrkk6ZPOUr+MJv1zFOuTLjyUp3yKIXkBJJ3ULOVQs3WHXQ0gY4mkBimfeRkoMTwDg5m4SBfnkXi+vwghFtvwTQatDc7MF+uHF+xbz7hnIw28j4s8WGgZkzibNweZ+OesidYSBQsmCwEfmEYVUZ+MN1XzsqasamVv1RKux/TobWM3qC36B0yUBXtos/oGLUQRT/QT/QL/S5sFI4L54WvY9PFhdTnFcpIwfoLhYXHXw== j j0 10 Λ(τ) e ,R(τ) e . (12) = 0.2 Here κ is implicitly defined via = =   0.0 η sin (κ/η) + π sin (κ)H0(κ)/ 2 sin (κ) + πH0(κ) = 0 , 0 5 10 15 20 25 30 (13) ρ and FIG. 2. The plot shows how, in the case η = 1, the ratio F − (η) = cos (κ/η) between the effective and the classical Kretschmann scalar  2 2 2 2πH−1(κ) sin (κ) + π cos (κ)H0(κ) deviates from 1 only as we enter the deep Planckian regime + ,(14) 12  2 ρ ∼ 1. Here we set m = 10 mp, but the same conclusion 2 sin (κ) + πH0(κ) holds for much larger values of m, as well as in the other two cases η > 1, η < 1. with κ = κ(η) and H−1(x) the Struve function of or- der −1. As η increases slightly from one, κ falls be- low −π and F becomes negative. On the other hand, Schwarzschild black hole interior that was derived for the as η drops slightly below one, κ increases from −π and first time from the full LQG framework. While ambigui- F becomes positive. Therefore, the qualitative behav- ties related to the choice of quantization prescription for ior of Λ changes as η crosses one due to F changing the full Hamiltonian constraint still remain, our analysis sign. Indeed for η = 1 − ζ, Λ vanishes exponentially represents an advancement in the field and an important while for η = 1 + ζ the opposite happens. Nonethe- step in the right direction. Despite confirming some key less, the singularity is resolved in both cases. Even in features of the minisuperspace quantization models, our the case when Λ vanishes asymptotically, the proper vol- predictions show a number of significant differences as ume of constant τ surfaces diverges in the same limit well. since 2 cos (κ/η) + F(η) < 0. More precisely, the main More precisely, for all coherent states parameters con- curvature invariants, such as the Ricci squared and the sidered here, the effective metric function R has the Kretschmann scalar remain bounded everywhere. The same qualitative behavior; it follows the classical tra- Ricci scalar becomes [3 + 2F(η)2 + 4F(η) cos (κ/η) + 2 2 2 2 jectory until the Planckian curvature regime is reached, 3 cos (2κ/η)]/[4G m N ] ∼ 1/(j0`p) asymptotically. As where quantum geometry effects generate a bounce after in the special case η = 1, the null energy condition is which an exponential expansion follows. All curvature violated for τ . τ∗. scalars are finite at any time with mass-independent up- Large quantum effects. In the minisuperspace quanti- per bounds, indicating that the classical singularity is zation literature, theµ ¯-scheme was first applied to the resolved. Schwarzschild interior in [6]. There it was noted that However, the three different possibilities for the ratio large quantum effects near the classical event horizon between the two quantum spin numbers result in quali- appear, contrary to the expectation of such corrections tatively different post-bounce effective geometries, as de- to be suppressed in the low curvature regime. How- scribed in the main body of the letter. These differences ever, this undesirable feature is absent in our effective are due to the behavior of the effective metric function description. Let us elaborate further on this important Λ after the bounce. In the first case where η = 1, Λ point. If we quantify quantum geometry corrections by ceases to change appreciably around the bouncing time 1/4 and reaches a constant asymptotic value. In the sec- the ratio δ := (K/Kc) of the effective over the classi- cal Kretschmann scalar, large quantum effects necessitate ond case where η > 1, Λ grows exponentially around the significant deviations from unity for this parameter. In bouncing time at a rate that increases for larger values of FIG.2 we plot this ratio as a function of the parame- η. Finally for η < 1, Λ decreases exponentially after the ter ρ defined previously in (9) for the case η = 1, but bounce. However, in all these cases Λ remains non-zero no white hole a similar behavior is found also for the other two cases at any finite time τ < 0, implying that horizon forms after the bounce η > 1, η < 1. As shown, there are no large quantum ef- . fects, as the effective geometry deviates significantly from Let us conclude this discussion with some remarks on the classical one only in the regime where the curvature the shortcomings of our analysis. Firstly, the issue of off- becomes Planckian, namely as ρ ∼ 1. shell anomaly freedom of the effective dynamics is left open in our analysis, as in most minisuperspace quan- Discussion of results. In this letter we investigated the tization approaches in the previous literature (see, how- predictions of an effective quantum theory applied to the ever, [11, 12] for an alternative approach). This is an 6 important consistency check, as the physical relevance tween these observations and our results is merited in of the effective line element crucially depends on the clo- order to highlight the key role played by the quantum sure of the hypersurface-deformation algebra. A possible, geometry corrections that are accounted for in our effec- if not likely, outcome is that the radial diffeomorphism tive Hamiltonian (5). In the regularization prescription constraint also needs to be modified. While this may not adopted in [13, 14] the quantum parameters are fixed to have relevant implications for the interior homogeneous be constants along the effective dynamical trajectories. foliation considered here since the shift vector can always The accuracy of the evolution equations derived in [14] be eliminated by changing the x coordinate, a consistent through this scheme has been questioned in [30] (see also derivation of effective diffeomorphism constraint becomes [31, 32] for issues with asymptotic flatness and general crucial when concurrently solving for both the interior covariance affecting the model constructed in [13, 14]). and exterior regions. In this case, the inhomogeneity of However, since our goal here is to investigate whether the spacetime prevents one from setting the shift vector to quantum corrections coming from a full theory Hamil- zero. This is an ongoing area of research. tonian constraint reproduce the qualitative behavior of Secondly, at this stage, our derivation of the effective the effective interior metric derived in this hybrid scheme dynamics is based on a fixed graph structure. It would through point holonomies techniques, we analyze the case be very important to relax this restriction by performing where the quantum parameters do not contribute to the a sum over plaquettes on all three orthogonal planes of Poisson brackets determining the evolution equations. To our cuboidal decomposition. A crucial ingredient for this this end, instead of relying on the questioned approach procedure is the choice of weight for each graph. In the based on the Dirac observables, we simply start by con- simpler cosmological setting [26], a somehow ad hoc com- sidering constant quantum parameters. We then relate binatorial factor was chosen motivated by the statisti- these parameters to the classical black hole mass by im- cal counting of microstates compatible with macroscopic posing a physical condition on the minimal 2-sphere area configurations. In the black hole case, previous experi- in order to arrive at a final expression that closely resem- ence with entropy counting may lend important guidance bles the one used in [14]. for a physically better motivated choice. Whether the ef- In the case of constant ’s, the convenient choice (10) fective solutions obtained here are robust after inclusion for the lapse function allows for the explicit solution of new quantum corrections encoding fluctuations in the r 2 2 number pf plaquettes is an important question we are τ γ x − 2τ R(τ) = 2Gme 2Gm 1 + e Gm . (15) working on to address in the near future. 64G2m2 In this regard, let us also point out how an alternative Here m can also be understood as a Dirac observable approach to the construction of a quantum black hole of the effective dynamics generated by constant ’s that geometry within the full theory, preserving the combi- reduces to the classical gravitational mass in the limit natorial information of the graph structure, has been ~ → 0. In fact, the two are basically the same as developed in the past few years using the operatorial long as m  mp. In the limit ~ → 0, we recover formulation of group field theory [27–29]. This frame- the classical metric function given in Eq. (2). It is work provides a description of homogeneous continuum clear from Eq. (15) that the aerial coordinate reaches geometries by relying on the use of condensate states √ a minimum value R (τb) = γxGm at the moment whose wave function is peaked on a few global observ- min τb = Gm log γx/8Gm . This is to say that the area of ables, hence differing from the coherent states used in the concentric 2-spheres that foliate constant τ surfaces [20] that instead peak on the classical values of local geo- never shrinks to zero, evidencing how the quantum cor- metrical quantities for individual links of the underlying rections eliminate the classical singularity and replace it graphs. While this feature of group field theory conden- with a cosmological bounce at τ = τ . sates allows to retain better control on the sum over (a b Let us now provide a physical argument to relate the given set of) graphs and the semiclassicality nature of quantum parameters to the black hole mass m. A natu- the states by guaranteeing small fluctuations for some ral choice would be to equate R (τ ) with the classical global geometrical operators, it also has its shortcom- min b aerial radius when the curvature is Planckian, namely ings. In particular, the difficulty in defining local op- R (τ ) = R (τ ) . This immediately yields erators introduces a higher level of ambiguity and tech- min b c ? nical difficulty in defining the dynamics of the theory. 1/3 4/3 4/3 3 2 `p Our hope is that the two approaches can lead to a fruit- x = . (16) ful cross-fertilization of ideas and techniques, that could γ(Gm)1/3 eventually elucidate more in detail the interpretation of dynamics implementation as a refinement process. We can then fix  by demanding that at the bouncing time j0 = 1/2 (for different values of j0 the qualitative Comparison with existing literature. Recent calcula- results remain unchanged), namely tions in the LQC minisuperspace quantization literature s 2 1/3√ 1/3 have indicated that the post-bounce anti-trapped region 4πγ`p 2 πγ`p  = = 1/6 1/3 , (17) admits a white hole horizon [13, 14]. A comparison be- γxGm 3 (Gm) 7

2 2  2 2 3 where we used Eq. (6). Therefore, as in the regulariza- Here L() = 2γ  2 + πH−1(π) /π H0 (π) + O( ) , tion scheme of [14], the two quantum parameters acquire which is numerically found to be greater than zero for a dependence on the gravitational mass as a power of   1, but significantly suppressed compared to unity. −1/3. Numerical investigations of Eq. (4) show that all This asymptotic behavior of Λ is confirmed by the nu- commonly used spacetime curvature invariants, such as merical solution, that shows how Λ reaches a maximum the Kretschmann scalar, remain bounded for all times value around the bouncing time, then decreases until a −∞ < τ < 0, solidifying the resolution of black hole minimum value greater than zero is reached, and then singularity in this model. Moreover, we numerically con- grows very slowly as τ → −∞. Therefore, Λ never goes firm a feature found in [13] that suggests that the upper to zero after the initial instant of time corresponding to bounds for these curvature invariants are mass indepen- the black hole horizon. dent as long as m  mp. However, the similarities end here. In particular, by omitting the corrections coming from the 2-sphere quan- Let us conclude by remarking that, as in the previous tum geometry due to using point holonomies for the an- case, the interior metric is geodesically complete but not gular directions, the effective dynamics of [13] predicts asymptotically flat. However, now the components of the appearance of a white hole horizon at a finite instant the Riemann tensor computed in an orthonormal frame of time τ. As emphasized in the beginning of this letter, vanish asymptotically. Moreover, the weak, strong and the effective dynamics derived in [20] accounts for pre- dominant energy conditions are violated only around the cisely these ignored degrees of freedom that are present bounce τ ∼ τb ∼ τ∗, while they are satisfied as τ gets in the full theory. This modification has drastic implica- more negative. tions for predictions of the theory. In fact, our quantum- corrected interior geometry prevents the formation of a white hole horizon at any time. More precisely, the fol- lowing asymptotic estimates that are valid in the limit Acknowledgments. We are grateful to A. Ashtekar τ → −∞ can be obtained: and J. Olmedo for helpful discussions. E. Alesci and S. Bahrami are supported in part by the NSF grant PHY- R  x − τ N(τ) ∼ ∼ e 2Gm , 1505411, the Eberly research funds of Penn State, and Gm Gm the Urania Stott fund of Pittsburgh Foundation. Re- Gm − τL() Λ(τ)∼ e 2Gm , search at the Perimeter Institute is supported in part by x the Government of Canada through NSERC and by the − τ R(τ)∼xe 2Gm . (18) Province of Ontario through MRI.

[1] A. Ashtekar and P. Singh, Class. Quant. Grav. 28, 213001 [13] A. Ashtekar, J. Olmedo, and P. Singh, Phys. Rev. Lett. (2011), arXiv:1108.0893 [gr-qc]. 121, 241301 (2018), arXiv:1806.00648 [gr-qc]. [2] A. Ashtekar, T. Pawlowski, and P. Singh, Phys. Rev. [14] A. Ashtekar, J. Olmedo, and P. Singh, Phys. Rev. D98, Lett. 96, 141301 (2006), arXiv:gr-qc/0602086 [gr-qc]. 126003 (2018), arXiv:1806.02406 [gr-qc]. [3] A. Ashtekar, A. Corichi, and P. Singh, Phys. Rev. D77, [15] E. Alesci and F. Cianfrani, Phys. Rev. D87, 083521 024046 (2008), arXiv:0710.3565 [gr-qc]. (2013), arXiv:1301.2245 [gr-qc]. [4] L. Modesto, Class. Quant. Grav. 23, 5587 (2006), [16] E. Alesci and F. Cianfrani, EPL 111, 40002 (2015), arXiv:gr-qc/0509078 [gr-qc]. arXiv:1410.4788 [gr-qc]. [5] A. Ashtekar and M. Bojowald, Class. Quant. Grav. 23, [17] E. Alesci and F. Cianfrani, Phys. Rev. D90, 024006 391 (2006), arXiv:gr-qc/0509075 [gr-qc]. (2014), arXiv:1402.3155 [gr-qc]. [6] C. G. Boehmer and K. Vandersloot, Phys. Rev. D76, [18] E. Alesci, G. Botta, F. Cianfrani, and S. Liberati, Phys. 104030 (2007), arXiv:0709.2129 [gr-qc]. Rev. D96, 046008 (2017), arXiv:1612.07116 [gr-qc]. [7] M. Campiglia, R. Gambini, and J. Pullin, Proceedings, [19] E. Alesci, C. Pacilio, and D. Pranzetti, Phys. Rev. D98, 3rd Mexican Meeeting on Mathematical and Experimental 044052 (2018), arXiv:1802.06251 [gr-qc]. Physics: Mexico City, Mexico, September 10-14, 2007, [20] E. Alesci, S. Bahrami, and D. Pranzetti, Phys. Rev. AIP Conf. Proc. 977, 52 (2008), arXiv:0712.0817 [gr-qc]. D98, 046014 (2018), arXiv:1807.07602 [gr-qc]. [8] J. Brannlund, S. Kloster, and A. DeBenedictis, Phys. [21] T. Thiemann, Class. Quant. Grav. 15, 839 (1998), Rev. D79, 084023 (2009), arXiv:0901.0010 [gr-qc]. arXiv:gr-qc/9606089 [gr-qc]. [9] A. Corichi and P. Singh, Class. Quant. Grav. 33, 055006 [22] V. Taveras, Phys. Rev. D78, 064072 (2008), (2016), arXiv:1506.08015 [gr-qc]. arXiv:0807.3325 [gr-qc]. [10] J. Olmedo, S. Saini, and P. Singh, Class. Quant. Grav. [23] I. Agullo, G. J. Fernando Barbero, E. F. Borja, J. Diaz- 34, 225011 (2017), arXiv:1707.07333 [gr-qc]. Polo, and E. J. S. Villasenor, Phys. Rev. D80, 084006 [11] M. Bojowald, S. Brahma, and D.-h. Yeom, Phys. Rev. (2009), arXiv:0906.4529 [gr-qc]. D98, 046015 (2018), arXiv:1803.01119 [gr-qc]. [24] J. Engle, K. Noui, A. Perez, and D. Pranzetti, JHEP [12] J. Ben Achour, F. Lamy, H. Liu, and K. Noui, EPL 123, 05, 016 (2011), arXiv:1103.2723 [gr-qc]. 20006 (2018), arXiv:1803.01152 [gr-qc]. [25] E. R. Livine and S. Speziale, Phys. Rev. D76, 084028 8

(2007), arXiv:0705.0674 [gr-qc]. [29] D. Oriti, D. Pranzetti, and L. Sindoni, Phys. Rev. D97, [26] E. Alesci, G. Botta, and G. V. Stagno, Phys. Rev. D97, 066017 (2018), arXiv:1801.01479 [gr-qc]. 046011 (2018), arXiv:1709.08675 [gr-qc]. [30] N. Bodendorfer, F. M. Mele, and J. Mnch, (2019), [27] D. Oriti, D. Pranzetti, J. P. Ryan, and L. Sindoni, Class. arXiv:1902.04032 [gr-qc]. Quant. Grav. 32, 235016 (2015), arXiv:1501.00936 [gr- [31] M. Bouhmadi-Lpez, S. Brahma, C.-Y. Chen, P. Chen, qc]. and D.-h. Yeom, (2019), arXiv:1902.07874 [gr-qc]. [28] D. Oriti, D. Pranzetti, and L. Sindoni, Phys. Rev. Lett. [32] M. Bojowald, (2019), arXiv:1906.04650 [gr-qc]. 116, 211301 (2016), arXiv:1510.06991 [gr-qc].