Simplifying Multiple Sums in Difference Fields

DOI10.1007/978-3-7091-1616-6_14zbMath1315.68294arXiv1304.4134OpenAlexW1951971239MaRDI QIDQ5244928

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

quantum chromodynamicsFeynman diagramssurvey articlesymbolic summationdifference field algorithmslarge-scale summation problems

Mathematics Subject Classification ID

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

Related Items

Testing binary dynamics in gravity at the sixth post-Newtonian level ⋮ Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm ⋮ The two-loop massless off-shell QCD operator matrix elements to finite terms ⋮ Calculating three loop ladder and \(V\)-topologies for massive operator matrix elements by computer algebra ⋮ Algebraic independence of sequences generated by (cyclotomic) harmonic sums ⋮ Some open problems related to creative telescoping ⋮ Iterated binomial sums and their associated iterated integrals ⋮ The three-loop splitting functions \(P_{q g}^{(2)}\) and \(P_{g g}^{(2, \operatorname{N}_{\operatorname{F}})}\) ⋮ 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 ⋮ Higgs boson contribution to the leading two-loop Yukawa corrections to \(gg \rightarrow HH\) ⋮ 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 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\) ⋮ The inverse Mellin transform via analytic continuation ⋮ No-neighbours recurrence schemes for space-time Green’s functions on a 3D simple cubic lattice ⋮ Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects ⋮ Some Double Sums Involving Ratios of Binomial Coefficients Arising From Urn Models ⋮ 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(\alpha^2)\) initial state QED corrections to \(e^+ e^- \to \gamma^\ast / Z_0^\ast \) ⋮ The fifth-order post-newtonian Hamiltonian dynamics of two-body systems from an effective field theory approach: potential contributions ⋮ A difference ring theory for symbolic summation ⋮ 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 ⋮ On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions ⋮ The unpolarized two-loop massive pure singlet Wilson coefficients for deep-inelastic scattering ⋮ Evaluation of Binomial Double Sums Involving Absolute Values ⋮ EvaluateMultiSums ⋮ The absent-minded passengers problem: a motivating challenge solved by computer algebra ⋮ Creative Telescoping for Holonomic Functions ⋮ The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements ⋮ A case study for \(\zeta (4)\) ⋮ Extensions of the AZ-Algorithm and the Package MultiIntegrate ⋮ Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation

Uses Software

• Mathematica
• SIGMA
• Dependencies

Cites Work

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