Showing 1–50 of 107 results for author: Vermaseren, J

Tensor Reduction for Feynman Integrals with Lorentz and Spinor Indices

Authors: Jae Goode, Franz Herzog, Anthony Kennedy, Sam Teale, Jos Vermaseren

Abstract: We present an efficient graphical approach to construct projectors for the tensor reduction of multi-loop Feynman integrals with both Lorentz and spinor indices in $D$ dimensions. An ansatz for the projectors is constructed making use of its symmetry properties via an orbit partition formula. The graphical approach allows to identify and enumerate the orbits in each case. For the case without spin… ▽ More We present an efficient graphical approach to construct projectors for the tensor reduction of multi-loop Feynman integrals with both Lorentz and spinor indices in $D$ dimensions. An ansatz for the projectors is constructed making use of its symmetry properties via an orbit partition formula. The graphical approach allows to identify and enumerate the orbits in each case. For the case without spinor indices we find a 1 to 1 correspondence between orbits and integer partitions describing the cycle structure of certain bi-chord graphs. This leads to compact combinatorial formulae for the projector ansatz. With spinor indices the graph-structure becomes more involved, but the method is equally applicable. Our spinor reduction formulae are based on the antisymmetric basis of $γ$ matrices, and make use of their orthogonality property. We also provide a new compact formula to pass into the antisymmetric basis. We compute projectors for vacuum tensor Feynman integrals with up to 32 Lorentz indices and up to 4 spinor indices. We discuss how to employ the projectors in problems with external momenta. △ Less

Submitted 28 April, 2025; v1 submitted 9 August, 2024; originally announced August 2024.

Comments: 59 pages, 32 tables, 3 figures; version accepted for publication in JHEP

Additional moments and x-space approximations of four-loop splitting functions in QCD

Authors: S. Moch, B. Ruijl, T. Ueda, J. Vermaseren, A. Vogt

Abstract: We have extended our previous computations of the even-N moments of the flavour-singlet four-loop splitting functions to N = 12 for the pure-singlet quark case and N = 10 for all other cases. These results, obtained using physical quantities in inclusive deep-inelastic scattering, have been and will be used to validate conceptionally much more challenging determinations of these splitting function… ▽ More We have extended our previous computations of the even-N moments of the flavour-singlet four-loop splitting functions to N = 12 for the pure-singlet quark case and N = 10 for all other cases. These results, obtained using physical quantities in inclusive deep-inelastic scattering, have been and will be used to validate conceptionally much more challenging determinations of these splitting functions from off-shell operator matrix elements (OMEs). For the quark-gluon and gluon-gluon splitting functions, which have yet to be computed to higher N using OMEs, we construct approximations based on our moments and endpoint constraints, where we present new large-x results for the gluon-gluon case. These approximations facilitate an approximate N^3LO evolution of parton distributions which are sufficiently accurate outside the region of small momentum fractions x. △ Less

Submitted 9 October, 2023; originally announced October 2023.

Comments: 14 pages, 3 figures. Analytical and numerical results in ancillary FORM and Fortran files

Report number: DESY-23-150, Nikhef 23-016, LTH 1354

The double fermionic contribution to the four-loop quark-to-gluon splitting function

Authors: G. Falcioni, F. Herzog, S. Moch, J. Vermaseren, A. Vogt

Abstract: We have computed the first 30 even-N moments for the double fermionic (nf^2) part of the quark-to-gluon splitting function P_{gq} at the fourth order of perturbative QCD via the renormalization of off-shell operator matrix elements. From these results we have determined the all-N form, and hence the exact x-space expression, using systems of Diophantine equations for its coefficients. The dominant… ▽ More We have computed the first 30 even-N moments for the double fermionic (nf^2) part of the quark-to-gluon splitting function P_{gq} at the fourth order of perturbative QCD via the renormalization of off-shell operator matrix elements. From these results we have determined the all-N form, and hence the exact x-space expression, using systems of Diophantine equations for its coefficients. The dominant and subdominant leading small-x nf^2 contributions to P_{gq}^(3)(x) are of the form 1/x ln x and ln^4 x, respectively; the leading large-x term is ln^4 (1-x). The coefficient of the first of these is new, the other two agree with results obtained before and thus provide checks of our results. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Comments: 10 pages, LaTex, 1 eps-based figure. Analytical results in ancillary FORM files

Report number: ZU-TH 62/23, DESY 23-146, Nikhef 2023-015, LTH 1353

The ${\mathbb S}_n$-equivariant Euler characteristic of the moduli space of graphs

Authors: Michael Borinsky, Jos Vermaseren

Abstract: We prove a formula for the ${\mathbb S}_n$-equivariant Euler characteristic of the moduli space of graphs $\mathcal{MG}_{g,n}$. Moreover, we prove that the rational ${\mathbb S}_n$-invariant cohomology of $\mathcal{MG}_{g,n}$ stabilizes for large $n$. That means, if $n \geq g \geq 2$, then there are isomorphisms… ▽ More We prove a formula for the ${\mathbb S}_n$-equivariant Euler characteristic of the moduli space of graphs $\mathcal{MG}_{g,n}$. Moreover, we prove that the rational ${\mathbb S}_n$-invariant cohomology of $\mathcal{MG}_{g,n}$ stabilizes for large $n$. That means, if $n \geq g \geq 2$, then there are isomorphisms $H^k(\mathcal{MG}_{g,n};\mathbb{Q})^{{\mathbb S}_n} \rightarrow H^k(\mathcal{MG}_{g,n+1};\mathbb{Q})^{{\mathbb S}_{n+1}}$ for all $k$. △ Less

Submitted 6 November, 2024; v1 submitted 27 June, 2023; originally announced June 2023.

Comments: 20 pages, tables of Euler characteristics and program code are included in the ancillary files; v4: accepted version to be published in Algebraic & Geometric Topology

MSC Class: 58D29; 18G85; 14D22 (Primary) 05E18; 14T99; 20F28; 20F65; 20J06 (Secondary)

DIS coefficient functions at four loops in QCD and beyond

Authors: S. Moch, B. Ruijl, T. Ueda, J. A. M. Vermaseren, A. Vogt

