Quantum Fields and Strings

Multi-matrix integrals in  planar, large N limit are genuine functional integrals, in general very difficult to compute.  Apart from some known solvable examples (one-matrix model, two-matrix model with specific interaction, etc) one has to rely on perturbation theory or Monte-Carlo at large enough N.  Matrix bootstrap (MB), initiated by Anderson and Kruczenski, and Lin,  is an interesting alternative to these methods. MB deals with the planar loop equations for loop moments -- the averages of traces of "words" built out of products of matrix variables.   The number of unknowns - loop moments - grows with the length of words quicker then the number of  loop equations. The needed extra conditions come from the positivity of correlation matrix of loop moments. This allows, at a given cut-off on the length of words, to establish the upper and lower limits for particular, lowest loop moments, sometimes with an excellent precision.  The main difficulty of the previous works is the non-linearity of loop equations, leading to a  non-convex  optimization procedure. In our recent paper with Zechuan Zheng, we propose to complete this scheme with the relaxation procedure:   the non-linear loop equations are incorporated into the relaxation matrix  as linear inequalities. The problem becomes the standard SDP, allowing for longer loops and thus a better precision. We demonstrate the relaxed matrix bootstrap (RMB) on the example of an analytically unsolvable 2-matrix model. The RMB for Z_2 symmetric states  gives a very satisfactory precision for generic parameters,  up to 6 digits.  We also managed  to apply   RMB  to  more challenging, Z_2 symmetry breaking solutions, though with  less of precision.  We also prove analytically, using the Hamburger problem, that MB for the 1-matrix model converges to physical solutions, with eigenvalues distributed only on the real axis.

We consider quantum field theory on a rigid de Sitter space. We show that the perturbative expansion of late-time correlation functions to all orders can be equivalently generated by a non-unitary Lagrangian on a Euclidean AdS geometry. We use this to infer the analytic structure of the spectral density that captures the conformal partial wave expansion of a late-time four-point function, to derive an OPE expansion, and to constrain the operator spectrum. Generically, dimensions and OPE coefficients do not obey the usual CFT notion of unitarity. Instead, unitarity of the de Sitter theory manifests itself as the positivity of the spectral density. We illustrate and check these properties by explicit calculations in a scalar theory by computing first tree-level, and then full one-loop-resummed exchange diagrams.

I discuss the question how string theory achieves a sum over bulk geometries with fixed asymptotic boundary conditions. I analyze this problem with the help of the tensionless string on AdS3xS3xT4 (with one unit of NS-NS flux) that was recently understood to be dual to the symmetric orbifold of T4. I argue that large stringy corrections around a fixed background can be interpreted as different semiclassical geometries, thus making a sum over semi-classical geometries superfluous.

Crossing symmetry asserts that particles are indistinguishable from anti-particles traveling back in time. In quantum field theory, this statement translates to the long-standing conjecture that probabilities for observing the two scenarios in a scattering experiment are described by one and the same function. Why could we expect it to be true? In this talk we examine this question in a simplified setup and take steps towards illuminating a possible physical interpretation of crossing symmetry. To be more concrete, we consider planar scattering amplitudes involving any number of particles with arbitrary spins and masses to all loop orders in perturbation theory. We show that by deformations of the external momenta, one can smoothly interpolate between the future and the past lightcones without encountering any singularities.

I will explain how to compute correlation functions of two heavy operators and a light BPS single-trace operator at strong coupling using a dual description of D-branes absorbing a supergravity mode. Our approach is inspired by the large charge expansion of CFT and resolves some confusions in the literature on the holographic computation involving heavy operators. In particular, we point out two important effects which are often missed; the first one is an average over classical configurations of the heavy state, which physically amounts to projecting the state to an eigenstate of quantum numbers. The second one is the contribution from wave functions of the heavy state. Time permitting I will also comment on possible applications to states dual to black holes and fuzzballs.

This talk will be about entanglement entropy in empty 4-dimensional de Sitter spacetime of a non-conformal QFT [1]. I will first briefly describe the set-up and show how a hydrodynamic plasma dilutes and falls out of equilibrium due to expansion towards empty de Sitter spacetime. Interestingly, in the empty setting we can show that extremal surfaces in the holographic dual of spherical entangling regions on the boundary QFT probe beyond the dual event horizon if and only if the entangling region is larger than the cosmological horizon.

