中文

一些多项式系数之和的 p 进赋值

数论 2011-04-14 v7 组合数学

摘要

mmn>0n>0 为整数。假设 pp 是整除 m4m-4 但不整除 mm 的素数。我们证明 νp(k=0n1(2kk)mk)\nu_p(\sum_{k=0}^{n-1}\frac{\binom{2k}k}{m^k})νp(k=0n1(n1k)(1)k(2kk)mk)\nu_p(\sum_{k=0}^{n-1}\binom{n-1}{k}(-1)^k\frac{\binom{2k}k}{m^k}) 至少为 νp(n)\nu_p(n),其中 νp(x)\nu_p(x) 表示 xxpp 进赋值。此外,若 p>3p>3,则 n1k=0n1\bi2kkmk=(2n1n1)4n1(modpνp(m4))n^{-1}\sum_{k=0}^{n-1}\frac{\bi{2k}k}{m^k}=\frac{\binom{2n-1}{n-1}}{4^{n-1}} (mod p^{\nu_p(m-4)})n1k=0n1(n1k)(1)k(2kk)mk=Cn14n1(modpνp(m4)),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^{\nu_p(m-4)}), 其中 CkC_k 表示 Catalan 数 (2kk)/(k+1)\binom{2k}{k}/(k+1)。这蕴含了 Guo 和 Zeng [GZ] 的几个猜想。我们还提出了两个猜想,并证明 n>1n>1 是素数当且仅当 k=0n1multinomial(n1)kk,...,k=0(modn),\sum_{k=0}^{n-1}multinomial{(n-1)k}{k,...,k}=0 (mod n), 其中 multinomialk1+...+kn1k1,...,kn1multinomial{k_1+...+k_{n-1}}{k_1,...,k_{n-1}} 表示多项式系数 (k1+...+kn1)!/(k1!...kn1!)(k_1+...+k_{n-1})!/(k_1!... k_{n-1}!)

关键词

引用

@article{arxiv.0910.3892,
  title  = {p-adic valuations of some sums of multinomial coefficients},
  author = {Zhi-Wei Sun},
  journal= {arXiv preprint arXiv:0910.3892},
  year   = {2011}
}

备注

16 pages