Related papers: Two-Loop Rational Terms for Spontaneously Broken T…
A well-established approach to reasoning about loops during program analysis is to capture the effect of a loop by extracting recurrences from the loop; these express relationships between the values of variables, or program properties such…
A natural procedure is introduced to replace the traditional, perturbatively generated counter terms to yield a formulation of covariant, self-interacting, nonrenormalizable scalar quantum field theories that has the added virtue of…
We propose a generalization of tropical curves by dropping the rationality and integrality requirements while preserving the balancing condition. An interpretation of such curves as critical points of a certain quadratic functional allows…
Symbolic model checking of parallel programs stands and falls with effective methods of dealing with the explosion of interleavings. We propose a dynamic reduction technique to avoid unnecessary interleavings. By extending Lipton's original…
Attempts to use coarse-grained molecular theories to calculate corrections to the random-phase approximation (RPA) for correlations in polymer mixtures have been plagued by an unwanted sensitivity to the value of an arbitrary cutoff length,…
During the last few years, interest has arisen in using light-front Tamm-Dancoff field theory to describe relativistic bound states for theories such as QCD. Unfortunately, difficult renormalization problems stand in the way. We introduce a…
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt termination analysis techniques based on polynomial…
We give a new method for the reduction of tensor integrals to finite integral representations and UV divergent analytic expressions. This includes a new method for the handling of the gamma-algebra. TYPO IN EQUATION (5) CORRECTED, MACROS…
We investigate the ultraviolet (UV) behaviour of 6D N=1 supersymmetric effective (Abelian) gauge theories compactified on a two-torus ($T_2$) with magnetic flux. To this purpose we compute offshell the one-loop correction to the Wilson line…
Using the Stochastic Adhesion Model (SAM) as a simple toy model for cosmic structure formation, we study renormalization and the removal of the cutoff dependence from loop integrals in perturbative calculations. SAM shares the same symmetry…
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…
We study the renormalization of (softly) broken supersymmetric theories at the one loop level in detail. We perform this analysis in a superspace approach in which the supersymmetry breaking interactions are parameterized using spurion…
We study QED corrections to operator matrix elements involving heavy composite particles (e.g., heavy-mesons, nuclei, and atoms). We define a new notion of reducible and irreducible graphs which is useful for systems with many discrete…
We introduce a new regularization scheme for divergent integrals in quantum field theory. The framework is based on the structural decomposition of the integrand asymptotic expansion, which distinguishes between contributions that drive UV…
The constraint of a progressive decrease in residual renormalization scale dependence with increasing loop order is developed as a method for obtaining bounds on unknown higher-order perturbative corrections to renormalization-group…
For loops with UV divergences, assuming that the physical contributions of loops from UV regions are insignificant, a method of UV-free scheme described by an equation is introduced to derive loop results without UV divergences in…
Implicit regularization (IR) has been shown as an useful momentum space tool for perturbative calculations in dimension specific theories, such as chiral gauge, topological and supersymmetric quantum field theoretical models at one loop…
Two-loop electroweak corrections to the muon anomalous magnetic moment are automatically calculated by using GRACE-FORM system, as a trial to extend our system for two-loop calculation. We adopt the non-linear gauge (NLG) to check the…
A practical approach is presented which allows the use of a non-invariant regularization scheme for the computation of quantum corrections in perturbative quantum field theory. The theoretical control of algebraic renormalization over…
Higher order calculations in chiral gauge theories such as the Electroweak Standard Model require a sound treatment of the notoriously problematic $\gamma_5$-matrix in Dimensional Regularization (DReg). In the all-order consistent BMHV…