Comments on all-loop constraints for scattering amplitudes and Feynman integrals

We comment on the status of “Steinmann-like” constraints, i.e. all-loop constraints on consecutive entries of the symbol of scattering amplitudes and Feynman integrals in planar $$ \mathcal{N} $$ N = 4 super-Yang-Mills, which have been crucial for the recent progress of the bootstrap program. Based on physical discontinuities and Steinmann relations, we first summarize all possible double discontinuities (or first-two-entries) for (the symbol of) amplitudes and integrals in terms of dilogarithms, generalizing well-known results for n = 6, 7 to all multiplicities. As our main result, we find that extended-Steinmann relations hold for all finite integrals that we have checked, including various ladder integrals, generic double-pentagon integrals, as well as finite components of two-loop NMHV amplitudes for any n; with suitable normalization such as minimal subtraction, they hold for n = 8 MHV amplitudes at three loops. We find interesting cancellation between contributions from rational and algebraic letters, and for the former we have also tested cluster-adjacency conditions using the so-called Sklyanin brackets. Finally, we propose a list of possible last-two-entries for MHV amplitudes up to 9 points derived from $$ \overline{Q} $$ Q ¯ equations, which can be used to reduce the space of functions for higher-point MHV amplitudes.

Truncated cluster algebras and Feynman integrals with algebraic letters

We propose that the symbol alphabet for classes of planar, dual-conformal-invariant Feynman integrals can be obtained as truncated cluster algebras purely from their kinematics, which correspond to boundaries of (compactifications of) G+(4, n)/T for the n-particle massless kinematics. For one-, two-, three-mass-easy hexagon kinematics with n = 7, 8, 9, we find finite cluster algebras D4, D5 and D6 respectively, in accordance with previous result on alphabets of these integrals. As the main example, we consider hexagon kinematics with two massive corners on opposite sides and find a truncated affine D4 cluster algebra whose polytopal realization is a co-dimension 4 boundary of that of G+(4, 8)/T with 39 facets; the normal vectors for 38 of them correspond to g-vectors and the remaining one gives a limit ray, which yields an alphabet of 38 rational letters and 5 algebraic ones with the unique four-mass-box square root. We construct the space of integrable symbols with this alphabet and physical first-entry conditions, whose dimension can be reduced using conditions from a truncated version of cluster adjacency. Already at weight 4, by imposing last-entry conditions inspired by the n = 8 double-pentagon integral, we are able to uniquely determine an integrable symbol that gives the algebraic part of the most generic double-pentagon integral. Finally, we locate in the space the n = 8 double-pentagon ladder integrals up to four loops using differential equations derived from Wilson-loop d log forms, and we find a remarkable pattern about the appearance of algebraic letters.

Duals of Feynman integrals. Part I. Differential equations

We elucidate the vector space (twisted relative cohomology) that is Poincaré dual to the vector space of Feynman integrals (twisted cohomology) in general spacetime dimension. The pairing between these spaces — an algebraic invariant called the intersection number — extracts integral coefficients for a minimal basis, bypassing the generation of integration-by-parts identities. Dual forms turn out to be much simpler than their Feynman counterparts: they are supported on maximal cuts of various sub-topologies (boundaries). Thus, they provide a systematic approach to generalized unitarity, the reconstruction of amplitudes from on-shell data. In this paper, we introduce the idea of dual forms and study their mathematical structures. As an application, we derive compact differential equations satisfied by arbitrary one-loop integrals in non-integer spacetime dimension. A second paper of this series will detail intersection pairings and their use to extract integral coefficients.

Mirror channel eigenvectors of the d-dimensional fishnets

We present a basis of eigenvectors for the graph building operators acting along the mirror channel of planar fishnet Feynman integrals in d-dimensions. The eigenvectors of a fishnet lattice of length N depend on a set of N quantum numbers (uk, lk ), each associated with the rapidity and bound-state index of a lattice excitation. Each excitation is a particle in (1 + 1)-dimensions with O(d) internal symmetry, and the wave-functions are formally constructed with a set of creation/annihilation operators that satisfy the corresponding Zamolodchikovs-Faddeev algebra. These properties are proved via the representation, new to our knowledge, of the matrix elements of the fused R-matrix with O(d) symmetry as integral operators on the functions of two spacetime points. The spectral decomposition of a fishnet integral we achieved can be applied to the computation of Basso-Dixon integrals in higher dimensions.

Invariant Differential Forms on Complexes of Graphs and Feynman Integrals

