"Science, Faculty of"@en .
"Physics and Astronomy, Department of"@en .
"DSpace"@en .
"UBCV"@en .
"Schulz-Beach, Jonathon Matthew"@en .
"2016-08-24T02:02:14"@en .
"2016"@en .
"Master of Science - MSc"@en .
"University of British Columbia"@en .
"Recently, there has been growing recognition that the tools from quantum information theory might be well-suited to studying quantum gravity in the context of the gauge/gravity correspondence. It is exploring this connection that is the main motivation for the work in this thesis. In particular, we focus on holographic field theories which possess classical spacetime duals. The aim is that certain conditions on the classical duals will narrow down the types of field theories that can be holographic. This will give a better understanding of the limitations and robustness of the gauge/gravity correspondence. We do so by computing the canonical energy for general perturbations around anti-de Sitter spacetime, which is dual to quantum Fisher information in the field theory. We go on to prove the positivity of canonical energy and discuss the addition of matter fields. We further show that our result can be interpreted as an interaction between scalar fields living in an auxiliary de Sitter spacetime. We concluded with a summary of progress and future challenges for this program."@en .
"https://circle.library.ubc.ca/rest/handle/2429/58946?expand=metadata"@en .
"Second Order Relative Entropy inHolographic TheoriesbyJonathon Matthew Schulz-BeachB.Sc., The University of Guelph, 2010A THESIS SUBMITTED IN PARTIAL FULFILLMENT OFTHE REQUIREMENTS FOR THE DEGREE OFMASTER OF SCIENCEinThe Faculty of Graduate and Postdoctoral Studies(Physics)THE UNIVERSITY OF BRITISH COLUMBIA(Vancouver)August 2016c\u00C2\u00A9 Jonathon Matthew Schulz-Beach 2016AbstractRecently, there has been growing recognition that the tools from quantuminformation theory might be well-suited to studying quantum gravity in thecontext of the gauge/gravity correspondence. It is exploring this connectionthat is the main motivation for the work in this thesis.In particular, we focus on holographic field theories which possess clas-sical spacetime duals. The aim is that certain conditions on the classicalduals will narrow down the types of field theories that can be holographic.This will give a better understanding of the limitations and robustness ofthe gauge/gravity correspondence.We do so by computing the canonical energy for general perturbationsaround anti-de Sitter spacetime, which is dual to quantum Fisher informationin the field theory. We go on to prove the positivity of canonical energy anddiscuss the addition of matter fields. We further show that our result canbe interpreted as an interaction between scalar fields living in an auxiliaryde Sitter spacetime. We concluded with a summary of progress and futurechallenges for this program.iiPrefaceThe results of Chapters 3 and 4 have appeared in the peer reviewed Journal ofHigh Energy Physics, under the title \u00E2\u0080\u009CEntanglement entropy from one-pointfunctions in holographic states\u00E2\u0080\u009D [1] and are based on research performed bymyself in collaboration with Jaehoon H. Lee, Charles Riddeau and MarkVan Raamsdonk. All gravitational calculations were done by myself, andthis thesis only includes such parts.Figures 2.3 and 4.3 were created by myself and originally used in [1].Section 3.1.4 is an edited version of an appendix in [1] which was also writtenby myself.iiiTable of ContentsAbstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iiPreface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iiiTable of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . ivList of Figures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . viAcknowledgements . . . . . . . . . . . . . . . . . . . . . . . . . . . viiiDedication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ix1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.1 Entanglement . . . . . . . . . . . . . . . . . . . . . . . . . . 41.2 AdS/CFT correspondence . . . . . . . . . . . . . . . . . . . . 81.3 Holographic entanglement entropy . . . . . . . . . . . . . . . 111.4 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162.1 Holographic relative entropy . . . . . . . . . . . . . . . . . . 162.2 Canonical energy . . . . . . . . . . . . . . . . . . . . . . . . 242.3 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 293 Relative entropy of general perturbations . . . . . . . . . . 313.1 Gravitational contribution to relative entropy . . . . . . . . . 313.2 Scalar field in AdS3 . . . . . . . . . . . . . . . . . . . . . . . 383.3 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 414 Emergent de Sitter spacetime from entanglement . . . . . 424.1 Emergent de Sitter dynamics from entanglement . . . . . . . 424.2 Interactions in de Sitter . . . . . . . . . . . . . . . . . . . . . 444.3 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48ivTable of Contents5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51vList of Figures1.1 A traditional picture of two entanglement particles. If oneparticle is measured to have the red spin, then the other willalso have the red spin. . . . . . . . . . . . . . . . . . . . . . 51.2 Examples of a bi-partitioned system. The subregion A isshown for each of the two examples: a) a spin chain wherered lines represent entangled pairs. b) a continuous field the-ory. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61.3 The entanglement entropy for a generalized Bell pair describedby equation (1.7). . . . . . . . . . . . . . . . . . . . . . . . . . 81.4 Comparison between Escher\u00E2\u0080\u0099s artwork and proper geodesicsin the hyperbolic disk. To understand a spatial slice of AdS3,imagine that the bats/angels in Escher\u00E2\u0080\u0099s disk are have thesame area on. It is merely a property of the disk that morebats fit near the boundary. The geodesics are perpendicularto the boundary in b) and c). . . . . . . . . . . . . . . 101.5 The minimal Ryu-Takayanagi surface stretching into the bulkspacetime. The surface \u00CE\u00B3A associated to the region A hasminimal area with respect to any other surfaces anchored toA. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121.6 (a) The Poincare patch of the AdS3 cylinder. The time t isrepresented by the height of the cylinder and z the radius.(b) AdS3 spacetime as a cylinder. The red line representsthe Ryu-Takayangi surface \u00CE\u00B3A which has minimal area and isanchored to the boundary region A. . . . . . . . . . . . 132.1 The domain of dependence DB of the ball-shaped region B.The Killing vector \u00CE\u00B6B is the timelike flow through DB. . . . 172.2 The tangent plane to a density matrix \u00CF\u0083. . . . . . . . . . . . 21viList of Figures2.3 The Rindler wedge RB associated with the ball-shaped bound-ary region B. The blue lines indicate the flow of \u00CE\u00B6, and thered lines \u00CE\u00BE. The surface \u00CE\u00A3 lies between B and the extremalsurface B\u00CB\u009C. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 224.1 Penrose diagram for dSd spacetime. The entangling regionB is in blue with the light cone reaching out to the uniquebulk point (R, xi). The wavy line represents the field \u00CE\u00B4(1)Spropagating from the bulk to the boundary. . . . . . . . . . . 444.2 The size of the entangling region determines the bulk depthin the dS geometry. There is a one-to-one mapping betweenbulk points and spherical regions on the asymptotic futureboundary I+. The light cone from a bulk point reaches theboundary on a spherical region. . . . . . . . . . . . . . . . . 454.3 A visual interpretation of (4.7) as a Feynman diagram. The\u00CE\u00B4S\u00C2\u00B1 field propagates from a point on asymptotic past infinity(I\u00E2\u0088\u0092), interacts with another \u00CE\u00B4S\u00C2\u00B1 with a vertex given by g3 =12cL2and produces another \u00CE\u00B4S\u00C2\u00B1 field which reaches the bulkpoint (R, x). . . . . . . . . . . . . . . . . . . . . . . . . . . . . 465.1 A summary of progress and future directions for the auxiliaryde Sitter approach. Green boxes indicate solved problems,and red boxes indicate present challenges. . . . . . . . . . . . 50viiAcknowledgementsFirstly, I would like to thank my supervisor Mark Van Raamsdonk for hisconstant guidance and inspirational passion for physics.I would also like to thank Philippe Sabella Garnier, Charles Rabideau,and Jaehoon Lee for helpful conversations throughout this project. Withouttheir help, much of this work would not of come to fruition.This work was supported in part by research funding from the NaturalSciences and Engineering Research Council of Canada.viiiDedicationTo my Mother,ixChapter 1IntroductionModern fundamental physics has largely been guided by the reductionistphilosophy; that is, to break matter apart and see \u00E2\u0080\u0098what it is made of\u00E2\u0080\u0099 on everdecreasing length scales. In quantum mechanics, the Heisenberg uncertaintyprinciple demands that we need correspondingly higher energies in order tolook at smaller distances. This has led to the creation of massive particleaccelerators like the Large Hadron Collider, which is currently reaching en-ergies of 13 TeV to probe lengths around 10\u00E2\u0088\u009219 m, nine orders of magnitudepast the atomic scale.One of the remarkable discoveries of the reductionist program is that,sometimes, physics changes radically past a certain critical energy scale. Forexample, Fermi\u00E2\u0080\u0099s theory of beta decay describes the weak interaction well atlow energies, but it breaks down at energies near 290 GeV. In this case, thetheory was replaced by electroweak theory which accommodates this drasticchange by producing new particles, the W and Z bosons.In the case of gravity, a critical energy scale emerges because concentrat-ing very high energies in a small region results in the creation of microscopicblack holes. A crude estimate, due to Planck, puts the energies of this scaleat 1019 GeV, or equivalently, distances of 10\u00E2\u0088\u009235 m. After this point increas-ing the energies only makes larger black holes and the reductionist programcompletely fails. It appears that quantum gravity is more than just a theoryof \u00E2\u0080\u009Cstuff\u00E2\u0080\u009D smaller than the Planck length. Indeed, such a length is not evenwell-defined since we cannot measure it. Although one might be temptedto argue that energies so incredibly large are irrelevant to physics, there aremany important questions which can only be answered by understandingphysics at the Planck scale; such questions include the nature of the BigBang, black hole singularities, and the ultimate fate of the universe.Despite the immense gap between current experiments and the Planckscale, there have been some remarkable hints as to what a theory of quantumgravity must look like. Perhaps the greatest clue was discovered by Beken-stein and Hawking around 1972, who were formulating an analogy betweenthe laws of thermodynamics and the laws of black hole dynamics [2, 3, 4].1Chapter 1. IntroductionTheir famous result says that the entropy of a black hole is proportional toits area throughSBH =A4GN(1.1)in natural units where c = ~ = 1.There are many remarkable things about the Bekenstein-Hawking for-mula. The most immediate observation is that black holes do indeed have awell-defined entropy (a measure of classical disorder) and hence obey certainthermodynamic relations. This suggests that gravity may emerge from ahitherto unknown microscopic theory, just as classical thermodynamic arisesfrom statistical mechanics. Secondly, the entropy is proportional to the sur-face area of the system and not the volume (as is the case with most thermo-dynamic systems). This property has been displayed in certain ground statesof condensed matter systems and suggests that the microscopic degrees offreedom are not defined in the full spacetime, but rather only a subspace ofit. In a sense, spacetime contains redundant features which do not contributeto the true physics of quantum gravity.The Bekenstein-Hawking formula also implies that the maximum amountof information that can be stored in any region of spacetime is proportionalto the (surface) area of that region. Due to the universality of black holes,whatever the true microstates of quantum gravity are, they appear to liveon the boundary of a spacetime region rather than in the region itself.A similar clue comes from classical general relativity (GR) itself. It haslong been known that, in GR, energy does not posses a proper local defini-tion but rather it can only be defined for an observer at asymptotic infinity[5]. If energy is to be identified with the Hamiltonian (a natural startingpoint for quantum theory), then it is suggestive that the true gravitationalHamiltonian is only defined at infinity.This idea is manifest in the holographic principle, which supposes that thecomplete description of the dynamics in some spacetime volume is completelyencoded in the boundary of the region. Much like a 3d movie in theatrestoday, the two-dimensional screen contains enough information so that thepolarized 3d glasses reconstruct the full 3d images for the viewer.The gauge/gravity duality is a precise realization of a holographic the-ory. It conjectures that a complete theory of quantum gravity in (d + 1)-dimensional spacetime is equivalent to a d-dimensional quantum conformalfield theory (CFT) on the asymptotic boundary of that spacetime. Thishas been explicitly demonstrated for certain theories; the most celebratedof which is the so-called AdS/CFT duality between type-IIB superstringtheory on AdS5\u00C3\u0097S5 and N=4 super-Yang-Mills theory in Minkowski space-2Chapter 1. Introductiontime (author?) [6]. Remarkably, this duality concretely relates a stronglycoupled quantum theory, where calculations may be intractable, to a low en-ergy classical gravitational theory where results may be possible. Exploitingthis strong/weak coupling duality has yielded tremendous applications tofar-reaching areas of physics; from superconductors to fluid dynamics [7, 8].Although the original conjecture was specific to string theory, there issubstantial evidence that the gauge/gravity duality holds for a much largerset of theories [9, 10, 11, 12, 13]. In fact, it may be that any consistentquantum gravity theory in asymptotically AdS space can be defined througha CFT on its boundary. Understanding precisely which CFTs can producesa dual spacetime is a very important question for exploring quantum gravity.In recent years, it has been recognized that the language of quantum in-formation theory might be well-suited for addressing questions about gauge/gravity.In particular, quantum entanglement in a quantum field theory (QFT), a keyquantity in information theory, has been shown to be fundamentally linkedto the geometry of the dual spacetime [14, 15, 16, 17]. In fact, without en-tanglement in the quantum theory, it has been argued there could be no dualspacetime [18, 19]. In a sense, entanglement is the glue that holds spacetimetogether.The deep connection between entanglement and geometry was strengthenby the realization that certain conditions of entanglement in a CFT couldbe translated to restrictions on gravitational solutions in the bulk spacetime[20]. Remarkably, even Einstein\u00E2\u0080\u0099s equations emerge (to first order) from thelaws of entanglement [21, 22]. Further known properties of entanglementcan be translated into constraints on gravitational physics, including theaveraged null energy condition [20]. The entanglement structure of a CFTgives provides insight regarding which field theories can produce consistentgravitational spacetimes. It is understanding this restriction that is the mainmotivation for the work in this thesis.The primary focus of this thesis is the holographic computation of thesecond order change in entanglement entropy of a CFT state when perturbedaway from the vacuum. This change is known as quantum Fisher informationwithin the literature and serves as a metric between states [23]. In calcu-lating the bulk dual to this quantity, we establish that (to second order)the entanglement entropy of such states can be represented as a smearingfunctional over products of one-point functions, i.e. expectation values. Wefurther explore connections between this result and a recent proposal foremergent dynamics in de Sitter spacetime [24].In the remainder of this Chapter we review various aspects of holographic31.1. Entanglemententanglement entropy. We start with a brief review of quantum entangle-ment and its useful properties. We then proceed to discuss the AdS/CFTdictionary and holographic entanglement entropy from Ryu-Takayangi sur-faces. We conclude with an overview of subsequent Chapters and a summaryof the main calculations of the thesis.1.1 Entanglement\u00E2\u0080\u009CI would not call that one, but rather the characteristic trait of quantummechanics; the one that enforces its entire departure from classical lines ofthought.\u00E2\u0080\u009D-Erwin Schr\u00C3\u00B6dinger on entanglementQuantum entanglement is perhaps the most curious aspect of quantummechanics. It allows for two particles to be perfectly correlated without anyphysical communication between them. This \u00E2\u0080\u009Cspooky\u00E2\u0080\u009D action at a distancewas one of the most conceptually troubling aspects of early quantum the-ory. Einstein never truly accepted this idea and, along with Podolsky andRosen (EPR), he claimed that quantum mechanics could not be considered a\u00E2\u0080\u009Ccomplete\u00E2\u0080\u009D description of reality (author?) [25]. This paradox loomed overtheoretical physics for nearly 30 years until John Bell showed that any \u00E2\u0080\u009Ccom-plete theory\u00E2\u0080\u009D, in the sense of EPR, must inherently be nonlocal (author?)[26]. Since locality is a cornerstone of fundamental physics, it seems that\u00E2\u0080\u009Cspooky\u00E2\u0080\u009D action at a distance is here to stay. 1However bizarre entanglement is, it is an immensely important part ofmodern physics. It is paramount to modern applications in quantum cryp-tography, quantum teleportation, and very generally in quantum computing[27]. Recently, it has also found use in condensed matter physics where itmay be used to characterize special quantum phase transitions where conven-tional order parameters fail. Such examples include superconducting phasesand topological order (author?) [28, 29, 30].Despite the widespread applications of entanglement entropy in modernphysics, the main motivation for this thesis is of a fundamental nature. It hasrecently been established that, in the context of holography, entanglemententropy in a CFT is dual to a surface in the bulk with minimal area [14, 15,31]. In this way, the geometric features of spacetime are intimately linked tothe entanglement structure of a CFT. Furthermore, it has been argued that1Of course this is unnecessary in certain interpretations of quantum mechanics, suchas if one thinks of an entangled pair as \u00E2\u0080\u009Cone particle\u00E2\u0080\u009D in two difference places.41.1. Entanglement|\u00CE\u00A8\u00E3\u0080\u0089 = 1\u00E2\u0088\u009A2(|\u00E2\u0086\u0091\u00E3\u0080\u0089|\u00E2\u0086\u0093\u00E3\u0080\u0089 \u00E2\u0088\u0092 |\u00E2\u0086\u0093\u00E3\u0080\u0089|\u00E2\u0086\u0091\u00E3\u0080\u0089)Figure 1.1: A traditional picture of two entanglement particles. If one par-ticle is measured to have the red spin, then the other will also have the redspin.without entanglement in a CFT there would be no dual spacetime [19, 18].In this thesis we aim to better understand this connection.In the following sections we define the entanglement entropy and list someof its properties. We then discuss the area law and give a simple examplebefore moving on to the AdS/CFT correspondence.1.1.1 Basics of entanglement entropyA composite quantum state |\u00CE\u00A8\u00E3\u0080\u0089 \u00E2\u0088\u0088 H, composed of substates |\u00CF\u0088i\u00E3\u0080\u0089 \u00E2\u0088\u0088 Hi, issaid to be entangled if it cannot be factorized as a product of the substates,|\u00CE\u00A8entangled\u00E3\u0080\u0089 6=\u00E2\u0088\u008Fi|\u00CF\u0088i\u00E3\u0080\u0089 . (1.2)By the superposition principle, an arbitrary state is a linear combination ofsuch product states |\u00CE\u00A8entangled\u00E3\u0080\u0089 =\u00E2\u0088\u0091j cj\u00E2\u0088\u008Fi |\u00CF\u0088i\u00E3\u0080\u0089 .A more elegant way to characterize entanglement is through the densityoperator \u00CF\u0081, which is simply the outer product of the wavefunction,\u00CF\u0081 = |\u00CE\u00A8\u00E3\u0080\u0089\u00E3\u0080\u0088\u00CE\u00A8|. (1.3)The density matrix is called pure if one of its eigenvalues is unity, otherwiseit is called a mixed state. A pure state has no entanglement and represents asingle quantum state, whereas a mixed state represents a statistical ensembleof states.As a statistical ensemble, one can define an associated entropyS = \u00E2\u0088\u0092tr(\u00CF\u0081 log \u00CF\u0081) (1.4)51.1. EntanglementA(a) One-dimensional spin chain.AA\u00C2\u00AF(b) Quantum field theory in thecontinuum.Figure 1.2: Examples of a bi-partitioned system. The subregion A is shownfor each of the two examples: a) a spin chain where red lines represententangled pairs. b) a continuous field theory.called the von Neumann entropy. Since the density matrix has non-negativeeigenvalues (due to requiring positive probabilities), the entropy is also non-negative, and vanishes if and only if \u00CF\u0081 is a pure state. The von Neumannentropy quantifies the amount of uncertainty about which state the systemis in. In the limit h \u00E2\u0086\u0092 0, the von Neumann entropy reduces to the usualthermal entropy.Now consider a quantum system in a pure state \u00CF\u0081. If we divide thesystem into two parts, A and B as in figure 1.2 then the total Hilbert spaceis simply the direct product between the two subspaces H = HA \u00E2\u008A\u0097HB. Thestate of the system A without any reference of B, is obtained by tracing outall degrees of freedom in B. This defines the reduced density matrix for A,\u00CF\u0081A =\u00E2\u0088\u0091i\u00E3\u0080\u0088iB|\u00CF\u0081|iB\u00E3\u0080\u0089 = trB(\u00CF\u0081). (1.5)An observer confined to the region A will only be aware of the effectivedensity matrix \u00CF\u0081A. This is a natural thing to consider in the context of blackhole physics where the interior of the black hole is inaccessible to an outsideobserver.The entanglement entropy of A is defined as the von Neumann entropyof the subsystem,SA = \u00E2\u0088\u0092trA(\u00CF\u0081A log \u00CF\u0081A). (1.6)This gives a direct way to characterize the entanglement between two regions.In the case of black holes, the entanglement entropy measures the amountof information hidden inside the black hole.As per figure 1.2, the entanglement entropy depends on both the systemand the imaginary entangling surface.61.1. EntanglementIf the system was originally in a mixed state, the entanglement entropywould no longer measure only entanglement. Instead it would count bothclassical and quantum correlations. This is to be expected because in thehigh-temperature limit it will reproduce the classical thermal entropy whichhas no entanglement [32, 33, 34]. For this reason we will only considerglobally pure states so that we isolate the quantum effects.We now provide a simple example before discussing entanglement entropyin a more general QFT.ExampleA typical example of an entangled state is the generalized Bell pair|\u00CE\u00A8\u00E3\u0080\u0089 = \u00E2\u0088\u009A\u00CE\u00B1| \u00E2\u0086\u0091\u00E3\u0080\u0089A| \u00E2\u0086\u0093\u00E3\u0080\u0089B +\u00E2\u0088\u009A1\u00E2\u0088\u0092 \u00CE\u00B1| \u00E2\u0086\u0093\u00E3\u0080\u0089A| \u00E2\u0086\u0091\u00E3\u0080\u0089B (1.7)where \u00CE\u00B1 \u00E2\u0088\u0088 [0, 1] enforces the normalization \u00E3\u0080\u0088\u00CE\u00A8|\u00CE\u00A8\u00E3\u0080\u0089 = 1. The correspondingreduced density matrix is\u00CF\u0081A = trB(\u00CF\u0081) =(\u00CE\u00B1 00 1\u00E2\u0088\u0092 \u00CE\u00B1)(1.8)and the entanglement entropy isSA = \u00E2\u0088\u0092\u00CE\u00B1 log\u00CE\u00B1\u00E2\u0088\u0092 (1\u00E2\u0088\u0092 \u00CE\u00B1) log(1\u00E2\u0088\u0092 \u00CE\u00B1) . (1.9)As shown in figure 1.3 the entropy vanishes at \u00CE\u00B1 = 0,1 and achieves a maxi-mum at \u00CE\u00B1 = 12 .Area lawIn a field theory the entanglement entropy is generally divergent. This isdue to the infinite number of degrees of freedom in a field. Fortunately,understanding the leading order divergences in the entanglement entropycan give profound insight into the behaviour of the underlying field theory.Consider a d-dimensional QFT on flat spacetime. For simplicity, wewill work on a constant time slice t = t0 which defines the spacelike (d \u00E2\u0088\u00921)-dimensional submanifold N . The entanglement entropy of a subregionA \u00E2\u008A\u0082 N can be computed through (1.6). To regularize the entropy, weintroduce an ultraviolet (UV) cutoff parameter \u000F, i.e. the lattice spacing.The entanglement entropy of a region A is thenSA = \u00CE\u00B3Area (\u00E2\u0088\u0082A)\u000Fd\u00E2\u0088\u00922+ (subleading terms) (1.10)71.2. AdS/CFT correspondence0 0.2 0.4 0.6 0.8 100.20.40.6\u00CE\u00B1SAFigure 1.3: The entanglement entropy for a generalized Bell pair describedby equation (1.7).where \u00CE\u00B3 is a constant that depends on the system in question [35, 36]. Thisis known as the area law. The fact that the entanglement is dominated bythe contribution from the boundary \u00E2\u0088\u0082A comes from the intuitive picture thatthe entanglement between A and A\u00C2\u00AF is strongest near the boundary. Thismust be the case because the interactions are governed by local Hamilto-nian dynamics, and hence entanglement between A and A\u00C2\u00AF is predominatelygenerated by local effects near \u00E2\u0088\u0082A.There are some systems which violate the area law. For example, anymetal or material with a Fermi surface (author?) [28]. Another commonexample is for a 2d CFT, where the entanglement entropy for region of lengthL in an infinitely long spin chain with lattice spacing \u000F isSA =c3logL\u000F, (1.11)where c is the central charge of the CFT [37, 33]. Whereas this violates thenaive area law, it acquires a simple geometric meaning in holography.In the next section we cover the essentials of AdS/CFT which will beused later in the thesis.1.2 AdS/CFT correspondenceThe AdS/CFT (anti-de Sitter/conformal field theory) conjectures that aquantum theory of gravity in (d+1)-dimensional spacetime is equivalent to aquantum field theory with conformal symmetry in d dimensions. Maldacenaoriginally formulated the duality between superstring theory on AdS5 \u00C3\u0097 S581.2. AdS/CFT correspondenceand strongly coupled N=4 SU(N) super-Yang-Mills theory in Minkowskispacetime (author?) [6]. Since then, a substantial amount of evidence hasdemonstrated that it is in fact more general [9, 10, 11, 12, 13]. In practice,exploiting this duality has led to novel insights about strongly coupled fieldtheories from gravity, as well as new hints towards a complete theory ofquantum gravity.It is all but impossible to describe all the ramifications of the AdS/CFTcorrespondence as, at present, the original paper by Maldacena has over11,000 citations. With applications in condensed matter [33, 38, 39, 8, 40],numerical relativity, and quantum information [41, 42, 17, 43, 44, 45, 16]; theAdS/CFT has proven to be one of the most significant theoretical discoveriesin the last 20 years.In the following section, we will discuss AdS spacetime and the holo-graphic dictionary between two dual theories.Anti-de Sitter spacetimeAnti-de Sitter (AdS) is a maximally symmetric spacetime with constant neg-ative curvature. As such, it is also a solution to Einstein\u00E2\u0080\u0099s equations witha negative cosmological constant. It is the Lorentzian version of hyperbolicspace, just as Minkowski space is to Euclidean space.The asymptotic symmetry group of AdSd+1 is SO(2, d), which happens tobe isomorphic to the conformal group in d dimensions [46]. This is one of themany reasons which suggest that AdS may be related to a lower-dimensionaltheory with conformal symmetry.AdS in three dimensions can be visualized as a cylinder as shown infigure 1.6. A constant time slice of three-dimensional AdS is referred to asthe hyperbolic disk, which was made famous by the artwork of Escher [47].Figure 1.4 compares Escher\u00E2\u0080\u0099s artwork with spatial geodesics on the disk.One coordinate patch for AdSd+1 isds2 =L2z2(dz2 + dx\u00C2\u00B5dx\u00C2\u00B5) (1.12)with the index \u00C2\u00B5 = 0, 1, ..., d. The dual CFT is said to live on the boundaryof AdS, that is the limiting surface as z \u00E2\u0086\u0092 0 (the boundary of the cylin-der). This is not a literal statement, as the two theories are distinct (andyet are supposedly different manifestations of the same theory). The radialcoordinate z can be interpreted as the length scale of the CFT in the senseof renormalization group (RG) flows (or energy scale). Small z correspondsto high energies in the field theory. Likewise, physics deep in the bulk (large91.2. AdS/CFT correspondence(a) Escher\u00E2\u0080\u0099s disk. (b) Geodesic tesselations. (c) Geodesicsstarting at onepoint.Figure 1.4: Comparison between Escher\u00E2\u0080\u0099s artwork and proper geodesics inthe hyperbolic disk. To understand a spatial slice of AdS3, imagine thatthe bats/angels in Escher\u00E2\u0080\u0099s disk are have the same area on. It is merely aproperty of the disk that more bats fit near the boundary. The geodesics areperpendicular to the boundary in b) and c).z) is related to the low energy infrared (IR) properties of the CFT. To dealwith the divergence in the metric at z = 0, one usually imposes a cutoff atz = \u000F. This amounts to the CFT having a lattice spacing (or UV cutoff) of\u000F.Holographic dictionaryFor two theories to be considered dual to each other, there must be a mapbetween the physical spectra of each theory. Bulk quantities in AdS shouldbe able to be written in terms of field theory observables and vice versa.In QFT, all properties of the theory are contained within the generatingfunctional (partition function) Z. In this way, the AdS/CFT correspondencecan be neatly phrased as the equivalence between the partition functions ofboth theories,ZAdS = ZCFT . (1.13)For strongly coupled field theories, the gravity action can be approxi-mated by low energy gravity (classical gravity), so thatZAdS \u00E2\u0089\u0088 eS0 , (1.14)where S0 is the classical action for the gravitational theory.101.3. Holographic entanglement entropyFor there to be an equivalence between observables, every classical field\u00CF\u0086\u00CE\u00B1 in the gravitational side must be associated to an operatorO\u00CE\u00B1 in the CFT.More precisely, the boundary value of the field \u00CF\u0086\u00CE\u00B1(z = 0) = \u00CF\u0086\u00CE\u00B10 , couples toO\u00CE\u00B1 as a source term. That is, ZCFT = \u00E3\u0080\u0088e\u00C2\u00B4\u00CF\u0086\u00CE\u00B10O\u00CE\u00B1\u00E3\u0080\u0089. In this sense, the operatorsO\u00CE\u00B1 source the bulk fields \u00CF\u0086\u00CE\u00B1 at the boundary.We can then compute the connected n-point correlation functions of anoperator O\u00CE\u00B1 from\u00E3\u0080\u0088O\u00CE\u00B11(x1)...O\u00CE\u00B1n(xn)\u00E3\u0080\u0089 =\u00CE\u00B4\u00CE\u00B4\u00CF\u0086\u00CE\u00B110\u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 \u00CE\u00B4\u00CE\u00B4\u00CF\u0086\u00CE\u00B1n0logZCFT (1.15)=\u00CE\u00B4\u00CE\u00B4\u00CF\u0086\u00CE\u00B110\u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 \u00CE\u00B4\u00CE\u00B4\u00CF\u0086\u00CE\u00B1n0S0 . (1.16)It is convenient that, in order to compute quantum correlation functions,one only needs to take derivatives of a classical action. Although this formalequation gives a powerful computation tool, it does not address some of theconceptual aspects of a bulk/boundary correspondence. In the next sectionwe will explore a more recent entry in the holographic dictionary which hasa more direct link to geometry.1.3 Holographic entanglement entropyIn this section we introduce a generalization of the Bekenstein-Hawking for-mula due to Ryu and Takayangi (author?) [14]. Motivated by black holeentropy, they proposed that the area of a certain minimal area surface (ofcodimension 2) is exactly the entanglement entropy of region in the dualCFT. In taking the appropriate limits, the Bekenstein-Hawking entropy maybe interpreted as such a surface [11]. This provides a method to compute en-tanglement entropy in a CFT by calculating the area of an extremal surfacein AdS spacetime. We will only present a heuristic argument, and a moreformal derivation can be found in (author?) [15].We would like a way to holographically calculate the entanglement en-tropy on a time slice of a CFT between a subregion A and its complimentA\u00C2\u00AF, who share a boundary \u00E2\u0088\u0082A. Firstly, we imagine extending the divisionbetween A and A\u00C2\u00AF to regions in the bulk spacetime with an imaginary surface\u00CE\u00B3A. The boundary \u00E2\u0088\u0082\u00CE\u00B3A exactly matches \u00E2\u0088\u0082A on the boundary as shown in fig-ure 1.5. Inspired by the Bekenstein-Hawking formula, we hope that the areaof such a surface will reproduce the entanglement entropy of A. Of coursethere are infinitely many choices for \u00CE\u00B3A with very different areas, and so weneed a method to choose a single surface. Ryu and Takayanagi proposed111.3. Holographic entanglement entropyAA\u00C2\u00AF\u00CE\u00B3AAdSzFigure 1.5: The minimal Ryu-Takayanagi surface stretching into the bulkspacetime. The surface \u00CE\u00B3A associated to the region A has minimal area withrespect to any other surfaces anchored to A.that the proper surface, A\u00CB\u009C should be the surface possessing minimal area aswill be argued later. The surface with the minimal area which is anchoredto \u00E2\u0088\u0082A is called the Ryu-Takayangi surface and is denoted by A\u00CB\u009C.The entanglement entropy SA of the CFT is then hypothesized to begiven bySA =Area(A\u00CB\u009C)4G. (1.17)In AdS spacetime, the leading order contribution to the area in (1.17) comesfrom the boundary. In general, (1.17) diverges asSA =14GNArea(\u00E2\u0088\u0082A)\u000Fd\u00E2\u0088\u00922+ \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 (1.18)which is consistent with the area law in (1.10). In this way, the Ryu-Takayangi claims to describe the entanglement entropy of a region to allorders.The Ryu-Takayangi formula is only applicable to static spacetimes orconstant time slices. In the dynamic case, there is a modified prescriptionby Hubeny-Rangamany-Takayanagi [31]. In this thesis, we will only be con-cerned with static spacetimes so the simpler Ryu-Takayangi method willsuffice. There have also been extensions to include quantum corrections [48],as well as a formal proof of (1.17) [[49]].The elegance of calculating entanglement entropies from minimal areasurfaces is best illustrated with an example. In the following section, we121.3. Holographic entanglement entropyAdS3FuturePoincareHorizonPastPoincareHorizont = 0(a)AdS3B B\u00CB\u009C(b)Figure 1.6: (a) The Poincare patch of the AdS3 cylinder. The time t is rep-resented by the height of the cylinder and z the radius. (b) AdS3 spacetimeas a cylinder. The red line represents the Ryu-Takayangi surface \u00CE\u00B3A whichhas minimal area and is anchored to the boundary region A.compute the entanglement entropy of a region in a 2d CFT which is dual topure AdS spacetime.1.3.1 Example in AdS3/CFT2As a simple example, let us consider calculating the entanglement entropy foran interval x \u00E2\u0088\u0088 [\u00E2\u0088\u0092R,R] of a two-dimensional CFT using the Ryu-Takayanagiformula. The dual theory is pure AdS3 spacetime, which makes it is easyto calculate the area of extremal surfaces. It is convenient to work in thePoincare patch of AdS3 as illustrated in figure 1.6. The line element in thesecoordinates isds2 =1z2(dz2 + dt2 \u00E2\u0088\u0092 dx2). (1.19)As required for the Ryu-Takayangi prescription, we take a constant time131.4. Overviewslice t = 0. The geodesic equation for z = z(x) is thenz\u00E2\u0080\u00B2\u00E2\u0080\u00B2 z + z\u00E2\u0080\u00B22 + 1 = 0 (1.20)which has solutionsz2 = R2 \u00E2\u0088\u0092 x2 . (1.21)From this we see that the geodesics in AdS3 are circles of radius R, as shownpreviously in figure 1.4. The area (or in this case length) of this minimalgeodesic surface is given byA =\u00CB\u0086dx\u00E2\u0088\u009A\u00E2\u0088\u0092g = 2\u00CB\u0086 R\u000Fdz\u00E2\u0088\u009A1 + z\u00E2\u0080\u00B2z= 2 ln(2R\u000F)+O(1) (1.22)where \u000F is a cutoff near the z = 0 boundary. The entropy then preciselymatches the result for a 2d CFT in (1.11) with L = 2R and a central chargeofc =32GN. (1.23)The elegance of this approach is remarkable. By merely minimizing thesurface area for a anchored surface in AdS spacetime, we have computed theentanglement entropy for a region in a CFT.1.4 OverviewAs demonstrated by the simplicity of the Ryu-Takayangi formula, the ge-ometric nature of entanglement is profoundly powerful. The bulk space-time encodes information about the nonlocal entanglement properties of aCFT state. We can then hope to ask which CFT states have entangle-ment structure that is consistent with having a holographic dual. It is clearthat in general, the space of all entanglement entropies for spherical re-gions, S = {S(R, x\u00C2\u00B5)\u00E2\u0088\u0080x\u00C2\u00B5 \u00E2\u0088\u0088 Rd, R > 0}, is much larger than the space of allasymptotically AdS metrics. It is then plausible that there exists a subsetof S which represents the entanglement entropies which can be possessed bya holographic CFT.One method to characterizing these subsets is to study arbitrary pertur-bations to asymptotically AdS which are dual to state perturbations of theCFT vacuum. We know from the standard AdS/CFT correspondence thatbulk fields will be sourced by expectation values of CFT operators \u00E3\u0080\u0088O\u00CE\u00B1\u00E3\u0080\u0089.Propagating these into the bulk should determine the full fields and metric141.4. Overview\u00CF\u0086\u00C2\u00B5(z, x) at least to some finite distance into the bulk. From this, the entan-glement entropy of any region can be constructed from the Ryu-Takayanagiformula. Following this logic, we see that the entanglement of regions ina CFT can be determined merely by knowledge of the one-point functions\u00E3\u0080\u0088O\u00CE\u00B1\u00E3\u0080\u0089. This provides a stringent test on whether a CFT possesses a classicalgravitational dual.In this thesis we present some explicit results for the entanglement en-tropies allowed for theories with a classical dual. For states near the vac-uum, the first order result is known to hold universally for all CFT. In thiscase holography does not place a constraint on the allowed entanglemententropies. Continuing to second order is it less clear if there are any ad-ditional constraints coming from holography. To find an explicit condition,we make use of the recently recognized equivalence between quantum Fisherinformation and bulk canonical energy [50].The remainder of this thesis is organized as follows. In Chapter 2, we in-troduce relative entropy, a natural extension of entanglement entropy, whichhas some useful properties for studying quantum gravity. We then discussthe gravitational dual to relative entropy, known as canonical energy. Fol-lowing that, Chapter 3 provides the main calculation of the thesis, that is,the second order relative entropy for a CFT state perturbed from the vac-uum. We go on in Chapter 4 to explore connections between this result andemergent dynamics in de Sitter space. We conclude in Chapter 5 with adiscussion of open questions and future directions for research.15Chapter 2BackgroundThis chapter introduces the technical aspects of calculating the quantumFisher information in a CFT. We first review the fundamental features ofentanglement for a spherical region and its physical interpretations. Wemotivate the first law of entanglement and introduce quantum Fisher in-formation. Furthermore, we discuss the gravitational dual to holographicstates, and define the canonical energy. Finally, we review the holographicdictionary between Fisher information and canonical energy.2.1 Holographic relative entropy2.1.1 Relative entropyThis section is concerned with formally defining the entanglement, and rel-ative, entropy for a holographic state.Consider a d-dimensional CFT which possesses a state |\u00CE\u00A8\u00E3\u0080\u0089. For anyspherical region B, the reduced density matrix is obtained by tracing outthe degrees of freedom associated to the compliment of B,\u00CF\u0081B = trB\u00C2\u00AF (|\u00CE\u00A8\u00E3\u0080\u0089\u00E3\u0080\u0088\u00CE\u00A8|) .The density matrix \u00CF\u0081 must be positive semi-definite and Hermitian sothat it has non-negative probabilities. Any such operator can be written asa exponential of another Hermitian operator through\u00CF\u0081vacB =1Ze\u00E2\u0088\u0092HB (2.1)where HB is the modular Hamiltonian and Z = tr(e\u00E2\u0088\u0092HB ) is the usual parti-tion function.2 The normalization constant Z could have been absorbed intoHB through an additive constant and ensures that tr(\u00CF\u0081) = 1. Throughoutthe rest of this chapter we will set Z = 1 without loss of generality.2The term modular Hamiltonian originates from axiomatic quantum field theory, whilein condensed matter it is often called the entanglement Hamiltonian.162.1. Holographic relative entropyBDB\u00CE\u00B6BFigure 2.1: The domain of dependence DB of the ball-shaped region B. TheKilling vector \u00CE\u00B6B is the timelike flow through DB.The explicit form of the modular Hamiltonian is only known in speciallocal examples. In the case that B is a spherical spatial region of radius R,the modular Hamiltonian is given by the well-known expressionHB = 2pi\u00CB\u0086Bdd\u00E2\u0088\u00921xR2 \u00E2\u0088\u0092 x22RTtt(x) (2.2)where \u00E3\u0080\u0088Ttt(x)\u00E3\u0080\u0089 is the CFT stress tensor.The modular Hamiltonian generates a conformal Killing vector \u00CE\u00B6, whichacts within the causal diamond DB (the causal past and future of B) asshown in figure 2.1. For a circular region, the Killing vector is explicitly\u00CE\u00B6 =piR[(R2 \u00E2\u0088\u0092 (t\u00E2\u0088\u0092 t0)2 + |x\u00E2\u0088\u0092 x0|2)\u00E2\u0088\u0082t \u00E2\u0088\u0092 2(t\u00E2\u0088\u0092 t0)(xi \u00E2\u0088\u0092 xi0)\u00E2\u0088\u0082i](2.3)where i runs over spatial indices. Using \u00CE\u00B6, a covariant way to write themodular Hamiltonian isHB =\u00CB\u0086B\u00CE\u00B6\u00C2\u00B5\u00E3\u0080\u0088T\u00C2\u00B5\u00CE\u00BD\u00E3\u0080\u0089\u000F\u00CE\u00BD (2.4)where \u000F\u00CE\u00BD is a differential form related to the Levi-Civita tensor through\u000F\u00CE\u00BD =1(d\u00E2\u0088\u0092 1)!\u000F\u00CE\u00BD1...\u00CE\u00BDd\u00E2\u0088\u00921dx\u00CE\u00BD1 \u00E2\u0088\u00A7 ... \u00E2\u0088\u00A7 dx\u00CE\u00BDd\u00E2\u0088\u00921 . (2.5)One can easily check that with the Killing vector in (2.3), the covariantexpression in (2.4) reproduces (2.2).172.1. Holographic relative entropyFor a state |\u00CE\u00A8\u00E3\u0080\u0089 perturbed away from the vacuum state |0\u00E3\u0080\u0089, we define thedifference in entanglement entropy as\u00E2\u0088\u0086SB = S(\u00CF\u0081B)\u00E2\u0088\u0092 S(\u00CF\u0081vacB ) .While the entanglement entropy is typically divergent, the entropy differencehas the benefit of remaining finite. Similarly we write the difference in theexpectation value of the modular Hamiltonian as\u00E2\u0088\u0086\u00E3\u0080\u0088HB\u00E3\u0080\u0089 = tr(\u00CF\u0081BH)\u00E2\u0088\u0092 tr(\u00CF\u0081vacB HB) .Another quantity of great importance is the relative entropy between twoquantum states. Considering a state \u00CF\u0081 and a reference state \u00CF\u0083, the relativeentropy is defined asS(\u00CF\u0081||\u00CF\u0083) = tr(\u00CF\u0081 log \u00CF\u0081)\u00E2\u0088\u0092 tr(\u00CF\u0081 log \u00CF\u0083).Notice that this definition is not symmetric in \u00CF\u0081 and \u00CF\u0083; however, it hasmany useful properties. It can be shown that in general the relative entropyis non-negative;S(\u00CF\u0081||\u00CF\u0083) \u00E2\u0089\u00A5 0, (2.6)where the equality holds if and only if the states are identical (\u00CF\u0081 = \u00CF\u0083). Fur-thermore, as the region on which \u00CF\u0081 is defined increases in size, the relativeentropy increases; that is to say, it is monotonically increasing with vol-ume. The positivity and monotonicity properties make the relative entropya particular useful quantity to study.Relative entropy can be physically interpreted in the context of thermo-dynamics. For a thermal density matrix \u00CF\u0081th = e\u00E2\u0088\u0092H/T /Z, the relative entropybetween any state \u00CF\u00811 and the thermal one is the difference between the freeenergiesS(\u00CF\u00811||\u00CF\u0081th) = 1T(F (\u00CF\u00811)\u00E2\u0088\u0092 F (\u00CF\u0081th)) , (2.7)where as usual F = \u00E3\u0080\u0088E\u00E3\u0080\u0089\u00E2\u0088\u0092TS. The temperature in this expression is only thatof the initial thermal state so \u00CF\u00811 can be arbitrary (it need not be thermal).In the case where we know the reduced density matrix \u00CF\u0081 explicitly, it isuseful to write the modular Hamiltonian asHB = \u00E2\u0088\u0092 log \u00CF\u0081 (2.8)which coincides with the definition from (2.1) up to a normalization constant,Z = 1. The relative entropy then reduces to182.1. Holographic relative entropyS(\u00CF\u0081||\u00CF\u0083) = tr(\u00CF\u0081 log \u00CF\u0081)\u00E2\u0088\u0092 tr(\u00CF\u0081HB)+ tr(\u00CF\u0083 log \u00CF\u0083)\u00E2\u0088\u0092 tr(\u00CF\u0083 log \u00CF\u0081)= \u00E2\u0088\u0092 S(\u00CF\u0081)\u00E2\u0088\u0092 \u00E3\u0080\u0088HB\u00E3\u0080\u0089\u00CF\u0081B(\u00CE\u00BB) + \u00E3\u0080\u0088HB\u00E3\u0080\u0089\u00CF\u0081B(0) + S(\u00CF\u0083)= \u00E2\u0088\u0086\u00E3\u0080\u0088HB\u00E3\u0080\u0089 \u00E2\u0088\u0092\u00E2\u0088\u0086S.The positivity of relative entropy then immediately implies the constraint\u00E2\u0088\u0086\u00E3\u0080\u0088HB\u00E3\u0080\u0089 \u00E2\u0088\u0092\u00E2\u0088\u0086S \u00E2\u0089\u00A5 0. (2.9)For a sufficiently small perturbation of the vacuum state, this implies to firstorder\u00CE\u00B4(1)S(\u00CF\u0081||\u00CF\u0083) = 0, (2.10)which gives the so-called first law of entanglement\u00CE\u00B4(1)S = \u00CE\u00B4(1)\u00E3\u0080\u0088HB\u00E3\u0080\u0089. (2.11)Adding the temperature back into this expression yields the usual thermo-dynamic equation T\u00CE\u00B4S = \u00CE\u00B4E, which applies to states near equilibrium.The second order, \u00CE\u00B4(2)S(\u00CF\u0081||\u00CF\u0083) is not symmetric under exchanging \u00CF\u0081 and\u00CF\u0083.If we consider a state \u00CF\u0081 = \u00CF\u0083+\u00CE\u00B4\u00CF\u00811+\u00CE\u00B4\u00CF\u00812, where \u00CE\u00B4\u00CF\u00811 and \u00CE\u00B4\u00CF\u00812 are independentperturbations, may define an inner product2\u00E3\u0080\u0088\u00CE\u00B4\u00CF\u00811, \u00CE\u00B4\u00CF\u00812\u00E3\u0080\u0089\u00CF\u0083 = \u00CE\u00B4(2)S(\u00CF\u0083+\u00CE\u00B4\u00CF\u00811 +\u00CE\u00B4\u00CF\u00812||\u00CF\u0083)\u00E2\u0088\u0092\u00CE\u00B4(2)S(\u00CF\u0083+\u00CE\u00B4\u00CF\u00811||\u00CF\u0083)\u00E2\u0088\u0092\u00CE\u00B4(2)S(\u00CF\u0083+\u00CE\u00B4\u00CF\u00812||\u00CF\u0083) ,(2.12)which is symmetric under (\u00CE\u00B4\u00CF\u00811,\u00CE\u00B4\u00CF\u00812). Notice that in the case that \u00CE\u00B4\u00CF\u00811 = \u00CE\u00B4\u00CF\u00812 =12\u00CE\u00B4\u00CF\u0081, we recover\u00E3\u0080\u0088\u00CE\u00B4\u00CF\u0081, \u00CE\u00B4\u00CF\u0081\u00E3\u0080\u0089\u00CF\u0083 = \u00CE\u00B4(2)S(\u00CF\u0083 + \u00CE\u00B4\u00CF\u0081||\u00CF\u0083) . (2.13)The inner product in (2.12) is clearly non-negative, symmetric, and van-ishes only if \u00CE\u00B4\u00CF\u00811 = \u00CE\u00B4\u00CF\u00812 = 0. We can think of it as a metric on the space ofstates perturbed away from the reference state \u00CF\u0083. The metric lives on thetangent space to \u00CF\u0083 and is the known as quantum Fisher information. It isalso sometimes called the Bures, or Helstrom metric; However, we will stickto the general terminology of quantum Fisher information.Our principle motivation to study Fisher information comes from theproperties of relative entropy, although there are many other reasons it isan significant quantity. For example, the quantum Fisher information playsan important role in quantum state estimation, that is, how to approximatethe state \u00CF\u0081 given a set of measurements on n copies of the quantum state[23, 51].192.1. Holographic relative entropy2.1.2 Quantum Fisher informationConsider a one-parameter family of states |\u00CE\u00A8(\u00CE\u00BB)\u00E3\u0080\u0089 where \u00CE\u00BB = 0 denotes thevacuum state. Such an expansion is always possible for well-behaved states[50]. We consider a perturbative expansion around the vacuum state in \u00CE\u00BB:\u00CF\u0081(\u00CE\u00BB) = \u00CF\u0083 + \u00CE\u00BB \u00CE\u00B4\u00CF\u0081 (2.14)where \u00CF\u0081(0) = \u00CF\u0083. The relative entropy is thenS(\u00CF\u0081||\u00CF\u0083) = tr((\u00CF\u0083 + \u00CE\u00B4\u00CF\u0081) log(\u00CF\u0083 + \u00CE\u00B4\u00CF\u0081))\u00E2\u0088\u0092 tr((\u00CF\u0083 + \u00CE\u00B4\u00CF\u0081) log \u00CF\u0083)We expand the logarithm using a Taylor series;log(\u00CF\u0083 + \u00CE\u00B4\u00CF\u0081) = log(\u00CF\u00830) + \u00CE\u00BBdd\u00CE\u00BBlog \u00CF\u0081(\u00CE\u00BB)\u00E2\u0088\u00A3\u00E2\u0088\u00A3\u00CE\u00BB=0+\u00CE\u00BB22d2d\u00CE\u00BB2log \u00CF\u0081(\u00CE\u00BB)\u00E2\u0088\u00A3\u00E2\u0088\u00A3\u00CE\u00BB=0+O(\u00CE\u00BB3)so that the relative entropy becomesS(\u00CF\u0081||\u00CF\u0083) = \u00CE\u00BBtr[\u00CF\u0083dd\u00CE\u00BBlog \u00CF\u0081\u00E2\u0088\u00A3\u00E2\u0088\u00A3\u00CE\u00BB=0]+\u00CE\u00BB2tr[\u00CE\u00B4\u00CF\u0081dd\u00CE\u00BBlog \u00CF\u0081\u00E2\u0088\u00A3\u00E2\u0088\u00A3\u00CE\u00BB=0+\u00CF\u00832d2d\u00CE\u00BB2log \u00CF\u0081\u00E2\u0088\u00A3\u00E2\u0088\u00A3\u00CE\u00BB=0]+O(\u00CE\u00BB3)(2.15)The first term vanishes since tr[\u00CF\u0083 dd\u00CE\u00BB log \u00CF\u0081\u00E2\u0088\u00A3\u00E2\u0088\u00A3\u00CE\u00BB=0] \u00E2\u0088\u00BC tr [\u00CF\u0083\u00CF\u0083\u00E2\u0088\u00921\u00CE\u00B4\u00CF\u0081] = tr [\u00CE\u00B4\u00CF\u0081] = 0.Now consider the related quantity dd\u00CE\u00BBtr[\u00CF\u0081 dd\u00CE\u00BB log \u00CF\u0081]which is also identicallyzero for any \u00CE\u00BB since dd\u00CE\u00BB log \u00CF\u0081 acts as the formal inverse operator to \u00CF\u0081.We thenevaluatedd\u00CE\u00BBtr[\u00CF\u0081dd\u00CE\u00BBlog \u00CF\u0081] \u00E2\u0088\u00A3\u00E2\u0088\u00A3\u00CE\u00BB=0= tr[(dd\u00CE\u00BB\u00CF\u0081)dd\u00CE\u00BBlog \u00CF\u0081] \u00E2\u0088\u00A3\u00E2\u0088\u00A3\u00CE\u00BB=0+ tr[\u00CF\u0081d2d\u00CE\u00BB2log \u00CF\u0081] \u00E2\u0088\u00A3\u00E2\u0088\u00A3\u00CE\u00BB=0= tr[\u00CE\u00B4\u00CF\u0081dd\u00CE\u00BBlog \u00CF\u0081\u00E2\u0088\u00A3\u00E2\u0088\u00A3\u00CE\u00BB=0]+ tr[\u00CF\u0083d2d\u00CE\u00BB2log \u00CF\u0081\u00E2\u0088\u00A3\u00E2\u0088\u00A3\u00CE\u00BB=0].This is nearly the second term in (2.15).Using this expression to simplify (2.15), we haveS(\u00CF\u0081||\u00CF\u0083) = \u00E2\u0088\u0092\u00CE\u00BB22tr[\u00CF\u0083d2d\u00CE\u00BB2log \u00CF\u0081\u00E2\u0088\u00A3\u00E2\u0088\u00A3\u00CE\u00BB=0]+O(\u00CE\u00BB3) (2.16)orS(\u00CF\u0081||\u00CF\u0083) = \u00CE\u00BB22tr[\u00CE\u00B4\u00CF\u0081d2d\u00CE\u00BB2log \u00CF\u0081\u00E2\u0088\u00A3\u00E2\u0088\u00A3\u00CE\u00BB=0]+O(\u00CE\u00BB3) . (2.17)We define the right-hand-side of this expression at order \u00CE\u00BB2 as the quantumFisher informationF\u00CF\u0083(\u00CE\u00B4\u00CF\u0081, \u00CE\u00B4\u00CF\u0081) = \u00E3\u0080\u0088\u00CE\u00B4\u00CF\u0081, \u00CE\u00B4\u00CF\u0081\u00E3\u0080\u0089\u00CF\u0083\u00CE\u00BB2=12tr[\u00CE\u00B4\u00CF\u0081d2d\u00CE\u00BB2log \u00CF\u0081\u00E2\u0088\u00A3\u00E2\u0088\u00A3\u00CE\u00BB=0], (2.18)202.1. Holographic relative entropy\u00CE\u00B4\u00CF\u00812\u00CE\u00B4\u00CF\u00811\u00CF\u0083Figure 2.2: The tangent plane to a density matrix \u00CF\u0083.which we recognize as the inner product from (2.12). To get a better senseof what (2.18) means, we naively disregard the ordering so thatF\u00CF\u0083(\u00CE\u00B4\u00CF\u0081, \u00CE\u00B4\u00CF\u0081) = 12tr(\u00CE\u00B4\u00CF\u0081\u00CF\u0083\u00E2\u0088\u00921\u00CE\u00B4\u00CF\u0081) . (2.19)This is a much more illuminating expression. We see that F\u00CF\u0083 is quadraticin the perturbation \u00CE\u00B4\u00CF\u0081, and as such it is clearly positive as required thepositivity of relative entropy. Note that because our constraint in (??) islimited to second order, the Fisher information is precisely the O(\u00CE\u00BB2) termin the relative entropy.\u00CE\u00B4(2)S(\u00CF\u0083 + \u00CE\u00B4\u00CF\u0081||\u00CF\u0083) = \u00CE\u00BB2F\u00CF\u0083(\u00CE\u00B4\u00CF\u0081, \u00CE\u00B4\u00CF\u0081) (2.20)Using the above results, the total entanglement entropy of a region B ina field theory with a state expanded as (2.14) isSB = SvacB + \u00CE\u00BB\u00CB\u0086B\u00CE\u00B6\u00C2\u00B5\u00E3\u0080\u0088T\u00C2\u00B5\u00CE\u00BD\u00E3\u0080\u0089\u000F\u00CE\u00BD \u00E2\u0088\u0092 \u00CE\u00BB2F\u00CF\u0083(\u00CE\u00B4\u00CF\u0081, \u00CE\u00B4\u00CF\u0081) +O(\u00CE\u00BB3) . (2.21)This expression is exact for any CFT, however, it is expected that the struc-ture of the O(\u00CE\u00BB2) term contains information about whether the CFT is holo-graphic [1]. Whereas the linear term is given by the vacuum expectationvalue of the stress tensor, the Fisher term generally may not have a localVEV.2.1.3 Gravitational relative entropyIn this section we discuss the gravitation dual of relative entropy.212.1. Holographic relative entropyConsider a one-parameter family of geometries M(\u00CE\u00BB) which are dualto states |\u00CE\u00A8(\u00CE\u00BB)\u00E3\u0080\u0089 in a holographic CFT. We take the origin \u00CE\u00BB = 0, to bepure AdS spacetime with the dual vacuum state |\u00CE\u00A8(0)\u00E3\u0080\u0089. Now consider aspherical region B, which lives on a spatial slice of the boundary of theunperturbed spacetime. The Rindler wedge RB associated with B is definedas the intersection of the causal past and causal future of DB; the causaldiamond. The boundary of the Rindler wedge is a bulk surface, B\u00CB\u009C, whichpossesses a minimal area in the sense of Ryu and Takayanagi, that is \u00E2\u0088\u0082B\u00CB\u009C =\u00E2\u0088\u0082B. The boundary Killing vector \u00CE\u00B6 can be extended into the bulk wedgesuch that it is null on the (bulk) boundary of the wedge as illustrated infigure 2.3; we denote this new vector by \u00CE\u00BE.On the boundary, \u00CE\u00B6 generates a notion of time within the causal dia-mond. Likewise, the bulk \u00CE\u00BE gives a notion of time to the full Rindler wedge.By a diffeomorphism, the wedge RB can be mapped to the exterior of aSchwarzschild-AdS black hole where B\u00CB\u009C acts as the horizon. This fact willbe useful (since there exist many powerful tools) to understand black holespacetimes.zxtBDB\u00CE\u00A3 B\u00CB\u009CFigure 2.3: The Rindler wedge RB associated with the ball-shaped boundaryregion B. The blue lines indicate the flow of \u00CE\u00B6, and the red lines \u00CE\u00BE. Thesurface \u00CE\u00A3 lies between B and the extremal surface B\u00CB\u009C.The extension to a perturbed spacetime with \u00CE\u00BB 6= 0 spacetime is clear; foreach perturbed region B(\u00CE\u00BB) we associate the Ryu-Takayanagi surface B\u00CB\u009C(\u00CE\u00BB)222.1. Holographic relative entropyin M(\u00CE\u00BB) as the extremal surface which satisfies \u00E2\u0088\u0082B\u00CB\u009C(\u00CE\u00BB) = \u00E2\u0088\u0082B(\u00CE\u00BB). We maynow relate each perturbed CFT state to a geometry which is perturbed awayfrom a hyperbolic black hole in AdS.In analogy with the CFT case, we wish to compute the relative entropy,Sgrav(g(\u00CE\u00BB)||g(0)), between the perturbed metric and pure AdS. Motivatedby the CFT result we defineSgrav(g1||g0) = \u00E2\u0088\u0086Egrav \u00E2\u0088\u0092\u00E2\u0088\u0086Sgrav , (2.22)where \u00E2\u0088\u0086Egrav is the difference in gravitational energy between M(0) andM(\u00CE\u00BB), and \u00E2\u0088\u0086Sgrav is the entropy difference.The notion of gravitational entropy can be identified with the area of anextremal area surface via the Ryu-Takayanagi formula, so thatSgrav(\u00CE\u00BB) \u00E2\u0089\u00A1 14GNArea[B\u00CB\u009C(\u00CE\u00BB)], (2.23)and hence \u00E2\u0088\u0086Sgrav = Sgrav(\u00CE\u00BB)\u00E2\u0088\u0092 Sgrav(0).We may also define the gravitational energy Egrav, the analogous quan-tity to \u00E3\u0080\u0088HB\u00E3\u0080\u0089, by utilizing some key results from holography. For a (d +1)\u00E2\u0088\u0092dimensional spacetime, an asymptotic expansion near the boundary canbe parameterized in Fefferman-Graham coordinates asds2 =`2z2(dz2 + dx\u00C2\u00B5dx\u00C2\u00B5 + zd \u00CE\u0093\u00C2\u00B5\u00CE\u00BD(z, x)dx\u00C2\u00B5dx\u00CE\u00BD)(2.24)where \u00CE\u0093\u00C2\u00B5\u00CE\u00BD(z, x) remains finite in the z \u00E2\u0086\u0092 0 limit. In the remainder of thissection we set the AdS scale to unity, ` = 1. The expectation value ofthe CFT stress tensor is related to the asymptotic behaviour of the metricthrough\u00E3\u0080\u0088T\u00C2\u00B5\u00CE\u00BD\u00E3\u0080\u0089 = d16piGN\u00CE\u0093\u00C2\u00B5\u00CE\u00BD(z = 0, x) . (2.25)Thus, from the first law of entanglement for a spherical region, we havethat the change in the modular Hamiltonian in B is\u00E2\u0088\u0086\u00E3\u0080\u0088HB\u00E3\u0080\u0089 = d8GN\u00CB\u0086|x| R.Using c = 3`AdS2GN , we can write (3.23) as the second order relative entropyof a CFT state. Like the leading order result from the entanglement first law,the integrals in (3.23) can be taken over any surface B with boundary \u00E2\u0088\u0082B.The fact that we only need the stress tensor on a Cauchy surface for DB isspecial to the stress tensor in two dimensions since the conservation relationsallow us to find the stress tensor expectation value everywhere in DB fromits value on a time slice. For other operators, or in higher dimensions, theresult will involve integrals over the full domain of dependence. This limitswhat we can say about the relative entropy in this case. We will see anexplicit example of such in the next section.As a consistency check, we can plug in the homogeneous BTZ metricwhere k = 0 and h\u00C2\u00B1(0) = 12 . From (3.6) we have that \u00E3\u0080\u0088T\u00C2\u00B1\u00C2\u00B1(ki)\u00E3\u0080\u0089 = \u00CE\u00BB16piGNand so it only remains to evaluate (3.22) at k1 = k2 = 0. In taking the limit,the kernel evaluates to 512pi2R4GN/90. The total canonical energy is thenE =(\u00CE\u00BB16piGN)2(512pi2R4GN90)(3.25)= \u00CE\u00BB2R445GN(3.26)which agrees with the expected result from (2.57).Another important consistency check will be to demonstrate that thecanonical energy in (3.23) is explicitly positive as required by the positivityof relative entropy. In the next section we give an elementary proof of thepositivity.353.1. Gravitational contribution to relative entropy3.1.4 Positivity of canonical energyLet us test the positivity of relative entropy from our result in (3.23). Con-sider the left-moving part of the perturbation h+(x+) \u00E2\u0088\u009D \u00E3\u0080\u0088T++(x+)\u00E3\u0080\u0089 (as anidentical analysis will follow for h\u00E2\u0088\u0092(x\u00E2\u0088\u0092)). The function h+(x) must be realvalued for a perturbation of AdS3 so we can expand h+(x) in a Taylor seriesh+(x) =\u00E2\u0088\u0091\u00E2\u0088\u009En=0 anxn. The canonical energy is then given byE \u00E2\u0088\u00BC\u00E2\u0088\u0091n\u00E2\u0088\u0091manam\u00CB\u0086B\u00CB\u0086Bdx1dx2 xn1xm2 K(2)(x1, x2) . (3.27)Whereas it might seem convenient to use an orthogonal basic such asthe Legendre or Chebyshev polynomials, this integral is only analyticallytractable for the polynomial basis chosen. The result isE \u00E2\u0088\u00BC\u00E2\u0088\u0091n\u00E2\u0088\u0091manamR4+n+mAn,m (3.28)where the proportionality factor is up to a positive constant andAn,m = 1(n+m+ 3)(n+m+ 1)\u00EF\u00A3\u00B1\u00EF\u00A3\u00B4\u00EF\u00A3\u00B4\u00EF\u00A3\u00B2\u00EF\u00A3\u00B4\u00EF\u00A3\u00B4\u00EF\u00A3\u00B30, if n+m odd1(n+1)(m+1) , if n,m evennm+n+m+3nm(n+2)(m+2) , if n,m odd(3.29)which is clearly non-negative and symmetric in n,m.To show that the canonical energy is positive, we need to show that thematrix M with entries given by An,m = An\u00E2\u0088\u00921,m\u00E2\u0088\u00921 4 is positive semidefinite.To do so, we will use proof by induction and Sylvester\u00E2\u0080\u0099s criterion whichstates that a square matrix M is positive semidefinite if and only if it has apositive determinant and all the upper-left sub-matrices also have positivedeterminants.Proof by inductionSuppose that the N \u00C3\u0097N matrix MN whose components are given by An,mis positive semidefinite. Then consider the block matrix constructed asMN+1 =(M\u00CB\u009CN B\u00CB\u009CB\u00CB\u009CT AN+1,N+1)= AN+1,N+1(MN BBT 1)(3.30)4The inelegant notation change is due to conventional matrix notation starting atn = 1, while the Taylor series starts at n = 0.363.1. Gravitational contribution to relative entropywhere B is an N column vector with entries given by Ai,n+1. Since MN ispositive semidefinite, it has a positive determinant and all the upper-left sub-matrices of MN also have positive determinants by Sylvester\u00E2\u0080\u0099s criterion. Toshow thatMN+1 is positive semidefinite, we need only show it has a positivedeterminant since all the upper-left sub-matrices are already known.The determinant of MN+1 may be evaluated using the formuladet(MN+1) = An+1,n+1[2 det(MN )\u00E2\u0088\u0092 det(MN +BTB)](3.31)so it is sufficient to showdet(MN +BTB) < 2 det(MN ) . (3.32)We denote the eigenvalues ofMN+BTB by \u00CE\u00BBM+Bi where they are orderedfrom largest to smallest \u00CE\u00BBM+B1 \u00E2\u0089\u00A5 \u00CE\u00BBM+B2 \u00E2\u0089\u00A5 ... \u00E2\u0089\u00A5 \u00CE\u00BBM+BN . Since BTB is arank-one matrix, the sole non-zero eigenvalue is given by \u00CE\u00B2 = Tr(BTB) =\u00E2\u0088\u0091Ni=1Ai,N+1 \u00E2\u0089\u00A5 0. Since BTB is positive semidefinite, there exists an upperbound on det(MN + BTB) given by the Weyl inequality \u00CE\u00BBM+Bi \u00E2\u0089\u00A4 \u00CE\u00BBMi + \u00CE\u00B2iwhere \u00CE\u00BBMi are the eigenvalues of MN in order from largest to smallest \u00CE\u00BBM1 \u00E2\u0089\u00A5\u00CE\u00BBM2 \u00E2\u0089\u00A5 ... \u00E2\u0089\u00A5 \u00CE\u00BBMN [53]. We then expand the determinant asdet(MN +BTB) =N\u00E2\u0088\u008Fi=1\u00CE\u00BBM+Bi\u00E2\u0089\u00A4 \u00CE\u00BBM+B1\u00CE\u00BBMN\u00E2\u0088\u008Fi=1\u00CE\u00BBMi =(1 +\u00CE\u00B2\u00CE\u00BBM1)det(MN ) .So it remains to show that \u00CE\u00BBM1 \u00E2\u0088\u0092\u00CE\u00B2B \u00E2\u0089\u00A5 0 to complete the proof. The maximumeigenvalue \u00CE\u00BBM1 is bounded from below by the minimum sum of a column ofMN through the Perron-Frobenius theorem (equivalently Gershgorin circletheorem) [53]. For the matrix MN , the minimum sum of a column vectoris simply the sum of the Nth column\u00E2\u0088\u0091Ni=1Ai,N . Therefore, it remains toshow thatN\u00E2\u0088\u0091i=1(Ai,N \u00E2\u0088\u0092A2i,N+1) \u00E2\u0089\u00A5 0 . (3.33)We split this sum up into two cases. The first case is if N is even. Thenwe haveN/2\u00E2\u0088\u0091i=1A2i,N \u00E2\u0088\u0092(N+1)/2\u00E2\u0088\u0091i=1A22i\u00E2\u0088\u00921,N+1 =N/2\u00E2\u0088\u0091i=1(A2i,N \u00E2\u0088\u0092A22i\u00E2\u0088\u00921,N+1)(3.34)373.2. Scalar field in AdS3since the final term in\u00E2\u0088\u0091(N\u00E2\u0088\u00921)/2i=1 A22i\u00E2\u0088\u00921,N+1 is zero. Explicitly analyzing thecoefficients, we see that(A2i,N \u00E2\u0088\u0092A22i\u00E2\u0088\u00921,N+1)is always positive for all i \u00E2\u0088\u0088{1..N/2}, so clearly the entire sum is positive.In the case of odd N , the sum becomes(N+1)/2\u00E2\u0088\u0091i=1A2i\u00E2\u0088\u00921,N \u00E2\u0088\u0092N/2\u00E2\u0088\u0091i=1A22i,N+1 = AN,N +N/2\u00E2\u0088\u0091i=1(A2i\u00E2\u0088\u00921,N \u00E2\u0088\u0092A22i,N+1). (3.35)Each term in this sum is also positive, so we have shown \u00CE\u00BBM1 \u00E2\u0088\u0092 \u00CE\u00B2B \u00E2\u0089\u00A5 0.The expressions in (3.34) and (3.35) are not obviously positive, but theyreduce to some (tractable, but unattractive) polynomial equations whichcan be shown to be positive. Therefore we have shown det(MN + BTB) <2 det(MN ), and thus MN+1 is positive semidefinite given that MN is. SinceM1 is positive semidefinite by induction, so too is MN for all N . Therefore,the canonical energy is explicitly positive semidefinite as expected by thepositivity of relative entropy.3.2 Scalar field in AdS3As an extension of the previous results, we could consider adding a simplescalar field to the AdS spacetime. The canonical energy in this case is givenby the sum of the gravitation and matter contributionE = Egrav +\u00CB\u0086\u00CE\u00A3B\u00CE\u00BEaTmatterab d\u00CE\u00A3b (3.36)where Tmatterab is the stress tensor for the scalar field. Explicitly taking z asthe bulk coordinate, the matter contribution to the canonical energy isEmatter =\u00CB\u0086\u00CE\u00A3Bdzdxxpi(R2 \u00E2\u0088\u0092 z2 \u00E2\u0088\u0092 x2)RzTmattertt . (3.37)In the holographic context, one considers excited states of a CFT whichare induced by normalizable modes of bulk scalar fields in AdS. The bulkfields correspond to non-zero one-point functions of the dual operator O. Asin the gravitational case, we wish to express the canonical energy in terms ofa product of one-point functions; this time of a general operator O, ratherthan the stress tensor T\u00C2\u00B1\u00C2\u00B1:\u00CE\u00B4(2)O S =\u00CB\u0086dx1dx2K(2)O (x1,x2)\u00E3\u0080\u0088O(x1)\u00E3\u0080\u0089\u00E3\u0080\u0088O(x2)\u00E3\u0080\u0089 . (3.38)383.2. Scalar field in AdS3The total change in the entanglement entropy up to second order in theperturbations is then\u00E2\u0088\u0086S = \u00CE\u00B4(1)S + \u00CE\u00B4(2)S + \u00CE\u00B4(2)O S . (3.39)The \u00CE\u00B4(1)O S term vanishes for a perturbation around the vacuum so the onlylinear contribution to the entanglement entropy is from the first law.In the remainder of this Chapter we focus on explicitly evaluating thesecond order contribution from a field, \u00CE\u00B4(2)SO.3.2.1 General scalar fieldConsider the case of a scalar field \u00CF\u0086 in AdS which is dual to the operator O.The equation of motion of the scalar field \u00CF\u0086, in AdS spacetime is1z\u00E2\u0088\u0082z (z\u00E2\u0088\u0082z\u00CF\u0086) + \u00E2\u0088\u0082\u00C2\u00B5\u00E2\u0088\u0082\u00C2\u00B5\u00CF\u0086\u00E2\u0088\u0092 m2z2\u00CF\u0086 = 0 , (3.40)where \u00C2\u00B5 run over the CFT dimensions.The solution of (3.40) may be written in term of the Fourier transformof \u00CF\u0086,\u00CF\u0086(z, t, x) =\u00CB\u0086\u00CF\u00892\u00E2\u0088\u0092k2>1d\u00CF\u0089dk ei(kx\u00E2\u0088\u0092\u00CF\u0089t)\u00CF\u0086\u00CF\u0089,k(z) (3.41)so that the equation of motion becomes[z2(\u00CF\u00892 \u00E2\u0088\u0092 k2) + z2\u00E2\u0088\u00822z \u00E2\u0088\u0092 z\u00E2\u0088\u0082z \u00E2\u0088\u0092m2]\u00CF\u0086\u00CF\u0089,k(z) = 0 . (3.42)The solution for each Fourier component is then given by a sum of Besselfunctions\u00CF\u0086\u00CF\u0089,k(z) = C1zJ\u00CE\u00BD(qz) + C2zY\u00CE\u00BD(qz) (3.43)where \u00CE\u00BD =\u00E2\u0088\u009A1 +m2 = \u00E2\u0088\u0086 \u00E2\u0088\u0092 1 and q = \u00E2\u0088\u009A\u00CF\u00892 \u00E2\u0088\u0092 k2. Near the boundary, thefield must behave aslimz\u00E2\u0086\u00920\u00CF\u0086(z, t, x) = z\u00E2\u0088\u0086\u00CF\u00861(t, x) + z2\u00E2\u0088\u0092\u00E2\u0088\u0086\u00CF\u00860(t, x) (3.44)where \u00CF\u00860 and \u00CF\u00861 are the normalizable and the non-normalizable modes re-spectively. These modes can be related to the Bessel function solutionsthrough the holographic dictionary in (1.16). We thus have\u00E3\u0080\u0088O(t, x)\u00E3\u0080\u0089 = (2\u00E2\u0088\u0086\u00E2\u0088\u0092 2)\u00CF\u00861(t, x) , \u00CF\u00860(t, x) = 0 . (3.45)393.2. Scalar field in AdS3The constants C1, C2, can be determined by taking the z \u00E2\u0086\u0092 0 limit of theBessel function so thatC1 =2\u00E2\u0088\u0086\u00CE\u0093(\u00E2\u0088\u0086)\u00E2\u0088\u0086\u00E2\u0088\u0092 1 q\u00E2\u0088\u0092\u00CE\u00BD/2\u00E3\u0080\u0088O\u00CF\u0089,k(z)\u00E3\u0080\u0089 , C2 = 0 . (3.46)Therefore, the scalar field takes the form\u00CF\u0086(z, t, x) =2\u00E2\u0088\u0086\u00CE\u0093(\u00E2\u0088\u0086)\u00E2\u0088\u0086\u00E2\u0088\u0092 1 z\u00CB\u0086\u00CF\u00892>k2d\u00CF\u0089dk ei(kx\u00E2\u0088\u0092\u00CF\u0089t)q\u00E2\u0088\u0092\u00CE\u00BD/2J\u00CE\u00BD(qz)\u00E3\u0080\u0088O\u00CF\u0089,k(z)\u00E3\u0080\u0089 . (3.47)This is a fairly well-known result and can be found in [54, 55]We can now compute the stress tensor fromT(2)ab = \u00E2\u0088\u0082a\u00CF\u0086\u00E2\u0088\u0082b\u00CF\u0086\u00E2\u0088\u009212gab(\u00E2\u0088\u0082a\u00CF\u0086\u00E2\u0088\u0082b\u00CF\u0086+m2\u00CF\u00862). (3.48)The evaluation (3.48) is fairly involved, but with the aid of symbolic com-putation, the result isT(2)ab =\u00CB\u0086\u00CF\u008921>k21\u00CB\u0086\u00CF\u008922>k22dw1dk1dw2dk2 T\u00CB\u009C(2)tt (z, w1, w2, k1, k2)ei (k1+k2)x\u00E3\u0080\u0088Ow1,k2\u00E3\u0080\u0089\u00E3\u0080\u0088Ow2,k2\u00E3\u0080\u0089 .For the canonical energy evaluated on a Cauchy slice \u00CE\u00A3B, will only need theT(2)tt component of this equation. This is given byT\u00CB\u009C(2)tt (z, w1, w2, k1, k2) =14(2\u00E2\u0088\u0086\u00CE\u0093(\u00E2\u0088\u0086)\u00E2\u0088\u0086\u00E2\u0088\u0092 1)2q\u00E2\u0088\u0092\u00CE\u00BD1 q\u00E2\u0088\u0092\u00CE\u00BD2\u00C3\u0097[ (\u00E2\u0088\u0092z2(w1w2 + k1k2) + 2\u00CE\u00BD(\u00CE\u00BD \u00E2\u0088\u0092 1)) J\u00CE\u00BD(zq1)J\u00CE\u00BD(zq2)\u00E2\u0088\u0092(\u00CE\u00BD \u00E2\u0088\u0092 1) (q1zJ\u00CE\u00BD\u00E2\u0088\u00921(q1z)J\u00CE\u00BD(q2z) + q2zJ\u00CE\u00BD\u00E2\u0088\u00921(q2z)J\u00CE\u00BD(q1z))+q1q2z2J\u00CE\u00BD\u00E2\u0088\u00921(q1z)J\u00CE\u00BD\u00E2\u0088\u00921(q2z)].Although this formula is not very transparent, it can be simplified in certaincases. For m = 0, the stress tensor kernel reduces toT\u00CB\u009C(2)tt (z, w1, w2, k1, k2)|m=0 =4z2q1q2(q1q2J0 (zq1) J0 (zq2)\u00E2\u0088\u0092(k1k2 + w1w2) J1 (zq1) J1 (zq2)).The entanglement entropy contribution from the scalar field is then\u00CE\u00B4(2)SO =\u00CB\u0086\u00CE\u00A3B\u00CB\u0086\u00CF\u008921>k21\u00CB\u0086\u00CF\u008922>k22dz dx dw1dk1dw2dk2 (3.49)\u00C3\u0097pi(R2 \u00E2\u0088\u0092 z2 \u00E2\u0088\u0092 x2)ei(k1+k2)xRzT\u00CB\u009C(2)tt (z, w1, w2, k1, k2)\u00E3\u0080\u0088Ow1,k2\u00E3\u0080\u0089\u00E3\u0080\u0088Ow2,k2\u00E3\u0080\u0089 .403.3. Summary3.2.2 Constant scalar fieldasdasdTo simplify this expression even more, consider the case where \u00E3\u0080\u0088O\u00E3\u0080\u0089 isconstant so that the solution for \u00CF\u0086 is \u00CF\u0086(x, z) = \u00CE\u00B3\u00E3\u0080\u0088O\u00E3\u0080\u0089z\u00E2\u0088\u0086 with some normal-ization constant \u00CE\u00B3. In this case, the integrals in (3.49) are calculable and thecontribution to the entanglement entropy is explicitly\u00CE\u00B4(2)SO = \u00E2\u0088\u0092pi3/24\u00CE\u00B32\u00E3\u0080\u0088O\u00E3\u0080\u00892R2\u00E2\u0088\u0086\u00E2\u0084\u00A6d\u00E2\u0088\u00922 \u00E2\u0088\u0086\u00CE\u0093(\u00E2\u0088\u0086)\u00CE\u0093(\u00E2\u0088\u0086 + 32). (3.50)It is actually possible to carry out the constant scalar field calculation ind dimensions [1]. In this case, the formula generalizes to\u00CE\u00B4(2)SO = \u00E2\u0088\u0092pi`d\u00E2\u0088\u00921AdS4\u00CE\u00B32\u00E3\u0080\u0088O\u00E3\u0080\u00892R2\u00E2\u0088\u0086\u00E2\u0084\u00A6d\u00E2\u0088\u00922\u00E2\u0088\u0086\u00CE\u0093(d2 \u00E2\u0088\u0092 12)\u00CE\u0093(\u00E2\u0088\u0086\u00E2\u0088\u0092 d2 + 1)\u00CE\u0093(\u00E2\u0088\u0086 + 32). (3.51)This result agrees with previous calculations in [56, 57].3.3 SummaryThis Chapter has covered a lot of material. Firstly, we derived the mostgeneral perturbation to AdS spacetime from the CFT requirements on T\u00C2\u00B5\u00CE\u00BD .The result agreed with the expectation that the two-dimensional CFT dualfactorizes into holomorphic and antiholomorphic parts.We then derived the canonical energy for such a spacetime with the mainresult in (3.23). This result reduces to the BTZ black hole case discussed inChapter 2 as well as [50]. Furthermore, we proved the positivity directly, byusing some powerful theorems from linear algebra.Lastly, we found the contrition to the entanglement entropy from the ad-dition of an operator O in the CFT. Our calculation makes use of the mattercontribution canonical energy via (3.37). Although the formal expression isalmost unwieldy, in the simple case of constant \u00E3\u0080\u0088O\u00E3\u0080\u0089, the expression reducesnicely to (3.51).Overall, these methods contribute to the understanding how to recon-struct bulk geometry from the entanglement structure of a CFT. In partic-ular, we find that (to second order), the pure gravitational components maybe written as the product of CFT one-point functions. This remains possiblefor scalar perturbations, albeit more complicated.41Chapter 4Emergent de Sitter spacetimefrom entanglementIn a recent paper by de Boer et al. [24] it was recognized that, to firstorder, the entanglement entropy of a spatial ball-shaped region obeys theKlein-Gordon equation in de Sitter (dS) spacetime. In this construction,the size of the ball directly determines how far into the future/past a fieldpropagates. Causality in the bulk dS is then equivalent to an ordering ofthe spheres based on their size. This result holds for an arbitrary number ofdimensions and is independent of the standard AdS/CFT correspondence.In this Chapter, we first review the results of [24] for the first order entan-glement entropy. We then show how the second order entanglement entropycalculated from the canonical energy formalism is related to dynamical fieldsin dS. We find that the total entanglement entropy looks like a scalar fieldtheory with a cubic interaction in dS spacetime. Although the original workin [24] was independent of the number of dimension, our result is only ford = 2.4.1 Emergent de Sitter dynamics fromentanglementIn this section we review the argument of de Boer et al. [24] regarding theentanglement structure in a CFT and it\u00E2\u0080\u0099s implications for dynamics in deSitter spacetime.In the case of a flat d-dimensional CFT the vacuum subtracted entangle-ment entropy of a spherical region B, which is centred at x, with radius R,is\u00CE\u00B4(1)S(R, x) = 2pi\u00CB\u0086Bdd\u00E2\u0088\u00921x\u00E2\u0080\u00B2R2 \u00E2\u0088\u0092 |x\u00E2\u0088\u0092 x\u00E2\u0080\u00B2|22R\u00E3\u0080\u0088Ttt(x\u00E2\u0080\u00B2)\u00E3\u0080\u0089 (4.1)where \u00CE\u00B4(1)S denotes the entanglement entropy to first order in Ttt, the energy424.1. Emergent de Sitter dynamics from entanglementdensity operator. As discussed in Chapter 2 this comes from the first law ofentanglement \u00CE\u00B4(1)S = \u00CE\u00B4(1)\u00E3\u0080\u0088HB\u00E3\u0080\u0089.It was noticed by the authors of [24] that the integration kernel in (4.1) isthe bulk-to-boundary propagator in d-dimensional de Sitter spacetime withthe metricds2 =L2R2(\u00E2\u0088\u0092dR2 + dx2). (4.2)The scale L is a free parameter in this theory.The entropy \u00CE\u00B4(1)S(R, x) may be interpreted as a solution to the free scalarwave equation in dS spacetime(\u00E2\u0088\u00872dS \u00E2\u0088\u0092m2)\u00CE\u00B4(1)S(R, x) = 0 , (4.3)with the mass parameter set by m2 = \u00E2\u0088\u0092d/L2. Notice the mass is tachyonic.Fortunately, we will show that the boundary conditions imposed will removethe unstable modes associated with the tachyon.The CFT can be interpreted as living on either future or past infinityI\u00C2\u00B1. In this case, we will take I+ so that a future direction light cone ofa point (R, x) in dS intersects I+on the region with entanglement entropy\u00CE\u00B4(1)(R, x). The diagrammatic interpretation is illustrated in figure 4.1.The general solution to (4.3) has two independent asymptotic solutions,limR\u00E2\u0086\u00920\u00CE\u00B4(1)S(R, x) =F (x)R+Rd f(x) . (4.4)Through the holographic dictionary, the first term corresponds to a statewith conformal weight \u00E2\u0088\u0086 = \u00E2\u0088\u00921, and the second to a weight \u00E2\u0088\u0086 = d. Requiringthe solution to be regular at R = 0, we haveF (x) = 0, f(x) =pid+12\u00CE\u0093(d+32 )\u00E3\u0080\u0088Ttt(x)\u00E3\u0080\u0089 . (4.5)The absence of the F (x) precisely corresponds to removing the unstable(non-normalizable) modes of the tachyon [24].It can be interpreted that the energy density specifies the entanglemententropy at small scales (R \u00E2\u0086\u0092 0), while at larger scales the entanglemententropy is determined through the Lorentzian propagation into the bulkde Sitter geometry. In other words, the entanglement entropy for smallregions is determined by (4.1) and inputting this as an initial condition, theentanglement entropy for large regions is determined by (4.3). In contrast434.2. Interactions in de Sitter\u00CE\u00B7=\u00E2\u0088\u009EI\u00E2\u0088\u0092I+B(R, x)dSd\u00CE\u00B4(1)SFigure 4.1: Penrose diagram for dSd spacetime. The entangling region Bis in blue with the light cone reaching out to the unique bulk point (R, xi).The wavy line represents the field \u00CE\u00B4(1)S propagating from the bulk to theboundary.to the usual route in holography of computing holographic entanglemententropies, this method demonstrates that entanglement entropies themselvesgives hints at constructing dS spacetime holographically.In this picture, the radius of the ball in the CFT is the time coordinatein dS. There exists a specific map between the time in de Sitter spacetimeand the size of the ball in a CFT. A ball that is contained in another ball isconsidered timelike separated, while two disjoint balls are spacelike separatedas shown in figure 4.2. This gives a natural ordering to ball-shaped regionsas was suggested in [58].4.2 Interactions in de SitterThe view presented above is remarkably simple and begs the question; whatdo higher order terms of the entanglement entropy terms correspond to inde Sitter? Since in Chapter 3 we computed the second order correction tothe entanglement entropy in a 2d CFT, we can at least answer this questionfor \u00CE\u00B4(2)S and d = 2.Recall from Section 2.2 that the second order entanglement entropy is444.2. Interactions in de SitterI+ = {x|R = 0}x2Bx2x3Bx3x4Bx4x5Bx5Figure 4.2: The size of the entangling region determines the bulk depth inthe dS geometry. There is a one-to-one mapping between bulk points andspherical regions on the asymptotic future boundary I+. The light cone froma bulk point reaches the boundary on a spherical region.given by the sum of two terms\u00CE\u00B4(2)S(R, x) = \u00CE\u00B4(2)S+ + \u00CE\u00B4(2)S\u00E2\u0088\u0092 , (4.6)where we suppress the (R, x) dependence of \u00CE\u00B4(2)S\u00C2\u00B1 for convenience. Actingwith the Klein-Gordon equation for de Sitter spacetime on \u00CE\u00B4(2)S\u00C2\u00B1 gives(\u00E2\u0088\u00872dS \u00E2\u0088\u0092m2)\u00CE\u00B4(2)S\u00C2\u00B1 =\u00CB\u0086dx1\u00CB\u0086dx2 (\u00E2\u0088\u00872dS \u00E2\u0088\u0092m2)K(2)(R, x;x1, x2)\u00E3\u0080\u0088T\u00C2\u00B1\u00C2\u00B1(x1)\u00E3\u0080\u0089\u00E3\u0080\u0088T\u00C2\u00B1\u00C2\u00B1(x2)\u00E3\u0080\u0089 .Since only K(2) depends on x, we are only concerned with the action of thewave equation of K(2). Evaluating this explicitly gives(\u00E2\u0088\u00872dS \u00E2\u0088\u0092m2)K(2)(R, x;x1;x2) =12cL2K(1)(R, x;x1)K(1)(R, x;x2) (4.7)where K(1)(R, x;x1) = 2piR2\u00E2\u0088\u0092|x\u00E2\u0088\u0092x1|22R as per (4.1) and K(2) is given by (3.24).Reverting back to entropies, the equation of motion reads(\u00E2\u0088\u00872dS \u00E2\u0088\u0092m2)\u00CE\u00B4(2)S\u00C2\u00B1(R, x) =12cL2(\u00CE\u00B4(1)S\u00C2\u00B1(R, x))2. (4.8)Remarkably, the second order term has factored into an interaction termbetween two bulk-to-boundary propagators. If the first order term \u00CE\u00B4(1)Scorresponds to a free scalar field in de Sitter spacetime, then the secondorder term \u00CE\u00B4(2)S\u00C2\u00B1 corresponds to adding an cubic interaction for this field.Equation (4.8) can be derived from the LagrangianL\u00C2\u00B1 = 12(\u00E2\u0088\u0087a\u00CE\u00B4S\u00C2\u00B1)2 + 12m2\u00CE\u00B4S2\u00C2\u00B1 +4cL2(\u00CE\u00B4S\u00C2\u00B1)3 (4.9)454.2. Interactions in de Sitterx\u00E2\u0088\u0092R x+R\u00CE\u00B4S+ \u00CE\u00B4S+\u00CE\u00B4S+x1 x2g3(R, x)I+I+Figure 4.3: A visual interpretation of (4.7) as a Feynman diagram. The \u00CE\u00B4S\u00C2\u00B1field propagates from a point on asymptotic past infinity (I\u00E2\u0088\u0092), interacts withanother \u00CE\u00B4S\u00C2\u00B1 with a vertex given by g3 = 12cL2 and produces another \u00CE\u00B4S\u00C2\u00B1 fieldwhich reaches the bulk point (R, x).where the \u00C2\u00B1 fields are independent and the total scalar field in dS is \u00CE\u00B4S\u00C2\u00B1 =\u00CE\u00B4(1)S\u00C2\u00B1 + \u00CE\u00B4(2)S\u00C2\u00B1 + O(\u00E3\u0080\u0088T \u00E3\u0080\u00893). In this way the cubic interaction term in theLagrangian precisely produces the diagram in figure 4.3. It is interestingthat static entanglement entropy of regions produce dynamics (a classicalfield theory) in dS spacetime.The past R evolution of \u00CE\u00B4S\u00C2\u00B1 can be described by a past-directed dSGreen\u00E2\u0080\u0099s function\u00CE\u00B4S\u00C2\u00B1(R, x) =\u00CB\u0086dx\u00E2\u0080\u00B2 G(1)dS (R, x;x\u00E2\u0080\u00B2)\u00E3\u0080\u0088T\u00C2\u00B1\u00C2\u00B1(x\u00E2\u0080\u00B2)\u00E3\u0080\u0089 . (4.10)This function propagates the field from a location on future infinity I+ toa point inside the bulk dS space. Likewise, the full bulk-to-bulk Green\u00E2\u0080\u0099sfunction is required for the second order contribution\u00CE\u00B4(2)S\u00C2\u00B1(R, x) =12c\u00CB\u0086dSdR\u00E2\u0080\u00B2dx\u00E2\u0080\u00B2\u00E2\u0088\u009A|gdS|GdS(R, x;R\u00E2\u0080\u00B2, x\u00E2\u0080\u00B2)(\u00CE\u00B4S\u00C2\u00B1(R\u00E2\u0080\u00B2, x\u00E2\u0080\u00B2))2.(4.11)The bulk-to-boundary function G(1)dS (R, x0;x) can be obtained by takingthe R\u00E2\u0086\u0092 0 limit of the bulk-to-bulk propagatorGdS(R, x;R\u00E2\u0080\u00B2, x\u00E2\u0080\u00B2) = \u00E2\u0088\u00924piR2 +R\u00E2\u0080\u00B22 \u00E2\u0088\u0092 (x\u00E2\u0088\u0092 x\u00E2\u0080\u00B2)24RR\u00E2\u0080\u00B2(4.12)so thatG(1)dS (R, x;x\u00E2\u0080\u00B2) = 2piR2 \u00E2\u0088\u0092 (x\u00E2\u0088\u0092 x\u00E2\u0080\u00B2)22R, (4.13)464.2. Interactions in de Sitterwhich matches (4.1) from the first law of entanglement.These propagators are defined to be non-zero only within the past di-rected light-cone, which is important in reproducing both the support andthe exact form of K(2)(x1, x2) from (3.24).Positivity checkThe emergent de Sitter realization provides a very quick way to check thepositivity of Fisher information. By directly inserting the propagator (4.12)into expression (4.11), we have\u00CE\u00B4(2)S\u00C2\u00B1(R, x0) = \u00E2\u0088\u0092 12cL2\u00CB\u0086dSdR\u00E2\u0080\u00B2dx\u00E2\u0080\u00B2\u00E2\u0088\u009A|gdS|R2 +R\u00E2\u0080\u00B22 \u00E2\u0088\u0092 (x\u00E2\u0088\u0092 x\u00E2\u0080\u00B2)2RR\u00E2\u0080\u00B2(\u00CE\u00B4S\u00C2\u00B1(R\u00E2\u0080\u00B2, x\u00E2\u0080\u00B2))2.(4.14)The determinant of the metric is positive, along with the square of \u00CE\u00B4S\u00C2\u00B1. Themiddle term is also positive for (x\u00E2\u0080\u00B2 \u00E2\u0088\u0092 x)2 \u00E2\u0089\u00A4 (R \u00E2\u0088\u0092R\u00E2\u0080\u00B2)2 which lies completelyin the range of integration. Thus it is evident that \u00CE\u00B4(2)S\u00C2\u00B1 is strictly non-negative as required by the positivity of relative entropy.Thermal stateThe analysis thus far has assumed the entropy is that of a state perturbedfrom the vacuum. Using the CFT method in [1], it is straightforward togeneralize to the entropy of a state perturbed from a thermal state. Theresult is given by the propagation of a scalar field in a spacetime with themetricds2thermal =4pi2L2dS\u00CE\u00B2 sinh2(2piR\u00CE\u00B2) (\u00E2\u0088\u0092dR2 + dx2) . (4.15)The bulk-to-boundary propagator in this spacetime isK(1)\u00CE\u00B2 (R, x;x\u00E2\u0080\u00B2) =2\u00CE\u00B2sinh(2piR\u00CE\u00B2) sinh(pi (R\u00E2\u0088\u0092 x+ x\u00E2\u0080\u00B2)\u00CE\u00B2)sinh(pi (R+ x\u00E2\u0088\u0092 x\u00E2\u0080\u00B2)\u00CE\u00B2),with the entanglement entropy\u00CE\u00B4(1)S\u00CE\u00B2(R, x) = 2pi\u00CB\u0086dx\u00E2\u0080\u00B2 K(1)\u00CE\u00B2 (R, x;x\u00E2\u0080\u00B2)\u00E3\u0080\u0088Ttt(x\u00E2\u0080\u00B2)\u00E3\u0080\u0089 . (4.16)The kernel for the second order entanglement entropy, or the bulk-to-bulk474.3. Summarypropagator, isK(2)\u00CE\u00B2 (R, x;x1, x2) =24\u00CE\u00B22c sinh2(2piR\u00CE\u00B2)\u00C3\u0097\u00EF\u00A3\u00B1\u00EF\u00A3\u00B4\u00EF\u00A3\u00B4\u00EF\u00A3\u00B2\u00EF\u00A3\u00B4\u00EF\u00A3\u00B4\u00EF\u00A3\u00B3sinh2(pi(R\u00E2\u0088\u0092x1+x)\u00CE\u00B2)sinh2(pi(R+x2\u00E2\u0088\u0092x\u00E2\u0080\u00B2)\u00CE\u00B2), x2 \u00E2\u0089\u00A4 x1sinh2(pi(R+x1\u00E2\u0088\u0092x\u00E2\u0080\u00B2)\u00CE\u00B2)sinh2(pi(R\u00E2\u0088\u0092x+x\u00E2\u0080\u00B2)\u00CE\u00B2), x1 \u00E2\u0089\u00A4 x20 , |xi| > R.From the entropy, we see that states perturbed from a background state(thermal or vacuum) correspond to a dynamical scalar field in a backgroundspacetime. Whether this spacetime could be dynamical itself is an interestingopen question.4.3 SummaryIn this Chapter we have reviewed the previous work of [24] which relates theentanglement entropy of a CFT to tachyonic fields in an auxiliary de Sitterspacetime. Using the results from Chapter 3 we extended this interpreta-tion to include interacting fields in de Sitter. This construction provides asimple way to confirm the positivity of the canonical energy in Section 3.1.4.Additionally, we confirmed the result also holds for states perturbed from athermal background.48Chapter 5ConclusionFirstly, let us comment on the canonical energy procedure from Chapter3. While the Ryu-Takayangi formula gives a simple means to compute theexact entanglement entropy of a CFT, due to the difficulty of a direct CFTcomputation, it is impossible to verify in complex systems. In general, thefirst order contribution to the Ryu-Takayanagi entropy is given by the firstlaw of entanglement, a feature that is universal to all CFTs. At what orderdoes the Ryu-Takayangi formula differentiate holographic theories from othertheories?In this thesis we have suggested that the second order contribution mightbe appropriate to answer such a question. Unfortunately, in the case studiedin this thesis, the result remained universal for all two-dimensional CFTs, andhence did not restrict the number of possible holographic theories. We didfind however, that this contribution manifests itself as a cubic interactionterm within the emergent de Sitter formalism of [24]. This is an excitingresult that may yield insight into the structure of holographic theories andhow more realistic models of our universe (such as de Sitter spacetime) mayemerge.There are many possible future directions for the line of inquiry pursuedin Chapter 4 as summarized in figure 5.1. Firstly, it is possible to extend thiswork to arbitrary order in \u00E3\u0080\u0088T \u00E3\u0080\u0089 which has recently been done in [59]. In thiscase, the cubic potential in (4.9) is replaced with an exponential of \u00CE\u00B4S. Itis doubtful that this expansion could be attained in higher dimensions sincethe result depends on the infinite Virasoro symmetry in 2d CFTs. It is alsodoubtful that these results could be derived from the gravitational approachsince it would require new quantities beyond the canonical energy.Another reason the de Sitter interpration might be unique to d = 2CFTs is the fact that the conformal group in two-dimensions factorizes asSO(2, 2) ' SL(2,R) \u00C3\u0097 SL(2,R). It is clear from this why we obtainedtwo copies of de Sitter space, one for each of the left- and right-movingcomponents. Such a factorization does not hold in higher dimensions, so theemergent spacetime might be radically more complicated.We could also imagine adding additional operators Oi in the CFT to49Chapter 5. ConclusionAuxiliary dS HolographydS2 dSd\u00CE\u00B4(1)S \u00CE\u00B4(2)S \u00CE\u00B4(n)S \u00CE\u00B4(2)O S \u00CE\u00B4(1)S \u00CE\u00B4(2)S \u00CE\u00B4(n)S \u00CE\u00B4(2)O SFigure 5.1: A summary of progress and future directions for the auxiliaryde Sitter approach. Green boxes indicate solved problems, and red boxesindicate present challenges.see what they correspond to within the auxiliary dS space. However, unlikethe contribution from the stress tensor, the entropy from these operatorsinvolves integration of one-point functions over the full domain of dependenceDB. Rather than the space of entanglement entropies of spheres, one mightconsider the space of causal diamonds, to adequately generalize the auxiliaryde Sitter interpretation.It would also be interesting to see how this prescription works in higherdimensions. The first order term is already known to hold for arbitrary di-mensions. Unfortunately, pure gravity in higher dimensions faces the sameproblem as additional operators in the CFT. The entanglement entropy de-pends on the entire causal region DB, requiring a more advanced version ofde Sitter holography.Since the future boundary of the auxiliary de Sitter space does not includethe time direction of the CFT, any extension of these results to dynamicalentropies will also be problematic. It may be possible to circumvent thisproblem by using the canonical energy calculation in higher dimensions. Thiswould involve solving coupled partial differential equations, which might notadmit an analytic solution.The work presented in this thesis has opened many new directions forfuture research exploring the interplay between quantum information andholography. With the insight gained from these calculations, further studiesmay undertake a more ambitious understanding of high-dimensional AdSspacetime and the role of de Sitter spacetime in understanding the structureof holographic theories.50Bibliography[1] Matthew J. S. Beach, Jaehoon Lee, Charles Rabideau, and MarkVan Raamsdonk. Entanglement entropy from one-point functions inholographic states. arXiv:1604.05308 [hep-th], April 2016. arXiv:1604.05308.[2] Jacob D Bekenstein. Black Holes and Entropy. Physical Review D,7(8):2333 \u00E2\u0080\u0093 2346, April 1973.[3] S. W Hawking. The analogy between black-hole mechanics and thermo-dynamics. Annals of the New York Academy of Sciences, 224(1 SixthTexas S):268 \u00E2\u0080\u0093 271, December 1973.[4] S. W Hawking. Black holes and thermodynamics. Physical Review D,13(2):191 \u00E2\u0080\u0093 197, January 1976.[5] Charles W. Misner John A. Wheeler Kip S. Thorne John ArchibaldWheeler. Gravitation. W. H. Freeman, San Francisco, 1st edition editionedition, 1973.[6] Juan Maldacena. The Large-N Limit of Superconformal Field The-ories and Supergravity. International Journal of Theoretical Physics,38(4):1113 \u00E2\u0080\u0093 1133, April 1999.[7] Gary T. Horowitz. Introduction to Holographic Superconductors.arXiv:1002.1722 [gr-qc, physics:hep-th], 828:313\u00E2\u0080\u0093347, 2011. arXiv:1002.1722.[8] Sean A. Hartnoll. Lectures on holographic methods for condensed mat-ter physics. Classical and Quantum Gravity, 26(22):224002, November2009. arXiv: 0903.3246.[9] Edward Witten. Anti-de Sitter Space, Thermal Phase Transition, AndConfinement In Gauge Theories. arXiv:hep-th/9803131, March 1998.arXiv: hep-th/9803131.51Bibliography[10] Edward Witten. Anti De Sitter Space And Holography. arXiv:hep-th/9802150, February 1998. arXiv: hep-th/9802150.[11] Juan M. Maldacena. Eternal Black Holes in AdS. Journal of HighEnergy Physics, 2003(04):021\u00E2\u0080\u0093021, April 2003. arXiv: hep-th/0106112.[12] Donald Marolf and Joseph Polchinski. Gauge/Gravity Duality and theBlack Hole Interior. Physical Review Letters, 111(17), October 2013.arXiv: 1307.4706.[13] S. S. Gubser, I. R. Klebanov, and A. M. Polyakov. Gauge TheoryCorrelators from Non-Critical String Theory. Physics Letters B, 428(1-2):105\u00E2\u0080\u0093114, May 1998. arXiv: hep-th/9802109.[14] Shinsei Ryu and Tadashi Takayanagi. Holographic Derivation of Entan-glement Entropy from AdS/CFT. Physical Review Letters, 96(18), May2006. arXiv: hep-th/0603001.[15] Tatsuma Nishioka, Shinsei Ryu, and Tadashi Takayanagi. HolographicEntanglement Entropy: An Overview. Journal of Physics A: Mathemat-ical and Theoretical, 42(50):504008, December 2009. arXiv: 0905.0932.[16] Bartlomiej Czech, Patrick Hayden, Nima Lashkari, and Brian Swingle.The Information Theoretic Interpretation of the Length of a Curve.arXiv:1410.1540 [hep-th, physics:quant-ph], October 2014. arXiv:1410.1540.[17] Jennifer Lin, Matilde Marcolli, Hirosi Ooguri, and Bogdan Stoica. To-mography from Entanglement. Physical Review Letters, 114(22), June2015. arXiv: 1412.1879.[18] Mark Van Raamsdonk. Comments on quantum gravity and entangle-ment. arXiv:0907.2939 [gr-qc, physics:hep-th, physics:quant-ph], July2009. arXiv: 0907.2939.[19] Mark Van Raamsdonk. Building up spacetime with quantum entangle-ment. International Journal of Modern Physics D, 19(14):2429\u00E2\u0080\u00932435,December 2010. arXiv: 1005.3035.[20] Nima Lashkari, Charles Rabideau, Philippe Sabella-Garnier, and MarkVan Raamsdonk. Inviolable energy conditions from entanglement in-equalities. arXiv:1412.3514 [gr-qc, physics:hep-th], December 2014.arXiv: 1412.3514.52Bibliography[21] Nima Lashkari, Michael B. McDermott, and Mark Van Raamsdonk.Gravitational Dynamics From Entanglement \"Thermodynamics\". Jour-nal of High Energy Physics, 2014(4), April 2014. arXiv: 1308.3716.[22] Brian Swingle and Mark Van Raamsdonk. Universality of Gravityfrom Entanglement. arXiv:1405.2933 [gr-qc, physics:hep-th], May 2014.arXiv: 1405.2933.[23] D. Petz and C. Ghinea. Introduction to Quantum Fisher Information.pages 261\u00E2\u0080\u0093281, eprint: arXiv:1008.2417, January 2011.[24] Jan de Boer, Michal P. Heller, Robert C. Myers, and Yasha Neiman.Entanglement Holography. arXiv:1509.00113 [gr-qc, physics:hep-th,physics:quant-ph], August 2015. arXiv: 1509.00113.[25] A. Einstein, B. Podolsky, and N. Rosen. Can Quantum-MechanicalDescription of Physical Reality Be Considered Complete? Phys. Rev.,47(10):777\u00E2\u0080\u0093780, May 1935.[26] John Bell. On the Einstein Podolsky Rosen Paradox. 2:195\u00E2\u0080\u0093200, 1964.[27] Michael A. Nielsen and Isaac L. Chuang. Quantum Computation andQuantum Information. Cambridge University Press, Cambridge ; NewYork, 1 edition edition, October 2000.[28] J. Eisert, M. Cramer, and M. B. Plenio. Colloquium: Area laws for theentanglement entropy. Rev. Mod. Phys., 82(1):277\u00E2\u0080\u0093306, February 2010.[29] A. Saguia, M. S. Sarandy, B. Boechat, and M. A. Continentino. Entan-glement Entropy in Random Quantum Spin-S Chains. Physical ReviewA, 75(5), May 2007. arXiv: quant-ph/0703028.[30] Gil Refael and Joel E. Moore. Criticality and entanglement in randomquantum systems. arXiv:0908.1986 [cond-mat], August 2009. arXiv:0908.1986.[31] Veronika E. Hubeny, Mukund Rangamani, and Tadashi Takayanagi.A Covariant Holographic Entanglement Entropy Proposal. Journal ofHigh Energy Physics, 2007(07):062\u00E2\u0080\u0093062, July 2007. arXiv: 0705.0016.[32] Bin Chen and Jie-qiang Wu. Universal relation between thermal entropyand entanglement entropy in CFT. Physical Review D, 91(8), April2015. arXiv: 1412.0761.53Bibliography[33] Pasquale Calabrese and John Cardy. Entanglement Entropy and Quan-tum Field Theory. Journal of Statistical Mechanics: Theory and Exper-iment, 2004(06):P06002, June 2004. arXiv: hep-th/0405152.[34] Pasquale Calabrese and John Cardy. Entanglement entropy and confor-mal field theory. Journal of Physics A: Mathematical and Theoretical,42(50):504005, December 2009. arXiv: 0905.4013.[35] Luca Bombelli, Rabinder K. Koul, Joohan Lee, and Rafael D. Sorkin.Quantum source of entropy for black holes. Phys. Rev. D, 34(2):373\u00E2\u0080\u0093383,July 1986.[36] Mark Srednicki. Entropy and Area. Physical Review Letters, 71(5):666\u00E2\u0080\u0093669, August 1993. arXiv: hep-th/9303048.[37] C. Holzhey, F. Larsen, and F. Wilczek. Geometric and RenormalizedEntropy in Conformal Field Theory. Nuclear Physics B, 424(3):443\u00E2\u0080\u0093467,August 1994. arXiv: hep-th/9403108.[38] Sean A. Hartnoll, Christopher P. Herzog, and Gary T. Horowitz. Build-ing an AdS/CFT superconductor. Physical Review Letters, 101(3), July2008. arXiv: 0803.3295.[39] Sean A. Hartnoll. Horizons, holography and condensed matter.arXiv:1106.4324 [cond-mat, physics:gr-qc, physics:hep-th], June 2011.arXiv: 1106.4324.[40] Christopher P. Herzog. Lectures on Holographic Superfluidity and Su-perconductivity. Journal of Physics A: Mathematical and Theoretical,42(34):343001, August 2009. arXiv: 0904.1975.[41] Yasuhiro Sekino and Leonard Susskind. Fast Scramblers. JHEP,0810:065, 2008.[42] Hiroaki Matsueda. Geometry and Dynamics of Emergent Spacetimefrom Entanglement Spectrum. arXiv:1408.5589 [hep-th], August 2014.arXiv: 1408.5589.[43] Nima Lashkari. Relative Entropies in Conformal Field Theory. PhysicalReview Letters, 113(5), July 2014. arXiv: 1404.3216.[44] Patrick Hayden and John Preskill. Black holes as mirrors: quantuminformation in random subsystems. Journal of High Energy Physics,2007(09):120\u00E2\u0080\u0093120, September 2007. arXiv: 0708.4025.54Bibliography[45] Michael Freedman and Matthew Headrick. Bit threads and holographicentanglement. arXiv:1604.00354 [hep-th, physics:quant-ph], April 2016.arXiv: 1604.00354.[46] Maximo Banados. Three-dimensional quantum geometry and blackholes. arXiv:hep-th/9901148, pages 147\u00E2\u0080\u0093169, 1999. arXiv: hep-th/9901148.[47] M. C. Escher. Circle Limit IV (Heaven and Hell). Woodcut in blackand ocre., 1960.[48] Thomas Faulkner, Aitor Lewkowycz, and Juan Maldacena. Quantumcorrections to holographic entanglement entropy. JHEP, 1311:074, 2013.[49] Aitor Lewkowycz and Juan Maldacena. Generalized gravitational en-tropy. JHEP, 1308:090, 2013.[50] Nima Lashkari and Mark Van Raamsdonk. Canonical Energy isQuantum Fisher Information. arXiv:1508.00897 [gr-qc, physics:hep-th,physics:quant-ph], August 2015. arXiv: 1508.00897.[51] Pieter Kok and Brendon W. Lovett. Introduction to Optical QuantumInformation Processing. Cambridge University Press, April 2010.[52] Stefan Hollands and Robert M. Wald. Stability of Black Holes andBlack Branes. Communications in Mathematical Physics, 321(3):629\u00E2\u0080\u0093680, August 2013. arXiv: 1201.0463.[53] Steven Roman. Advanced Linear Algebra. Springer, softcover reprint ofhardcover 3rd ed. 2008 edition edition, November 2010.[54] Horatiu Nastase. Introduction to AdS-CFT. arXiv:0712.0689 [hep-th],December 2007. arXiv: 0712.0689.[55] Alfonso V. Ramallo. Introduction to the AdS/CFT correspondence.arXiv:1310.4319 [cond-mat, physics:hep-ph, physics:hep-th], October2013. arXiv: 1310.4319.[56] David D. Blanco, Horacio Casini, Ling-Yan Hung, and Robert C. Myers.Relative Entropy and Holography. Journal of High Energy Physics,2013(8), August 2013. arXiv: 1305.3182.[57] Antony J. Speranza. Entanglement entropy of excited states in confor-mal perturbation theory and the Einstein equation. arXiv:1602.01380[gr-qc, physics:hep-th], February 2016. arXiv: 1602.01380.55Bibliography[58] Bartlomiej Czech, Lampros Lamprou, Samuel McCandlish, and JamesSully. Tensor Networks from Kinematic Space. arXiv:1512.01548 [hep-th], December 2015. arXiv: 1512.01548.[59] Jan de Boer, Felix M. Haehl, Michal P. Heller, and Robert C. Myers.Entanglement Holography and Causal Diamonds. arXiv:1606.03307 [gr-qc, physics:hep-th], June 2016. arXiv: 1606.03307.56"@en .
"Thesis/Dissertation"@en .
"2016-09"@en .
"10.14288/1.0308738"@en .
"eng"@en .
"Physics"@en .
"Vancouver : University of British Columbia Library"@en .
"University of British Columbia"@en .
"Attribution-NonCommercial-NoDerivatives 4.0 International"@* .
"http://creativecommons.org/licenses/by-nc-nd/4.0/"@* .
"Graduate"@en .
"Second order relative entropy in holographic theories"@en .
"Text"@en .
"http://hdl.handle.net/2429/58946"@en .