No Arabic abstract
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.
Symbol alphabets of n-particle amplitudes in N=4 super-Yang-Mills theory are known to contain certain cluster variables of Gr(4,n) as well as certain algebraic functions of cluster variables. The first paper arXiv:2007.00646 in this series focused on n=8 algebraic letters. In this paper we show that it is possible to obtain all rational symbol letters (in fact all cluster variables) by solving matrix equations of the form C Z = 0 if one allows C to be an arbitrary cluster parameterization of the top cell of Gr_+(n-4,n).
Symbol alphabets of n-particle amplitudes in N=4 super-Yang-Mills theory are known to contain certain cluster variables of Gr(4,n) as well as certain algebraic functions of cluster variables. In this paper we suggest an algorithm for computing these symbol alphabets from plabic graphs by solving matrix equations of the form C Z = 0 to associate functions on Gr(m,n) to parameterizations of certain cells of Gr(k,n) indexed by plabic graphs. For m=4 and n=8 we show that this association precisely reproduces the 18 algebraic symbol letters of the two-loop NMHV eight-point amplitude from four plabic graphs.
We propose to use tensor diagrams and the Fomin-Pylyavskyy conjectures to explore the connection between symbol alphabets of $n$-particle amplitudes in planar $mathcal{N}=4$ Yang-Mills theory and certain polytopes associated to the Grassmannian G(4, $n$). We show how to assign a web (a planar tensor diagram) to each facet of these polytopes. Webs with no inner loops are associated to cluster variables (rational symbol letters). For webs with a single inner loop we propose and explicitly evaluate an associated web series that contains information about algebraic symbol letters. In this manner we reproduce the results of previous analyses of $n le 8$, and find that the polytope $mathcal{C}^dagger(4,9)$ encodes all rational letters, and all square roots of the algebraic letters, of nine-particle amplitudes.
Symbol alphabets of n-particle amplitudes in N=4 super-Yang-Mills theory are known to contain certain cluster variables of Gr(4,n) as well as certain algebraic functions of cluster variables. In this paper we solve the C Z = 0 matrix equations associated to several cells of the totally non-negative Grassmannian, combining methods of arXiv:2012.15812 for rational letters and arXiv:2007.00646 for algebraic letters. We identify sets of parameterizations of the top cell of Gr_+(5,9) for which the solutions produce all of (and only) the cluster variable letters of the 2-loop nine-particle NMHV amplitude, and identify plabic graphs from which all of its algebraic letters originate.
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 $D_4$, $D_5$ and $D_6$ 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 $D_4$ 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 $dlog$ forms, and we find a remarkable pattern about the appearance of algebraic letters.