Multiple binomial sums
From MaRDI portal
Publication:346550
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.
Recommendations
- scientific article; zbMATH DE number 89389
- Sums of Multinomial Coefficients
- scientific article; zbMATH DE number 5539303
- On sums involving binomial coefficients
- ON SUMS OF BINOMIAL COEFFICIENTS
- Sums of powers of binomial coefficients
- Calculation of binomial and multinomial coefficients by sequences of summations
- scientific article; zbMATH DE number 3914325
- Partial sums of binomial coefficients
Cites work
- scientific article; zbMATH DE number 3829916 (Why is no real title available?)
- scientific article; zbMATH DE number 3847528 (Why is no real title available?)
- scientific article; zbMATH DE number 4156596 (Why is no real title available?)
- scientific article; zbMATH DE number 194009 (Why is no real title available?)
- scientific article; zbMATH DE number 1263410 (Why is no real title available?)
- scientific article; zbMATH DE number 2121485 (Why is no real title available?)
- scientific article; zbMATH DE number 3059981 (Why is no real title available?)
- scientific article; zbMATH DE number 3104956 (Why is no real title available?)
- A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)
- A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
- A fast approach to creative telescoping
- A holonomic systems approach to special functions identities
- A new algorithm for the recursion of hypergeometric multisums with improved universal denominator
- A residue theorem for Malcev-Neumann series.
- Algebraic functions over finite fields
- Algebraically Closed Fields Analogous to Fields of Puiseux Series
- An algorithm for finding recurrence relations of binomial sums and its complexity
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- An extension of Zeilberger's fast algorithm to general holonomic functions
- Analytic combinatorics in several variables.
- Binomial identities -- combinatorial and algorithmic aspects
- Computing periods of rational integrals
- Creative telescoping for holonomic functions
- Creative telescoping for rational functions using the Griffiths-Dwork method
- D-finite power series
- Diagonals of rational fractions
- Effective bounds for P-recursive sequences
- GFUN
- Gosper's algorithm, accurate summation, and the discrete Newton-Leibniz formula
- Hadamard grade of power series
- Hypergeometric solutions of linear recurrences with polynomial coefficients
- Integer points in polyhedra
- Integral Representation and Algorithms for Closed Form Summation
- Ising \(n\)-fold integrals as diagonals of rational functions and integrality of series expansions
- Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
- Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin
- On Ordered Division Rings
- On the De Rham cohomology of algebraic varieties
- On the non-holonomic character of logarithms, powers, and the \(n\)th prime function
- On the structure of multivariate hypergeometric terms.
- On the summation of \(P\)-recursive sequences
- Points entiers dans les polyèdres convexes
- Some binomial sums involving absolute values
- Some questions concerning computer-generated proofs of a binomial double- sum identity
- Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables
- The diagonal of a D-finite power series is D-finite
- The method of creative telescoping
- \(G\)-functions and multisum versus holonomic sequences
Cited in
(20)- Mixed binomial sum identities
- Multisection of series
- Reduction-based creative telescoping for Fuchsian D-finite functions
- Monodromie unipotente maximale, congruences “à la Lucas” et indépendance algébrique
- Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes
- Effective coefficient asymptotics of multivariate rational functions via semi-numerical algorithms for polynomial systems
- scientific article; zbMATH DE number 89389 (Why is no real title available?)
- Minimization of differential equations and algebraic values of 𝐸-functions
- Seven equivalent binomial sums
- On congruence schemes for constant terms and their applications
- Discrete analogues of Macdonald-Mehta integrals
- Generating functions for series involving higher powers of inverse binomial coefficients and their applications
- Creative telescoping on multiple sums
- Evaluation of Binomial Double Sums Involving Absolute Values
- Diagonal representation of algebraic power series: a glimpse behind the scenes
- New Representations for all Sporadic Apéry-Like Sequences, With Applications to Congruences
- Linear differential equations as a data structure
- Single-scale diagrams and multiple binomial sums
- Generating functions for finite sums involving higher powers of binomial coefficients: analysis of hypergeometric functions including new families of polynomials and numbers
- Constructing minimal telescopers for rational functions in three discrete variables
This page was built for publication: Multiple binomial sums
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q346550)
