arXiv subjects
Publications and source records attributed to Jacob L. Bourjaily.
We give a closed-form, prescriptive representation of all-multiplicity two-loop MHV amplitude integrands in fully-color-dressed (non-planar) maximally supersymmetric Yang-Mills theory.
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.
A `locally-finite' observable is one for which there is no region of divergence anywhere in the space of real loop momenta; it can therefore be computed (in principle) without regularization. In this work, we prove that all two-loop ratio functions in planar, maximally supersymmetric Yang-Mills theory are locally-finite.
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.
We derive closed formulae for the first examples of non-algebraic, elliptic `leading singularities' in planar, maximally supersymmetric Yang-Mills theory and show that they are Yangian-invariant.
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.
We describe a systematic approach to the construction of loop-integrand bases at arbitrary loop-order, sufficient for the representation of general quantum field theories. We provide a graph-theoretic definition of `power-counting' for multi-loop integrands beyond the planar limit, and show how this can be used to organize bases according to ultraviolet behavior. This allows amplitude integrands to be constructed iteratively. We illustrate these ideas with concrete applications. In particular, we describe complete integrand bases at two loops sufficient to represent arbitrary-multiplicity amplitudes in four (or fewer) dimensions in any massless quantum field theory with the ultraviolet behavior of the Standard Model or better. We also comment on possible extensions of our framework to arbitrary (including regulated) numbers of dimensions, and to theories with arbitrary mass spectra and charges. At three loops, we describe a basis sufficient to capture all `leading-(transcendental-)weight' contributions of any four-dimensional quantum theory; for maximally supersymmetric Yang-Mills theory, this basis should be sufficient to represent all scattering amplitude integrands in the theory---for generic helicities and arbitrary multiplicity.
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.
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.
We reproduce the two-loop seven-point remainder function in planar, maximally supersymmetric Yang-Mills theory by direct integration of conformally-regulated chiral integrands. The remainder function is obtained as part of the two-loop logarithm of the MHV amplitude, the regularized form of which we compute directly in this scheme. We compare the scheme-dependent anomalous dimensions and related quantities in the conformal regulator with those found for the Higgs regulator.
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.
Local, manifestly dual-conformally invariant loop integrands are now known for all finite quantities associated with observables in planar, maximally supersymmetric Yang-Mills theory through three loops. These representations, however, are not infrared-finite term by term and therefore require regularization; and even using a regulator consistent with dual-conformal invariance, ordinary methods of loop integration would naively obscure this symmetry. In this work, we show how any planar loop integral through at least two loops can be systematically regulated and evaluated directly in terms of strictly finite, manifestly dual-conformal Feynman-parameter integrals. We apply these methods to the case of the two-loop ratio and remainder functions for six particles, reproducing the known results in terms of individually regulated local loop integrals, and we comment on some of the novelties that arise for this regularization scheme not previously seen at one loop.
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.
We investigate the asymptotically large loop-momentum behavior of multi-loop amplitudes in maximally supersymmetric quantum field theories in four dimensions. We check residue-theorem identities among color-dressed leading singularities in $\mathcal{N}=4$ supersymmetric Yang-Mills theory to demonstrate the absence of poles at infinity of all MHV amplitudes through three loops. Considering the same test for $\mathcal{N}=8$ supergravity leads us to discover that this theory does support non-vanishing residues at infinity starting at two loops, and the degree of these poles grow arbitrarily with multiplicity. This causes a tension between simultaneously manifesting ultraviolet finiteness---which would be automatic in a representation obtained by color-kinematic duality---and gauge invariance---which would follow from unitarity-based methods.
We show that direct Feynman-parametric loop integration is possible for a large class of planar multi-loop integrals. Much of this follows from the existence of manifestly dual-conformal Feynman-parametric representations of planar loop integrals, and the fact that many of the algebraic roots associated with (e.g. Landau) leading singularities are automatically rationalized in momentum-twistor space---facilitating direct integration via partial fractioning. We describe how momentum twistors may be chosen non-redundantly to parameterize particular integrals, and how strategic choices of coordinates can be used to expose kinematic limits of interest. We illustrate the power of these ideas with many concrete cases studied through four loops and involving as many as eight particles. Detailed examples are included as ancillary files to this work's submission to the arXiv.
We describe a family of finite, four-dimensional, $L$-loop Feynman integrals that involve weight-$(L+1)$ hyperlogarithms integrated over $(L-1)$-dimensional elliptically fibered varieties we conjecture to be Calabi-Yau. At three loops, we identify the relevant K3 explicitly; and we provide strong evidence that the four-loop integral involves a Calabi-Yau threefold. These integrals are necessary for the representation of amplitudes in many theories---from massless $φ^4$ theory to integrable theories including maximally supersymmetric Yang-Mills theory in the planar limit---a fact we demonstrate.
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 four-fold, 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 iterated elliptic/polylogarithmic integrals in order to bring them to a more canonical form.
We describe the conformal symmetries of asymptotically flat spacetime. These represent an extension of the BMS group that we call the conformal BMS group. Its general features are discussed.