No Arabic abstract
In the context of holography, entanglement entropy can be studied either by i) extremal surfaces or ii) bit threads, i.e., divergenceless vector fields with a norm bound set by the Planck length. In this paper we develop a new method for metric reconstruction based on the latter approach and show the advantages over existing ones. We start by studying general linear perturbations around the vacuum state. Generic thread configurations turn out to encode the information about the metric in a highly nonlocal way, however, we show that for boundary regions with a local modular Hamiltonian there is always a canonical choice for the perturbed thread configurations that exploits bulk locality. To do so, we express the bit thread formalism in terms of differential forms so that it becomes manifestly background independent. We show that the Iyer-Wald formalism provides a natural candidate for a canonical local perturbation, which can be used to recast the problem of metric reconstruction in terms of the inversion of a particular linear differential operator. We examine in detail the inversion problem for the case of spherical regions and give explicit expressions for the inverse operator in this case. Going beyond linear order, we argue that the operator that must be inverted naturally increases in order. However, the inversion can be done recursively at different orders in the perturbation. Finally, we comment on an alternative way of reconstructing the metric non-perturbatively by phrasing the inversion problem as a particular optimization problem.
Quantum corrections to holographic entanglement entropy require knowledge of the bulk quantum state. In this paper, we derive a novel dual prescription for the generalized entropy that allows us to interpret the leading quantum corrections in a geometric way with minimal input from the bulk state. The equivalence is proven using tools borrowed from convex optimization. The new prescription does not involve bulk surfaces but instead uses a generalized notion of a flow, which allows for possible sources or sinks in the bulk geometry. In its discrete version, our prescription can alternatively be interpreted in terms of a set of Planck-thickness bit threads, which can be either classical or quantum. This interpretation uncovers an aspect of the generalized entropy that admits a neat information-theoretic description, namely, the fact that the quantum corrections can be cast in terms of entanglement distillation of the bulk state. We also prove some general properties of our prescription, including nesting and a quantum version of the max multiflow theorem. These properties are used to verify that our proposal respects known inequalities that a von Neumann entropy must satisfy, including subadditivity and strong subadditivity, as well as to investigate the fate of the holographic monogamy. Finally, using the Iyer-Wald formalism we show that for cases with a local modular Hamiltonian there is always a canonical solution to the program that exploits the property of bulk locality. Combining with previous results by Swingle and Van Raamsdonk, we show that the consistency of this special solution requires the semi-classical Einsteins equations to hold for any consistent perturbative bulk quantum state.
We revisit the recent reformulation of the holographic prescription to compute entanglement entropy in terms of a convex optimization problem, introduced by Freedman and Headrick. According to it, the holographic entanglement entropy associated to a boundary region is given by the maximum flux of a bounded, divergenceless vector field, through the corresponding region. Our work leads to two main results: (i) We present a general algorithm that allows the construction of explicit thread configurations in cases where the minimal surface is known. We illustrate the method with simple examples: spheres and strips in vacuum AdS, and strips in a black brane geometry. Studying more generic bulk metrics, we uncover a sufficient set of conditions on the geometry and matter fields that must hold to be able to use our prescription. (ii) Based on the nesting property of holographic entanglement entropy, we develop a method to construct bit threads that maximize the flux through a given bulk region. As a byproduct, we are able to construct more general thread configurations by combining (i) and (ii) in multiple patches. We apply our methods to study bit threads which simultaneously compute the entanglement entropy and the entanglement of purification of mixed states and comment on their interpretation in terms of entanglement distillation. We also consider the case of disjoint regions for which we can explicitly construct the so-called multi-commodity flows and show that the monogamy property of mutual information can be easily illustrated from our constructions.
In AdS/CFT, the non-uniqueness of the reconstructed bulk from boundary subregions has motivated the notion of code subspaces. We present some closely related structures that arise in flat space. A useful organizing idea is that of an $asymptotic$ causal diamond (ACD): a causal diamond attached to the conformal boundary of Minkowski space. The space of ACDs is defined by pairs of points, one each on the future and past null boundaries, ${cal I}^{pm}$. We observe that for flat space with an IR cut-off, this space (a) encodes a preferred class of boundary subregions, (b) is a plausible way to capture holographic data for local bulk reconstruction, (c) has a natural interpretation as the kinematic space for holography, (d) leads to a holographic entanglement entropy in flat space that matches previous definitions and satisfies strong sub-additivity, and, (e) has a bulk union/intersection structure isomorphic to the one that motivated the introduction of quantum error correction in AdS/CFT. By sliding the cut-off, we also note one substantive way in which flat space holography differs from that in AdS. Even though our discussion is centered around flat space (and AdS), we note that there are notions of ACDs in other spacetimes as well. They could provide a covariant way to abstractly characterize tensor sub-factors of Hilbert spaces of holographic theories.
We propose an extension of the BMS group, which we refer to as Weyl BMS or BMSW for short, that includes, besides super-translations, local Weyl rescalings and arbitrary diffeomorphisms of the 2d sphere metric. After generalizing the Barnich-Troessaert bracket, we show that the Noether charges of the BMSW group provide a centerless representation of the BMSW Lie algebra at every cross section of null infinity. This result is tantamount to proving that the flux-balance laws for the Noether charges imply the validity of the asymptotic Einsteins equations at null infinity. The extension requires a holographic renormalization procedure, which we construct without any dependence on background fields. The renormalized phase space of null infinity reveals new pairs of conjugate variables. Finally, we show that BMSW group elements label the gravitational vacua.
We develop the covariant phase space formalism allowing for non-vanishing flux, anomalies and field dependence in the vector field generators. We construct a charge bracket that generalizes the one introduced by Barnich and Troessaert and includes contributions from the Lagrangian and its anomaly. This bracket is uniquely determined by the choice of Lagrangian representative of the theory. We then extend the notion of corner symmetry algebra to include the surface translation symmetries and prove that the charge bracket provides a canonical representation of the extended corner symmetry algebra. This representation property is shown to be equivalent to the projection of the gravitational equations of motion on the corner, providing us with an encoding of the bulk dynamics in a locally holographic manner.