Asymptotic analysis of Feynman diagrams and their maximal cuts
B. Ananthanarayan, Abhijit B. Das, Ratan Sarkar
备注：
34 pages latex, 7 figures and 2 tables, ancillary Mathematica files provided, substantially extended and improved, added new sections(sub-section-2.5, section-3,4,appendix-B), References added, version accepted for publication in EPJC
The ASPIRE program, which is based on the Landau singularities and the method of power geometry to unveil the regions required for the evaluation of a given Feynman diagram asymptotically in a given limit, also allows for the evaluation of scaling coming from the top facets. In this work, we relate the scaling having equal components of the top facets of the Newton polytope to the maximal cut of given Feynman integrals. We have therefore connected two independent approaches to the analysis of Feynman diagrams.
We develop techniques for computing and analyzing multiple unitarity cuts of Feynman integrals, and reconstructing the integral from these cuts. We study the relations among unitarity cuts of a Feynman integral computed via diagrammatic cutting rules, the discontinuity across the corresponding branch cut, and the coproduct of the integral. For single unitarity cuts, these relations are familiar. Here we show that they can be generalized to sequences of unitarity cuts in different channels. Using concrete one- and two-loop scalar integral examples we demonstrate that it is possible to reconstru…
Based on the Baikov representation, we present a systematic approach to compute cuts of Feynman Integrals, appropriately defined in $d$ dimensions. The information provided by these computations may be used to determine the class of functions needed to analytically express the full integrals.
On the spanning cuts consistency problem in the IBP reductions of Feynman integrals
State Key Laboratory of Nuclear Physics and Technology, Institute of Quantum Matter, South China Normal University（华南师范大学量子物质研究所核物理与技术国家重点实验室）；Guangdong Basic Research Center of Excellence for Structure and Fundamental Interactions of Matter, Guangdong Provincial Key Laboratory of Nuclear Science（广东省核科学重点实验室结构及基本相互作用卓越基础研究中心）；Institute for Theoretical Particle Physics, Karlsruhe Institute of Technology (KIT)（卡尔斯鲁厄理工学院理论粒子物理研究所）
Phase space cuts are implemented by inserting Heaviside theta functions in the integrands of momentum-space Feynman integrals. By directly parametrizing theta functions and constructing integration-by-parts (IBP) identities in the parametric representation, we provide a systematic method to reduce integrals with cuts. Since the IBP method is available, it becomes possible to evaluate integrals with cuts by constructing and solving differential equations.
We consider the calculation of the master integrals of the three-loop massive banana graph. In the case of equal internal masses, the graph is reduced to three master integrals which satisfy an irreducible system of three coupled linear differential equations. The solution of the system requires finding a $3 \times 3$ matrix of homogeneous solutions. We show how the maximal cut can be used to determine all entries of this matrix in terms of products of elliptic integrals of first and second kind of suitable arguments. All independent solutions are found by performing the integration which defi…
We elaborate on the recent idea of a direct decomposition of Feynman integrals onto a basis of master integrals on maximal cuts using intersection numbers. We begin by showing an application of the method to the derivation of contiguity relations for special functions, such as the Euler beta function, the Gauss ${}_2F_1$ hypergeometric function, and the Appell $F_1$ function. Then, we apply the new method to decompose Feynman integrals whose maximal cuts admit 1-form integral representations, including examples that have from two to an arbitrary number of loops, and/or from zero to an arbitrar…
We develop a systematic procedure for computing maximal unitarity cuts of multiloop Feynman integrals in arbitrary dimension. Our approach is based on the Baikov representation in which the structure of the cuts is particularly simple. We examine several planar and nonplanar integral topologies and demonstrate that the maximal cut inherits IBPs and dimension shift identities satisfied by the uncut integral. Furthermore, for the examples we calculated, we find that the maximal cut functions from different allowed regions, form the Wronskian matrix of the differential equations on the maximal cu…
Using the multivariate residue calculus of Leray, we give a precise definition of the notion of a cut Feynman integral in dimensional regularization, as a residue evaluated on the variety where some of the propagators are put on shell. These are naturally associated to Landau singularities of the first type. Focusing on the one-loop case, we give an explicit parametrization to compute such cut integrals, with which we study some of their properties and list explicit results for maximal and next-to-maximal cuts. By analyzing homology groups, we show that cut integrals associated to Landau singu…
The success of the experimental program at the Tevatron re-inforced the idea that precision physics at hadron colliders is desirable and, indeed, possible. The Tevatron data strongly suggests that one-loop computations in QCD describe hard scattering well. Extrapolating this observation to the LHC, we conclude that knowledge of many short-distance processes at next-to-leading order may be required to describe the physics of hard scattering. While the field of one-loop computations is quite mature, parton multiplicities in hard LHC events are so high that traditional computational techniques be…
Relations between multiple unitarity cuts and coproducts of Feynman integrals are extended to allow for internal masses. These masses introduce new branch cuts, whose discontinuities can be derived by placing single propagators on shell and identified as particular entries of the coproduct. First entries of the coproduct are then seen to include mass invariants alone, as well as threshold corrections for external momentum channels. As in the massless case, the original integral can possibly be recovered from its cuts by starting with the known part of the coproduct and imposing integrability c…
The standard procedure for computing scalar multi-loop Feynman integrals consists in reducing them to a basis of so-called master integrals, derive differential equations in the external invariants satisfied by the latter and, finally, try to solve them as a Laurent series in $ε= (4-d)/2$, where $d$ are the space-time dimensions. The differential equations are, in general, coupled and can be solved using Euler's variation of constants, provided that a set of homogeneous solutions is known. Given an arbitrary differential equation of order higher than one, there exist no general method for find…
We derive useful reduction formulae which express one-loop Feynman integrals with a large number of external momenta in terms of lower-point integrals carrying easily derivable kinematic coefficients which are symmetric in the external momenta. These formulae apply for integrals with at least two more external legs than the dimension of the external momenta, and are presented in terms of two possible bases: one composed of a subset of descendant integrals with one fewer external legs, the other composed of the complete set of minimally-descendant integrals with just one more leg than the dimen…
Generalized unitarity cut of a Feynman diagram generates an algebraic system of polynomial equations. At high-loop levels, these equations may define a complex curve or a (hyper-)surface with complicated topology. We study the curve cases, i.e., a 4-dimensional L-loop diagram with (4L-1) cuts. The topology of a complex curve is classified by its genus. Hence in this paper, we use computational algebraic geometry to calculate the genera of curves from two and three-loop unitarity cuts. The global structure of degenerate on-shell equations under some specific kinematic configurations is also ske…
Scattering amplitudes at loop level can be reduced to a basis of linearly independent Feynman integrals. The integral coefficients are extracted from generalized unitarity cuts which define algebraic varieties. The topology of an algebraic variety characterizes the difficulty of applying maximal cuts. In this work, we analyze a novel class of integrals whose maximal cuts give rise to an algebraic variety with irrational irreducible components. As a phenomenologically relevant example we examine the two-loop planar double-box contribution with internal massive lines. We derive unique projectors…
We study the algebraic and analytic structure of Feynman integrals by proposing an operation that maps an integral into pairs of integrals obtained from a master integrand and a corresponding master contour. This operation is a coaction. It reduces to the known coaction on multiple polylogarithms, but applies more generally, e.g. to hypergeometric functions. The coaction also applies to generic one-loop Feynman integrals with any configuration of internal and external masses, and in dimensional regularization. In this case, we demonstrate that it can be given a diagrammatic representation pure…
Feynman integrals in quantum field theory evaluate to special functions and numbers that are usefully described by the notion of transcendental weight. In this paper, we propose a way of projecting a given dimensionally-regularised Feynman integral, for example contributing to a scattering amplitudes, onto its maximal weight part. The method uses insights into the singularity structure of space-time loop integrands, and is complementary to usual generalised unitarity approaches. We describe the method and give a proof-of-principle application to the two-loop scattering amplitudes $gg \to H$ in…
The diagrammatic coaction underpins the analytic structure of Feynman integrals, their cuts and the differential equations they admit. The coaction maps any diagram into a tensor product of its pinches and cuts. These correspond respectively to differential forms defining master integrals, and integration contours which place a subset of the propagators on shell. In a canonical basis these forms and contours are dual to each other. In this talk I review our present understanding of this algebraic structure and its manifestation for dimensionally-regularized Feynman integrals that are expandabl…
For any given Feynman graph, the set of integrals with all possible powers of the propagators spans a vector space of finite dimension. We introduce the package {\sc Azurite} ({\bf A ZUR}ich-bred method for finding master {\bf I}n{\bf TE}grals), which efficiently finds a basis of this vector space. It constructs the needed integration-by-parts (IBP) identities on a set of generalized-unitarity cuts. It is based on syzygy computations and analyses of the symmetries of the involved Feynman diagrams and is powered by the computer algebra systems {\sc Singular} and {\sc Mathematica}. It can moreov…
We explore maximal unitarity for nonplanar two-loop integrals with up to four massive external legs. In this framework, the amplitude is reduced to a basis of master integrals whose coefficients are extracted from maximal cuts. The hepta-cut of the nonplanar double box defines a nodal algebraic curve associated with a multiply pinched genus-3 Riemann surface. All possible configurations of external masses are covered by two distinct topological pictures in which the curve decomposes into either six or eight Riemann spheres. The procedure relies on consistency equations based on vanishing of in…
The numerical evaluation of multi-loop scattering amplitudes in the Feynman representation usually requires to deal with both physical (causal) and unphysical (non-causal) singularities. The loop-tree duality (LTD) offers a powerful framework to easily characterise and distinguish these two types of singularities, and then simplify analytically the underling expressions. In this paper, we work explicitly on the dual representation of multi-loop Feynman integrals generated from three parent topologies, which we refer to as Maximal, Next-to-Maximal and Next-to-Next-to-Maximal loop topologies. In…
We discuss dispersion representations for the triangle diagram $F(p_1^2,p_2^2,q^2)$, the single dispersion representation in $q^2$ and the double dispersion representation in $p_1^2$ and $p_2^2$, with special emphasis on the appearance of the anomalous singularities and the anomalous cuts in these representations.
The method of using Hopf algebras for calculating Feynman integrals developed by Abreu et al. is applied to the two-loop non-planar on-shell diagram with massless propagators and three external mass scales. We show that the existence of the method of cut Feynman diagrams comprising of the coproduct, the first entry condition and integrability condition that was found to be true for the planar case also holds for the non-planar case; furthermore, the non-planar symbol alphabet is the same as for the planar case. This is one of the main results of this work, and they have been obtained by a syst…
We introduce the tools of intersection theory to the study of Feynman integrals, which allows for a new way of projecting integrals onto a basis. In order to illustrate this technique, we consider the Baikov representation of maximal cuts in arbitrary space-time dimension. We introduce a minimal basis of differential forms with logarithmic singularities on the boundaries of the corresponding integration cycles. We give an algorithm for computing a basis decomposition of an arbitrary maximal cut using so-called intersection numbers and describe two alternative ways of computing them. Furthermor…
The top quark Yukawa coupling to the intermediate mass Higgs boson can be determined in the reaction e+e- -> t anti-t H that, after taking into account decays, will be detected at the International Linear Collider through reactions with 8 particles in the final state. Such 2 -> 8 reactions receive contributions from tens thousands of Feynman diagrams, already in the lowest order of Standard Model, most of which comprise background to resonant associated production and decay of the top quark pair and Higgs boson. We illustrate the background effects by comparing cross sections of three reaction…
We derive the Cutkosky rules for conformal field theories (CFTs) at weak and strong coupling. These rules give a simple, diagrammatic method to compute the double-commutator that appears in the Lorentzian inversion formula. We first revisit weakly-coupled CFTs in flat space, where the cuts are performed on Feynman diagrams. We then generalize these rules to strongly-coupled holographic CFTs, where the cuts are performed on the Witten diagrams of the dual theory. In both cases, Cutkosky rules factorize loop diagrams into on-shell sub-diagrams and generalize the standard S-matrix cutting rules. …
Feynman diagrams constitute one of the essential ingredients for making precision predictions for collider experiments. Yet, while the simplest Feynman diagrams can be evaluated in terms of multiple polylogarithms -- whose properties as special functions are well understood -- more complex diagrams often involve integrals over complicated algebraic manifolds. Such diagrams already contribute at NNLO to the self-energy of the electron, $t \bar{t}$ production, $γγ$ production, and Higgs decay, and appear at two loops in the planar limit of maximally supersymmetric Yang-Mills theory. This makes t…
Joint Institute for Nuclear Research（联合核研究所）；D. V. Skobeltsyn Institute of Nuclear Physics, M. V. Lomonosov Moscow State University（莫斯科国立大学 D.V. 斯科别尔钦核物理研究所）；Faculty of Physics, University of Vienna（维也纳大学物理学院）；INFN, Roma Tre（罗马第三大学意大利国家核物理研究所）
