No Arabic abstract
The three-loop four-point function of stress-tensor multiplets in N=4 super Yang-Mills theory contains two so far unknown, off-shell, conformal integrals, in addition to the known, ladder-type integrals. In this paper we evaluate the unknown integrals, thus obtaining the three-loop correlation function analytically. The integrals have the generic structure of rational functions multiplied by (multiple) polylogarithms. We use the idea of leading singularities to obtain the rational coefficients, the symbol - with an appropriate ansatz for its structure - as a means of characterising multiple polylogarithms, and the technique of asymptotic expansion of Feynman integrals to obtain the integrals in certain limits. The limiting behaviour uniquely fixes the symbols of the integrals, which we then lift to find the corresponding polylogarithmic functions. The final formulae are numerically confirmed. The techniques we develop can be applied more generally, and we illustrate this by analytically evaluating one of the integrals contributing to the same four-point function at four loops. This example shows a connection between the leading singularities and the entries of the symbol.
We present a novel type of differential equations for on-shell loop integrals. The equations are second-order and importantly, they reduce the loop level by one, so that they can be solved iteratively in the loop order. We present several infinite series of integrals satisfying such iterative differential equations. The differential operators we use are best written using momentum twistor space. The use of the latter was advocated in recent papers discussing loop integrals in N=4 super Yang-Mills. One of our motivations is to provide a tool for deriving analytical results for scattering amplitudes in this theory. We show that the integrals needed for planar MHV amplitudes up to two loops can be thought of as deriving from a single master topology. The master integral satisfies our differential equations, and so do most of the reduced integrals. A consequence of the differential equations is that the integrals we discuss are not arbitrarily complicated transcendental functions. For two specific two-loop integrals we give the full analytic solution. The simplicity of the integrals appearing in the scattering amplitudes in planar N=4 super Yang-Mills is strongly suggestive of a relation to the conjectured underlying integrability of the theory. We expect these differential equations to be relevant for all planar MHV and non-MHV amplitudes. We also discuss possible extensions of our method to more general classes of integrals.
We present a systematic way for deriving a four-dimensional (4D) effective action of the five-dimensional (5D) orbifold supergravity respecting the N=1 {it off-shell} structure. As an illustrating example, we derive a 4D effective theory of the 5D gauged supergravity with a universal hypermultiplet and {it generic} gaugings, which includes the 5D heterotic M-theory and the supersymmetric Randall-Sundrum model as special limits of the gauging parameters. We show the vacuum structure of such model, especially the nature of moduli stabilization, introducing perturbative superpotential terms at the orbifold fixed points.
The off-shell one-loop renormalization of a Higgs effective field theory possessing a scalar potential $simleft(Phi^daggerPhi-frac{v^2}2right)^N$ with $N$ arbitrary is presented. This is achieved by renormalizing the theory once reformulated in terms of two auxiliary fields $X_{1,2}$, which, due to the invariance under an extended Becchi-Rouet-Stora-Tyutin symmetry, are tightly constrained by functional identities. The latter allow in turn the explicit derivation of the mapping onto the original theory, through which the (divergent) multi-Higgs amplitude are generated in a purely algebraic fashion. We show that, contrary to naive expectations based on the loss of power counting renormalizability, the Higgs field undergoes a linear Standard Model like redefinition, and evaluate the renormalization of the complete set of Higgs self-coupling in the $Ntoinfty$ case.
One of the methods to calculate tree-level multi-gluon scattering amplitudes is to use the Berends-Giele recursion relation involving off-shell currents or off-shell amplitudes, if working in the light cone gauge. As shown in recent works using the light-front perturbation theory, solutions to these recursions naturally collapse into gauge invariant and gauge-dependent components, at least for some helicity configurations. In this work, we show that such structure is helicity independent and emerges from analytic properties of matrix elements of Wilson line operators, where the slope of the straight gauge path is shifted in a certain complex direction. This is similar to the procedure leading to the Britto-Cachazo-Feng-Witten (BCFW) recursion, however we apply a complex shift to the Wilson line slope instead of the external momenta. While in the original BCFW procedure the boundary integrals over the complex shift vanish for certain deformations, here they are non-zero and are equal to the off-shell amplitudes. The main result can thus be summarized as follows: we derive a decomposition of a helicity-fixed off-shell current into gauge invariant component given by a matrix element of a straight Wilson line plus a reminder given by a sum of products of gauge invariant and gauge dependent quantities. We give several examples realizing this relation, including the five-point next-to-MHV helicity configuration.
We investigate the consequences of elliptic leading singularities for the unitarity-based representations of two-loop amplitudes in planar, maximally supersymmetric Yang-Mills theory. We show that diagonalizing with respect to these leading singularities ensures that the integrand basis is term-wise pure (suitably generalized, to the elliptic multiple polylogarithms, as necessary). We also investigate an alternative strategy based on diagonalizing a basis of integrands on differential forms; this strategy, while neither term-wise Yangian-invariant nor pure, offers several advantages in terms of complexity.