3
$\begingroup$

I would like to know a closed formula for $\sum_{j=0}^{p-n } (-1)^j\binom{n^2}{p-n-j} \binom{n+j-1}j\binom{2n+j}{n+j+1}$, especially in the case $p$ is near $n^2/2$. Similarly, I would like a closed formula for: setting $q=2\cdot\lceil\frac{n(n+1)}{4}\rceil -1$, and setting $p=\lceil\frac{q}{2}\rceil-1$, what is the sum $ \sum_{j=0}^{p-n } (-1)^j\binom{q}{p-n-j} \binom{n+j-1}j\binom{2n+j}{n+j+1} $?

In either case I would be happy for an estimate of the growth of the sum (divided by $\binom {n^2-1}p$ in the first case, and divided by $\binom{q-1}p$ in the second).

$\endgroup$
1
  • $\begingroup$ Some of the terms are the (n-1) coefficients; you can get rid of some j's in the expression, and then try Knuth's Concrete Mathematics. Gerhard "Ask Me About System Design" Paseman, 2012.02.15 $\endgroup$ Feb 15, 2012 at 23:55

2 Answers 2

0
$\begingroup$

I played around with your sum in Maple and got

$$ \frac{2n}{n+1}{2n-1 \choose n-1}{n^2 \choose p-n} 3F_{2}([n,n-p,2n+1],[n+2,n^2+n+1-p],1) $$

I make no guarantees that this is correct (especially as the original answer contained a $\binom{n^2}{-1}$ in it).

$\endgroup$
4
  • $\begingroup$ I can't get my 3F2 to display nicely - how do I do that in MathJax? The usual {}_{3}F_{2} does not seem to work. $\endgroup$ Mar 18, 2012 at 13:02
  • $\begingroup$ I can't prove this, but it works for as large as my computer can handle. A proof, or estimates of the asymptotic behavior (again, as p~ n^2/2) and n goes to infinity) would be most welcome. Thanks! $\endgroup$ Mar 20, 2012 at 16:13
  • $\begingroup$ I checked on a better computer, this diverges from the sum when n>70 unfortunately. $\endgroup$ Mar 20, 2012 at 19:33
  • 2
    $\begingroup$ How are you doing these evaluations? This is unlikely to be numerically stable, so you would need fairly high accuracy to know, especially for n>70. $\endgroup$ Mar 21, 2012 at 2:02
2
$\begingroup$

$\sum_{j=0}^{p-n} (-1)^j a_{n,p}(j) = \sum_{j=0}^{\frac{p-n}{2}} a_{n,p}(2j)-a_{n,p}(2j+1)$

so examine this difference $a_{n,p}(2j)-a_{n,p}(2j+1)$, we can factor out $c_{n,p}(j):=\frac{(n^2)!(2n+2j)!(n+2j)!}{(n-1)!(n-1)!(2j+1)!(n+2j+2)!(p-n-2j)!(n^2-p+n+2j)!}$

giving $c_{n,p}(j) \left[ \frac{(n+2j+2)(2j+1)}{(n+2j)} - \frac{(2n+2j+1)(p-n-2j)}{(n^2-p+n+2j+1)}\right]$

$=c_{n,p}(j) \left[ (2j+1)\left(1+\frac{2}{n+2j}- \frac{p-n-2j}{n^2-p+n+2j+1}\right)-\frac{2n(p-n-2j)}{n^2-p+n+2j+1}\right]\approx -2nc_{n,p}(j)$

this is assuming $p\approx \frac{n^2}{2} $ is large. not sure if this helps

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.