Parameterized Telescoping Proves Algebraic Independence of Sums

2008/08/19 by Carsten Schneider, Schneider, Carsten · 5 citations
Mathematics · Engineering · #Advanced Mathematical Identities #Advanced Combinatorial Mathematics #graph theory and CDMA systems

paper · pdf · doi:10.48550/arxiv.0808.2596

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.

Cited by

• The heavy quark-antiquark asymmetry in the variable flavor number scheme
• 3-Loop Heavy Flavor Corrections to DIS with two Massive Fermion Lines
• The two-mass contributions to the three-loop massive operator matrix elements A_Qg⁽³⁾ and ΔA_Qg⁽³⁾
• Differential Galois Theory of Linear Difference Equations
• Recent progress on the calculation of three-loop heavy flavor Wilson coefficients in deep-inelastic scattering
• New Results on the 3-Loop Heavy Flavor Corrections in Deep-Inelastic Scattering

Related

• Creative Telescoping for Hypergeometric Double Sums
• Some Open Problems related to Creative Telescoping
• Telescoping Algorithms for Σ^*-Extensions via Complete Reductions
• Refined telescoping algorithms in RΠΣ-extensions to reduce the degrees of the denominators
• The Method of Multiple Combinatorial Telescoping