Engelhardt–Wall Prescription in Gravity

• Engelhardt–Wall prescription is a geometric coarse-graining approach that interprets marginally trapped surfaces as carriers of a coarse-grained entropy in general relativity.
• It extends classical area laws to semiclassical settings by maximizing the generalized entropy, aligning with energy conditions and quantum focusing principles.
• In the nongravitational QFT limit, the method rigorously saturates Wall’s ant conjecture using modular flow techniques to constrain energy and entanglement fluxes.

The Engelhardt–Wall (EW) prescription is a geometric, coarse-graining method in general relativity and semiclassical gravity that interprets the area of specific marginally trapped surfaces as a coarse-grained entropy. It provides a microscopic and operational meaning to the Bekenstein–Hawking entropy via a maximization over admissible interior completions, and extends naturally to semiclassical settings by using generalized entropy. In the nongravitational limit, the procedure implies precise constraints on energy-minimizing completions in quantum field theory, saturating so-called "ant bounds" and realizing states with unique stress tensor and entropy flux properties (Bousso et al., 2019).

1. Classical EW Coarse-Graining in General Relativity

The core objects in the EW prescription are marginally outer trapped surfaces $\sigma$, defined as compact, codimension-2, Cauchy-splitting surfaces with vanishing outward null expansion $\theta_k[\sigma]=0$ and strictly negative expansion in the other null direction $\theta_l<0$, with $k^a$, $l^a$ normalized future-directed null normals. The outer wedge $O_W[\sigma]$ is the domain of dependence of the "outside" region homologous to the boundary on which $\sigma$ lies. A surface is called minimar if it additionally minimizes the area among homologous surfaces in $O_W[\sigma]$ and satisfies $k \cdot \nabla \theta_l < 0$ on $\sigma$.

The EW construction erases the interior of $\theta_k[\sigma]=0$0 and glues in an auxiliary spacetime compatible with the original in $\theta_k[\sigma]=0$1. The coarse-grained "outer entropy" is then the maximal area of a Hubeny–Rangamani–Takayanagi (HRT) surface $\theta_k[\sigma]=0$2 lying behind $\theta_k[\sigma]=0$3:

$\theta_k[\sigma]=0$4

Subject to the null energy condition (NEC), $\theta_k[\sigma]=0$5, the maximin construction ensures $\theta_k[\sigma]=0$6. By explicit construction on the ingoing null sheet $\theta_k[\sigma]=0$7 off $\theta_k[\sigma]=0$8, it is possible to achieve $\theta_k[\sigma]=0$9. This involves enforcing $\theta_l<0$0 everywhere on $\theta_l<0$1, vanishing shear, and appropriate control of matter fluxes and twist. One solves a stability equation to locate a cut $\theta_l<0$2 with $\theta_l<0$3 and constructs a two-sided HRT geometry by CPT gluing across $\theta_l<0$4. The prescription then yields:

$\theta_l<0$5

2. Semiclassical Extension and Quantum Generalizations

The classical construction fails when the NEC does not hold, as is typical in semiclassical gravity where $\theta_l<0$6 can become negative. Accordingly, the area is replaced by the generalized entropy:

$\theta_l<0$7

where $\theta_l<0$8 is the von Neumann entropy of quantum fields outside the candidate surface. The central concept is the quantum expansion at each point $\theta_l<0$9 on a surface $k^a$0:

$k^a$1

with a quantum marginally trapped surface $k^a$2 obeying $k^a$3 and $k^a$4. The Quantum Focussing Conjecture (QFC) posits $k^a$5 under null deformations.

The EW prescription is upgraded: one now maximizes the generalized entropy of quantum HRT (quantum extremal) surfaces $k^a$6 that lie behind $k^a$7 and are homologous to the boundary, holding fixed both the geometry and the quantum state in $k^a$8:

$k^a$9

A quantum-maximin argument, together with the QFC, ensures the upper bound $l^a$0. The "saturation ansatz" prescribes that on $l^a$1, both $l^a$2 and the functional derivative $l^a$3 everywhere, plus vanishing shear. This configuration enforces a delta-function shock in the stress tensor at $l^a$4:

