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
- 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?)
- 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, MELLIN TRANSFORMS AND INTEGRALS
- Harmonic sums and polylogarithms generated by cyclotomic polynomials
- 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 \(\Pi\Sigma\)-fields
- Rational solutions of linear differential and difference equations with polynomial coefficients
- Representation of hypergeometric products in difference rings
- SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
- Simplifying multiple sums in difference fields
- 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
(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
- Symbolic summation with single-nested sum extensions
- Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
- 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
- The absent-minded passengers problem: a motivating challenge solved by computer algebra
- Hypergeometric structures in Feynman integrals
- Solving linear difference equations with coefficients in rings with idempotent representations
- The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements
- Contiguous relations and creative telescoping
- Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm
- Minimal representations and algebraic relations for single nested products
- The first-order factorizable contributions to the three-loop massive operator matrix elements \(A_{Qg}^{(3)}\) and \(\Delta A_{Qg}^{(3)}\)
- A case study for \(\zeta (4)\)
- Representing (q-)hypergeometric products and mixed versions in difference rings
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)
