Searcharxiv⌕ Search

arXiv subjects

Andrew J. McLeod

Publications and source records attributed to Andrew J. McLeod.

At least 37 records · Page 2Linked to original sources
arXiv2021

NNNLO gravitational quadratic-in-spin interactions at the quartic order in G

We compute the N$^3$LO gravitational quadratic-in-spin interactions at $G^4$ in the post-Newtonian (PN) expansion via the effective field theory (EFT) of gravitating spinning objects for the first time. This result contributes at the $5$PN order for maximally-spinning compact objects, adding the spinning case to the static sector at this PN accuracy. This sector requires extending the EFT of a spinning particle beyond linear order in the curvature to include higher-order operators quadratic in the curvature that are relevant at this PN order. We make use of a diagrammatic expansion in the worldline picture, and rely on our recent upgrade of the \texttt{EFTofPNG} code, which we further extend to handle this sector. Similar to the spin-orbit sector, we find that the contributing three-loop graphs give rise to divergences, logarithms, and transcendental numbers. However, in this sector all of these features conspire to cancel out from the final result, which contains only finite rational terms.

hep-th↗
arXiv2021

Prescriptive Unitarity for Non-Planar Six-Particle Amplitudes at Two Loops

We extend the applications of prescriptive unitarity beyond the planar limit to provide local, polylogarithmic, integrand-level representations of six-particle MHV scattering amplitudes in both maximally supersymmetric Yang-Mills theory and gravity. The integrand basis we construct is diagonalized on a spanning set of non-vanishing leading singularities that ensures the manifest matching of all soft-collinear singularities in both theories. As a consequence, this integrand basis naturally splits into infrared-finite and infrared-divergent parts, with hints toward an integrand-level exponentiation of infrared divergences. Importantly, we use the same basis of integrands for both theories, so that the presence or absence of residues at infinite loop momentum becomes a feature detectable by inspecting the cuts of the theory. Complete details of our results are provided as ancillary files. This work has been updated to take into account the results of [arXiv:1911.09106], which leads to a simpler and more uniform representation of these amplitudes.

hep-th↗
arXiv2021

The Two-Loop Remainder Function for Eight and Nine Particles

Two-loop MHV amplitudes in planar ${\cal N} = 4$ supersymmetric Yang Mills theory are known to exhibit many intriguing forms of cluster-algebraic structure. We leverage this structure to upgrade the symbols of the eight- and nine-particle amplitudes to complete analytic functions. This is done by systematically projecting onto the components of these amplitudes that take different functional forms, and matching each component to an ansatz of multiple polylogarithms with negative cluster-coordinate arguments. The remaining additive constant can be determined analytically by comparing the collinear limit of each amplitude to known lower-multiplicity results. We also observe that the nonclassical part of each of these amplitudes admits a unique decomposition in terms of a specific $A_3$ cluster polylogarithm, and explore the numerical behavior of the remainder function along lines in the positive region.

hep-th↗
arXiv2021

A Three-Point Form Factor Through Five Loops

We bootstrap the three-point form factor of the chiral part of the stress-tensor supermultiplet in planar $\mathcal{N}=4$ super-Yang-Mills theory, obtaining new results at three, four, and five loops. Our construction employs known conditions on the first, second, and final entries of the symbol, combined with new multiple-final-entry conditions, ``extended-Steinmann-like'' conditions, and near-collinear data from the recently-developed form factor operator product expansion. Our results are expected to give the maximally transcendental parts of the $gg\to Hg$ and $H\to ggg$ amplitudes in the heavy-top limit of QCD. At two loops, the extended-Steinmann-like space of functions we describe contains all transcendental functions required for four-point amplitudes with one massive and three massless external legs, and all massless internal lines, including processes such as $gg\to Hg$ and $γ^*\to q\bar{q}g$. We expect the extended-Steinmann-like space to contain these amplitudes at higher loops as well, although not to arbitrarily high loop order. We present evidence that the planar $\mathcal{N}=4$ three-point form factor can be placed in an even smaller space of functions, with no independent $ζ$ values at weights two and three.

hep-th↗
arXiv2021

Direct Integration for Multi-leg Amplitudes: Tips, Tricks, and When They Fail

Direct hyperlogarithmic integration offers a strong alternative to differential equation methods for Feynman integration, particularly for multi-particle diagrams. We review a variety of results by the authors in which this method, employed with some care, can compute diagrams of up to eight particles and four loops. We also highlight situations in which this method fails due to an algebraic obstruction. In a large number of cases the obstruction can be associated with a Calabi-Yau manifold.

