Existence of fixed multipliers for odd-power binomial-sum congruences

For positive integers nn and rr, define

Sn(r)=k=0n(nk)2(2kk)(2k+1)r.S_n^{(r)}=\sum_{k=0}^{n}{n\choose k}^2{2k\choose k}(2k+1)^r.

Multiplier conjecture. There exist integers a2r1a_{2r-1} and brb_r, independent of nn, such that

a2r1k=0n1Sk(2r1)0(modn2),a_{2r-1}\sum_{k=0}^{n-1}S_k^{(2r-1)}\equiv0\pmod{n^2},

and

brk=0n1kSk(r)0(modn2).b_r\sum_{k=0}^{n-1}kS_k^{(r)}\equiv0\pmod{n^2}.

The conjecture asks for universal, nn-independent multipliers; the source notes that determining their best possible values is difficult and gives no resolution of the general claim.

Sources & referencesView supporting material

Primary source

Victor J. W. Guo and Ji-Cai Liu, “Proof of some conjectures of Z.-W. Sun on the divisibility of certain double-sums”, arXiv:1412.5415 (2014).

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.