Parameterized telescoping proves algebraic independence of sums
From MaRDI portal
Publication:659607
Abstract: Usually creative telescoping is used to derive recurrences for sums. In this article we show that the non-existence of a creative telescoping solution, and more generally, of a parameterized telescoping solution, proves algebraic independence of certain types of sums. Combining this fact with summation-theory shows transcendence of whole classes of sums. Moreover, this result throws new light on the question why, e.g., Zeilberger's algorithm fails to find a recurrence with minimal order.
Recommendations
- The extended Zeilberger algorithm with parameters
- The method of creative telescoping
- On the order of the recurrence produced by the method of creative telescoping
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- Fast algorithms for refined parameterized telescoping in difference fields
Cites work
- 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 3385223 (Why is no real title available?)
- 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 proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
- A refined difference field theory for symbolic summation
- Computer proofs of a new family of harmonic number identities.
- Decision procedure for indefinite hypergeometric summation
- Degree bounds to find polynomial solutions of parameterized linear difference equations in -fields
- Greatest factorial factorization and symbolic summation
- Multibasic and mixed hypergeometric Gosper-type algorithms
- On solutions of linear ordinary difference equations in their coefficient field
- Product representations in \(\Pi\Sigma\)-fields
- Rational normal forms and minimal decompositions of hypergeometric terms
- SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
- Solving parameterized linear difference equations in terms of indefinite nested sums and products
- Summation in Finite Terms
- Symbolic summation assists combinatorics
- The method of creative telescoping
- When does Zeilberger's algorithm succeed?
Cited in
(36)- Residues and telescopers for bivariate rational functions
- Iterated binomial sums and their associated iterated integrals
- The massless three-loop Wilson coefficients for the deep-inelastic structure functions \(F_2\), \(F_L\), \(xF_3\) and \(g_1\)
- The method of arbitrarily large moments to calculate single scale processes in quantum field theory
- Term algebras, canonical representations and difference ring theory for symbolic summation
- Calculating three loop ladder and V-topologies for massive operator matrix elements by computer algebra
- Structural theorems for symbolic summation
- Relativistic Coulomb integrals and Zeilberger's holonomic systems approach. I
- Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms
- The heavy fermion contributions to the massive three loop form factors
- 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
- Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra
- The two-loop massless off-shell QCD operator matrix elements to finite terms
- A refined difference field theory for symbolic summation
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- Algebraic independence of sequences generated by (cyclotomic) harmonic sums
- The polarized three-loop anomalous dimensions from on-shell massive operator matrix elements
- The 3-loop non-singlet heavy flavor contributions and anomalous dimensions for the structure function \(\mathrm{F}_2(\mathrm{x, Q}^{\mathrm{2}})\) and transversity
- The polarized transition matrix element \(A_{gq}(N)\) of the variable flavor number scheme at \(O(\alpha_s^3)\)
- Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
- On the existence of telescopers for mixed hypergeometric terms
- Representation of hypergeometric products of higher nesting depths in difference rings
- On the existence of telescopers for rational functions in three variables
- Analytic computing methods for precision calculations in quantum field theory
- A difference ring theory for symbolic summation
- 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
- Contiguous relations and creative telescoping
- Simplifying multiple sums in difference fields
- 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)\)
This page was built for publication: Parameterized telescoping proves algebraic independence of sums
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q659607)
