Search

We recently proved that, when integrating out the spacetime dependence with a certain integration measure, four-point correlators O 2 O 2 O p i O p i $$ \left\langle {\mathcal{O}}_2{\mathcal{O}}_2{\mathcal{O}}_p^{(i)}{\mathcal{O}}_p^{(i)}\right\rangle $$ in 𝒩 = 4 supersymmetric Yang-Mills theory with SU(N) gauge group are governed by a universal Laplace-difference equation. Here O p i $$ {\mathcal{O}}_p^{(i)} $$ is a superconformal primary with charge p and degeneracy i. These physical observables, called integrated correlators, are modular-invariant functions of Yang-Mills coupling τ. The Laplace-difference equation is a recursion relation that relates integrated correlators of operators with different charges. In this paper, we introduce the generating functions for these integrated correlators that sum over the charge. By utilising the Laplace-difference equation, we determine the generating functions for all the integrated correlators, in terms of the initial data of the recursion relation. We show that the transseries of the integrated correlators in the large-p (i.e. large-charge) expansion for a fixed N consists of three parts: 1) is independent of τ, which behaves as a power series in 1/p, plus an additional log(p) term when i = j; 2) is a power series in 1/p, with coefficients given by a sum of the non-holomorphic Eisenstein series; 3) is a sum of exponentially decayed modular functions in the large-p limit, which can be viewed as a generalisation of the non-holomorphic Eisenstein series. When i = j, there is an additional modular function of τ that is independent of p and is fully determined in terms of the integrated correlator with p = 2. The Laplace-difference equation was obtained with a reorganisation of the operators that means the large-charge limit is taken in a particular way here. From these SL(2, ℤ)-invariant results, we also determine the generalised ’t Hooft genus expansion and the associated large-p non-perturbative corrections of the integrated correlators by introducing λ = p g YM 2 $$ {g}_{YM}^2 $$ . The generating functions have subtle differences between even and odd N, which have important consequences in the large-charge expansion and resurgence analysis. We also consider the generating functions of the integrated correlators for some fixed p by summing over N, and we study their large-N behaviour, as well as comment on the similarities and differences between the large-p expansion and the large-N expansion.

We consider the integrated correlators associated with four-point correlation functions O 2 O 2 O p i O p j $$ \left\langle {\mathcal{O}}_2{\mathcal{O}}_2{\mathcal{O}}_p^{(i)}{\mathcal{O}}_p^{(j)}\right\rangle $$ in four-dimensional N $$ \mathcal{N} $$ = 4 supersymmetric Yang-Mills theory (SYM) with SU(N) gauge group, where O p i $$ {\mathcal{O}}_p^{(i)} $$ is a superconformal primary with charge (or dimension) p and the superscript i represents possible degeneracy. These integrated correlators are defined by integrating out spacetime dependence with a certain integration measure, and they can be computed via supersymmetric localisation. They are modular functions of complexified Yang-Mills coupling τ. We show that the localisation computation is systematised by appropriately reorganising the operators. After this reorganisation of the operators, we prove that all the integrated correlators for any N, with some crucial normalisation factor, satisfy a universal Laplace-difference equation (with the laplacian defined on the τ-plane) that relates integrated correlators of operators with different charges. This Laplace-difference equation is a recursion relation that completely determines all the integrated correlators, once the initial conditions are given.

The use of supersymmetric localisation has recently led to modular covariant expressions for certain integrated correlators of half-BPS operators in $\mathcal{N} = 4$ supersymmetric Yang-Mills theory with a general classical gauge group $G_N$. Here we determine generating functions that encode such integrated correlators for any classical gauge group and provide a proof of previous conjectured formulae. This gives a systematic understanding of the relation between properties of these correlators at finite $N$ and their expansions at large $N$. In particular, it determines a duality-invariant non-perturbative completion of the large-$N$ expansion in terms of a sum of novel non-holomorphic modular functions. These functions are exponentially suppressed at large $N$ and have the form of a sum of contributions from coincident $(p, q)$-string world-sheet instantons., 25 + 15 pages; v2: minor changes, version published in JHEP

