Multinomial power-sum congruence conjecture

From papers

For integers m,n1m,n\geq 1 and r0r\geq 0, define the multinomial power sums

Mm,n(r)=k1++km=n(nk1,,km)r,M_{m,n}^{(r)}=\sum_{k_1+\cdots+k_m=n}{n\choose k_1,\ldots,k_m}^r,

where k1,,km0k_1,\ldots,k_m\geq 0 and k1++km=nk_1+\cdots+k_m=n. The multinomial congruence conjecture. Let m,n1m,n\geq 1 and r0r\geq 0 be integers. Then

k=0n1(1)rk((m+1)k+m)Mm,k(r)0(modmn).\sum_{k=0}^{n-1}(-1)^{rk}((m+1)k+m)M_{m,k}^{(r)}\equiv 0\pmod {mn}.

This further generalizes the proposed Franel-number congruence by replacing binomial power sums with multinomial power sums. Its status is not resolved in the supplied text.

Progress summary

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

Sources & referencesView supporting material

Primary source

Victor J. W. Guo, “Proof of two conjectures of Z.-W. Sun on congruences for Franel numbers”, arXiv:1201.0617 (2012).

Solutions 0

No solutions have been posted yet.