# Black Hole Entropy in Induced Gravity and Information Loss

## Abstract

The basic assumption of the induced gravity approach is that Einstein theory is an effective, low energy-form of a quantum theory of constituents. In this approach the Bekenstein-Hawking entropy $`S^{BH}`$ of a black hole can be interpreted as a measure of the loss of information about constituents inside the black hole horizon. To be more exact, $`S^{BH}`$ is determined by quantum correlations between ”observable” and ”non-observable” states with positive and negative energy $``$, respectively. It is important that for non-minimally coupled constituents $``$ differs from the canonical Hamiltonian $``$. This explains why previous definitions of the entanglement entropy in terms of $``$ failed to reproduce $`S^{BH}`$.

The idea of induced gravity has been formulated first by A.D.Sakharov . Its basic assumption is that the dynamical equations for the gravitational field $`g_{\mu \nu }`$ are related to properties of the physical vacuum which has a microscopic structure like a usual medium. A suitable example for the comparison is a crystal lattice. The metric $`g_{\mu \nu }`$ plays a role similar to a macroscopic displacement in the crystal and gravitons are collective excitations of the microscopic constituents of the vacuum analogous to phonons. In the crystal, a deformation results in the change of the energy expressed in terms of displacements. In a similar way, the physical vacuum responses to variations of $`g_{\mu \nu }`$ by changing its energy due to polarization effects. These quantum effects can be described by the effective action $`\mathrm{\Gamma }[g_{\mu \nu }]`$ for the metric

$$e^{i\mathrm{\Gamma }[g_{\mu \nu }]}=[D\mathrm{\Phi }]e^{iI[\mathrm{\Phi },g_{\mu \nu }]}.$$
(1)   
The notation $`\mathrm{\Phi }`$ stands for the constituent fields, and $`I[\mathrm{\Phi },g_{\mu \nu }]`$ denotes their classical action. Sakharov’s idea is based on the observation that one of leading contributions to $`\mathrm{\Gamma }[g_{\mu \nu }]`$ has a form of the Einstein action.

Why the idea of induced gravity has something to do with the problem of the black hole entropy? The Bekenstein-Hawking entropy

$$S^{BH}=\frac{1}{4G}𝒜,$$
(2)   
where $`𝒜`$ is the area of the horizon and $`G`$ is the Newton constant, appears under analysis of the laws of black hole mechanics in classical Einstein theory. The induced gravity is endowed with a microscopic structure, constituents, which can be related naturally to degrees of freedom responsible for $`S^{BH}`$. As was first pointed out in , the mechanism which makes explanation of $`S^{BH}`$ in induced gravity possible is the quantum entanglement . The constituents in the black hole exterior are in the mixed state due to the presence of the horizon. This state is characterized by the entropy $`S`$ of entanglement. In a local field theory correlations between external and internal regions are restricted by the horizon surface, and so $`S=𝒜/l^2`$. The constant $`l`$ is the same ultraviolet cutoff which is required to make effective action (1) finite . Because the induced Newton constant $`G`$ in $`\mathrm{\Gamma }[g_{\mu \nu }]`$ is proportional to $`l^2`$ entropy $`S`$ is comparable to $`S^{BH}`$.

To understand whether $`S^{BH}`$ is a ”purebred” entanglement entropy one has to avoid the cutoff procedure and consider a theory which is free from the divergences. The Bekenstein-Hawking entropy is a pure low-energy quantity. It was suggested in  that the mechanism of generation of $`S^{BH}`$ is universal for the theories where gravity is completely induced by quantum effects, as in Sakharov’s approach or in string theory, and has ultraviolet finite induced Newton constant $`G`$. The last requirement makes the theory self-consistent and enables one to carry out the computations. The universality means that $`S^{BH}`$ may be understood without knowing details of quantum gravity theory  (see also  for a different realization of this idea).

The models which obey these requirements were constructed in . The constituents are chosen there as non-interacting scalar, spinor and vector fields. They have different masses comparable to the Planck mass $`m_{Pl}`$. The masses and other parameters obey certain constraints which provide cancellation of the leading (or all ) divergences in effective gravitational action (1). In the low-energy limit when curvature $`R`$ of the background is small as compared to $`m_{Pl}^2`$

$$\mathrm{\Gamma }[g_{\mu \nu }]\frac{1}{16\pi G}\sqrt{g}d^Dx(R2\mathrm{\Lambda }).$$
(3)   
The induced Newton constant $`G`$ and the cosmological constant $`\mathrm{\Lambda }`$ are the functions of parameters of the constituents and can be computed. In four dimensions one imposes further restrictions to eliminate the cosmological term. To study charged black holes one has to generalize Sakharov’s proposal and consider the induced Einstein-Maxwell theory (see the details in ).

All above models include bosonic constituents (scalars or vectors) with a positive non-minimal coupling to the background curvature. The presence of such couplings is unavoidable if one wants to eliminate the divergences in $`G`$. The Bekenstein-Hawking entropy of a non-extremal stationary black hole has the following form 

