Showing 1–50 of 96 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

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

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

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

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

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

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

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

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

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

Higher-order predictions for splitting functions and coefficient functions from physical evolution kernels

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

Abstract: We have studied the physical evolution kernels for nine non-singlet observables in deep-inelastic scattering (DIS), semi-inclusive e^+e^-annihilation and the Drell-Yan (DY) process, and for the flavour-singlet case of the photon- and heavy-top Higgs-exchange structure functions (F_2, F_phi) in DIS. All known contributions to these kernels show an only single-logarithmic large-x enhancement at al… ▽ More We have studied the physical evolution kernels for nine non-singlet observables in deep-inelastic scattering (DIS), semi-inclusive e^+e^-annihilation and the Drell-Yan (DY) process, and for the flavour-singlet case of the photon- and heavy-top Higgs-exchange structure functions (F_2, F_phi) in DIS. All known contributions to these kernels show an only single-logarithmic large-x enhancement at all powers of 1-x. Conjecturing that this behaviour persists to (all) higher orders, we have predicted the highest three (DY: two) double logarithms of the higher-order non-singlet coefficient functions and of the four-loop singlet splitting functions. The coefficient-function predictions canbe written as exponentiations of 1/N-suppressed contributions in Mellin-N space which, however, are less predictive than the well-known exponentiation of the ln^k N terms. △ Less

Submitted 20 January, 2010; originally announced January 2010.

Comments: 7 pages, LaTeX (PoS style). Presented by A.V. at RADCOR 2009, Ascona (Switzerland), October 2009. Too appear in the proceedings

Report number: LTH 862, DESY 10-007

On Higgs-exchange DIS, physical evolution kernels and fourth-order splitting functions at large x

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

Abstract: We present the coefficient functions for deep-inelastic scattering (DIS) via the exchange of a scalar phi directly coupling only to gluons, such as the Higgs boson in the limit of a very heavy top quark and n_f effectively massless light flavours, to the third order in perturbative QCD. The two-loop results are employed to construct the next-to-next-to-leading order physical evolution kernels fo… ▽ More We present the coefficient functions for deep-inelastic scattering (DIS) via the exchange of a scalar phi directly coupling only to gluons, such as the Higgs boson in the limit of a very heavy top quark and n_f effectively massless light flavours, to the third order in perturbative QCD. The two-loop results are employed to construct the next-to-next-to-leading order physical evolution kernels for the system (F_2 F_phi) of flavour-singlet structure functions. The practical relevance of these kernels as an alternative to MSbar factorization is bedevilled by artificial double logarithms at small values of the scaling variable x, where the large top-mass limit ceases to be appropriate. However, they show an only single-logarithmic enhancement at large x. Conjecturing that this feature persists to the next order also in the present singlet case, the three-loop coefficient functions facilitate exact predictions (backed up by their particular colour structure) of the double-logarithmic contributions to the fourth-order singlet splitting functions, i.e., of the terms (1-x)^a ln^k(1-x) with k = 4, 5, 6 and k = 3, 4, 5, respectively, for the off-diagonal and diagonal quantities to all powers a in 1-x. △ Less

Submitted 2 December, 2009; originally announced December 2009.

Comments: 75 pages, LaTeX, 13 figures (.eps). FORM and Fortran files of main results appended to source

Report number: LTH 857, DESY 09-211, SFB/CPP-09-119, NIKHEF 09-031

Journal ref: Nucl.Phys.B832:152-227,2010

The Multiple Zeta Value Data Mine

Authors: J. Blümlein, D. J. Broadhurst, J. A. M. Vermaseren

Abstract: We provide a data mine of proven results for multiple zeta values (MZVs) of the form $ζ(s_1,s_2,...,s_k)=\sum_{n_1>n_2>...>n_k>0}^\infty \{1/(n_1^{s_1} >... n_k^{s_k})\}$ with weight $w=\sum_{i=1}^k s_i$ and depth $k$ and for Euler sums of the form $\sum_{n_1>n_2>...>n_k>0}^\infty t\{(ε_1^{n_1} >...ε_1 ^{n_k})/ (n_1^{s_1} ... n_k^{s_k}) \}$ with signs $ε_i=\pm1$. Notably, we achieve explicit pro… ▽ More We provide a data mine of proven results for multiple zeta values (MZVs) of the form $ζ(s_1,s_2,...,s_k)=\sum_{n_1>n_2>...>n_k>0}^\infty \{1/(n_1^{s_1} >... n_k^{s_k})\}$ with weight $w=\sum_{i=1}^k s_i$ and depth $k$ and for Euler sums of the form $\sum_{n_1>n_2>...>n_k>0}^\infty t\{(ε_1^{n_1} >...ε_1 ^{n_k})/ (n_1^{s_1} ... n_k^{s_k}) \}$ with signs $ε_i=\pm1$. Notably, we achieve explicit proven reductions of all MZVs with weights $w\le22$, and all Euler sums with weights $w\le12$, to bases whose dimensions, bigraded by weight and depth, have sizes in precise agreement with the Broadhurst--Kreimer and Broadhurst conjectures. Moreover, we lend further support to these conjectures by studying even greater weights ($w\le30$), using modular arithmetic. To obtain these results we derive a new type of relation for Euler sums, the Generalized Doubling Relations. We elucidate the "pushdown" mechanism, whereby the ornate enumeration of primitive MZVs, by weight and depth, is reconciled with the far simpler enumeration of primitive Euler sums. There is some evidence that this pushdown mechanism finds its origin in doubling relations. We hope that our data mine, obtained by exploiting the unique power of the computer algebra language {\sc form}, will enable the study of many more such consequences of the double-shuffle algebra of MZVs, and their Euler cousins, which are already the subject of keen interest, to practitioners of quantum field theory, and to mathematicians alike. △ Less

