Black Holes, Matrix Models and Large D

Transcription

1 Black Holes, Matrix Models and Large D Frank FERRARI Université Libre de Bruxelles International Solvay Institutes Quantum Gravity in Paris IHP, Paris, March 23th, 2017

2 Plan of the talk 1. Building Quantum Models for Black Holes from Holography 2. Basic Properties of Black Holes From the Bulk Description 3. Sachdev-Ye-Kitaev 4. An interesting development: large D in General Relativity (Emparan et al.) 5. The new large D limit of planar diagrams: towards an exactly solvable quantum black hole (Ferrari 2017).

3 Building Quantum Models for Black Holes from Holography The holographic correspondence teach us that bulk gravitational physics in d dimensions is an emergent phenomenon. The fundamental description is a standard quantum mechanical system with no gravity, living in d <d dimensions. Bulk space-times containing a black hole at Hawking temperature T are described in this way by an ordinary (meaning: well-defined from standard quantum mechanics without gravity) quantum system in the canonical ensemble at temperature T.

4 Building Quantum Models for Black Holes from Holography This is an extraordinarily non-trivial statement, in particular because black holes have many puzzling properties that are not usually associated with standard quantum systems, as we shall review. Clearly, only rather special and non-trivial quantum theories can do the job. As it will become clear, the required models must describe some kind of many-body system in some thermodynamical limit (large number of degrees of freedom). Moreover, black hole physics and more generally an emergent space-time description can only be found in the fully strongly coupled quantum regime of these models. Note also that SUSY cannot help because of the finite temperature (it may help only for some extremal black holes, which have T=0 but can still have a large entropy).

5 Building Quantum Models for Black Holes from Holography In résumé, a quantum black hole must be some kind of strongly interacting many-body system with a very large number of degrees of freedom. Solving the problem requires: 1. To guess what precisely these models could be (understood). 2. To solve them at strong coupling (we are making nice progress right now). 3. To understand the dictionary with the bulk physics (mainly remains to be done). Overall an extremely difficult but very exciting research programme which has kept a large community of people busy for many many years. The great news is that we may, after all, be rather close to complete this programme at least in a class of interesting examples.

6 Building Quantum Models for Black Holes from Holography 1. To guess what precisely these models could be. To solve this first point, string theory has been an invaluable tool. All our basic intuition really comes from D-brane constructions, in the spirit of the original argument by Maldacena for the holographic correspondence. The outcome, that we shall briefly explain below, is that one needs to consider gauged quantum mechanical models of NXN matrices in the large N (planar) limit and at strong coupling. We thus see that the problem will be somehow similar and related to the problem of solving QCD. A startling illustration of the unification of ideas in theoretical physics and also a clue to the difficulty of the problem.

7 Building Quantum Models for Black Holes from Holography 1. To guess what precisely these models could be. A stack of N Dp-branes is described microscopically by NXN matrix degrees of freedom A i j, 0 apple apple p X i µj, 1 apple µ apple D = d p 1 1 apple i, j apple N U(N) i open strings X i j j gauging closed strings G Newton 1 N 2 tr (X X)

8 Building Quantum Models for Black Holes from Holography Two salient examples: 1. p=3, D3-branes, N=4 super Yang-Mills X µ, 1 apple µ apple 6 = p=0, D0-branes, BFSS matrix quantum mechanics X µ, 1 apple µ apple 9 = Typical interaction terms are tr X µ X µ X X, tr X µ X X µ X V (X) = N tr 2 as in X µ,x

9 2. Basic Properties of Black Holes From the Bulk Description ia) The continuous spectrum ib) The quasi-normal behaviour ic) Unitarity violation ii) The chaotic behaviour iiia) The emergent space-time: probes iiib) The emergent space-time: operators iiic) The emergent space-time: entanglement entropy etc

10 2. Basic Properties of Black Holes From the Bulk Description ia) The continuous spectrum Intuition: any frequency gap can be infinitely redshifted near the horizon. Math: the potential in tortoise coordinate r is becoming flat when r! 1. Puzzling in the quantum mechanical description, where the spectrum is always discrete! However, we expect the typical gap to be e degeneracy at zero coupling. 20 N 2 due to the high The discreteness of the spectrum is a nonperturbative quantum gravity effect (with A. Bilal, C. De Lacroix and Tatsuo Azeyanagi)

11 2. Basic Properties of Black Holes From the Bulk Description ib) The quasi-normal behaviour Intuition: any small perturbation in the black hole background will eventually falls into the horizon and thus should decay. Math: wave operators are not self-adjoint because of the boundary condition at the horizon; the eigenvalues can have a negative imaginary part.

