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 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 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 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 
                        more » 
                        « less   
                    
                            
                            Large N algebras and generalized entropy
                        
                    
    
            A<sc>bstract</sc> We construct a Type II∞von Neumann algebra that describes the largeNphysics of single-trace operators in AdS/CFT in the microcanonical ensemble, where there is no need to include perturbative 1/Ncorrections. Using only the extrapolate dictionary, we show that the entropy of semiclassical states on this algebra is holographically dual to the generalized entropy of the black hole bifurcation surface. From a boundary perspective, this constitutes a derivation of a special case of the QES prescription without any use of Euclidean gravity or replicas; from a purely bulk perspective, it is a derivation of the quantum-corrected Bekenstein-Hawking formula as the entropy of an explicit algebra in theG →0 limit of Lorentzian effective field theory quantum gravity. In a limit where a black hole is first allowed to equilibrate and then is later potentially re-excited, we show that the generalized second law is a direct consequence of the monotonicity of the entropy of algebras under trace-preserving inclusions. Finally, by considering excitations that are separated by more than a scrambling time we construct a “free product” von Neumann algebra that describes the semiclassical physics of long wormholes supported by shocks. We compute Rényi entropies for this algebra and show that they are equal to a sum over saddles associated to quantum extremal surfaces in the wormhole. Surprisingly, however, the saddles associated to “bulge” quantum extremal surfaces contribute with a negative sign. 
        more » 
        « less   
        
    
                            - Award ID(s):
- 2207584
- PAR ID:
- 10499772
- Publisher / Repository:
- https://inspirehep.net/
- Date Published:
- Journal Name:
- Journal of High Energy Physics
- Volume:
- 2023
- Issue:
- 4
- ISSN:
- 1029-8479
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
- 
            
- 
            Trace inequalities are general techniques with many applications in quantum information theory, often replacing the classical functional calculus in noncommutative settings. The physics of quantum field theory and holography, however, motivates entropy inequalities in type III von Neumann algebras that lack a semifinite trace. The Haagerup and Kosaki Lp spaces enable re-expressing trace inequalities in non-tracial von Neumann algebras. In particular, we show this for the generalized Araki–Lieb–Thirring and Golden–Thompson inequalities from the work of Sutter et al. [Commun. Math. Phys. 352(1), 37 (2017)]. Then, using the Haagerup approximation method, we prove a general von Neumann algebra version of universal recovery map corrections to the data processing inequality for relative entropy. We also show subharmonicity of a logarithmic p-fidelity of recovery. Furthermore, we prove that the non-decrease of relative entropy is equivalent to the existence of an L1-isometry implementing the channel on both input states.more » « less
- 
            It has been shown that entropy differences between certain states of perturbative quantum gravity can be computed without specifying an ultraviolet completion. This is analogous to the situation in classical statistical mechanics, where entropy differences are defined but absolute entropy is not. Unlike in classical statistical mechanics, however, the entropy differences computed in perturbative quantum gravity do not have a clear physical interpretation. Here we construct a family of perturbative black hole states for which the entropy difference can be interpreted as a relative counting of states. Conceptually, this Letter begins with the algebra of mass fluctuations around a fixed black hole background, and points out that while this is a type I algebra, it is not a factor and therefore has no canonical definition of entropy. As in previous work, coupling the mass fluctuations to quantum matter embeds the mass algebra within a type II factor, in which entropy differences (but not absolute entropies) are well defined. It is then shown that for microcanonical wave functions of mass fluctuation, the type II entropy difference equals the logarithm of the dimension of the extra Hilbert space that is needed to map one microcanonical window to another using gauge-invariant unitaries. The Letter closes with comments on type II entropy difference in a more general class of states, where the von Neumann entropy difference does not have a physical interpretation, but “one-shot” entropy differences do. Published by the American Physical Society2024more » « less
- 
            A<sc>bstract</sc> We study 3d quantum gravity with two asymptotically anti-de Sitter regions, in particular, using its relation with coupled Alekseev-Shatashvili theories and Liouville theory. Expressions for the Hartle-Hawking state, thermal 2n-point functions, torus wormhole correlators and Wheeler-DeWitt wavefunctions in different bases are obtained using the ZZ boundary states in Liouville theory. Exact results in 2d Jackiw-Teitelboim (JT) gravity are uplifted to 3d gravity, with two copies of Liouville theory in 3d gravity playing a similar role as Schwarzian theory in JT gravity. The connection between 3d gravity and the Liouville ZZ boundary states are manifested by viewing BTZ black holes as Maldacena-Maoz wormholes, with the two wormhole boundaries glued along the ZZ boundaries. In this work, we also study the factorization problem of the Hartle-Hawking state in 3d gravity. With the relevant defect operator that imposes the necessary topological constraint for contractibility, the trace formula in gravity is modified in computing the entanglement entropy. This trace matches with the one from von Neumann algebra considerations, further reproducing the Bekenstein-Hawking area formula from entanglement entropy. Lastly, we propose a calculation for off-shell geometrical quantities that are responsible for the ramp behavior in the late time two-point functions, which follows from the understanding of the Liouville FZZT boundary states in the context of 3d gravity, and the identification between Verlinde loop operators in Liouville theory and “baby universe” operators in 3d gravity.more » « less
- 
            null (Ed.)A bstract Entanglement entropy, or von Neumann entropy, quantifies the amount of uncertainty of a quantum state. For quantum fields in curved space, entanglement entropy of the quantum field theory degrees of freedom is well-defined for a fixed background geometry. In this paper, we propose a generalization of the quantum field theory entanglement entropy by including dynamical gravity. The generalized quantity named effective entropy, and its Renyi entropy generalizations, are defined by analytic continuation of a replica calculation. The replicated theory is defined as a gravitational path integral with multiple copies of the original boundary conditions, with a co-dimension-2 brane at the boundary of region we are studying. We discuss different approaches to define the region in a gauge invariant way, and show that the effective entropy satisfies the quantum extremal surface formula. When the quantum fields carry a significant amount of entanglement, the quantum extremal surface can have a topology transition, after which an entanglement island region appears. Our result generalizes the Hubeny-Rangamani-Takayanagi formula of holographic entropy (with quantum corrections) to general geometries without asymptotic AdS boundary, and provides a more solid framework for addressing problems such as the Page curve of evaporating black holes in asymptotic flat spacetime. We apply the formula to two example systems, a closed two-dimensional universe and a four-dimensional maximally extended Schwarzchild black hole. We discuss the analog of the effective entropy in random tensor network models, which provides more concrete understanding of quantum information properties in general dynamical geometries. We show that, in absence of a large boundary like in AdS space case, it is essential to introduce ancilla that couples to the original system, in order for correctly characterizing quantum states and correlation functions in the random tensor network. Using the superdensity operator formalism, we study the system with ancilla and show how quantum information in the entanglement island can be reconstructed in a state-dependent and observer-dependent map. We study the closed universe (without spatial boundary) case and discuss how it is related to open universe.more » « less
 An official website of the United States government
An official website of the United States government 
				
			 
					 
					
 
                                    