Momentum Twistor Space Research Articles

Loops of loops expansion in the amplituhedron

We study a novel geometric expansion for scattering amplitudes in the planar sector of N\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ \\mathcal{N} $$\\end{document} = 4 super Yang-Mills theory, in the context of the Amplituhedron which reproduces the all-loop integrand as a canonical differential form on the positive geometry. In a paper by Arkani-Hamed, Henn and one of the authors, it was shown that this result can be recast in terms of negative geometries with a certain hierarchy of loops (closed cycles) in the space of loop momenta, represented by lines in momentum twistor space. One can then calculate an all-loop order result in the approximation where only tree graphs in the space of all loops are considered. Furthermore, using differential equation methods, it is possible to calculate and resum integrated expressions and obtain strong coupling results. In this paper, we provide a more general framework for the ‘loops of loops’ expansion and outline a powerful method for the determination of differential forms for higher-order geometries. We solve the problem completely for graphs with one internal cycle, but the method can be used more generally for other geometries.

Cutting the traintracks: Cauchy, Schubert and Calabi-Yau

In this note we revisit the maximal-codimension residues, or leading singularities, of four-dimensional L-loop traintrack integrals with massive legs, both in Feynman parameter space and in momentum (twistor) space. We identify a class of “half traintracks” as the most general degenerations of traintracks with conventional (0-form) leading singularities, although the integrals themselves still have rigidity L−12\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ \\left\\lfloor \\frac{L-1}{2}\\right\\rfloor $$\\end{document} due to lower-loop “full traintrack” subtopologies. As a warm-up exercise, we derive closed-form expressions for their leading singularities both via (Cauchy’s) residues in Feynman parameters, and more geometrically using the so-called Schubert problems in momentum twistor space. For L-loop full traintracks, we compute their leading singularities as integrals of (L−1)-forms, which proves that the rigidity is L−1 as expected; the form is given by an inverse square root of an irreducible polynomial quartic with respect to each variable, which characterizes an (L−1)-dim Calabi-Yau manifold (elliptic curve, K3 surface, etc.) for any L. We also briefly comment on the implications for the “symbology” of these traintrack integrals.

Schubert problems, positivity and symbol letters

We propose a geometrical approach to generate symbol letters of amplitudes/integrals in planar mathcal{N} = 4 Super Yang-Mills theory, known as Schubert problems. Beginning with one-loop integrals, we find that intersections of lines in momentum twistor space are always ordered on a given line, once the external kinematics Z is in the positive region G+(4, n). Remarkably, cross-ratios of these ordered intersections on a line, which are guaranteed to be positive now, nicely coincide with symbol letters of corresponding Feynman integrals, whose positivity is then concluded directly from such geometrical configurations. In particular, we reproduce from this approach the 18 multiplicative independent algebraic letters for n = 8 amplitudes up to three loops. Finally, we generalize the discussion to two-loop Schubert problems and, again from ordered points on a line, generate a new kind of algebraic letters which mix two distinct square roots together. They have been found recently in the alphabet of two-loop double-box integral with n ≥ 9, and they are expected to appear in amplitudes at k + ℓ ≥ 4.

A note on letters of Yangian invariants

Motivated by reformulating Yangian invariants in planar mathcal{N} = 4 SYM directly as d log forms on momentum-twistor space, we propose a purely algebraic problem of determining the arguments of the d log’s, which we call “letters”, for any Yangian invariant. These are functions of momentum twistors Z ’s, given by the positive coordinates α’s of parametrizations of the matrix C(α), evaluated on the support of polynomial equations C(α) · Z = 0. We provide evidence that the letters of Yangian invariants are related to the cluster algebra of Grassmannian G(4, n), which is relevant for the symbol alphabet of n-point scattering amplitudes. For n = 6, 7, the collection of letters for all Yangian invariants contains the cluster mathcal{A} coordinates of G(4, n). We determine algebraic letters of Yangian invariant associated with any “four-mass” box, which for n = 8 reproduce the 18 multiplicative-independent, algebraic symbol letters discovered recently for two-loop amplitudes.

Mathcal{N} = 7 On-shell diagrams and supergravity amplitudes in momentum twistor space

