The AdS/CFT correspondence and quantum entanglement (or quantum information). This is one of topics exciting many physicists in this decade. And black holes always play a role of inspiring lab in many cases. In this thesis, we will discuss about scrambling of quantum entanglement and complexity of states in AdS/CFT. In both topics, black holes are expected to be the fastest processors of quantum information. This thesis contains brief reviews of each topics and our own works. One work is an explicit calculation of fast scrambling time in two dimensional holographic CFTs and three dimensional BTZ black holes using the two-sided mutual information. This calculation is a first CFT counterpart of Shenker-Stanford’s work in the gravity dual and an extension of their shock-wave approximation to finite time region in the gravity side. Another work is about socalled optimization procedure of Euclidean path- integrals in CFTs. The optimization procedure gives us a new way to extract dual geometries only from CFT data. And it also gives a new proposal for the definition of complexity of states in CFTs.
The AdS/CFT correspondence and quantum entanglement (or quantum information). This is one of topics exciting many physicists in this decade. And black holes always play a role of inspiring lab in many cases. In this thesis, we will discuss about scrambling of quantum entanglement and complexity of states in AdS/CFT. In both topics, black holes are expected to be the fastest processors of quantum information. This thesis contains brief reviews of each topics and our own works. One work is an explicit calculation of fast scrambling time in two dimensional holographic CFTs and three dimensional BTZ black holes using the two-sided mutual information. This calculation is a first CFT counterpart of Shenker-Stanford’s work in the gravity dual and an extension of their shock-wave approximation to finite time region in the gravity side. Another work is about socalled optimization procedure of Euclidean path- integrals in CFTs. The optimization procedure gives us a new way to extract dual geometries only from CFT data. And it also gives a new proposal for the definition of complexity of states in CFTs.
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.
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.
In this thesis we study the time evolution of Rényi and entanglement entropies of thermal states in Conformal Field Theory (CFT). These quantities are usually hard to compute but Ryu-Takayanagi (RT) and Hubeny-Rangamani-Takayanagi (HRT) proposals allow us to find the same quantities using calculations in general relativity. We will introduce main concepts of holography, quantum information and conformal field theory that will be used to derive the results of this thesis. In the first part of the thesis, we explicitly compute entanglement entropy of the rotating BTZ black hole by directly applying HRT proposal and finding lengths of spacelike geodesics. Rényi entropy of thermal state perturbed by a local quantum quench is computed by mapping correlators on two glued cylinders to the plane for field theory containing a single free boson and for 2d CFTs in the large c limit. We consider Thermofield Double State (TFD) which is an entangled state in direct product of two 2D CFTs. It is conjectured to be holographically equivalent to the eternal BTZ black hole. TFD state is perturbed by a local quench in one CFT and mutual information between two intervals in two CFTs is computed. We find when mutual information vanishes and interpret this as scrambling time, i.e. time scale required for the system to thermalize. This field theory result is modelled with a massive free falling particle in the BTZ black hole. We have computed the back-reaction of the particle on the metric of BTZ and used RT proposal to find holographic entanglement entropy. Finally, we generalize this calculation to the case of rotating BTZ with inner and outer horizons. It is dual to the CFT with different temperatures for left and right moving modes. We calculate mutual information and scrambling time and find exact agreement between results in the gravity and those in the CFT.
Fast scrambling and exponential growth of complexity are two distinctive features of quantum gravity, offering a unique window into the mechanisms that govern the semiclassical limit of the holographic duality. In this thesis, we explore these information-theoretic phenomena through two key diagnostics --- out-of-time ordered correlation functions (OTOCs) and spread complexity --- computed in the setting of two-dimensional holographic conformal field theories (CFTs). First, we focus on the large-c limit of Liouville theory, where the computation of OTOCs reveals distinctive insights into both the chaotic nature and the structural features of the theory. Remarkably, we find it exhibits a maximal Lyapunov exponent, despite lacking the identity operator in its spectrum, and a scrambling time logarithmic in the central charge. Using path integral techniques, we calculate heavy-light four-point functions, and uncover a conformal block expansion dominated by the exchange of an infinite tower of spinless double-trace operators. We attribute the chaotic behaviour of the OTOC to this exchange of operators, which can be thought of as dressed scramblons. Additionally, we observe that at the onset of scrambling, the dominance of conformal blocks shifts from heavy primaries at early times to light primaries at late times. Second, we turn to the diagnostic of spread complexity in locally excited holographic CFTs and argue that its time derivative is dual to the proper radial momentum of a massive point particle propagating in Anti-de Sitter spacetime (AdS). Exploiting the conformal symmetry and the emergence of an ``effective'' SL(2,R) group, we employ representation-theoretic techniques to compute return amplitudes, Lanczos coefficients, and spread complexities. We then verify our conjectured duality for three settings: the CFT on the line, dual to Poincaré AdS; the CFT on the circle, dual to global AdS; and the CFT at finite temperature, dual to a BTZ black hole. In the gravitational theory, the same SL(2,R) structure emerges as the isometry group of the infalling plane of the bulk particle. Third, we generalise the analysis of spread complexity to modular Hamiltonian evolution. Exploiting the rich algebraic structure of modular theory, we construct the modular Hamiltonians Kₘ and the half-sided modular translations G for the three example states above. Leveraging conformal symmetry, we once again compute modular return amplitudes, Lanczos coefficients, and modular spread complexities. In particular, we emphasise the role of ``conformal regularisation'' --- i.e. regulating with the operator that generates modular evolution - in preserving the effective SL(2,R) structure of the amplitudes. We find that evolution under Kₘ exhibits thermal spread complexity for β = 1 across all examples, while G-evolution universally leads to quadratic growth. Finally, we provide a formal explanation of these results, identifying the role of the Killing norm D of the evolution operator as the key factor governing the behaviour of complexity.
The `quantum gravity in the lab' paradigm suggests that quantum computers might shed light on quantum gravity by simulating the CFT side of the AdS/CFT correspondence and mapping the results to the AdS side. This relies on the assumption that the duality map (the `dictionary') is efficient to compute. In this work, we show that the complexity of the AdS/CFT dictionary is surprisingly subtle: there might be cases in which one can efficiently apply operators to the CFT state (a task we call 'operator reconstruction') without being able to extract basic properties of the dual bulk state such as its geometry (which we call 'geometry reconstruction'). Geometry reconstruction corresponds to the setting where we want to extract properties of a completely unknown bulk dual from a simulated CFT boundary state. We demonstrate that geometry reconstruction may be generically hard due to the connection between geometry and entanglement in holography. In particular we construct ensembles of states whose entanglement approximately obey the Ryu-Takayanagi formula for arbitrary geometries, but which are nevertheless computationally indistinguishable. This suggests that even for states with the special entanglement structure of holographic CFT states, geometry reconstruction might be hard. This result should be compared with existing evidence that operator reconstruction is generically easy in AdS/CFT. A useful analogy for the difference between these two tasks is quantum fully homomorphic encryption (FHE): this encrypts quantum states in such a way that no efficient adversary can learn properties of the state, but operators can be applied efficiently to the encrypted state. We show that quantum FHE can separate the complexity of geometry reconstruction vs operator reconstruction, which raises the question whether FHE could be a useful lens through which to view AdS/CFT.
This thesis investigates quantum complexity in the AdS/CFT duality. We study a recently proposed measure of quantum complexity, the spread complexity. This is a measure of the number of orthonormal basis vectors needed to describe a given quantum state (its “spread” in the Hilbert space), naturally selecting a preferred basis adapted to the dynamics of the state which minimises this quantity. This thesis demonstrates that the spread complexity provides a quantum information- theoretic quantity which directly connects to bulk dynamics in holography. Quantum complexity has long been studied in the context of holography. One result of these investigations is a conjecture relating the rate of change of the complexity of certain states in the CFT to the radial momentum of a dual massive particle falling along a time-like geodesic in the bulk spacetime. We demonstrate that there is an exact match between the rate of change of the spread complexity of an excited 2D CFT state and the dual particle’s radial momentum, measured in appropriate coordinates. As a toy model of the localised bulk particle state, we show that a similar relationship exists between the spread complexity and momentum of coherent states of the quantum harmonic oscillator. The spread complexity of these CFT states can be expressed analytically by relating them to a discrete series representation of SL(2,R). Additionally, we find analytical results for the spread complexity when the excited CFT state is evolved by the modular Hamiltonian of an interval region in the CFT, and by the half-sided modular Hamiltonian associated with a further sub-interval region. Next, we study the spread complexity of CFT states which describe a particle on the BTZ black hole background. We also study the spread complexity of local states in the semi-classical bulk theory. This provides a direct bulk interpretation of the spread complexity to complement our CFT calculations. Finally, we explore the extensivity of the spread complexity of states and of the Krylov complexity of density matrix operators in non-interacting bipartite systems.