Submitted 14 November, 2009; v1 submitted 15 July, 2009; originally announced July 2009.

Report number: DESY 09-003, SFB/CPP-09-65

Journal ref: Comput.Phys.Commun.181:582-625,2010

Proceedings of the workshop: HERA and the LHC workshop series on the implications of HERA for LHC physics

Authors: H. Jung, A. De Roeck, Z. J. Ajaltouni, S. Albino, G. Altarelli, F. Ambroglini, J. Anderson, G. Antchev, M. Arneodo, P. Aspell, V. Avati, M. Bahr, A. Bacchetta, M. G. Bagliesi, R. D. Ball, A. Banfi, S. Baranov, P. Bartalini, J. Bartels, F. Bechtel, V. Berardi, M. Berretti, G. Beuf, M. Biasini, I. Bierenbaum , et al. (244 additional authors not shown)

Abstract: 2nd workshop on the implications of HERA for LHC physics. Working groups: Parton Density Functions Multi-jet final states and energy flows Heavy quarks (charm and beauty) Diffraction Cosmic Rays Monte Carlos and Tools 2nd workshop on the implications of HERA for LHC physics. Working groups: Parton Density Functions Multi-jet final states and energy flows Heavy quarks (charm and beauty) Diffraction Cosmic Rays Monte Carlos and Tools △ Less

Submitted 30 March, 2009; v1 submitted 23 March, 2009; originally announced March 2009.

Comments: 2nd workshop on the implications of HERA for LHC physics 2006 - 2008, Hamburg - Geneva. H. Jung and A. De Roeck Editors

Report number: DESY-PROC-2009-02

Parton Distributions

Authors: M. Dittmar, S. Forte, A. Glazov, S. Moch, G. Altarelli, J. Anderson, R. D. Ball, G. Beuf, M. Boonekamp, H. Burkhardt, F. Caola, M. Ciafaloni, D. Colferai, A. Cooper-Sarkar, A. de Roeck, L. Del Debbio, J. Feltesse, F. Gelis, J. Grebenyuk, A. Guffanti, V. Halyo, J. I. Latorre, V. Lendermann, Gang Li, L. Motyka , et al. (15 additional authors not shown)

Abstract: We provide an assessment of the state of the art in various issues related to experimental measurements, phenomenological methods and theoretical results relevant for the determination of parton distribution functions (PDFs) and their uncertainties, with the specific aim of providing benchmarks of different existing approaches and results in view of their application to physics at the LHC. We di… ▽ More We provide an assessment of the state of the art in various issues related to experimental measurements, phenomenological methods and theoretical results relevant for the determination of parton distribution functions (PDFs) and their uncertainties, with the specific aim of providing benchmarks of different existing approaches and results in view of their application to physics at the LHC. We discuss higher order corrections, we review and compare different approaches to small x resummation, and we assess the possible relevance of parton saturation in the determination of PDFS at HERA and its possible study in LHC processes. We provide various benchmarks of PDF fits, with the specific aim of studying issues of error propagation, non-gaussian uncertainties, choice of functional forms of PDFs, and combination of data from different experiments and different processes. We study the impact of combined HERA (ZEUS-H1) structure function data, their impact on PDF uncertainties, and their implications for the computation of standard candle processes, and we review the recent F_L determination at HERA. Finally, we compare and assess methods for luminosity measurements at the LHC and the impact of PDFs on them. △ Less

Submitted 23 January, 2009; v1 submitted 16 January, 2009; originally announced January 2009.

Comments: 99 pages, 61 figures; summary report of Working Group I for the HERA-LHC workshop. Requires cernrep.cls and mcite.sty. Various typos corrected

Report number: IFUM-936-FT

Third-order QCD corrections to the charged-current structure function F_3

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

