We calculate the three-loop master integrals contributing to the three-loop five-point amplitude on the special Coulomb branch of 𝒩=4 SYM theory. For the genuine pentagon integrals, we follow the approach of Ref. [JHEP 12 (2025) 107], which includes a regularization preserving dual conformal invariance (DCI). As a new ingredient, we introduce a simple method, allowing to factor out the dependence on the DCI cross ratios from the contribution of each region. The remaining integrals are then essentially simplified by taking successive limits of vanishing external invariants. For 3 out of 82 regions contributing to the most complicated integral ℐ_5^(3) we were not able to perform the integration even after these simplifications. For these three regions, we perform the integration-by-parts (IBP) reduction in parametric representation and evaluate the resulting locally finite integrals using HyperInt.
We present a three-loop analysis of the scattering amplitude of five nearly massless W-bosons in planar maximally supersymmetric Yang-Mills theory. The basis of the master integrals is established, making use of the unitarity-cut sewing technique in six-dimensional N=(1,1) super-Yang-Mills theory. Its dimensional reduction down to four allows us to generate masses for internal and external states. We descend on the special Coulomb branch of maximally supersymmetric Yang-Mills theory by setting all propagator masses to zero. Employing explicit expressions for all integrals that we calculated in a companion paper, we find a concise representation for this infrared-sensitive observable. We confirm its exponentiation, both for infrared and finite terms. The infrared double logarithm manifests the anticipated universality through the octagon anomalous dimension as its governing coefficient. Unlike our previous two-loop result, this consideration reveals that each of the three independent kinematic structures furnishing the amplitude possesses its own function of 't Hooft coupling.
We study the form factor of the lowest component of the stress-tensor multiplet away from the origin of the moduli space in the spontaneously broken, aka Coulomb, phase of the maximally supersymmetric Yang-Mills theory for decay into three massive W-bosons. The calculations are done at two-loop order by deriving and solving canonical differential equations in the asymptotical limit of nearly vanishing W-masses. We confirm our previous findings that infrared physics of `off-shell observables' is governed by the octagon anomalous dimension rather than the cusp. In addition, the form factor in question possesses a nontrivial remainder function, which was found to be identical to the massless case, upon a proper subtraction of infrared logarithms (and finite terms). However, the iterative structure of the object is more intricate and is not simply related to the previous orders in coupling as opposed to amplitudes/form factors at the origin of the moduli space.
Feynman integral reduction by means of integration-by-parts identities is a major power gadget in a theorist toolbox indispensable for calculation of multiloop quantum effects relevant for particle phenomenology and formal theory alike. An algorithmic approach consists of solving a large sparse non-square system of homogeneous linear equations with polynomial coefficients. While an analytical way of doing this is legitimate and was pursued for decades, it undoubtedly has its limitations when applied in complicated circumstances. Thus, a complementary framework based on modular arithmetic becomes critical on the way to conquer the current `what is possible' frontier. This calls for use of supercomputers to address the reduction problem. In order to properly utilize these computational resources, one has to efficiently optimize the technique for this purpose. Presently, we discuss and implement various methods which allow us to significantly improve performance of Feynman integral reduction within the FIRE environment.
Two-loop multi-leg form factors in off-shell kinematics require knowledge of planar and nonplanar double box Feynman diagrams with massless internal propagators. These are complicated functions of Mandelstam variables and external particle virtualities. The latter serve as regulators of infrared divergences, thus making these observables finite in four space-time dimensions. In this paper, we use the method of canonical differential equations for calculation of (non)planar double box integrals in the near mass-shell kinematical regime, i.e., where virtualities of external particles are much smaller than the Mandelstam variables involved. We deduce a basis of master integrals with uniform transcendental weight based on the analysis of leading singularities by means of the Baikov representation as well as an array of complementary techniques. We dub the former asymptotically canonical since it is valid in the near mass-shell limit of interest. We iteratively solve resulting differential equations up to weight four in terms of multiple polylogarithms.
We address the problem of unambiguous reconstruction of rational functions of many variables. This is particularly relevant for recovery of exact expansion coefficients in integration-by-parts identites (IBPs) based on modular arithmetic. These IBPs are indispensable in modern approaches to evaluation of multiloop Feynman integrals by means of differential equations. Modular arithmetic is far more superior to algebraic implementations when one deals with high-multiplicity situations involving a large number of Lorentz invariants. We introduce a new method based on balanced relations which allows one to achieve the goal of a robust functional restoration with minimal data input. The technique is implemented as a Mathematica package Reconstruction.m in the FIRE6 environment and thus successfully demonstrates a proof of concept.
We address the problem of evaluation of multiloop Feynman integrals by means of their Mellin-Barnes representation. After a brief overview of available capabilities through open source toolkits and their application in various circumstances, we introduce a new code MBcreate which allows one to automatically deduce a concise Mellin-Barnes representation for a given parametric integral. A thorough discussion of its implementation and use is provided.
We consider the Sudakov form factor in planar N=4 supersymmetric Yang-Mills theory in the off shell kinematical regime, which can be achieved by considering the theory on its Coulomb branch. We demonstrate that for up to three loops both the infrared-divergent as well as the finite terms do exponentiate, with the coefficient accompanying log^{2}(m^{2}) determined by the octagon anomalous dimension Γ_{oct}. This behavior is in stark contrast to previous conjectural accounts in the literature. Together with the finite terms we observe that for up to three loops the logarithm of the Sudakov form factor is identical to twice the logarithm of the null octagon O_{0}, which was recently introduced within the context of integrability-based approaches to four point correlation functions with infinitely large R charges. The null octagon O_{0} is known in a closed form for all values of the 't Hooft coupling constant and kinematical parameters. We conjecture that the relation between O_{0} and the off shell Sudakov form factor will hold to all loop orders.
In this paper we provide a detailed account of our calculation, briefly reported in arXiv:2209.09263 , of a two-particle form factor of the lowest components of the stress-tensor multiplet in 𝒩 = 4 sYM theory on its Coulomb branch, which is interpreted as an off-shell kinematical regime. We demonstrate that up to three-loop order, both its infrared-divergent as well as finite parts do exponentiate in the Sudakov regime, with the coefficient accompanying the double logarithm being determined by the octagon anomalous dimension Γoct. We also observe that up to this order in ’t Hooft coupling the logarithm of the Sudakov form factor is identical to twice the logarithm of the null octagon, which was introduced within the context of integrability-based computation of four point correlators with infinitely large R-charges. The null octagon is known in a closed form for all values of the ’t Hooft coupling constant and kinematical parameters. We conjecture that the relation between the former and the off-shell Sudakov form factor holds to all loop orders.
It is well-known that on-shell maximally helicity-violating gluon scattering amplitudes in planar maximally supersymmetric Yang-Mills theory are dual to a bosonic Wilson loop on a null-polygonal contour. The light-like nature of the intervals is a reflection of the mass-shell condition for massless gluons involved in scattering. Presently, we introduce a Wilson loop prototype on a piece-wise curvilinear contour that can be interpreted in the T-dual language to correspond to nonvanishing gluon off-shellness. We analyze it first for four sites at one loop and demonstrate that it coincides with the four-gluon amplitude on the Coulomb branch. Encouraged by this fact, we move on to the two-loop order. To simplify our considerations, we only focus on the Sudakov asymptotics of the Wilson loop, when the off-shellness goes to zero. The latter serves as a regulator of short-distance divergences around the perimeter of the loop, i.e., divergences when gluons are integrated over a small vicinity of the Wilson loop cusps. It does not however regulate conventional ultraviolet divergences of interior closed loops. This unavoidably introduces a renormalization scale dependence and thus scheme dependence into the problem. With a choice of the scale setting and a finite renormalization, we observe exponentiation of the double logarithmic scaling of the Wilson loop with the accompanying exponent being given by the so-called hexagon anomalous dimension, which recently made its debut in the origin limit of six-leg gluon amplitudes. This is contrary to the expectation for the octagon anomalous dimension to rather emerge from our analysis suggesting that the current object encodes physics different from the Coulomb branch scattering amplitudes.
We consider the Sudakov form factor in N=4 SYM in the off-shell kinematical regime, which can be achieved by considering the theory on its Coulomb branch. We demonstrate that up two three loops both the infrared-divergent as well as the finite terms do exponentiate, with the coefficient accompanying log^2(m^2) determined by the octagon anomalous dimension Γ_oct. This behaviour is in strike contrast to previous conjectural accounts in the literature. Together with the finite terms we observe that up to three loops the logarithm of the Sudakov form factor is identical to twice the logarithm of the null octagon 𝕆_0, which was recently introduced within the context of integrability-based approaches to four point correlation functions with infinitely-large R-charges. The null octagon 𝕆_0 is known in a closed form for all values of the 't Hooft coupling constant and kinematical parameters. We conjecture that the relation between 𝕆_0 and the off-shell Sudakov form factor will hold to all loop orders.
A special class of four-point correlation functions in the maximally supersymmetric Yang-Mills theory is given by the square of the Fredholm determinant of a generalized Bessel kernel. In this note, we re-express its logarithmic derivatives in terms of a two-dimensional Riemann-Hilbert problem. We solve the latter in the null limit making use of the Deift-Zhou steepest descent. We reproduce the exact octagonal anomalous dimension in 't Hooft coupling and provide its novel formulation as the convolution of a non-linear quasiclassical phase with the Fermi distribution in the limit of the infinite chemical potential.
We develop a new technique for computing a class of four-point correlation functions of heavy half-BPS operators in planar N=4 SYM theory which admit factorization into a product of two octagon form factors with an arbitrary bridge length. We show that the octagon can be expressed as the Fredholm determinant of the integrable Bessel operator and demonstrate that this representation is very efficient in finding the octagons both at weak and strong coupling. At weak coupling, in the limit when the four half-BPS operators become null separated in a sequential manner, the octagon obeys the Toda lattice equations and can be found in a closed form. At strong coupling, we exploit the strong Szego limit theorem to derive the leading asymptotic behavior of the octagon and, then, apply the method of differential equations to determine the remaining subleading terms of the strong coupling expansion to any order in the inverse coupling. To achieve this goal, we generalize results available in the literature for the asymptotic behavior of the determinant of the Bessel operator. As a byproduct of our analysis, we formulate a Szego-Akhiezer-Kac formula for the determinant of the Bessel operator with a Fisher-Hartwig singularity and develop a systematic approach to account for subleading power suppressed contributions.
We present a two-loop calculation of the supersymmetric circular Wilson loop in the N = 2* super Yang-Mills theory on the four-sphere. We develop an efficient framework for computing contributing Feynman graphs that relies on using the embedding coordinates combined with the Mellin-Barnes techniques for propagator-like integrals on the sphere. Our results exactly match predictions of supersymmetric localization providing a nontrivial consistency check for the latter in non-conformal settings.
We consider a partial light-cone limit of a correlation function of the stress-tensor multiplet and identify an integrable structure emerging at one loop order of perturbation theory. It corresponds to a noncompact open spin chain with one boundary being recoil-less while the other one fully dynamical. We solve the system by means of techniques of the Baxter operator and Separation of Variables. The eigenvalues of the separated variables define rapidities of excitations propagating on the color flux tube and encode their factorizable dynamics in the presence of a dynamical boundary.
There is a number of indications that scattering amplitudes in the Aharony-Bergman-Jafferis-Maldacena theory might have a dual description in terms of a holonomy of a supergauge connection on a null polygonal contour in a way analogous to the four-dimensional maximally supersymmetric Yang-Mills theory. However, so far its explicit implementations evaded a successful completion. The difficulty is intimately tied to the lack of the T-self-duality of the sigma model on the string side of the gauge/string correspondence. Unscathed by the last misfortune, we initiate with this study an application of the pentagon paradigm to scattering amplitudes of the theory. With the language being democratic and nondiscriminatory to whether one considers a Wilson loop expectation value or an amplitude, the success in the application of the program points towards a possible unified observable on the field theory side. Our present consideration is focused on two-loop perturbation theory in the planar limit, begging for higher loop data in order to bootstrap current analysis to all orders in the 't Hooft coupling.
The form factor program for the regularized space–time S-matrix in planar maximally supersymmetric gauge theory, known as the pentagon operator product expansion, is formulated in terms of flux-tube excitations propagating on a dual two-dimensional world-sheet, whose dynamics is known exactly as a function of 't Hooft coupling. Both MHV and non-MHV amplitudes are described in a uniform, systematic fashion within this framework, with the difference between the two encoded in coupling-dependent helicity form factors expressed via Zhukowski variables. The nontrivial SU(4) tensor structure of flux-tube transitions is coupling independent and is known for any number of charged excitations from solutions of a system of Watson and Mirror equations. This description allows one to resum the infinite series of form factors and recover the space–time S-matrix exactly in kinematical variables at a given order of perturbation series. Recently, this was done for the hexagon. Presently, we successfully perform resummation for the seven-leg tree NMHV amplitude. To this end, we construct the flux-tube integrands of the fifteen independent Grassmann component of the heptagon with an infinite number of small fermion–antifermion pairs accounted for in NMHV two-channel conformal blocks.
Twist fields were introduced a few decades ago as a quantum counterpart to classical kink configurations and disorder variables in low dimensional field theories. In recent years they received a new incarnation within the framework of geometric entropy and strong coupling limit of four- dimensional scattering amplitudes. In this paper, we study their two-point correlation functions in a free massless scalar theory, namely, twist-twist and twist-antitwist correlators. In spite of the simplicity of the model in question, the properties of the latter are far from being trivial. The problem is reduced, within the formalism of the path integral, to the study of spectral determinants on surfaces with conical points, which are then computed exactly making use of the zeta function regularization. We also provide an insight into twist correlators for a massive complex scalar by means of the Lifshitz-Krein trace formula.
By performing resummation of small fermion–antifermion pairs within the pentagon form factor program to scattering amplitudes in planar N=4 superYang–Mills theory, we construct multichannel conformal blocks within the flux-tube picture for N-sided NMHV polygons. This procedure is equivalent to summation of descendants of conformal primaries in the OPE framework. The resulting conformal partial waves are determined by multivariable hypergeometric series of Lauricella–Saran type.
We review the recent theoretical progress in the construction and solution of the evolution equations which govern the scale dependence for the twist-3 structure and fragmentation functions of the nucleon.