We derive an on-shell diagram recursion for tree-level scattering amplitudes in mathcal{N} = 7 supergravity. The diagrams are evaluated in terms of Grassmannian integrals and momentum twistors, generalising previous results of Hodges in momentum twistor space to non-MHV amplitudes. In particular, we recast five and six-point NMHV amplitudes in terms of mathcal{N} = 7 R-invariants analogous to those of mathcal{N} = 4 super-Yang-Mills, which makes cancellation of spurious poles more transparent. Above 5-points, this requires defining momentum twistors with respect to different orderings of the external momenta.

Traintrack Calabi-Yaus from twistor geometry

We describe the geometry of the leading singularity locus of the traintrack integral family directly in momentum twistor space. For the two-loop case, known as the elliptic double box, the leading singularity locus is a genus one curve, which we obtain as an intersection of two quadrics in ℙ3. At three loops, we obtain a K3 surface which arises as a branched surface over two genus-one curves in ℙ1× ℙ1. We present an analysis of its properties. We also discuss the geometry at higher loops and the supersymmetrization of the construction.

Reggeon Integrands in $$\mathcal{N} = 4$$ SYM

In this paper we present the all-loop conjecture for the integrands of Wilson line form factors, also known as the reggeon amplitudes, in $$\mathcal{N} = 4$$ SYM. The key role is played by a new gluing operation in momentum twistor space, which is used to derive the BCFW recursion for the loop integrands of the reggeon amplitudes.

Notes on scattering amplitudes as differential forms

Inspired by the idea of viewing amplitudes in mathcal{N}=4 SYM as differential forms on momentum twistor space, we introduce differential forms on the space of spinor variables, which combine helicity amplitudes in any four-dimensional gauge theory as a single object. In this note we focus on such differential forms in mathcal{N}=4 SYM, which can also be thought of as “bosonizing” superamplitudes in non-chiral superspace. Remarkably all tree-level amplitudes in mathcal{N}=4 SYM combine to a d log form in spinor variables, which is given by pushforward of canonical forms of Grassmannian cells. The tree forms can also be obtained using BCFW or inverse-soft construction, and we present all-multiplicity expression for MHV and NMHV forms to illustrate their simplicity. Similarly all-loop planar integrands can be naturally written as d log forms in the Grassmannian/on-shell-diagram picture, and we expect the same to hold beyond the planar limit. Just as the form in momentum twistor space reveals underlying positive geometry of the amplituhedron, the form in terms of spinor variables strongly suggests an “amplituhedron in momentum space”. We initiate the study of its geometry by connecting it to the moduli space of Witten’s twistor-string theory, which provides a pushforward formula for tree forms in mathcal{N}=4 SYM.

Rationalizing loop integration

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 supplementary material.

The all-loop conjecture for integrands of reggeon amplitudes in mathcal{N}=4 SYM

In this paper we present the all-loop conjecture for integrands of Wilson line form factors, also known as reggeon amplitudes, in mathcal{N}=4 SYM. In particular we present a new gluing operation in momentum twistor space used to obtain reggeon tree-level amplitudes and loop integrands starting from corresponding expressions for on-shell amplitudes. The introduced gluing procedure is used to derive the BCFW recursions both for tree-level reggeon amplitudes and their loop integrands. In addition we provide predictions for the reggeon loop integrands written in the basis of local integrals. As a check of the correctness of the gluing operation at loop level we derive the expression for LO BFKL kernel in mathcal{N}=4 SYM.

Unwinding the amplituhedron in binary

We present new, fundamentally combinatorial and topological characterizations of the amplituhedron. Upon projecting external data through the amplituhedron, the resulting configuration of points has a specified (and maximal) generalized “winding number”. Equivalently, the amplituhedron can be fully described in binary: canonical projections of the geometry down to one dimension have a specified (and maximal) number of “sign flips” of the projected data. The locality and unitarity of scattering amplitudes are easily derived as elementary consequences of this binary code. Minimal winding defines a natural “dual” of the amplituhedron. This picture gives us an avatar of the amplituhedron purely in the configuration space of points in vector space (momentum-twistor space in the physics), a new interpretation of the canonical amplituhedron form, and a direct bosonic understanding of the scattering super-amplitude in planar mathcal{N} = 4 SYM as a differential form on the space of physical kinematical data.

