p-adic valuations of some sums of multinomial coefficients

preprint2011arXivOpen access

Abstract

Let mm and n>0n>0 be integers. Suppose that pp is a prime dividing m−4m-4 but not dividing mm. We show that νp(∑k=0n−1(2kk)mk)ν_p(\sum_{k=0}^{n-1}\frac{\binom{2k}k}{m^k}) and νp(∑k=0n−1(n−1k)(−1)k(2kk)mk)ν_p(\sum_{k=0}^{n-1}\binom{n-1}{k}(-1)^k\frac{\binom{2k}k}{m^k}) are at least νp(n)ν_p(n), where νp(x)ν_p(x) denotes the pp-adic valuation of xx. Furthermore, if p>3p>3 then $$n^{-1}\sum_{k=0}^{n-1}\frac{\bi{2k}k}{m^k}=\frac{\binom{2n-1}{n-1}}{4^{n-1}} (mod p^{ν_p(m-4)})$$ and n−1∑k=0n−1(n−1k)(−1)k(2kk)mk=Cn−14n−1(modpνp(m−4)),n^{-1}\sum_{k=0}^{n-1}\binom{n-1}{k}(-1)^k\frac{\binom{2k}k}{m^k}=\frac{C_{n-1}}{4^{n-1}} (mod p^{ν_p(m-4)}), where CkC_k denotes the Catalan number (2kk)/(k+1)\binom{2k}{k}/(k+1). This implies several conjectures of Guo and Zeng [GZ]. We also raise two conjectures, and prove that n>1n>1 is a prime if and only if ∑k=0n−1multinomial(n−1)kk,...,k=0(modn),\sum_{k=0}^{n-1}multinomial{(n-1)k}{k,...,k}=0 (mod n), where multinomialk1+...+kn−1k1,...,kn−1multinomial{k_1+...+k_{n-1}}{k_1,...,k_{n-1}} denotes the multinomial coefficient (k1+...+kn−1)!/(k1!...kn−1!)(k_1+...+k_{n-1})!/(k_1!... k_{n-1}!).

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.