相关论文: Resolution of singularities for multi-loop integra…
We introduce a streamlined method for evaluating in-in loop integrals using dimensional regularization for diagrams with an arbitrary number of external legs and vertices, which complements earlier work and facilitates the extraction of the…
We revisit the idea of numerically integrating the differential form of Feynman integrals. With a novel approach for the treatment of branch cuts, we develop an integrator capable of evaluating a basis of master integrals in double and…
We present a semi-numerical method to compute one-loop corrections to processes involving many particles. We treat in detail cases with up to five external legs and massless internal propagators, although the method is more general.
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…
We present a new method for the decomposition of multi-loop Euclidean Feynman integrals into quasi-finite Feynman integrals. These are defined in shifted dimensions with higher powers of the propagators, make explicit both infrared and…
We propose a new method to calculate the 4-dimensional divergent integrals. By calculating the one loop integral as an example, the regularization of the integrals in 3-dimension momentum space are given in details. We find that the new…
Loop invariants play a very important role in proving correctness of programs. In this paper, we address the problem of generating invariants of polynomial loop programs. We present a new approach, for generating polynomial equation…
We apply a recently suggested new strategy to solve differential equations for master integrals for families of Feynman integrals. After a set of master integrals has been found using the integration-by-parts method, the crucial point of…
Algorithms for numerical computation of symmetric elliptic integrals of all three kinds are improved in several ways and extended to complex values of the variables (with some restrictions in the case of the integral of the third kind).…
Quantitative loop invariants are an essential element in the verification of probabilistic programs. Recently, multivariate Lagrange interpolation has been applied to synthesizing polynomial invariants. In this paper, we propose an…
We describe a method to numerically compute multi-loop integrals, depending on one dimensionless parameter $x$ and the dimension $d$, in the whole kinematic range of $x$. The method is based on differential equations, which, however, do not…
We consider Feynman integrals with algebraic leading singularities and total differentials in $\epsilon\,\mathrm{d}\ln$ form. We show for the first time that it is possible to evaluate integrals with singularities involving unrationalizable…
We present a new approach to termination analysis of numerical computations in logic programs. Traditional approaches fail to analyse them due to non well-foundedness of the integers. We present a technique that allows overcoming these…
New method of calculation of master integrals using differential equations and asymptotical expansion is presented. This method leads to the results exact in space-time dimension $D$ having the form of the convergent power series. As an…
We describe in detail the constrained procedure of differential renormalization and develop the techniques required for one-loop calculations. As an illustration we renormalize Scalar QED and show that the two-, three- and four-point Ward…
This paper presents a program analysis method that generates program summaries involving polynomial arithmetic. Our approach builds on prior techniques that use solvable polynomial maps for summarizing loops. These techniques are able to…
The program package XLOOPS calculates massive one- and two-loop Feynman diagrams. It consists of five parts: i) a graphical user interface ii) routines for generating diagrams from particle input iii) procedures for calculating one-loop…
We develop a validated numerical procedure for continuation of local stable/unstable manifold patches attached to equilibrium solutions of ordinary differential equations. The procedure has two steps. First we compute an accurate high order…
A numerical method is developed to solve linear semi-infinite programming problem (LSIP) in which the iterates produced by the algorithm are feasible for the original problem. This is achieved by constructing a sequence of standard linear…
We present an algorithm for computing the integral closure of a reduced ring that is finitely generated over a finite field.