$l^a$5

and ensures that the quantum HRT surface $l^a$6 realizes $l^a$7.

3. Nongravitational (QFT) Limit and Wall's Ant Conjecture

In the nongravitational, $l^a$8 limit, consider embedding $l^a$9 as a cut $O_W[\sigma]$0 of a fixed Killing horizon. Let $O_W[\sigma]$1 be the state on the right half-space, $O_W[\sigma]$2 its entropy, $O_W[\sigma]$3 the modular Hamiltonian, and define the relative entropy

$O_W[\sigma]$4

The local Rindler-energy formula applies:

$O_W[\sigma]$5

The minimum completion energy $O_W[\sigma]$6 for states matching $O_W[\sigma]$7 on the right is

$O_W[\sigma]$8

Monotonicity of relative entropy provides the lower bound

$O_W[\sigma]$9

and the ant conjecture asserts that this bound can be saturated:

$\sigma$0

Saturation requires vanishing of the left relative entropy derivative for all $\sigma$1, which implies that in this region, all local operators experience the vacuum. As a consequence, the stress tensor is nonzero only as a delta-function shock at the cut:

$\sigma$2

and the entropic flux similarly vanishes to the left of the cut.

4. Ceyhan–Faulkner Modular-Flow Construction

Ceyhan and Faulkner provided an explicit realization of the ant-bound saturating completion via modular-flow purification. Given a state $\sigma$3 and a cut $\sigma$4, the Connes cocycle flow $\sigma$5 is defined in the commutant algebra $\sigma$6 of the right wedge as

$\sigma$7

For increasing $\sigma$8, this sequence leaves the right wedge unchanged, while modes above the cut in the left wedge are infinitely red-shifted as $\sigma$9. The expectation value of the stress tensor in this limit satisfies

$O_W[\sigma]$0

so $O_W[\sigma]$1, concentrating all energy at $O_W[\sigma]$2:

$O_W[\sigma]$3

The completion achieves the ant bound, thus providing an explicit construction that implements the EW strong stationarity and matches the field-theory limit exactly.

5. Structural Features and Constraints of the Entropy-Maximizing Completion

The universal features of completions that maximize the generalized entropy, as dictated by the EW prescription and explicitly realized in the CF construction, are summarized as:

• Vanishing stress tensor on the unconstrained ("left") side: $O_W[\sigma]$4, $O_W[\sigma]$5.
• Delta-function shock in $O_W[\sigma]$6 at the entangling surface: $O_W[\sigma]$7.
• Zero entropic flux on the unconstrained side: $O_W[\sigma]$8, $O_W[\sigma]$9.

In the semiclassical bulk, these correspond to imposing strong stationarity (vanishing $k \cdot \nabla \theta_l < 0$0, vanishing shear, vanishing $k \cdot \nabla \theta_l < 0$1) on $k \cdot \nabla \theta_l < 0$2, thus guaranteeing simultaneous quantum stationarity and entropy maximization.

6. Significance and Open Questions

The Engelhardt–Wall prescription elevates the area law for black hole and horizon entropies from a geometric to an operationally meaningful, coarse-grained entropy. In the classical regime, it rigorously associates the area of a minimar surface with the maximal entropy compatible with external data. In the semiclassical regime, it motivates and formalizes the generalized entropy as the natural entropy functional, contingent on quantum stationarity. While a full semiclassical derivation remains conjectural, the nongravitational QFT limit yields concrete, testable predictions about the structure of minimum-energy completions and their entanglement properties. The CF construction proves the QFT limit and Wall's ant conjecture.

A plausible implication is that the EW prescription provides a precise bridge between black hole thermodynamics, semiclassical gravity, and the fine structure of quantum entanglement across null surfaces. Further research may clarify whether quantum maximin techniques and the quantum focusing conjecture can support a general proof in semiclassical gravity, or whether modifications will be necessary beyond known regimes (Bousso et al., 2019).