Loop Quantum Black Hole Extensions Within the Improved Dynamics

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 “${\mu }_0$” quantization scheme in loop quantum cosmology, whereas the improved quantization is similar to the “$\overline{\mu }$” 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 $\left[\left(K\phi ,E^{\phi }\right),\left(K_x,E^x\right)\right]$ together with a standard representation for the spacetime mass and its conjugate momentum $\left(M,P_M\right)$. 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 $k_i$. The semi-classical states we are going to consider here are given by superpositions in the mass centered at $M_0$ and of width $\delta M_0$ 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 states

$\begin{array}{l}|\psi \rangle =\frac{1}{\delta M_0}{{\displaystyle \int }}^{\text{}}dM{e}^{iM{P}_0/\hslash }\text{cos}\left[\frac{\pi \left(M-M_0\right)}{2\delta M_0}\right]\text{Θ}\left(M-M_0+\delta M_0\right)\text{Θ}\left(M_0+\delta M_0-M\right)\\ \times |M,k_S,\dots ,k_0,\dots ,k_{-S}\rangle \end{array}(2.1)$

with $k_0<k_j$ for all $j\ne 0$, namely, $j=-S,-S+1,\dots ,1,-1,\dots ,S$, where

$k_0=\text{Int}\left[{\left(\frac{2G{M}_0\text{Δ}}{4\pi {\ell }_{\text{Pl}}^3}\right)}^{2/3}\right],(2.2)$

times the Planck length squared determines the smallest area of the 2-spheres in the theory. This corresponds to the improved quantization, where $\text{Δ}$ is the area gap. Besides, we choose $M_0\gg m_{\text{Pl}}$ and

$\delta M_0\le \frac{3}{2}{\left(\frac{4\pi {\ell }_{\text{Pl}}^3}{2G\text{Δ}}\right)}^{2/3}{M}_0^{1/3}.(2.3)$

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 $k_i$’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 are

${\widehat{E}}^x\left(x_j\right)|M,\overrightarrow{k}\rangle =\widehat{O}\left(z\left(x_j\right)\right)|M,\overrightarrow{k}\rangle ={\ell }_{\text{Pl}}^2{k}_{j\left(x_j\right)}|M,\overrightarrow{k}\rangle ,(2.4)$

$\widehat{M}|M,\overrightarrow{k}\rangle =M|M,\overrightarrow{k}\rangle ,(2.5)$

where $z\left(x\right)$ 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,¹

${\widehat{N}}^2\left(x_j\right):=\frac{1}{4}\frac{{\left([{\widehat{E}}^x\left(x_j\right){]}^{\prime }\right)}^2}{{\left({\widehat{E}}^{\phi }\left(x_j\right)\right)}^2},\hspace{1em}{\left[{\widehat{N}}^x\left(x_j\right)\right]}^2=\frac{{\widehat{E}}^x\left(x_j\right)}{{\left({\widehat{E}}^{\phi }\left(x_j\right)\right)}^2}\widehat{\frac{{\text{sin}}^2\left({\overline{\rho }}_j{K}_{\phi }\left(x_j\right)\right)}{{\overline{\rho }}_j^2}},(2.6)$

where

${\left({\widehat{E}}^{\phi }\left(x_j\right)\right)}^2=\frac{{\left[{\left({\widehat{E}}^x\left(x_j\right)\right)}^{\text{′}}\right]}^2/4}{1+\frac{{\text{sin}}^2\left({\overline{\rho }}_j{K}_{\phi }\left(x_j\right)\right)}{{\overline{\rho }}_j^2}-\frac{2G\widehat{M}}{\sqrt{\left|{\widehat{E}}^x\left(x_j\right)\right|}}},(2.7)$

where we polymerized $K_{\phi }$ with $\overline{\rho }$ the polymerization parameter of the improved quantization,

$\overline{\rho }=\frac{\text{Δ}}{4\pi {\widehat{E}}^x}.(2.8)$

