QCDMAPT: Program package for Analytic approach to QCD

A program package, which facilitates computations in the framework of Analytic approach to QCD, is developed and described in detail. The package includes both the calculated explicit expressions for relevant spectral functions up to the four-loop level and the subroutines for necessary integrals.

Program summary

Program title: QCDMAPTCatalogue identifier: AEGP_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEGP_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.: 2579No. of bytes in distributed program, including test data, etc.: 180 052Distribution format: tar.gzProgramming language: Maple 9 and higherComputer: Any which supports Maple 9Operating system: Any which supports Maple 9Classification: 11.1, 11.5, 11.6Nature of problem: Subroutines helping computations within Analytic approach to QCD.Solution method: A program package for Maple is provided. It includes both the explicit expressions for relevant spectral functions and the subroutines for basic integrals used in the framework of Analytic approach to QCD.Running time: Template program running time is about a minute (depends on CPU).     

S@M, a mathematica implementation of the spinor-helicity formalism

In this paper we present the package S@M (Spinors@Mathematica) which implements the spinor-helicity formalism in Mathematica. The package allows the use of complex-spinor algebra along with the multi-purpose features of Mathematica. The package defines the spinor objects with their basic properties along with functions to manipulate them. It also offers the possibility of evaluating the spinorial objects numerically at every computational step. The package is therefore well suited to be used in the context of on-shell technology, in particular for the evaluation of scattering amplitudes at tree- and loop-level.

Program summary

Program title: S@MCatalogue identifier: AEBF_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEBF_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.: 14 404No. of bytes in distributed program, including test data, etc.: 77 536Distribution format: tar.gzProgramming language: MathematicaComputer: All computers running MathematicaOperating system: Any system running MathematicaClassification: 4.4, 5, 11.1Nature of problem: Implementation of the spinor-helicity formalismSolution method: Mathematica implementationRunning time: The notebooks provided with the package take only a few seconds to run.     

Generating and using truly random quantum states in Mathematica

The problem of generating random quantum states is of a great interest from the quantum information theory point of view. In this paper we present a package for Mathematica computing system harnessing a specific piece of hardware, namely Quantis quantum random number generator (QRNG), for investigating statistical properties of quantum states. The described package implements a number of functions for generating random states, which use Quantis QRNG as a source of randomness. It also provides procedures which can be used in simulations not related directly to quantum information processing.Program summaryProgram title: TRQSCatalogue identifier: AEKA_v1_0Program summary URL: http://cpc.cs.qub.ac.uk/summaries/AEKA_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.: 7924No. of bytes in distributed program, including test data, etc.: 88 651Distribution format: tar.gzProgramming language: Mathematica, CComputer: Requires a Quantis quantum random number generator (QRNG, http://www.idquantique.com/true-random-number-generator/products-overview.html) and supporting a recent version of MathematicaOperating system: Any platform supporting Mathematica; tested with GNU/Linux (32 and 64 bit)RAM: Case dependentClassification: 4.15Nature of problem: Generation of random density matrices.Solution method: Use of a physical quantum random number generator.Running time: Generating 100 random numbers takes about 1 second, generating 1000 random density matrices takes more than a minute.     

golem95: A numerical program to calculate one-loop tensor integrals with up to six external legs

We present a program for the numerical evaluation of form factors entering the calculation of one-loop amplitudes with up to six external legs. The program is written in Fortran95 and performs the reduction to a certain set of basis integrals numerically, using a formalism where inverse Gram determinants can be avoided. It can be used to calculate one-loop amplitudes with massless internal particles in a fast and numerically stable way.

Program summary