$$S^{BH}=\frac{1}{4G}𝒜=S𝒬,$$
(4)   
$$S=\text{Tr}\rho \mathrm{ln}\rho ,\rho =𝒩e^{\beta _H}.$$
(5)   
Here $`S`$ is the thermal entropy of the constituents propagating in Planck region near the black hole horizon and $`\beta _H^1=\frac{\kappa }{2\pi }`$ is the Hawking temperature. The operator $``$ is the canonical Hamiltonian which generates translations along the Killing vector field $`\xi `$ ($`\xi ^2=0`$ on the horizon). Quantity $`𝒬`$ is the vacuum average of an operator which has the form of the integral over the horizon $`\mathrm{\Sigma }`$. $`𝒬`$ is determined only by the non-minimal couplings of the constituents and it can be interpreted as a Noether charge on $`\mathrm{\Sigma }`$ defined with respect to field $`\xi `$ . Formula (4) is absolutely universal in a sense it depends neither on the choice of constituent species nor on a type of a black hole. The entropy $`S`$ is always positive and divergent and so does $`𝒬`$ in the considered models. Subtracting $`𝒬`$ in (4) compensates divergences of $`S`$ rendering $`S^{BH}`$ finite. Thus, non-minimal couplings provide both finiteness of the effective action and of $`S^{BH}`$.

The physical meaning of $`𝒬`$ becomes evident if we analyze the classical energy of the non-minimally coupled constituents defined on a space-like hypersurface $`\mathrm{\Sigma }_t`$ which crosses the bifurcation surface $`\mathrm{\Sigma }`$

$$=_{\mathrm{\Sigma }_t}T_{\mu \nu }\xi ^\mu 𝑑\mathrm{\Sigma }^\nu .$$
(6)   
Here $`T_{\mu \nu }`$ is the stress-energy tensor and $`d\mathrm{\Sigma }^\mu `$ is the future-directed vector of the volume element on $`\mathrm{\Sigma }_t`$. For the fields in black hole exterior 

$$=\frac{\kappa }{2\pi }𝒬,$$
(7)   
where $``$ is the canonical Hamiltonian. The difference between the two energies is a total divergence which results in boundary terms. $`𝒬`$ is the contribution from the horizon $`\mathrm{\Sigma }`$ which is an internal boundary of $`\mathrm{\Sigma }_t`$. The energies $``$ and $``$ play different roles: $``$ is the generator of canonical transformations along $`\xi `$, while $``$ is the observable energy which is related to thermodynamical properties of a black hole. Indeed, there is the classical variational formula 

$$\delta M=\frac{\kappa }{2\pi }\delta S^{BH}+\delta $$
(8)   
which relates the change of the black hole mass at infinity $`\delta M`$ to the change of the entropy $`\delta S^{BH}`$ under a small perturbation of the energy $`\delta `$ of matter fields.

Suppose now that the total mass $`M`$ is fixed. Then, the change of $`S^{BH}`$ is completely determined by change of the energy $``$ in the black hole exterior. In classical processes the matter is falling down in the black hole. It results in decreasing of the energy $`\delta <0`$ and increasing of the black hole entropy $`S^{BH}`$. In quantum theory $`S^{BH}`$ may decrease due to the Hawking effect. In such a process $`\delta >0`$, and a black hole absorbs a negative energy.

We can now make two observations. First, according to (5), changes of $`S`$ are related to changes of the canonical energy $``$, and because $``$ and $``$ are different, the two entropies, $`S^{BH}`$ and $`S`$, should be different as well. Second, the conclusion whether a physical process results in a loss of the information inside the black hole can be made by analyzing the sign of the energy change $`\delta `$. Note that using for this purpose the sign of the canonical energy would result in a mistake. For instance, if $`𝒬>0`$, there may be classical processes where $``$ and $`S^{BH}`$ increase simultaneously, see (7), (8).

It is known that the thermal entropy $`S`$, defined in (5), can be interpreted as an entanglement entropy . This is true when one is interested in correlations (entanglement) of states characterized by the certain canonical energy $``$. However, to describe a real information loss one has to study correlations between observable and non-observable states which have positive and negative energy $``$, respectively.

Consider a pair creation process near the black hole horizon. The antiparticle of a pair carries a negative energy. It tunnels through the horizon and becomes non-observable. As a consequence, the observed particle is in a mixed state. The entropy which describes the corresponding information loss can be defined by the Shannon formula

$$S^I=\underset{}{}p()\mathrm{ln}p().$$
(9)   
Here $`p()`$ is the probability to observe a particle with the certain energy $``$. Obviously, $`p()`$ coincides with the probability for the antiparticle with energy $``$ to tunnel through the horizon. This process can be also described in another form. Consider a Kruskal extension of the black hole space-time near the horizon. Then the surface $`\mathrm{\Sigma }_t`$ consists of the two parts, $`\mathrm{\Sigma }_t^R`$ (right) and $`\mathrm{\Sigma }_t^L`$ (left), which are separated by the bifurcation surface $`\mathrm{\Sigma }`$. The creation of a pair is equivalent to quantum tunneling of a particle moving backward in time from the left region to the right. The corresponding amplitude is the evolution operator from $`\mathrm{\Sigma }_t^L`$ to $`\mathrm{\Sigma }_t^R`$ in Euclidean time $`\tau `$. In the Hartle-Hawking vacuum $`\tau =\beta _H/2`$.

How to describe the tunneling probability? First, note that the energy has a form of the Hamiltonian modified by a ”perturbation” $`𝒬`$. Such a modified Hamiltonian may be considered as an operator which generates evolution of states having certain energies. Then, the operator

$$T=e^{\frac{\beta _H}{2}}$$
(10)   
corresponds to the tunneling transition. Second, because a particle on $`\mathrm{\Sigma }_t^L`$ is moving backward in time, $``$ should be defined by (6) with the past-oriented Killing field $`\xi `$. It means that relation (7) should be written now as

$$=+\frac{\kappa }{2\pi }𝒬,$$
(11)   
if one leaves for $`𝒬`$ the former expression. (So $`𝒬`$ is positive for positive non-minimal couplings.) The same relation is true for the energy and Hamiltonian of an antiparticle tunneling from $`\mathrm{\Sigma }_R^t`$ to $`\mathrm{\Sigma }_L^t`$.

The probability $`p()`$ which involves transitions from all states in one region to a state with the energy $``$ in the other region is

$$p()=𝒩|e^{(\beta _H+𝒬)}|.$$
(12)   
Here $`𝒬`$ is the operator which corresponds to the Noether charge. We now have to calculate $`S^I`$ by using (9) and (12). To this aim it is convenient to introduce a free energy $`F^I(\beta )`$

$$e^{\beta F^I(\beta )}=\text{Tr}e^\beta ,$$
(13)   
which makes it possible to rewrite $`S^I`$ as

$$S^I=\beta ^2_\beta F^I(\beta )|_{\beta =\beta _H}.$$
(14)   
Our last step is to calculate $`F^I(\beta )`$. This can be done by using our interpretation of $`𝒬`$ as a perturbation. Then in the linear order

$$F^I(\beta )=F(\beta )+\beta _H^1𝒬_\beta ,$$
(15)   
$$e^{\beta F(\beta )}=\text{Tr}e^\beta ,$$
(16)   
$$𝒬_\beta =\text{Tr}(𝒬e^\beta )e^{\beta F(\beta )}.$$
(17)   
Here $`F(\beta )`$ is the standard free energy for a canonical ensemble at the temperature $`\beta ^1`$. $`𝒬_\beta `$ is the thermal average of the Noether charge in this canonical ensemble. As has been argued in , this average is determined by contributions of particles with negligibly small canonical energies $`\omega `$ (the soft modes). The density $`n_\omega `$ of Bose particles at the temperature $`\beta ^1`$ is singular and proportional to the temperature, $`n_\omega (\beta \omega )^1`$. Thus,

$$𝒬_\beta =\frac{\beta _H}{\beta }𝒬_{\beta _H},$$
(18)   
where $`𝒬_{\beta _H}𝒬`$ is the average in the Hartle-Hawking vacuum. By using (14), (15) and (16) one finds

$$S^I=\beta ^2_\beta F(\beta )|_{\beta =\beta _H}𝒬_{\beta _H}=SQ.$$
(19)   
Here we used the fact that $`F(\beta )`$ determines thermal entropy (5). Equation (19) proves our interpretation of the Bekenstein-Hawking entropy in induced gravity (4) as the entropy related to the information loss.

We conclude with the several remarks.

1) In induced gravity $`S^{BH}`$ counts only the states of the constituents located near the horizon, the ”surface states”. Thus, as was argued in , $`S^{BH}`$ should not be related to internal states of the black hole which cannot influence outside.

2) Our arguments are applied to the entropy of Rindler observers and give for this quantity the finite value $`(4G)^1`$ per unit surface.

3) It was suggested in  to relate $`S^{BH}`$ to degeneracy of the spectrum of the mass of the black hole $`M_H`$ measured at the horizon. If mass at infinity $`M`$ is fixed, change of $`M_H`$ coincides with the energy of an antiparticle absorbed by a black hole in the course of the pair creation process. According to arguments above, this energy has to be determined by (11) and it is the operator that appears in density matrix (12). Thus, our present interpretation of $`S^{BH}`$ agrees with .

4) Density matrix (12) differs from the canonical density matrix by insertion of the operator $`𝒬`$ on $`\mathrm{\Sigma }`$. This insertion changes only the distribution of the soft modes. The divergence of the thermal entropy $`S`$ in induced gravity can be related to the degeneracy of states with respect to soft modes  because adding a soft mode does not change the canonical energy of the state. The insertion of $`𝒬`$ in (12) removes this degeneracy. At the same time averages of operators located outside $`\mathrm{\Sigma }`$ do not depend on this insertion.

Acknowledgements: This work is supported in part by the RFBR grant N 99-02-18146.