Related papers: Code generation (automatized programming) of symbo…
A method to efficiently compute, in a automatic way, helicity amplitudes for arbitrary scattering processes at leading order in the Standard Model is presented. The scattering amplitude is evaluated recursively through a set of…
We review techniques for more efficient computation of perturbative scattering amplitudes in gauge theory, in particular tree and one-loop multi-parton amplitudes in QCD. We emphasize the advantages of (1) using color and helicity…
Automatic code generation is to generate the program code according to the given natural language description. The current mainstream approach uses neural networks to encode natural language descriptions, and output abstract syntax trees…
We develop the helicity formalism for spin-2 particles and apply it to the case of gravity in flat extra dimensions. We then implement the large extra dimensions scenario of Arkani-Hamed, Dimopoulos and Dvali in the program AMEGIC++,…
This paper proposes a definition of what it means for one system description language to encode another one, thereby enabling an ordering of system description languages with respect to expressive power. I compare the proposed definition…
We develop a method to calculate helicity amplitudes of an arbitrary tree-level process in Feynman-Diagram (FD) gauge for an arbitrary gauge model with MadGraph5_aMC@NLO. We start from the 't Hooft-Feynman gauge Lagrangian in FeynRules and…
We present the first results from BlackHat, an automated C++ program for calculating one-loop amplitudes. The program implements the unitarity method and on-shell recursion to construct amplitudes. As input to the calculation, it uses…
A number theoretic algorithm is given for writing gauge theory amplitudes in a compact manner. It is possible to write down all details of the complete $L$ loop amplitude with two integers, or a complex integer. However, a more symmetric…
Many programmers, when they encounter an error, would like to have the benefit of automatic fix suggestions---as long as they are, most of the time, adequate. Initial research in this direction has generally limited itself to specific…
We establish a simple formula for the minimal dimension of operators leading to any helicity amplitude. It eases the systematic enumeration of independent operators from the construction of massless non-factorizable on-shell amplitudes.…
We give numerical evidence of the validity of a previously described algorithm for constructing symbolic encodings of chaotic attractors from a template analysis. We verify that the different solutions that can be found are dynamically…
We are entering a new era in which software systems are becoming more and more complex and larger. So, the composition of such systems is becoming infeasible by manual means. To address this challenge, self-organising software models…
We present SymForce, a library for fast symbolic computation, code generation, and nonlinear optimization for robotics applications like computer vision, motion planning, and controls. SymForce combines the development speed and flexibility…
In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tabled resolution for constraint logic programming, in order to…
The simplification and reorganization of complex expressions lies at the core of scientific progress, particularly in theoretical high-energy physics. This work explores the application of machine learning to a particular facet of this…
The quantum model of a cluster, consisting of A identical particles, coupled by the internal pair interactions and affected by the external field of a target, is considered. A symbolic-numerical algorithm for generating A-1-dimensional…
We describe and implement a symbolic algebra for scalar and vector-valued finite elements, enabling the computer generation of elements with tensor product structure on quadrilateral, hexahedral and triangular prismatic cells. The algebra…
Automatic programming has seen increasing popularity due to the emergence of tools like GitHub Copilot which rely on Large Language Models (LLMs). At the same time, automatically generated code faces challenges during deployment due to…
A range of applications for automatic machine learning need the generation process to be controllable. In this work, we propose a way to control the output via a sequence of simple actions, that are called semantic code classes. Finally, we…
We propose a formalization of generic algorithms that includes analog algorithms. This is achieved by reformulating and extending the framework of abstract state machines to include continuous-time models of computation. We prove that every…