We consider gedanken experiments to destroy an extremal or nearly extremal Kerr-Newman black hole by causing it to absorb matter with sufficient charge and/or angular momentum as compared with energy that it cannot remain a black hole. It was previously shown by one of us that such gedanken experiments cannot succeed for test particle matter entering an extremal Kerr-Newman black hole. We generalize this result here to arbitrary matter entering an extremal Kerr-Newman black hole, provided only that the non-electromagnetic contribution to the stressenergy tensor of the matter satisfies the null energy condition. We then analyze the gedanken experiments proposed by Hubeny and others to over-charge and/or over-spin an initially slightly non-extremal Kerr-Newman black hole. Analysis of such gedanken experiments requires that we calculate all effects on the final mass of the black hole that are second-order in the charge and angular momentum carried into the black hole, including all self-force effects. We obtain a general formula for the full second order correction to mass, δ 2 M , which allows us to prove that no gedanken experiments of the generalized Hubeny type can ever succeed in over-charging and/or over-spinning a Kerr-Newman black hole, provided only that the non-electromagnetic stress-energy tensor satisfies the null energy condition. Our analysis is based upon Lagrangian methods, and our formula for the second-order correction to mass is obtained by generalizing the canonical energy analysis of Hollands and Wald to the Einstein-Maxwell case. Remarkably, we obtain our formula for δ 2 M without having to explicitly compute self-force or finite size effects. Indeed, in an appendix, we show explicitly that our formula incorporates both the self-force and finite size effects for the special case of a charged body slowly lowered into an uncharged black hole.2

We present a general procedure for constructing tensor networks that accurately reproduce holographic states in conformal field theories (CFTs). Given a state in a large-N CFT with a static, semiclassical gravitational dual, we build a tensor network by an iterative series of approximations that eliminate redundant degrees of freedom and minimize the bond dimensions of the resulting network. We argue that the bond dimensions of the tensor network will match the areas of the corresponding bulk surfaces. For "tree" tensor networks (i.e., those that are constructed by discretizing spacetime with nonintersecting Ryu-Takayanagi surfaces), our arguments can be made rigorous using a version of one-shot entanglement distillation in the CFT. Using the known quantum error correcting properties of AdS/CFT, we show that bulk legs can be added to the tensor networks to create holographic quantum error correcting codes. These codes behave similarly to previous holographic tensor network toy models, but describe actual bulk excitations in continuum AdS/CFT. By assuming some natural generalizations of the "holographic entanglement of purification" conjecture, we are able to construct tensor networks for more general bulk discretizations, leading to finer-grained networks that partition the information content of a Ryu-Takayanagi surface into tensor-factorized subregions. While the granularity of such a tensor network must be set larger than the string/Planck scales, we expect that it can be chosen to lie well below the AdS scale. However, we also prove a no-go theorem which shows that the bulk-to-boundary maps cannot all be isometries in a tensor network with intersecting Ryu-Takayanagi surfaces.

In AdS/CFT, there can exist local 2-to-2 bulk scattering processes even when local scattering is not possible on the boundary; these have previously been studied in connection with boundary correlation functions. We show that boundary regions associated with these scattering configurations must have O(1/G N) mutual information, and hence a connected entanglement wedge. One of us previously argued for this statement from the boundary theory using operational tools in quantum information theory. We improve that argument to make it robust to small errors and provide a proof in the bulk using focusing arguments in general relativity. We also provide a direct link to entanglement wedge reconstruction by showing that the bulk scattering region must lie inside the connected entanglement wedge. Our construction implies the existence of nonlocal quantum computation protocols that are exponentially more efficient than the optimal protocols currently known.

The reflected entropy SR(A : B) of a density matrix ρAB is a bipartite correlation measure lower-bounded by the quantum mutual information I(A : B). In holographic states satisfying the quantum extremal surface formula, where the reflected entropy is related to the area of the entanglement wedge cross-section, there is often an order-N2 gap between SR and I. We provide an information-theoretic interpretation of this gap by observing that SR− I is related to the fidelity of a particular Markov recovery problem that is impossible in any state whose entanglement wedge cross-section has a nonempty boundary; for this reason, we call the quantity SR− I the Markov gap. We then prove that for time-symmetric states in pure AdS3 gravity, the Markov gap is universally lower bounded by log(2)ℓAdS/2GN times the number of endpoints of the cross-section. We provide evidence that this lower bound continues to hold in the presence of bulk matter, and comment on how it might generalize above three bulk dimensions. Finally, we explore the Markov recovery problem controlling SR− I using fixed area states. This analysis involves deriving a formula for the quantum fidelity — in fact, for all the sandwiched Rényi relative entropies — between fixed area states with one versus two fixed areas, which may be of independent interest. We discuss, throughout the paper, connections to the general theory of multipartite entanglement in holography.

In the context of the AdS/CFT correspondence, it is often convenient to regulate infinite quantities in asymptotically anti-de Sitter spacetimes by introducing a sharp cutoff at some finite, large value of a particular radial coordinate. This procedure is a priori coordinate dependent, and may not be well-motivated in full, covariant general relativity; however, the fact that physically meaningful quantities such as the entanglement entropy can be obtained by such a regulation procedure suggests some underlying covariance. In this paper, we provide a careful treatment of the radial cutoff procedure for computing holographic entanglement entropy in asymptotically anti-de Sitter spacetimes. We prove two results that are frequently assumed in the literature, but that have not been carefully addressed: (i) that the choice of a "globally minimal surface" among several extremal candidates is independent of the choice of regulator, and (ii) that finite CFT quantities such as the mutual information which involve "divergence-cancelling" sums of entanglement entropies are well-defined under the usual prescription for computing covariant holographic entanglement entropy. Our results imply that the "globally minimal surface" prescription for computing the holographic entanglement entropy is well-posed from the perspective of general relativity, and thus support the widely-held belief that this is the correct prescription for identifying the entanglement wedge of a boundary subregion in AdS/CFT. We also comment on the geometric source of state-dependent divergences in the holographic entanglement entropy, and identify precisely the regime of validity of the "vacuum subtraction" protocol for regulating infinite entanglement entropies in arbitrary states by comparing them to the entanglement entropies of identical regions in the vacuum. Our proofs make use of novel techniques for the covariant analysis of extremal surfaces, which are explained in detail and may find use more broadly in the study of holographic entanglement entropy.