⚛️ general relativity

The entropy of dynamical black holes deviating from electrovacuum in second order

This paper demonstrates that for dynamical black holes in Einstein–Maxwell theory deviating from electrovacuum, the entropy remains proportional to the apparent horizon area and satisfies the second law up to second-order perturbations under the null energy condition, by utilizing a modified canonical energy within the covariant phase space formalism.

Original authors: Wen-Tao Fu, Ming-Fei Ji, Yu-Sen Zhou, Li-Ming Cao

Published 2026-07-15

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Wen-Tao Fu, Ming-Fei Ji, Yu-Sen Zhou, Li-Ming Cao

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine the universe as a giant, bubbling pot of spacetime soup. For a long time, physicists have been trying to figure out how to measure the "heat" (entropy) of a black hole when it's sitting still, like a calm, frozen lake. They found a beautiful rule: the heat is directly tied to the size of the lake's surface (the horizon area). It's like saying the amount of steam a pot releases is exactly proportional to how wide the pot is.

But what happens when the pot is boiling? What if the black hole is wobbling, shaking, or eating matter? That's the messy, dynamic world this paper explores. The authors, Wen-Tao Fu and their team, decided to take a closer look at a black hole that isn't perfectly still, specifically one that has an electric charge (like a charged balloon) and is surrounded by other stuff (matter). They wanted to see if the simple "size equals heat" rule still holds when things get complicated, specifically looking at the "second order"—which is like checking the ripples on the water, not just the big waves.

The Main Discovery: The "Apparent" Horizon is the Real Deal

The team started with a calm, stationary black hole and then gently nudged it with some external matter, like dropping a pebble into the pond. They used a special mathematical map called "Gaussian null coordinates" to track exactly where the black hole's edge moved.

Here is the twist: There are two ways to draw the edge of a black hole.

The Event Horizon: This is the "true" edge, but it's a bit like a ghost. You can only know where it is if you look at the entire future of the universe. It's defined by where light never escapes, which requires knowing the future.
The Apparent Horizon: This is the "local" edge. It's the surface where light rays are just barely trapped, right here and now. It's like the visible surface of a whirlpool.