This article reviews some results of the SAGEX programme that have developed in the understanding of the interplay of supersymmetry and modular covariance of scattering amplitudes in type IIB superstring theory and its holographic image in N=4 supersymmetric Yang–Mills theory (SYM). The first section includes the determination of exact expressions for BPS interactions in the low-energy expansion of type IIB superstring amplitudes. The second section concerns properties of a certain class of integrated correlators in N=4 SYM with arbitrary classical gauge group that are exactly determined by supersymmetric localisation. Not only do these reproduce known features of perturbative and non-perturbative N=4 SYM for any classical gauge group, but they have large-N expansions that are in accord with expectations based on the holographic correspondence with superstring theory. The final section focusses on modular graph functions. These are modular functions that are closely associated with coefficients in the low-energy expansion of superstring perturbation theory and have recently received quite a lot of interest in both the physics and mathematics literature.

This article reviews some results of the SAGEX programme that have developed in the understanding of the interplay of supersymmetry and modular covariance of scattering amplitudes in type IIB superstring theory and its holographic image in N = 4 supersymmetric Yang–Mills theory (SYM). The first section includes the determination of exact expressions for BPS interactions in the low-energy expansion of type IIB superstring amplitudes. The second section concerns properties of a certain class of integrated correlators in N = 4 SYM with arbitrary classical gauge group that are exactly determined by supersymmetric localisation. Not only do these reproduce known features of perturbative and non-perturbative N = 4 SYM for any classical gauge group, but they have large-N expansions that are in accord with expectations based on the holographic correspondence with superstring theory. The final section focusses on modular graph functions. These are modular functions that are closely associated with coefficients in the low-energy expansion of superstring perturbation theory and have recently received quite a lot of interest in both the physics and mathematics literature.

We consider the integrated correlators associated with four-point correlation functions $\langle \mathcal{O}_2\mathcal{O}_2\mathcal{O}^{(i)}_p \mathcal{O}^{(j)}_p \rangle$ in four-dimensional $\mathcal{N}=4$ supersymmetric Yang-Mills theory (SYM) with $SU(N)$ gauge group, where $\mathcal{O}^{(i)}_p$ is a superconformal primary with charge (or dimension) $p$ and the superscript $i$ represents possible degeneracy. These integrated correlators are defined by integrating out spacetime dependence with a certain integration measure, and they can be computed via supersymmetric localisation. They are modular functions of complexified Yang-Mills coupling $\tau$. We show that the localisation computation is systematised by appropriately reorganising the operators. After this reorganisation of the operators, we prove that all the integrated correlators for any $N$, with some crucial normalisation factor, satisfy a universal Laplace-difference equation (with the laplacian defined on the $\tau$-plane) that relates integrated correlators of operators with different charges. This Laplace-difference equation is a recursion relation that completely determines all the integrated correlators, once the initial conditions are given., Comment: 30 pages; v2: references added, typos corrected; v3: typos corrected, version published in JHEP

