Summation theory. II: Characterizations of R ^-extensions and algorithmic aspects
From MaRDI portal
Publication:1711991
Abstract: Recently, -extensions have been introduced which extend Karr's -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 -extensions: adjoining naively sums and products leads to an -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 -extensions. From the viewpoint of applications this leads to a fully automatic machinery to represent indefinite nested sums and products in such -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 -extensions exploiting the interlacing property.
Recommendations
Cites work
- A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
- A difference ring theory for symbolic summation
- A holonomic systems approach to special functions identities
- A refined difference field theory for symbolic summation
- A symbolic summation approach to find optimal nested sum representations
- Algebraic and algorithmic aspects of linear difference equations
- 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
- An implementation of Karr's summation algorithm in Mathematica
- Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms
- Calculating three loop ladder and V-topologies for massive operator matrix elements by computer algebra
- Computing the algebraic relations of \(C\)-finite sequences and multisequences
- Creative telescoping for holonomic functions
- Difference algebra
- Differential Galois theory of linear difference equations
- Fast algorithms for refined parameterized telescoping in difference fields
- Finding telescopers with minimal depth for indefinite nested sum and product expressions
- Galois theory of difference equations
- Greatest factorial factorization and symbolic summation
- Gröbner bases for ideals in Laurent polynomial rings and their application to systems of difference equations
- Harmonic sums and polylogarithms generated by cyclotomic polynomials
- HARMONIC SUMS, MELLIN TRANSFORMS AND INTEGRALS
- scientific article; zbMATH DE number 3511549 (Why is no real title available?)
- scientific article; zbMATH DE number 1254298 (Why is no real title available?)
- 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 872231 (Why is no real title available?)
- scientific article; zbMATH DE number 3207354 (Why is no real title available?)
- Hypergeometric solutions of linear recurrences with polynomial coefficients
- Indefinite summation with unspecified summands
- Invertible and nilpotent elements in the group algebra of a unique product group.
- Iterated binomial sums and their associated iterated integrals
- 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 a matrix representation for polynomially recursive sequences
- On finite generation of unit groups of commutative group rings
- On solutions of linear ordinary difference equations in their coefficient field
- On the existence of telescopers for mixed hypergeometric terms
- Order-degree curves for hypergeometric creative telescoping
- Parameterized telescoping proves algebraic independence of sums
- Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem
- Product representations in -fields
- Rational solutions of linear differential and difference equations with polynomial coefficients
- Representation of hypergeometric products in difference rings
- Simplifying multiple sums in difference 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 theorems for symbolic summation
- Summation in Finite Terms
- Symbolic summation assists combinatorics
- Symbolic summation with radical expressions
- Symbolic summation with single-nested sum extensions
- The method of creative telescoping
- Theory of summation in finite terms
Cited in
(30)- Algebraic independence of sequences generated by (cyclotomic) harmonic sums
- Representing (q-)hypergeometric products and mixed versions in difference rings
- Automated solution of first order factorizable systems of differential equations in one variable
- 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 heavy fermion contributions to the massive three loop form factors
- Minimal representations and algebraic relations for single nested products
- 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
- The massless three-loop Wilson coefficients for the deep-inelastic structure functions \(F_2\), \(F_L\), \(xF_3\) and \(g_1\)
- Large Scale Analytic Calculations in Quantum Field Theories
- Evaluation of Binomial Double Sums Involving Absolute Values
- SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
- Analytic computing methods for precision calculations in quantum field theory
- Symbolic summation with single-nested sum extensions
- Contiguous relations and creative telescoping
- 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}
- Representation of hypergeometric products in difference rings
- The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
- Hypergeometric structures in Feynman integrals
- Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
- Interview with Peter Paule
- Representation of hypergeometric products of higher nesting depths in difference rings
- The first-order factorizable contributions to the three-loop massive operator matrix elements \(A_{Qg}^{(3)}\) and \(\Delta A_{Qg}^{(3)}\)
- Parameterized telescoping proves algebraic independence of sums
- Solving linear difference equations with coefficients in rings with idempotent representations
- Symbolic summation in multivariate difference fields
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)