Abstract: We report results for the lowest even-$N$ moments of the flavor-nonsinglet structure functions $F_2$ and $F_L$ in QCD at the fourth order in the perturbative expansion in the strong coupling constant $α_s$. Our results are presented in numerical form and we compare them with the leading and subleading terms of the threshold expansion for large values of $N$, which corresponds to the limit… ▽ More We report results for the lowest even-$N$ moments of the flavor-nonsinglet structure functions $F_2$ and $F_L$ in QCD at the fourth order in the perturbative expansion in the strong coupling constant $α_s$. Our results are presented in numerical form and we compare them with the leading and subleading terms of the threshold expansion for large values of $N$, which corresponds to the limit $x \to 1$. △ Less

Submitted 23 August, 2022; originally announced August 2022.

Comments: 11 pages, LaTeX, 3 figures; Proceedings "Loops and Legs in Quantum Field Theory - LL2022"

Report number: DESY 22-139, Nikhef 2022-011, LTH 1311

Low moments of the four-loop splitting functions in QCD

Authors: S. Moch, B. Ruijl, T. Ueda, J. A. M. Vermaseren, A. Vogt

Abstract: We have computed the four lowest even-N moments of all four splitting functions for the evolution of flavour-singlet parton densities of hadrons at the fourth order in the strong coupling constant alpha_s. The perturbative expansion of these moments, and hence of the splitting functions for momentum fractions x >~ 0.1, is found to be well behaved with relative alpha_s-coefficients of order one and… ▽ More We have computed the four lowest even-N moments of all four splitting functions for the evolution of flavour-singlet parton densities of hadrons at the fourth order in the strong coupling constant alpha_s. The perturbative expansion of these moments, and hence of the splitting functions for momentum fractions x >~ 0.1, is found to be well behaved with relative alpha_s-coefficients of order one and sub-percent effects on the scale derivatives of the quark and gluon distributions at alpha_s ~< 0.2. More intricate computations, including other approaches such as the operator-product expansion, are required to cover the full x-range relevant to LHC analyses. Our results are presented analytically for a general gauge group for detailed checks and validations of such future calculations. △ Less

Submitted 30 November, 2021; originally announced November 2021.

Comments: 11 pages, LaTeX, 2 figures. Analytical results in ancillary FORM file

Report number: DESY 21-203, NIKHEF 21-030, LTH 1282

Five-loop contributions to low-N non-singlet anomalous dimensions in QCD

Authors: F. Herzog, S. Moch, B. Ruijl, T. Ueda, J. A. M. Vermaseren, A. Vogt

Abstract: We present the first calculations of next-to-next-to-next-to-next-to-leading order (N^4LO) contributions to anomalous dimensions of spin-N twist-2 operators in perturbative QCD. Specifically, we have obtained the respective non-singlet quark-quark anomalous dimensions at N=2 and N=3 to the fifth order in the strong coupling alpha_s. These results set the scale for the N^4LO contributions to the ev… ▽ More We present the first calculations of next-to-next-to-next-to-next-to-leading order (N^4LO) contributions to anomalous dimensions of spin-N twist-2 operators in perturbative QCD. Specifically, we have obtained the respective non-singlet quark-quark anomalous dimensions at N=2 and N=3 to the fifth order in the strong coupling alpha_s. These results set the scale for the N^4LO contributions to the evolution of the non-singlet quark distributions of hadrons outside the small-x region, and facilitate a first approximate determination of the five-loop cusp anomalous dimension. While the N^4LO coefficients are larger than expected from the lower-order results, their inclusion stabilizes the perturbative expansions for three or more light flavours at a sub-percent accuracy for alpha_s < 0.3. △ Less

Submitted 30 January, 2019; v1 submitted 31 December, 2018; originally announced December 2018.

Comments: 11 pages, LaTeX, 2 figures. FORM file of the main results available with the source. v2: Nikhef and DESY numbers added, one very minor text modification. Version to appear in Phys. Lett. B

Report number: Nikhef 2018-066, DESY 18-227, LTH 1191

Anomalous dimensions and splitting functions beyond the next-to-next-to-leading order

Authors: A. Vogt, F. Herzog, S. Moch, B. Ruijl, T. Ueda, J. A. M. Vermaseren

Abstract: We report on recent progress on the splitting functions for the evolution of parton distributions and related quantities, the (lightlike) cusp anomalous dimensions, in perturbative QCD. New results are presented for the four-loop (next-to-next-to-next-to-leading order, N^3LO) contributions to the flavour-singlet splitting functions and the gluon cusp anomalous dimension. We present first results,… ▽ More We report on recent progress on the splitting functions for the evolution of parton distributions and related quantities, the (lightlike) cusp anomalous dimensions, in perturbative QCD. New results are presented for the four-loop (next-to-next-to-next-to-leading order, N^3LO) contributions to the flavour-singlet splitting functions and the gluon cusp anomalous dimension. We present first results, the moments N=2 and N=3, for the five-loop (N^4LO) non-singlet splitting functions. △ Less

Submitted 27 August, 2018; originally announced August 2018.

Comments: 10 pages, LaTeX (PoS style), 3 eps-figures. Contribution to the proceedings of `Loops & Legs 2018', St. Goar (Germany), April/May 2018

Report number: LTH 1174, Nikhef 2018-042, DESY 18-151

On quartic colour factors in splitting functions and the gluon cusp anomalous dimension

Authors: S. Moch, B. Ruijl, T. Ueda, J. A. M. Vermaseren, A. Vogt

Abstract: We have computed the contributions of the quartic Casimir invariants to the four-loop anomalous dimensions of twist-2 spin-N operators at N =< 16. The results provide new information on the structure of the next-to-next-to-next-to-leading order (N^3LO) splitting functions P_{ik}^(3)(x) for the evolution of parton distributions, and facilitate approximate expressions which include the quartic-Casim… ▽ More We have computed the contributions of the quartic Casimir invariants to the four-loop anomalous dimensions of twist-2 spin-N operators at N =< 16. The results provide new information on the structure of the next-to-next-to-next-to-leading order (N^3LO) splitting functions P_{ik}^(3)(x) for the evolution of parton distributions, and facilitate approximate expressions which include the quartic-Casimir contributions to the (light-like) gluon cusp anomalous dimension. These quantities turn out to be closely related, by a generalization of the lower-order `Casimir scaling', to the corresponding quark results. Using these findings, we present an approximate result for the four-loop gluon cusp anomalous dimension in QCD which is sufficient for phenomenological applications. △ Less

Submitted 24 May, 2018; originally announced May 2018.

