Parameterized telescoping proves algebraic independence of sums

DOI10.1007/S00026-011-0076-7zbMATH Open1232.33034arXiv0808.2596OpenAlexW1672862537MaRDI QIDQ659607FDOQ659607

Authors: Carsten Schneider 

Publication date: 24 January 2012

Published in: Annals of Combinatorics (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/0808.2596

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

zbMATH Keywords

creative telescopingsymbolic summationalgebraic independence of sums

Mathematics Subject Classification ID

Transcendence (general theory) (11J81) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Cites Work

• Symbolic summation assists combinatorics
• Title not available (Why is that?)
• A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
• Decision procedure for indefinite hypergeometric summation
• A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
• Rational normal forms and minimal decompositions of hypergeometric terms
• The method of creative telescoping
• On solutions of linear ordinary difference equations in their coefficient field
• SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
• Summation in Finite Terms
• Title not available (Why is that?)
• Computer proofs of a new family of harmonic number identities.
• Greatest factorial factorization and symbolic summation
• Multibasic and mixed hypergeometric Gosper-type algorithms
• Solving parameterized linear difference equations in terms of indefinite nested sums and products
• A refined difference field theory for symbolic summation
• When does Zeilberger's algorithm succeed?
• Product representations in \(\Pi\Sigma\)-fields
• A collection of denominator bounds to solve parameterized linear difference equations in \(\Pi\Sigma\)-extensions
• Title not available (Why is that?)
• Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields
• Title not available (Why is that?)

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
• Structural theorems for symbolic summation
• Calculating three loop ladder and \(V\)-topologies for massive operator matrix elements by computer algebra
• 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
• Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
• 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
• Representation of hypergeometric products of higher nesting depths in difference rings
• The polarized transition matrix element \(A_{gq}(N)\) of the variable flavor number scheme at \(O(\alpha_s^3)\)
• On the existence of telescopers for mixed hypergeometric terms
• On the existence of telescopers for rational functions in three variables
• Analytic computing methods for precision calculations in quantum field theory
• Interview with Peter Paule
• A difference ring theory for symbolic summation
• Hypergeometric structures in Feynman integrals
• The absent-minded passengers problem: a motivating challenge solved by computer algebra
• Solving linear difference equations with coefficients in rings with idempotent representations
• Contiguous relations and creative telescoping
• Simplifying multiple sums in difference fields
• The first-order factorizable contributions to the three-loop massive operator matrix elements \(A_{Qg}^{(3)}\) and \(\Delta A_{Qg}^{(3)}\)
• Minimal representations and algebraic relations for single nested products
• A case study for \(\zeta (4)\)

Uses Software

• qZeil
• SIGMA

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)