Simplifying multiple sums in difference fields

DOI10.1007/978-3-7091-1616-6_14MaRDI QIDQ5244928zbMATH OpenOpenAlexFDO

Authors Carsten Schneider

Publication date 1 April 2015

Published in Texts & Monographs in Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1304.4134

zbMATH Keywords

difference field algorithmsFeynman diagramslarge-scale summation problemsquantum chromodynamicssurvey articlesymbolic summation

Mathematics Subject Classification ID

Difference algebra (12H10) Symbolic computation and algebraic computation (68W30) Feynman diagrams (81T18)

Abstract: In this survey article we present difference field algorithms for symbolic summation. Special emphasize is put on new aspects in how the summation problems are rephrased in terms of difference fields, how the problems are solved there, and how the derived results in the given difference field can be reinterpreted as solutions of the input problem. The algorithms are illustrated with the Mathematica package SigmaP by discovering and proving new harmonic number identities extending those from (Paule and Schneider, 2003). In addition, the newly developed package exttt{EvaluateMultiSums} is introduced that combines the presented tools. In this way, large scale summation problems for the evaluation of Feynman diagrams in QCD (Quantum ChromoDynamics) can be solved completely automatically.

Recommendations

• Solving parameterized linear difference equations in terms of indefinite nested sums and products
• A refined difference field theory for symbolic summation
• A difference ring theory for symbolic summation
• A new Sigma approach to multi-summation
• Symbolic summation in difference rings and applications

Cites work

• m-fold hypergeometric solutions of linear recurrence equations revisited
• \texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities
• A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
• A collection of denominator bounds to solve parameterized linear difference equations in \(\Pi\Sigma\)-extensions
• A fast approach to creative telescoping
• A holonomic systems approach to special functions identities
• A new Sigma approach to multi-summation
• A refined difference field theory for symbolic summation
• A symbolic summation approach to Feynman integral calculus
• A symbolic summation approach to find optimal nested sum representations
• Algebraic relations between harmonic sums and associated quantities.
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• An extension of Zeilberger's fast algorithm to general holonomic functions
• Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms
• Apéry's double sum is plain sailing indeed
• Computer proofs of a new family of harmonic number identities.
• Computing the algebraic relations of \(C\)-finite sequences and multisequences
• Decision procedure for indefinite hypergeometric summation
• Degree bounds to find polynomial solutions of parameterized linear difference equations in -fields
• Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra
• Difference algebra
• Differential Galois theory of linear difference equations
• Finding telescopers with minimal depth for indefinite nested sum and product expressions
• Finite singularities and hypergeometric solutions of linear recurrence equations
• Gaussian hypergeometric series and supercongruences
• Greatest factorial factorization and symbolic summation
• Harmonic sums and polylogarithms generated by cyclotomic polynomials
• HARMONIC SUMS, MELLIN TRANSFORMS AND INTEGRALS
• Harmonic sums, polylogarithms, special numbers, and their generalizations
• scientific article; zbMATH DE number 1263410 (Why is no real title available?)
• scientific article; zbMATH DE number 1023404 (Why is no real title available?)
• scientific article; zbMATH DE number 1086647 (Why is no real title available?)
• scientific article; zbMATH DE number 2159646 (Why is no real title available?)
• scientific article; zbMATH DE number 872231 (Why is no real title available?)
• scientific article; zbMATH DE number 3207354 (Why is no real title available?)
• scientific article; zbMATH DE number 3385223 (Why is no real title available?)
• Hypergeometric series and harmonic number identities
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• Hypergéométrie et fonction zêta de Riemann
• Massive 3-loop ladder diagrams for quarkonic local operator matrix elements
• Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
• Multibasic and mixed hypergeometric Gosper-type algorithms
• Nested sums, expansion of transcendental functions, and multiscale multiloop integrals
• On solutions of linear ordinary difference equations in their coefficient field
• On Zeilberger's algorithm and its \(q\)-analogue
• Order-degree curves for hypergeometric creative telescoping
• Padé approximations to the logarithm. III: Alternative methods and additional results
• Parameterized telescoping proves algebraic independence of sums
• Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem
• Product representations in -fields
• SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
• Solving difference equations in finite terms
• Solving linear recurrence equations with polynomial coefficients
• Solving parameterized linear difference equations in terms of indefinite nested sums and products
• Structural relations of harmonic sums and Mellin transforms at weight w=6
• Structural theorems for symbolic summation
• Summation in Finite Terms
• Summation in finite terms using sage
• Symbolic summation assists combinatorics
• Symbolic summation with single-nested sum extensions
• The \(O(\alpha_s^3)\) massive operator matrix elements of \(O(n_f)\) for the structure function \(F_{2}(x,Q^{2})\) and transversity
• The \(O(\alpha_s^3n_fT_F^2C_{A, F})\) contributions to the gluonic massive operator matrix elements
• The holonomic toolkit
• The massless higher-loop two-point function
• The method of creative telescoping
• The multiple zeta value data mine
• The Problem of Integration in Finite Terms
• The three-loop splitting functions in QCD: the non-singlet case
• Theory of summation in finite terms
• Two-loop massive operator matrix elements for unpolarized heavy flavor production to O()
• When Is 0.999 … Equal to 1?

