English

New congruences involving products of two binomial coefficients

Number Theory 2018-09-25 v1 Combinatorics

Abstract

Let p>3p>3 be a prime and let aa be a positive integer. We show that if p1(mod4)p\equiv1\pmod 4 or a>1a>1 then k=034pa(2kk)216k\l(1pa)˚(modp3)\sum_{k=0}^{\lfloor\frac34p^a\rfloor}\frac{\binom{2k}k^2}{16^k}\equiv\l(\frac{-1}{p^a}\r)\pmod{p^3} with ()(-) the Jacobi symbol, which confirms a conjecture of Z.-W. Sun. We also establish the following new congruences: \begin{align*}\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k\binom{3k}k}{27^k}\equiv&\l(\frac p3\r)\frac{2^p+1}3\pmod{p^2}, \\\sum_{k=0}^{(p-1)/2}\frac{\binom{6k}{3k}\binom{3k}k}{(2k+1)432^k}\equiv&\l(\frac p3\r)\frac{3^p+1}4\pmod{p^2}, \\\sum_{k=0}^{(p-1)/2}\frac{\binom{4k}{2k}\binom{2k}k}{(2k+1)64^k}\equiv&\l(\frac{-1}p\r)2^{p-1}\pmod{p^2}. \end{align*} Note that in 2003 Rodriguez-Villeguez posed conjectures on k=0p1(2kk)216k, k=0p1(2kk)(3kk)27k, k=1p1(4k2k)(2kk)64k, k=1p1(6k3k)(3kk)432k\sum_{k=0}^{p-1}\frac{\binom{2k}k^2}{16^k},\ \sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{3k}k}{27^k},\ \sum_{k=1}^{p-1}\frac{\binom{4k}{2k}\binom{2k}k}{64^k},\ \sum_{k=1}^{p-1}\frac{\binom{6k}{3k}\binom{3k}k}{432^k} modulo p2p^2 which were later proved.

Keywords

Cite

@article{arxiv.1601.04782,
  title  = {New congruences involving products of two binomial coefficients},
  author = {Guo-Shuai Mao and Zhi-Wei Sun},
  journal= {arXiv preprint arXiv:1601.04782},
  year   = {2018}
}

Comments

17 pages