Parameterized Telescoping Proves Algebraic Independence of Sums

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.

To appear in Annals of Combinatorics

Cited by in corpus (16)

• Modern Summation Methods and the Computation of 2- and 3-loop Feynman Diagrams
• The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements
• A Symbolic Summation Approach to Find Optimal Nested Sum Representations
• Evaluation of Multi-Sums for Large Scale Problems
• 3-Loop Heavy Flavor Corrections to DIS with two Massive Fermion Lines
• New Heavy Flavor Contributions to the DIS Structure Function $F_2(x,Q^2)$ at $O(α_s^3)
• Logarithmic $O({\alpha }_s^3)$ contributions to the DIS Heavy Flavor Wilson Coefficients at $Q^2\gg m^2$
• A toolbox to solve coupled systems of differential and difference equations
• New Results on the 3-Loop Heavy Flavor Corrections in Deep-Inelastic Scattering
• Three-Loop Contributions to the Gluonic Massive Operator Matrix Elements at General Values of N
• Higher Order Heavy Quark Corrections to Deep-Inelastic Scattering
• 3-Loop Heavy Flavor Corrections in Deep-Inelastic Scattering with Two Heavy Quark Lines
• 3-Loop Corrections to the Heavy Flavor Wilson Coefficients in Deep-Inelastic Scattering
• 3-loop Massive $O(T_F^2)$ Contributions to the DIS Operator Matrix Element $A_{gg}$
• Recent progress on the calculation of three-loop heavy flavor Wilson coefficients in deep-inelastic scattering
• Differential Galois Theory of Linear Difference Equations