A new algorithm for the recursion of hypergeometric multisums with improved universal denominator

MaRDI QIDQ3062298zbMATH OpenFDO

Authors Stavros Garoufalidis, Xinyu Sun

Publication date 3 January 2011

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

zbMATH Keywords

recursionhypergeometricZeilberger's algorithmcreative telescopingGosper's algorithmuniversal denominatormultisumAbramov's algorithm\(WZ\)-algorithm

Mathematics Subject Classification ID

Algebraic combinatorics (05E99) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Abstract: The purpose of the paper is to introduce two new algorithms. The first one computes a linear recursion for proper hypergeometric multisums, by treating one summation variable at a time, and provides rational certificates along the way. A key part in the search of a linear recursion is an improved universal denominator algorithm that constructs all rational solutions $x(n)$ of the equation ${\displaystyle }$ frac{a_m(n)}{b_m(n)}x(n+m)+...+frac{a_0(n)}{b_0(n)}x(n)= c(n),${\displaystyle }$ where $a_i(n),b_i(n),c(n)$ are polynomials. Our algorithm improves Abramov's universal denominator.

Recommendations

• Algorithms for \(m\)-fold hypergeometric summation
• A new Sigma approach to multi-summation
• Improved universal denominators
• Multibasic and mixed hypergeometric Gosper-type algorithms
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities

Cited in

(5)

• Twist knot invariants and volume conjecture
• New efficient programs to calculate general recoupling coefficients. II: Evaluation of a summation formula
• Multiple binomial sums
• Linear differential equations as a data structure
• Improved universal denominators

Describes a project that uses

Uses Software

• SIGMA

This page was built for publication: A new algorithm for the recursion of hypergeometric multisums with improved universal denominator

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