Perturbative semiclassical entropy of dynamical black holes

This paper demonstrates that by incorporating gravitational constraints and a boundary charge into the algebra of observables on a dynamical black hole horizon, one can construct a Type-$\text{II}_{\infty}$ von Neumann factor whose entropy satisfies a first law of thermodynamics and is directly related to the Hollands-Wald-Zhang entropy of perturbed black holes via horizon and null infinity fluxes.

The Gist

The Big Picture: Why Do We Care?

Imagine a black hole not just as a cosmic vacuum cleaner, but as a thermodynamic engine. For decades, physicists have known that black holes have a temperature and an entropy (a measure of disorder or hidden information), much like a hot cup of coffee. This is the famous "Black Hole Thermodynamics."

However, there's a problem. The standard formulas for black hole entropy work great for black holes that are sitting still (static). But what happens when a black hole is dynamical—when it's wobbling, shaking, or swallowing matter? The standard formulas get messy and sometimes stop making sense mathematically.

This paper tries to fix that. The authors, Avinandan Mondal and Kartik Prabhu, want to calculate the entropy of a "wiggling" black hole using the rules of quantum mechanics. They want to prove that even when a black hole is changing, it still obeys the First Law of Thermodynamics (the idea that energy in equals energy out plus a change in entropy).

The Main Characters

1. The Black Hole (The Stage): They are looking at a black hole with a "bifurcate Killing horizon." Think of this as a perfectly symmetrical black hole with a "past" horizon and a "future" horizon meeting at a central point (the bifurcation surface). It's like a calm, symmetrical lake before a storm hits.
2. The Perturbations (The Storm): They introduce tiny ripples in the fabric of space-time (gravitational waves) falling into the black hole. These are the "perturbations."
3. The Observer (The Watcher): In quantum mechanics, you can't measure something without interacting with it. Usually, this is a person with a ruler. Here, the "observer" is a bit abstract: it's a gravitational charge (a specific value related to the black hole's energy) that acts like a clock or a reference point.

The Problem: The "Type-III" Mystery

In standard quantum field theory, if you try to calculate the entropy of a region of space (like the right side of a black hole's horizon), you run into a mathematical wall. The math says the entropy is infinite or undefined.

Imagine trying to count the number of grains of sand on a beach, but the beach keeps stretching out forever, and the grains keep multiplying the closer you look. You can't get a number. In physics terms, the algebra of observables in this region is a "Type-III factor." It's a mathematical object that doesn't have a "trace" (a way to sum things up to get a finite number).

The Analogy: It's like trying to weigh a cloud. You can't put it on a scale because it has no definite boundary or weight in the traditional sense.

The Solution: Dressing the Observables

To fix this, the authors use a clever trick called the Crossed Product Algebra.

Imagine you are trying to describe a dance. If you just watch the dancers (the gravitational waves), the motion looks chaotic and infinite. But, if you introduce a dancer's partner (the "observer" or the gravitational charge) and tie them together with a rope, you can describe their relative motion.

1. The "Dressed" Observable: They take the messy gravitational waves and "dress" them with the observer's charge. Now, instead of looking at the waves in isolation, they look at the waves relative to the observer.
2. The Magic Change: When you do this "dressing," the math changes from a "Type-III" (infinite/undefined) to a "Type-II" factor.
   • The Analogy: It's like putting a frame around that infinite beach. Suddenly, you can count the sand inside the frame. The math now allows for a finite, well-defined entropy.

The Result: A New Formula for Entropy

Once they have a well-defined entropy, they calculate it for a black hole that is being hit by gravitational waves. They find a beautiful result that looks like the First Law of Thermodynamics:

$$\text{Change in Entropy} = \text{Energy Flux} + \text{Observer Terms}$$

Here is what the formula actually means in plain English:

1. The HWZ Entropy: They connect their new quantum calculation to a previous idea by Hollands, Wald, and Zhang (HWZ). The HWZ entropy is like a "corrected area." Usually, black hole entropy is just the Area of the horizon divided by 4. But when the black hole is wiggling, you have to add a correction term based on how much the horizon is expanding or contracting.
2. The Flux Term: The authors show that the change in this entropy is directly related to the energy flowing through the horizon.
   • The Analogy: Imagine a bucket (the black hole) with a hole in the bottom. If you pour water (gravitational waves) into the bucket, the water level (entropy) rises. The amount it rises depends exactly on how much water you poured in.
3. The Observer's Contribution: There is a small term related to the "observer wavefunction." This is like the uncertainty in the observer's own clock. It adds a tiny bit of "noise" to the calculation, but it's a necessary part of the quantum picture.

Why Is This Important?

1. It Unifies Two Worlds: It bridges the gap between Classical General Relativity (big, heavy black holes) and Quantum Mechanics (tiny, fuzzy particles). It shows that the thermodynamic laws of black holes hold up even when you look at them through the lens of quantum gravity.
2. It Validates the "Physical Process" First Law: It proves that the idea that "entropy changes because energy flows in" isn't just a classical guess; it is a fundamental quantum truth.
3. It Solves the "Infinite" Problem: It provides a concrete mathematical recipe for how to calculate entropy in regions where it was previously thought to be impossible.

Summary in a Nutshell

The authors took a black hole that was shaking from gravitational waves. They realized that trying to measure its "disorder" (entropy) directly was like trying to weigh a cloud—it was mathematically impossible. So, they tied the cloud to a "watcher" (an observer charge). This trick turned the impossible math into a solvable puzzle.

The solution revealed that the black hole's entropy changes exactly in proportion to the energy of the waves falling into it, just like a thermometer rises when you add heat. This confirms that even in the chaotic, quantum world of a wiggling black hole, the laws of thermodynamics still hold true.

Technical Summary

1. Problem Statement

The paper addresses the challenge of defining and calculating the entropy of dynamical black holes within the framework of linearized (perturbative) quantum gravity.

• Context: While the Bekenstein-Hawking entropy ($A/4$) is well-established for stationary black holes, the entropy of dynamical black holes (those undergoing perturbations) is more complex. Previous works (Iyer-Wald, Wall, Hollands-Wald-Zhang) have proposed entropy prescriptions based on Noether charges and dynamical correction terms (specifically the Hollands-Wald-Zhang or HWZ entropy).
• The Gap: These classical prescriptions define entropy as an integral over a specific "cut" of the horizon. However, in quantum field theory (QFT) on curved spacetime, the algebra of observables restricted to a horizon region is typically a Type-III von Neumann factor. Type-III algebras lack a well-defined trace, meaning standard density matrices and von Neumann entropy are ill-defined.
• Goal: The authors aim to compute the von Neumann entropy of a perturbed quantum state of linearized gravity on the future horizon and demonstrate its relationship to the classical HWZ entropy, thereby establishing a thermodynamic first law for perturbative quantum gravity.

2. Methodology

The authors employ a combination of algebraic quantum field theory (AQFT), Tomita-Takesaki modular theory, and the crossed product construction to resolve the Type-III algebra issue.

A. Setup and Quantization

• Background: An asymptotically flat spacetime with a bifurcate Killing horizon ($H = H^+ \cup H^-$) generated by a Killing field $\xi^a$ with surface gravity $\kappa$.
• Perturbations: They consider linearized metric perturbations $\delta g_{ab}$ supported in the right wedge ($R$).
• Gauge Conditions: They impose gauge conditions such that the expansion $\vartheta$ vanishes to first order ($\delta \vartheta = 0$) and the shear $\delta \sigma_{AB}$ is the primary dynamical variable on the horizon.
• Algebra: The algebra of observables on the right future horizon ($H^+_R$), generated by smeared shear operators $\delta \sigma(s)$, is quantized. The vacuum state $\omega_0$ is a Gaussian Hadamard state which is a KMS state with respect to the Killing flow (inverse temperature $\beta = 2\pi/\kappa$).
• Type-III Factor: The resulting von Neumann algebra $\mathcal{A}(H^+_R, \omega_0)$ is a Type-III factor, rendering standard entropy undefined.

B. The Crossed Product Construction (Dressed Observables)

To define entropy, the authors introduce an "observer" degree of freedom to dress the observables, following the approach of Chandrasekaran et al. and Kudler-Flam et al.

• Constraint: They utilize the perturbative gravitational constraint relating the flux of gravitational radiation ($F_\xi$) to the boundary charges (HWZ entropy variations).
  $$C = X - F_\xi = 0$$
  Here, $X$ is the asymptotic boundary charge (related to the second variation of HWZ entropy at spatial infinity $i^+_R$), and $F_\xi$ is the flux operator (QFT Hamiltonian).
• Observer Hilbert Space: An auxiliary Hilbert space $L^2(\mathbb{R})$ is introduced where $X$ acts as a multiplication operator (analogous to an observer's Hamiltonian).
• Crossed Product Algebra: The algebra of observables is extended to the crossed product $\mathcal{A}_{ext} = \mathcal{A}(H^+_R, \omega_0) \rtimes \mathbb{R}$. This new algebra is a Type-II$_\infty$ von Neumann factor.
• Significance: Type-II factors possess a renormalized trace, allowing for the definition of density matrices and von Neumann entropy.

C. State Construction

• Classical-Quantum Coherent State: A classical metric perturbation $h_{AB}$ is represented as an algebraic coherent state $\omega_h$.
• Observer Wavefunction: An observer wavefunction $f(X)$ is introduced. The total state $|\hat{\omega}_h\rangle$ is a tensor product of the coherent state and the observer state in the extended Hilbert space.
• Reduced Density Matrix: A reduced density matrix $\rho_{\hat{\omega}_h}$ is constructed on the extended algebra $\mathcal{A}_{ext}$.

3. Key Contributions and Results

A. Derivation of the Entropy Formula

The authors calculate the von Neumann entropy $S_{vN}(\rho_{\hat{\omega}_h})$ of the reduced density matrix. Under the assumption that the observer wavefunction $f(X)$ is "slowly varying," they derive:

$$S_{vN}(\rho_{\hat{\omega}_h}) = -S(\omega_h | \omega_0) + \beta \langle X \rangle_{\hat{\omega}_h} + S(f) + \log \beta$$

Where:

• $S(\omega_h | \omega_0)$ is the relative entropy between the perturbed and vacuum states in the Type-III algebra.
• $\beta \langle X \rangle$ is the expectation value of the boundary charge scaled by temperature.
• $S(f)$ is the Shannon entropy of the observer's wavefunction.

B. Connection to Hollands-Wald-Zhang (HWZ) Entropy

The relative entropy $S(\omega_h | \omega_0)$ is identified with the classical energy flux falling into the black hole:
$$S(\omega_h | \omega_0) = \beta F_\xi[H^+_R]$$
By relating the boundary charge $X$ to the HWZ entropy at an arbitrary cut $C$ of the horizon via the flux integral, they establish the final relation:

$$S_{vN}(\rho_{\hat{\omega}_h}) = \langle \delta^2 S_{HWZ}[C] \rangle_{\hat{\omega}_h} - \beta F_\xi[H^+_{<C}] + S(f) + \log \beta$$

Here, $H^+_{<C}$ is the portion of the horizon between the bifurcation surface and the cut $C$.

C. Thermodynamic First Law

The resulting entropy expression satisfies an analogue of the first law of thermodynamics. The change in the von Neumann entropy is directly related to the change in the HWZ entropy (the "energy" term) minus the flux of gravitational radiation that has passed through the horizon up to that point.

D. Extension to Null Infinity

The authors show that if radiation flux through future null infinity ($\mathscr{I}^+_R$) is included, the formula generalizes to include the ADM Hamiltonian at spatial infinity and the flux through null infinity:
$$S_{vN} = \beta \langle \delta^2 H^{ADM}_R \rangle - \beta F_\xi[H^+_R] + \beta F_\xi[\mathscr{I}^+_R] + \dots$$

4. Significance

1. Quantum Origin of Dynamical Entropy: The paper provides a rigorous derivation showing that the classical HWZ entropy (a geometric quantity defined on a cut) emerges as the leading order term in the quantum von Neumann entropy of a perturbed state. This bridges the gap between classical black hole thermodynamics and perturbative quantum gravity.
2. Resolution of Type-III Problem: It successfully applies the crossed product construction to linearized gravity, demonstrating that the inclusion of gravitational constraints (via the "observer" charge) naturally converts the ill-defined Type-III algebra of the horizon into a Type-II algebra with a well-defined entropy.
3. Thermodynamic Consistency: The result confirms that the entropy of dynamical black holes in perturbative gravity obeys a first law, validating the HWZ prescription as the correct entropy measure for dynamical horizons in the quantum regime.
4. Framework for Future Work: The methodology sets a precedent for including matter fields, soft radiation (memory effects), and non-linear perturbations, suggesting a path toward a full quantum description of black hole thermodynamics beyond the semiclassical approximation.

In summary, the paper demonstrates that the Hollands-Wald-Zhang entropy is not merely a classical geometric construct but is fundamentally the renormalized von Neumann entropy of the quantum gravitational state on the horizon, once gravitational dressing and observer degrees of freedom are properly accounted for.