Comments: 12 pages, LaTeX

Report number: DESY 18-072, Nikhef 2018-023, LTH 1165

Four-loop results on anomalous dimensions and splitting functions in QCD

Authors: A. Vogt, S. Moch, B. Ruijl, T. Ueda, J. A. M. Vermaseren

Abstract: We report on recent progress on the flavour non-singlet splitting functions in perturbative QCD. The~exact four-loop (N^3LO) contribution to these functions has been obtained in the planar limit of a large number of colours. Phenomenologically sufficient approximate expressions have been obtained for the parts not exactly known so far. Both cases include results for the four-loop cusp and virtual… ▽ More We report on recent progress on the flavour non-singlet splitting functions in perturbative QCD. The~exact four-loop (N^3LO) contribution to these functions has been obtained in the planar limit of a large number of colours. Phenomenologically sufficient approximate expressions have been obtained for the parts not exactly known so far. Both cases include results for the four-loop cusp and virtual anomalous dimensions which are relevant well beyond the evolution of non-singlet quark distributions, for which an accuracy of (well) below 1% has now been been reached. △ Less

Submitted 18 January, 2018; originally announced January 2018.

Comments: 11 pages, LaTeX (PoS style), 4 eps-figures. Contribution to the proceedings of `RADCOR 2017', St. Gilgen (Austria), September 2017

Report number: LTH 1150, DESY 18-010, Nikhef 2018-004

R*-operation and five-loop calculations

Authors: B. Ruijl, F. Herzog, T. Ueda, J. A. M. Vermaseren, A. Vogt

Abstract: We sketch how the R*-operation can be used to compute the pole terms of Feynman diagrams. We identify computational difficulties when performing five-loop calculations, and provide four solutions that drastically reduce the number of terms that are generated. Using these methods, we have computed the beta function for Yang-Mills theory with fermions, the R-ratio in electron-positron annihilation,… ▽ More We sketch how the R*-operation can be used to compute the pole terms of Feynman diagrams. We identify computational difficulties when performing five-loop calculations, and provide four solutions that drastically reduce the number of terms that are generated. Using these methods, we have computed the beta function for Yang-Mills theory with fermions, the R-ratio in electron-positron annihilation, and Higgs decays to quarks and gluons at five-loop accuracy. The results for the beta function and Higgs decay width to gluons in the heavy-top limit are briefly discussed. There is no need for six-loop extensions of these calculations in the near future. △ Less

Submitted 18 January, 2018; originally announced January 2018.

Comments: 12 pages, LaTeX (PoS style), 2 eps-figures. Contribution to the proceedings of `RADCOR 2017', St. Gilgen (Austria), September 2017 and (shortened) to the proceedings of `ACAT 2017', Seattle (USA), August 2017

Report number: Nikhef 2018-003, LTH 1149

The method of global R* and its applications

Authors: K. G. Chetyrkin, G. Falcioni, F. Herzog, J. A. M. Vermaseren

Abstract: The global R* operation is a powerful method for computing renormalisation group functions. This technique, based on the principle of infrared rearrangement, allows to express all the ultraviolet counterterms in terms of massless propagator integrals. In this talk we present the main features of global R* and its application to the renormalisation of QCD. By combining this approach with the use of… ▽ More The global R* operation is a powerful method for computing renormalisation group functions. This technique, based on the principle of infrared rearrangement, allows to express all the ultraviolet counterterms in terms of massless propagator integrals. In this talk we present the main features of global R* and its application to the renormalisation of QCD. By combining this approach with the use of the program Forcer for the evaluation of the relevant Feynman integrals, we renormalise for the first time QCD at five loops in covariant gauges. △ Less

Submitted 9 January, 2018; originally announced January 2018.

Comments: 10 pages, 6 figures, contribution to the proceedings of the 13th International Symposium on Radiative Corrections (RADCOR 2017)

Five-loop renormalisation of QCD in covariant gauges

Authors: K. G. Chetyrkin, G. Falcioni, F. Herzog, J. A. M. Vermaseren

Abstract: We present the complete set of vertex, wave function and charge renormalisation constants in QCD in a general simple gauge group and with the complete dependence on the covariant gauge parameter $ξ$ in the minimal subtraction scheme of conventional dimensional regularisation. Our results confirm all already known results, which were obtained in the Feynman gauge, and allow the extraction of other… ▽ More We present the complete set of vertex, wave function and charge renormalisation constants in QCD in a general simple gauge group and with the complete dependence on the covariant gauge parameter $ξ$ in the minimal subtraction scheme of conventional dimensional regularisation. Our results confirm all already known results, which were obtained in the Feynman gauge, and allow the extraction of other useful gauges such as the Landau gauge. We use these results to extract the Landau gauge five-loop anomalous dimensions of the composite operator $A^2$ as well as the Landau gauge scheme independent gluon, ghost and fermion propagators at five loops. △ Less

Submitted 23 January, 2018; v1 submitted 25 September, 2017; originally announced September 2017.

Comments: 17 pages; FORM and Mathematica result files available with the source; corrected minor typos, added references, journal ref, 1 remark, 1 note and 1 additional result file

Journal ref: JHEP 1710 (2017) 179

Four-Loop Non-Singlet Splitting Functions in the Planar Limit and Beyond

Authors: S. Moch, B. Ruijl, T. Ueda, J. A. M. Vermaseren, A. Vogt

Abstract: We present the next-to-next-to-next-to-leading order (N^3LO) contributions to the non-singlet splitting functions for both parton distribution and fragmentation functions in perturbative QCD. The exact expressions are derived for the terms contributing in the limit of a large number of colours. For the remaining contributions, approximations are provided that are sufficient for all collider-physic… ▽ More We present the next-to-next-to-next-to-leading order (N^3LO) contributions to the non-singlet splitting functions for both parton distribution and fragmentation functions in perturbative QCD. The exact expressions are derived for the terms contributing in the limit of a large number of colours. For the remaining contributions, approximations are provided that are sufficient for all collider-physics applications. From their threshold limits we derive analytical and high-accuracy numerical results, respectively, for all contributions to the four-loop cusp anomalous dimension for quarks, including the terms proportional to quartic Casimir operators. We briefly illustrate the numerical size of the four-loop corrections, and the remarkable renormalization-scale stability of the N^3LO results, for the evolution of the non-singlet parton distribution and the fragmentation functions. Our results appear to provide a first point of contact of four-loop QCD calculations and the so-called wrapping corrections to anomalous dimensions in N=4 super Yang-Mills theory. △ Less