hep-th↗
arXiv2020

A Novel Algorithm for Nested Summation and Hypergeometric Expansions

We consider a class of sums over products of Z-sums whose arguments differ by a symbolic integer. Such sums appear, for instance, in the expansion of Gauss hypergeometric functions around integer indices that depend on a symbolic parameter. We present a telescopic algorithm for efficiently converting these sums into generalized polylogarithms, Z-sums, and cyclotomic harmonic sums for generic values of this parameter. This algorithm is illustrated by computing the double pentaladder integrals through ten loops, and a family of massive self-energy diagrams through $O(ε^6)$ in dimensional regularization. We also outline the general telescopic strategy of this algorithm, which we anticipate can be applied to other classes of sums.

hep-th↗
arXiv2020

Steinmann Relations and the Wavefunction of the Universe

The physical principles of causality and unitarity put strong constraints on the analytic structure of the flat-space S-matrix. In particular, these principles give rise to the Steinmann relations, which require that the double discontinuities of scattering amplitudes in partially-overlapping momentum channels vanish. Conversely, at cosmological scales, the imprint of causality and unitarity is in general less well understood---the wavefunction of the universe lives on the future space-like boundary, and has all time evolution integrated out. In the present work, we show how the flat-space Steinmann relations emerge from the structure of the wavefunction of the universe, and derive similar relations that apply to the wavefunction itself. This is done within the context of scalar toy models whose perturbative wavefunction has a first-principles definition in terms of cosmological polytopes. In particular, we use the fact that the scattering amplitude is encoded in the scattering facet of cosmological polytopes, and that cuts of the amplitude are encoded in the codimension-one boundaries of this facet. As we show, the flat-space Steinmann relations are thus implied by the non-existence of codimension-two boundaries at the intersection of the boundaries associated with pairs of partially-overlapping channels. Applying the same argument to the full cosmological polytope, we also derive Steinmann-type constraints that apply to the full wavefunction of the universe. These arguments show how the combinatorial properties of cosmological polytopes lead to the emergence of flat-space causality in the S-matrix, and provide new insights into the analytic structure of the wavefunction of the universe.

hep-th↗
arXiv2020

Sequential Discontinuities of Feynman Integrals and the Monodromy Group

We generalize the relation between discontinuities of scattering amplitudes and cut diagrams to cover sequential discontinuities (discontinuities of discontinuities) in arbitrary momentum channels. The new relations are derived using time-ordered perturbation theory, and hold at phase-space points where all cut momentum channels are simultaneously accessible. As part of this analysis, we explain how to compute sequential discontinuities as monodromies and explore the use of the monodromy group in characterizing the analytic properties of Feynman integrals. We carry out a number of cross-checks of our new formulas in polylogarithmic examples, in some cases to all loop orders.

hep-th↗
arXiv2020

The Steinmann Cluster Bootstrap for N=4 Super Yang-Mills Amplitudes

We review the bootstrap method for constructing six- and seven-particle amplitudes in planar $\mathcal{N}=4$ super Yang-Mills theory, by exploiting their analytic structure. We focus on two recently discovered properties which greatly simplify this construction at symbol and function level, respectively: the extended Steinmann relations, or equivalently cluster adjacency, and the coaction principle. We then demonstrate their power in determining the six-particle amplitude through six and seven loops in the NMHV and MHV sectors respectively, as well as the symbol of the NMHV seven-particle amplitude to four loops.

hep-th↗
arXiv2020

Embedding Feynman Integral (Calabi-Yau) Geometries in Weighted Projective Space

It has recently been demonstrated that Feynman integrals relevant to a wide range of perturbative quantum field theories involve periods of Calabi-Yaus of arbitrarily large dimension. While the number of Calabi-Yau manifolds of dimension three or higher is considerable (if not infinite), those relevant to most known examples come from a very simple class: degree-$2k$ hypersurfaces in $k$-dimensional weighted projective space $\mathbb{WP}^{1,\ldots,1,k}$. In this work, we describe some of the basic properties of these spaces and identify additional examples of Feynman integrals that give rise to hypersurfaces of this type. Details of these examples at three and four loops are included as ancillary files to this work.

hep-th↗
arXiv2019

All-Mass $n$-gon Integrals in $n$ Dimensions

