Feynman integrals and intersection theory Mastrolia, Pierpaolo; Mizera, Sebastian
The journal of high energy physics,
02/2019, Letnik:
2019, Številka:
2
Journal Article
Recenzirano
Odprti dostop
A
bstract
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. Furthermore, we show how to obtain Pfaffian systems of differential equations for the basis integrals using the same technique. All the steps are illustrated on the example of a two-loop non-planar triangle diagram with a massive loop.
Working within the post-Newtonian (PN) approximation to general relativity, we use the effective field theory (EFT) framework to study the conservative dynamics of the two-body motion at fourth PN ...order, at fifth order in the Newton constant. This is one of the missing pieces preventing the computation of the full Lagrangian at fourth PN order using EFT methods. We exploit the analogy between diagrams in the EFT gravitational theory and two-point functions in massless gauge theory, to address the calculation of four-loop amplitudes by means of standard multiloop diagrammatic techniques. For those terms which can be directly compared, our result confirms the findings of previous studies, performed using different methods.
A
bstract
We present a detailed description of the recent idea for a direct decomposition of Feynman integrals onto a basis of master integrals by projections, as well as a direct derivation of the ...differential equations satisfied by the master integrals, employing multivariate intersection numbers. We discuss a recursive algorithm for the computation of multivariate intersection numbers, and provide three different approaches for a direct decomposition of Feynman integrals, which we dub the
straight decomposition
, the
bottom-up decomposition
, and the
top-down decomposition
. These algorithms exploit the unitarity structure of Feynman integrals by computing intersection numbers supported on cuts, in various orders, thus showing the synthesis of the intersection-theory concepts with unitarity-based methods and integrand decomposition. We perform explicit computations to exemplify all of these approaches applied to Feynman integrals, paving a way towards potential applications to generic multi-loop integrals.
Feynman integrals obey linear relations governed by intersection numbers, which act as scalar products between vector spaces. We present a general algorithm for the construction of multivariate ...intersection numbers relevant to Feynman integrals, and show for the first time how they can be used to solve the problem of integral reduction to a basis of master integrals by projections, and to directly derive functional equations fulfilled by the latter. We apply it to the decomposition of a few Feynman integrals at one and two loops, as first steps toward potential applications to generic multiloop integrals. The proposed method can be more generally employed for the derivation of contiguity relations for special functions admitting multifold integral representations.
A
bstract
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
2
F
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 arbitrary number of legs. Direct constructions of differential equations and dimensional recurrence relations for Feynman integrals are also discussed. We present two novel approaches to decomposition-by-intersections in cases where the maximal cuts admit a 2-form integral representation, with a view towards the extension of the formalism to
n
-form representations. The decomposition formulae computed through the use of intersection numbers are directly verified to agree with the ones obtained using integration-by-parts identities.
We determine the gravitational interaction between two compact bodies up to the sixth power in Newton's constant, G_{N}, in the static limit. This result is achieved within the effective field theory ...approach to general relativity, and exploits a manifest factorization property of static diagrams which allows us to derive static post Newtonian (PN) contributions of (2n+1) order in terms of lower order ones. We recompute in this fashion the 1PN and 3PN static potential, and present the novel 5PN contribution.
A
bstract
We evaluate the master integrals for the two-loop, planar box-diagrams contributing to the elastic scattering of muons and electrons at next-to-next-to leading-order in QED. We adopt the ...method of differential equations and the Magnus exponential series to determine a canonical set of integrals, finally expressed as a Taylor series around four space-time dimensions, with coefficients written as combination of generalised polylogarithms. The electron is treated as massless, while we retain full dependence on the muon mass. The considered integrals are also relevant for crossing-related processes, such as di-muon production at
e
+
e
−
-colliders, as well as for the QCD corrections to
top
-pair production at hadron colliders.
A
bstract
We evaluate the master integrals for the two-loop non-planar box-diagrams contributing to the elastic scattering of muons and electrons at next-to-next-to-leading order in QED. We adopt the ...method of differential equations and the Magnus exponential to determine a canonical set of integrals, finally expressed as a Taylor series around four space-time dimensions, with coefficients written as combination of generalised polylogarithms. The electron is treated as massless, while we retain full dependence on the muon mass. The considered integrals are also relevant for crossing-related processes, such as di-muon production at
e
+
e
−
colliders, as well as for the QCD corrections to top-pair production at hadron colliders. In particular our results, together with the planar master integrals recently computed, represent the complete set of functions needed for the evaluation of the photonic two-loop virtual next-to-next-to-leading order QED corrections to
μe
→
μe
and
e
+
e
−
→
μ
+
μ
−
.
A
bstract
We present the result of the quadratic-in-spin interaction Hamiltonian for binary systems of rotating compact objects with generic spins, up to N
3
LO corrections within the post-Newtonian ...expansion. The calculation is performed by employing the effective field theory diagrammatic approach, and it involves Feynman integrals up to three loops, evaluated within the dimensional regularization scheme. The gauge-invariant binding energy and the scattering angle, in special kinematic regimes and spin configurations, are explicitly derived. The results extend our earlier study on the spin-orbit interaction effects.
A
bstract
We present a semi-analytic method for the integrand reduction of one-loop amplitudes, based on the systematic application of the Laurent expansions to the integrand-decomposition. In the ...asymptotic limit, the coefficients of the master integrals are the solutions of a diagonal system of equations, properly corrected by counterterms whose parametric form is known a priori. The Laurent expansion of the integrand is implemented through polynomial division. The extension of the integrand-reduction to the case of numerators with rank larger than the number of propagators is discussed as well.