Submitted 5 October, 2017; v1 submitted 26 July, 2017; originally announced July 2017.

Comments: 73 pages latex, 14 figures, ancillary Form and Fortran files, final version to appear in JHEP

Report number: DESY 17-106, Nikhef 2017-034, LTH 1139

FORM version 4.2

Authors: Ben Ruijl, Takahiro Ueda, Jos Vermaseren

Abstract: We introduce FORM 4.2, a new minor release of the symbolic manipulation toolkit. We demonstrate several new features, such as a new pattern matching option, new output optimization, and automatic expansion of rational functions. We introduce FORM 4.2, a new minor release of the symbolic manipulation toolkit. We demonstrate several new features, such as a new pattern matching option, new output optimization, and automatic expansion of rational functions. △ Less

Submitted 20 July, 2017; originally announced July 2017.

On Higgs decays to hadrons and the R-ratio at N^4LO

Authors: F. Herzog, B. Ruijl, T. Ueda, J. A. M. Vermaseren, A. Vogt

Abstract: We present the first determination of Higgs-boson decay to hadrons at the next-to-next-to-next-to-next-to-leading order of perturbative QCD in the limit of a heavy top quark and massless light flavours. This result has been obtained by computing the absorptive parts of the relevant five-loop self-energy for a general gauge group and combining the outcome with the corresponding coefficient function… ▽ More We present the first determination of Higgs-boson decay to hadrons at the next-to-next-to-next-to-next-to-leading order of perturbative QCD in the limit of a heavy top quark and massless light flavours. This result has been obtained by computing the absorptive parts of the relevant five-loop self-energy for a general gauge group and combining the outcome with the corresponding coefficient function already known to this order in QCD. Our new result reduces the uncertainty due to the truncation of the perturbation series to a fraction of the uncertainty due to the present error of the strong coupling constant. We have also performed the corresponding but technically simpler computations for direct Higgs decay to bottom quarks and for the electromagnetic R-ratio in e^+ e^- -> hadrons, thus verifying important fifth-order results obtained so far only by one group. △ Less

Submitted 5 October, 2017; v1 submitted 4 July, 2017; originally announced July 2017.

Comments: 26 pages, LaTeX, 2 axodraw2 and 4 eps figures. FORM files of the main results available with the source. v2: version accepted by JHEP: introduction and summary slightly extended, minor other text changes, a few additional references

Report number: Nikhef 2017-029, LTH 1136

Forcer, a FORM program for the parametric reduction of four-loop massless propagator diagrams

Authors: B. Ruijl, T. Ueda, J. A. M. Vermaseren

Abstract: We explain the construction of Forcer, a FORM program for the reduction of four-loop massless propagator-type integrals to master integrals. The resulting program performs parametric IBP reductions similar to the three-loop Mincer program. We show how one can solve many systems of IBP identities parametrically in a computer-assisted manner. Next, we discuss the structure of the Forcer program, whi… ▽ More We explain the construction of Forcer, a FORM program for the reduction of four-loop massless propagator-type integrals to master integrals. The resulting program performs parametric IBP reductions similar to the three-loop Mincer program. We show how one can solve many systems of IBP identities parametrically in a computer-assisted manner. Next, we discuss the structure of the Forcer program, which involves recognizing reduction actions for each topology, applying symmetries, and transitioning between topologies after edges have been removed. This part is entirely precomputed and automatically generated. We give examples of recent applications of Forcer, and study the performance of the program. Finally we demonstrate how to use the Forcer package and sketch how to prepare physical diagrams for evaluation by Forcer. △ Less

Submitted 21 April, 2017; originally announced April 2017.

Comments: 43 pages, 6 figures, source code available from https://github.com/benruijl/forcer

Report number: Nikhef 2017-019

Structured Parallel Programming for Monte Carlo Tree Search

Authors: S. Ali Mirsoleimani, Aske Plaat, Jaap van den Herik, Jos Vermaseren

Abstract: In this paper, we present a new algorithm for parallel Monte Carlo tree search (MCTS). It is based on the pipeline pattern and allows flexible management of the control flow of the operations in parallel MCTS. The pipeline pattern provides for the first structured parallel programming approach to MCTS. Moreover, we propose a new lock-free tree data structure for parallel MCTS which removes synchro… ▽ More In this paper, we present a new algorithm for parallel Monte Carlo tree search (MCTS). It is based on the pipeline pattern and allows flexible management of the control flow of the operations in parallel MCTS. The pipeline pattern provides for the first structured parallel programming approach to MCTS. Moreover, we propose a new lock-free tree data structure for parallel MCTS which removes synchronization overhead. The Pipeline Pattern for Parallel MCTS algorithm (called 3PMCTS), scales very well to higher numbers of cores when compared to the existing methods. △ Less

Submitted 2 April, 2017; originally announced April 2017.

Comments: 9 pages

Four-loop QCD propagators and vertices with one vanishing external momentum

Authors: B. Ruijl, T. Ueda, J. A. M. Vermaseren, A. Vogt

Abstract: We have computed the self-energies and a set of three-particle vertex functions for massless QCD at the four-loop level in the MSbar renormalization scheme. The vertex functions are evaluated at points where one of the momenta vanishes. Analytical results are obtained for a generic gauge group and with the full gauge dependence, which was made possible by extensive use of the Forcer program for ma… ▽ More We have computed the self-energies and a set of three-particle vertex functions for massless QCD at the four-loop level in the MSbar renormalization scheme. The vertex functions are evaluated at points where one of the momenta vanishes. Analytical results are obtained for a generic gauge group and with the full gauge dependence, which was made possible by extensive use of the Forcer program for massless four-loop propagator integrals. The bare results in dimensional regularization are provided in terms of master integrals and rational coefficients; the latter are exact in any space-time dimension. Our results can be used for further precision investigations of the perturbative behaviour of the theory in schemes other than MSbar. As an example, we derive the five-loop beta function in a relatively common alternative, the minimal momentum subtraction (MiniMOM) scheme. △ Less

Submitted 1 May, 2017; v1 submitted 24 March, 2017; originally announced March 2017.

Comments: 50 pages, 4 figures, 15 ancillary files available with the source; v2: minor changes, version accepted by JHEP

Report number: Nikhef 2017-013, LTH 1125

