$Apart: A generalized Mathematica Apart function

Abstract

We have generalized the Mathematica function Apart from 1 to N dimensions: the generalized function $Apart can decompose any linear dependent elements in Vx∗ to irreducible ones. The elements in Vx∗ can be viewed as the corresponding propagators which involve loop momenta, and the decomposition will be useful when one tries to perform loop calculations using packages such as Fire and Reduze, which have implemented the integration by parts (IBP) identities and Lorentz invariance (LI) identities. A description on how to use this package, combined with Fire, FeynArts, and FeynCalc packages, to do one-loop calculations in double quarkonium production in e+e− colliders is given, and the full source code for a specific process (e+e−→J/ψ+ηc) is also available.Program summaryProgram title: $ApartCatalogue identifier: AEMK_v1_0Program summary URL: http://cpc.cs.qub.ac.uk/summaries/AEMK_v1_0.htmlProgram obtainable from: CPC Program Library, Queen’s University, Belfast, N. IrelandLicensing provisions: Standard CPC licence,http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.: 451006No. of bytes in distributed program, including test data, etc.: 4598053Distribution format: tar.gzProgramming language: Mathematica.Computer: Any computer where Mathematica is running.Operating system: Any capable of running Mathematica.Classification: 11.1.External routines: FeynCalc, FeynArts, Fire (all included in the distribution file).Nature of problem:The traditional method of computing cross sections for a physical process in perturbative quantum field theory involves generating the amplitudes via Feynman diagrams and performing the dimensionally regularized loop integrals [1]. Simplifications of the expressions are performed at the analytical level; there, an essential part is the reduction of these loop integrals to a small number of standard integrals. This step can be performed at the amplitude level for tensor integrals or, after contraction of Lorentz indices, at the level of interferences for scalar integrals. Considering the case of scalar integrals, integration by parts (IBP) identities [2,3] and Lorentz invariance (LI) identities [4] may be used for a systematic reduction to a set of independent integrals, called master integrals (MI). The standard reduction algorithm by Laporta [5] defines an ordering for Feynman integrals, generates identities, and solves the resulting system of linear equations. Alternative methods to exploit IBP and LI identities for reductions have been proposed [6–9]; see also [10,11] and references therein. Public implementations of different reduction algorithms are available with the computer programs AIR [12], FIRE [13], and Reduze [14]. The usage of Fire [13], Reduze [14], etc. requires that the propagators must be decomposed to independent ones: for one dimension, there is a Mathematica function Apart to do this, while for N dimensions there is no such package yet, so we want to generalize the Mathematica function Apart to $Apart in N dimensions.Solution method:We first prove that any linear dependent elements in Vx∗ can be decomposed into the summation of linear independent ones: the procedure used in the proof gives us a method to perform the decomposition. $Apart is such an Mathematica package that implements this method and generalizes the Mathematica Apart function from 1 to N dimensions.Running time: Depends on the complexity of the system.