Multinomial power-sum congruence conjecture

About 14 years old · traced to

For integers m,n≥1m,n\geq 1 and r≥0r\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,…,km≥0k_1,\ldots,k_m\geq 0 and k1+⋯+km=nk_1+\cdots+k_m=n. The multinomial congruence conjecture. Let m,n≥1m,n\geq 1 and r≥0r\geq 0 be integers. Then

∑k=0n−1(−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.

References

Primary source

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

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.