 Award ID(s):
 2014215
 NSFPAR ID:
 10352502
 Date Published:
 Journal Name:
 Journal of High Energy Physics
 Volume:
 2021
 Issue:
 12
 ISSN:
 10298479
 Format(s):
 Medium: X
 Sponsoring Org:
 National Science Foundation
More Like this

A bstract We compute 1 /λ corrections to the fourpoint functions of halfBPS operators in SU( N ) $$ \mathcal{N} $$ N = 4 superYangMills theory at large N and large ’t Hooft coupling λ = $$ {g}_{\mathrm{YM}}^2N $$ g 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 KaluzaKlein scalars in IIB string theory on AdS 5 × 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 4 R 4 order. Combined with constraints from [1], our results can be used to derive CFT data to oneloop D 4 R 4 order. Finally, we use AdS/CFT to fix these correlators in the limit where N is taken to be large while g 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.more » « less

A bstract It is a longstanding conjecture that any CFT with a large central charge and a large gap ∆ gap in the spectrum of higherspin singletrace operators must be dual to a local effective field theory in AdS. We prove a sharp form of this conjecture by deriving numerical bounds on bulk Wilson coefficients in terms of ∆ gap using the conformal bootstrap. Our bounds exhibit the scaling in ∆ gap expected from dimensional analysis in the bulk. Our main tools are dispersive sum rules that provide a dictionary between CFT dispersion relations and Smatrix dispersion relations in appropriate limits. This dictionary allows us to apply recentlydeveloped flatspace methods to construct positive CFT functionals. We show how AdS 4 naturally resolves the infrared divergences present in 4D flatspace bounds. Our results imply the validity of twicesubtracted dispersion relations for any Smatrix arising from the flatspace limit of AdS/CFT.more » « less

We prove an equivalence between the classical equations of motion governing vacuum gravity compactifications (and more general warpedproduct spacetimes) and a concavity property of entropy under time evolution. This is obtained by linking the theory of optimal transport to the Raychaudhuri equation in the internal space, where the warp factor introduces effective notions of curvature and (negative) internal dimension. When the Reduced Energy Condition is satisfied, concavity can be characterized in terms of the cosmological constant
; as a consequence, the masses of the spintwo KaluzaKlein fields obey bounds in terms of\Lambda $\Lambda $ alone. We show that some Cheeger bounds on the KK spectrum hold even without assuming synthetic Ricci lower bounds, in the large class of infinitesimally Hilbertian metric measure spaces, which includes Dbrane and Oplane singularities. As an application, we show how some approximate string theory solutions in the literature achieve scale separation, and we construct a new explicit parametrically scaleseparated AdS solution of Mtheory supported by Casimir energy.\Lambda $\Lambda $ 
We study the identity testing problem in the context of spin systems or undirected graphical models, where it takes the following form: given the parameter specification of the model M and a sampling oracle for the distribution \mu_{M^*} of an unknown model M^*, can we efficiently determine if the two models M and M^* are the same? We consider identity testing for both softconstraint and hardconstraint systems. In particular, we prove hardness results in two prototypical cases, the Ising model and proper colorings, and explore whether identity testing is any easier than structure learning. For the ferromagnetic (attractive) Ising model, Daskalasis et al. (2018) presented a polynomial time algorithm for identity testing. We prove hardness results in the antiferromagnetic (repulsive) setting in the same regime of parameters where structure learning is known to require a superpolynomial number of samples. In particular, for nvertex graphs of maximum degree d, we prove that if \beta d = \omega(\log n) (where \beta is the inverse temperature parameter), then there is no identity testing algorithm for the antiferromagnetic Ising model that runs in polynomial time unless RP = NP. We also establish computational lower bounds for a broader set of parameters under the (randomized) exponential time hypothesis. In our proofs, we use random graphs as gadgets; this is inspired by similar constructions in seminal works on the hardness of approximate counting. In the hardconstraint setting, we present hardness results for identity testing for proper colorings. Our results are based on the presumed hardness of #BIS, the problem of (approximately) counting independent sets in bipartite graphs. In particular, we prove that identity testing for colorings is hard in the same range of parameters where structure learning is known to be hard, which in turn matches the parameter regime for NPhardness of the corresponding decision problem.more » « less

A bstract We study the fourpoint function of the lowestlying halfBPS operators in the $$ \mathcal{N} $$ N = 4 SU( N ) superYangMills theory and its relation to the flatspace fourgraviton amplitude in type IIB superstring theory. We work in a large N expansion in which the complexified YangMills coupling τ is fixed. In this expansion, nonperturbative instanton contributions are present, and the SL(2 , ℤ) duality invariance of correlation functions is manifest. Our results are based on a detailed analysis of the sphere partition function of the massdeformed SYM theory, which was previously computed using supersymmetric localization. This partition function determines a certain integrated correlator in the undeformed $$ \mathcal{N} $$ N = 4 SYM theory, which in turn constrains the fourpoint correlator at separated points. In a normalization where the twopoint functions are proportional to N 2 − 1 and are independent of τ and $$ \overline{\tau} $$ τ ¯ , we find that the terms of order $$ \sqrt{N} $$ N and $$ 1/\sqrt{N} $$ 1 / N in the large N expansion of the fourpoint correlator are proportional to the nonholomorphic Eisenstein series $$ E\left(\frac{3}{2},\tau, \overline{\tau}\right) $$ E 3 2 τ τ ¯ and $$ E\left(\frac{5}{2},\tau, \overline{\tau}\right) $$ E 5 2 τ τ ¯ , respectively. In the flat space limit, these terms match the corresponding terms in the type IIB Smatrix arising from R 4 and D 4 R 4 contact interactions, which, for the R 4 case, represents a check of AdS/CFT at finite string coupling. Furthermore, we present striking evidence that these results generalize so that, at order $$ {N}^{\frac{1}{2}m} $$ N 1 2 − m with integer m ≥ 0, the expansion of the integrated correlator we study is a linear sum of nonholomorphic Eisenstein series with halfinteger index, which are manifestly SL(2 , ℤ) invariant.more » « less