[1] Jorge Casalderrey-Solana, Christian Ecker, David Mateos and WS, Strong-coupling dynamics and entanglement in de Sitter space, 2011.08194

I will give an introduction to the geometric aspects of Lie algebroids and show how they give the correct framework to discuss gauge theories. The analysis is solely based on geometry, and thus applies to every gauge theory, independently of their specific features and dynamics. By thoroughly re-formulating the physical content of gauge theories on Atiyah Lie algebroids, we will show that the BRST construction is part of the formalism, indicating a fascinating interplay between classical geometry and quantum physics. Time permitting, we will show how our setup encompasses gravitational theories too, once the frame bundle and solder form are added to the picture.

We show that bulk operators lying between the outermost extremal surface and the asymptotic boundary admit a simple boundary reconstruction in the classical limit. This is the converse of the Python's lunch conjecture, which proposes that operators with support between the minimal and outermost (quantum) extremal surfaces - e.g. the interior Hawking partners - are highly complex. Our procedure for reconstructing this "simple wedge" is based on the HKLL construction, but uses causal bulk propagation of perturbed boundary conditions on Lorentzian timefolds to expand the causal wedge as far as the outermost extremal surface. As a corollary, we establish the Simple Entropy proposal for the holographic dual of the area of a marginally trapped surface as well as a similar holographic dual for the outermost extremal surface. We find that the simple wedge is dual to a particular coarse-grained CFT state, obtained via averaging over all possible Python's lunches. An efficient quantum circuit converts this coarse-grained state into a "simple state" that is indistinguishable in finite time from a state with a local modular Hamiltonian. Under certain circumstances, the simple state modular Hamiltonian generates an exactly local flow; we interpret this result as a holographic dual of black hole uniqueness.

The quantum gravity path integral involves a sum over topologies. Superficially, this feature is similar to Feynman diagrams of quantum field theory and the genus expansion of worldsheet string theory. There are however some key differences. While the standard construction leads to the non-abelian algebra of quantum fields, the quantum gravity path integral has been argued to define an abelian algebra associated with partition function type observables. We will discuss these issues and argue that one needs to make certain discrete choices to construct a Hilbert space from path integrals that sum over topologies. In particular, the natural choices for quantum gravity differ from those used to construct QFTs as we shall illustrate in the context of one-dimensional models.

The last decade has seen significant progress in our understanding of scattering in anti-de Sitter (AdS) space. Through the AdS/CFT correspondence, we can reformulate scattering processes in AdS in terms of correlation functions in Conformal Field Theory (CFT), which are sharply defined by the requirements of Conformal Symmetry, Unitarity and a consistent Operator Product expansion. Accordingly, numerous highly effective techniques for the study of scattering in AdS have been developed. This has been driven largely by the Conformal Bootstrap programme, which aims to carve out the space of consistent CFTs (and, in turn, quantum gravities in AdS space) principally through the three basic consistency requirements above. In this talk I will describe some steps towards extending some of these techniques and results to boundary correlators in de Sitter (dS) space. Compared to AdS, we have little grasp of the properties required of consistent correlation functions in Euclidean CFTs dual to physics in dS. The boundaries at infinity in dS are space-like with no standard notion of locality and time, so the basic criteria that underpin the Conformal Bootstrap programme do not directly apply to the corresponding programme in dS, the so-called Cosmological bootstrap. I will show how boundary correlators in AdS and dS can be placed on a similar footing by introducing a Mellin-Barnes representation in momentum space, providing a framework that could facilitate bridging the gap between the Conformal and Cosmological bootstrap programmes. I will then discuss how the Mellin-Barnes representation itself can be a useful tool to study boundary correlators both in AdS and dS.

In recent years quantum error correction(QEC) has become an important part of AdS/CFT. Unfortunately, there are no field-theoretic arguments about why QEC holds in known holographic systems. The purpose of this paper is to fill this gap by studying the error-correcting properties of the fermionic sector of various large N theories. Specifically, we examine SU(N) matrix quantum mechanics and 3-rank tensor O(N)^3 theories. Both of these theories contain large gauge groups. We argue that gauge singlet states indeed form a quantum error-correcting code. Our considerations are based purely on large N analysis and do not appeal to a particular form of Hamiltonian or holography. Based on: arXiv: 2008.12869