The amplituhedron from momentum twistor diagrams

We propose a new diagrammatic formulation of the all-loop scattering amplitudes/Wilson loops in planar N=4 SYM, dubbed the "momentum-twistor diagrams". These are on-shell-diagrams obtained by gluing trivalent black and white vertices defined in momentum twistor space, which, in the reduced diagram case, are known to be related to diagrams in the original twistor space. The new diagrams are manifestly Yangian invariant, and they naturally represent factorization and forward-limit contributions in the all-loop BCFW recursion relations in momentum twistor space, in a fashion that is completely different from those in momentum space. We show how to construct and evaluate momentum-twistor diagrams, and how to use them to obtain tree-level amplitudes and loop-level integrands; in particular for the latter we identify an isolated bubble-structure for each loop variable, arising from a forward limit, or entangled removal of particles. From a given diagram one can directly read off the C, D matrices via a generalized "boundary measurement"; this in turn determines a cell in the amplituhedron associated with the amplitude, and our diagrammatic representations of the amplitude can provide triangulations of the amplituhedron with generally very intricate geometries. To demonstrate the computational power of the formalism, we give explicit results for general two-loop integrands, and the cells of the complete amplituhedron for two-loop MHV amplitudes.

Integrable amplitude deformations forN=4super Yang-Mills and ABJM theory

We study Yangian-invariant deformations of scattering amplitudes in 4d N=4 supersymmetric Yang-Mills theory and 3d N=6 Aharony-Bergman-Jafferis-Maldacena (ABJM) theory. In particular, we obtain the deformed Grassmannian integral for 4d N=4 super Yang-Mills theory, both in momentum and momentum-twistor space. For 3d ABJM theory, we initiate the study of deformed scattering amplitudes. We investigate general deformations of on-shell diagrams, and find the deformed Grassmannian integral for this theory. We furthermore introduce the algebraic R-matrix construction of deformed Yangian invariants for ABJM theory.

Grassmannians for scattering amplitudes in 4d N = 4 $$ \mathcal{N}=4 $$ SYM and 3d ABJM

Scattering amplitudes in 4d $\mathcal{N}=4$ super Yang-Mills theory (SYM) can be described by Grassmannian contour integrals whose form depends on whether the external data is encoded in momentum space, twistor space, or momentum twistor space. After a pedagogical review, we present a new, streamlined proof of the equivalence of the three integral formulations. A similar strategy allows us to derive a new Grassmannian integral for 3d $\mathcal{N}=6$ ABJM theory amplitudes in momentum twistor space: it is a contour integral in an orthogonal Grassmannian with the novel property that the internal metric depends on the external data. The result can be viewed as a central step towards developing an amplituhedron formulation for ABJM amplitudes. Various properties of Grassmannian integrals are examined, including boundary properties, pole structure, and a homological interpretation of the global residue theorems for $\mathcal{N}=4$ SYM.

On form factors in N = 4 $$ \mathcal{N}=4 $$ SYM theory and polytopes

In this paper we discuss different recursion relations (BCFW and all-line shift) for the form factors of the operators from the $\mathcal{N}=4$ SYM stress-tensor current supermultiplet $T^{AB}$ in momentum twistor space. We show that cancelations of spurious poles and equivalence between different types of recursion relations can be naturally understood using geometrical interpretation of the form factors as special limit of the volumes of polytopes in $\mathbb{C}\mathbb{P}^4$ in close analogy with the amplitude case. We also show how different relations for the IR pole coefficients can be easily derived using momentum twistor representation. This opens an intriguing question - which of powerful on-shell methods and ideas can survive off-shell ?

Maximally helicity-violating diagrams in twistor space and the twistor action