We recently proved that, when integrating out spacetime dependence with a certain measure, four-point correlators $\langle \mathcal{O}_2\mathcal{O}_2\mathcal{O}^{(i)}_p \mathcal{O}^{(j)}_p \rangle$ in $SU(N)$ $\mathcal{N}=4$ super Yang-Mills are governed by a universal Laplace-difference equation. Here $\mathcal{O}^{(i)}_p$ is a superconformal primary with charge $p$ and degeneracy $i$. These observables, called integrated correlators, are modular functions of coupling $\tau$. The Laplace-difference equation relates integrated correlators of different charges recursively. In this paper, we introduce generating functions for the integrated correlators that sum over the charge. By utilising the Laplace-difference equation, we determine the generating functions given initial data. We show that the transseries of the integrated correlators in the large-$p$ (large-charge) expansion consists of three parts: 1) is independent of $\tau$ as a power series in $1/p$, plus an additional $\log(p)$ term if $i=j$; 2) is a power series in $1/p$, with coefficients given by a sum of the non-holomorphic Eisenstein series; 3) is a sum of exponentially decayed modular functions in the large-$p$ limit, which can be viewed as a generalisation of the non-holomorphic Eisenstein series. When $i=j$, there is an additional modular function that is independent of $p$ and is determined by the integrated correlator with $p=2$. The Laplace-difference equation was obtained with a reorganisation of the operators that means the large-charge limit is taken in a particular way here. From the $SL(2,\mathbb{Z})$-invariant results, we also determine the generalised 't Hooft genus expansion and associated large-$p$ non-perturbative corrections of the integrated correlators by introducing $\lambda = pg^2_{YM}$. The generating functions have subtle differences between even and odd $N$ with important consequences in resurgence., Comment: 43 pages + appendices, 1 figure; v2: typos corrected; v3: Matched JHEP version

This article reviews recent developments in the understanding of the interplay of supersymmetry and modular covariance of scattering amplitudes in type IIB superstring theory and its holographic image in $\mathcal{N}=4$ supersymmetric Yang-Mills theory (SYM). The first section includes the determination of exact expressions for BPS interactions in the low-energy expansion of type IIB superstring amplitudes. The second section concerns properties of a certain class of integrated correlators in $\mathcal{N}=4$ SYM with arbitrary classical gauge group that are exactly determined by supersymmetric localisation. Not only do these reproduce known features of perturbative and non-perturbative $\mathcal{N}=4$ SYM for any classical gauge group, but they have large-$N$ expansions that are in accord with expectations based on the holographic correspondence with superstring theory. The final section focusses on modular graph functions. These are modular functions that are closely associated with coefficients in the low-energy expansion of superstring perturbation theory and have recently received quite a lot of interest in both the physics and mathematics literature., 45 pages, see also the overview article arXiv:2203.13011

This is an introduction to, and invitation to read, a series of review articles on scattering amplitudes in gauge theory, gravity, and superstring theory. Our aim is to provide an overview of the field, from basic aspects to a selection of current (2022) research and developments.

We present a closed formula for all Bern-Carrasco-Johansson (BCJ) numerators describing $D$-dimensional tree-level scattering amplitudes in a heavy-mass effective field theory with two massive particles and an arbitrary number of gluons. The corresponding gravitational amplitudes obtained via the double copy directly enter the computation of black-hole scattering and gravitational-wave emission. Our construction is based on finding a kinematic algebra for the numerators, which we relate to a quasi-shuffle Hopf algebra. The BCJ numerators thus obtained have a compact form and intriguing features: gauge invariance is manifest, locality is respected for massless exchange, and they contain poles corresponding to massive exchange. Counting the number of terms in a BCJ numerator for $n{-}2$ gluons gives the Fubini numbers $\mathsf{F}_{n-3}$, reflecting the underlying quasi-shuffle Hopf algebra structure. Finally, by considering an appropriate factorisation limit, the massive particles decouple, and we thus obtain a kinematic algebra and all tree-level BCJ numerators for $D$-dimensional pure Yang-Mills theory., 10 pages, 8 figures, Physical Review Letters version

We present a compact formula in Mellin space for the four-point tree-level holographic correlators of chiral primary operators of arbitrary conformal weights in $(2,0)$ supergravity on $AdS_3 \times S^3$, with two operators in tensor multiplet and the other two in gravity multiplet. This is achieved by solving the recursion relation arising from a hidden six-dimensional conformal symmetry. We note the compact expression is obtained after carefully analysing the analytic structures of the correlators. Various limits of the correlators are studied, including the maximally R-symmetry violating limit and flat-space limit., Comment: 23 pages, typos corrected, another MRV limit studied, version accepted by JHEP