12 2. Basic Properties of Black Holes From the Bulk Description ibc) The quasi-normal behaviour and loss of unitarity In quantum mechanics, the consequence of a small perturbation is governed by two-point functions via linear response theory, (!) = 1 e! Z +1 [A(t),B] = (!)e i!t d! Z X p,q e E p A pq B qp (! + E p E q ) The quasi-normal behaviour is inconsistent with unitarity and a discrete spectrum. The large N limit should thus yield a non-unitary model with a continuous spectrum. At large N, the Poincaré recurrences are pushed away to infinity. 1

13 2. Basic Properties of Black Holes From the Bulk Description ii) The chaotic behaviour Intuition: very small perturbations at early times can be infinitely blueshifted and thus have drastic effects. This is chaos. (Shenker, Stanford) In the quantum mechanics, this is governed by out-of-time-ordered four point functions which can grow exponentially in time. [A(t),B] 2 1 N 2 e2 Lt The associated Lyapunov exponent for black holes is universal L = 2 and is supposed to be an upper bound over a large class of QM models for which it can be defined.

14 2. Basic Properties of Black Holes From the Bulk Description iii) The emergent space-time Big question: how do we see the emergent space-time from the point fo view of the quantum mechanics? Possible strategies: 1) Use D-probes, for example D-particles. These can always be defined in matrix theories and the geometry can be read off in full details from their effective action. 2) Use correlation functions of high dimension operators to compute geodesic lengths. 3) Use entanglement entropy to compute areas of embedded surfaces à la Ryu-Takayanagi.

15 2. Basic Properties of Black Holes From the Bulk Description iii) The emergent space-time Eventually, one would like to understand the full holographic dictionary. The most puzzling questions concern the interior of the black hole, if it exists (i.e. there is no firewall). In the interior, time emerges. To make this precise is one of the main conceptual challenge in the field. There is also a deep link with cosmology.

16 3. Sachdev-Ye-Kitaev Consider the following Hamiltonian: H = 1 4! J ijkl i j k l where the i are Dirac gamma matrices in N=2n dimensions. The couplings J are chosen randomly from a Gaussian distribution with hhj 2 ii 1 N 3 The model is simple to treat because interesting quantities, like the free energy or the correlation functions, are self-averaging at large N. One can thus average over the disorder to compute at large N.

17 3. Sachdev-Ye-Kitaev When we do so, it is not too difficult to realize that the large N limit is dominated by so-called melon Feynman diagrams. For example, a typical melon for the two-point function is These diagrams have a recursive structure and can be resummed exactly from a Schwinger-Dyson equation. For four-point functions, one gets similar ladder diagrams which can be resummed as well.

18 3. Sachdev-Ye-Kitaev The result of these calculations is extremely surprising and interesting. One finds that the model shares some of the non-trivial features expected for quantum black holes. This includes the appearance of a continuous spectrum at large N, the quasinormal behaviour, the loss of unitarity and the chaotic behaviour with the correct Lyapunov exponent L = /2 for black holes! Another interesting aspect of the model is that it is very easy to implement the finite N version on a computer. Finite N (i.e. non-perturbative quantum gravity ) effects can thus be studied.

19 3. Sachdev-Ye-Kitaev On the other hand, the bulk interpretation is much more mysterious. The model does not have any natural string theory interpretation. It might be related to higher spins in the bulk, since it looks like a vector model. But in vector models, you do not have black holes The use of disorder is another problem. It is OK at large N for self-averaging quantities, but otherwise averaging over disorder does not seem to make sense (what one gets is then not a quantum theory). So any study of the finite N effects along these lines seem rather dubious, at least to me.

20 3. Sachdev-Ye-Kitaev The conclusion is that the reason why SYK is good, at least on some of the important aspects, seems quite mysterious The remaining of the talk will be devoted to provide an answer to this question. We shall enlarge enormously the range of models that can be studied and make the link with string theory precise.

21 4. Large D in General Relativity Let us now briefly review a seemingly totally unrelated development, initiated by Emparan, Suzuki and Tanabe in These authors proposed to study general relativity, in particular the black hole space-times in general relativity, by looking at the limit of very large spacetime dimension d. The intuition is that at large d, the gravitational field falls off very quickly. A black hole gravitational field is thus limited to a very small region around the horizon. It turns out that this idea allows to simplify drastically some analytical calculations, while keeping the main qualitative features of black hole physics. The authors were in particular able to compute the quasi-normal spectrum in the large d expansion in a variety of cases, and to study the dynamics of multi black hole solutions in a membrane approach.

22 4. Large D in General Relativity Let us now briefly review a seemingly totally unrelated development, initiated by Emparan, Suzuki and Tanabe in These authors proposed to study general relativity, in particular the black hole space-times in general relativity, by looking at the limit of very large spacetime dimension d. The intuition is that at large d, the gravitational field falls off very quickly. A black hole gravitational field is thus limited to a very small region around the horizon. It turns out that this idea allows to simplify drastically some analytical calculation, while keeping the main qualitative features of black hole physics. The authors were in particular able to compute the quasi-normal spectrum in the large d expansion in a variety of cases, and to study the dynamics of multi black hole solutions in a membrane approach.

