Related papers: A Feynman Diagram Analyser DIANA
Verifying properties and interpreting the behaviour of deep neural networks (DNN) is an important task given their ubiquitous use in applications, including safety-critical ones, and their black-box nature. We propose an automata-theoric…
A visual programming language uses pictorial tools such as diagrams to represent its structural units and control stream. It is useful for enhancing understanding, maintenance, verification, testing, and parallelism. This paper proposes a…
Conan is a C++ library created for the accurate and efficient modelling, inference and analysis of complex networks. It implements the generation and modification of graphs according to several published models, as well as the unexpensive…
Perturbative treatments of the lattice dynamics are widely successful for many crystalline materials, their applicability is, however, limited for strongly anharmonic systems, metastable crystal structures and liquids. The full dynamics of…
The aim of XLOOPS is to calculate one-particle irreducible Feynman diagrams with one or two closed loops for arbitrary processes in the Standard model of particles and related theories. Up to now this aim is realized for all one-loop…
Software testing uses wide range of different tools to enhance the complicated process of defining quality of the system under test. Formal Concept Analysis (FCA) provides us with algorithms of deriving formal ontology from a set of objects…
A method to calculate two-loop self-energy diagrams of the Standard Model is demonstrated. A direct physical application is the calculation of the two-loop electroweak contribution to the anomalous magnetic moment of the muon…
This paper describes MAIA, a Multimodal Automated Interpretability Agent. MAIA is a system that uses neural models to automate neural model understanding tasks like feature interpretation and failure mode discovery. It equips a pre-trained…
The evaluation of Natural Language Generation (NLG) models has gained increased attention, urging the development of metrics that evaluate various aspects of generated text. LUNA addresses this challenge by introducing a unified interface…
Visual language reasoning requires a system to extract text or numbers from information-dense images like charts or plots and perform logical or arithmetic reasoning to arrive at an answer. To tackle this task, existing work relies on…
We study the algebraic and analytic structure of Feynman integrals by proposing an operation that maps an integral into pairs of integrals obtained from a master integrand and a corresponding master contour. This operation is a coaction. It…
We present an application that automatically writes the Helas library corresponding to the Feynman rules of any Lagrangian, renormalizable or not, in quantum field theory. The code, written in Python, takes the Universal FeynRules Output as…
Computer programs are often factored into pure components -- simple, total functions from inputs to outputs -- and components that may have side effects -- errors, changes to memory, parallel threads, abortion of the current loop, etc. We…
PGA (ProGram Algebra) is an algebra of programs which concerns programs in their simplest form: sequences of instructions. Molecular dynamics is a simple model of computation developed in the setting of PGA, which bears on the use of…
A scheme for systematically achieving accurate numerical evaluation of multi-loop Feynman diagrams is developed. This shows the feasibility of a project aimed to produce a complete calculation for two-loop predictions in the Standard Model.…
Problems occurring in physically important non-trivial examples of loop calculations are discussed. A procedure of deriving expansions of two-loop self-energy diagrams with different masses is constructed. The cases of small and large…
Dynamic program analysis (also known as profiling) is well-known for its powerful capabilities of identifying performance inefficiencies in software packages. Although a large number of dynamic program analysis techniques are developed in…
We discuss certain computational methods and analytical techniques that can be used to automatize the various steps involved in the renormalization group analysis of an MSR field theory. The methods rely mainly on the well known packages…
The diagrammatic coaction encodes the analytic structure of Feynman integrals by mapping any given Feynman diagram into a tensor product of diagrams defined by contractions and cuts of the original diagram. Feynman integrals evaluate to…
Particle symbols and Feynman diagrams often used in particle physics can be generated by a word document processor. Standard office packages have their built in symbols such as solid-line, dashed-line, arrows, etc. which are also used in…