We choose the k’s in the one-dimensional spin network in our physical state and the gauge function $z\left(x\right)$ such that

${\widehat{E}}^x\left(x_j\right)={\ell }_{\text{Pl}}^2\text{Int}\left[\frac{x_j^2}{{\ell }_{\text{Pl}}^2}\right],(2.9)$

${\left[{\widehat{E}}^x\left(x_j\right)\right]}^{\text{′}}|M,\overrightarrow{k}\rangle =\frac{{\ell }_{\text{Pl}}^2}{\delta x}\hspace{0.17em}\text{Int}\left[\frac{{\left(x_j+\delta x\right)}^2-x_j^2}{{\ell }_{\text{Pl}}^2}\right]|M,\overrightarrow{k}\rangle ,(2.10)$

and with $x_j=\delta x\hspace{0.17em}\left|j\right|+x_0$ and with $j\in \mathrm{\mathbb{Z}}$, where

$x_0=\sqrt{\text{Int}\left[{\left(\frac{2GM\text{Δ}}{4\pi }\right)}^{2/3}\right]}.(2.11)$

Besides, we will choose $\delta x={\ell }_{\text{Pl}}$ as in the first paper (Gambini et al., 2020a), although we will discuss the consequences of the limiting choices (for a uniform lattice) $\delta x=\frac{{\ell }_{\text{Pl}}^2}{2x_0}$ and $\delta x=x_0$. The different spacings $\delta x$ 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 $k_i$, where if one were to consider a superposition of states, small changes in $k_i$’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

${\widehat{g}}_{tt}\left(x_j\right)=-\left({\widehat{N}}^2-{\widehat{g}}_{xx}{\left[{\widehat{N}}^x\right]}^2\right),\hspace{1em}{\widehat{g}}_{tx}\left(x_j\right)={\widehat{g}}_{xx}\sqrt{{\left[{\widehat{N}}^x\right]}^2},$

${\widehat{g}}_{xx}\left(x_j\right)=\frac{{\left({\widehat{E}}^{\phi }\right)}^2}{{\widehat{E}}^x},\hspace{1em}{g}_{\theta \theta }\left(x_j\right)={\widehat{E}}^x,\hspace{1em}{g}_{\varphi \varphi }\left(x_j\right)={\widehat{E}}^x{\text{sin}}^2\theta .$

Let us restrict the study to the family of stationary slicings determined by the condition

$\widehat{{\text{sin}}^2\left({\overline{\rho }}_j{K}_{\phi }\left(x_j\right)\right)}={\left[\widehat{F}\left(x_j\right)\right]}^2(2.12)$

where some specific choices of $F\left(x_j\right)$ will be studied below. However, any viable choice must be such that $F\left(x\right)$ is real and $F\left(x\right)\in [-\mathrm{1,1}]$. Now, one can easily construct the operators corresponding to the components of the spacetime metric. They are given by

$\begin{array}{l}{\widehat{g}}_{tt}\left(x_j\right)=-\left(1-\frac{{\widehat{r}}_S}{\sqrt{{\widehat{E}}^x}}\right),\hspace{1em}{\widehat{g}}_{tx}\left(x_j\right)=-\sqrt{\frac{\pi }{\text{Δ}}}\frac{\left\{\widehat{{\left[E^x\right]}^{\text{′}}}\right\}\sqrt{{\widehat{F}}^2}}{\sqrt{1-\frac{{\widehat{r}}_S}{\sqrt{{\widehat{E}}^x}}+\frac{4\pi {\widehat{E}}^x{\widehat{F}}^2}{\text{Δ}}}},\\ {\widehat{g}}_{xx}\left(x_j\right)=\frac{{\left\{\widehat{{\left[E^x\right]}^{\text{′}}}\right\}}^2}{4{\widehat{E}}^x\left(1-\frac{{\widehat{r}}_S}{\sqrt{{\widehat{E}}^x}}+\frac{4\pi {\widehat{E}}^x{\widehat{F}}^2}{\text{Δ}}\right)},\hspace{1em}{\widehat{g}}_{\theta \theta }\left(x_j\right)={\widehat{E}}^x,\hspace{1em}{\widehat{g}}_{\varphi \varphi }\left(x_j\right)={\widehat{E}}^x{\text{sin}}^2\theta ,\end{array}$

