Abstract
We continue our investigation of an improved quantization scheme for spherically symmetric loop quantum gravity. We find that in the region where the black hole singularity appears in the classical theory, the quantum theory contains semi-classical states that approximate general relativity coupled to an effective anisotropic fluid. The singularity is eliminated and the space-time can be continued into a white hole space-time. This is similar to previously considered scenarios based on a loop quantum gravity quantization.
1 Introduction
In a previous paper (Gambini et al., 2020a) we studied an improved quantization for spherically symmetric loop quantum gravity. Earlier work (Gambini and Pullin, 2013; Gambini et al., 2014; Gambini et al., 2020b) had considered a constant polymerization parameter, similarly to the “” quantization scheme in loop quantum cosmology, whereas the improved quantization is similar to the “” quantization scheme (Ashtekar and Singh, 2011). Other approaches involving improved quantizations have also been explored in (Han and Liu, 2020). We observed that the singularity was removed, but we did not analyze in detail what happened to the space-time beyond the region where the singularity used to be. Here we complete that study. We find that in that region there exist semi-classical quantum states for which the theory behaves like a quantum version of general relativity coupled to an effective anisotropic fluid (Cho and Kim, 2019) that violates the dominant energy condition. In the highest curvature region there is a space-like transition surface, something that was unnoticed in (Gambini et al., 2020a). The space-time continues into a white hole geometry, like in Ref. (Ashtekar et al., 2018). However, in this work we consider a different regularization for the parametrized observable associated to the shift function. Its very definition requires the choice of a slicing and the new regularization avoids an undesirable dependence on it in the semiclassical limit.
The organization of this paper is as follows. In section 2 we discuss the physical sector of the quantum theory, focusing on semiclassical sectors. In section 3 we introduce a horizon penetrating slicing based on Painlevé–Gullstrand coordinates and show how it can be used to connect to a white hole space-time. We end with a discussion.
2 Physical Sector of the Quantum Theory
The physical sector of the theory is obtained after combining Loop Quantum Gravity quantization techniques and the Dirac quantization program for constrained theories. In summary, we start with a kinematical Hilbert space in the loop representation adapted to spherically symmetric spacetimes for the geometrical sector together with a standard representation for the spacetime mass and its conjugate momentum . A suitable basis of kinematical states is the one provided by spherical symmetric spin networks tensor product with the standard states for the matter sector in the mass representation. Then, we represent the scalar constraint as a well-defined operator in the kinemtical Hilbert space (for the diffeomorphism constraint we rather work with the related finite group of transformations mimicking the full theory).
Following the construction of Ref. (Gambini et al., 2020a), the physical sector of the theory is encoded in physical states (solutions to the scalar constraint) endowed with a suitable inner product and a set of physical observables. This is achieved, for instance, by applying group averaging techniques for both the quantum scalar constraint and the group of finite spatial diffeomorphisms (see also Refs (Gambini and Pullin, 2013; de Blas et al., 2017)). We focus our study to some of the simplest semi-classical states. Quantum states consist of spatial spin networks labeled by the ADM mass M (a Dirac observable) and integer numbers that characterize the radii of spheres of symmetry associated with each vertex of the network . The semi-classical states we are going to consider here are given by superpositions in the mass centered at and of width and are therefore associated with a fixed discrete structure in space (see (Gambini et al., 2020a) for more details). They provide excellent approximations to the classical geometry in regions of small curvature compared to Planck scale. Concretely, we consider the semi-classical stateswith for all , namely, , wheretimes the Planck length squared determines the smallest area of the 2-spheres in the theory. This corresponds to the improved quantization, where is the area gap. Besides, we choose and
The states in Eq. 2.1 belong to a family of sharply peaked semiclassical states in the mass and with support on a concrete spin network (states with higher dispersion in the mass will require superpositions of different spin networks). This choice considerably simplifies the analysis of the effective geometries. As we discussed in our previous papers, the quantum theory has additional observables to the ones encountered in classical treatments (Kastrup and Thiemann, 1994; Kuchar, 1994) which are the ADM mass and the time at infinity. These emerge from the discrete nature of the spin network treatment and are associated with the ’s, which in turn are associated with the value of the areas of the spheres of symmetry connected with each vertex of the spin network. One can also consider states that are a superposition of M’s. The analysis will remain the same as long as the states are peaked around a value of M.
In addition to physical states, the physical observables representing space-time metric components will be defined through suitable parametrized observables. They act as local operators on each vertex of the spin network. Furthermore, they involve point holonomies that are chosen to be compatible with the superselection sectors of the physical Hilbert space (see Ref (Gambini et al., 2020a). for more details). Some of the basic parametrized observables arewhere is a suitable gauge function that codifies the freedom in the choice of radial reparametrizations.
For the components of the space-time metric on stationary slicings we have, for instance, the lapse and shift,1wherewhere we polymerized with the polymerization parameter of the improved quantization,
We choose the k’s in the one-dimensional spin network in our physical state and the gauge function such thatand with and with , where
Besides, we will choose as in the first paper (Gambini et al., 2020a), although we will discuss the consequences of the limiting choices (for a uniform lattice) and . The different spacings just mentioned here correspond to different choices of states in the physical space, all of them lead to the same semiclassical behavior but differ in the deep quantum regime close to the singularity, as one would expect. The quantum regime is for the small values of , where if one were to consider a superposition of states, small changes in ’s would lead to great fluctuations in the properties of the states.
Then, the metric components take the following form in terms of the previous operators
Let us restrict the study to the family of stationary slicings determined by the conditionwhere some specific choices of will be studied below. However, any viable choice must be such that is real and . Now, one can easily construct the operators corresponding to the components of the spacetime metric. They are given bywith . The effective metric is defined as , where the expectation value is computed on the extended physical state we presented above. We will focus on the leading order corrections when the dispersion in the mass can be neglected. In this case, we can just remove the hats in the previous expression and denote this contribution by . In addition, we will take a continuum limit that was discussed in our first paper. Namely, is replaced by , with and the integer part function will be dropped from all expressions. This continuum limit means that the effective geometries bounce when they reach .
3 Painlevé-Gullstrand Coordinates: Black Hole to White Hole Transition
We are interested in spatial slicings that are horizon penetrating and asymptotically flat. For instance, ingoing Painlevé-Gullstrand coordinates is one of the well-known choices that meet these requirements. Besides, the time coordinate follows the proper time of a free-falling observer. The slicing is defined by the condition where
This choice is equivalent to a lapse operator . Besides, one can easily see that in the semiclassical limit we have the function for all , while . This is important since this choice will allow us to completely probe the high curvature region of the effective geometries.
They can be obtained as in (Gambini et al., 2020a). One gets
For this slicing, the low curvature regions occur when or equivalently at . Concretely, at the effective metric approaches sufficiently fast a classical black hole metric in ingoing Painlevé-Gullstrand coordinates, while for the effective metric approaches sufficiently fast a classical white hole metric in outgoing Painlevé-Gullstrand coordinates. On the other hand, as we will see below, the curvature reaches its maximum when , namely, at .
In what follows, we refer to Figure 1 (see the similarities with the Penrose diagram of Ref (Ashtekar et al., 2018)). One can see that the condition has two real solutions in x, corresponding to two classical black or white hole horizons, at and . In the spacetime regions with or , the surfaces are time-like, and correspond to untrapped regions. In the region right behind the black hole horizon, , hypersurfaces are space-like. This region is a trapped black hole interior. As we move toward the high curvature region, curvature is maximum at . This space-like hypersurface connects the trapped black hole region with an anti-trapped white hole region. This is the so-called transition surface (Ashtekar et al., 2018). The anti-trapped white hole region extends all the way from to the white hole horizon . In all this region, hypersurfaces are still space-like. Once the white hole horizon is crossed to the outside region, spacetime is untrapped again and hypersurfaces are again time-like.
FIGURE 1
In order to illustrate all these properties, it is convenient to first write the effective metric in its diagonal form (It should be noted that although the theory does not recover the full diffeomorphism invariance of the classical theory in the quantum regions, it is a valid mathematical tool to diagonalize a metric nevertheless.) It can be easily obtained by introducing the change of coordinates
This transformation amounts to the changewhile all other components remain as
In Figure 2 we show two components of the effective metric in its diagonal form. There where they vanish, a horizon forms and the coordinate system becomes singular. However, we should remember that around spacetime is discrete and the continuous line is just an interpolation. Therefore, the metric will be well defined provided the horizons are not located on a vertex of the lattice.
FIGURE 2
We have also studied the effective stress-energy tensor that encodes the main deviations from the classical theory. It is defined aswhere is the Einstein tensor. is characterized by the effective energy density ρ and radial and tangential pressures densities, and , respectively. They are defined by means ofandwhere is the Killing vector field that is time-like in the regions in which hypersurfaces are time-like. and are the vector fields pointing in the radial and θ-angular directions, respectively. When the Killing vector field is space-like, namely, in the regions in which hypersurfaces are space-like, becomes time-like. Therefore,while since remains space-like. We will assume that these effective space-times can be approximated by a smooth and continuous geometry everywhere, even at the transition surface. This assumption, as we mentioned, fails in the most quantum region. However, we expect that (a quantity only valid when geometry is smooth) will still give us qualitative hints about quantum geometry corrections there.
In Figure 3 we show the components of the stress-energy tensor , or equivalently, the components of the Einstein tensor (up to a factor ) for the choice . From them it is easy to extract the energy densities and pressures in each region of these effective space-times.
FIGURE 3
It is straightforward to compute the value of the energy density and pressures of the stress-energy tensor at the transition surface and in the limit of large mass . Actually, their value depend on the choice of spacing of the uniform lattice in the radial direction. For instance, for with , one can see that2
Let us note that in the most quantum region,
As we see, at the transition surface, the effective stress-energy tensor does not violate the strong energy condition since . However, it does actually violate the dominant energy condition. Since the dominant energy condition implies that and , we conclude that this condition is violated since both and at the transition quantum spacetime blow up in the limit .
One can construct the Penrose diagram of this geometry, together with a possible extension to regions not covered by our slicing.
4 Discussion
There are several comments about the scenario studied in this manuscript. On the one hand, the effective geometries that one can derive in this theory are uniquely determined by the semiclassical physical state and the (parameterized) observables that represent the components of the metric. The quantum corrections on these geometries likewise depend on the minimal area gap and the size of the discretization of the physical states we are considering. Polymer corrections due to the choice of foliation will also contribute if fluctuations of the mass are considered. We are taking for simplicity an element (spin network) of the basis in the physical space of states and ignoring superpositions in different discretizations and masses. Quantum corrections break the covariance, in particular because their dependence on the discretization of the chosen quantum states, but also due to foliation dependent terms. The latter produce quantum corrections in the (asymptotically flat) external region of the black hole and therefore they are completely unobservable for macroscopic black holes, allowing to recover diffeomorphism invariance. Since different foliations are identified with (observer’s) frames of reference, this is equivalent to say that, for physically implementable frames of reference (i.e. physically realizable observers) in the exterior region, quantum corrections will be negligible. Nevertheless, these quantum corrections increase when approaching the high curvature region, reaching maximum values of order . For instance, a free-falling observer (as it is the case under consideration in this manuscript) and an accelerated observer will observe there only slightly different corrections, even if its foliation involves accelerations that are Planck order.
Regarding the original choice of shift as parametrized observable adopted in Ref. (Gambini et al., 2020a), we noticed that, as mentioned in (Kelly et al., 2020), the most quantum region showed an inner Cauchy horizon connecting the trapped black hole region with a Planckian size transition space-time where hypersurfaces are time-like. However, strictly speaking, due to this Cauchy horizon, the extension beyond this region is not unique. After the bounce a Cauchy Horizon is traversed and therefore the initial conditions at that end up producing a black hole are not enough for the determination of the possible extensions beyond the Cauchy horizon. Notice that the Cauchy horizon occurs in a deep quantum region that is in the past of the extension; further non-uniqueness would occur when quantum superpositions are considered. Besides, different foliations capture different extensions. We saw that a choice of foliation (corresponding to an accelerated observer with a Planck order acceleration) leads to an anti de Sitter universe beyond the Cauchy horizon. Similar ambiguities have been noted in classical general relativity (Dafermos and Luk, 2017). One must keep in mind that these ambiguities can be alleviated by considering parametrized observables that correspond to physically implementable frames of reference (i.e. physically realizable observers). We are considering here extrinsic framings corresponding to a choice of polimerization for the functional parameter . Even though the theory is covariant in the sense that the classical observables become quantum observables in the quantization process, each polimerization corresponds to a different choice of framing. In reference (Gambini and Pullin, 2009) we proved that diffeomorphism invariance of the parametrized observables corresponding to the metric is only preserved for diffeomorphism that do not amplify Planck scale separation to macroscopic scale. The introduction of more realistic intrinsic framings resulting from the inclusion of matter would provide a natural choice of slicing allowing to solve this limitation. For instance, the case of Painlevé-Gullstrand coordinates, that amount to a unit parametrized observable related to the lapse function. The kind of midisuperspace model here considered allows to analyze this issues while most of the minisuperspace scenarios proposed in the literature (see (Bodendorfer et al., 1912; Sartini and Geiller, 2021; Boehmer and Vandersloot, 2007; Campiglia et al., 2008; Ashtekar and Singh, 2011; Cortez et al., 2017; Olmedo et al., 2017; Alesci et al., 2018; Alesci et al., 2019; Assanioussi et al., 2020) for references on hypersurface orthogonal slicings) adopted a particular family of space-time foliations where this issue of slicing dependence did not arise. Other authors have taken the issue of non-covariance to imply that modifications of the constraint algebra are in order, leading to the deformed hypersurface deformation algebra approach (Tibrewala, 2012; Bojowald et al., 2015; Ben Achour et al., 2018).
Summarizing, we have applied an improved quantization scheme for loop quantum gravity in spherical symmetry. The singularity that appears in classical general relativity is eliminated and space-time is continued to a white hole space-time geometry through a transition surface where curvature reaches its maximum value. This is qualitatively similar to scenarios that have been recently proposed (Ashtekar et al., 2018). Our proposal yields effective geometries that are free of undesirable slicing dependencies in the semiclassical limit. Actually, the slicing independence in a precise semiclassical limit of small mass fluctuations can be invoked to restrict polymer modifications of the scalar constraint and the parametrized observables describing the quantum geometry. Finally, it is interesting to note that most of the ideas presented here and in Ref (Gambini et al., 2020a). can be very useful in other situations, like in the vacuum polarized Gowdy cosmologies with local rotational symmetry (de Blas et al., 2017).
Statements
Data availability statement
The original contributions presented in the study are included in the article/Supplementary Material, further inquiries can be directed to the corresponding author.
Author contributions
All authors collaborated equally in the research and elaboration of the manuscript.
Acknowledgments
This work was supported in part by Grant NSF-PHY-1903799, funds of the Hearne Institute for Theoretical Physics, CCT-LSU, Pedeciba, Fondo Clemente Estable FCE_1_2019_1_155865 and Project. No. FIS 2017–86497-C2-2-P of MICINN from Spain. J.O. acknowledges the Operative Program FEDER2014–2020 and the Consejería de Economía y Conocimiento de la Junta de Andalucía.
Conflict of interest
The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.
Footnotes
1.^In Ref (Gambini et al., 2020a). for the shift we adopted the regularization , but it introduces an undesirable slicing dependence that is avoided with the present regularization. Besides, the representation that we adopt here for the square of the shift function as a parametrized observable is compatible with the superselection rules of the quantum numbers of the kinematical spin networks as it was discussed in Ref. (Gambini et al., 2020a).
2.^The choices of shown here correspond to the maximum allowed uniform discretization if , while gives the finest uniform refinement. is an intermediate choice.
References
1
AlesciE.BahramiS.PranzettiD. (2018). Quantum Evolution of Black Hole Initial Data Sets: Foundations. Phys. Rev. D. 98, 046014. 10.1103/physrevd.98.046014
2
AlesciE.BahramiS.PranzettiD. (2019). Quantum Evolution of Black Hole Initial Data Sets: Foundations. Phys. Lett. B. 797, 134908. 10.1103/physrevd.98.046014
3
AshtekarA.OlmedoJ.SinghP. (2018). Quantum Transfiguration of Kruskal Black Holes. Phys. Rev. Lett.121, 241301. 10.1103/physrevlett.121.241301
4
AshtekarA.SinghP. (2011). Loop Quantum Cosmology: a Status Report. Class. Quan. Grav.28, 213001. 10.1088/0264-9381/28/21/213001
5
AssanioussiM.DaporA.LiegenerK. (2020). Perspectives on the Dynamics in a Loop Quantum Gravity Effective Description of Black Hole Interiors. Phys. Rev. D. 101, 026002. 10.1103/physrevd.101.026002
6
Ben AchourJ.LamyF.LiuH.NouiK. (2018). Polymer Schwarzschild Black Hole: An Effective Metric. EPL. 123 (2), 20006. 10.1209/0295-5075/123/20006
7
BodendorferN.MeleF. M.MünchJ. (1912). arXiv, 00774.
8
BoehmerC. G.VanderslootK. (2007). Spherically Symmetric Loop Quantum Gravity: Analysis of Improved Dynamics. Phys. Rev.D76, 1004030. 10.1103/PhysRevD.76.104030
9
BojowaldM.BrahmaS.ReyesJ. D. (2015). Covariance in Models of Loop Quantum Gravity: Spherical Symmetry. Phys. Rev. D. 92 (4), 045043. 10.1103/PhysRevD.92.045043
10
CampigliaM.GambiniR.PullinJ. (2008). Loop Quantization of Spherically Symmetric Midi‐superspaces : the interior Problem. AIP Conf. Proc.977, 52–63. 10.1063/1.2902798
11
ChoI.KimH.-C. (2019). Simple Black Holes with Anisotropic Fluid. Chin. Phys. C.43, 025101. 10.1088/1674-1137/43/2/025101
12
CortezJ.CuervoW.Morales-TécotlH. A.RuelasJ. C. (2017). Effective Loop Quantum Geometry of SchwarzsChild Interior. Phys. Rev. D. 95, 064041. 10.1103/physrevd.95.064041
13
DafermosM.LukJ. (2017). The interior of dynamical vacuum black holes I: The C0-stability of the Kerr Cauchy horizon. arxiv:1710.01722.
14
de BlasD. M.OlmedoJ.PawłowskiT. (2017). Loop Quantization of the Gowdy Model with Local Rotational Symmetry. Phys. Rev. D. 96, 106016. 10.1103/physrevd.96.106016
15
GambiniR.OlmedoJ.PullinJ. (2014). Quantum Black Holes in Loop Quantum Gravity. Class. Quant. Grav.31, 095009. 10.1088/0264-9381/31/9/095009
16
GambiniR.OlmedoJ.PullinJ. (2020a). Spherically Symmetric Loop Quantum Gravity: Analysis of Improved Dynamics. Class. Quan. Grav.37, 205012. 10.1088/1361-6382/aba842
17
GambiniR.OlmedoJ.PullinJ. (2020b). Spherically Symmetric Loop Quantum Gravity: Analysis of Improved Dynamics. Class. Quant. Grav.37, 205012. 10.1088/1361-6382/aba842
18
GambiniR.PullinJ. (2009). Diffeomorphism Invariance in Spherically Symmetric Loop Quantum Gravity. Adv. Sci. Lett.2, 251–254. 10.1166/asl.2009.1032
19
GambiniR.PullinJ. (2013). Loop Quantization of the Schwarzschild Black Hole. Phys. Rev. Lett.110, 211301. 10.1103/PhysRevLett.110.211301
20
HanM.LiuH. (2020). Improved (Mu)over-bar-scheme Effective Dynamics of Full Loop Quantum Gravity. Phys. Rev. D. 102 (6), 064061. 10.1103/PhysRevD.102.064061
21
KastrupH. A.ThiemannT. (1994). Spherically Symmetric Gravity as a Completely Integrable System. Phys. B. 425, 665–686. 10.1016/0550-3213(94)90293-3
22
KellyJ. G.SantacruzR.Wilson-EwingE. (2020). Effective Loop Quantum Gravity Framework for Vacuum Spherically Symmetric Spacetimes. Phys. Rev. D. 102, 106024. 10.1103/physrevd.102.106024
23
KucharK. V. (1994). Geometrodynamics of Schwarzschild Black Holes. Phys. Rev. D.50, 3961–3981. 10.1103/PhysRevD.50.3961
24
OlmedoJ.SainiS.SinghP. (2017). From Black Holes to white Holes: a Quantum Gravitational, Symmetric Bounce. Class. Quan. Grav.34, 225011. 10.1088/1361-6382/aa8da8
25
SartiniF.GeillerM. (2021). Quantum dynamics of the black hole interior in loop quantum cosmology. Phys. Rev. D. 103, 066014. 10.1103/PhysRevD.103.066014
26
TibrewalaR. (2012). Spherically Symmetric Einstein-Maxwell Theory and Loop Quantum Gravity Corrections. Quant. Grav.29, 235012. 10.1088/0264-9381/29/23/235012
Summary
Keywords
loop quantum gravity, black holes, quantum field theory, spin networks, general relativity
Citation
Gambini R, Olmedo J and Pullin J (2021) Loop Quantum Black Hole Extensions Within the Improved Dynamics. Front. Astron. Space Sci. 8:647241. doi: 10.3389/fspas.2021.647241
Received
29 December 2020
Accepted
26 April 2021
Published
11 June 2021
Volume
8 - 2021
Edited by
Francesca Vidotto, Western University, Canada
Reviewed by
Jibril Ben Achour, Ludwig-Maximilians-University Munich, Germany
Kristina Giesel, University of Erlangen Nuremberg, Germany
Ana Alonso Serrano, Max Planck Institute for Gravitational Physics (AEI), Germany
Updates
Copyright
© 2021 Gambini, Olmedo and Pullin.
This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.
*Correspondence: Javier Olmedo, javolmedo@ugr.es
This article was submitted to Cosmology, a section of the journal Frontiers in Astronomy and Space Sciences
Disclaimer
All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article or claim that may be made by its manufacturer is not guaranteed or endorsed by the publisher.