Program title: golem95_v1.0Catalogue identifier: AEEO_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEEO_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.: 50 105No. of bytes in distributed program, including test data, etc.: 241 657Distribution format: tar.gzProgramming language: Fortran95Computer: Any computer with a Fortran95 compilerOperating system: Linux, UnixRAM: RAM used per form factor is insignificant, even for a rank six six-point form factorClassification: 4.4, 11.1External routines: Perl programming language (http://www.perl.com/)Nature of problem: Evaluation of one-loop multi-leg tensor integrals occurring in the calculation of next-to-leading order corrections to scattering amplitudes in elementary particle physics.Solution method: Tensor integrals are represented in terms of form factors and a set of basic building blocks (“basis integrals”). The reduction to the basis integrals is performed numerically, thus avoiding the generation of large algebraic expressions.Restrictions: The current version contains basis integrals for massless internal particles only. Basis integrals for massive internal particles will be included in a future version.Running time: Depends on the nature of the problem. A rank 6 six-point form factor at a randomly chosen kinematic point takes 0.13 seconds on an Intel Core 2 Q9450 2.66 GHz processor, without any optimisation. With compiler optimisation flag -O3 the same point takes 0.09 seconds. Timings for lower point form factors are: All form factors for five-point functions from rank 0 to rank 4: 0.04 s. All form factors for rank 5 five-point functions: 0.05 s. All form factors for four-point functions from rank 0 to rank 4: 0.01 s.     

Algorithmic derivation of Dyson-Schwinger equations

We present an algorithm for the derivation of Dyson-Schwinger equations of general theories that is suitable for an implementation within a symbolic programming language. Moreover, we introduce the Mathematica package DoDSE¹ which provides such an implementation. It derives the Dyson-Schwinger equations graphically once the interactions of the theory are specified. A few examples for the application of both the algorithm and the DoDSE package are provided.

Program summary

Program title: DoDSECatalogue identifier: AECT_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AECT_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.: 105 874No. of bytes in distributed program, including test data, etc.: 262 446Distribution format: tar.gzProgramming language: Mathematica 6 and higherComputer: all on which Mathematica is availableOperating system: all on which Mathematica is availableClassification: 11.1, 11.4, 11.5, 11.6Nature of problem: Derivation of Dyson-Schwinger equations for a theory with given interactions.Solution method: Implementation of an algorithm for the derivation of Dyson-Schwinger equations.Unusual features: The results can be plotted as Feynman diagrams in Mathematica.Running time: Less than a second to minutes for Dyson-Schwinger equations of higher vertex functions.     

Strongdeco: Expansion of analytical,strongly correlated quantum states into a many-body basis

We provide a Mathematica code for decomposing strongly correlated quantum states described by a first-quantized, analytical wave function into many-body Fock states. Within them, the single-particle occupations refer to the subset of Fock–Darwin functions with no nodes. Such states, commonly appearing in two-dimensional systems subjected to gauge fields, were first discussed in the context of quantum Hall physics and are nowadays very relevant in the field of ultracold quantum gases. As important examples, we explicitly apply our decomposition scheme to the prominent Laughlin and Pfaffian states. This allows for easily calculating the overlap between arbitrary states with these highly correlated test states, and thus provides a useful tool to classify correlated quantum systems. Furthermore, we can directly read off the angular momentum distribution of a state from its decomposition. Finally we make use of our code to calculate the normalization factors for Laughlin?s famous quasi-particle/quasi-hole excitations, from which we gain insight into the intriguing fractional behavior of these excitations.Program summaryProgram title: StrongdecoCatalogue identifier: AELA_v1_0Program summary URL: http://cpc.cs.qub.ac.uk/summaries/AELA_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.: 5475No. of bytes in distributed program, including test data, etc.: 31 071Distribution format: tar.gzProgramming language: MathematicaComputer: Any computer on which Mathematica can be installedOperating system: Linux, Windows, MacClassification: 2.9Nature of problem: Analysis of strongly correlated quantum states.Solution method: The program makes use of the tools developed in Mathematica to deal with multivariate polynomials to decompose analytical strongly correlated states of bosons and fermions into a standard many-body basis. Operations with polynomials, determinants and permanents are the basic tools.Running time: The distributed notebook takes a couple of minutes to run.     

LIBERI: Library for numerical evaluation of electron-repulsion integrals

We provide a C library, called LIBERI, for numerical evaluation of four-center electron repulsion integrals, based on successive reduction of integral dimension by using Fourier transforms. LIBERI enables us to compute the integrals for numerically defined basis functions within ¹⁰−5 Hartree accuracy as well as their derivatives with respect to the atomic nuclear positions. Damping of the Coulomb interaction can also be imposed to take account of screening effect.

Program summary

Program title: LIBERICatalogue identifier: AEGG_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEGG_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.: 44 091No. of bytes in distributed program, including test data, etc.: 1 692 085Distribution format: tar.gzProgramming language: CComputer: allOperating system: any Unix-like systemRAM: 5-10 MbClassification: 7.4External routines: Lapack (http://www.netlib.org/lapack/), Blas (http://www.netlib.org/blas/), FFTW3 (http://www.fftw.org/)Nature of problem: Numerical evaluation of four-center electron-repulsion integrals.Solution method: Four-center electron-repulsion integrals are computed for given basis function set, based on successive reduction of integral dimension using Fourier transform.Running time: 0.5 sec for the demo program supplied with the package.     

Real-time Java simulations of multiple interference dielectric filters

An interactive Java applet for real-time simulation and visualization of the transmittance properties of multiple interference dielectric filters is presented. The most commonly used interference filters as well as the state-of-the-art ones are embedded in this platform-independent applet which can serve research and education purposes. The Transmittance applet can be freely downloaded from the site http://cpc.cs.qub.ac.uk.

Program summary

Program title: TransmittanceCatalogue identifier: AEBQ_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEBQ_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.: 5778No. of bytes in distributed program, including test data, etc.: 90 474Distribution format: tar.gzProgramming language: JavaComputer: Developed on PC-Pentium platformOperating system: Any Java-enabled OS. Applet was tested on Windows ME, XP, Sun Solaris, Mac OSRAM: VariableClassification: 18Nature of problem: Sophisticated wavelength selective multiple interference filters can include some tens or even hundreds of dielectric layers. The spectral response of such a stack is not obvious. On the other hand, there is a strong demand from application designers and students to get a quick insight into the properties of a given filter.Solution method: A Java applet was developed for the computation and the visualization of the transmittance of multilayer interference filters. It is simple to use and the embedded filter library can serve educational purposes. Also, its ability to handle complex structures will be appreciated as a useful research and development tool.Running time: Real-time simulations     

Resolution of singularities for multi-loop integrals

We report on a program for the numerical evaluation of divergent multi-loop integrals. The program is based on iterated sector decomposition. We improve the original algorithm of Binoth and Heinrich such that the program is guaranteed to terminate. The program can be used to compute numerically the Laurent expansion of divergent multi-loop integrals regulated by dimensional regularisation. The symbolic and the numerical steps of the algorithm are combined into one program.

Program summary

Program title: sector_decompositionCatalogue identifier: AEAG_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEAG_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.: 47 506No. of bytes in distributed program, including test data, etc.: 328 485Distribution format: tar.gzProgramming language: C++Computer: allOperating system: UnixRAM: Depending on the complexity of the problemClassification: 4.4External routines: GiNaC, available from http://www.ginac.de, GNU scientific library, available from http://www.gnu.org/software/gslNature of problem: Computation of divergent multi-loop integrals.Solution method: Sector decomposition.Restrictions: Only limited by the available memory and CPU time.Running time: Depending on the complexity of the problem.     

The Invar tensor package

The Invar package is introduced, a fast manipulator of generic scalar polynomial expressions formed from the Riemann tensor of a four-dimensional metric-compatible connection. The package can maximally simplify any polynomial containing tensor products of up to seven Riemann tensors within seconds. It has been implemented both in Mathematica and Maple algebraic systems.

Program summary

Program title:Invar Tensor PackageCatalogue identifier:ADZK_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADZK_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.: 136 240No. of bytes in distributed program, including test data, etc.:2 711 923Distribution format:tar.gzProgramming language:Mathematica and MapleComputer:Any computer running Mathematica versions 5.0 to 5.2 or Maple versions 9 and 10Operating system:Linux, Unix, Windows XPRAM:30 MbWord size:64 or 32 bitsClassification:5External routines:The Mathematica version requires the xTensor and xPerm packages. These are freely available at http://metric.iem.csic.es/Martin-Garcia/xActNature of problem:Manipulation and simplification of tensor expressions. Special attention on simplifying scalar polynomial expressions formed from the Riemann tensor on a four-dimensional metric-compatible manifold.Solution method:Algorithms of computational group theory to simplify expressions with tensors that obey permutation symmetries. Tables of syzygies of the scalar invariants of the Riemann tensor.Restrictions:The present versions do not fully address the problem of reducing differential invariants or monomials of the Riemann tensor with free indices.Running time:Less than a second to fully reduce a monomial of the Riemann tensor of degree 7 in terms of independent invariants.     

An efficient quantum circuit analyser on qubits and qudits

This paper presents a highly efficient decomposition scheme and its associated Mathematica notebook for the analysis of complicated quantum circuits comprised of single/multiple qubit and qudit quantum gates. In particular, this scheme reduces the evaluation of multiple unitary gate operations with many conditionals to just two matrix additions, regardless of the number of conditionals or gate dimensions. This improves significantly the capability of a quantum circuit analyser implemented in a classical computer. This is also the first efficient quantum circuit analyser to include qudit quantum logic gates.

Program summary

Program title:CUGates.mCatalogue identifier: AEJM_v1_0Program summary: URL: http://cpc.cs.qub.ac.uk/summaries/AEJM_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.: 8168No. of bytes in distributed program, including test data, etc.: 173 899Distribution format: tar.gzProgramming language: MathematicaComputer: Any computer installed with Mathematica 6.0 or higher.Operating system: Any system with a copy of Mathematica 6.0 or higher installed.Classification: 4.15Nature of problem: The CUGates notebook simulates arbitrarily complex quantum circuits comprised of single/multiple qubit and qudit quantum gates.Solution method: It utilizes an irreducible form of matrix decomposition for a general controlled gate with multiple conditionals and is highly efficient in simulating complex quantum circuits.Running time: Details of CPU time usage for various example runs are given in Section 4.     

BOKASUN: A fast and precise numerical program to calculate the Master Integrals of the two-loop sunrise diagrams

We present the program BOKASUN for fast and precise evaluation of the Master Integrals of the two-loop self-mass sunrise diagram for arbitrary values of the internal masses and the external four-momentum. We use a combination of two methods: a Bernoulli accelerated series expansion and a Runge-Kutta numerical solution of a system of linear differential equations.

Program summary

Program title: BOKASUNCatalogue identifier: AECG_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AECG_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.: 9404No. of bytes in distributed program, including test data, etc.: 104 123Distribution format: tar.gzProgramming language: FORTRAN77Computer: Any computer with a Fortran compiler accepting FORTRAN77 standard. Tested on various PC's with LINUXOperating system: LINUXRAM: 120 kbytesClassification: 4.4Nature of problem: Any integral arising in the evaluation of the two-loop sunrise Feynman diagram can be expressed in terms of a given set of Master Integrals, which should be calculated numerically. The program provides a fast and precise evaluation method of the Master Integrals for arbitrary (but not vanishing) masses and arbitrary value of the external momentum.Solution method: The integrals depend on three internal masses and the external momentum squared p². The method is a combination of an accelerated expansion in 1/p² in its (pretty large!) region of fast convergence and of a Runge-Kutta numerical solution of a system of linear differential equations.Running time: To obtain 4 Master Integrals on PC with 2 GHz processor it takes 3 μs for series expansion with pre-calculated coefficients, 80 μs for series expansion without pre-calculated coefficients, from a few seconds up to a few minutes for Runge-Kutta method (depending on the required accuracy and the values of the physical parameters).     

A completely open source based computing system for computer generation of Fourier holograms

Computer generated holograms are usually generated using commercial software like MATLAB, MATHCAD, Mathematica, etc. This work is an approach in doing the same using freely distributed open source packages and Operating System. A Fourier hologram is generated using this method and tested for simulated and optical reconstruction. The reconstructed images are in good agreement with the objects chosen. The significance of using such a system is also discussed.

Program summary

Program title: FHOLOCatalogue identifier: AEDS_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEDS_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.: 176 336No. of bytes in distributed program, including test data, etc.: 4 294 872Distribution format: tar.gzProgramming language: C++Computer: any X86 micro computerOperating system: Linux (Debian Etch)RAM: 512 MBClassification: 18Nature of problem: To generate a Fourier Hologram in micro computer only by using open source operating system and packages.Running time: Depends on the matrix size. 10 sec for a matrix of size 256×256.     

Symbolic computation of the Hartree-Fock energy from a chiral EFT three-nucleon interaction at NLO

We present the first of a two-part Mathematica notebook collection that implements a symbolic approach for the application of the density matrix expansion (DME) to the Hartree-Fock (HF) energy from a chiral effective field theory (EFT) three-nucleon interaction at N²LO. The final output from the notebooks is a Skyrme-like energy density functional that provides a quasi-local approximation to the non-local HF energy. In this paper, we discuss the derivation of the HF energy and its simplification in terms of the scalar/vector-isoscalar/isovector parts of the one-body density matrix. Furthermore, a set of steps is described and illustrated on how to extend the approach to other three-nucleon interactions.

Program summary

Program title: SymbHFNNNCatalogue identifier: AEGC_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEGC_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.: 96 666No. of bytes in distributed program, including test data, etc.: 378 083Distribution format: tar.gzProgramming language: Mathematica 7.1Computer: Any computer running Mathematica 6.0 and later versionsOperating system: Windows Xp, Linux/UnixRAM: 256 MbClassification: 5, 17.16, 17.22Nature of problem: The calculation of the HF energy from the chiral EFT three-nucleon interaction at N²LO involves tremendous spin-isospin algebra. The problem is compounded by the need to eventually obtain a quasi-local approximation to the HF energy, which requires the HF energy to be expressed in terms of scalar/vector-isoscalar/isovector parts of the one-body density matrix. The Mathematica notebooks discussed in this paper solve the latter issue.Solution method: The HF energy from the chiral EFT three-nucleon interaction at N²LO is cast into a form suitable for an automatic simplification of the spin-isospin traces. Several Mathematica functions and symbolic manipulation techniques are used to obtain the result in terms of the scalar/vector-isoscalar/isovector parts of the one-body density matrix.Running time: Several hours     

Extension of HPL to complex arguments

In this paper we describe the extension of the Mathematica package HPL to treat harmonic polylogarithms of complex arguments. The harmonic polylogarithms have been introduced by Remiddi and Vermaseren [E. Remiddi, J.A.M. Vermaseren, Int. J. Modern Phys. A 15 (2000) 725, hep-ph/9905237] and have many applications in high energy particle physics.New version program summaryProgram title: HPLCatalogue identifier: ADWX_v2_0Program summary URL: http://cpc.cs.qub.ac.uk/summaries/ADWX_v2_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.: 13 610No. of bytes in distributed program, including test data, etc.: 1 055 706Distribution format: tar.gzProgramming language: Mathematica 7/8.Computer: All computers running Mathematica.Operating system: Operating systems running Mathematica.Supplementary material: Additional “high weight” MinimalSet files available.Classification: 4.7.Catalogue identifier of previous version: ADWX_v1_0Journal reference of previous version: Comput. Phys. Comm. 174 (2006) 222Does the new version supersede the previous version?: YesNature of problem: Computer algebraic treatment of the harmonic polylogarithms which appear in the evaluation of Feynman diagrams.Solution method: Mathematica implementation.Reasons for new version: Added treatment of complex arguments. Details in arXiv:hep-ph/0703052.Summary of revisions: Added treatment of complex arguments. Details in arXiv:hep-ph/0703052.Running time: A few seconds for each function.     

HypExp 2, expanding hypergeometric functions about half-integer parameters

HypExp is a Mathematica package for expanding hypergeometric functions about integer and half-integer parameters.New version program summaryProgram title: HypExp 2Catalogue identifier: ADXF_v2_1Program summary URL: http://cpc.cs.qub.ac.uk/summaries/ADXF_v2_1.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.: 107 274No. of bytes in distributed program, including test data, etc.: 2 690 337Distribution format: tar.gzProgramming language: Mathematica 7 and 8Computer: Computers running MathematicaOperating system: Linux, Windows, MacRAM: Depending on the complexity of the problemSupplementary material: Library files which contain the expansion of certain hypergeometric functions around their parameters are availableClassification: 4.7, 5Catalogue identifier of previous version: ADXF_v2_0Journal reference of previous version: Comput. Phys. Comm. 178 (2008) 755Does the new version supersede the previous version?: YesNature of problem: Expansion of hypergeometric functions about parameters that are integer and/or half-integer valued.Solution method: New algorithm implemented in Mathematica.Reasons for new version: Compatibility with new versions of Mathematica.Summary of revisions: Support for versions 7 and 8 of Mathematica added. No changes in the features of the package.Restrictions: The classes of hypergeometric functions with half-integer parameters that can be expanded are listed in the long write-up.Additional comments: The package uses the package HPL included in the distribution.Running time: Depending on the expansion.     

spinney: A Form library for helicity spinors

In this work, the library spinney is presented, which provides an implementation of helicity spinors and related algorithms for the symbolical manipulation program Form. The package is well suited for symbolic amplitude calculations both in traditional, Feynman diagram based approaches and unitarity-based techniques.

Program summary

Program title: spinneyCatalogue identifier: AEJQ_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEJQ_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.: 21 128No. of bytes in distributed program, including test data, etc.: 377 589Distribution format: tar.gzProgramming language: FormComputer: Any supporting the Form languageOperating system: Any supporting the Form languageClassification: 4.4, 5, 11.1Nature of problem: Implementation of the spinor-helicity formalismSolution method: Form implementationRunning time: From actual calculations of all six-point one-loop diagrams of the process bounds of 50 ms<t?71 s for the simplest and the most complicated diagram respectively have been derived on an Intel Xeon 3.20 GHz using Form 3.3.     

SecDec: A general program for sector decomposition

We present a program for the numerical evaluation of multi-dimensional polynomial parameter integrals. Singularities regulated by dimensional regularisation are extracted using iterated sector decomposition. The program evaluates the coefficients of a Laurent series in the regularisation parameter. It can be applied to multi-loop integrals in Euclidean space as well as other parametric integrals, e.g. phase space integrals.

Program summary

Program title: SecDecCatalogue identifier: AEIR_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEIR_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.: 57 617No. of bytes in distributed program, including test data, etc.: 895 550Distribution format: tar.gzProgramming language: Wolfram Mathematica, perl, FortranComputer: From a single PC to a cluster, depending on the problemOperating system: Unix, LinuxRAM: Depends on the complexity of the problemClassification: 4.4, 5, 11.1Nature of problem: Extraction of ultraviolet and infrared singularities from parametric integrals appearing in higher order perturbative calculations in gauge theories, e.g. multi-loop Feynman integrals, Wilson loops, phase space integrals.Solution method: Algebraic extraction of singularities in dimensional regularisation using iterated sector decomposition. This leads to a Laurent series in the dimensional regularisation parameter ε, where the coefficients are finite integrals over the unit-hypercube. Those integrals are evaluated numerically by Monte Carlo integration.Restrictions: Depending on the complexity of the problem, limited by memory and CPU time. Multi-scale integrals can only be evaluated at Euclidean points.Running time: Between a few minutes and several days, depending on the complexity of the problem.