1
$\begingroup$

Let $M$ and $N$ be positive integers such that $2N-3M\geq 0$. I would like to know if the (finite) sum

$$ \sum_{i=0}^{\infty}{{2N-3M}\choose{N-3i}}{M\choose i}^3 $$

has a nice closed form (in terms of $M$ and $N$), or a significantly simpler form.

The generalized Vandermonde convolution gives the identity

$$ \sum_{i_1,i_2,i_3}{{2N-3M}\choose{N-i_1-i_2-i_3}}{M\choose{i_1}}{M\choose{i_2}}{M\choose{i_3}}={{2N}\choose N} $$

My sum appears as the sum of the diagonal terms $i_1=i_2=i_3$ on the left hand side.

The methods I have found to sum products of binomial coefficients all seem to be limited to products of binomials in which every appearance of the summation variable has coefficient 1. But in my series, there is a $3i$ term. Note that the sum is equal (up to a constant depending on $M$ and $N$) to the generalized hypergeometric series

$$ \,_9F_2\left(\begin{align*}-\frac{N}{3},-\frac{N+1}{3},-\frac{N+2}{3},&-\frac{N-3M}{3},-\frac{N-3M+1}{3},-\frac{N-3M+2}{3},&-M,-M,-M\\ &1,1&\end{align*}\Bigg|-3^6\right) $$

This is not "well-poised", and so the identities I have found in the literature do not help in simplifying it. This is related to the appearance of the $3i$ term.

$\endgroup$

1 Answer 1

0
$\begingroup$

$$\sum_{i=0}^{\infty}{{2N-3M}\choose{N-3i}}{M\choose i}^3=\binom{2 N-3 M}{N} \times$$ $$ _6F_5\left(-M,-M,-M,\frac{1-N}{3},\frac{2-N}{3},-\frac{N}{3} ;1,1,\frac{N-3M+1}{3},\frac{N-3M+2}{3},\frac{N-3M+3}{3};1 \right)$$ looks a "bit" nicer.

$\endgroup$
1
  • $\begingroup$ Thanks for the answer. I agree that this is nicer than the hypergeometric series I wrote. Perhaps this is as nice an expression as we can hope for. $\endgroup$
    – anon1432
    May 15, 2020 at 20:26

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .