Related papers: Numerical evaluation of massive multi-loop integra…
We report on the development of a test-particle based kinetic Monte Carlo code for large systems and its application to simulate matter in the continuum regime. Our code combines advantages of the Direct Simulation Monte Carlo and the…
A connection between one-loop $N$-point Feynman diagrams and certain geometrical quantities in non-Euclidean geometry is discussed. A geometrical way to calculate the corresponding Feynman integrals is considered. (This paper contains a…
This article introduces the Mathematica package \emph{HEPMath} which provides a number of utilities and algorithms for High Energy Physics computations in Mathematica. Its functionality is similar to packages like FormCalc or FeynCalc, but…
We present celmech, an open-source Python package designed to facilitate a wide variety of celestial mechanics calculations. The package allows users to formulate and integrate equations of motion incorporating user-specified terms from the…
We present SuperTracer, a Mathematica package aimed at facilitating the functional matching procedure for generic UV models. This package automates the most tedious parts of one-loop functional matching computations. Namely, the…
The {\tt SANC} computer system is aimed at support of analytic and numeric calculations for experiments at colliders. The system is reviewed briefly. Recent results on high-precision description of the Drell-Yan processes at the LHC are…
A set of MapleV R.4/5 software routines for calculating the numerical evolution of dynamical systems and flexibly plotting the results is presented. The package consists of an initial condition generator (on which the user can impose quite…
Modern multi-core systems have a large number of design parameters, most of which are discrete-valued, and this number is likely to keep increasing as chip complexity rises. Further, the accurate evaluation of a potential design choice is…
We present a new parton level Monte Carlo program for the calculation of jet cross sections in Deep Inelastic Scattering based on Born and next-to-leading order matrix elements. Using a class of invariant jet definition schemes, the program…
Bounded model checking is among the most efficient techniques for the automatic verification of concurrent programs. However, encoding all possible interleavings often requires a huge and complex formula, which significantly limits the…
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…
The calculation and manipulation of large multi-variable rational functions is a key bottleneck in multi-loop calculations. In these conference proceedings, based on my article [Chawdhry (2023) arXiv:2312.03672], I present a technique to…
A method to isolate the poles of dimensionally regulated multi-loop integrals and to calculate the pole coefficients numerically is extended to be applicable to phase space integrals as well.
Some of the most arduous and error-prone aspects of precision resummed calculations are related to the partonic hard process, having nothing to do with the resummation. In particular, interfacing to parton-distribution functions, combining…
We describe QWalk, a new computational package capable of performing Quantum Monte Carlo electronic structure calculations for molecules and solids with many electrons. We describe the structure of the program and its implementation of…
We describe a constructive procedure to separate overlapping infrared divergences in multi-loop integrals. Working with a parametric representation in D=4-2*epsilon dimensions, adequate subtractions lead to a Laurent series in epsilon,…
The state of art of electromagnetic integral equations has seen significant growth over the past few decades, overcoming some of the fundamental bottlenecks: computational complexity, low frequency and dense discretization breakdown,…
This note reports some advances in the Equivariant Minimal Model Program (EMMP) for non-isomorphic surjective endomorphisms and their applications in complex and arithmetic dynamics.
Recently, deep learning algorithms, especially fully convolutional network based methods, are becoming very popular in the field of remote sensing. However, these methods are implemented and evaluated through various datasets and deep…
UCLID5 is a tool for the multi-modal formal modeling, verification, and synthesis of systems. It enables one to tackle verification problems for heterogeneous systems such as combinations of hardware and software, or those that have…