The interplay of unitarity and analyticity has long been known to impose strong constraints on scattering amplitudes in quantum field theory and string theory. This has been highlighted in recent times in a number of papers and lecture notes. Here we examine such conditions in the context of superstring tree-level scattering amplitudes, leading to positivity constraints on determinants of Hankel matrices involving polynomials of multiple zeta values. These generalise certain constraints on polynomials of single zeta values in the mathematics literature., 28 pages; v2: typos corrected, references added, matches published version

The local higher-derivative interactions that enter into the low-energy expansion of the effective action of type IIB superstring theory with constant complex modulus generally violate the $U(1)$ R-symmetry of IIB supergravity by $q_U$ units. These interactions have coefficients that transform as non-holomorphic modular forms under $SL(2, {\mathbb Z})$ transformations with holomorphic and anti-holomorphic weights $(w,-w)$, where $q_U=-2w$. In this paper $SL(2, {\mathbb Z})$-covariance and supersymmetry are used to determine first-order differential equations on moduli space that relate the modular form coefficients of classes of BPS-protected maximal $U(1)$-violating interactions that arise at low orders in the low-energy expansion. These are the moduli-dependent coefficients of BPS interactions of the form $d^{2p} \mathcal{P}_n$ in linearised approximation, where $\mathcal{P}_n$ is the product of $n$ fields that has dimension $=8$ with $q_U=8-2n$, and $p=0$, $2$ or $3$. These first-order equations imply that the coefficients satisfy $SL(2, {\mathbb Z})$-covariant Laplace eigenvalue equations on moduli space with solutions that contain information concerning perturbative and non-perturbative contributions to superstring amplitudes. For $p=3$ and $n\ge 6$ there are two independent modular forms, one of which has a vanishing tree-level contribution. The analysis of super-amplitudes for $U(1)$-violating processes involving arbitrary numbers of external fluctuations of the complex modulus leads to a diagrammatic derivation of the first-order differential relations and Laplace equations satisfied by the coefficient modular forms. Combining this with a $SL(2, {\mathbb Z})$-covariant soft axio-dilaton limit that relates amplitudes with different values of $n$ determines most of the modular invariant coefficients, leaving a single undetermined constant., 58 pages, 4 figures. v2: typos corrected, JHEP version

We consider two-point correlators in SU(N) gauge theories on R^4 with N = 2 supersymmetry and N_f massless hypermultiplets in the fundamental representation. Using localization on S_4, we compute the leading perturbative corrections to the two-point functions of chiral/anti-chiral operators made of scalar fields. The results are compared at two and three loops against direct field theory computations for some special operators whose correlators remain finite in perturbation theory at the specific loop order. In the conformal case, the match is shown up to two loops for a generic choice of operators and for arbitrary N.

We consider two-point correlators in SU(N) gauge theories on R4 with N=2 supersymmetry and Nf massless hypermultiplets in the fundamental representation. Using localization on S4, we compute the leading perturbative corrections to the two-point functions of chiral/anti-chiral operators made of scalar fields. The results are compared at two and three loops against direct field theory computations for some special operators whose correlators remain finite in perturbation theory at the specific loop order. In the conformal case, the match is shown up to two loops for a generic choice of operators and for arbitrary N.

We introduce the conformal field theories that describe the shadows of the lowest dimension composites made out of massless free scalars and fermions in $d$ dimensions. We argue that these theories can be consistently defined as free CFTs for even $d\geq 4$. We use OPE techniques to study their spectrum and show that for $d\rightarrow\infty$ it matches that of free bosonic CFTs in $d=6$ and $d=4$ dimensions. For these $\sigma$CFTs we calculate $c_T$ in $d=6,8,10$ and $12$ dimensions using the OPE and also a direct construction of their higher-derivative energy momentum tensors. Our results agree with the general proposal of arXiv:1601.07198., Comment: 18+10 pages, no figure; v2: references updated, typos corrected, matches JHEP version