MHV diagrams give an efficient Feynman diagram-like formalism for calculating gauge theory scattering amplitudes on momentum space. Although they arise as the Feynman diagrams from an action on twistor space in an axial gauge, the main ingredients were previously expressed only in momentum space and momentum twistor space. Here we show how the formalism can be elegantly derived and expressed entirely in twistor space. This brings out the underlying superconformal invariance of the framework (up to the choice of a reference twistor used to define the axial gauge) and makes the twistor support transparent. Our treatment is largely independent of signature, although we focus on Lorentz signature. Starting from the N=4 super-Yang-Mills twistor action, we obtain the propagator for the anti-holomorphic Dolbeault-operator as a delta function imposing collinear support with the reference twistor defining the axial gauge. The MHV vertices are also expressed in terms of similar delta functions. We obtain concrete formulae for tree-level N^{k}MHV diagrams as a product of MHV amplitudes with an R-invariant for each propagator; here the R-invariant manifests superconformal as opposed to dual-superconformal invariance. This gives the expected explicit support on k+1 lines linked by k further lines associated to the propagators. The R-invariants arising correspond to those obtained in the dual conformal invariant momentum twistor version of the formalism, but differences arise in the specification of the boundary terms. Surprisingly, in this framework, some finite loop integrals can be performed as simply as those for tree diagrams.

Local integrals for planar scattering amplitudes

Recently, an explicit, recursive formula for the all-loop integrand of planar scattering amplitudes in $ \mathcal{N} = {4} $ SYM has been described, generalizing the BCFW formula for tree amplitudes, and making manifest the Yangian symmetry of the theory. This has made it possible to easily study the structure of multi-loop amplitudes in the theory. In this paper we describe a remarkable fact revealed by these investigations: the integrand can be expressed in an amazingly simple and manifestly local form when represented in momentum-twistor space using a set of chiral integrals with unit leading singularities. As examples, we present very-concise expressions for all 2- and 3-loop MHV integrands, as well as all 2-loop NMHV integrands. We also describe a natural set of manifestly IR-finite integrals that can be used to express IR-safe objects such as the ratio function. Along the way we give a pedagogical introduction to the foundations of the subject. The new local forms of the integrand are closely connected to leading singularities — matching only a small subset of all leading singularities remarkably suffices to determine the full integrand. These results strongly suggest the existence of a theory for the integrand directly yielding these local expressions, allowing for a more direct understanding of the emergence of local spacetime physics.

A note on polytopes for scattering amplitudes

In this note we continue the exploration of the polytope picture for scattering amplitudes, where amplitudes are associated with the volumes of polytopes in generalized momentum-twistor spaces. After a quick warm-up example illustrating the essential ideas with the elementary geometry of polygons in CP^2, we interpret the 1-loop MHV integrand as the volume of a polytope in CP^3x CP^3, which can be thought of as the space obtained by taking the geometric dual of the Wilson loop in each CP^3 of the product. We then review the polytope picture for the NMHV tree amplitude and give it a more direct and intrinsic definition as the geometric dual of a canonical "square" of the Wilson-Loop polygon, living in a certain extension of momentum-twistor space into CP^4. In both cases, one natural class of triangulations of the polytope produces the BCFW/CSW representations of the amplitudes; another class of triangulations leads to a striking new form, which is both remarkably simple as well as manifestly cyclic and local.

Twistor and polytope interpretations for subleading color one-loop amplitudes

We use the relation of the one-loop subleading-color amplitudes to the one-loop n-point leading color amplitudes in N = 4 SYM, to derive a polytope interpretation for the former in the MHV case, and a representation in momentum twistor space for the general N k MHV case. These techniques are explored in detail for the 5-point and 6-point amplitudes. We briefly discuss the implications for IR divergences.

MHV diagrams from an all-loop recursion relation

We consider the recursion relation for loop integrands in planar N = 4 SYM generated by an all-line shift of momentum twistors. We examine the behaviour of the rational loop integrands when the shift parameter becomes large, and find that a valid recursion relation may be obtained in all cases. The recursion relation is then formulated both in region momentum space and in momentum twistor space, and solved in detail for some one and two-loop examples. Finally, we show that the general iterative solution of the recursion relation generates the MHV vertex expansion for all loop integrands, providing a proof of the MHV diagram formalism for all loop amplitudes in planar N = 4 SYM.