The analytic structure of scattering amplitudes is restricted by Steinmann relations, which enforce the vanishing of certain discontinuities of discontinuities. We show that these relations dramatically simplify the function space for the hexagon function bootstrap in planar maximally supersymmetric Yang-Mills theory. Armed with this simplification, along with the constraints of dual conformal symmetry and Regge exponentiation, we obtain the complete five-loop six-particle amplitude.

Abstract:We reformulate the heptagon cluster bootstrap to take advantage of the Steinmann relations, which require certain double discontinuities of any amplitude to vanish. These constraints vastly reduce the number of functions needed to bootstrap seven-point amplitudes in planar N = 4 supersymmetric Yang-Mills theory, making higher-loop contributions to these amplitudes more computationally accessible. In particular, dual superconformal symmetry and well-defined collinear limits suffice to determine uniquely the symbols of the three-loop NMHV and four-loop MHV seven-point amplitudes. We also show that at three loops, relaxing the dual superconformal (Q) relations and imposing dihedral symmetry (and for NMHV the absence of spurious poles) leaves only a single ambiguity in the heptagon amplitudes. These results point to a strong tension between the collinear properties of the amplitudes and the Steinmann relations.

We compute the six-particle maximally-helicity-violating (MHV) and next-to-MHV (NMHV) amplitudes in planar maximally supersymmetric Yang-Mills theory through seven loops and six loops, respectively, as an application of the extended Steinmann relations and using the cosmic Galois coaction principle. Starting from a minimal space of functions constructed using these principles, we identify the amplitude by matching its symmetries and predicted behavior in various kinematic limits. Through five loops, the MHV and NMHV amplitudes are uniquely determined using only the multi-Regge and leading collinear limits. Beyond five loops, the MHV amplitude requires additional data from the kinematic expansion around the collinear limit, which we obtain from the Pentagon Operator Product Expansion, and in particular from its single-gluon bound state contribution. We study the MHV amplitude in the self-crossing limit, where its singular terms agree with previous predictions. Analyzing and plotting the amplitudes along various kinematical lines, we continue to find remarkable stability between loop orders.

Abstract:We use the hexagon function bootstrap to compute the ratio function which characterizes the next-to-maximally-helicity-violating (NMHV) six-point amplitude in planar N = 4 super-Yang-Mills theory at four loops. A powerful constraint comes from dual superconformal invariance, in the form of aQ differential equation, which heavily constrains the first derivatives of the transcendental functions entering the ratio function. At four loops, it leaves only a 34-parameter space of functions. Constraints from the collinear limits, and from the multi-Regge limit at the leading-logarithmic (LL) and next-to-leadinglogarithmic (NLL) order, suffice to fix these parameters and obtain a unique result. We test the result against multi-Regge predictions at NNLL and N 3 LL, and against predictions from the operator product expansion involving one and two flux-tube excitations; all crosschecks are satisfied. We study the analytical and numerical behavior of the parity-even and parity-odd parts on various lines and surfaces traversing the three-dimensional space of cross ratios. As part of this program, we characterize all irreducible hexagon functions through weight eight in terms of their coproduct. We also provide representations of the ratio function in particular kinematic regions in terms of multiple polylogarithms.

We describe the minimal space of polylogarithmic functions that is required to express the six-particle amplitude in planar N = 4 super-Yang-Mills theory through six and seven loops, in the NMHV and MHV sectors respectively. This space respects a set of extended Steinmann relations that restrict the iterated discontinuity structure of the amplitude, as well as a cosmic Galois coaction principle that constrains the functions and the transcendental numbers that can appear in the amplitude at special kinematic points. To put the amplitude into this space, we must divide it by the BDS-like ansatz and by an additional zeta-valued constant ρ. For this normalization, we conjecture that the extended Steinmann relations and the coaction principle hold to all orders in the coupling. We describe an iterative algorithm for constructing the space of hexagon functions that respects both constraints. We highlight further simplifications that begin to occur in this space of functions at weight eight, and distill the implications of imposing the coaction principle to all orders. Finally, we explore the restricted spaces of transcendental functions and constants that appear in special kinematic configurations, which include polylogarithms involving square, cube, fourth and sixth roots of unity.

The soft anomalous dimension governs the infrared singularities of scattering amplitudes to all orders in perturbative quantum field theory, and is a crucial ingredient in both formal and phenomenological applications of non-abelian gauge theories. It has recently been computed at three-loop order for massless partons by explicit evaluation of all relevant Feynman diagrams. In this paper, we show how the same result can be obtained, up to an overall numerical factor, using a bootstrap procedure. We first give a geometrical argument for the fact that the result can be expressed in terms of singlevalued harmonic polylogarithms. We then use symmetry considerations as well as known properties of scattering amplitudes in collinear and high-energy (Regge) limits to constrain an ansatz of basis functions. This is a highly non-trivial cross-check of the result, and our methods pave the way for greatly simplified higher-order calculations.

We compute dual-conformally invariant ladder integrals that are capped off by pentagons at each end of the ladder. Such integrals appear in six-point amplitudes in planar N = 4 super-Yang-Mills theory. We provide exact, finite-coupling formulas for the basic double pentaladder integrals as a single Mellin integral over hypergeometric functions. For particular choices of the dual conformal cross ratios, we can evaluate the integral at weak coupling to high loop orders in terms of multiple polylogarithms. We argue that the integrals are exponentially suppressed at strong coupling. We describe the space of functions that contains all such double pentaladder integrals and their derivatives, or coproducts. This space, a prototype for the space of Steinmann hexagon functions, has a simple algebraic structure, which we elucidate by considering a particular discontinuity of the functions that localizes the Mellin integral and collapses the relevant symbol alphabet. This function space is endowed with a coaction, both perturbatively and at finite coupling, which mixes the independent solutions of the hypergeometric differential equation and constructively realizes a coaction principle of the type believed to hold in the full Steinmann hexagon function space.

We derive an analytic representation of the ten-particle, two-loop double-box integral as an elliptic integral over weight-three polylogarithms. To obtain this form, we first derive a fourfold, rational (Feynman-)parametric representation for the integral, expressed directly in terms of dual-conformally invariant cross ratios; from this, the desired form is easily obtained. The essential features of this integral are illustrated by means of a simplified toy model, and we attach the relevant expressions for both integrals in ancillary files. We propose a normalization for such integrals that renders all of their polylogarithmic degenerations pure, and we discuss the need for a new "symbology" of mixed iterated elliptic and polylogarithmic integrals in order to bring them to a more canonical form.