A bstract Gauging is a general procedure for mapping a quantum many-body system with a global symmetry to one with a local gauge symmetry. We consider a generalized gauging map that does not enforce gauge symmetry at all lattice sites, and show that it is an isometry on the full input space including all charged sectors. We apply this generalized gauging map to convert global-symmetric bulk systems of holographic codes to gauge-symmetric bulk systems, and vice versa, while preserving duality with a global-symmetric boundary. We separately construct holographic codes with gauge-symmetric bulk systems by directly imposing gauge-invariance constraints onto existing holographic codes, and show that the resulting bulk gauge symmetries are dual to boundary global symmetries. Combining these ideas produces a toy model that captures several interesting features of holography — it exhibits a rudimentary sort of dynamical duality, can be modified to demonstrate the relationship between metric fluctuations and approximate error-correction, and serves as an illustration for certain no-go theorems concerning symmetries in holography. Finally, we apply the generalized gauging map to construct codes with arbitrary transversal gate sets — for any compact Lie group, we use a symmetry-preserving truncation scheme to construct covariant finite-dimensional approximate holographic codes.
A bstract Gauging is a general procedure for mapping a quantum many-body system with a global symmetry to one with a local gauge symmetry. We consider a generalized gauging map that does not enforce gauge symmetry at all lattice sites, and show that it is an isometry on the full input space including all charged sectors. We apply this generalized gauging map to convert global-symmetric bulk systems of holographic codes to gauge-symmetric bulk systems, and vice versa, while preserving duality with a global-symmetric boundary. We separately construct holographic codes with gauge-symmetric bulk systems by directly imposing gauge-invariance constraints onto existing holographic codes, and show that the resulting bulk gauge symmetries are dual to boundary global symmetries. Combining these ideas produces a toy model that captures several interesting features of holography — it exhibits a rudimentary sort of dynamical duality, can be modified to demonstrate the relationship between metric fluctuations and approximate error-correction, and serves as an illustration for certain no-go theorems concerning symmetries in holography. Finally, we apply the generalized gauging map to construct codes with arbitrary transversal gate sets — for any compact Lie group, we use a symmetry-preserving truncation scheme to construct covariant finite-dimensional approximate holographic codes.
A bstract Holographic quantum error correcting codes (HQECC) have been proposed as toy models for the AdS/CFT correspondence, and exhibit many of the features of the duality. HQECC give a mapping of states and observables. However, they do not map local bulk Hamiltonians to local Hamiltonians on the boundary. In this work, we combine HQECC with Hamiltonian simulation theory to construct a bulk-boundary mapping between local Hamiltonians, whilst retaining all the features of the HQECC duality. This allows us to construct a duality between models , encompassing the relationship between bulk and boundary energy scales and time dynamics. It also allows us to construct a map in the reverse direction: from local boundary Hamiltonians to the corresponding local Hamiltonian in the bulk. Under this boundary-to-bulk mapping, the bulk geometry emerges as an approximate, low-energy, effective theory living in the code-space of an (approximate) HQECC on the boundary. At higher energy scales, this emergent bulk geometry is modified in a way that matches the toy models of black holes proposed previously for HQECC. Moreover, the duality on the level of dynamics shows how these toy-model black holes can form dynamically.
Tensor networks implementing quantum error correcting codes have recently been used to construct toy models of holographic duality explicitly realizing some of the more puzzling features of the AdS/CFT correspondence. These models reproduce the Ryu-Takayanagi entropy formula for boundary intervals, and allow bulk operators to be mapped to the boundary in a redundant fashion. These exactly solvable, explicit models have provided valuable insight but nonetheless suffer from many deficiencies, some of which we attempt to address in this article. We propose a new class of tensor network models that subsume the earlier advances and, in addition, incorporate additional features of holographic duality, including: (1) a holographic interpretation of all boundary states, not just those in a “code” subspace, (2) a set of bulk states playing the role of “classical geometries” which reproduce the Ryu-Takayanagi formula for boundary intervals, (3) a bulk gauge symmetry analogous to diffeomorphism invariance in gravitational theories, (4) emergent bulk locality for sufficiently sparse excitations, and (5) the ability to describe geometry at sub-AdS resolutions or even flat space.
In the holographic correspondence of quantum gravity, a global on-site symmetry at the boundary generally translates to a local gauge symmetry in the bulk. We describe one way how the global boundary on-site symmetries can be gauged within the formalism of the multiscale renormalization ansatz (MERA), in light of the ongoing discussion between tensor networks and holography. We describe how to ``lift'' the MERA representation of the ground state of a generic one dimensional (1D) local Hamiltonian, which has a global on-site symmetry, to a dual quantum state of a 2D ``bulk'' lattice on which the symmetry appears gauged. The 2D bulk state decomposes in terms of spin network states, which label a basis in the gauge-invariant sector of the bulk lattice. This decomposition is instrumental to obtain expectation values of gauge-invariant observables in the bulk, and also reveals that the bulk state is generally entangled between the gauge and the remaining (``gravitational'') bulk degrees of freedom that are not fixed by the symmetry. We present numerical results for ground states of several 1D critical spin chains to illustrate that the bulk entanglement potentially depends on the central charge of the underlying conformal field theory. We also discuss the possibility of emergent topological order in the bulk using a simple example, and also of emergent symmetries in the nongauge (gravitational) sector in the bulk. More broadly, our holographic model translates the MERA, a tensor network state, to a superposition of spin network states, as they appear in lattice gauge theories in one higher dimension.
Tensor networks have previously been used to construct holographic quantum error correcting codes (HQECC), which are toy models of the AdS/CFT correspondence. HQECC have been able to exhibit many of the interesting features of the duality, such as complementary recovery and redundant encoding. However, in previous HQECC the boundary Hamiltonian which results from mapping a local bulk Hamiltonian to the boundary is a non-local Hamiltonian, with global terms that act over the entire boundary. In this work, we combine HQECC with recently developed Hamiltonian simulation theory to construct a bulk-boundary mapping in which local bulk Hamiltonians map to local boundary Hamiltonians. This allows us to construct a toy model of a complete holographic duality between models, not just states and observables. This mapping of local Hamiltonians extends the toy models to encompass the relationship between bulk and boundary energy scales, and in particular the mapping between bulk and boundary time dynamics. We discuss what insight this gives into toy models of black hole formation.
A bstract 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 non intersecting 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.
Holographic quantum error correcting codes (HQECC) have been proposed as toy models for the AdS/CFT correspondence, and exhibit many of the features of the duality. HQECC give a mapping of states and observables. However, they do not map local bulk Hamiltonians to local Hamiltonians on the boundary. In this work, we combine HQECC with Hamiltonian simulation theory to construct a bulk-boundary mapping between local Hamiltonians, whilst retaining all the features of the HQECC duality. This allows us to construct a duality between models, encompassing the relationship between bulk and boundary energy scales and time dynamics. \n \nIt also allows us to construct a map in the reverse direction: from local boundary Hamiltonians to the corresponding local Hamiltonian in the bulk. Under this boundary-to-bulk mapping, the bulk geometry emerges as an approximate, low-energy, effective theory living in the code-space of an (approximate) HQECC on the boundary. At higher energy scales, this emergent bulk geometry is modified in a way that matches the toy models of black holes proposed previously for HQECC. Moreover, the duality on the level of dynamics shows how these toy-model black holes can form dynamically.