Summation theory. II: Characterizations of R ^-extensions and algorithmic aspects

DOI10.1016/J.JSC.2016.07.028zbMATH Open1403.12002arXiv1603.04285OpenAlexW2502395597MaRDI QIDQ1711991FDOQ1711991

Authors: Carsten Schneider 

Publication date: 21 January 2019

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Abstract: Recently, $RPiSigm{a}^{\ast }$-extensions have been introduced which extend Karr's $PiSigm{a}^{\ast }$-fields substantially: one can represent expressions not only in terms of transcendental sums and products, but one can work also with products over primitive roots of unity. Since one can solve the parameterized telescoping problem in such rings, covering as special cases the summation paradigms of telescoping and creative telescoping, one obtains a rather flexible toolbox for symbolic summation. This article is the continuation of this work. Inspired by Singer's Galois theory of difference equations we will work out several alternative characterizations of $RPiSigm{a}^{\ast }$-extensions: adjoining naively sums and products leads to an $RPiSigm{a}^{\ast }$-extension iff the obtained difference ring is simple iff the ring can be embedded into the ring of sequences iff the ring can be given by the interlacing of $PiSigm{a}^{\ast }$-extensions. From the viewpoint of applications this leads to a fully automatic machinery to represent indefinite nested sums and products in such $RPiSigm{a}^{\ast }$-rings. In addition, we work out how the parameterized telescoping paradigm can be used to prove algebraic independence of indefinite nested sums. Furthermore, one obtains an alternative reduction tactic to solve the parameterized telescoping problem in basic $RPiSigm{a}^{\ast }$-extensions exploiting the interlacing property.

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

Recommendations

• A difference ring theory for symbolic summation
• Representation of hypergeometric products in difference rings
• Symbolic summation with single-nested sum extensions
• SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
• Representing \((q-)\)hypergeometric products and mixed versions in difference rings

zbMATH Keywords

constantsGalois theoryroots of unitydifference ring extensionsindefinite nested sums and productsdifference idealsembedding into the difference ring of sequencesinterlacing of difference ringssimple difference rings

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Difference algebra (12H10)

Cites Work

• Symbolic summation assists combinatorics
• A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
• Simplifying multiple sums in difference fields
• Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
• A holonomic systems approach to special functions identities
• Title not available (Why is that?)
• Galois theory of difference equations
• Harmonic sums and polylogarithms generated by cyclotomic polynomials
• Calculating three loop ladder and \(V\)-topologies for massive operator matrix elements by computer algebra
• Nested sums, expansion of transcendental functions, and multiscale multiloop integrals
• Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms
• HARMONIC SUMS, MELLIN TRANSFORMS AND INTEGRALS
• An extension of Zeilberger's fast algorithm to general holonomic functions
• Iterated binomial sums and their associated iterated integrals
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• Title not available (Why is that?)
• The method of creative telescoping
• On solutions of linear ordinary difference equations in their coefficient field
• SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
• Summation in Finite Terms
• Parameterized telescoping proves algebraic independence of sums
• Algebraic relations between harmonic sums and associated quantities.
• Gröbner bases for ideals in Laurent polynomial rings and their application to systems of difference equations
• Title not available (Why is that?)
• Creative telescoping for holonomic functions
• Title not available (Why is that?)
• Difference algebra
• Differential Galois theory of linear difference equations
• Greatest factorial factorization and symbolic summation
• Title not available (Why is that?)
• Multibasic and mixed hypergeometric Gosper-type algorithms
• Solving difference equations in finite terms
• Solving parameterized linear difference equations in terms of indefinite nested sums and products
• Indefinite summation with unspecified summands
• A symbolic summation approach to find optimal nested sum representations
• A refined difference field theory for symbolic summation
• Rational solutions of linear differential and difference equations with polynomial coefficients
• On a matrix representation for polynomially recursive sequences
• On the existence of telescopers for mixed hypergeometric terms
• Invertible and nilpotent elements in the group algebra of a unique product group.
• Theory of summation in finite terms
• On finite generation of unit groups of commutative group rings
• Product representations in \(\Pi\Sigma\)-fields
• An implementation of Karr's summation algorithm in Mathematica
• Structural theorems for symbolic summation
• Fast algorithms for refined parameterized telescoping in difference fields
• Symbolic summation with single-nested sum extensions
• A difference ring theory for symbolic summation
• Solving linear recurrence equations with polynomial coefficients
• Representation of hypergeometric products in difference rings
• Symbolic summation with radical expressions
• Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem
• Order-degree curves for hypergeometric creative telescoping
• Finding telescopers with minimal depth for indefinite nested sum and product expressions
• Computing the algebraic relations of \(C\)-finite sequences and multisequences
• Title not available (Why is that?)
• Algebraic and algorithmic aspects of linear difference equations

Cited In (29)

• The massless three-loop Wilson coefficients for the deep-inelastic structure functions \(F_2\), \(F_L\), \(xF_3\) and \(g_1\)
• Term algebras, canonical representations and difference ring theory for symbolic summation
• Comments on Risch's \textit{On the integration of elementary functions which are built up using algebraic operations}
• The heavy fermion contributions to the massive three loop form factors
• SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
• Automated solution of first order factorizable systems of differential equations in one variable
• The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
• Large Scale Analytic Calculations in Quantum Field Theories
• Evaluation of Binomial Double Sums Involving Absolute Values
• On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
• Algebraic independence of sequences generated by (cyclotomic) harmonic sums
• Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
• Symbolic summation with single-nested sum extensions
• Representation of hypergeometric products of higher nesting depths in difference rings
• Parameterized telescoping proves algebraic independence of sums
• Analytic computing methods for precision calculations in quantum field theory
• Representation of hypergeometric products in difference rings
• The three-loop splitting functions \(P_{q g}^{(2)}\) and \(P_{g g}^{(2, \operatorname{N}_{\operatorname{F}})}\)
• Interview with Peter Paule
• Hypergeometric structures in Feynman integrals
• The absent-minded passengers problem: a motivating challenge solved by computer algebra
• Solving linear difference equations with coefficients in rings with idempotent representations
• Contiguous relations and creative telescoping
• The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements
• Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm
• The first-order factorizable contributions to the three-loop massive operator matrix elements \(A_{Qg}^{(3)}\) and \(\Delta A_{Qg}^{(3)}\)
• Minimal representations and algebraic relations for single nested products
• A case study for \(\zeta (4)\)
• Representing \((q-)\)hypergeometric products and mixed versions in difference rings

Uses Software

• qZeil
• SIGMA
• MultiZeilberger
• EvaluateMultiSums
• Dependencies

This page was built for publication: Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects

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