Related papers: Two-Loop Rational Terms for Spontaneously Broken T…
It is shown that renormalization of the Fayet-Iliopoulos term in a softly broken SUSY gauge theory, in full analogy with all the other soft terms renormalizations, is completely defined in a rigid or an unbroken theory. However, contrary to…
We describe in some detail the present features of an automatic loop calculation program as well as the integration techniques that go into it. The program, called XLOOPS 1.0, allows one to calculate massive one- and two-loop Feynman…
Combining a standard proof search method, such as resolution or tableaux, and rewriting is a powerful way to cut off search space in automated theorem proving, but proving the completeness of such combined methods may be challenging. It may…
Feynman amplitudes at higher orders in perturbation theory generically have complex singular structures. Notwithstanding the emergence of many powerful new methods, the presence of infrared divergences poses significant challenges for their…
We present a new and fully general algorithm for the automated construction of the integrands of two-loop scattering amplitudes. This is achieved through a generalisation of the open-loops method to two loops. The core of the algorithm…
We present the complete analytical result for the two-loop logarithmically enhanced contributions to the high energy asymptotic behavior of the vector form factor and the four-fermion cross section in a spontaneously broken SU(2) gauge…
Dimensional regularization of Euclidean momentum space integrals is a highly successful technique in renormalization of quantum field theories. While it yields a straightforward algorithmic method, with which to evaluate diagrams beyond…
A technique called analytic perturbation theory, which respects the required analytic properties, consistent with causality, is applied to the definition of the running coupling in the timelike region, to the description of inclusive…
New invariants for 2-dimensional cell complexes are defined, which can be interpreted as curvature bounds. These invariants are proved to be rational and computable in a companion article. This document is a survey that collects theorems…
We compute one-loop and two-loop beta-functions for vacuum expectation values (VEVs) in gauge theories. In R_xi gauge the VEVs renormalize differently from the respective scalar fields. We focus particularly on the origin and behavior of…
We show how spectral submanifold theory can be used to provide analytic predictions for the response of periodically forced multi-degree-of-freedom mechanical systems. These predictions include an explicit criterion for the existence of…
We study self-rewarding reasoning large language models (LLMs), which can simultaneously generate step-by-step reasoning and evaluate the correctness of their outputs during the inference time-without external feedback. This integrated…
We study the perturbative approach to the Wilsonian integration of noncommutative gauge theories in the matrix representation. We begin by motivating the study of noncommutative gauge theories and reviewing the matrix formulation. We then…
In this work, we study the fully automated inference of expected result values of probabilistic programs in the presence of natural programming constructs such as procedures, local variables and recursion. While crucial, capturing these…
Correctness of program transformations in extended lambda calculi with a contextual semantics is usually based on reasoning about the operational semantics which is a rewrite semantics. A successful approach to proving correctness is the…
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occurs-check) and increased expressivity (cyclic terms can…
A simple inspection of the one loop quark self-energy suggests a prescription of the CKM matrix renormalization in the standard model. It leads to a CKM matrix counterterm which is gauge parameter independent and satisfies the unitarity…
Logically constrained term rewriting is a relatively new formalism where rules are equipped with constraints over some arbitrary theory. Although there are many recent advances with respect to rewriting induction, completion, complexity…
The surprising simplicity of Barvinsky-Nesterov or equivalently Gelfand-Yaglom methods of calculation of quantum determinants permits to obtain compact expressions for UV-finite difference of one-loop quantum energies for two arbitrary…
We use nonstandard analysis to formulate quantum mechanics in hyperfinite-dimensional spaces. Self-adjoint operators on hyperfinite-dimensional spaces have complete eigensets, and bound states and continuum states of a Hamiltonian can thus…