We study differential forms on an algebraic compactification of a moduli space of metric graphs. Canonical examples of such forms are obtained by pulling back invariant differentials along a tropical Torelli map. The invariant differential forms in question generate the stable real cohomology of the general linear group, as shown by Borel. By integrating such invariant forms over the space of metrics on a graph, we define canonical period integrals associated to graphs, which we prove are always finite and take the form of generalised Feynman integrals. Furthermore, canonical integrals can be used to detect the non-vanishing of homology classes in the commutative graph complex. This theory leads to insights about the structure of the cohomology of the commutative graph complex, and new connections between graph complexes, motivic Galois groups and quantum field theory.

Progress on Feynman Integrals for 2 → 3 scattering at NNLO

We present recent results on two-loop five-point Feynman Integrals with one off-shell leg that are relevant to the study of many 2 → 3 scattering processes of interest at the LHC, especially for the leading-colour W + 2 jets production. The calculation is based on the Simplified Differential Equations approach.

The diagrammatic coaction beyond one loop

The diagrammatic coaction maps any given Feynman graph into pairs of graphs and cut graphs such that, conjecturally, when these graphs are replaced by the corresponding Feynman integrals one obtains a coaction on the respective functions. The coaction on the functions is constructed by pairing a basis of differential forms, corresponding to master integrals, with a basis of integration contours, corresponding to independent cut integrals. At one loop, a general diagrammatic coaction was established using dimensional regularisation, which may be realised in terms of a global coaction on hypergeometric functions, or equivalently, order by order in the ϵ expansion, via a local coaction on multiple polylogarithms. The present paper takes the first steps in generalising the diagrammatic coaction beyond one loop. We first establish general properties that govern the diagrammatic coaction at any loop order. We then focus on examples of two-loop topologies for which all integrals expand into polylogarithms. In each case we determine bases of master integrals and cuts in terms of hypergeometric functions, and then use the global coaction to establish the diagrammatic coaction of all master integrals in the topology. The diagrammatic coaction encodes the complete set of discontinuities of Feynman integrals, as well as the differential equations they satisfy, providing a general tool to understand their physical and mathematical properties.

Bootstrapping octagons in reduced kinematics from A2 cluster algebras

Multi-loop scattering amplitudes/null polygonal Wilson loops in $$ \mathcal{N} $$ N = 4 super-Yang-Mills are known to simplify significantly in reduced kinematics, where external legs/edges lie in an 1 + 1 dimensional subspace of Minkowski spacetime (or boundary of the AdS3 subspace). Since the edges of a 2n-gon with even and odd labels go along two different null directions, the kinematics is reduced to two copies of G(2, n)/T ∼ An−3. In the simplest octagon case, we conjecture that all loop amplitudes and Feynman integrals are given in terms of two overlapping A2 functions (a special case of two-dimensional harmonic polylogarithms): in addition to the letters v, 1 + v, w, 1 + w of A1 × A1, there are two letters v − w, 1 − vw mixing the two sectors but they never appear together in the same term; these are the reduced version of four-mass-box algebraic letters. Evidence supporting our conjecture includes all known octagon amplitudes as well as new computations of multi-loop integrals in reduced kinematics. By leveraging this alphabet and conditions on first and last entries, we initiate a bootstrap program in reduced kinematics: within the remarkably simple space of overlapping A2 functions, we easily obtain octagon amplitudes up to two-loop NMHV and three-loop MHV. We also briefly comment on the generalization to 2n-gons in terms of A2 functions and beyond.

One-loop Feynman integrals for 2 → 3 scattering involving many scales including internal masses

We study several multiscale one-loop five-point families of Feynman integrals. More specifically, we employ the Simplified Differential Equations approach to obtain results in terms of Goncharov polylogarithms of up to transcendental weight four for families with two and three massive external legs and massless propagators, as well as with one massive internal line and up to two massive external legs. This is the first time this computational approach is applied to cases involving internal masses.

Co-Homology of Differential Forms and Feynman Diagrams

In the present review we provide an extensive analysis of the intertwinement between Feynman integrals and cohomology theories in light of recent developments. Feynman integrals enter in several perturbative methods for solving non-linear PDE, starting from Quantum Field Theories and including General Relativity and Condensed Matter Physics. Precision calculations involve several loop integrals and an onec strategy to address, which is to bring them back in terms of linear combinations of a complete set of integrals (the master integrals). In this sense Feynman integrals can be thought as defining a sort of vector space to be decomposed in term of a basis. Such a task may be simpler if the vector space is endowed with a scalar product. Recently, it has been discovered that, if these spaces are interpreted in terms of twisted cohomology, the role of a scalar product is played by intersection products. The present review is meant to provide the mathematical tools, usually familiar to mathematicians but often not in the standard baggage of physicists, such as singular, simplicial and intersection (co)homologies, and hodge structures, that are apt to restate this strategy on precise mathematical grounds. It is intended to be both an introduction for beginners interested in the topic, as well as a general reference providing helpful tools for tackling the several still-open problems.