We explore the correspondence between one-loop Feynman integrals and (hyperbolic) simplicial geometry to describe the "all-mass" case: integrals with generic external and internal masses. Specifically, we focus on $n$-particle integrals in exactly $n$ space-time dimensions, as these integrals have particularly nice geometric properties and respect a dual conformal symmetry. In four dimensions, we leverage this geometric connection to give a concise dilogarithmic expression for the all-mass box in terms of the Murakami-Yano formula. In five dimensions, we use a generalized Gauss-Bonnet theorem to derive a similar dilogarithmic expression for the all-mass pentagon. We also use the Schläfli formula to write down the symbol of these integrals for all $n$. Finally, we discuss how the geometry behind these formulas depends on space-time signature, and we gather together many results related to these integrals from the mathematics and physics literature.

hep-th↗
arXiv2019

Rooting Out Letters: Octagonal Symbol Alphabets and Algebraic Number Theory

It is widely expected that NMHV amplitudes in planar, maximally supersymmetric Yang-Mills theory require symbol letters that are not rationally expressible in terms of momentum-twistor (or cluster) variables starting at two loops for eight particles. Recent advances in loop integration technology have made this an `experimentally testable' hypothesis: compute the amplitude at some kinematic point, and see if algebraic symbol letters arise. We demonstrate the feasibility of such a test by directly integrating the most difficult of the two-loop topologies required. This integral, together with its rotated image, suffices to determine the simplest NMHV component amplitude: the unique component finite at this order. Although each of these integrals involve algebraic symbol alphabets, the combination contributing to this amplitude is---surprisingly---rational. We describe the steps involved in this analysis, which requires several novel tricks of loop integration and also a considerable degree of algebraic number theory. We find dramatic and unusual simplifications, in which the two symbols initially expressed as almost ten million terms in over two thousand letters combine in a form that can be written in five thousand terms and twenty-five letters.

hep-th↗
arXiv2019

Cluster Algebras and the Subalgebra Constructibility of the Seven-Particle Remainder Function

We review various aspects of cluster algebras and the ways in which they appear in the study of loop-level amplitudes in planar ${\cal N} = 4$ supersymmetric Yang-Mills theory. In particular, we highlight the different forms of cluster-algebraic structure that appear in this theory's two-loop MHV amplitudes---considered as functions, symbols, and at the level of their Lie cobracket---and recount how the `nonclassical' part of these amplitudes can be decomposed into specific functions evaluated on the $A_2$ or $A_3$ subalgebras of Gr$(4,n)$. We then extend this line of inquiry by searching for other subalgebras over which these amplitudes can be decomposed. We focus on the case of seven-particle kinematics, where we show that the nonclassical part of the two-loop MHV amplitude is also constructible out of functions evaluated on the $D_5$ and $A_5$ subalgebras of Gr$(4,7)$, and that these decompositions are themselves decomposable in terms of the same $A_4$ function. These nested decompositions take an especially canonical form, which is dictated in each case by constraints arising from the automorphism group of the parent algebra.

hep-th↗
arXiv2019

The Cosmic Galois Group and Extended Steinmann Relations for Planar $\mathcal{N} = 4$ SYM Amplitudes

We describe the minimal space of polylogarithmic functions that is required to express the six-particle amplitude in planar ${\cal 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.

hep-th↗
arXiv2019

Six-Gluon Amplitudes in Planar ${\cal N}=4$ Super-Yang-Mills Theory at Six and Seven Loops

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.

hep-th↗
arXiv2019

The Sklyanin Bracket and Cluster Adjacency at All Multiplicity

We argue that the Sklyanin Poisson bracket on Gr(4,n) can be used to efficiently test whether an amplitude in planar ${\cal{N}}=4$ supersymmetric Yang-Mills theory satisfies cluster adjacency. We use this test to show that cluster adjacency is satisfied by all one- and two-loop MHV amplitudes in this theory, once suitably regulated. Using this technique we also demonstrate that cluster adjacency implies the extended Steinmann relations at all particle multiplicities.

hep-th↗
arXiv2019

A (Bounded) Bestiary of Feynman Integral Calabi-Yau Geometries

We define the rigidity of a Feynman integral to be the smallest dimension over which it is non-polylogarithmic. We argue that massless Feynman integrals in four dimensions have a rigidity bounded by 2(L-1) at L loops, and we show that this bound may be saturated for integrals that we call marginal: those with (L+1)D/2 propagators in (even) D dimensions. We show that marginal Feynman integrals in D dimensions generically involve Calabi-Yau geometries, and we give examples of finite four-dimensional Feynman integrals in massless $ϕ^4$ theory that saturate our predicted bound in rigidity at all loop orders.

hep-th↗