Abstract
We have shown analytically that radiation from a collapsing shell which leads to a charged black hole, whose exterior is described by the Reissner–Nordström metric (and hence the background spacetime is non-globally hyperbolic), is processed with a unitary evolution. For the analysis, we have used the Wheeler–deWitt formalism which in turn gave rise to a Schrödinger-like wave equation. We showed the existence of unitarity by proving that the trace of the squared density matrix of the outgoing radiation, from a quantized massless scalar field, is unity and that the conservation of probability holds for the wave function of the system.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The information loss paradox, since its inception [1, 2], has been open to many diverse interpretations [3,4,5]. A traditional interpretation is: when a Schwarzschild black hole completely evaporates due to Hawking radiation the resultant spacetime becomes non-globally hyperbolic and hence quantum processes in such a spacetime would be non-unitary [6, 7]. This, as traditionally argued, would lead to information loss. On the contrary, we show that even in a non-globally hyperbolic spacetime, for instance in a Reissner–Nordström (RN) background, unitarity can be achieved. We do this by adopting the Wheeler–deWitt formalism as in Refs. [8, 9]. In quantum mechanics, the evolution of pure states to mixed states may be understood as a non-unitary evolution. Recently, it has been shown by Saini and Stojkovic [10], in the context of a Schwarzchild black hole (and hence in a globally hyperbolic spacetime), that the evolution of quantum fields is actually unitary! They achieved this by showing that the traces of the density matrix and its square are unity for both the initial and the final states with proper normalization. However, they accomplished this by numerical estimates (over a period of finite proper time) which depend on the accuracy of the method and the reliability has to be ascertained carefully.
The present work shows for the first time, analytically, that the process of black hole radiation, even in a non-globally hyperbolic background, is unitary. This is proved using the consideration of density matrix, as in Ref. [10], but analytically. So the result is far more robust now. We further show, from quite an independent calculation, that the conservation of probability holds good in this process confirming an unitary evolution! Thus the result is now confirmed from two independent lines of approach. Furthermore, this is worked out for a non-globally hyperbolic background unlike the globally hyperbolic scenario as investigated in Ref. [10].
We work with an RN metric that includes an electric charge. The Schwarzchild case, considered in Ref. [10], is recovered as a special case by putting the charge \(Q=0\). This generalization actually has important consequences. One can recover the extremal RN results by setting \(|Q|=M\), where M is the mass of the black hole. So, this work might have a profound significance in the context of string theory where an extremal RN black hole is a mainstay.
2 The model
The model we will be studying comprises an infinitesimally thin collapsing charged spherical shell, with background metric \(g_{\mu \nu }\) and a massless scalar field \(\varPhi \) whose dynamics we are interested in. The massless scalar field is assumed to couple to the gravitational field (originating from the presence of a non-trivial background metric), but not directly to the shell. We also have an asymptotic observer, sitting at the future null infinity, who is just there to register the outgoing flux with a detector and hence by assumption has very little or no interaction with “shell-metric-scalar” system. Also, the observer is assumed not to significantly affect the evolution of the system and similarly for the system vis-a-vis the observer. The action for the whole system is then given by [8],
where the first term is the Einstein-Hilbert term for the background metric \(g_{\mu \nu }\), the second term is the action for the massless scalar field, the third term is shell’s action in terms of its world-volume coordinates \(\xi ^a(a=0,1,2)\), the shell’s tension \(\sigma \) (or, shell’s proper energy density per unit surface area) and the shell’s induced world-volume metric \(\gamma _{ab}\), which is given by,
where \(X^\mu (\xi ^a)\) gives the location of the shell. The Roman indices run over the internal world-volume coordinates \(\xi ^a(a=0,1,2)\) while the Greek indices run over the usual spacetime coordinates.
Lastly, \(S_{obs}\) is the action for the observer.
3 Spacetime foliation-RN coordinates
We consider that the mass and the charge is confined in an infinitesimally thin shell, so that for an exterior observer the distribution is spherical, whereas the inside of the shell is empty given by the Minkowski metric. The exterior of the shell is described by a RN metric and its uniqueness is guaranteed by the charged version of Birkhoff’s theorem [12, 13]. Thus, we have,
for \(r>R(t)\), \(r<R(t)\) and \(r=R(t)\) respectively. r is simply the radial coordinate and so \(r=R(t)\) describes the shell. Furthermore, \(R:=R(t)\), t, T and \(\tau \) are the radius of the shell, time coordinate of the exterior observer, the time coordinate inside the shell and the proper time on the shell respectively. \(d\varOmega ^2_2\) is the usual \(S^2\) metric.
One important thing to note here is that since RN coordinates leads to a coordinate singularity, at \(R=R_H:=M+\sqrt{M^2-Q^2}\) (the event horizon), we might be in trouble using this for our analysis. However, note that for an asymptotic observer the event horizon is an infinitely red shifted surface. Hence, the observer can only notice the collapse of the shell approaching its event horizon in infinite time as per his time t. So, our analysis happens upto this limit which is relevant from an asymptotic viewpoint and RN coordinates are well behaved upto this limit, that is just outside the event horizon.
We consider timelike unit vectors \(u^\alpha := \frac{dx_{out}^\alpha }{d\tau }\) and \(v^\alpha := \frac{dx_{in}^\alpha }{d\tau }\), for \(d s^2_{out}\) and \(ds^2_{in}\) respectively. From their normalization, that is, \(u^\alpha u_\alpha =-1\) and \(v^\alpha v_\alpha =-1\), one obtains, at \(r=R(t)\), \(t_{\tau } = \frac{\sqrt{D+R_{\tau }^2}}{D}\), \(T_{\tau } = \sqrt{1+R_{\tau }^2}\) and \(T_t = \sqrt{D-(1-D)\frac{R_t^2}{D}}\). In the above expressions, a subscript indicates a differentiation w.r.t. that particular coordinate. \(x^\alpha _{out}\) and \(x^\alpha _{in}\) are the coordinates pertaining to \(ds^2_{out}\) and \(ds^2_{in}\) respectively. Also, \(D:=1-\frac{2M}{R(t)}+\frac{Q^2}{R(t)^2}\).
4 Mass of the shell
Using Israel’s formulation [14], the mass M of the shell is (see also [15]),
We show below that M is a constant of motion. So, there is no conflict with the fact that M is a constant of integration in the metric and is identified as the mass of the shell. Using the results given in [16], one can write,
Then, using \(eq^ns\) (6) and (7),
So, M is a constant of motion.
Interpretations of M can be looked at as follows. Suppose \(R_\tau =0\) in \(eq^n\) (6) (a static shell), then,
where the three terms represent the rest mass term, gravitational self-interaction term and the electrostatic self-interaction term respectively. If \(R_\tau \ne 0\), then the term with \(\sqrt{1+R_\tau ^2}\) in \(eq^n\) (6) is the kinetic energy term. To get more intuition out of this, let us look at M in the non-relativistic limit (where \(R_\tau<<1\)). By identifying constant mass \(M_0:=4\pi \sigma R^2\), we have from \(eq^n\) (6),
where \(p:=\frac{1}{2}M_0R_\tau ^2\) is the momentum of the particle with constant mass \(M_0\) moving in a gravitational and electrostatic potential. Here the second term represents the kinetic energy. One can clearly identify \(eq^n\) (9) as the Hamiltonian of a non-relativistic particle moving under the influence of a gravitational and electrostatic potential (see [16]). From relativistic perspectives, note that (see [9]),
which is the Hamiltonian of a relativistic particle with rest mass \(M_0\) moving in a gravitational and electrostatic potential.
Since, we have shown that M is a constant of motion, by the above interpretation of M, we have the following identification,
where \(H_{{ shell}}\) is the Hamiltonian of the shell to be treated classically.
5 Action for the shell
The form of the action, for the shell, is taken as
The corresponding Lagrangian yields the conjugate momentum, for the shell, as,
Then, the Hamiltonian is,
This matches with M as expressed in \(eq^n\) (6). So, the action in \(eq^n\) (12) is consistent [since, this action gives the correct \(\mathcal {H}_{{ shell}}\) as expressed in \(eq^n\) (11)]. In terms of time t, (using the expression for \(T_t\)) \(S_{{ shell}}\) becomes,
The conjugate momentum and Hamiltonian (in terms of t) are,
6 Incipient limit
The incipient limit, \(R\rightarrow R_H\), is the limit when the radius of the shell approaches the event horizon,
From \(eq^n\) (16) and \(eq^n\) (17) we note that, in the incipient limit,
where, \(\mu :=\sigma \left( 1-2\pi \sigma R_H+\frac{Q^2}{8\pi \sigma R_H^3}\right) \). So we have,
where \(q^2:=(D\varPi _{{ shell}})^2\) and \(m^2:=D(4\pi \mu R^2)^2\).
Equation (21) shows that \(\mathcal {H}_{{ shell}}\) is the Hamiltonian of a relativistic particle with a position dependent mass. So, that is how the shell behaves in the incipient limit. Let us now show that in this limit also, \(\mathcal {H}_{{ shell}}\) is a constant of motion. Since, \(\frac{d\mathcal {H}_{{ shell}}}{d\tau } =\frac{\partial \mathcal {H}_{{ shell}}}{\partial \tau }\), we have,
We can arrive at these expressions independently using an alternative approach (see Appendix)
Classically, we have from \(eq^n\) (22) and \(T_t\),
where solving \(eq^n\) (23) in terms of t will give us the classical behaviour of the shell as the event horizon is approached.
7 Non-extremal case
The horizons (outer and inner) of the charged shell are given by,
D can be written as,
In the incipient limit, \(D\rightarrow 0\) and hence, \(D_+\rightarrow 0\) (as R(t) approaches the event horizon \(R_H=R_+\)). Thus, for \( D_+\rightarrow 0\), we have \(D_-\rightarrow 1-\frac{R_-}{R_+}=:\left. D_-\right| _i\). Then, in this limit, \(R_t\approx \pm D=\pm D_+D_-\). Solving for R(t) we get [from \(eq^n\) (23) to \(eq^n\) (25)],
where the lower limit of integration w.r.t. t is \(t=0\) and the upper limit is \(t=t_f\).
As \(R_f\rightarrow R_+\) and \(t_f>0\) along with \(\left. D_-\right| _i>0\), we see that, \(t_f\rightarrow \infty \). So, the negative sign for R(t) describes a collapsing model in the incipient limit. Equation (26) also shows that for an asymptotic observer, the formation of the event horizon takes infinite time implying that the event horizon is an infinite red shifted surface, which matches with the classical result, as stated earlier while choosing the RN coordinates.
8 Action for the scalar field \(\varPhi \)
The action for the scalar field \(\varPhi \) is written as a sum of the actions,
where the limits of the integration w.r.t. r for \(S_{\varPhi })_{in}\) are from 0 to R while for \(S_{\varPhi })_{out}\) are from R to \(\infty \).
\(T_t\rightarrow D \ (upto \ leading \ order)\) as \(R\rightarrow R_H\) [from \(eq^n\) (24)]. So,
\(T_t\) vanishes faster than \(\left( 1-\frac{2M}{r} +\frac{Q^2}{r^2}\right) \) in the limit \(R\rightarrow R_H\). Thus, for coefficients of \(-(\partial _t\varPhi )^2\), the \(\frac{1}{T_t}\) term dominates and for coefficients of \((\partial _r\varPhi )^2\), the term which dominates is \(\left( 1-\frac{2M}{r}+\frac{Q^2}{r^2}\right) \). Thus, in the incipient limit,
9 Mode expansion for \(\varPhi \)
For a massless scalar field \(\varPhi \), one can easily check from its equation of motion, that is \(\partial ^2\varPhi = 0\), that for \(r<R(t)\) (from \(\left. S_{\varPhi }\right) _{in}\)),
where, \(T_t\), and hence its powers and derivatives w.r.t. t, are independent of r.
Similarly, for \(r>R(t)\), we have [from \(\left. S_{\varPhi }\right) _{out}\))],
From \(eq^n\) (29) and \(eq^n\) (30), we have the following mode expansion (due to the separability property of the above equations),
where \(a_k(t)\) are the modes and \(f_k(r)\) are real-valued smooth functions of r.
\(S_\varPhi \) in terms of modes \(a_k\) is (as \(R\rightarrow R_H\)),
with the following definitions for \(A_{kk^{'}}\) and \(B_{kk^{'}}\),
where, \(f_k^{'}(r) := \frac{\partial f_k(r)}{\partial r}\). Note that, both \(A_{kk^{'}}\) and \(B_{kk^{'}}\) are independent of r and t (as no R(t) appears in them).
The cojugate momenta, \(\pi _k\)s (to the modes \(a_k\)), are defined as,
where, \(\dot{a}_k := \frac{da_k}{dt}\), and from \(eq^n\) (32), we have (with \(\mathcal {L}_{\varPhi }\) defined as the Langrangian for \(\varPhi \)),
where, \(\mathbf {A}\) and \(\mathbf {B}\) are non-singular linear operators, such that, \(A_{kk^{'}}\in \mathbf {A}\) and \(B_{kk^{'}}\in \mathbf {B}\) in the chosen bases, say \(\lbrace \dot{a_k}\rbrace \) and \(\lbrace a_k\rbrace \) respectively. In the basis \(\lbrace a_k\rbrace \), \(\mathbf {a}\) is a column vector, such that, \(a_k\in \mathbf {a}\). One can express \(\dot{\mathbf {a}}\) in a similar way in the basis \(\lbrace \dot{a_k}\rbrace \).
For the Hamiltonian of \(\varPhi \), \(\mathcal {H}_{\varPhi }\), we get,
where \(\mathbf {\varPi }\) is a column vector, such that, \(\pi _k\in \mathbf {\varPi }\), in a chosen basis say \(\lbrace \pi _k\rbrace \) and \(\mathbf {A}^{-1}\) denotes the inverse of \(\mathbf {A}\).
\(\mathbf {B}\) and \(\mathbf {A}\) are real and symmetric infinite dimensional matrices and hence are self-adjoint. Thus, by the Spectral Theorem, there exists orthonormal bases of position space and momentum space consisting of respective eigenvectors of \(\mathbf {B}\) and \(\mathbf {A}\). Furthermore, all the eigenvalues are real. Say the bases for position space and momentum space are \(\lbrace b_k\rbrace \) and \(\lbrace \dot{b}_k\rbrace \) respectively (where, each \(b_k\) is a linear combination of the original basis vectors \(a_k\) and each \(\dot{b}_k\) is a linear combination of the original basis vectors \(\dot{a}_k\)).
10 The Schrödinger-like wave equation
If we analyze the equation for one eigenvector \(b\in \lbrace b_k\rbrace \), then our conclusion will be the same for all other eigenvectors (see [8]). So, we will solve the Schrödinger-like wave equation for a wave functional \(\varPsi (\lbrace b_k\rbrace ,t)\) (see Appendix), which by the above assumption of equivalence is now a wave function \(\psi (b,t)\). Hence, \(\psi (b,t)\equiv \varPsi (\lbrace b_k\rbrace ,t)\). Thus, using \(eq^n\) (37), we write the Schrödinger-like wave equation (for a single eigenvector b) as,
where, \(\alpha \) and \(\beta \) are the eigenvalues of \(\mathbf {A}\) and \(\mathbf {B}\) respectively.
Let us define a new time parameter,
and write \(eq^n\) (40) as
Define,
Then, \(eq^n\) (43) becomes,
where, we have chosen to set \(\eta (t=0)=0\). Observe that, \(eq^n\) (45) is a time dependent Simple Harmonic Oscillator (SHO) equation with \(\omega (\eta )\) as the SHO’s frequency.
In the incipient limit [using \(eq^n\) (25) and \(eq^n\) (23)],
Integrating \(eq^n\) (46) w.r.t. t one gets (as \(R\rightarrow R_H\)),
From \(eq^n\) (47) we see that at late time, \(1-\frac{2M}{R(t)}+\frac{Q^2}{R(t)^2} \sim e^{-\left. D_-\right| _it/R_+}\). Since we are interested in the incipient limit, that is, in late times of the collapsing process, we can choose the behaviour of R(t) at early times as per our convenience for simplifying calculations. So we choose both past and future behaviour of R(t) to be stationary. We can take the metric to be flat for all \(t\in (-\infty ,0)\). Stationarity in future can be achieved by taking a cut-off time \(t_f\) for the collapse and then allowing \(t_f\rightarrow \infty \), thus going into the continual collapse case till black hole formation. Thus,
The above choice of R(t) may seem problematic as \(\frac{dR}{dt}\) is discontinuous at 0 and \(t_f\), but Refs. [8, 17] show that the particle production by the collapsing shell happens in the range, \(0<t<t_f\) and in the \(t_f\rightarrow \infty \) regime, all the solutions obtained are well-behaved. So with the above considerations, the wavefunction \(\psi \) would capture the whole collapse scenario, and in the limit of \(t_f\rightarrow \infty \) or \(R(t)\rightarrow R_H\), black hole formation occurs.
We note that, at early times, \(t\in (-\infty ,0)\), the spacetime is Minkowski and hence the initial vacuum states at \(\mathcal {J^{-}}\) (past null infinity) are (Footnote 1) just the simple harmonic oscillator ground states (this can be seen from the form of \(eq^n\) (45), which with \(\eta =0\), is the SHO equation). Thus,
where \(\psi _0(b)\) represents the SHO ground state and \(\lbrace \psi _n(b)\rbrace \) will represent the SHO basis states at early times.
Equation (49) suggests that \(\omega _0\) defined in \(eq^n\) (44) is the ground state frequency associated with the initial vacuum state.
With the aid of \(eq^n\) (49), the exact solution to \(eq^n\) (45) is,
where \(\zeta \) is the solution of the equation,
with the following initial conditions,
and, \(\chi (\eta )\) is given by,
Equations of the form \(eq^n\) (45) have been extensively studied in Refs. [18,19,20,21,22].
From \(eq^n\) (44), \(eq^n\) (47) and \(eq^n\) (48), we have (for \(t>0\)),
Using \(eq^n\) (42) and \(eq^n\) (55),
where \(\varOmega (t)\) is defined to be the frequency w.r.t. time t.
We note that at early times (\(\mathcal {J^{-}}\)), the states are the initial vacuum states of SHO described by \(\psi _0(b)\). With time, the frequency of the states \(\varOmega (t)\) evolve [as per \(eq^n\) (56)] and more states get excited. Finally, when the observer measures them at \(\mathcal {J^{+}}\) (future null infinity), that is for some \(t\in (t_f,\infty )\), we have (following the evolution as per the Schrödinger picture [23]),
where \(c_n(t)\) are the probability amplitudes and the final SHO states \(\lbrace \phi _n(b)\rbrace \) are with the frequency \(\varOmega _f=\varOmega (t_f)\) (a constant), given by,
Here, \(H_n\) are the Hermite polynomials. Note that,
\(c_n\) can be computed from an overlap integral as (see Appendix),
where \(P:=1-\frac{i}{\varOmega _f}\left( \frac{\zeta _\eta }{\zeta } +\frac{i}{\zeta ^2}\right) \).
11 Unitarity from density matrix
We compute the density matrices, \(\hat{\rho }_{i}\) and \(\hat{\rho }_{f}\), for the initial (\(\mathcal {J^{-}}\)) and the final (\(\mathcal {J^{+}}\)) states respectively. We can write the \(\hat{\rho }_{i}\) and \(\hat{\rho }_{f}\) as (see [10, 11]),
where, \(l_n\) and \(c_n\) are the probability amplitudes appearing in the intial and final states respectively.
Since initially the system was in the SHO eigenstates \(\lbrace \psi _n\rbrace \) and the wavefunction is normalized, we have,
From \(eq^n\) (60), with \(\kappa := \left| 1-\frac{2}{P}\right| \), one has
P has been computed explicitly and used in \(eq^n\) (64) to obtain (see Appendix),
By \(eq^n\) (65), we have shown that the necessary condition for the unitary evolution of states holds. For the sufficiency, we compute \(Tr(\hat{\rho }_f^2)\). From \(eq^n\) (62),
Thus, by \(eq^n\) (66) we get,
Analytically, the idempotency of the final density matrix holds indicating a pure state to pure state transition.
12 Unitarity from conservation of probability
The probability current 4-vector \(J^\mu \) is defined as,
As b is an eigenfunction of \(\mathbf {B}\) which is independent of spatial coordinate \(x^i\), we conclude that \(\mathbf {J}=\mathbf {0}\). This suggests,
Writing \(t_{obs} = t\) (for the observer’s time coordinate), we have (from equation (42)),
So, we have shown analytically (\(eq^n\) 71), that probability is conserved in the system, in the incipient limit of black hole formation.
13 Extremal case
For the extremal case, \(|Q|=M\). From \(eq^n\) (23) for \(R_\pm =|Q|=M\) (the event horizon), we obtain the classical behaviour of the shell as,
Like \(eq^n\) (26), \(eq^n\) (72) also suggests that classically, the collapsing shell is infinitely red-shifted for an asymptotic observer.
For the extremal case, for \(R\rightarrow R_H\),
Following previous arguments, here one has,
The corresponding \(\omega (\eta (t))\), \(\varOmega (t)\) and \(\varOmega (t_f)\) are
The rest of the analysis is similar to the non-extremal case with the above frequencies replacing the previous ones in the corresponding expressions.
14 Conclusion
So it has now been shown analytically and comprehensively that the black hole radiation is processed with a unitary evolution. This is accomplished using both facets of unitarity, namely the density matrix consideration as well as the conservation of probability consideration.
The Schrödinger-like wave equations that we wrote look similar to a minisuperspace version of Wheeler–deWitt equations [24]. Interestingly, such equations have a present resurgence, in the context of issues regarding unitarity [25,26,27]. However, how the Wheeler–deWitt formalism brings leads to the preservation of unitariy in the models is an issue left to ponder.
Saini and Stojkovic [10] showed that black hole radiation is a unitary process, for a Schwarzchild black hole, from the density matrix consideration through numerical estimates. We worked with a more general metric, the RN metric, and the Schwarzchild results can be trivially recovered from this work.
The calculations on unitarity are all in the incipient limit, the limit of formation of the back hole. So it does not really take care of the complete black hole evaporation process. However, if unitarity is preserved in this limit, it should be valid at every instant of time. In fact, there is a claim by Wallace [3] that the information loss paradox is not related to the black hole evaporation, but rather to the formation and its existence, as addressed by the incipient limit (see also [4, 5, 28]).
In saying this, we further emphasize that, what we have shown in this paper is that black hole radiation is unitary even in a non-globally hyperbolic spacetime. This has significant implications to the resolution of the information loss paradox.
It should also be emphasized that this is the first time where unitarity of black hole radiation is checked for an RN spacetime, which is globally non-hyperbolic to start with Ref. [29], that is, even as a static spacetime.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: There is no data taken from any sources. The work is based on analytical calculations, and that is given in the main text, or in the appendix in the paper itself.]
Notes
The intuition behind identifying the states at \(\mathcal {J^{-}}\) and states with \(t\in (-\infty ,0)\) comes from the fact that the observer is at \(r\rightarrow \infty \) and at an early time at \(t\rightarrow -\infty \) which is \(\mathcal {J^{-}}\) and at late times he is at \(t\rightarrow \infty \) which is \(\mathcal {J^{+}}\).
References
S.W. Hawking, Commun. Math. Phys. 43, 199 (1975)
S.W. Hawking, Phys. Rev. D 14, 2460 (1976)
D. Wallace. arXiv:1710.03783 [gr-qc] (2017)
S.D. Mathur, Class. Quant. Grav. 26, 224001 (2009)
J. Polchinski. arXiv:1609.04036 [hep-th] (2016)
W.G. Unruh, R.M. Wald, Phys. Rev. D 52, 2176 (1995)
W.G. Unruh, R.M. Wald, Rep. Prog. Phys. 80, 092002 (2017)
T. Vachaspati, D. Stojkovic, L.M. Krauss, Phys. Rev. D 76, 024005 (2007)
T. Vachaspati, Class. Quant. Grav. 26, 215007 (2009)
A. Saini, D. Stojkovic, Phys. Rev. Lett. 114, 111301 (2015)
A. Saini, D. Stojkovic, Phys. Rev. D 97, 025020 (2018)
G. Birkhoff, R. Langer, Relativity and Modern Physics (Harvard University Press, Boston, 1923)
M. Heusler, Black Hole Uniqueness Theorems (Cambridge University Press, Cambridge, 1996)
W. Israel, Nuovo Cimento 44B, 1 (1966)
C.A. López, Phys. Rev. D 38, 3662 (1988)
J.E. Wang, E. Greenwood, D. Stojkovic, Phys. Rev. D 80, 124027 (2009)
E. Greenwood, JCAP 1001, 002 (2010)
C.M.A. Dantas, I.A. Pedrosa, B. Baseia, Phys. Rev. A 45, 1320 (1992)
H.R. Lewis, J. Math. Phys. 9, 1976 (1968)
H.R. Lewis, W.B. Riesenfeld, J. Math. Phys. 10, 1458 (1969)
I.A. Pedrosa, J. Math. Phys. 28, 2662 (1987)
M. Kolopanis, T. Vachaspati, Phys. Rev. D 87, 085041 (2013)
J.J. Sakurai, J. Napolitano, Modern Quantum Mechanics, 2nd edn. (Pearson Education Limited, 2014)
B.S. DeWitt, Phys. Rev. 160, 1113 (1967)
S. Pal, N. Banerjee, Phys. Rev. D 90, 104001 (2014)
S. Pal, N. Banerjee, Phys. Rev. D 91, 044042 (2015)
S. Pal, N. Banerjee, J. Math. Phys. 57, 122502 (2016)
D.N. Page, Phys. Rev. Lett. 71, 3743–3746 (1993)
P-H. Lambert, PoS Modave2013 001, (2013)
Acknowledgements
AD would like to thank the Department of Science and Technology, Government of India for providing the INSPIRE-SHE scholarship which helped immensely in this research work.
Author information
Authors and Affiliations
Corresponding author
Appendix
Appendix
1.1 Alternate motivation for \(S_{{ shell}}\)
Here we present a different action than \(S_{{ shell}}\). We will call it \(S_{new}\). We will further show that in the incipient limit it will give rise to \(\mathcal {H}_{{ shell}}\) and \(\varPi _{{ shell}}\). Since we know that the shell behaves like a relativistic particle, we define the new action to be,
Then,
Now in the incipient limit we have,
where, \(\mu :=\sigma \left( 1-2\pi \sigma R_H+\frac{Q^2}{8\pi \sigma R_H^3}\right) \). Observe that these are the exact same equations we had obtained before in this incipient limit.
1.2 Derivation of the Schrödinger-like wave equation from the Wheeler–deWitt equation
The Wheeler–deWitt equation for a closed universe to which our system belongs to is given by,
where \(H_{tot}\) is the total Hamiltonian given as,
and \(\varPsi _{tot}[X^\mu ,g_{\mu \nu },\varPhi ,\mathcal {O}]\) is the total wavefunctional with all the constituents of the system including the observer’s degrees of freedom denoted by \(\mathcal {O}\). Note that the wavefunctional \(\varPsi _{tot}\) is a functional only of the fields.
We make an assumption that any weak interactions between the observer and the shell-metric-scalar system is contained in \(H_{sys}\). Now this, along with the assumption that evolution of the shell-metric-scalar system and that the observer are independent of each other, we can argue that the total wavefunctional is separable and can be written as a sum over eigenstates as,
where k labels the eigenstates \(c_k\)’s are complex coefficients and \(t_{obs}\) is the observer’s time coordinate.
Based on the above assumptions, we can argue that the observer will have his/her own evolution independent of the dynamics of the system and hence, his/her wavefunction \(\varPsi ^k_{obs}(\mathcal {O},t_{obs})\) is assumed to satisfy the usual Schrödinger-like wave equation given as,
Now let us go back to \(eq^n\) (84), which implies,
Now integrating the above equation w.r.t. \(t_{obs}\) gives,
Above equation implies,
Then for arbitrary states \(\varPsi _k^{sys}\) and since \(c_k\)’s are independent of each other, \(eq^n\) (88) can only hold if the integrand is zero but since \(\varPsi _{obs}^k\) is not identically zero for all k. This implies,
Thus, the shell-metric-scalar system’s wavefunctional \(\varPsi _{sys}^k\) also satisfies its own Schrödinger-like wave equation. We can neglect the subscript sys and the superscript sys and would write \(eq^n\) (89) as,
where H is the Hamiltonian and \(\varPsi \) is the wavefunctional of the shell-metric-scalar system.
Following usual minisuperspace arguments, we can truncate the field degrees of freedom to a finite subset and could consider the minisuperspace version of the Wheeler–deWitt equation. This truncation is useful and in the process, we do not lose any useful inputs of the system as long as we keep all the field degrees of freedom important to the analysis. So, since the shell exhibits spherical symmetry by assumption, all fields are assumed to respect spherical symmetry which is a reasonable assumption. So, the shell is described only by the radial degree of freedom denoted by \(R(t_{obs})\).
Since we are working in the semi-classical regime, which means we are only interested in the quantum effects resulting from the quantization of the scalar field \(\varPhi \) in the presence of a classical background metric of the shell (where the shell is treated classically), without loss of generality, we can say that, \(\mathcal {H}_{\varPhi }\) (Hamiltonian for the massless scalar field) is the total Hamiltonian of the system, i.e., \(\mathcal {H}_{\varPhi }\equiv \mathcal {H}_{sys}\).
So for an asymptotic observer, \(eq^n\) (90) reduces to,
Note that in \(eq^n\) (91), \(\varPsi _\varPhi \) is a wavefunctional which we will be solving for, but this will be equivalent to solving a time-dependent Schrödinger equation for a wavefunction, \(\varPsi (\lbrace a_k\rbrace ,t)\equiv \varPsi _\varPhi \), which is dependent on a set of infinite variables \(\lbrace a_k\rbrace \) (the modes) and t. Furthermore, it belongs to an infinite dimensional Hilbert space.
1.3 Computation of \(c_n\)
Let us compute the \(c_n\)’s explicitly. We know that,
So, from the overlap integral we have,
To compute \(I_n\), let us consider the following generating function for the \(H_n(x)\),
Thus we have,
1.4 Explicit computation of \(Tr(\hat{\rho }_f)\)
We know that,
To compute P explicitly, let us give the solution of,
as,
where in terms of Bessel’s functions, we have,
where, \(u_0:=2\omega _0\sqrt{1-\eta }\).
Now, substituting the definition of P (\(eq^n\) (94)) in \(eq^n\) (97), we have (using Mathematica),
Now, as \(\varOmega _f\), \(\zeta \) and \(\zeta _\eta \) are real [as is evident from \(eq^ns\) (99) to (104)] , we get from \(eq^n\) (105),
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Das, A., Banerjee, N. Unitarity in Reissner–Nordström background: striding away from information loss. Eur. Phys. J. C 79, 475 (2019). https://doi.org/10.1140/epjc/s10052-019-6991-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-019-6991-1