The five-loop beta function of Yang-Mills theory with fermions

Authors: F. Herzog, B. Ruijl, T. Ueda, J. A. M. Vermaseren, A. Vogt

Abstract: We have computed the five-loop corrections to the scale dependence of the renormalized coupling constant for Quantum Chromodynamics (QCD), its generalization to non-Abelian gauge theories with a simple compact Lie group, and for Quantum Electrodynamics (QED). Our analytical result, obtained using the background field method, infrared rearrangement via a new diagram-by-diagram implementation of the… ▽ More We have computed the five-loop corrections to the scale dependence of the renormalized coupling constant for Quantum Chromodynamics (QCD), its generalization to non-Abelian gauge theories with a simple compact Lie group, and for Quantum Electrodynamics (QED). Our analytical result, obtained using the background field method, infrared rearrangement via a new diagram-by-diagram implementation of the R* operation and the Forcer program for massless four-loop propagators, confirms the QCD and QED results obtained by only one group before. The numerical size of the five-loop corrections is briefly discussed in the standard MSbar scheme for QCD with n_f flavours and for pure SU(N) Yang-Mills theory. Their effect in QCD is much smaller than the four-loop contributions, even at rather low scales. △ Less

Submitted 9 February, 2017; v1 submitted 5 January, 2017; originally announced January 2017.

Comments: 19 pages, LaTex, 4 figures. FORM file of the main results available with the source. v2: version accepted by JHEP: minor text changes, a few additional references, typos corrected

Report number: Nikhef 2017-001, LTH 1117

Large-nf Contributions to the Four-Loop Splitting Functions in QCD

Authors: J. Davies, A. Vogt, B. Ruijl, T. Ueda, J. A. M. Vermaseren

Abstract: We have computed the fourth-order nf^2 contributions to all three non-singlet quark-quark splitting functions and their four nf^3 flavour-singlet counterparts for the evolution of the parton distributions of hadrons in perturbative QCD with nf effectively massless quark flavours. The analytic form of these functions is presented in both Mellin N-space and momentum-fraction x-space; the large-x and… ▽ More We have computed the fourth-order nf^2 contributions to all three non-singlet quark-quark splitting functions and their four nf^3 flavour-singlet counterparts for the evolution of the parton distributions of hadrons in perturbative QCD with nf effectively massless quark flavours. The analytic form of these functions is presented in both Mellin N-space and momentum-fraction x-space; the large-x and small-x limits are discussed. Our results agree with all available predictions derived from lower-order information. The large-x limit of the quark-quark cases provides the complete nf^2 part of the four-loop cusp anomalous dimension which agrees with two recent partial computations. △ Less

Submitted 24 October, 2016; originally announced October 2016.

Comments: 29 pages, Latex, 8 figures. FORM files of the main results available with the source

Report number: LTH 1106, NIKHEF 2016-049

FORM, Diagrams and Topologies

Authors: Franz Herzog, Ben Ruijl, Takahiro Ueda, J. A. M. Vermaseren, Andreas Vogt

Abstract: We discuss a number of FORM features that are essential in the automatic processing of very large numbers of diagrams as used in the Forcer program for 4-loop massless propagator diagrams. Most of these features are new. We discuss a number of FORM features that are essential in the automatic processing of very large numbers of diagrams as used in the Forcer program for 4-loop massless propagator diagrams. Most of these features are new. △ Less

Submitted 5 August, 2016; originally announced August 2016.

Comments: 16 pages, LaTeX (PoS style) using axodraw2.sty. To appear in the proceedings of `Loops & Legs 2016', Leipzig (Germany), April 2016

Report number: NIKHEF 2016-040, LTH 1096

Forcer: a FORM program for 4-loop massless propagators

Authors: T. Ueda, B. Ruijl, J. A. M. Vermaseren

Abstract: 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 h… ▽ More 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. △ Less

Submitted 25 July, 2016; originally announced July 2016.

Comments: 10 pages, 2 figures, to appear in the proceedings of Loops and Legs in Quantum Field Theory, 24-29 April 2016, Leipzig, Germany

Report number: NIKHEF-2016-036

Non-singlet coefficient functions for charged-current deep-inelastic scattering to the third order in QCD

Authors: J. Davies, A. Vogt, S. Moch, J. A. M. Vermaseren

Abstract: We have calculated the coefficient functions for the structure functions F_2, F_L and F_3 in nu-nubar charged-current deep-inelastic scattering (DIS) at the third order in the strong coupling alpha_s, thus completing the description of unpolarized inclusive W^(+-) exchange DIS to this order of massless perturbative QCD. In this brief note, our new results are presented in terms of compact approxim… ▽ More We have calculated the coefficient functions for the structure functions F_2, F_L and F_3 in nu-nubar charged-current deep-inelastic scattering (DIS) at the third order in the strong coupling alpha_s, thus completing the description of unpolarized inclusive W^(+-) exchange DIS to this order of massless perturbative QCD. In this brief note, our new results are presented in terms of compact approximate expressions that are sufficiently accurate for phenomenological analyses. For the benefit of such analyses we also collect, in a unified notation, the corresponding lower-order contributions and the flavour non-singlet coefficient functions for nu+nubar charged-current DIS. The behaviour of all six third-order coefficient functions at small Bjorken-x is briefly discussed. △ Less

Submitted 28 June, 2016; originally announced June 2016.

Comments: 6 pages, LaTeX (PoS style), 1 eps-figure. Fortran files of the main results available with the source. To appear in the proceedings of `DIS 2016', DESY, Hamburg (Germany), April 2016

Report number: LTH 1089, DESY 16-110, Nikhef 2016-030

Axodraw Version 2

Authors: John C. Collins, J. A. M. Vermaseren

Abstract: 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). 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). △ Less

Submitted 27 May, 2016; originally announced June 2016.

Comments: Files can be found at www.nikhef.nl/~form/maindir/others/axodraw2/axodraw2.html

First Forcer results on deep-inelastic scattering and related quantities

Authors: B. Ruijl, T. Ueda, J. A. M. Vermaseren, J. Davies, A. Vogt

Abstract: 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) ch… ▽ More 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. △ Less

Submitted 26 May, 2016; originally announced May 2016.