with ${\widehat{r}}_S=2G\widehat{M}$. The effective metric is defined as $g_{\mu \nu }=\langle {\widehat{g}}_{\mu \nu }\rangle$, where the expectation value is computed on the extended physical state $|\psi \rangle$ 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 ${{\displaystyle {}^{\left(0\right)}g}}_{uv}\left(x_j\right)$. In addition, we will take a continuum limit that was discussed in our first paper. Namely, $x_j=\delta x\hspace{0.17em}\left|j\right|+x_0$ is replaced by $\left(\left|x\right|+x_0\right)$, with $x\in \mathrm{ℝ}$ and the integer part function $\text{Int}[\cdot ]$ will be dropped from all expressions. This continuum limit means that the effective geometries bounce when they reach $x=0$.

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 $\widehat{F}\left(x_j\right)={\widehat{F}}_1\left(x_j\right)$ where

${\widehat{F}}_1\left(x_j\right)=\overline{\rho }\sqrt{\frac{{\widehat{r}}_S}{\sqrt{{\widehat{E}}^x}}}.(3.1)$

This choice is equivalent to a lapse operator $\widehat{N}\left(x_j\right)=\widehat{I}$. Besides, one can easily see that in the semiclassical limit $x_j\to x+x_0$ we have the function $F_1\left(x\right)<1$ for all $x\ne 0$, while $F_1(x=0)=1$. 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

$\begin{array}{l}{{\displaystyle {}^{\left(0\right)}g}}_{tt}\left(x\right)=-\left(1-\frac{r_S}{\left|x\right|+x_0}\right)\hspace{0.17em},\\ {{\displaystyle {}^{\left(0\right)}g}}_{tx}\left(x\right)=-\text{sign}\left(x\right)\sqrt{\frac{r_S}{\left|x\right|+x_0}}\left(1+\frac{\delta x}{2\left(\left|x\right|+x_0\right)}\right)\hspace{0.17em},\\ {{\displaystyle {}^{\left(0\right)}g}}_{xx}\left(x\right)={\left(1+\frac{\delta x}{2\left(\left|x\right|+x_0\right)}\right)}^2,\hspace{0.17em}\hspace{0.17em}{{\displaystyle {}^{\left(0\right)}g}}_{\theta \theta }\left(x\right)={\left(\left|x\right|+x_0\right)}^2,\hspace{0.17em}\hspace{0.17em}{{\displaystyle {}^{\left(0\right)}g}}_{\varphi \varphi }\left(x\right)={\left(\left|x\right|+x_0\right)}^2{\text{sin}}^2\theta .\end{array}(3.2)$

For this slicing, the low curvature regions occur when $F\left(x\right)\simeq 0$ or equivalently at $x\to \pm \mathrm{\infty }$. Concretely, at $x\to +\infty$ the effective metric approaches sufficiently fast a classical black hole metric in ingoing Painlevé-Gullstrand coordinates, while for $x\to -\infty$ 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 $F\left(x\right)=1$, namely, at $x=0$.

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 ${{\displaystyle {}^{\left(0\right)}g}}_{tt}\left(x\right)=0$ has two real solutions in x, corresponding to two classical black or white hole horizons, at $x_{BH}>0$ and $x_{WH}<0$. In the spacetime regions with $x>x_{BH}$ or $x<x_{WH}$, the surfaces $x=\text{const}$ are time-like, and correspond to untrapped regions. In the region right behind the black hole horizon, $x<x_{BH}$, $x=\text{const}$ hypersurfaces are space-like. This region is a trapped black hole interior. As we move toward the high curvature region, curvature is maximum at $x=0$. 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 $x=0$ to the white hole horizon $x=x_{WH}$. In all this region, $x=\text{const}$ hypersurfaces are still space-like. Once the white hole horizon $x=x_{WH}$ is crossed to the outside region, spacetime is untrapped again and $x=\text{const}$ hypersurfaces are again time-like.

