Related papers: Code generation (automatized programming) of symbo…
An algorithm is developed for efficiently constructing the Lorentz covariant effective three-point vertices of the decay of a particle into two daughter particles in which all the masses and spins of the three particles can be arbitrary.…
A method is developed whereby spinor helicity techniques can be used to simplify the calculation of loop amplitudes. This is achieved by using the Feynman-parameter representation where the offending off-shell loop momenta do not appear.…
Models of complicated systems can be represented in different ways - in scientific papers, they are represented using natural language text as well as equations. But to be of real use, they must also be implemented as software, thus making…
Helicity amplitudes are the fundamental ingredients of many QCD calculations for multi-leg processes. We describe how these can seamlessly be combined with resummation in Soft-Collinear Effective Theory (SCET), by constructing a helicity…
We examine aspects of the computation of finite element matrices and vectors which are made possible by automated code generation. Given a variational form in a syntax which resembles standard mathematical notation, the low-level computer…
HELAC-PHEGAS is a FORTRAN based package that is able to compute automatically and efficiently tree-order helicity amplitudes and cross sections for arbitrary scattering processes within the standard electroweak theory and QCD. The algorithm…
We introduce flat automata for automatic generation of tokenizers. Flat automata are a simple representation of standard finite automata. Using the flat representation, automata can be easily constructed, combined and printed. Due to the…
We propose a method for automatically generating abstract transformers for static analysis by abstract interpretation. The method focuses on linear constraints on programs operating on rational, real or floating-point variables and…
Intelligent coding systems are transforming software development by enabling users to specify code behavior in natural language. However, the opaque decision-making of AI-driven coders raises trust and usability concerns, particularly for…
We use the graphics processing unit (GPU) for fast calculations of helicity amplitudes of physics processes. As our first attempt, we compute $u\bar{u}\to n\gamma$ ($n=2$ to 8) processes in $pp$ collisions at $\sqrt{s} = 14$TeV by…
We propose a method for automatically generating abstract transformers for static analysis by abstract interpretation. The method focuses on linear constraints on programs operating on rational, real or floating-point variables and…
Fortran subroutines to calculate helicity amplitudes with massive spin-3/2 particles, such as massive gravitinos, which couple to the standard model and supersymmetric particles via the supercurrent, are added to the HELAS (HELicity…
We present a C++ library, TLoops, which uses a hierarchy of expression templates to represent operations upon tensorial quantities in single lines of C++ code that resemble analytic equations. These expressions may be run as-is, but may…
We present a technique for automatically generating features for data-driven program analyses. Recently data-driven approaches for building a program analysis have been proposed, which mine existing codebases and automatically learn…
In this article, we introduce an algorithm for automatic generation and categorization of triangle geometry theorems.
In this contribution the matrix element generator AMEGIC++ will be presented. It automatically generates Feynman diagrams, helicity amplitudes, and suitable phase space mappings for processes involving multi-particle final states within the…
We illustrate the use of recursion relations in the computation of certain one-loop helicity amplitudes containing an arbitrary number of gauge bosons. After a brief review of the recursion relations themselves, we discuss the resolution of…
We present a method for symbolic calculation of Feynman amplitudes for processes involving both massless and massive fermions. With this approach fermion strings in a specific amplitude can be easily evaluated and expressed as basic Lorentz…
The Weyl-van-der-Waerden spinor technique for calculating helicity amplitudes of massive and massless particles is presented in a form that is particularly well suited to a direct implementation in computer algebra. Moreover, we explain how…
Those seeking to reproduce a computational experiment often need to manually look at the code to see how to build necessary libraries, configure parameters, find data, and invoke the experiment; it is not automatic. Automatic…