Related papers: Two-Loop Rational Terms for Spontaneously Broken T…
A method is described to probe high-scale physics in lower-energy experiments by employing sum rules in terms of renormalisation group invariants. The method is worked out in detail for the study of supersymmetry-breaking mechanisms in the…
We calculate the correlator between two external vector-currents having the quantum-numbers of a charged kaon. We give the renormalized expression to two loops in standard chiral perturbation theory in the isospin limit, which, as a…
We probe the two-scale factor universality hypothesis by evaluating, firstly explicitly and analytically at the one-loop order, the loop quantum corrections to the amplitude ratios for O($N$) $\lambda\phi^{4}$ scalar field theories with…
In the naive form of most resummations we get into conflict with order-by-order renormalization. We present a method that is capable to ensure UV consistency of any resummations satisfying certain conditions. The method is based on the…
We present the complete automation of the computation of one-loop QCD corrections, including UV renormalization, to an arbitrary scattering process in the Standard Model. This is achieved by embedding the OPP integrand reduction technique,…
We investigate broken rational tori consisting of a chain of four (rather than two) periodic orbits. The normal form that describes this configuration is identified and used to construct a uniform semiclassical approximation, which can be…
We implement an extension of the pseudofermion functional renormalization group (PFFRG) method for quantum spin systems that takes into account two-loop diagrammatic contributions. An efficient numerical treatment of the additional terms is…
The analytization procedure which allows one to remove nonphysical singularities of the QCD running coupling constant $\bar\alpha_s(q^2)$ in the infrared region is applied to standard as well as to iterative solutions of the two-loop…
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus involving induction and co-induction. These proof principles…
In program semantics and verification, reasoning about loops is complicated by the need to produce two separate mathematical arguments: an invariant, for functional properties (ignoring termination); and a variant, for termination (ignoring…
We introduce in typical examples new methods for the calculation of massive loop integrals appearing in the radiative correction calculations of the Standard Model.
A formalism for the numerical integration of one- and two-loop integrals is presented. It is based on subtraction terms which remove the soft, collinear and some of the ultraviolet divergences from the integrand. The numerical integral is…
Decomposition theorems in classical Fourier analysis enable us to express a bounded function in terms of few linear phases with large Fourier coefficients plus a part that is pseudorandom with respect to linear phases. The Goldreich-Levin…
An automatic system to calculate two loop weak corrections to muon anomalous magnetic moment is discussed. Diagrams are classified into eight types, according to their topology. Adopting Civitanovi\'c-Kinoshita representation of Feynman…
The abundance of infrared singularities in gauge theories due to unresolved emission of massless particles (soft and collinear) represents the main difficulty in perturbative calculations. They are typically regularized in dimensional…
Temporal logic is a very powerful formalism deeply investigated and used in formal system design and verification. Its application usually reduces to solving specific decision problems such as model checking and satisfiability. In these…
Loop diagram calculations typically rely on reduction to a finite set of master integrals in $4 - 2\epsilon$ dimensions. It has been shown that for any problem, the masters can be chosen so that their coefficients are finite as $\epsilon…
We discuss the peculiar features of the renormalization procedure in the case of infinite-component effective theory. It is shown that in the case of physically interesting theories (namely, those leading to the amplitudes with asymptotic…
Renormalized homotopy continuation on toric varieties is introduced as a tool for solving sparse systems of polynomial equations, or sparse systems of exponential sums. The cost of continuation depends on a renormalized condition length,…
Based on the Taylor expansion, we propose a renormalization method for asymptotic analysis. The standard renormalization group (RG) method for asymptotic analysis can be derived out from this new method, and hence the mathematical essence…