Comments: 11 pages, LaTeX (PoS style), 4 eps-figures. To appear in the proceedings of `Loops & Legs 2016', Leipzig (Germany), April 2016

Report number: LTH 1084, Nikhef 2016-023

A New Method for Parallel Monte Carlo Tree Search

Authors: S. Ali Mirsoleimani, Aske Plaat, Jaap van den Herik, Jos Vermaseren

Abstract: In recent years there has been much interest in the Monte Carlo tree search algorithm, a new, adaptive, randomized optimization algorithm. In fields as diverse as Artificial Intelligence, Operations Research, and High Energy Physics, research has established that Monte Carlo tree search can find good solutions without domain dependent heuristics. However, practice shows that reaching high performa… ▽ More In recent years there has been much interest in the Monte Carlo tree search algorithm, a new, adaptive, randomized optimization algorithm. In fields as diverse as Artificial Intelligence, Operations Research, and High Energy Physics, research has established that Monte Carlo tree search can find good solutions without domain dependent heuristics. However, practice shows that reaching high performance on large parallel machines is not so successful as expected. This paper proposes a new method for parallel Monte Carlo tree search based on the pipeline computation pattern. △ Less

Submitted 14 May, 2016; originally announced May 2016.

Comments: 5 pages, 6 figures

Calculating four-loop massless propagators with Forcer

Authors: T. Ueda, B. Ruijl, J. A. M. Vermaseren

Abstract: 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… ▽ More 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. △ Less

Submitted 29 April, 2016; originally announced April 2016.

Comments: 5 pages, 2 figures, to appear in the proceedings of ACAT 2016

Report number: NIKHEF-2016-015

Scaling Monte Carlo Tree Search on Intel Xeon Phi

Authors: S. Ali Mirsoleimani, Aske Plaat, Jaap van den Herik, Jos Vermaseren

Abstract: Many algorithms have been parallelized successfully on the Intel Xeon Phi coprocessor, especially those with regular, balanced, and predictable data access patterns and instruction flows. Irregular and unbalanced algorithms are harder to parallelize efficiently. They are, for instance, present in artificial intelligence search algorithms such as Monte Carlo Tree Search (MCTS). In this paper we stu… ▽ More Many algorithms have been parallelized successfully on the Intel Xeon Phi coprocessor, especially those with regular, balanced, and predictable data access patterns and instruction flows. Irregular and unbalanced algorithms are harder to parallelize efficiently. They are, for instance, present in artificial intelligence search algorithms such as Monte Carlo Tree Search (MCTS). In this paper we study the scaling behavior of MCTS, on a highly optimized real-world application, on real hardware. The Intel Xeon Phi allows shared memory scaling studies up to 61 cores and 244 hardware threads. We compare work-stealing (Cilk Plus and TBB) and work-sharing (FIFO scheduling) approaches. Interestingly, we find that a straightforward thread pool with a work-sharing FIFO queue shows the best performance. A crucial element for this high performance is the controlling of the grain size, an approach that we call Grain Size Controlled Parallel MCTS. Our subsequent comparing with the Xeon CPUs shows an even more comprehensible distinction in performance between different threading libraries. We achieve, to the best of our knowledge, the fastest implementation of a parallel MCTS on the 61 core Intel Xeon Phi using a real application (47 relative to a sequential run). △ Less

Submitted 15 July, 2015; originally announced July 2015.

Comments: 8 pages, 9 figures

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

Authors: S. Moch, J. A. M. Vermaseren, A. Vogt

Abstract: 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. Thi… ▽ More 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. △ Less

Submitted 15 June, 2015; originally announced June 2015.

Comments: 11 pages, Latex, 2 figures. FORM and Fortran files of the main results available with the source

Report number: DESY 15-061, NIKHEF 15-018, LTH 1042

The diamond rule for multi-loop Feynman diagrams

Authors: Ben Ruijl, Takahiro Ueda, Jos Vermaseren

Abstract: An important aspect of improving perturbative predictions in high energy physics is efficiently reducing dimensionally regularised Feynman integrals through integration by parts (IBP) relations. The well-known triangle rule has been used to achieve simple reduction schemes. In this work we introduce an extensible, multi-loop version of the triangle rule, which we refer to as the diamond rule. Such… ▽ More An important aspect of improving perturbative predictions in high energy physics is efficiently reducing dimensionally regularised Feynman integrals through integration by parts (IBP) relations. The well-known triangle rule has been used to achieve simple reduction schemes. In this work we introduce an extensible, multi-loop version of the triangle rule, which we refer to as the diamond rule. Such a structure appears frequently in higher-loop calculations. We derive an explicit solution for the recursion, which prevents spurious poles in intermediate steps of the computations. Applications for massless propagator type diagrams at three, four, and five loops are discussed. △ Less

Submitted 30 April, 2015; originally announced April 2015.

Report number: NIKHEF-2015-017

Parallel versions of FORM and more

Authors: Matthias Steinhauser, Takahiro Ueda, Jos A. M. Vermaseren

Abstract: We review the status of the parallel versions of the computer algebra system FORM. In particular, we provide a brief overview about the historical developments, discuss the strengths of ParFORM and TFORM, and mention typical applications. Furthermore, we briefly discuss the programs FIRE and FIESTA, which have also been developed with the Collaborative Research Center/TR~9 (CRC/TR~9). We review the status of the parallel versions of the computer algebra system FORM. In particular, we provide a brief overview about the historical developments, discuss the strengths of ParFORM and TFORM, and mention typical applications. Furthermore, we briefly discuss the programs FIRE and FIESTA, which have also been developed with the Collaborative Research Center/TR~9 (CRC/TR~9). △ Less

Submitted 28 January, 2015; originally announced January 2015.

Comments: 13 pages, Contribution to the Proceedings of the Final Meeting of the Collaborative Research Centre / Transregio 9 "Computational Particle Physics", Durbach, Germany, September 2014, to appear in Nucl. Phys. (Proc. Suppl.)

Report number: TTP14-035, SFB/CPP-14-98

Why Local Search Excels in Expression Simplification

Authors: Ben Ruijl, Aske Plaat, Jos Vermaseren, Jaap van den Herik

Abstract: Simplifying expressions is important to make numerical integration of large expressions from High Energy Physics tractable. To this end, Horner's method can be used. Finding suitable Horner schemes is assumed to be hard, due to the lack of local heuristics. Recently, MCTS was reported to be able to find near optimal schemes. However, several parameters had to be fine-tuned manually. In this work,… ▽ More Simplifying expressions is important to make numerical integration of large expressions from High Energy Physics tractable. To this end, Horner's method can be used. Finding suitable Horner schemes is assumed to be hard, due to the lack of local heuristics. Recently, MCTS was reported to be able to find near optimal schemes. However, several parameters had to be fine-tuned manually. In this work, we investigate the state space properties of Horner schemes and find that the domain is relatively flat and contains only a few local minima. As a result, the Horner space is appropriate to be explored by Stochastic Local Search (SLS), which has only two parameters: the number of iterations (computation time) and the neighborhood structure. We found a suitable neighborhood structure, leaving only the allowed computation time as a parameter. We performed a range of experiments. The results obtained by SLS are similar or better than those obtained by MCTS. Furthermore, we show that SLS obtains the good results at least 10 times faster. Using SLS, we can speed up numerical integration of many real-world large expressions by at least a factor of 24. For High Energy Physics this means that numerical integrations that took weeks can now be done in hours. △ Less

Submitted 18 September, 2014; originally announced September 2014.

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

Authors: S. Moch, J. A. M. Vermaseren, A. Vogt

Abstract: 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). Th… ▽ More 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}. △ Less

Submitted 17 September, 2014; originally announced September 2014.

Comments: 52 pages, Latex, 10 figures. FORM and Fortran files of the main results available with the source

Report number: DESY 14-157, NIKHEF 14-033, LTH 1023

Performance analysis of a 240 thread tournament level MCTS Go program on the Intel Xeon Phi

Authors: S. Ali Mirsoleimani, Aske Plaat, Jos Vermaseren, Jaap van den Herik

Abstract: In 2013 Intel introduced the Xeon Phi, a new parallel co-processor board. The Xeon Phi is a cache-coherent many-core shared memory architecture claiming CPU-like versatility, programmability, high performance, and power efficiency. The first published micro-benchmark studies indicate that many of Intel's claims appear to be true. The current paper is the first study on the Phi of a complex artific… ▽ More In 2013 Intel introduced the Xeon Phi, a new parallel co-processor board. The Xeon Phi is a cache-coherent many-core shared memory architecture claiming CPU-like versatility, programmability, high performance, and power efficiency. The first published micro-benchmark studies indicate that many of Intel's claims appear to be true. The current paper is the first study on the Phi of a complex artificial intelligence application. It contains an open source MCTS application for playing tournament quality Go (an oriental board game). We report the first speedup figures for up to 240 parallel threads on a real machine, allowing a direct comparison to previous simulation studies. After a substantial amount of work, we observed that performance scales well up to 32 threads, largely confirming previous simulation results of this Go program, although the performance surprisingly deteriorates between 32 and 240 threads. Furthermore, we report (1) unexpected performance anomalies between the Xeon Phi and Xeon CPU for small problem sizes and small numbers of threads, and (2) that performance is sensitive to scheduling choices. Achieving good performance on the Xeon Phi for complex programs is not straightforward; it requires a deep understanding of (1) search patterns, (2) of scheduling, and (3) of the architecture and its many cores and caches. In practice, the Xeon Phi is less straightforward to program for than originally envisioned by Intel. △ Less

Submitted 6 November, 2014; v1 submitted 15 September, 2014; originally announced September 2014.

Comments: 7 pages, 12 figues

HEPGAME and the Simplification of Expressions

Authors: Ben Ruijl, Jos Vermaseren, Aske Plaat, Jaap van den Herik

Abstract: Advances in high energy physics have created the need to increase computational capacity. Project HEPGAME was composed to address this challenge. One of the issues is that numerical integration of expressions of current interest have millions of terms and takes weeks to compute. We have investigated ways to simplify these expressions, using Horner schemes and common subexpression elimination. Our… ▽ More Advances in high energy physics have created the need to increase computational capacity. Project HEPGAME was composed to address this challenge. One of the issues is that numerical integration of expressions of current interest have millions of terms and takes weeks to compute. We have investigated ways to simplify these expressions, using Horner schemes and common subexpression elimination. Our approach applies MCTS, a search procedure that has been successful in AI. We use it to find near-optimal Horner schemes. Although MCTS finds better solutions, this approach gives rise to two further challenges. (1) MCTS (with UCT) introduces a constant, $C_p$ that governs the balance between exploration and exploitation. This constant has to be tuned manually. (2) There should be more guided exploration at the bottom of the tree, since the current approach reduces the quality of the solution towards the end of the expression. We investigate NMCS (Nested Monte Carlo Search) to address both issues, but find that NMCS is computationally unfeasible for our problem. Then, we modify the MCTS formula by introducing a dynamic exploration-exploitation parameter $T$ that decreases linearly with the iteration number. Consequently, we provide a performance analysis. We observe that a variable $C_p$ solves our domain: it yields more exploration at the bottom and as a result the tuning problem has been simplified. The region in $C_p$ for which good values are found is increased by more than a tenfold. This result encourages us to continue our research to solve other prominent problems in High Energy Physics. △ Less

Submitted 25 May, 2014; originally announced May 2014.

Comments: Keynote at the 11th International Workshop on Boolean Problems, Freiberg Germany

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

Authors: A. Vogt, S. Moch, J. A. M. Vermaseren

Abstract: 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-leadin… ▽ More 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. △ Less

Submitted 14 May, 2014; originally announced May 2014.

Comments: 10 pages, LaTeX (PoS style), 4 eps-figures. Proceedings of `Loops & Legs 2014', Weimar (Germany), April/May 2012

