A bstract Within the AdS/CFT correspondence, computational complexity for reduced density matrices of holographic conformal field theories has been conjectured to be related to certain geometric observables in the dual gravity theory. We study this conjecture from both the gravity and field theory point of view. Specifically, we consider a measure of complexity associated to the Bures metric on the space of density matrices. We compute this complexity measure for mixed states associated to single intervals in descendant states of the vacuum in 2d CFTs. Moreover, we derive from first principles a geometric observable dual to the Bures metric which is localized in the entanglement wedge of the AdS spacetime associated to the quantum circuit on the boundary. Finally, we compare the Bures metric complexity measure with holographic subregion complexity within the “complexity=volume” paradigm for perturbatively small transformations of the vacuum. While there is no exact agreement between these two quantities, we find striking similarities as we vary the target state and interval size, suggesting that these quantities are closely related.
A bstract Within the AdS/CFT correspondence, computational complexity for reduced density matrices of holographic conformal field theories has been conjectured to be related to certain geometric observables in the dual gravity theory. We study this conjecture from both the gravity and field theory point of view. Specifically, we consider a measure of complexity associated to the Bures metric on the space of density matrices. We compute this complexity measure for mixed states associated to single intervals in descendant states of the vacuum in 2d CFTs. Moreover, we derive from first principles a geometric observable dual to the Bures metric which is localized in the entanglement wedge of the AdS spacetime associated to the quantum circuit on the boundary. Finally, we compare the Bures metric complexity measure with holographic subregion complexity within the “complexity=volume” paradigm for perturbatively small transformations of the vacuum. While there is no exact agreement between these two quantities, we find striking similarities as we vary the target state and interval size, suggesting that these quantities are closely related.
In recent years many discoveries have been made that reveal a close relation between quantum information and geometry in the context of the AdS/CFT correspondence. In this duality between a conformal quantum field theory (CFT) and a theory of gravity on Anti-de Sitter spaces (AdS) quantum information quantities in CFT are associated with geometric objects in AdS. Subject of this thesis is the examination of this intriguing property of AdS/CFT. We study two central elements of quantum information: subregion complexity -- which is a measure for the effort required to construct a given reduced state -- and the modular Hamiltonian -- which is given by the logarithm of a considered reduced state. While a clear definition for subregion complexity in terms of unitary gates exists for discrete systems, a rigorous formulation for quantum field theories is not known. In AdS/CFT, subregion complexity is proposed to be related to certain codimension one regions on the AdS side. The main focus of this thesis lies on the examination of such candidates for gravitational duals of subregion complexity. We introduce the concept of \textit{topological complexity}, which considers subregion complexity to be given by the integral over the Ricci scalar of codimension one regions in AdS. The Gauss-Bonnet theorem provides very general expressions for the topological complexity of CFT2 states dual to global AdS3, BTZ black holes and conical defects. In particular, our calculations show that the topology of the considered codimension one bulk region plays an essential role for topological complexity. Moreover, we study holographic subregion complexity (HSRC), which associates the volume of a particular codimension one bulk region with subregion complexity. We derive an explicit field theory expression for the HSRC of vacuum states. The formulation of HSRC in terms of field theory quantities may allow to investigate whether this bulk object indeed provides a concept of subregion complexity on the CFT side. In particular, if this turns out to be the case, our expression for HSRC may be seen as a field theory definition of subregion complexity. We extend our expression to states dual to BTZ black holes and conical defects. A further focus of this thesis is the modular Hamiltonian of a family of states ρλ depending on a continuous parameter λ. Here λ may be associated with the energy density or the temperature, for instance. The importance of the modular Hamiltonian for quantum information is due to its contribution to relative entropy -- one of the very few objects in quantum information with a rigorous definition for quantum field theories. The first order contribution in λ~=λ−λ0 of the modular Hamiltonian to the relative entropy between ρλ and a reference state ρλ0 is provided by the first law of entanglement. We study under which circumstances higher order contributions in λ~ are to be expected. We show that for states reduced to two entangling regions A, B the modular Hamiltonian of at least one of these regions is expected to provide higher order contributions in λ~ to the relative entropy if A and B saturate the Araki-Lieb inequality. The statement of the Araki-Lieb inequality is that the difference between the entanglement entropies of A and B is always smaller or equal to the entanglement entropy of the union of A and B. Regions for which this inequality is saturated are referred to as entanglement plateaux. In AdS/CFT the relation between geometry and quantum information provides many examples for entanglement plateaux. We apply our result to several of them, including large intervals for states dual to BTZ black holes and annuli for states dual to black brane geometries.
We present a new method of deriving the geometry of entanglement wedges in holography directly from conformal field theories (CFTs). We analyze an information metric called the Bures metric of reduced density matrices for locally excited states. This measures the distinguishability of states with different points excited. For a subsystem given by an interval, we precisely reproduce the expected entanglement wedge for two-dimensional holographic CFTs from the Bures metric, which turns out to be proportional to the anti-de Sitter metric on a time slice. On the other hand, for free scalar CFTs, we do not find any sharp structures like entanglement wedges. When a subsystem consists of two disconnected intervals, we manage to reproduce the expected entanglement wedge from holographic CFTs with the correct phase transitions, up to a very small error, from a quantity alternative to the Bures metric.
We present a new method of deriving shapes of entanglement wedges directly from conformal field theory (CFT) calculations. We point out that a reduced density matrix in holographic CFTs possesses a sharp wedge structure such that inside the wedge we can distinguish two local excitations, while outside we cannot. We can determine this wedge, which we call a CFT wedge, by computing a distinguishability measure. We find that CFT wedges defined by the fidelity or Bures distance as a distinguishability measure coincide perfectly with shadows of entanglement wedges in anti-de Sitter (AdS)/CFT. We confirm this agreement between CFT wedges and entanglement wedges for two-dimensional holographic CFTs where the subsystem is chosen to be an interval or double intervals, as well as higher-dimensional CFTs with a round ball subsystem. On the other hand, if we consider a free scalar CFT, we find that there are no sharp CFT wedges. This shows that sharp entanglement wedges emerge only for holographic CFTs owing to the large-N factorization. We also generalize our analysis to a time-dependent example and to a holographic boundary conformal field theory (AdS/BCFT). Finally, we study other distinguishability measures to define CFT wedges. We observe that some of the measures lead to CFT wedges which slightly deviate from the entanglement wedges in AdS/CFT, and we give a heuristic explanation for this. This paper is an extended version of our earlier letter (arXiv:1908.09939 [hep-th]) and includes various new observations and examples.
Abstract We consider subregion complexity within the AdS3/CFT2 correspondence. We rewrite the volume proposal, according to which the complexity of a reduced density matrix is given by the spacetime volume contained inside the associated Ryu‐Takayanagi (RT) surface, in terms of an integral over the curvature. Using the Gauss‐Bonnet theorem we evaluate this quantity for general entangling regions and temperature. In particular, we find that the discontinuity that occurs under a change in the RT surface is given by a fixed topological contribution, independent of the temperature or details of the entangling region. We offer a definition and interpretation of subregion complexity in the context of tensor networks, and show numerically that it reproduces the qualitative features of the holographic computation in the case of a random tensor network using its relation to the Ising model. Finally, we give a prescription for computing subregion complexity directly in CFT using the kinematic space formalism, and use it to reproduce some of our explicit gravity results obtained at zero temperature. We thus obtain a concrete matching of results for subregion complexity between the gravity and tensor network approaches, as well as a CFT prescription.
It was found, by studying black holes, that the compatibility of the theory of gravity and the laws of quantum mechanics demands that the universe must act like a hologram. That is, all the information inside a region of the universe should be encoded on a so-called holographic screen of one-lesser dimension. This is termed the holographic principle. In a generic spacetime, such as an expanding universe, holographic screens depend on the choice of an observer, which is consistent with the notion that the observer is part of the system in cosmology. In the first part of this dissertation, we study the observer-dependence of holographic screens. This will help us understand how the fundamental description of the universe depends on the choice of the observer. Furthermore, we study the dynamics of the holographic screens and their geometry in the first part of this dissertation.An example where the holographic principle is manifest is the AdS-CFT correspondence. This correspondence connects quantum information quantities, like entanglement and complexity, to geometric quantities, like area and volume, respectively. In the second and the third part of this dissertation, we use the AdS-CFT correspondence as a tool to calculate the entanglement entropy and the computational complexity of a quenched CFT state. Studying the time evolution of the entanglement entropy following a quantum quench teaches us how a CFT state thermalizes. On the other hand, studying the time evolution of the computational complexity allows us to check the validity of various recent conjectures involving black holes and complexity.
We study holographic entanglement entropy in 3-dimensional AdS gravity with conformal boundary conditions which fix the conformal class of the boundary metric and its extrinsic curvature, K, while leaving the Weyl mode dynamical. Extending Lewkowycz-Maldacena-Dong's replica construction, we derive the corresponding holographic entanglement entropy formula. We show that the fluctuating Weyl mode does not contribute additional entropy. The entropy of the full boundary is therefore the Bekenstein-Hawking entropy, and the entropy of a boundary subregion continues to obey the Ryu-Takayanagi prescription, namely, the area of a minimal surface divided by 4GN. We carry out explicit calculations for global AdS, rotating and non-rotating BTZ geometries. For an interval in AdS3 we find that the K-dependent holographic entanglement entropy is governed by cm=2GN3ℓ. For a thermal state at high conformal temperatures we find that, the entropy is governed by ceff=2GN3ℓ2Kℓ−K2ℓ2−4, the same effective central charge that governs the Cardy-like density of states, in agreement with previous results in the literature. Finally, we also compute the entanglement entropy directly from the conjectured dual boundary theory - a holographic CFT coupled with time-like Liouville theory and deformed by a marginal TTˉ like operator - and find SEE=3ceffln(ε2Rsinϕ0). This result for the state with no operator insertions (vacuum state ), provides an independent boundary realization of ceff while clarifying that this state is not the state dual to global AdS.