English

Evaluation of binomial double sums involving absolute values

Combinatorics 2020-12-07 v3 Symbolic Computation

Abstract

We show that double sums of the form i,j=nnisjt(ikjk)β(2nn+i)(2nn+j) \sum_{i,j=-n} ^{n} |i^sj^t(i^k-j^k)^\beta| \binom {2n} {n+i} \binom {2n} {n+j} can always be expressed in terms of a linear combination of just four functions, namely (4n2n)\binom {4n}{2n}, (2nn)2{\binom {2n}n}^2, 4n(2nn)4^n\binom {2n}n, and 16n16^n, with coefficients that are rational in nn. We provide two different proofs: one is algorithmic and uses the second author's computer algebra package Sigma; the second is based on complex contour integrals. In many instances, these results are extended to double sums of the above form where (2nn+j)\binom {2n}{n+j} is replaced by (2mm+j)\binom {2m}{m+j} with independent parameter mm.

Keywords

Cite

@article{arxiv.1607.05314,
  title  = {Evaluation of binomial double sums involving absolute values},
  author = {Christian Krattenthaler and Carsten Schneider},
  journal= {arXiv preprint arXiv:1607.05314},
  year   = {2020}
}

Comments

AmS-LaTeX, 42 pages; final version

R2 v1 2026-06-22T14:57:48.395Z