Maximin surfaces, and the strong subadditivity of the covariant holographic entanglement entropy

The covariant holographic entropy conjecture of AdS/CFT relates the entropy of a boundary region R to the area of an extremal surface in the bulk spacetime. This extremal surface can be obtained by a maximin construction, allowing many new results to be proven. On manifolds obeying the null curvature condition, these extremal surfaces: (i) always lie outside the causal wedge of R, (ii) have less area than the bifurcation surface of the causal wedge, (iii) move away from the boundary as R grows, and (iv) obey strong subadditivity and monogamy of mutual information. These results suggest that the information in R allows the bulk to be reconstructed all the way up to the extremal area surface. The maximin surfaces are shown to exist on spacetimes without horizons, and on black hole spacetimes with Kasner-like singularities.