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.
A
bstract
We report on an exact calculation of lattice correlation functions on a finite four-dimensional lattice with either Euclidean or Minkowskian signature. The lattice correlation functions are ...calculated by the method of differential equations. This method can be used for Euclidean and Minkowskian signature alike. The lattice correlation functions have a power series expansion in 1
/
λ
, where
λ
is the coupling. We show that this series is convergent for all non-zero values of
λ
. At small coupling we quantify the accuracy of perturbative approximations. At the technical level we systematically investigate the interplay between twisted cohomology and the symmetries of the twist function.
A
bstract
We propose a new method for the evaluation of intersection numbers for twisted meromorphic
n
-forms, through Stokes’ theorem in
n
dimensions. It is based on the solution of an
n
-th order ...partial differential equation and on the evaluation of multivariate residues. We also present an algebraic expression for the contribution from each multivariate residue. We illustrate our approach with a number of simple examples from mathematics and physics.
A
bstract
In leptophilic scenarios, dark matter interactions with nuclei, relevant for direct detection experiments and for the capture by celestial objects, could only occur via loop-induced ...processes. If the mediator is a scalar or pseudo-scalar particle, which only couples to leptons, the dominant contribution to dark matter-nucleus scattering would take place via two-photon exchange with a lepton triangle loop. The corresponding diagrams have been estimated in the literature under different approximations. Here, we present new analytical calculations for one-body two-loop and two-body one-loop interactions. The two-loop form factors are presented in closed analytical form in terms of generalized polylogarithms up to weight four. In both cases, we consider the exact dependence on all the involved scales, and study the dependence on the momentum transfer. We show that some previous approximations fail to correctly predict the scattering cross section by several orders of magnitude. Moreover, we quantitatively show that form factors in the range of momentum transfer relevant for local galactic dark matter, can be significantly smaller than their value at zero momentum transfer, which is the approach usually considered.
A
bstract
We present the analytic evaluation of the second-order corrections to the massive form factors, due to two-loop vertex diagrams with a vacuum polarization insertion, with exact dependence ...on the external and internal fermion masses, and on the squared momentum transfer. We consider vector, axial-vector, scalar and pseudoscalar interactions between the external fermion and the external field. After renormalization, the finite expressions of the form factors are expressed in terms of polylogarithms up to weight three.
A
bstract
We elaborate on the connection between Gel’fand-Kapranov-Zelevinsky systems, de Rham theory for twisted cohomology groups, and Pfaffian equations for Feynman Integrals. We propose a novel, ...more efficient algorithm to compute Macaulay matrices, which are used to derive Pfaffian systems of differential equations. The Pfaffian matrices are then employed to obtain linear relations for
A
-hypergeometric (Euler) integrals and Feynman integrals, through recurrence relations and through projections by intersection numbers.
We present the computation of the massless three-loop ladder-box family with one external off-shell leg using the Simplified Differential Equations (SDE) approach. We also discuss the methods we used ...for finding a canonical differential equation for the two tennis-court families with one off-shell leg, and the application of the SDE approach on these two families.