Report number: LTH 1010, DESY 14-068, Nikhef 2014-011, LPN 14-071

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

Authors: P. H. Khiem, Y. Kurihara, J. Fujimoto, T. Ishikawa, T. Kaneko, K. Kato, N. Nakazawa, Y. Shimizu, T. Ueda, J. A. M. Vermaseren, Y. Yasui

Abstract: 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-paramete… ▽ More 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. △ Less

Submitted 27 August, 2014; v1 submitted 25 March, 2014; originally announced March 2014.

Comments: 15 pages, 7 figures, Talk presented at the International Workshop on Future Linear Colliders (LCWS13), Tokyo, Japan, 11-15 November 2013

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

Authors: P. H. Khiem, Y. Kurihara, J. Fujimoto, M. Igarashi, T. Ishikawa, T. Kaneko, K. Kato, N. Nakazawa, Y. Shimizu, K. Tobimatsu, T. Ueda, J. A. M. Vermaseren, Y. Yasui

Abstract: 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 functio… ▽ More 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. △ Less

Submitted 25 March, 2014; originally announced March 2014.

Comments: 4 pages, Proceedings of ICISE2013 - Rencontres du Vietnam, Windows on the Universe. 11-17 Aug 2013. Quy Nhon, Vietnam

Combining Simulated Annealing and Monte Carlo Tree Search for Expression Simplification

