arXiv subjects

J. A. M. Vermaseren

Publications and source records attributed to J. A. M. Vermaseren.

At least 37 records · Page 2Linked to original sources

arXiv2016

Forcer: a FORM program for 4-loop massless propagators

We present a new FORM program for analytically evaluating four-loop massless propagator-type Feynman integrals in an efficient way. Our program Forcer implements parametric reductions of the aforementioned class of Feynman integrals into a set of master integrals and can be considered as a four-loop extension of the three-loop Mincer program. Since the program structure at the four-loop level is highly complicated and the equations easily become lengthy, most of the code was generated in an automatic way or with computer-assisted derivations. We have checked correctness of the program by recomputing already-known quantities in the literature.

hep-ph↗

arXiv2016

Axodraw Version 2

We present version two of the Latex graphical style file Axodraw. It has a number of new drawing primitives and many extra options, and it can now work with \program{pdflatex} to directly produce output in PDF file format (but with the aid of an auxiliary program).

cs.OH↗

arXiv2016

First Forcer results on deep-inelastic scattering and related quantities

We present results on the fourth-order splitting functions and coefficient functions obtained using Forcer, a four-loop generalization of the Mincer program for the parametric reduction of self-energy integrals. We have computed the respective lowest three even-N and odd-N moments for the non-singlet splitting functions and the non-singlet coefficient functions in electromagnetic and nu+nu(bar) charged-current deep-inelastic scattering, and the N=2 and N=4 results for the corresponding flavour-singlet quantities. Enough moments have been obtained for an LLL-based determination of the analytic N-dependence of the nf^3 and nf^2 parts, respectively, of the singlet and non-singlet splitting functions. The large-N limit of the latter provides the complete nf^2 contributions to the four-loop cusp anomalous dimension. Our results also provide additional evidence of a non-vanishing contribution of quartic group invariants to the cusp anomalous dimension.

hep-ph↗

arXiv2016

Calculating four-loop massless propagators with Forcer

We present Forcer, a new FORM program for the calculation of four-loop massless propagators. The basic framework is similar to that of the Mincer program for three-loop massless propagators: the program reduces Feynman integrals to a set of master integrals in a parametric way. To overcome an ineludible complexity of the program structure at the four-loop level, most of the code was automatically generated or made with computer-assisted derivations. Correctness of the program has been checked with the recomputation of some quantities in the literature.

hep-ph↗

arXiv2015

On gamma_5 in higher-order QCD calculations and the NNLO evolution of the polarized valence distribution

We discuss the prescription for the Dirac matrix gamma_5 in dimensional regularization used in most second- and third-order QCD calculations of collider cross sections. We provide an alternative implementation of this approach that avoids the use of an explicit form of gamma_5 and of its (anti-) commutation relations in the most important case of no more than one gamma_5 in each fermion trace. This treatment is checked by computing the third-order corrections to the structure functions F_2 and g_1 in charged-current deep-inelastic scattering with axial-vector couplings to the W-bosons. We derive the so far unknown third-order helicity-difference splitting function Delta P_ns^(2)s that contributes to the next-to-next-to-leading order (NNLO) evolution of the polarized valence quark distribution of the nucleon. This function is negligible at momentum fractions x >~ 0.3 but relevant at x << 1.

hep-ph↗

arXiv2014

The Three-Loop Splitting Functions in QCD: The Helicity-Dependent Case

We present the next-to-next-to-leading order (NNLO) contributions to the main splitting functions for the evolution of longitudinally polarized parton densities of hadrons in perturbative QCD. The quark-quark and gluon-quark splitting functions have been obtained by extending our previous all Mellin-N calculations to the structure function g_1 in electromagnetic deep-inelastic scattering (DIS). Their quark-gluon and gluon-gluon counterparts have been derived using third-order fixed-N calculations of structure functions in graviton-exchange DIS, relations to the unpolarized case and mathematical tools for systems of Diophantine equations. The NNLO corrections to the splitting functions are small outside the region of small momentum fractions x where they exhibit a large double-logarithmic enhancement, yet the corrections to the evolution of the parton densities can be unproblematic down to at least x about 10^{-4}.

hep-ph↗

arXiv2014

Full $\mathcal{O}(α)$ electroweak radiative corrections to $e^+e^- \rightarrow e^+e^- γ$ at the ILC with GRACE-Loop

By using the GRACE-Loop system, we calculate the full $\mathcal{O}(α)$ electroweak radiative corrections to the process $e^+e^- \rightarrow e^+e^- γ$, which is important for future investigations at the International Linear Collider (ILC). With the GRACE-Loop system, the calculations are checked numerically by three consistency tests: ultraviolet finiteness, infrared finiteness, and gauge-parameter independence. The results show good numerical stability when quadruple precision is used. In the phenomenological results, we find that the electroweak corrections to the total cross section range from $\sim -4\%$ to $\sim -21\%$ when $\sqrt{s}$ varies from $250$ GeV to $1$ TeV. The corrections also significantly affect the differential cross sections, which are a function of the invariant masses and angles and the final-particle energies. Such corrections will play an important role for the high-precision program at the ILC.

hep-ph↗

arXiv2014

A calculation of the three-loop helicity-dependent splitting functions in QCD

