Binary-weight divisibility conjecture for even binomial moments

At least 16 years old · documented by

Let n,r⩾1n,r\geqslant 1. Define α(N)\alpha(N) to be the number of 11's in the binary expansion of NN. Binary-weight divisibility conjecture. The sum

∑k=1n(2nn−k)k2r\sum_{k=1}^n{2n\choose n-k}k^{2r}

is divisible by

22n−min⁡{α(n), α(r)}−1.2^{2n-\min\{\alpha(n),\,\alpha(r)\}-1}.

The conjecture refines the evident divisibility by 4n−r4^{n-r} when n⩾rn\geqslant r, and predicts that the exact power of 22 also depends on the binary weights of both nn and rr.

References

Primary source

Victor J. W. Guo and Jiang Zeng, “Factors of binomial sums from the Catalan triangle”, arXiv:0909.0307 (2009).

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.