Search for: All records

We propose a new formula for the entropy of a dynamical black hole—valid to leading order for perturbations off of a stationary black hole background—in an arbitrary classical diffeomorphism covariant Lagrangian theory of gravity in $n$dimensions. In stationary eras, this formula agrees with the usual Noether charge formula, but in nonstationary eras, we obtain a nontrivial correction term. In particular, in general relativity, our formula for the entropy of a dynamical black hole differs from the standard Bekenstein-Hawking formula $A/4$by a term involving the integral of the expansion of the null generators of the horizon. We show that, to leading perturbative order, our dynamical entropy in general relativity is equal to $1/4$of the area of the apparent horizon. Our formula for entropy in a general theory of gravity is obtained from the requirement that a “local physical process version” of the first law of black hole thermodynamics hold for perturbations of a stationary black hole. It follows immediately that for first order perturbations sourced by external matter that satisfies the null energy condition, our entropy obeys the second law of black hole thermodynamics. For vacuum perturbations, the leading-order change in entropy occurs at second order in perturbation theory, and the second law is obeyed at leading order if and only if the modified canonical energy flux is positive (as is the case in general relativity but presumably would not hold in more general theories of gravity). Our formula for the entropy of a dynamical black hole differs from a formula proposed independently by Dong and by Wall. We obtain the general relationship between their formula and ours. We then consider the generalized second law in semiclassical gravity for first order perturbations of a stationary black hole. We show that the validity of the quantum null energy condition (QNEC) on a Killing horizon is equivalent to the generalized second law using our notion of black hole entropy but using a modified notion of von Neumann entropy for matter. On the other hand, the generalized second law for the Dong-Wall entropy is equivalent to an integrated version of QNEC, using the unmodified von Neumann entropy for the entropy of matter. Published by the American Physical Society2024 

Abstract In classical general relativity, the values of fields on spacetime are uniquely determined by their values at an initial time within the domain of dependence of this initial data surface. However, it may occur that the spacetime under consideration extends beyond this domain of dependence, and fields, therefore, are not entirely determined by their initial data. This occurs, for example, in the well-known (maximally) extended Reissner–Nordström or Reissner–Nordström–deSitter (RNdS) spacetimes. The boundary of the region determined by the initial data is called the ‘Cauchy horizon.’ It is located inside the black hole in these spacetimes. The strong cosmic censorship conjecture asserts that the Cauchy horizon does not, in fact, exist in practice because the slightest perturbation (of the metric itself or the matter fields) will become singular there in a sufficiently catastrophic way that solutions cannot be extended beyond the Cauchy horizon. Thus, if strong cosmic censorship holds, the Cauchy horizon will be converted into a ‘final singularity,’ and determinism will hold. Recently, however, it has been found that, classically this is not the case in RNdS spacetimes in a certain range of mass, charge, and cosmological constant. In this paper, we consider a quantum scalar field in RNdS spacetime and show that quantum theory comes to the rescue of strong cosmic censorship. We find that for any state that is nonsingular (i.e., Hadamard) within the domain of dependence, the expected stress-tensor blows up with affine parameter,V, along a radial null geodesic transverse to the Cauchy horizon asT_VV∼C/V²withCindependent of the state andC≠ 0 generically in RNdS spacetimes. This divergence is stronger than in the classical theory and should be sufficient to convert the Cauchy horizon into a singularity through which the spacetime cannot be extended as a (weak) solution of the semiclassical Einstein equation. This behavior is expected to be quite general, although it is possible to haveC= 0 in certain special cases, such as the BTZ black hole.