We study possible smooth deformations of Generalized Free Conformal Field Theories in arbitrary dimensions by exploiting the singularity structure of the conformal blocks dictated by the null states. We derive in this way, at the first non trivial order in the $\epsilon$-expansion, the anomalous dimensions of an infinite class of scalar local operators, without using the equations of motion. In the cases where other computational methods apply, the results agree., Comment: 5 pages. v2: minor changes; v3: matched the published version

We introduce the conformal field theories that describe the shadows of the lowest dimension composites made out of massless free scalars and fermions in $d$ dimensions. We argue that these theories can be consistently defined as free CFTs for even $d\geq 4$. We use OPE techniques to study their spectrum and show that for $d\rightarrow\infty$ it matches that of free bosonic CFTs in $d=6$ and $d=4$ dimensions. For these $��$CFTs we calculate $c_T$ in $d=6,8,10$ and $12$ dimensions using the OPE and also a direct construction of their higher-derivative energy momentum tensors. Our results agree with the general proposal of arXiv:1601.07198., 18+10 pages, no figure; v2: references updated, typos corrected, matches JHEP version

We compute form factors of half-BPS operators in N=4 super Yang-Mills dual to massive Kaluza-Klein modes in supergravity. These are appropriate supersymmetrisations T_k of the scalar operators Tr(\phi^k) for any k, which for k=2 give the chiral part of the stress-tensor multiplet operator. Using harmonic superspace, we derive simple Ward identities for these form factors, which we then compute perturbatively at tree level and one loop. We propose a novel on-shell recursion relation which links form factors with different numbers of fields. Using this, we conjecture a general formula for the n-point MHV form factors of T_k for arbitrary k and n. Finally, we use supersymmetric generalised unitarity to derive compact expressions for all one-loop MHV form factors of T_k in terms of one-loop triangles and finite two-mass easy box functions., Comment: 29 pages, 11 figures, JHEP version; v3: references added, one typo fixed

Soft limits of massless S-matrix are known to reflect symmetries of the theory. In particular for theories with Goldstone bosons, the double-soft limit of scalars reveals the coset structure of the vacuum manifold. In this letter, we propose that such universal double-soft behavior is not only true for scalars, but also for spin-1/2 particles in four dimensions and fermions in three dimensions. We first consider Akulov-Volkov theory, and demonstrate the double soft-limit of goldstinos yields the supersymmetry algebra. More surprisingly we also find amplitudes in 3, Comment: 5 pages, V2 typos fixed published version

In this paper we study the combinatorics associated with the positive orthogonal Grassmannian OG_k and its connection to ABJM scattering amplitudes. We present a canonical embedding of OG_k into the Grassmannian Gr(k,2k), from which we deduce the canonical volume form that is invariant under equivalence moves. Remarkably the canonical forms of all reducible graphs can be converted into irreducible ones with products of dLog forms. Unlike N=4 super Yang-Mills, here the Jacobian plays a crucial role to ensure the dLog form of the reduced representation. Furthermore, we identify the functional map that arises from the triangle equivalence move as a 3-string scattering S-matrix which satisfies the tetrahedron equations by Zamolodchikov, implying (2+1)-dimensional integrability. We study the solution to the BCFW recursion relation for loop amplitudes, and demonstrate the presence of all physical singularities as well as the absence of all spurious ones. The on-shell diagram solution to the loop recursion relation exhibits manifest two-site cyclic symmetry and reveals that, to all loop, four and six-point amplitudes only have logarithmic singularities., Comment: 51 pages; V2: 52 pages; typos corrected, and added detailed discussion on tetrahedron equation

We compute instanton corrections to non-minimal correlation functions of chiral primary operators in the N=4 super Yang-Mills super-current multiplet. Using a representation in terms of Mellin integrals, we find that these corrections can be written as conformal integrals in AdS_5 times certain "kinematic" prefactors that are independent of the instanton moduli. We then consider the consecutive, pairwise light-like limit x_{i, i+1}^2 -> 0 of such correlators, and prove that the ratio between the instanton contribution and the corresponding tree-level expression vanishes in this limit. We also speculate on the extension to the non-perturbative level of the proposed duality with polygonal Wilson loops and briefly discuss its potential implications for scattering amplitudes., 38 pages, 3 figures; V2: 39 pages, 3 figures, JHEP version

