Multiple binomial sums

Alin Bostan 1 Pierre Lairez 2 Bruno Salvy 3
3 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : 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 products 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 the appearance of spurious singularities that afflicts discrete creative telescoping, both in theory and in practice.
Type de document :
Article dans une revue
Journal of Symbolic Computation, Elsevier, 2017, 80 (2), pp.351--386. 〈10.1016/j.jsc.2016.04.002〉
Liste complète des métadonnées

Littérature citée [51 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01220573
Contributeur : Pierre Lairez <>
Soumis le : mercredi 15 juin 2016 - 08:57:38
Dernière modification le : jeudi 15 juin 2017 - 09:08:57
Document(s) archivé(s) le : vendredi 16 septembre 2016 - 10:27:13

Fichiers

binomsums.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Alin Bostan, Pierre Lairez, Bruno Salvy. Multiple binomial sums. Journal of Symbolic Computation, Elsevier, 2017, 80 (2), pp.351--386. 〈10.1016/j.jsc.2016.04.002〉. 〈hal-01220573v2〉

Partager

Métriques

Consultations de
la notice

304

Téléchargements du document

425