Snowmass White Paper: Bootstrapping String Theory
We discuss progress and prospects in the application of bootstrap methods to string theory.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Silviu S. Pufu contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We discuss progress and prospects in the application of bootstrap methods to string theory.
We study the mass-deformed sphere free energy of three-dimensional $\mathcal{N} = 2$ superconformal field theories with holographic duals. Building on previous observations, we conjecture a proportionality relation between the sphere free energy on the boundary and the prepotential of the four-dimensional $\mathcal{N} = 2$ supergravity theory in the bulk. We verify this formula by explicit computation in several examples of supergravity theories with vector multiplets and hypermultiplets.
We study which bulk couplings contribute to the $S^3$ free energy $F(\mathfrak{m})$ of three-dimensional ${\cal N} = 2$ superconformal field theories with holographic duals, potentially deformed by boundary real-mass parameters $\mathfrak{m}$. In particular, we show that $F(\mathfrak{m})$ is independent of a large class of bulk couplings that include non-chiral F-terms and all D-terms. On the other hand, in general, $F(\mathfrak{m})$ does depend non-trivially on bulk chiral F-terms, such as prepotential interactions, and on bulk real-mass terms. These conclusions can be reached solely from properties of the AdS super-algebra, $\mathfrak{osp}(2|4)$. We also consider massive vector multiplets in AdS, which in the dual field theory correspond to long single-trace superconformal multiplets of spin zero. We provide evidence that $F(\mathfrak{m})$ is insensitive to the vector multiplet mass and to the interaction couplings between the massive vector multiplet and massless ones. In particular, this implies that $F(\mathfrak{m})$ does not contain information about scaling dimensions or OPE coefficients of single-trace long scalar ${\cal N} = 2$ superconformal multiplets.
We develop a new embedding-space formalism for AdS$_4$ and CFT$_3$ that is useful for evaluating Witten diagrams for operators with spin. The basic variables are Killing spinors for the bulk AdS$_4$ and conformal Killing spinors for the boundary CFT$_3$. The more conventional embedding space coordinates $X^I$ for the bulk and $P^I$ for the boundary are bilinears in these new variables. We write a simple compact form for the general bulk-boundary propagator, and, for boundary operators of spin $\ell \geq 1$, we determine its conservation properties at the unitarity bound. In our CFT$_3$ formalism, we identify an $\mathfrak{so}(5,5)$ Lie algebra of differential operators that includes the basic weight-shifting operators. These operators, together with a set of differential operators in AdS$_4$, can be used to relate Witten diagrams with spinning external legs to Witten diagrams with only scalar external legs. We provide several applications that include Compton scattering and the evaluation of an $R^4$ contact interaction in AdS$_4$. Finally, we derive bispinor formulas for the bulk-to-bulk propagators of massive spinor and vector gauge fields and evaluate a diagram with spinor exchange.
When the $SU(N)$ ${\cal N} = 4$ super-Yang-Mills (SYM) theory with complexified gauge coupling $τ$ is placed on a round four-sphere and deformed by an ${\cal N} = 2$-preserving mass parameter $m$, its free energy $F(m, τ, \bar τ)$ can be computed exactly using supersymmetric localization. In this work, we derive a new exact relation between the fourth derivative $\partial_m^4 F(m, τ, \bar τ) \big|_{m=0}$ of the sphere free energy and the integrated stress-tensor multiplet four-point function in the $\mathcal{N}=4$ SYM theory. We then apply this exact relation, along with various other constraints derived in previous work (coming from analytic bootstrap, the mixed derivative $\partial_τ\partial_{\bar τ} \partial_m^2 F(m, τ, \bar τ) \big|_{m=0}$, and type IIB superstring theory scattering amplitudes) to determine various perturbative terms in the large $N$ and large 't Hooft coupling $λ$ expansion of the ${\cal N} = 4$ SYM correlator at separated points. In particular, we determine the leading large-$λ$ term in the ${\cal N} = 4$ SYM correlation function at order $1/N^8$. This is three orders beyond the planar limit.
We revisit the scalar $O(N)$ model in the dimension range $4<d<6$ and study the effects caused by its metastability. As shown in previous work, this model formally possesses a fixed point where, perturbatively in the $1/N$ expansion, the operator scaling dimensions are real and above the unitarity bound. Here, we further show that these scaling dimensions do acquire small imaginary parts due to the instanton effects. In $d$ dimensions and for large $N$, we find that they are of order $e^{-N f(d)}$, where, remarkably, the function $f(d)$ equals the sphere free energy of a conformal scalar in $d-2$ dimensions. The non-perturbatively small imaginary parts also appear in other observables, such as the sphere free energy and two and three-point function coefficients, and we present some of their calculations. Therefore, at sufficiently large $N$, the $O(N)$ models in $4<d<6$ may be thought of as complex CFTs. When $N$ is large enough for the imaginary parts to be numerically negligible, the five-dimensional $O(N)$ models may be studied using the techniques of numerical bootstrap.
We compute $1/λ$ corrections to the four-point functions of half-BPS operators in $SU(N)$ $\mathcal{N}=4$ super-Yang-Mills theory at large $N$ and large 't Hooft coupling $λ=g_\text{YM}^2 N$ using two methods. Firstly, we relate integrals of these correlators to derivatives of the mass deformed $S^4$ free energy, which was computed at leading order in large $N$ and to all orders in $1/λ$ using supersymmetric localization. Secondly, we use AdS/CFT to relate these $1/λ$ corrections to higher derivative corrections to supergravity for scattering amplitudes of Kaluza-Klein scalars in IIB string theory on $AdS_5\times S^5$, which in the flat space limit are known from worldsheet calculations. These two methods match at the order corresponding to the tree level $R^4$ interaction in string theory, which provides a precise check of AdS/CFT beyond supergravity, and allow us to derive the holographic correlators to tree level $D^4R^4$ order. Combined with constraints from arXiv:1809.10670, our results can be used to derive CFT data to one-loop $D^4R^4$ order. Finally, we use AdS/CFT to fix these correlators in the limit where $N$ is taken to be large while $g_{\rm YM}$ is kept fixed. In this limit, we present a conjecture for the small mass limit of the $S^4$ partition function that includes all instanton corrections and is written in terms of the same Eisenstein series that appear in the study of string theory scattering amplitudes.
We consider the four-point function of operators in the stress tensor multiplet of the $U(N)_k\times U(N)_{-k}$ ABJM theory, in the limit where $N$ is taken to infinity while $N/k^{5}$ is held fixed. In this limit, ABJM theory is holographically dual to type IIA string theory on $AdS_4\times \mathbb{CP}^3$ at finite string coupling $g_s \sim (N/k^5)^{1/4}$. While at leading order in $1/N$, the stress tensor multiplet four-point function can be computed from type IIA supergravity, in this work we focus on the first subleading correction, which comes from tree level Witten diagrams with an $R^4$ interaction vertex. Using superconformal Ward identities, bulk locality, and the mass deformed sphere free energy previously computed to all orders in $1/N$ from supersymmetric localization, we determine this $R^4$ correction as a function of $N/k^5$. Taking its flat space limit, we recover the known $R^4$ contribution to the type IIA S-matrix and reproduce the fact that it only receives perturbative contributions in $g_s$ from genus zero and genus one string worldsheets. This is the first check of AdS/CFT at finite $g_s$ for local operators. Our result for the four-point correlator interpolates between the large $N$, large 't Hooft coupling limit and the large $N$ finite $k$ limit. From the bulk perspective, this is an interpolation between type IIA string theory on $AdS_4\times \mathbb{CP}^3$ at small string coupling and M-theory on $AdS_4\times S^7/\mathbb{Z}_k$.
We propose an exact quantization of two-dimensional Jackiw-Teitelboim (JT) gravity by formulating the JT gravity theory as a 2D gauge theory placed in the presence of a loop defect. The gauge group is a certain central extension of $PSL(2, \mathbb{R})$ by $\mathbb{R}$. We find that the exact partition function of our theory when placed on a Euclidean disk matches precisely the finite temperature partition function of the Schwarzian theory. We show that observables on both sides are also precisely matched: correlation functions of boundary-anchored Wilson lines in the bulk are given by those of bi-local operators in the Schwarzian theory. In the gravitational context, the Wilson lines are shown to be equivalent to the world-lines of massive particles in the metric formulation of JT gravity.
We combine supersymmetric localization results and the numerical conformal bootstrap technique to study the 3d maximally supersymmetric (${\cal N} = 8$) CFT on $N$ coincident M2-branes (the $U(N)_k \times U(N)_{-k}$ ABJM theory at Chern-Simons level $k=1$). In particular, we perform a mixed correlator bootstrap study of the superconformal primaries of the stress tensor multiplet and of the next possible lowest-dimension half-BPS multiplet that is allowed by 3d ${\cal N} = 8$ superconformal symmetry. Of all known 3d ${\cal N} = 8$ SCFTs, the $k=1$ ABJM theory is the only one that contains both types of multiplets in its operator spectrum. By imposing the values of the short OPE coefficients that can be computed exactly using supersymmetric localization, we are able to derive precise islands in the space of semi-short OPE coefficients for an infinite number of such coefficients. We find that these islands decrease in size with increasing $N$. More generally, we also analyze 3d ${\cal N} = 8$ SCFT that contain both aforementioned multiplets in their operator spectra without inputing any additional information that is specific to ABJM theory. For such theories, we compute upper and lower bounds on the semi-short OPE coefficients as well as upper bounds on the scaling dimension of the lowest unprotected scalar operator. These latter bounds are more constraining than the analogous bounds previously derived from a single correlator bootstrap of the stress tensor multiplet. This leads us to conjecture that the $U(N)_2 \times U(N+1)_{-2}$ ABJ theory, and not the $k=1$ ABJM theory, saturates the single correlator bounds.
We find new black 3-brane solutions describing the "conifold gauge theory" at nonzero temperature and baryonic chemical potential. Of particular interest is the low-temperature limit where we find a new kind of weakly curved near-horizon geometry; it is a warped product AdS_2 x R^3 x T^{1,1} with warp factors that are powers of the logarithm of the AdS radius. Thus, our solution encodes a new type of emergent quantum near-criticality. We carry out some stability checks for our solutions. We also set up a consistent ansatz for baryonic black 2-branes of M-theory that are asymptotic to AdS_4 x Q^{1,1,1}.
We construct zero-temperature solutions of supergravity theories in five and four dimensions which interpolate between two copies of anti-de Sitter space, one of which preserves an abelian gauge symmetry while the other breaks it. These domain wall solutions can be lifted to solutions of type IIB string theory and eleven-dimensional supergravity. They describe quantum critical behavior and emergent relativistic conformal symmetry in a superfluid or superconducting state of a strongly coupled dual gauge theory. We include computations of frequency-dependent conductivities which exhibit power law scaling in the infrared, with exponents determined by irrelevant perturbations to the symmetry-breaking anti-de Sitter background.
We compute the quasinormal frequencies corresponding to the scalar sector of gravitational perturbations in the four-dimensional AdS-Schwarzschild black hole by using the master field formalism of hep-th/0305147. We argue that the non-deformation of the boundary metric favors a Robin boundary condition on the master field over the usual Dirichlet boundary condition mostly used in the literature. Using this Robin boundary condition we find a family of low-lying modes, whose frequencies match closely with predictions from linearized hydrodynamics on the boundary. In addition to the low-lying modes, we also see the usual sequence of modes with frequencies almost following an arithmetic progression.