The analytic functional bootstrap. Part II. Natural bases for the crossing equation

Abstract We clarify the relationships between different approaches to the conformal bootstrap. A central role is played by the so-called extremal functionals. They are linear functionals acting on the crossing equation which are directly responsible for the optimal bounds of the numerical bootstrap. We explain in detail that the extremal functionals probe the Regge limit. We construct two complete sets of extremal functionals for the crossing equation specialized to z = z ¯ $$z=\overline{z}$$ , associated to the generalized free boson and fermion theories. These functionals lead to non-perturbative sum rules on the CFT data which automatically incorporate Regge boundedness of physical correlators. The sum rules imply universal properties of the OPE at large Δ in every unitary solution of SL(2) crossing. In particular, we prove an upper and lower bound on a weighted sum of OPE coefficients present between consecutive generalized free field dimensions. The lower bound implies the ϕ × ϕ OPE must contain at least one primary in the interval [2Δ ϕ + 2n, 2Δ ϕ + 2n + 4] for all sufficiently large integer n. The functionals directly compute the OPE decomposition of crossing-symmetrized Witten exchange diagrams in AdS 2. Therefore, they provide a derivation of the Polyakov bootstrap for SL(2), in particular fixing the so-called contact-term ambiguity. We also use the resulting sum rules to bootstrap several Witten diagrams in AdS 2 up to two loops

Bootstrapping boundaries and branes

Abstract The study of conformal boundary conditions for two-dimensional conformal field theories (CFTs) has a long history, ranging from the description of impurities in one-dimensional quantum chains to the formulation of D-branes in string theory. Nevertheless, the landscape of conformal boundaries is largely unknown, including in rational CFTs, where the local operator data is completely determined. We initiate a systematic bootstrap study of conformal boundaries in 2d CFTs by investigating the bootstrap equation that arises from the open-closed consistency condition of the annulus partition function with identical boundaries. We find that this deceivingly simple bootstrap equation, when combined with unitarity, leads to surprisingly strong constraints on admissible boundary states. In particular, we derive universal bounds on the tension (boundary entropy) of stable boundary conditions, which provide a rigorous diagnostic for potential D-brane decays. We also find unique solutions to the bootstrap problem of stable branes in a number of rational CFTs. Along the way, we observe a curious connection between the annulus bootstrap and the sphere packing problem, which is a natural extension of previous work on the modular bootstrap. We also derive bounds on the boundary entropy at large central charge. These potentially have implications for end-of-the-world branes in pure gravity on AdS3

Superconformal blocks for SCFTs with eight supercharges

Abstract We show how to treat the superconformal algebras with eight Poincaré super-charges in a unified manner for spacetime dimension 2 < d ≤ 6. This formalism is ideally suited for analyzing the quadratic Casimir operator of the superconformal algebra and its use in deriving superconformal blocks. We illustrate this by an explicit construction of the superconformal blocks, for any value of the spacetime dimension, for external protected scalar operators which are the lowest component of flavor current multiplets

Sphere Packing and Quantum Gravity

We establish a precise relation between the modular bootstrap, used to con- strain the spectrum of 2D CFTs, and the sphere packing problem in Euclidean geometry. The modular bootstrap bound for chiral algebra U(1)$^{c}$ maps exactly to the Cohn-Elkies linear programming bound on the sphere packing density in d = 2c dimensions. We also show that the analytic functionals developed earlier for the correlator conformal bootstrap can be adapted to this context. For c = 4 and c = 12, these functionals exactly repro- duce the “magic functions” used recently by Viazovska [1] and Cohn et al. [2] to solve the sphere packing problem in dimensions 8 and 24. The same functionals are also applied to general 2D CFTs, with only Virasoro symmetry. In the limit of large central charge, we relate sphere packing to bounds on the black hole spectrum in 3D quantum gravity, and prove analytically that any such theory must have a nontrivial primary state of dimension ${\Delta}_0\underset{\sim }{<}c/\mathrm{8.503.}$We establish a precise relation between the modular bootstrap, used to constrain the spectrum of 2D CFTs, and the sphere packing problem in Euclidean geometry. The modular bootstrap bound for chiral algebra $U(1)^c$ maps exactly to the Cohn-Elkies linear programming bound on the sphere packing density in $d=2c$ dimensions. We also show that the analytic functionals developed earlier for the correlator conformal bootstrap can be adapted to this context. For $c=4$ and $c=12$, these functionals exactly reproduce the "magic functions" used recently by Viazovska [1] and Cohn et al. [2] to solve the sphere packing problem in dimensions 8 and 24. The same functionals are also applied to general 2D CFTs, with only Virasoro symmetry. In the limit of large central charge, we relate sphere packing to bounds on the black hole spectrum in 3D quantum gravity, and prove analytically that any such theory must have a nontrivial primary state of dimension $\Delta_0 \lesssim c/8.503$