We exploit a recently found connection between special triple-cut diagrams and tree-level recursive diagrams to derive a general formula capturing the multi-particle factorisation of arbitrary one-loop amplitudes in the ABJM theory. This formula contains certain anomalous contributions which are reminiscent of the so-called non-factorising contributions appearing in the factorisation of one-loop amplitudes in four-dimensional gauge theory. In the second part of the paper we derive a recursion relation for the supercoefficients of one-loop amplitudes in ABJM theory. By applying this recursion relation, any one-loop supercoefficient can be reduced to special triple-cut diagrams involving at least one four-point tree amplitude. In turn, this implies that any one-loop supercoefficient can be derived from tree-level recursive diagrams., 22 pages, 7 figures

We establish a connection between tree-level superamplitudes in ABJM theory and leading singularities associated to special three-particle cuts of one-loop superamplitudes where one of the tree amplitudes entering the cut is a four-point amplitude. Using these relations, we show that certain intriguing similarities between one-loop and tree-level superamplitudes observed recently become completely manifest. This connection is reminiscent of a similar relation in the maximally supersymmetric gauge theory in four dimensions, where the sum of two-mass hard and one-mass box coefficients of a one-loop amplitude equals the corresponding tree-level amplitude. As an application, we present a very simple re-derivation of the six-point superamplitude and calculate the eight-point superamplitude at one loop in ABJM theory., 28 pages, 7 figures. v3: JHEP version

The idea of adding particles to construct amplitudes has been utilized in various ways in exploring the structure of scattering amplitudes. This idea is often called Inverse Soft Limit, namely it is the reverse mechanism of taking particles to be soft. We apply the Inverse Soft Limit to the tree-level amplitudes in $\mathcal{N}=4$ super Yang-Mills theory, which allows us to generate full tree-level superamplitudes by adding "soft" particles in a certain way. With the help from Britto-Cachazo-Feng-Witten recursion relations, a systematic and concrete way of adding particles is determined recursively. The amplitudes constructed solely by adding particles not only have manifest Yangian symmetry, but also make the soft limit transparent. The method of generating amplitudes by Inverse Soft Limit can also be generalized for constructing form factors., 33 pages, 10 figures. v2: figures corrected, JHEP version

We present a new, explicit formula for all tree-level amplitudes in N=4 super Yang-Mills. The formula is written as a certain contour integral of the connected prescription of Witten's twistor string, expressed in link variables. A very simple deformation of the integrand gives directly the Grassmannian integrand proposed by Arkani-Hamed et al. together with the explicit contour of integration. The integral is derived by iteratively adding particles to the Grassmannian integral, one particle at a time, and makes manifest both parity and soft limits. The formula is shown to be related to those given by Dolan and Goddard, and generalizes the results of earlier work for NMHV and N^2MHV to all N^(k-2)MHV tree amplitudes in N=4 super Yang-Mills., Comment: 26 pages

We use the leading singularity technique to determine the planar three-loop five-particle amplitude in N=4 super Yang-Mills in terms of a simple basis of integrals. We analytically compute the integral coefficients for both the parity-even and the parity-odd parts of the amplitude. The parity-even part involves only dual conformally invariant integrals. Using the method of obstructions we numerically evaluate two previously unfixed coefficients which appear in the three-loop BDS ansatz., Comment: 20 pages, 2 figures, v2: very minor changes

The interplay of unitarity and analyticity has long been known to impose strong constraints on scattering amplitudes in quantum field theory and string theory. This has been highlighted in recent times in a number of papers and lecture notes. Here we examine such conditions in the context of superstring tree-level scattering amplitudes, leading to positivity constraints on determinants of Hankel matrices involving polynomials of multiple zeta values. These generalise certain constraints on polynomials of single zeta values in the mathematics literature.