When using dimensional regularization/reduction the epsilon-dimensional numerator of the 1-loop Feynman diagrams gives rise to rational contributions. I list the set of fundamental rules that allow the extraction of such terms at the integrand level in any theory containing scalars, vectors and fermions, such as the electroweak standard model, QCD and SUSY.
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 present the integrand reduction via multivariate polynomial division as a natural technique to encode the unitarity conditions of Feynman amplitudes. We derive a recursive formula for the integrand reduction, valid for arbitrary dimensionally regulated loop integrals with any number of loops and external legs, which can be used to obtain the decomposition of any integrand analytically with a finite number of algebraic operations. The general results are illustrated by applications to two-loop Feynman diagrams in QED and QCD, showing that the proposed reduction algorithm can also be seamless…
The loop-tree duality (LTD) has become a novelty alternative to bootstrap the numerical evaluation of multi-loop scattering amplitudes. It has indeed been found that Feynman integrands, after the application of LTD, display a representation containing only physical information, the so-called causal representation. In this talk, we discuss the all-loop causal representation of multi-loop Feynman integrands, recently found in terms of features that describe a loop topology, vertices and edges. Likewise, in order to elucidate the numerical stability in LTD integrands, we present applications that…
Application of the geometrically-inspired representations to the epsilon-expansion of the two-point function with different masses is considered. Explicit result for an arbitrary term of the expansion is obtained in terms of log-sine integrals. Construction of the epsilon-expansion in the three-point case is also discussed.
Some problems related to construction of the epsilon-expansion of dimensionally regulated Feynman integrals are discussed. For certain classes of diagrams, an arbitrary term of the epsilon-expansion can be expressed in terms of log-sine integrals related to the polylogarithms. It is shown how the analytic continuation of these functions can be constructed in terms of the generalized Nielsen polylogarithms.
The method of canonical differential equations is an important tool in the calculation of Feynman integrals in quantum field theories. It has been realized that the canonical bases are closely related to $d$-dimensional $d\log$-form integrands. In this work, we introduce the concept of generalized loop-by-loop Baikov representation, and clarify its relation and difference with Feynman integrals using the language of intersection theory. We then utilize the generalized Baikov representation to construct $d$-dimensional $d\log$-form integrands, and discuss how to convert them to Feynman integral…
Higher-order diagrams required for radiative corrections to mixed electroweak and QCD processes at the LHC and anticipated future colliders will require numerically stable representations of the associated Feynman diagrams. The hypergeometric representation supplies an analytic framework that is useful for deriving such stable representations. We discuss the reduction of Feynman diagrams to master integrals, and compare integration-by-parts methods to differential reduction of hypergeometric functions. We describe the problem of constructing higher-order terms in the epsilon expansion, and cha…
We determine closed and compact expressions for the epsilon-expansion of certain Gaussian hypergeometric functions expanded around half-integer values by explicitly solving for their recurrence relations. This epsilon-expansion is identified with the normalized solution of the underlying Fuchs system of four regular singular points. We compute its regularized zeta series (giving rise to two independent associators) whose ratio gives the epsilon-expansion at a specific value. Furthermore, we use the well known one-loop massive bubble integral as an example to demonstrate how to obtain all-order…
We review the hypergeometric function approach to Feynman diagrams. Special consideration is given to the construction of the Laurent expansion. As an illustration, we describe a collection of physically important one-loop vertex diagrams for which this approach is useful.
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…
An arbitrary term of the epsilon-expansion of dimensionally regulated off-shell massless one-loop three-point Feynman diagram is expressed in terms of log-sine integrals related to the polylogarithms. Using magic connection between these diagrams and two-loop massive vacuum diagrams, the epsilon-expansion of the latter is also obtained, for arbitrary values of the masses. The problem of analytic continuation is also discussed.
Integrand Analysis, Leading Singularities and Canonical Bases beyond Polylogarithms
Technical University of Munich(慕尼黑工业大学);University of Oxford(牛津大学);Max Planck Institute for Gravitational Physics (Albert Einstein Institute)(马克斯·普朗克引力物理研究所(阿尔伯特·爱因斯坦研究所))
I analyze the algebraic patterns underlying the structure of scattering amplitudes in quantum field theory. I focus on the decomposition of amplitudes in terms of independent functions and the systems of differential equations the latter obey. In particular, I discuss the key role played by unitarity for the decomposition in terms of master integrals, by means of generalized cuts and integrand reduction, as well as for solving the corresponding differential equations, by means of Magnus exponential series.
A framework to represent and compute two-loop $N$-point Feynman diagrams as double-integrals is discussed. The integrands are 'generalised one-loop type" multi-point functions multiplied by simple weighting factors. The final integrations over these two variables are to be performed numerically, whereas the ingredients involved in the integrands, in particular the "generalised one-loop type" functions, are computed analytically. The idea is illustrated on a few examples of scalar three- and four-point functions.
The Gauss hypergeometric functions 2F1 with arbitrary values of parameters are reduced to two functions with fixed values of parameters, which differ from the original ones by integers. It is shown that in the case of integer and/or half-integer values of parameters there are only three types of algebraically independent Gauss hypergeometric functions. The epsilon-expansion of functions of one of this type (type F in our classification) demands the introduction of new functions related to generalizations of elliptic functions. For the five other types of functions the higher-order epsilon-expa…
We present recent developments on the topic of the integrand reduction of scattering amplitudes. Integrand-level methods allow to express an amplitude as a linear combination of Master Integrals, by performing operations on the corresponding integrands. This approach has already been successfully applied and automated at one loop, and recently extended to higher loops. We describe a coherent framework based on simple concepts of algebraic geometry, such as multivariate polynomial division, which can be used in order to obtain the integrand decomposition of any amplitude at any loop order. In t…
A Systematic Approach to Finite Multiloop Feynman Integrals
Universität Zürich(苏黎世大学);Universidad Autónoma de Sinaloa(西马洛阿自治大学);Universitat de València – Consejo Superior de Investigaciones Científicas(瓦伦西亚大学–西班牙国家研究委员会);Universidad de Salamanca(萨拉曼卡大学)
Calculation of amplitudes in perturbative quantum field theory involve large loop integrals. The complexity of those integrals, in combination with the large number of Feynman diagrams, make the calculations very difficult. Reduction methods proved to be very helpful, lowering the number of integrals that need to be actually calculated. Especially, the reduction at the integrand level technique, improves the speed and set-up of these calculations. In this article we demonstrate, by counting the numbers of tensor structures and independent coefficients, how to write such relations at the integr…
We present $\text{Fuchsia}$ $-$ an implementation of the Lee algorithm, which for a given system of ordinary differential equations with rational coefficients $\partial_x\,\mathbf{f}(x,ε) = \mathbb{A}(x,ε)\,\mathbf{f}(x,ε)$ finds a basis transformation $\mathbb{T}(x,ε)$, i.e., $\mathbf{f}(x,ε) = \mathbb{T}(x,ε)\,\mathbf{g}(x,ε)$, such that the system turns into the epsilon form: $\partial_x\, \mathbf{g}(x,ε) = ε\,\mathbb{S}(x)\,\mathbf{g}(x,ε)$, where $\mathbb{S}(x)$ is a Fuchsian matrix. A system of this form can be trivially solved in terms of polylogarithms as a Laurent series in the dimens…
In this article a first step is made towards the extension of Britto-Cachazo-Feng-Witten (BCFW) tree level on-shell recursion relations to integrands and integrals of scattering amplitudes to arbitrary loop order. Surprisingly, it is shown that the large BCFW shift limit of the integrands has the same structure as the corresponding tree level amplitude in any minimally coupled Yang-Mills theory in four or more dimensions. This implies that these integrands can be reconstructed from a subset of their `single cuts'. The main tool is powercounting Feynman graphs in a special lightcone gauge choic…
In this review, we discuss recent developments concerning efficient calculations of multi-loop multi-leg scattering amplitudes. Inspired by the remarkable properties of the Loop-Tree Duality (LTD), we explain how to reconstruct an integrand level representation of scattering amplitudes which only contains physical singularities. These so-called causal representations can be derived from connected binary partitions of Feynman diagrams, properly entangled according to specific rules. We will focus on the detection of flux orientations which are compatible with causality, describing the implement…
Elaborating on the novel formulation of the loop-tree duality, we introduce the Mathematica package Lotty that automates the latter at multi-loop level. By studying the features of Lotty and recalling former studies, we discuss that the representation of any multi-loop amplitude can be brought in a form, at integrand level, that only displays physical information, which we refer to as the causal representation of multi-loop Feynman integrands. In order to elucidate the role of Lotty in this automation, we recall results obtained for the calculation of the dual representation of integrands up-t…
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.
The integrand of any multi-loop integral is characterised after Feynman parametrisation by two polynomials. In this review we summarise the properties of these polynomials. Topics covered in this article include among others: Spanning trees and spanning forests, the all-minors matrix-tree theorem, recursion relations due to contraction and deletion of edges, Dodgson's identity and matroids.
We present a loop-by-loop method for computing the differential equations of Feynman integrals using the recently developed dual form formalism. We give explicit prescriptions for the loop-by-loop fibration of multi-loop dual forms. Then, we test our formalism on a simple, but non-trivial, example: the two-loop three-mass elliptic sunrise family of integrals. We obtain an epsilon-form differential equation within the correct function space in a sequence of relatively simple algebraic steps. In particular, none of these steps relies on the analysis of $q$-series. Then, we discuss interesting pr…
In the calculation of cross sections for infrared-safe observables in high energy collisions at next-to-leading order, one approach is to perform all of the integrations, including the virtual loop integration numerically. One would use a subtraction scheme that removes infrared and collinear divergences from the integrand in a style similar to that used for real emission graphs. Then one would perform the loop integration by Monte Carlo integration along with the integrations over final state momenta. In this paper, we have explored how one can perform the numerical integration. We have studi…
In this presentation, we review the general features of integrand-reduction techniques, with a particular focus on their generalization beyond one loop. We start with a brief discussion of the one-loop scenario, a case in which integrand-reduction algorithms are well established and played over the past decade an important role in the development of automated tools for the theoretical evaluation of physical observables. The generalization of integrand-reduction techniques to all loops has been the subject of several efforts in the recent past, thus providing a better understanding of the unive…
We construct a diagrammatic coaction acting on one-loop Feynman graphs and their cuts. The graphs are naturally identified with the corresponding (cut) Feynman integrals in dimensional regularization, whose coefficients of the Laurent expansion in the dimensional regulator are multiple polylogarithms (MPLs). Our main result is the conjecture that this diagrammatic coaction reproduces the combinatorics of the coaction on MPLs order by order in the Laurent expansion. We show that our conjecture holds in a broad range of nontrivial one-loop integrals. We then explore its consequences for the stud…
Multi-loop scattering amplitudes constitute a serious bottleneck in current high-energy physics computations. Obtaining new integrand level representations with smooth behaviour is crucial for solving this issue, and surpassing the precision frontier. In this talk, we describe a new technology to rewrite multi-loop Feynman integrands in such a way that non-physical singularities are avoided. The method is inspired by the Loop-Tree Duality (LTD) theorem, and uses geometrical concepts to derive the causal structure of any multi-loop multi-leg scattering amplitude. This representation makes the i…
The R*-operation by Chetyrkin, Tkachov, and Smirnov is a generalisation of the BPHZ R-operation, which subtracts both ultraviolet and infrared divergences of euclidean Feynman graphs with non-exceptional external momenta. It can be used to compute the divergent parts of such Feynman graphs from products of simpler Feynman graphs of lower loops. In this paper we extend the R*-operation to Feynman graphs with arbitrary numerators, including tensors. We also provide a novel way of defining infrared counterterms which closely resembles the definition of its ultraviolet counterpart. We further expr…
The two point integrals contributing to the self energy of a particle in a three dimensional quantum field theory are calculated to two loop order in perturbation theory as well as the vacuum ones contributing to the effective potential to three loop order. For almost every integral an expression in terms of elementary and dilogarithm functions is obtained. For two integrals, the master integral and the Mercedes integral, a one dimensional integral representation is obtained with an integrand consisting only of elementary functions. The results are applied to a scalar $λϕ^4$ theory.
SAMURAI is a tool for the automated numerical evaluation of one-loop corrections to any scattering amplitudes within the dimensional-regularization scheme. It is based on the decomposition of the integrand according to the OPP-approach, extended to accommodate an implementation of the generalized d-dimensional unitarity-cuts technique, and uses a polynomial interpolation exploiting the Discrete Fourier Transform. SAMURAI can process integrands written either as numerator of Feynman diagrams or as product of tree-level amplitudes. We discuss some applications, among which the 6- and 8-photon sc…
We present the two-loop pure gauge contribution to the gluon-gluon scattering amplitude with maximal helicity violation. Our construction of the amplitude does not rely directly on Feynman diagrams, but instead uses its analytic properties in 4 - 2 epsilon dimensions. We evaluate the loop integrals appearing in the amplitude through O(epsilon^0) in terms of polylogarithms.
All three-loop on-shell QCD Feynman integrals with two masses can be reduced to 27 master integrals. Here we calculate these master integrals, expanded in epsilon, both exactly in the mass ratio and as series in limiting cases.
The numerical unitarity approach has been important for obtaining reliable QCD predictions for the LHC. Here I discuss the extension of the approach beyond the leading quantum corrections for computing multi-loop amplitudes. The numerical unitarity approach requires a suitable parametrisation of the loop integrands as a sum of terms that integrate to zero (surface terms) and master integrands. The construction and classification of suitable surface terms which match the propagators structures of Feynman amplitudes is the main technical advance discussed. A number of spin-offs for integral redu…
We briefly discuss the transcendental constants generated through the epsilon-expansion of generalized hypergeometric functions and their interrelation with the "sixth root of unity."
When calculating higher terms of the epsilon-expansion of massive Feynman diagrams, one needs to evaluate particular cases of multiple inverse binomial sums. These sums are related to the derivatives of certain hypergeometric functions with respect to their parameters. Exploring this connection and using it together with an approach based on generating functions, we analytically calculate a number of such infinite sums, for an arbitrary value of the argument which corresponds to an arbitrary value of the off-shell external momentum. In such a way, we find a number of new results for physically…
In this paper, the reduction of Feynman integrals in the parametric representation is considered. This method proves to be more efficient than the integration-by-part (IBP) method in the momentum space. Tensor integrals can directly be parametrized without performing tensor reductions. The integrands of parametric integrals are functions of Lorentz scalars, instead of four momenta. The complexity of a calculation is determined by the number of propagators that are present rather than the number of all the linearly independent propagators. Furthermore, the symmetries of Feynman integrals under …
A method for the evaluation of the epsilon expansion of multi-loop massless Feynman integrals is introduced. This method is based on the Gegenbauer polynomial technique and the expansion of the Gamma function in terms of harmonic sums. Algorithms for the evaluation of nested and harmonic sums are used to reduce the expressions to get analytical or numerical results for the expansion coefficients. Methods to increase the precision of numerical results are discussed.
We present a new method for the numerical evaluation of loop integrals which is based on the Feynman Tree Theorem. The loop integrals are replaced by phase-space integration over fictitious extra on-shell particles. This integration can be performed alongside with the Monte-Carlo integration of ordinary phase space, avoiding the time-consuming nesting of loop evaluation inside the integrand, and directly leading to NLO event generation. We systematically construct subtractions, necessary to cancel both ultraviolet divergences and the extra threshold singularities in phase-space which arise in …
Hypergeometric functions provide a useful representation of Feynman diagrams occuring in precision phenomenology. In dimension regularization, the epsilon-expansion of these functions about d=4 is required. We discuss the current status of differential reduction algorithms. As an illustration, we consider the construction of the all-order epsilon-expansion of the Appell hypergeometric function about integer values of the parameters and present an explicit evaluations of the first few terms.
We study the duality between color and kinematics for the Sudakov form factors of ${\rm tr}(F^2)$ in non-supersymmetric pure Yang-Mills theory. We construct the integrands that manifest the color-kinematics duality up to two loops. The resulting numerators are given in terms of Lorentz products of momenta and polarization vectors, which have the same powers of loop momenta as that from the Feynman rules. The integrands are checked by $d$-dimensional unitarity cuts and are valid in any dimension. We find that massless-bubble and tadpole topologies are needed at two loops to realize the color-ki…
We relate a $l$-loop Feynman integral to a sum of phase space integrals, where the integrands are determined by the spanning trees of the original $l$-loop graph. Causality requires that the propagators of the trees have a modified $iδ$-prescription and we present a simple formula for the correct $iδ$-prescription.