Behind certain marginally trapped surfaces one can construct a geometry containing an extremal surface of equal, but not larger area. This construction underlies the Engelhardt-Wall proposal for explaining Bekenstein-Hawking entropy as a coarse-grained entropy. The construction can be proven to exist classically but fails if the Null Energy Condition is violated.Here we extend the coarse-graining construction to semiclassical gravity. Its validity is conjectural, but we are able to extract an interesting nongravitational limit. Our proposal implies Wall's ant conjecture on the minimum energy of a completion of a quantum field theory state on a halfspace. It further constrains the properties of the minimum energy state; for example, the minimum completion energy must be localized as a shock at the cut. We verify that the predicted properties hold in a recent explicit construction of Ceyhan and Faulkner, which proves our conjecture in the nongravitational limit. * bousso@lbl.gov †

We define the "kink transform" as a one-sided boost of bulk initial data about the Ryu-Takayanagi surface of a boundary cut. For a flat cut, we conjecture that the resulting Wheeler-DeWitt patch is the bulk dual to the boundary state obtained by the Connes cocycle (CC) flow across the cut. The bulk patch is glued to a precursor slice related to the original boundary slice by a one-sided boost. This evades ultraviolet divergences and distinguishes our construction from a one-sided modular flow. We verify that the kink transform is consistent with known properties of operator expectation values and subregion entropies under CC flow. CC flow generates a stress tensor shock at the cut, controlled by a shape derivative of the entropy; the kink transform reproduces this shock holographically by creating a bulk Weyl tensor shock. We also go beyond known properties of CC flow by deriving novel shock components from the kink transform.

We consider the extension of techniques for bounding higher-dimension operators in quantum effective field theories to higher-point operators. Working in the context of theories polynomial in X = (∂φ) 2 , we examine how the techniques of bounding such operators based on causality, analyticity of scattering amplitudes, and unitarity of the spectral representation are all modified for operators beyond (∂φ) 4 . Under weak-coupling assumptions that we clarify, we show using all three methods that in theories in which the coefficient λ n of the X n term for some n is larger than the other terms in units of the cutoff, λ n must be positive (respectively, negative) for n even (odd), in mostly-plus metric signature. Along the way, we present a first-principles derivation of the propagator numerator for all massive higher-spin bosons in arbitrary dimension. We remark on subtleties and challenges of bounding P (X) theories in greater generality. Finally, we examine the connections among energy conditions, causality, stability, and the involution condition on the Legendre transform relating the Lagrangian and Hamiltonian.