23 4-5. Large D in General Relativity and in Matrix Quantum Mechanics I won t into more details about this approach, because I simply want to use it as a motivation for the following observation. X i µj, 1 apple µ apple D = d p 1 One is naturally led to the idea of studying the large D limit of matrix quantum mechanics!

24 5. The new large D limit of planar diagrams Let us thus consider O(D) invariant matrix quantum mechanics of the form X L = ND tr Ẋ µẋµ + m 2 X µx µ where the interaction terms are B t B I B (X) I B =tr X µ1 X µ 2 X µ3 X µ 4 X µ5 X µ 2s For example, take the interaction potential to be t 1 tr X µ X µ X X + t 2 tr X µ X X µ X t 1 t 2

25 5. The new large D limit of planar diagrams X L = ND tr Ẋ µẋµ + m 2 X µx µ B t B I B (X) I B =tr X µ1 X µ 2 X µ3 X µ 4 X µ5 X µ 2s One can then consider large D at fixed couplings t. This is the usual vector model like large D limit. In effect, we simply have vectors of matrices. We get a double large N and large D expansion of the form F = X (g,`)2n 2 f g,`n 2 2g D 1 ` At leading order, only the vertex with no crossing contribute.

26 5. The new large D limit of planar diagrams F = X (g,`)2n 2 f g,`n 2 2g D 1 ` There is an interesting interplay between the large N and the large D limit. For example, if only the vertex with no crossing is included (or similar vertices), one can show that ` g, which is an interesting non-renormalization theorem in the large D expansion. However, this limit is too simple: the physics is similar to vector model physics, and there is no black hole. We have thrown away to many diagrams.

27 5. The new large D limit of planar diagrams t 1 tr X µ X µ X X + t 2 tr X µ X X µ X t 1 t 2 The question is: can we do the limit in a more interesting way, trying to keep more diagrams? This would mean that, instead of maintaining the ts fixed, we try to enhance them by letting them scale as a power of D: t = D, > 0?

28 5. The new large D limit of planar diagrams On first sight, this seems inconsistent. Indeed, with the enhanced couplings, one can typically build diagrams with arbitrarily high powers of D. t Hooftlike scaling is very delicate and naively cannot be changed without either eliminating all diagrams (trivial) or having a diverging limit However, this is where a miracle occurs. It turns out that, to any vertex B, one can associate a genus g(b) such that the large D limit with t B = D g(b) B, B fixed makes sense!

29 5. The new large D limit of planar diagrams I have no time to prove this statement here. The idea is to generalise recent developments in tensor models (led by Adrian Tanasa and collaborators). The nice thing is that these tools can be adapted to matrix models, and to large D! Maybe this is not too surprising: tensor models deal for example with threeindex objects and have a or symmetry. U(N) 3 O(N) 3 Our objects also have three indices: X i µj, 1 apple µ apple D = d p 1 1 apple i, j apple N The symmetry is U(N) 2 O(D) or U(N) O(D) for complex or Hermitian matrices. Hermitian matrices seem incompatible with tensor models, but it turns out that the tensor model technology continues apply for planar diagrams, which are the physically most relevant diagrams.

30 5. The new large D limit of planar diagrams

31 5. The new large D limit of planar diagrams X i µj, 1 apple µ apple D = d p 1 U(N) 2 O(D) 1 apple i, j apple N U(N) O(D) Conceptually, it is crucial to distinguish between D and N to make the link with string theory: U(N) is a gauge symmetry whereas O(D) is a global symmetry! A very strong statement is also that these results apply to Hermitian matrices, where the symmetry is reduced. This is an unexpected extension of tensor model technology, which relies heavily in having a distinct symmetry group attached to each tensor index.

32 5. The new large D limit of planar diagrams In the new scaling, we can prove that the large D limit of the sum over diagrams of any fixed genus g exist: F = X g 0 N 2 2g F g F g = X` 0 D 1+g `/2 F g,` l is a new index associated to any Feynman diagram. The crucial point is that the exponent of the power of D that can show up in a diagram is bounded above for any given genus. Of course, the new large D limit does not commute with the large N limit: one first take large N, and then large D. The other order does not make sense.

33 5. The new large D limit of planar diagrams For example, the genera associated with the two basic quartic vertices are g(b)=0, no enhancement. g(b)=1/2, enhancement! The vertex with crossings can be enhanced! One then gets many more Feynman diagrams at leading order!

34 5. The new large D limit of planar diagrams It turns out that the leading large D planar diagrams are melons : The link with SYK is made: we ll get here all the nice features of SYK, plus many extra bonuses because we are working in string-inspired matrix models.

35 This obviously opens up a large realm of possibilities: it seems that we have a new approximation scheme for matrix theories, which has the two superficially incompatible properties: 1) it is amenable to analytic studies, because melons are tractable 2) it captures the essential physics contained in planar diagrams.

36 Thank you for your attention!