Multiple binomial sums - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2015

Multiple binomial sums

Pierre Lairez
Bruno Salvy

Résumé

Multiple binomial sums form a large class of multi-indexed sequences, closed under partial summation, which contains most of the sequences obtained by multiple summation of binomial coefficients and also all the sequences with algebraic generating function. We study the representation of the generating functions of binomial sums by integrals of rational functions. The outcome is twofold. Firstly, we show that a univariate sequence is a multiple binomial sum if and only if its generating function is the diagonal of a rational function. Secondly we propose algorithms that decide the equality of multiple binomial sums and that compute recurrence relations for them. In conjunction with geometric simplifications of the integral representations, this approach behaves well in practice. The process avoids the computation of certificates and the problem of accurate summation that afflicts discrete creative telescoping, both in theory and in practice.
Fichier principal
Vignette du fichier
binomsums.pdf (460.12 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01220573 , version 1 (26-10-2015)
hal-01220573 , version 2 (15-06-2016)

Identifiants

  • HAL Id : hal-01220573 , version 1

Citer

Alin Bostan, Pierre Lairez, Bruno Salvy. Multiple binomial sums. 2015. ⟨hal-01220573v1⟩
572 Consultations
4595 Téléchargements

Partager

More