Abstract: We compute the coefficient function for the charge-averaged W^(+/-)-exchange structure function F_3 in deep-inelastic scattering (DIS) to the third order in massless perturbative QCD. Our new three-loop contribution to this quantity forms, at not too small values of the Bjorken variable x, the dominant part of the next-to-next-to-next-to-leading order corrections. It thus facilitates improved de… ▽ More We compute the coefficient function for the charge-averaged W^(+/-)-exchange structure function F_3 in deep-inelastic scattering (DIS) to the third order in massless perturbative QCD. Our new three-loop contribution to this quantity forms, at not too small values of the Bjorken variable x, the dominant part of the next-to-next-to-next-to-leading order corrections. It thus facilitates improved determinations of the strong coupling alpha_s and of 1/Q^2 power corrections from scaling violations measured in neutrino-nucleon DIS. The expansion of F_3 in powers of alpha_s is stable at all values of x relevant to measurements at high scales Q^2. At small x the third-order coefficient function is dominated by diagrams with the colour structure d_abc d^abc not present at lower orders. At large x the coefficient function for F_3 is identical to that of F_1 up to terms vanishing for x to 1. △ Less

Submitted 22 December, 2008; originally announced December 2008.

Comments: 37 pages, LaTeX, 6 figures (.eps). FORM and Fortran files of main results appended to source

Report number: DESY 08-197, SFB/CPP-08-105, NIKHEF 08-032, LTH 815

Journal ref: Nucl.Phys.B813:220-258,2009

The reaction e+e- --> hh recomputed

Authors: J. J. Lopez-Villarejo, J. A. M. Vermaseren

Abstract: We notice that the existing literature about the reaction e+e- --> hh suffers from a mistake in the relative sign between the t-channel and u-channel graphs. Correcting this lowers the crosssections by about an order of magnitude. We notice that the existing literature about the reaction e+e- --> hh suffers from a mistake in the relative sign between the t-channel and u-channel graphs. Correcting this lowers the crosssections by about an order of magnitude. △ Less

Submitted 19 December, 2008; originally announced December 2008.

Comments: 7 pages, 5 figures

Journal ref: Phys.Lett.B675:356-359,2009

Towards the NNLO evolution of polarised parton distributions

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

Abstract: We report on the first calculation of the structure function g_1 in polarised deep-inelastic scattering to the third order in massless perturbative QCD. The calculation follows the dispersive approach already used for the corresponding unpolarised cases of F_2,L, but additionally involves higher tensor integrals and the Dirac matrix gamma_5 in D unequal 4 dimensions. Our results confirm all know… ▽ More We report on the first calculation of the structure function g_1 in polarised deep-inelastic scattering to the third order in massless perturbative QCD. The calculation follows the dispersive approach already used for the corresponding unpolarised cases of F_2,L, but additionally involves higher tensor integrals and the Dirac matrix gamma_5 in D unequal 4 dimensions. Our results confirm all known two-loop expressions including the coefficient functions of Zijlstra and van Neerven not independently verified before. At three loops we extract the helicity-difference next-to-next-to-leading order (NNLO) quark-quark and gluon-quark splitting functions Delta P_qq and Delta P_qg. The results exhibit interesting features concerning sum rules and the momentum-fraction limits x to 1 and x to 0. △ Less

Submitted 8 July, 2008; originally announced July 2008.

Comments: 7 pages, LaTeX, 4 ps/eps-figures. Contribution to the proceedings of the workshops `Loops and Legs in Quantum Field Theory', April 2008, Sondershausen (Germany) and (shortened) DIS 2008, London, April 2008

Report number: LTH 795, DESY 08-092

Journal ref: Nucl.Phys.Proc.Suppl.183:155-161,2008

The FORM project

Authors: J. A. M. Vermaseren

Abstract: The necessity of the FORM project is discussed. Then the evolutionary needs in particle physics are considered, looking at the trends over the years. A guess is made at what will be needed in the (near) future. The whole is concluded with some critical remarks concerning the publication of results and programs. The necessity of the FORM project is discussed. Then the evolutionary needs in particle physics are considered, looking at the trends over the years. A guess is made at what will be needed in the (near) future. The whole is concluded with some critical remarks concerning the publication of results and programs. △ Less

Submitted 25 June, 2008; originally announced June 2008.

Comments: 6 pages, uses axodraw

Journal ref: Nucl.Phys.Proc.Suppl.183:19-24,2008

The Multithreaded version of FORM

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

Abstract: We present TFORM, the version of the symbolic manipulation system FORM that can make simultaneous use of several processors in a shared memory architecture. The implementation uses Posix threads, also called pthreads, and is therefore easily portable between various operating systems. Most existing FORM programs will be able to take advantage of the increased processing power, without the need f… ▽ More We present TFORM, the version of the symbolic manipulation system FORM that can make simultaneous use of several processors in a shared memory architecture. The implementation uses Posix threads, also called pthreads, and is therefore easily portable between various operating systems. Most existing FORM programs will be able to take advantage of the increased processing power, without the need for modifications. In some cases some minor additions may be needed. For a computer with two processors a typical improvement factor in the running time is 1.7 when compared to the traditional version of FORM. In the case of computers with 4 processors a typical improvement factor in the execution time is slightly above 3. △ Less

Submitted 27 February, 2007; originally announced February 2007.

Comments: 18 pages

Report number: NIKHEF 07-005, SFB/CPP-07-08, TTP07-06

Journal ref: Comput.Phys.Commun.181:1419-1427,2010