FIGURE 1

FIGURE 1. Penrose diagram of the effective geometry determined by the slicing in Eq. 3.1. Black and green lines indicate low and high curvature regions, respectively. Continuous lines represent smooth regions while dotted lines are associated to a discrete geometry. Dashed lines indicate that the spacetime diagram continues up and down.

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

$dt\to dt+\frac{{{\displaystyle {}^{\left(0\right)}g}}_{tx}\left(x\right)}{{{\displaystyle {}^{\left(0\right)}g}}_{tt}\left(x\right)}dx(3.3)$

This transformation amounts to the change

${{\displaystyle {}^{\left(0\right)}g}}_{xx}\left(x\right)\to {{\displaystyle {}^{\left(0\right)}\tilde{g}}}_{xx}\left(x\right)=\frac{{\left(1+\frac{\delta x}{2\left(\left|x\right|+x_0\right)}\right)}^2}{\left(1-\frac{r_S}{\left|x\right|+x_0}\right)},\hspace{1em}{{\displaystyle {}^{\left(0\right)}g}}_{tx}\left(x\right)\to {{\displaystyle {}^{\left(0\right)}\tilde{g}}}_{tx}\left(x\right)=0,(3.4)$

while all other components remain as

${{\displaystyle {}^{\left(0\right)}g}}_{tt}\left(x\right)\to {{\displaystyle {}^{\left(0\right)}\tilde{g}}}_{tt}\left(x\right)=-(1-\frac{r_S}{\left|x\right|+x_0}),(3.5)$

${{\displaystyle {}^{\left(00\right)}g}}_{\theta \theta }\left(x\right)\to {{\displaystyle {}^{\left(00\right)}\tilde{g}}}_{\theta \theta }\left(x\right)={\left(\right|x|+x_0)}^2,\hspace{0.17em}\hspace{0.17em}{{\displaystyle {}^{\left(00\right)}\tilde{g}}}_{\phi \phi }\left(x\right)\to {{\displaystyle {}^{\left(00\right)}\tilde{g}}}_{\phi \phi }\left(x\right)={\left(\right|x|+x_0)}^2\text{sin}\theta .(3.6)$

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 $x\simeq x_0$ 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

FIGURE 2. The values of the $tt$ component of the metric and the inverse of $xx$ for the metric in diagonal form. When the first vanishes, horizons arise. Notice that in the region between the two horizons the discreteness is significant as represented in the separation of the dots (although in the plot we do not show all the points in the lattice but only one out of fifty).

We have also studied the effective stress-energy tensor that encodes the main deviations from the classical theory. It is defined as

$T_{\mu \nu }:=\frac{1}{8\pi G}{G}_{\mu \nu },(3.7)$

where $G_{\mu \nu }$ is the Einstein tensor. $T_{\mu \nu }$ is characterized by the effective energy density ρ and radial and tangential pressures densities, $p_x$ and $p_{\left|\right|}$, respectively. They are defined by means of

${\rho }^{ext}:=T_{\mu \nu }\frac{X^{\mu }{X}^{\nu }}{X^{\rho }{X}_{\rho }},(3.8)$

$p_x^{ext}:=T_{\mu \nu }\frac{r^{\mu }{r}^{\nu }}{r^{\rho }{r}_{\rho }},(3.9)$

and

$p_{\left|\right|}^{ext}:=T_{\mu \nu }\frac{{\theta }^{\mu }{\theta }^{\nu }}{{\theta }^{\rho }{\theta }_{\rho }},(3.10)$

