Order-degree curves for hypergeometric creative telescoping

DOI10.1145/2442829.2442850MaRDI QIDQ5244525zbMATH OpenOpenAlexFDO

Authors Shaoshi Chen, M. Kauers

Publication date 27 March 2015

Published in Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

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

zbMATH Keywords

creative telescopingdegree boundssymbolic summation

Mathematics Subject Classification ID

Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Symbolic computation and algebraic computation (68W30)

Abstract: Creative telescoping applied to a bivariate proper hypergeometric term produces linear recurrence operators with polynomial coefficients, called telescopers. We provide bounds for the degrees of the polynomials appearing in these operators. Our bounds are expressed as curves in the (r,d)-plane which assign to every order r a bound on the degree d of the telescopers. These curves are hyperbolas, which reflect the phenomenon that higher order telescopers tend to have lower degree, and vice versa.

Recommendations

• Trading order for degree in creative telescoping
• On the order of the recurrence produced by the method of creative telescoping
• New Bounds for Hypergeometric Creative Telescoping
• On the length of integers in telescopers for proper hypergeometric terms
• Efficient algorithms for mixed creative telscoping

Cited in

(16)

• Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
• Minimal representations and algebraic relations for single nested products
• On the length of integers in telescopers for proper hypergeometric terms
• Some open problems related to creative telescoping
• On the order of the recurrence produced by the method of creative telescoping
• New Bounds for Hypergeometric Creative Telescoping
• Trading order for degree in creative telescoping
• Extensions of the AZ-Algorithm and the Package MultiIntegrate
• Creative telescoping for holonomic functions
• Simplifying multiple sums in difference fields
• The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
• Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
• Minimization of differential equations and algebraic values of 𝐸-functions
• Bounds for D-algebraic closure properties
• Efficient rational creative telescoping
• Desingularization of Ore operators

Describes a project that uses

Uses Software

• ZEILBERGER
• qZEILBERGER

This page was built for publication: Order-degree curves for hypergeometric creative telescoping

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5244525)