Asymptotic binomial-sum conjecture for even moments

Let k1k\geq 1, and let jj tend to infinity. The two binomial sums below involve the even moments of the centered binomial distributions of sizes 2j2j and 2j12j-1.

Even-moment asymptotic conjecture. There is a constant c(k)>0c(k)>0 such that, as jj\to\infty,

22j+1n=1j(2n)2k(2jj+n)c(k)jk,22jn=1j(2n1)2k(2j1j+n1)c(k)jk.2^{-2j+1}\sum_{n=1}^j(2n)^{2k}\binom{2j}{j+n}\sim c(k)j^k, \qquad 2^{2j}\sum_{n=1}^j(2n-1)^{2k}\binom{2j-1}{j+n-1}\sim c(k)j^k.

The conjecture is used to obtain the higher-derivative representation conjecture. The authors report verification by computer algebra only for k{3,,15}k\in\{3,\dots,15\}, so the general asymptotic remains open.

Sources & referencesView supporting material

Primary source

Mara Trübner and Johanna F. Ziegel, “Derivatives of isotropic positive definite functions on spheres”, arXiv:1603.06727 (2016).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.