where $X^{\mu }$ is the Killing vector field that is time-like in the regions in which $x=\text{const}$ hypersurfaces are time-like. $r^{\mu }$ and ${\theta }^{\mu }$ are the vector fields pointing in the radial and θ-angular directions, respectively. When the Killing vector field $X^{\mu }$ is space-like, namely, in the regions in which $x=\text{const}$ hypersurfaces are space-like, $r^{\mu }$ becomes time-like. Therefore,

${\rho }^{int}:=T_{\mu \nu }\frac{r^{\mu }{r}^{\nu }}{r^{\rho }{r}_{\rho }},(3.11)$

$p_x^{int}:=T_{\mu \nu }\frac{X^{\mu }{X}^{\nu }}{X^{\rho }{X}_{\rho }},(3.12)$

while $p_{\left|\right|}^{int}=p_{\left|\right|}^{ext}$ since ${\theta }^{\mu }$ 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 $T_{\mu }^{\nu }$ (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 $T_{\mu \nu }$, or equivalently, the components of the Einstein tensor (up to a factor $\left(8\pi G\right)$) for the choice $\delta x={\ell }_{\text{Pl}}$. From them it is easy to extract the energy densities and pressures in each region of these effective space-times.

FIGURE 3

FIGURE 3. The stress energy tensor of the effective metric ${{\displaystyle {}^{\left(0\right)}\tilde{g}}}_{\mu v}\left(x\right)$. This plot corresponds to $\delta x={\ell }_{\text{Pl}}$, namely, $s=1$.

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 $r_S\gg {\ell }_{\text{Pl}}$. Actually, their value depend on the choice of spacing $\delta x$ of the uniform lattice in the radial direction. For instance, for $\delta x=x_0{\left(\frac{{\ell }_{\text{Pl}}}{x_0}\right)}^s$ with $s=\mathrm{0,1,2}$, one can see that²

$\begin{array}{l}{\rho }^{int}(x=0)=\frac{2\pi }{\text{Δ}}\times \mathcal{O}\left({\left[\frac{\text{Δ}}{2\pi r_S}\right]}^{s/3+2/3}\right),\\ p_x^{int}(x=0)=-\frac{2\pi }{\text{Δ}}\times \mathcal{O}\left({\left[\frac{\text{Δ}}{2\pi r_S}\right]}^{s/3}\right),\\ p_{\left|\right|}^{int}(x=0)=-\frac{2\pi }{\text{Δ}}\times \mathcal{O}\left({\left[\frac{\text{Δ}}{2\pi r_S}\right]}^{s/3}\right)\end{array}(3.13)$

Let us note that in the most quantum region,

${\omega }_x(x=0)=\frac{p_x^{int}(x=0)}{{\rho }^{int}(x=0)}=-\mathcal{O}\left({\left[\frac{2\pi r_S}{\text{Δ}}\right]}^{2/3}\right),\hspace{1em}{\omega }_{\left|\right|}(x=0)=\frac{p_{\left|\right|}^{int}(x=0)}{{\rho }^{int}(x=0)}=-\mathcal{O}\left({\left[\frac{2\pi r_S}{\text{Δ}}\right]}^{2/3}\right).(3.14)$

As we see, at the transition surface, the effective stress-energy tensor does not violate the strong energy condition since ${\rho }^{int}(x=0)\ge 0$. However, it does actually violate the dominant energy condition. Since the dominant energy condition implies that $\left|{\omega }_x\right|\le 1$ and $\left|{\omega }_{\left|\right|}\right|\le 1$, we conclude that this condition is violated since both $\left|{\omega }_x(x=0)\right|$ and $\left|{\omega }_{\left|\right|}(x=0)\right|$ at the transition quantum spacetime blow up in the limit $r_S\gg {\ell }_{\text{Pl}}$.

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 $\text{Δ}$ 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 $O\left(\text{Δ}{r}_S^2/x^2\right)$ 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 $O\left(\text{Δ}{r}_S^2/x_0^2\right)$. 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 $x=\text{const}$ 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 ${\mathrm{ℐ}}_{-}$ 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 $K_{\phi }\left(x_j\right)$. 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 $T^3$ Gowdy cosmologies with local rotational symmetry (de Blas et al., 2017).

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.

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.

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.

Footnotes

¹In Ref (Gambini et al., 2020a). for the shift we adopted the regularization $K_{\phi }\left(x_j\right)\to \text{sin}\left(2{\overline{\rho }}_j{K}_{\phi }\left(x_j\right)\right)/2{\overline{\rho }}_j$, 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 ${\nu }_j$ of the kinematical spin networks as it was discussed in Ref. (Gambini et al., 2020a).

²The choices of $\delta x$ shown here correspond to the maximum allowed uniform discretization if $s=0$, while $s=2$ gives the finest uniform refinement. $s=1$ is an intermediate choice.

References

Alesci, E., Bahrami, S., and Pranzetti, D. (2018). Quantum Evolution of Black Hole Initial Data Sets: Foundations. Phys. Rev. D. 98, 046014. doi:10.1103/physrevd.98.046014

CrossRef Full Text | Google Scholar

Alesci, E., Bahrami, S., and Pranzetti, D. (2019). Quantum Evolution of Black Hole Initial Data Sets: Foundations. Phys. Lett. B. 797, 134908. doi:10.1103/physrevd.98.046014

CrossRef Full Text | Google Scholar

Ashtekar, A., Olmedo, J., and Singh, P. (2018). Quantum Transfiguration of Kruskal Black Holes. Phys. Rev. Lett. 121, 241301. doi:10.1103/physrevlett.121.241301

PubMed Abstract | CrossRef Full Text | Google Scholar

Ashtekar, A., and Singh, P. (2011). Loop Quantum Cosmology: a Status Report. Class. Quan. Grav. 28, 213001. doi:10.1088/0264-9381/28/21/213001

CrossRef Full Text | Google Scholar

Assanioussi, M., Dapor, A., and Liegener, K. (2020). Perspectives on the Dynamics in a Loop Quantum Gravity Effective Description of Black Hole Interiors. Phys. Rev. D. 101, 026002. doi:10.1103/physrevd.101.026002

CrossRef Full Text | Google Scholar

Ben Achour, J., Lamy, F., Liu, H., and Noui, K. (2018). Polymer Schwarzschild Black Hole: An Effective Metric. EPL. 123 (2), 20006. doi:10.1209/0295-5075/123/20006

CrossRef Full Text | Google Scholar

Bodendorfer, N., Mele, F. M., and Münch, J. (1912). arXiv, 00774.

Boehmer, C. G., and Vandersloot, K. (2007). Spherically Symmetric Loop Quantum Gravity: Analysis of Improved Dynamics. Phys. Rev. D76, 1004030. doi:10.1103/PhysRevD.76.104030

Google Scholar

Bojowald, M., Brahma, S., and Reyes, J. D. (2015). Covariance in Models of Loop Quantum Gravity: Spherical Symmetry. Phys. Rev. D. 92 (4), 045043. doi:10.1103/PhysRevD.92.045043

CrossRef Full Text | Google Scholar

Campiglia, M., Gambini, R., and Pullin, J. (2008). Loop Quantization of Spherically Symmetric Midi‐superspaces : the interior Problem. AIP Conf. Proc. 977, 52–63. doi:10.1063/1.2902798

CrossRef Full Text | Google Scholar

Cho, I., and Kim, H.-C. (2019). Simple Black Holes with Anisotropic Fluid. Chin. Phys. C. 43, 025101. doi:10.1088/1674-1137/43/2/025101

CrossRef Full Text | Google Scholar

Cortez, J., Cuervo, W., Morales-Técotl, H. A., and Ruelas, J. C. (2017). Effective Loop Quantum Geometry of SchwarzsChild Interior. Phys. Rev. D. 95, 064041. doi:10.1103/physrevd.95.064041

CrossRef Full Text | Google Scholar

Dafermos, M., and Luk, J. (2017). The interior of dynamical vacuum black holes I: The C₀-stability of the Kerr Cauchy horizon. arxiv:1710.01722.

de Blas, D. M., Olmedo, J., and Pawłowski, T. (2017). Loop Quantization of the Gowdy Model with Local Rotational Symmetry. Phys. Rev. D. 96, 106016. doi:10.1103/physrevd.96.106016

CrossRef Full Text | Google Scholar

Gambini, R., Olmedo, J., and Pullin, J. (2014). Quantum Black Holes in Loop Quantum Gravity. Class. Quant. Grav. 31, 095009. doi:10.1088/0264-9381/31/9/095009

CrossRef Full Text | Google Scholar

Gambini, R., Olmedo, J., and Pullin, J. (2020a). Spherically Symmetric Loop Quantum Gravity: Analysis of Improved Dynamics. Class. Quan. Grav. 37, 205012. doi:10.1088/1361-6382/aba842

CrossRef Full Text | Google Scholar

Gambini, R., Olmedo, J., and Pullin, J. (2020b). Spherically Symmetric Loop Quantum Gravity: Analysis of Improved Dynamics. Class. Quant. Grav. 37, 205012. doi:10.1088/1361-6382/aba842

CrossRef Full Text | Google Scholar

Gambini, R., and Pullin, J. (2009). Diffeomorphism Invariance in Spherically Symmetric Loop Quantum Gravity. Adv. Sci. Lett. 2, 251–254. doi:10.1166/asl.2009.1032

CrossRef Full Text | Google Scholar

Gambini, R., and Pullin, J. (2013). Loop Quantization of the Schwarzschild Black Hole. Phys. Rev. Lett. 110, 211301. doi:10.1103/PhysRevLett.110.211301

PubMed Abstract | CrossRef Full Text | Google Scholar

Han, M., and Liu, H. (2020). Improved (Mu)over-bar-scheme Effective Dynamics of Full Loop Quantum Gravity. Phys. Rev. D. 102 (6), 064061. doi:10.1103/PhysRevD.102.064061

CrossRef Full Text | Google Scholar

Kastrup, H. A., and Thiemann, T. (1994). Spherically Symmetric Gravity as a Completely Integrable System. Phys. B. 425, 665–686. doi:10.1016/0550-3213(94)90293-3

CrossRef Full Text | Google Scholar

Kelly, J. G., Santacruz, R., and Wilson-Ewing, E. (2020). Effective Loop Quantum Gravity Framework for Vacuum Spherically Symmetric Spacetimes. Phys. Rev. D. 102, 106024. doi:10.1103/physrevd.102.106024

CrossRef Full Text | Google Scholar

Kuchar, K. V. (1994). Geometrodynamics of Schwarzschild Black Holes. Phys. Rev. D. 50, 3961–3981. doi:10.1103/PhysRevD.50.3961

PubMed Abstract | CrossRef Full Text | Google Scholar

Olmedo, J., Saini, S., and Singh, P. (2017). From Black Holes to white Holes: a Quantum Gravitational, Symmetric Bounce. Class. Quan. Grav. 34, 225011. doi:10.1088/1361-6382/aa8da8

CrossRef Full Text | Google Scholar

Sartini, F., and Geiller, M. (2021). Quantum dynamics of the black hole interior in loop quantum cosmology. Phys. Rev. D. 103, 066014. doi:10.1103/PhysRevD.103.066014

Tibrewala, R. (2012). Spherically Symmetric Einstein-Maxwell Theory and Loop Quantum Gravity Corrections. Quant. Grav. 29, 235012. doi:10.1088/0264-9381/29/23/235012

CrossRef Full Text | Google Scholar