Cited in

(47)

• Algebraic independence of sequences generated by (cyclotomic) harmonic sums
• Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
• Refined holonomic summation algorithms in particle physics
• On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
• The absent-minded passengers problem: a motivating challenge solved by computer algebra
• The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements
• A case study for \(\zeta (4)\)
• The two-loop massless off-shell QCD operator matrix elements to finite terms
• The polarized three-loop anomalous dimensions from on-shell massive operator matrix elements
• The heavy fermion contributions to the massive three loop form factors
• From momentum expansions to post-Minkowskian Hamiltonians by computer algebra algorithms
• The three-loop single mass polarized pure singlet operator matrix element
• Fourth post-Newtonian Hamiltonian dynamics of two-body systems from an effective field theory approach
• Subleading logarithmic QED initial state corrections to \(e^+ e^- \to \gamma^\ast / Z^{0^\ast}\) to \(O(\alpha^6 L^5)\)
• The O(^2) initial state QED corrections to e^+ e^- ^ / Z₀^
• The fifth-order post-newtonian Hamiltonian dynamics of two-body systems from an effective field theory approach: potential contributions
• The QED initial state corrections to the forward-backward asymmetry of \(e^+ e^- \to \gamma^\ast / Z^{0^\ast}\) to higher orders
• The three-loop unpolarized and polarized non-singlet anomalous dimensions from off shell operator matrix elements
• On the length of integers in telescopers for proper hypergeometric terms
• The unpolarized two-loop massive pure singlet Wilson coefficients for deep-inelastic scattering
• EvaluateMultiSums
• Some open problems related to creative telescoping
• The three-loop splitting functions \(P_{q g}^{(2)}\) and \(P_{g g}^{(2, \operatorname{N}_{\operatorname{F}})}\)
• Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm
• Symbolic summation assists combinatorics
• Higgs boson contribution to the leading two-loop Yukawa corrections to \(gg \rightarrow HH\)
• The massless three-loop Wilson coefficients for the deep-inelastic structure functions \(F_2\), \(F_L\), \(xF_3\) and \(g_1\)
• \(O(\alpha_s^2)\) polarized heavy flavor corrections to deep-inelastic scattering at \(Q^2 \gg m^2\)
• Iterated binomial sums and their associated iterated integrals
• Some double sums involving ratios of binomial coefficients arising from urn models
• Evaluation of Binomial Double Sums Involving Absolute Values
• Calculating three loop ladder and V-topologies for massive operator matrix elements by computer algebra
• A difference ring theory for symbolic summation
• Extensions of the AZ-Algorithm and the Package MultiIntegrate
• Term algebras, canonical representations and difference ring theory for symbolic summation
• Creative telescoping for holonomic functions
• No-neighbours recurrence schemes for space-time Green's functions on a 3D simple cubic lattice
• The first-order factorizable contributions to the three-loop massive operator matrix elements \(A_{Qg}^{(3)}\) and \(\Delta A_{Qg}^{(3)}\)
• Basis transformation properties of anomalous dimensions for hard exclusive processes
• The inverse Mellin transform via analytic continuation
• The non-first-order-factorizable contributions to the three-loop single-mass operator matrix elements \(A_{Qg}^{(3)}\) and \(\Delta A_{Qg}^{(3)}\)
• Constraints for twist-two alien operators in QCD
• Asymptotics for the reciprocal and shifted quotient of the partition function
• Symbolic summation in multivariate difference fields
• On a class of multiple Apéry-like series and their reduction
• Error bounds for the asymptotic expansion of the partition function
• Testing binary dynamics in gravity at the sixth post-Newtonian level

Describes a project that uses

Uses Software

• Mathematica
• Dependencies
• SIGMA

This page was built for publication: Simplifying multiple sums in difference fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5244928)