We have calculated the complete matrix of three-loop helicity-difference (`polarized') splitting functions Delta P_ik^(2), i,k = q,g, in massless perturbative QCD. In this note we briefly discuss some properties of the polarized splitting functions and our non-standard determination of the hitherto missing lower-row quantities Delta P_gq^(2) and Delta P_gg^(2). The resulting next-to-next-to-leading order (NNLO) corrections to the evolution of polarized parton distributions are illustrated and found to be small even at rather large values of the strong coupling constant alpha_s.

hep-ph↗

arXiv2014

Full $\mathcal{O}(α)$ electroweak radiative corrections to $t \bar{t} γ$ and $e^-e^+γ$ productions at ILC with GRACE-Loop

The full $\mathcal{O}(α)$ electroweak radiative corrections to $t \bar{t} γ$ and $e^-e^+γ$ productions at the International Linear Collider (ILC) are presented in this paper. The computation is performed with the help of GRACE-Loop system. In the physical results, we discuss on the cross section, electroweak corrections, and the top quark forward-backward asymmetry ($A_{FB}$) which are the function of the center-of-mass energy.

hep-ph↗

arXiv2013

Code Optimization in FORM

We describe the implementation of output code optimization in the open source computer algebra system FORM. This implementation is based on recently discovered techniques of Monte Carlo tree search to find efficient multivariate Horner schemes, in combination with other optimization algorithms, such as common subexpression elimination. For systems for which no specific knowledge is provided it performs significantly better than other methods we could compare with. Because the method has a number of free parameters, we also show some methods by which to tune them to different types of problems.

cs.SC↗

arXiv2013

Full $\mathcal{O}(α)$ electroweak radiative corrections to $e^+e^- \rightarrow t \bar{t} γ$ with GRACE-Loop

We present the full $\mathcal{O}(α)$ electroweak radiative corrections to the process $e^+e^- \rightarrow t \bar{t} γ$ at the International Linear Collider (ILC). The computation is performed with the help of the GRACE-Loop system. We present the total cross-section and the top quark forward-backward asymmetry ($A_{FB}$) as a function of the center-of-mass energy and compare them with the process $e^+e^- \rightarrow t \bar{t}$. We find that the value of $A_{FB}$ in $t \bar{t} γ$ production is larger than $A_{FB}$ in $t\bar{t}$ production. It is an important result for the measurement of the top quark forward-backward asymmetry at the ILC. Applying a structure function method, we also subtract the QED correction to gain the genuine weak correction in both the $α$ scheme and the $G_μ$ scheme ($δ_{W}^{G_μ}$). We obtain numerical values for $δ_{W}^{G_μ}$ which are changing from 2% to -24% when we vary the center-of-mass energy from 360 GeV to 1 TeV.

hep-ph↗

arXiv2012

Progress on double-logarithmic large-x and small-x resummations for (semi-)inclusive hard processes

Over the past few years considerable progress has been made on the resummation of double-logarithmically enhanced threshold (large-x) and high-energy (small-x) higher-order contributions to the splitting functions for parton and fragmentation distributions and to the coefficient functions for inclusive deep-inelastic scattering and semi-inclusive e^+e^- annihilation. We present an overview of the methods which allow, in many cases, to derive the coefficients of the highest three logarithms at all orders in the strong coupling from next-to-next-to-leading order results in massless perturbative QCD. Some representative analytical and numerical results are shown, and the present limitations of these resummations are discussed.

hep-ph↗

arXiv2012

Improving multivariate Horner schemes with Monte Carlo tree search

Optimizing the cost of evaluating a polynomial is a classic problem in computer science. For polynomials in one variable, Horner's method provides a scheme for producing a computationally efficient form. For multivariate polynomials it is possible to generalize Horner's method, but this leaves freedom in the order of the variables. Traditionally, greedy schemes like most-occurring variable first are used. This simple textbook algorithm has given remarkably efficient results. Finding better algorithms has proved difficult. In trying to improve upon the greedy scheme we have implemented Monte Carlo tree search, a recent search method from the field of artificial intelligence. This results in better Horner schemes and reduces the cost of evaluating polynomials, sometimes by factors up to two.

cs.SC↗

arXiv2012

FORM version 4.0

We present version 4.0 of the symbolic manipulation system FORM. The most important new features are manipulation of rational polynomials and the factorization of expressions. Many other new functions and commands are also added; some of them are very general, while others are designed for building specific high level packages, such as one for Groebner bases. New is also the checkpoint facility, that allows for periodic backups during long calculations. Lastly, FORM 4.0 has become available as open source under the GNU General Public License version 3.

cs.SC↗

arXiv2011

About a conjectured basis for Multiple Zeta Values

We confirm a conjecture about the construction of basis elements for the multiple zeta values (MZVs) at weight 27 and weight 28. Both show as expected one element that is twofold extended. This is done with some lengthy computer algebra calculations using TFORM to determine explicit bases for the MZVs at these weights.

math-ph↗

arXiv2011

FORM development

I give an overview of FORM development based on a few pilot projects, explaining how they have influenced the FORM capabilities. Next I explain what is happnening right now in the field of Open Sourcing and the FORM Forum.

hep-ph↗

arXiv2010

On higher-order flavour-singlet splitting and coefficient functions at large x

We discuss the large-x behaviour of the splitting functions P_qg and P_gq and of flavour-singlet coefficient functions, such as the gluon contributions C_2,g and C_L,g to the structure functions F_2,L, in massless perturbative QCD. These quantities are suppressed by one or two powers of 1-x with respect to the 1/(1-x) terms which are the subject of the well-known threshold exponentiation. We show that the double-logarithmic contributions to P_qg, P_gq and C_L at order alpha_s^4 can be predicted from known third-order results and present, as a first step towards a full all-order generalization, the leading-logarithmic large-x behaviour of P_qg, P_gq and C_2,g at all orders in alpha_s.

hep-ph↗

arXiv2010

FORM facts

Some of the new features of the symbolic manipulation system FORM are discussed. Then some recent results running its multithreaded version TFORM are shown. Finally the plans for the future are presented.

hep-ph↗