Authors: Ben Ruijl, Jos Vermaseren, Aske Plaat, Jaap van den Herik

Abstract: In many applications of computer algebra large expressions must be simplified to make repeated numerical evaluations tractable. Previous works presented heuristically guided improvements, e.g., for Horner schemes. The remaining expression is then further reduced by common subexpression elimination. A recent approach successfully applied a relatively new algorithm, Monte Carlo Tree Search (MCTS) wi… ▽ More In many applications of computer algebra large expressions must be simplified to make repeated numerical evaluations tractable. Previous works presented heuristically guided improvements, e.g., for Horner schemes. The remaining expression is then further reduced by common subexpression elimination. A recent approach successfully applied a relatively new algorithm, Monte Carlo Tree Search (MCTS) with UCT as the selection criterion, to find better variable orderings. Yet, this approach is fit for further improvements since it is sensitive to the so-called exploration-exploitation constant $C_p$ and the number of tree updates $N$. In this paper we propose a new selection criterion called Simulated Annealing UCT (SA-UCT) that has a dynamic exploration-exploitation parameter, which decreases with the iteration number $i$ and thus reduces the importance of exploration over time. First, we provide an intuitive explanation in terms of the exploration-exploitation behavior of the algorithm. Then, we test our algorithm on three large expressions of different origins. We observe that SA-UCT widens the interval of good initial values $C_p$ where best results are achieved. The improvement is large (more than a tenfold) and facilitates the selection of an appropriate $C_p$. △ Less

Submitted 3 December, 2013; originally announced December 2013.

Code Optimization in FORM

Authors: J. Kuipers, T. Ueda, J. A. M. Vermaseren

Abstract: 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 per… ▽ More 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. △ Less

Submitted 25 October, 2013; originally announced October 2013.

Comments: 31 pages

Report number: Nikhef 2013-036, TTP13-031, SFB/CPP-13-80 MSC Class: 97Rxx

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

Authors: A. Vogt, C. H. Kom, N. A. Lo Presti, G. Soar, A. A. Almasy, S. Moch, J. A. M. Vermaseren, K. Yeats

Abstract: 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… ▽ More 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. △ Less

Submitted 12 December, 2012; originally announced December 2012.

Comments: 11 pages, LaTeX (PoS style), 2 eps-figures. To appear in the proceedings of `Loops & Legs 2012', Wernigerode (Germany), April 2012

Report number: LTH 968; DESY 12-237; LPN12-133; SFB/CPP-12-97

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

Authors: P. H. Khiem, J. Fujimoto, T. Ishikawa, T. Kaneko, K. Kato, Y. Kurihara, Y. Shimizu, T. Ueda, J. A. M. Vermaseren, Y. Yasui

Abstract: 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… ▽ More 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. △ Less

Submitted 1 May, 2013; v1 submitted 6 November, 2012; originally announced November 2012.

Comments: 13 pages, 9 figures

Improving multivariate Horner schemes with Monte Carlo tree search

Authors: J. Kuipers, J. A. M. Vermaseren, A. Plaat, H. J. van den Herik

Abstract: 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 a… ▽ More 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. △ Less

Submitted 30 July, 2012; originally announced July 2012.

Comments: 5 pages

FORM version 4.0

Authors: J. Kuipers, T. Ueda, J. A. M. Vermaseren, J. Vollinga

Abstract: 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, t… ▽ More 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. △ Less

Submitted 29 March, 2012; originally announced March 2012.

Comments: 26 pages. Uses axodraw

About a conjectured basis for Multiple Zeta Values

Authors: J. Kuipers, J. A. M. Vermaseren

Abstract: 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. 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. △ Less

Submitted 10 May, 2011; originally announced May 2011.

Comments: 6 pages

Report number: Nikhef 11-008

FORM development

Authors: J. A. M. Vermaseren

Abstract: 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. 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. △ Less

Submitted 3 January, 2011; originally announced January 2011.

Comments: Talk given at the 3rd Computational Particle Physics Workshop, Tsukuba, Japan

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

Authors: A. Vogt, G. Soar, S. Moch, J. A. M. Vermaseren

Abstract: 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… ▽ More 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. △ Less

Submitted 5 August, 2010; originally announced August 2010.

Comments: 6 pages, LaTeX, 2 ps/eps-figures. Contribution to the proceedings of the workshops `Loops and Legs in Quantum Field Theory', April 2010, Woerlitz (Germany) and (shortened) DIS 2010 (Florence), April 2010

Report number: LTH 880, DESY 10-121

Journal ref: PoS DIS2010:139,2010; Nucl.Phys.Proc.Suppl.205-206:250-255,2010

FORM facts

Authors: J. A. M. Vermaseren

Abstract: 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. 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. △ Less

Submitted 23 June, 2010; originally announced June 2010.

Comments: 6 pages. Talk presented at the Loops and Legs 2010 workshop

Journal ref: Nucl.Phys.Proc.Suppl.205-206:104-109,2010

Parallel versions of the symbolic manipulation system FORM

Authors: M. Tentyukov, J. A. M. Vermaseren, J. Vollinga

Abstract: The symbolic manipulation program FORM is specialized to handle very large algebraic expressions. Some specific features of its internal structure make FORM very well suited for parallelization. We have now two parallel versions of FORM, one is based on POSIX threads and is optimal for modern multicore computers while another one uses MPI and can be used to parallelize FORM on clusters and Massi… ▽ More The symbolic manipulation program FORM is specialized to handle very large algebraic expressions. Some specific features of its internal structure make FORM very well suited for parallelization. We have now two parallel versions of FORM, one is based on POSIX threads and is optimal for modern multicore computers while another one uses MPI and can be used to parallelize FORM on clusters and Massive Parallel Processing systems. Most existing FORM programs will be able to take advantage of the parallel execution without the need for modifications. △ Less

Submitted 10 June, 2010; originally announced June 2010.

Journal ref: PoS ACAT2010:072,2010