Related papers: Kira 1.2 Release Notes
We present a complete reimplementation of the LinearSystem package of Magma, with substantial improvements in design and performance. The resulting efficiency enables computations that were previously out of reach. We briefly describe the…
A method of functional reduction for the dimensionally regularized one-loop Feynman integrals with massive propagators is described in detail. The method is based on a repeated application of the functional relations proposed by the author.…
In earlier work, we developed an approach for automatic complexity analysis of integer programs, based on an alternating modular inference of upper runtime and size bounds for program parts. In this paper, we show how recent techniques to…
Some well-known examples of constrained quantum systems commonly quantized via Feynman path integrals are re-examined using the notion of conditional integrators introduced in [1]. The examples yield some new perspectives on old results. As…
Feynman integral reduction by means of integration-by-parts identities is a major power gadget in a theorist toolbox indispensable for calculation of multiloop quantum effects relevant for particle phenomenology and formal theory alike. An…
A new version of the Monte Carlo program HERWIG (version 6.1) is now available. This note gives brief details of the new features relative to the previous version (5.9). A fully updated manual will follow shortly. The main new features are:…
Since Feynman integrals (FIs) at higher spacetime dimensions are free of infrared and collinear divergence--and their ultraviolet divergences can be systematically subtracted--this allows us to construct a wide range of locally finite…
In this proceeding, the xFitter project is presented. xFitter is an open-source package that provides a framework for the determination of the parton distribution and fragmentation functions for many different kinds of analyses in Quantum…
The theory of graphical functions is generalized from scalar theories to theories with spin, leading to a numerator structure in Feynman integrals. The main part of this article treats the case of positive integer spin, which is obtained…
We report on three improvements in the context of Feynman integral reduction and $\varepsilon$-factorised differential equations: Firstly, we show that with a specific choice of prefactors, we trivialise the $\varepsilon$-dependence of the…
Up to the moment there are two known algorithms of sector decomposition: an original private algorithm of Binoth and Heinrich and an algorithm made public lastyear by Bogner and Weinzierl. We present a new program performing the sector…
The use of deductive techniques, such as theorem provers, has several advantages in safety verification of hybrid sys- tems; however, state-of-the-art theorem provers require ex- tensive manual intervention. Furthermore, there is often a…
The Jaya R package offers a robust and versatile implementation of the parameter-free Jaya optimization algorithm, suitable for solving both single-objective and multi-objective optimization problems. By integrating advanced features such…
Integration-by-parts reductions play a central role in perturbative QFT calculations. They allow the set of Feynman integrals contributing to a given observable to be reduced to a small set of basis integrals, and they moreover facilitate…
An algorithm for the systematic analytical approximation of multi-scale Feynman integrals is presented. The algorithm produces algebraic expressions as functions of the kinematical parameters and mass scales appearing in the Feynman…
In certain scientific domains, there is a need for tensor operations. To facilitate tensor computations,computer algebra systems are employed. In our research, we have been using Cadabra as the main computer algebra system for several…
This work introduces a new software package `Sesame' for the numerical computation of classical semiconductor equations. It supports 1 and 2-dimensional systems and provides tools to easily implement extended defects such as grain…
Feynman loop integrals are a key ingredient for the calculation of higher order radiation effects, and are responsible for reliable and accurate theoretical prediction. We improve the efficiency of numerical integration in sector…
The newly installed Silmaril beam combiner at the CHARA array is designed to observe previously inaccessible faint targets, including Active Galactic Nuclei and T-Tauri Young Stellar Objects. Silmaril leverages cutting-edge optical design,…
New and upgraded radio interferometers produce data at massive rates and will require significant improvements in analysis techniques to reach their promised levels of performance in a routine manner. Until these techniques are fully…