Previous work suggested that for a wiggling black hole, the "heat" (entropy) is actually tied to the apparent horizon, not the ghostly event horizon. This paper confirms that idea, but with a catch. The authors calculated the area of this apparent horizon up to the second order of disturbance. They found that if the black hole settles down eventually and follows a specific rule called the "null energy condition" (which basically means energy flows in a way that doesn't break the laws of physics), then yes, the entropy is still perfectly proportional to the area of the apparent horizon.

Think of it like this: If you have a wobbly, charged black hole that eventually calms down, its "thermodynamic heat" is still just a fancy way of measuring its surface area, even while it's shaking. The math shows that the extra wiggles and jiggles cancel out perfectly under these conditions, leaving the simple area rule intact.

What They Ruled Out (The "No" List)

The paper is very careful about what doesn't work. They explicitly state that if you remove the "null energy condition" (if the energy flowing in behaves strangely or violates this specific rule), the simple connection between entropy and area breaks down.

Without this condition, the math gets messy. The extra terms in the equation don't vanish. The authors argue that you can't just assume the area law holds automatically anymore. You would need to add extra, arbitrary assumptions to make it work, and those assumptions aren't forced by the laws of physics themselves. So, if the universe allows for weird energy flows, the "size equals heat" rule for a dynamic black hole is no longer guaranteed. The paper does not say the rule is broken forever, but it does say it's not automatic without those specific energy rules.

How Sure Are They?

The authors are quite confident in their derivation, but they are precise about the limits. They didn't run a computer simulation or measure a real black hole (which is impossible right now). Instead, they used rigorous mathematical proofs within the framework of Einstein's theory of gravity and Maxwell's equations for electricity.

They proved that if you accept the standard rules of energy flow (the null energy condition) and the black hole eventually stops shaking (asymptotic stationarity), then the second-order entropy is exactly proportional to the apparent horizon area. They showed this using a "balance law," which is like a cosmic accounting sheet: they tracked the energy flowing in and out and showed that the "heat" account balances perfectly with the "area" account.

However, they admit that if you step outside those specific rules (like if the null energy condition fails), the math doesn't automatically give you the answer. They suggest that in those weird cases, we might need new ideas, but they haven't found a new rule yet. They also note that there are still some "fuzzy" choices in the math (ambiguities) that haven't been fully resolved for higher orders, meaning the story isn't 100% complete for every possible scenario, but for the standard, well-behaved universe they studied, the answer is solid.

The Takeaway

In short, this paper is like a detailed repair manual for the "black hole heat" rule. It says: "If your black hole is charged, moving, and follows the standard rules of energy, you can still measure its heat by just measuring its surface area (the apparent horizon). The math holds up even when things get wiggly." But if the energy rules get weird, that simple ruler stops working, and we need to figure out a new way to measure the heat. It's a victory for the idea that the "local" edge of a black hole is the right place to look for its thermodynamic secrets, as long as the universe behaves itself.

Technical Summary: The Entropy of Dynamical Black Holes Deviating from Electrovacuum in Second Order

Problem Statement
The paper addresses the characterization of black hole entropy in dynamical, non-equilibrium settings within Einstein–Maxwell theory. While the thermodynamic properties of stationary black holes are well-established—linking entropy to horizon area via the Bekenstein–Hawking formula and the Noether charge formalism—the extension to dynamical processes remains subtle. Specifically, it is unclear whether the entropy of a dynamical black hole is proportional to the area of the event horizon or the apparent horizon, and how this relationship holds at second order in perturbation theory when electromagnetic fields are present. Previous work established this proportionality at first order and at second order for vacuum gravity, but the inclusion of the Maxwell field introduces additional fluxes and constraints that require re-evaluation.

Methodology
The authors employ a perturbative approach within the covariant phase space formalism, working in Gaussian null coordinates near a bifurcate Killing horizon. The methodology proceeds in three main stages:

Geometric Construction: Starting from a stationary electrovacuum background, the apparent horizon is constructed perturbatively as a marginally trapped surface deviating from the event horizon ( $u=0$ ). The position of the apparent horizon, $u = U(s; v, x)$ , is expanded to second order in a perturbation parameter $s$ . The authors derive the expansion relations for the outgoing null normal and calculate the second-order variation of the cross-sectional area of the apparent horizon, expressing it in terms of geometric quantities on the background event horizon.
Covariant Phase Space Analysis: The authors define a "modified canonical energy" that incorporates contributions from external matter and electromagnetic fields. This involves evaluating the symplectic current flux through the future event horizon ( $H^+$ ) and future null infinity ( $I^+$ ). Boundary terms arising from the symplectic potential and Noether charges are absorbed into the definition of the energy to ensure a well-defined balance law.
Derivation of the Balance Law: By relating the modified canonical energy to the second-order variation of the entropy via the symplectic-current identity, the authors derive a balance law. This law connects the change in canonical energy to the fluxes of gravitational shear, Bondi news, and electromagnetic stress-energy.

Key Contributions and Results

Second-Order Entropy Formula: The paper derives an explicit second-order formula for the dynamical entropy in Einstein–Maxwell theory. This formula includes contributions from gravitational shear, electromagnetic fluxes, and the stress-energy tensor of external matter.
Proportionality to Apparent Horizon Area: The central result is that, under the null energy condition (NEC) and the asymptotic stationary condition (where perturbations settle to a stationary state at late times), the first-order expansion of the horizon vanishes ( $\delta \theta_v = 0$ ) and the displacement of the apparent horizon is zero ( $\delta U = 0$ ). Consequently, the extra geometric terms in the second-order area formula vanish, leading to the relation:
$\delta^2 S = \frac{1}{4G} \delta^2 A_{T(v)}$
This confirms that the dynamical entropy is proportional to the area of the apparent horizon up to second order in Einstein–Maxwell theory.
Second Law of Thermodynamics: The same assumptions (NEC and asymptotic stationarity) ensure that the flux terms in the balance law are non-positive, implying that the second-order variation of entropy is non-negative ( $\Delta \delta^2 S \geq 0$ ), thus satisfying the second law of thermodynamics.
Role of the Null Energy Condition: The authors demonstrate that without the NEC, the proportionality between entropy and the apparent horizon area is not automatic. In the absence of the NEC, $\delta \theta_v$ does not necessarily vanish, and additional geometric terms in the area formula remain non-zero. Recovering the area law in this regime would require additional, non-unique assumptions regarding the variation of the Killing field.

Significance and Claims
The paper claims to extend the proposal by Wald and collaborators (originally established at first order) to the second order within Einstein–Maxwell theory. By incorporating the Maxwell field, the work addresses a fundamental extension of vacuum general relativity, showing that the electric charge and its conjugate potential do not disrupt the identification of the apparent horizon as the relevant geometric surface for dynamical entropy, provided the null energy condition holds.

The authors position this result as a support for the interpretation of the apparent horizon as the correct geometric characterization of black hole entropy in dynamical settings. They explicitly note that their geometric construction and the gravitational portion of the canonical energy analysis follow their previous work on vacuum gravity, while the novelty lies in the inclusion of electromagnetic fluxes and the verification of the area law in the electrovacuum case.

The paper remains modest regarding broader implications, acknowledging open questions such as the definition of entropy when the NEC is violated (e.g., in the presence of quantum matter) and the uniqueness of the dynamical entropy functional beyond linear order. It does not propose new experimental applications but rather clarifies the theoretical consistency of black hole thermodynamics in the presence of electromagnetic fields at higher orders of perturbation.

Technical Summary: The Entropy of Dynamical Black Holes Deviating from Electrovacuum in Second Order

More like this