English

Three pairs of congruences concerning sums of central binomial coefficients

Number Theory 2020-07-21 v3 Combinatorics

Abstract

Recently the first author proved a congruence proposed in 2006 by Adamchuk: k=12p3(2kk)0(modp2)\sum_{k=1}^{\lfloor\frac{2p}{3}\rfloor}\binom{2k}{k}\equiv 0\pmod{p^2} for any prime p=1(mod3)p=1 \pmod{3}. In this paper, we provide more examples (with proofs) of congruences of the same kind k=1apr(2kk)xk(modp2)\sum_{k=1}^{\lfloor\frac{ap}{r}\rfloor}\binom{2k}{k}x^k \pmod{p^2} where pp is a prime such that p1(modr)p\equiv 1 \pmod{r}, a/ra/r is a fraction in (1/2,1)(1/2,1) and xx is a pp-adic integer. The key ingredients are the pp-adic Gamma functions Γp\Gamma_p and a special class of computer-discovered hypergeometric identities.

Keywords

Cite

@article{arxiv.2004.09155,
  title  = {Three pairs of congruences concerning sums of central binomial coefficients},
  author = {Guo-Shuai Mao and Roberto Tauraso},
  journal= {arXiv preprint arXiv:2004.09155},
  year   = {2020}
}