Congruences involving binomial coefficients and Apéry-like numbers
对于$n=0,1,2,\ldots$，记为$W_n=\sum_{k=0}^{[n/3]}\binom{2k}k \binom{3k}k\binom n{3k}(-3)^{n-3k}$，其中$[x]$是不超过$x$的最大整数。则$\{W_n\}$是类Apéry序列。本文导出了许多涉及$\{W_n\}$的同余式，特别是利用二元二次型确定了$m=-640332,-5292,-972,-108,-44,-27,-12,8,54,243$的$\sum_{k=0}^{p-1}\binom{2k}k\frac{W_k}{m^k}\pmod p$，其中$p>3$是素数.我们还证明了广义Apéry-like数的几个同余式，并对涉及二项式系数和Apéry-like数的同余式给出了29个挑战性的证明.
2020-05-10 math.CO math.NT
New super congruences involving Bernoulli and Euler polynomials
令$p>3$是素数，并且令$a$是具有$a\not\equiv 0\pmod p$的有理p-adic整数。本文利用Bernoulli多项式和欧拉多项式建立了$$\sum_{k=1}^{(p-1)/2}\frac{\binom ak\binom{-1-a}k}k, \quad\sum_{k=0}^{(p-1)/2}k\binom ak\binom{-1-a}k \quad\text{and}\quad\sum_{k=0}^{(p-1)/2}\frac{\binom ak\binom{-1-a}k}{2k-1}\pmod {p^2}$$的同余式。我们还给出了模$p^2$同余的一些变换公式。
2016-05-30 math.CO math.NT
Congruences involving binomial coefficients and Lucas sequences
本文得到了中心二项式系数与Lucas序列的一些同余关系。例如，我们证明了如果p>5是素数，则当p= 1，4（mod 5），p= 13，17（mod 30）和p= 7，23（mod 30）时，$\sum_{k=0}^{p-1}F_k*binom(2k,k)/12^k$分别与0，1，-1模p全等，其中{F_n}是Fibonacci序列.我们还提出了几点建议。
2009-12-14 math.CO math.NT
Congruences involving $g_n(x)=\sum_{k=0}^n\binom nk^2\binom{2k}kx^k$
为$n=0,1,2,...$定义$g_n(x)=\sum_{k=0}^n\binom nk^2\binom{2k}kx^k$。这些数$g_n=g_n(1)$与Apéry数和Franel数密切相关。本文建立了涉及$g_n(x)$的几个基本同余.例如，对于任何素数$p>5$，我们有$$\sum_{k=1}^{p-1}\frac{g_k(-1)}{k}\equiv 0\pmod{p^2}\quad{and}\quad\sum_{k=1}^{p-1}\frac{g_k(-1)}{k^2}\equiv 0\pmod p.$$这类似于Wolstenholme对任何素数$p>3$的经典同余$$\sum_{k=1}^{p-1}\frac1k\equiv0\pmod{p^2}\quad{and}\quad\sum_{k=1}^{p-1}\frac{1}{k^2}\equiv0\pmod p$$。
2016-07-19 math.CO math.NT
Note on super congruences modulo $p^2$
令$p$是奇素数，并且令$m$是具有$p\nmid m$的整数。本文证明了$$\sum_{k=0}^{p-1}\frac{\binom{2k}k\binom ak\binom{-1-a}k}{m^k} \equiv 0\pmod p \quad\hbox{implies}\quad\sum_{k=0}^{p-1}\frac{\binom{2k}k\binom ak \binom{-1-a}k}{m^k}\equiv 0\pmod {p^2}.$$
2015-03-11 math.CO math.NT
Congruences for sums involving products of three binomial coefficients
设$p>3$是素数，$a$是有理$p$整数，利用WZ方法建立了$$\sum_{k=0}^{p-1} \binom ak\binom{-1-a}k\binom{2k}k\frac {w(k)}{4^k},$$的模$p^3$同余式，其中$$w(k)=1,\frac 1{k+1},\frac 1{(k+1)^2},\frac 1{(k+1)^3},\frac 1{2k-1},\frac 1{k+2}, \frac 1{k+3}, k,k^2,k^3,\frac 1{a+k},\frac 1{a+k-1}.$$作为推论，利用$a=-\frac 12,-\frac 13,-\frac 14,-\frac 16$导出了许多模$p^3$的同余式，从而解决了作者以前提出的一些问题.
2022-02-14 math.CO math.NT
Congruences concerning binomial coefficients and binary quadratic forms
设$p>3$为素数。本文得到了$$\sum_{k=0}^{p-1}\frac{w(k)\binom{2k}k^3}{(-8)^k},\ \sum_{k=0}^{p-1}\frac{w(k)\binom{2k}k^2\binom{3k}k}{(-192)^k},\ \sum_{k=0}^{p-1}\frac{w(k)\binom{2k}k^2\binom{4k}{2k}}{(-144)^k}\ \text{and} \ \sum_{k=0}^{p-1}\frac{w(k)\binom{2k}k^2\binom{4k}{2k}}{648^k}$$模$p^2$的同余式，以及$\sum_{k=0}^{(p-1)/2} \binom{2k}k^3\frac{w(k)}{m^k}$模$p^2$的部分结果，其中$m\in\{1,16,-64,256,-512,4096\}$和$w(k)\in\{k^2,k^3,\frac 1{k+1},\frac 1{(k+1)^2},\frac 1{(k+1)^3}, \frac 1{2k-1},\frac 1{k+2}\}$ .
2022-11-24 math.CO math.NT
Three pairs of congruences concerning sums of central binomial coefficients
最近，第一作者证明了Adamchuk在2006年提出的一个同余：$\sum_{k=1}^{\lfloor\frac{2p}{3}\rfloor}\binom{2k}{k}\equiv 0\pmod{p^2}$对任何素数$p=1 \pmod{3}$。本文给出了同类同余式$$\sum_{k=1}^{\lfloor\frac{ap}{r}\rfloor}\binom{2k}{k}x^k \pmod{p^2}$$的更多例子（并给出了证明），其中$p$是素数，使得$p\equiv 1 \pmod{r}$，$a/r$是$(1/2,1)$中的分数，$x$是$p$ -adic整数.关键成分是$p$ -adic Gamma函数$Γ_p$和一类特殊的计算机发现的超几何恒等式。
2020-07-20 math.CO math.NT
On some new congruences for binomial coefficients
本文建立了中心二项式系数和Catalan数的新同余式。设$p$是素数，$a$是任意正整数。我们确定了$d=0,...,p^a$的$\sum_{k=0}^{p^a-1}\binom{2k}{k+d}$ mod $p^2$和$δ=0,1$的$\sum_{k=0}^{p^a-1}\binom{2k}{k+δ}$ mod $p^3$。我们还表明，$$C_n^{-1}\sum_{k=0}^{p^a-1}C_{p^an+k}=1-3(n+1)((p^a-1)/3) (mod p^2)$$对每个n= 0，1，2，.，其中$C_m$是加泰罗尼亚数字$\binom{2m}{m}/(m+1)$，（-）是勒让德符号。
2011-06-02 math.CO math.NT
Some congruences involving binomial coefficients
二项式系数和中心三项式系数在组合数学中起着重要的作用。设$p>3$为素数。我们证明了$$T_{p-1}\equiv\left(\frac p3\right)3^{p-1}\ \pmod{p^2},$$，其中中心三项式系数$T_n$是$(1+x+x^{-1})^n$展开式中的常数项。证明了Sun提出的三个模$p^3$同余，其中之一是$$\sum_{k=0}^{p-1}\binom{p-1}k\binom{2k}k((-1)^k-(-3)^{-k})\equiv \left(\frac p3\right)(3^{p-1}-1)\ \pmod{p^3}.$$.此外，我们还得到了一些新的组合恒等式.
2015-04-27 math.CO math.NT
Proof of Sun's conjectures on super congruences and the divisibility of certain binomial sums
本文证明了Z.- W. Sun：$$2n\binom{2n}n\big|\sum_{k=0}^{n-1}(3k+1)\binom{2k}k^3{16}^{n-1-k}\ \mbox{for}\ \mbox{all}\ n=2,3,\cdots,$$和$$\sum_{k=0}^{(p-1)/2}\frac{3k+1}{16^k}\binom{2k}{k}^3\equiv p+2\left(\frac{-1}{p}\right)p^3E_{p-3}\pmod{p^4},$$，其中$p>3$是素数，$E_0,E_1,E_2,\cdots$是欧拉数。
2019-10-29 math.CO math.NT
Congruences for sums of binomial coefficients
设q>1和m>0是互素整数。我们找到一个显式周期$ν_m(q)$，使得对于任何整数n>0和r，只要a是具有$\gcd(1-(-a)^m,q)=1$的整数，或a=-1（mod q），或a=1（mod q）和2，我们就有$[n+ν_m(q),r]_m(a)=[n,r]_m(a) (mod q)$| m，其中$[n,r]_m(a)=\sum_{k=r(mod m)}\binom{n}{k}a^k$ .这是一个Glasgow同余式的进一步推广。
2007-08-05 math.CO math.NT
On congruences related to central binomial coefficients
已知$\sum_{k=0}^\infty\binom{2k}{k}/((2k+1)4^k)=π/2$和$\sum_{k=0}^\infty\binom{2k}{k}/((2k+1)16^k)=π/3$ .本文得到了它们的p-adic类似物，如$$\sum_{p/2<k<p}\binom{2k}{k}/((2k+1)4^k)=3\sum_{p/2<k<p}\binom{2k}{k}/((2k+1)16^k)= pE_{p-3} (mod p^2),$$，其中p>3是素数，E_0，E_1，E_2，.是欧拉数。除此之外，我们还推导出了与中心二项式系数有关的其它一些同余式。此外，我们还提出了一些推论，其中一个推论指出，对于任何奇素数p，如果（p/7）=1且p=x^2+7y^2且x，y为整数，则我们有$$\sum_{k=0}^{p-1}\binom{2k}{k}^3=4x^2-2p (mod p^2)$$，如果（p/7）=-1则有$$\sum_{k=0}^{p-1}\binom{2k}{k}^3=0 (mod p^2)$$，即，p= 3，5，6（mod 7）。
2011-08-02 math.CO math.NT
Congruences involving Franel and Catalan-Larcombe-French numbers
令$\{f_n\}$是由$f_n=\sum_{k=0}^n\binom nk^3$给出的弗兰纳数，令$p>5$是素数。本文主要是对$m=5,-16,16,32,-49,50,96$进行$\sum_{k=0}^{p-1} \binom{2k}k\frac{f_k}{m^k}\pmod p$的测定。令$S_n=\sum_{k=0}^n\binom nk\binom{2k}k\binom{2n-2k}{n-k}$。我们还确定了$m=7,16,25,32,64,160,800,1600, 156832$的$\sum_{k=0}^{p-1} \binom{2k}k\frac{S_k}{m^k}\pmod p$。
2015-05-04 math.CO math.NT
Congruences for central binomial sums and finite polylogarithms
我们证明了同余，模幂的素数p，某些有限和涉及中心二项式系数$\binom{2k}{k}$。
2011-09-22 math.NT
New congruences involving products of two binomial coefficients
设$p>3$为素数，$a$为正整数。我们证明了如果$p\equiv1\pmod 4$或$a>1$则$$\sum_{k=0}^{\lfloor\frac34p^a\rfloor}\frac{\binom{2k}k^2}{16^k}\equivł(\frac{-1}{p^a}\r)\pmod{p^3}$$和$(-)$是Jacobi符号，这证实了Z.- W.太阳我们还建立了以下新的同余式：\begin{align*}\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k\binom{3k}k}{27^k}\equiv&ł(\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&ł(\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&ł(\frac{-1}p\r)2^{p-1}\pmod{p^2}. \end{align*}注意，在2003年Rodriguez-Villeguez提出了关于$$\sum_{k=0}^{p-1}\frac{\bino…
2016-01-19 math.CO math.NT
Conjectures on congruences involving binomial coefficients and Apéry-like numbers
在这篇文章中，我们提出了许多具有挑战性的假设，涉及二项式系数和Apéry-like数的同余。
2020-08-17 math.NT
Congruences for $q$-binomial coefficients
我们讨论了经典同余式$\binom{ap}{bp}\equiv\binom{a}{b}\pmod{p^3}$的$q$ -类似物，对素数$p>3$有效，以及它的推广。特别是，我们证明了相关的同余（$q$ -类似物）整阶乘比。
2019-04-01 math.CA math.CO math.NT
Cubic congruences and sums involving $\binom{3k}k$
令$p$是大于$3$的素数，令$a$是有理p-adic整数。本文试图确定$\sum_{k=1}^{[p/3]}\binom{3k}ka^k\pmod p$，并实现三次同余与和$\sum_{k=1}^{[p/3]}\binom{3k}ka^k$之间的联系，其中$[x]$是不超过$x$的最大整数.设$a_1,a_2,a_3$是有理p-adic整数，$P=-2a_1^3+9a_1a_2-27a_3$，$Q=(a_1^2-3a_2)^3$和$PQ(P^2-Q)(P^2-3Q)(P^2-4Q)\not\equiv 0\pmod p$ .本文证明了同余$x^3+a_1x^2+a_2x+a_3\equiv 0\pmod p$的解的个数只依赖于$\sum_{k=1}^{[p/3]}\binom{3k}k(\frac{4Q-P^2}{27Q})^k\pmod p$ .设$q$是一个素数，其形式为$3k+1$，因此$4q=L^2+27M^2$与$L,M\in\Bbb Z$。当$p\not=q$和$p\nmid L$时，我们建立了$\sum_{k=1}^{[p/3]}\binom{3k}k(\frac{M^2}q)^k$和$\sum_{k=1}^{[p/3]}\binom{3k}k(\frac{L^2}{27q})^k$模p的同余关系，从而证明了$x^3-qx-qM\equiv 0\pmod p$有三个…
2013-11-20 math.CO math.NT
Super congruences and Euler numbers
设$p>3$为素数。本文证明了$$\sum_{k=0}^{p-1}\binom{2k}{k}/2^k=(-1)^{(p-1)/2}-p^2E_{p-3} (mod p^3),$$ $$\sum_{k=1}^{(p-1)/2}\binom{2k}{k}/k=(-1)^{(p+1)/2}8/3*pE_{p-3} (mod p^2),$$ $$\sum_{k=0}^{(p-1)/2}\binom{2k}{k}^2/16^k=(-1)^{(p-1)/2}+p^2E_{p-3} (mod p^3)$$，其中E_0，E_1，E_2，.是欧拉数。我们的新方法是组合性质的。我们还制定了许多关于超同余关系的公式，并将其中大部分与欧拉数或伯努利数联系起来。受超同余研究的启发，我们还对$π^2$、$π^{-2}$和常数$K:=\sum_{k>0}(k/3)/k^2$（带（-）Jacobi符号）提出了7个新的级数猜想，其中两个是$$\sum_{k=1}^\infty(10k-3)8^k/(k^3\binom{2k}{k}^2\binom{3k}{k})=π^2/2$$和$$\sum_{k>0}(15k-4)(-27)^{k-1}/(k^3\binom{2k}{k}^2\binom{3k}k)=K.$$
2011-11-03 math.CO math.NT
New congruences for central binomial coefficients
设p是素数，a是正整数。在本文中，我们确定了$\sum_{k=0}^{p^a-1}\binom{2k}{k+d}/m^k$和$\sum_{k=1}^{p-1}\binom{2k}{k+d}/(km^{k-1})$模$p$，对于所有d=0，.，例如，我们证明了如果$p\not=2,5$，则$$\sum_{k=1}^{p-1}(-1)^k\frac{\binom{2k}k}k=-5\frac{F_{p-(\frac p5)}}p (mod p),$$，其中F_n是第n个Fibonacci数，（-）是Jacobi符号。我们还证明了当p>3时，有$$\sum_{k=1}^{p-1}\frac{\binom{2k}k}k={8/9} p^2B_{p-3} (mod p^3),$$，其中B_n表示n阶Bernoulli数.
2010-04-01 math.CO math.NT
Curious congruences for Fibonacci numbers
本文建立了中心二项式系数与斐波那契数的复杂同余关系。例如，我们证明了若$p\not=2,5$是素数，则$$\sum_{k=0}^{p-1}F_{2k}\binom{2k}{k}=(-1)^{[p/5]}(1-(p/5)) (mod p^2)$$和$$\sum_{k=0}^{p-1}F_{2k+1}\binom{2k}k=(-1)^{[p/5]}(p/5) (mod p^2).$$.我们还对其它一些二阶递归得到了类似的结果，并给出了几个推论.
2009-12-20 math.CO math.NT
Super-congruences involving trininomial coefficients
这项工作的目的是建立同余关系$\left( \operatorname{mod}p^{2}\right) $涉及三项式系数$\binom{np-1}{p-1}_{2}$和$\binom{np-1}{\left( p-1\right)/2}_{2}$所产生的多项式$1+x+x^{2}.$的幂的扩展在主要结果中，我们扩展了一些已知的同余关系涉及二项式系数$\binom{np-1}{p-1}$和$\binom{np-1}{\left( p-1\right) /2}$，并建立同余链接二项式系数和调和数。
2019-10-21 math.NT
Some new series for $1/π$ motivated by congruences
在本文中，我们推出了一个家庭的六个新系列的$1/π$ ;例如，$$\sum_{n=0}^\infty\frac{41673840n+4777111}{5780^n}W_n\left(\frac{1444}{1445}\right) =\frac{147758475}{\sqrt{95}\,π}$$其中$W_n(x)=\sum_{k=0}^n\binom nk\binom{n+k}k\binom{2k}k\binom{2(n-k)}{n-k}x^k$。为此，我们将我们的系列转换为Cooper在2012年研究的$$\sum_{n=0}^\infty\frac{an+b}{m^n}\sum_{k=0}^n\binom nk^4$$类型的系列。此外，我们还提出了由同余关系引起的$1/π$的$17$新级数，例如，我们猜想$$\sum_{k=0}^\infty\frac{4290k+367}{3136^k}\binom{2k}kT_k(14,1)T_k(17,16)=\frac{5390}π,$$，其中$T_k(b,c)$是$(x^2+bx+c)^k$展开式中$x^k$的系数.
2023-02-22 math.CO math.NT
A Stern-type congruence for the Schroder numbers
对于Schröder数$$ S_n=\sum_{k=0}^n\binom{n}k\binom{n+k}k\frac1{k+1}, $$，我们证明了$$ S_{n+2^α}\equiv S_{n}+2^{α+1}\pmod{2^{α+2}}, $$，其中$n\geq 1$和$α\geq 1$ .
2015-12-20 math.CO math.NT
Congruences involving the reciprocals of central binomial coefficients
我们提出了几个同余模幂的素数$p$关于以下类型的总和$\sum_{k=1}^{p-1}{m^k\over k^r}{2k\choose k}^{-1}$揭示了一些有趣的连接与类似的无穷级数。
2009-12-20 math.NT
Two congruences involving harmonic numbers with applications
调和数$H_n=\sum_{0<k\le n}1/k\ (n=0,1,2,\ldots)$在数学中起着重要的作用。设$p>3$为素数。借助于一些组合恒等式，我们建立了以下两个新的同余式：$$\sum_{k=1}^{p-1}\frac{\binom{2k}k}kH_k\equiv\frac13\left(\frac p3\right)B_{p-2}\left(\frac13\right)\pmod{p}$$和$$\sum_{k=1}^{p-1}\frac{\binom{2k}k}kH_{2k}\equiv\frac7{12}\left(\frac p3\right)B_{p-2}\left(\frac13\right)\pmod{p},$$，其中$B_n(x)$表示$n$次Bernoulli多项式.作为应用，我们确定了$\sum_{n=1}^{p-1}g_n$和$\sum_{n=1}^{p-1}h_n$模$p^3$，其中$$g_n=\sum_{k=0}^n\binom nk^2\binom{2k}k\quad\mbox{and}\quad h_n=\sum_{k=0}^n\binom nk^2C_k$$与$C_k=\binom{2k}k/(k+1)$ .
2016-02-24 math.CO math.NT
The Sufficient Set of Congruences of Binomial Coefficients for Primality
Abdullah Gul University（阿卜杜拉·居尔大学）
该研究证明整数p的素性等价于二项式系数模p的⌈(1/2)log₂p⌉个同余式，并将结果推广到其他类似同余式，为素性判定提供了新的充分条件。
2026-08-31 math.NT
Congruences for partial sums of the generating series for $\binom{3k}{k}$
我们对范围$0\le k<q$和$0\le k<q/3$上的和$\sum_k\binom{3k}{k}x^k$产生模素数$p>3$的同余，其中$q$是$p$的幂。这里$x$等于$c^2/(1-c)^3$或$4s^2/\bigl(27(s^2-1)\bigr)$，其中$c$和$s$是不确定的。在前一种情况下，我们更一般地处理移位二项式系数$\binom{3k+e}{k}$。我们的方法直接从相应系列的封闭形式推导出这样的同余式。
2022-10-12 math.NT
Various congruences involving binomial coefficients and higher-order Catalan numbers
设$p$是素数，$a$是正整数。本文研究了$\sum_{k=0}^{p^a-1}\binom[(h+1)k,k+d]/m^k$模一个素数$p$，其中$d$和$m$是整数，且$-h<d<=p^a$和$m\not=0 (mod p)$ .我们还研究了涉及高阶Catalan数$C_k^{(h)}=\binom[(h+1)k,k]/(hk+1)$和$\bar C_k^{(h)}=\binomal[(h+1)k,k]*h/(k+1)$的同余。我们的工具包括线性递归和三次剩余理论。文中给出了一些典型结果。(i)如果$p^a=1 (mod 6)$则$$\sum_{k=1}^{p^a-1}\binom[3k,k]/6^k=2^{(p^a-1)/3}-1 (mod p).$$也，$$\sum_{k=0}^{p^a-1}\binom[3k,k]/7^k=\cases-2&if p^a=\pm2 (mod 7), \\1&otherwise.$$（ii）我们有$$\sum_{k=1}^{p^a-1}\binom[4k,k]/5^k=\cases1 (mod p) if p\not=11 and p^a=1 (mod 5), \1/11 (mod p)&if p^a=2,3 (mod 5), \9/11 (mod p) if p^a=4 (mod 5). $$也，$$\sum_{k=0}^{p^a-1}C…
2009-09-28 math.CO math.NT
Congruences for Apéry numbers $β_{n}=\sum_{k=0}^{n}\binom{n}{k}^2\binom{n+k}{k}$
本文建立了Apéry数$β_{n}=\sum_{k=0}^{n}\binom{n}{k}^2\binom{n+k}{k}$ $(n=0,1,2,\ldots)$的几个同余.例如，我们证明了对于任意正整数$n$，$$\sum_{k=0}^{n-1}(11k^2+13k+4)β_k\equiv0\pmod{2n^2}$$是零，对于任意素数$p>3$，$$\sum_{k=0}^{p-1}(11k^2+13k+4)β_k\equiv 4p^2+4p^7B_{p-5}\pmod{p^8}$$是零，其中$B_{p-5}$是$(p-5)$ th Bernoulli数.给出了两类Aesthetic数$β_n$和$A_n=\sum_{k=0}^n\binom nk^2\binom{n+k}k^2$的同余性质之间的某些关系。
2020-06-21 math.NT
Jacobi polynomials and congruences involving some higher-order Catalan numbers and binomial coefficients
本文研究了二项式系数乘积和上的同余式，并利用雅可比多项式的性质证明了这类同余式。我们特别注意多项式同余包含Catalan数，二阶Catalan数，序列（\seqnum{A176898}）$S_n=\frac{{6n\choose 3n}{3n\choose 2n}}{2{2n\choose n}(2n+1)},$和二项式系数${3n\choose n}$和${4n\choose 2n}$。作为一个应用，我们讨论了Z的几种结构。W. Sun关于涉及$S_n$的和的同余的结果，我们证明了一个关于二项式系数${3n\choose n}$和的三次剩余性准则H.太阳
2015-12-18 math.NT
Some q-congruences related to 3-adic valuations
1992年Strauss，Shallit和Zagier证明了对任何正整数$a$，我们都有$$\sum_{k=0}^{3^a-1}\binom{2k}{k}=0 (mod 3^{2a})$$和$$3^{-2a}}\sum_{k=0}^{3^a-1}\binom{2k}k=1 (mod 3).$$。本文证明了Guo-Zeng猜想，并给出了后者的一个$q$ -模拟.
2009-10-26 math.CO math.NT
Combinatorial congruences modulo prime powers
设p是任意素数，a和n是非负整数。设$r\in Z$和$f(x)\in Z[x]$。我们建立了同余式$$p^{°f}\sum_{k=r(mod p^a)}\binom{n}{k}(-1)^k f((k-r)/p^a) =0 (mod p^{\sum_{i=a}^{\infty}[n/p^i]})$$（由代数拓扑引起的猜想激发），并获得以下卢卡斯定理的广泛推广：若a大于1，且$l,s,t$为非负整数且$s,t<p$，则有$$\frac{1}{[n/p^{a-1}]!} \sum_{k=r(mod p^a)} \binom{pn+s}{pk+t}(-1)^{pk}((k-r)/p^{a-1})^l =\frac {1}{[n/p^{a-1}]!} \sum_{k=r(mod p^a)}\binom{n}{k}\binom{s}{t}(-1)^k((k-r)/p^{a-1})^l (mod p).$$我们还给出了第一同余式在伯努利多项式中的应用，并应用第二个同余式证明了当p=2时，可以得到作者在前一篇文章中给出的一个p-adic序界.
2007-07-25 math.CO math.NT
Some congruences involving central q-binomial coefficients
受Sun和Tauraso最近工作的启发，我们证明了一些涉及中心q-二项式系数的Green-Krammer恒等式的变体，如$$ \sum_{k=0}^{n-1}(-1)^kq^{-{k+1\choose 2}}{2k\brack k}_q \equiv (\frac{n}{5}) q^{-\lfloor n^4/5\rfloor} \pmod{Φ_n(q)}, $$，其中$\big(\frac{n}{p}\big)$是Legendre符号，$Φ_n(q)$是$n$ th分圆多项式.作为结果，我们推导出，$$ \sum_{k=0}^{3^a m-1} q^{k}{2k\brack k}_q &\equiv 0 \pmod{(1-q^{3^a})/(1-q)}, \sum_{k=0}^{5^a m-1}(-1)^kq^{-{k+1\choose 2}}{2k\brack k}_q &\equiv 0 \pmod{(1-q^{5^a})/(1-q)}, $$为$a,m\geq 1$，第一个是一个部分q模拟的Strauss-Shallit-Zagier同余模幂为3。提出了几种相关的解决方案。
2010-01-31 math.CO math.NT
Some $q$-congruences involving central $q$-binomial coefficients
假设$p$是奇素数，$m$是不能被$p$整除的整数。孙和陶拉索[高级应用数学，45（2010），125- 148]给出了所有$d=0,1, \ldots n$和$n= p^a$的$\sum_{k=0}^{n-1}\binom{2k}{k+d}/m^k$和$\sum_{k=0}^{n-1}\binom{2k}{k+d}/(km^k)$模$p$，其中$a$是正整数。本文在$m=2, 4$对任意正整数$n$的情形下给出了这些同余的$q$ -类似.
2021-10-20 math.NT
A new series for $π^3$ and related congruences
令$H_n^{(2)}$表示$n=0,1,2,\ldots$的二阶谐波数$\sum_{0<k\le n}1/k^2$。在本文中，我们得到以下身份：$$\sum_{k=1}^\infty\frac{2^kH_{k-1}^{(2)}}{k\binom{2k}k}=\frac{π^3}{48}.$$我们解释了我们如何发现的系列和发展相关的同余涉及伯努利或欧拉数，例如，它表明，$$\sum_{k=1}^{p-1}\frac{\binom{2k}k}{2^k}H_k^{(2)}\equiv-E_{p-3}\pmod{p}$$的任何总理$p>3$，其中$E_0,E_1,E_2,\ldots$是欧拉数。受Amdeberhan-Zeilberger恒等式$\sum_{k=1}^\infty(21k-8)/(k^3\binom{2k}k^3)=π^2/6$的启发，我们还建立了每个素数$p>3$的同余式$$\sum_{k=1}^{(p-1)/2}\frac{21k-8}{k^3\binom{2k}k^3}\equiv(-1)^{(p+1)/2}4E_{p-3}\pmod p$$.
2015-10-20 math.CO math.NT
Structured Solutions of Prime-Base Binomial Congruences
Universidade Federal Rural de Pernambuco（伯南布哥联邦农村大学）
研究素数基 q 下二项式同余式 C(qn, n) ≡ q^n (mod n) 的解结构，将解 n = q^t p 转化为模 p 同余和数字和不等式两个独立条件，并用于生成新解及证明平方解与 Wieferich 素数等价。
2026-06-29 math.CO math.NT
Factors of certain sums involving central q-binomial coefficients
最近，Ni和Pan证明了关于中心$q$ -二项式系数的和的一个$q$ -同余式，这是由Guo证明的.本文给出了这个$q$ -同余式的一个推广，并证明了另一个$q$ -同余式，该同余式也是由Guo提出的.我们的证明使用Ni和潘的技术和一个简单的$q$ -同余郭和Schlosser观察。
2021-02-03 math.NT
Supercongruences on some binomial sums involving Lucas sequences
本文证明了Sun关于二项和整除性的几个证明同余。例如，借助于二次超几何变换，我们证明了对于任何素数$p\equiv 7\mod{8}$，$$ \sum_{k=0}^{p-1}\binom{p-1}k\binom{2k}k^2\frac{P_k}{8^k}\equiv0\pmod{p^2} $$，其中$P_k$是$k$ -th Pell数。此外，我们还提出了三个新的同类型的同余。
2016-11-11 math.CO math.NT
Congruences concerning Legendre polynomials III
设$p>3$为素数，$R_p$为分母与$p$互质的有理数集合。令$\{P_n(x)\}$为勒让德多项式。本文主要证明了对于具有$m\not\e 0\pmod p$的$m,n,t\in R_p$，有$$\align &P_{[\frac p6]}(t) \e -\Big(\frac 3p\Big)\sum_{x=0}^{p-1}\Big(\frac{x^3-3x+2t}p\Big)\pmod p, &\Big(\sum_{x=0}^{p-1}\Big(\frac{x^3+mx+n}p\Big)\Big)^2\equiv \Big(\frac{-3m}p\Big) \sum_{k=0}^{[p/6]}\binom{2k}k\binom{3k}k\binom{6k}{3k} \Big(\frac{4m^3+27n^2}{12^3\cdot 4m^3}\Big)^k\pmod p,$$，其中$(\frac ap)$是Legendre符号，$[x]$是最大整数函数.作为应用，我们解决了Z.W. Sun和作者关于$\sum_{k=0}^{p-1}\binom{2k}k\binom{3k}k\binom{6k}{3k}/m^k\pmod {p^2}$，其中$m$是不能被$p$整除的整数。
2012-10-25 math.CO math.NT
Super congruences concerning binomial coefficients and Apéry-like numbers
设$p$是一个素数，其上有$p>3$，$a,b$是两个有理数$p-$.本文给出了$\sum_{k=0}^{p-1}\binom ak\binom{-1-a}k\frac p{k+b}\pmod {p^2}$的一般同余式.对于$n=0,1,2,\ldots$，令$D_n$和$b_n$分别为Domb和Almkvist-Zudilin数。我们还建立了$$\sum_{n=0}^{p-1}\frac{D_n}{16^n},\quad \sum_{n=0}^{p-1}\frac{D_n}{4^n}, \quad \sum_{n=0}^{p-1}\frac{b_n}{(-3)^n},\quad \sum_{n=0}^{p-1}\frac{b_n}{(-27)^n}\pmod {p^2}$$在某些二元二次型方面的同余。
2020-02-27 math.NT
Proof of some congruence conjectures of Guo and Liu
令$n$和$r$为正整数。用$S_n^{(r)}=\sum_{k=0}^n\binom{n}{k}^2\binom{2k}{k}(2k+1)^r.$定义数$S_n^{(r)}$本文证明了Guo和Liu的几个定理，它们推广了Z. W. Sun \cite{Su1}，例如：存在与$n$无关的整数$a_{2r-1}$和$b_r$，使得$$a_{2r-1}\sum_{k=0}^{n-1}S_k^{(2r-1)}\equiv0\pmod{n^2}\ \mbox{and}\ b_r\sum_{k=0}^{n-1}kS_k^{(r)}\equiv0\pmod{n^2}.$$通过Zeilberger算法，我们发现对所有的$0\leq j<n$，$$(2j+1)\binom{2j}j\sum_{k=j}^{n-1}(2k-j+1)\binom kj^2\equiv0\pmod{n^2}.$$
2018-12-10 math.CO math.NT
Some Congruences Involving Binomial Coefficient and Fermat Quotient
MOE-LCSM, School of Mathematics and Statistics, Hunan Normal University（湖南师范大学数学与统计学院）
本文研究了涉及二项式系数和费马商的某些同余式，探讨了相关求和形式的性质。
2025-12-01 math.NT
p-adic congruences motivated by series
让$p>5$是一个素数。受已知公式$\sum_{k=1}^\infty(-1)^k/(k^3\binom{2k}{k})=-2ζ(3)/5$和$\sum_{k=0}^\infty \binom{2k}{k}^2/((2k+1)16^k)=4G/π$的启发，$ (where $ G= \sum_{k=0}^\ infty（-1）^k/（2k+1）^2 $ is the Catalan constant), we show that $ $\sum_{k=1}^{(p-1)/2}\frac{(-1)^k}{k^3\binom{2k}{k}}\equiv-2B_{p-3}\pmod{p},$ $ $ $\sum_{k=(p+1)/2}^{p-1}\frac{\binom{2k}{k}^2}{(2k+1)16^k}\equiv-\frac 7{4}p^2B_{p-3}\pmod{p^3}$ $, and $ $\sum_{k=0}^{(p-3)/2}\frac{\binom{2k}{k}^2}{(2k+1)16^k} \equiv-2q_p(2)-pq_p(2)^2+\frac{5}{12}p^2B_{p-3}\pmod{p^3},$ $ where $ B_0，B_1，\ldots $ are Bernoulli numbers and $ q_p（2）$ is the Fermat q…
2013-12-03 math.CO math.NT
Some congruences for the second-order Catalan numbers
设p为任意奇素数。主要证明了$$\sum_{k=1}^{p-1}binomial(3k,k)*2^k/k=0 (mod p)$$和$$\sum_{k=1}^{p-1}2^{k-1}C_k^{(2)}=(-1)^{(p-1)/2}-1 (mod p),$$，其中$C_k^{(2)}=binomial(3k,k)/(2k+1)$是$k$阶Catalan数.
2009-09-27 math.CO math.NT
A refinement of a congruence result by van Hamme and Mortenson
设$p$为奇素数。2008年E. Mortenson证明了van Hamme的猜想：$$\sum_{k=0}^{(p-1)/2}(4k+1)\binom{-1/2}k^3\equiv (-1)^{(p-1)/2}p\pmod{p^3}.$$本文进一步证明了\begin{align*}\sum_{k=0}^{p-1}(4k+1)\binom{-1/2}k^3\equiv &\sum_{k=0}^{(p-1)/2}(4k+1)\binom{-1/2}k^3 \\\equiv & (-1)^{(p-1)/2}p+p^3E_{p-3} \pmod{p^4},\end{align*}，其中$E_0,E_1,E_2,\ldots$是欧拉数.我们还证明了，如果$p>3$，那么$$\sum_{k=0}^{(p-1)/2}\frac{20k+3}{(-2^{10})^k}\binom{4k}{k,k,k,k}\equiv(-1)^{(p-1)/2}p(2^{p-1}+2-(2^{p-1}-1)^2)\pmod{p^4}.$$
2014-02-18 math.CO math.NT
Congruences for sums involving $\binom{rk}{k}$
Università di Milano–Bicocca（米兰比可卡大学）；Università di Roma “Tor Vergata”（罗马托维加塔大学）
研究了模$p$下形式为$\sum_k\binom{rk}{k}x^k/k$的有限和的同余性质，通过两种互补方法获得模$p^2$下的同余式，用有限多项式对数表达式表示。
2026-03-16 math.NT
Super congruences involving Bernoulli and Euler polynomials
令$p>3$是素数，并且令$a$是有理p-adic整数。令$\{B_n(x)\}$和$\{E_n(x)\}$分别表示伯努利多项式和欧拉多项式。在本文中，我们证明了$$\sum_{k=0}^{p-1}\binom ak\binom{-1-a}k\equiv (-1)^{\langle a\rangle_p}+ p^2t(t+1)E_{p-3}(-a)\pmod{p^3}$$和$a\not\equiv -\frac 12\pmod p$，$$\sum_{k=0}^{p-1}\binom ak\binom{-1-a}k\frac 1{2k+1}\equiv \frac{1+2t}{1+2a} +p^2\frac{t(t+1)}{1+2a}B_{p-2}(-a)\pmod{p^3},$$，其中$\langle a\rangle_p\in\{0,1,\ldots,p-1\}$满足$a\equiv \langle a\rangle_p\pmod p$和$t=(a-\langle a\rangle_p)/p$。取$a=-\frac 13,-\frac 14,-\frac 16$在上述同余式中，我们解出了Z.W.太阳本文还建立了$\sum_{k=0}^{p-1}k\binom ak\binom{-1-a}k,\ \sum_{k=0}^{p-1}\binom ak\binom{-1-a}k\frac…
2014-07-28 math.NT
Congruences of multiple sums involving invariant sequences under binomial transform
我们将证明几个同余模幂的素数，如$$ \sum_{0<k_1<...<k_{n}<p}\leg{p-k_{n}}{3} {(-1)^{k_{n}}\over k_1... k_{n}}\equiv {lll} -{2^{n+1}+2\over 6^{n+1}} p B_{p-n-1}({1\over 3}) &\pmod{p^2} &{if $n$ is odd} -{2^{n+1}+4\over n6^n} B_{p-n}({1\over 3}) &\pmod{p} &{if $n$ is even}. $$其中$n$是一个正整数和$p$是素数，使$p>\max(n+1,3)$。
2009-11-05 math.NT
Proof of some conjectural congruences involving Domb numbers
本文主要证明了Z. H. Sun \cite{SH2}：设$p>3$为素数。如果是$p\equiv1\pmod3$和$p=x^2+3y^2$，则有$$ \sum_{k=0}^{p-1}\frac{D_k}{4^k}\equiv\sum_{k=0}^{p-1}\frac{D_k}{16^k}\equiv4x^2-2p-\frac{p^2}{4x^2}\pmod{p^3}, $$，如果是$p\equiv2\pmod3$，则有$$ \sum_{k=0}^{p-1}\frac{D_k}{4^k}\equiv-2\sum_{k=0}^{p-1}\frac{D_k}{16^k}\equiv\frac{p^2}2\binom{\frac{p-1}2}{\frac{p-5}6}^{-2} \pmod{p^3}, $$，其中$D_n=\sum_{k=0}^n\binom{n}k^2\binom{2k}k\binom{2n-2k}{n-k}$代表第$n$个Domb数。
2021-12-10 math.CO math.NT
New conjectures involving binomial coefficients and Apéry-like numbers
本文对二项式系数与Apéry-like数模$p^3$的和的同余关系进行了大量的研究，其中$p$是奇素数.
2021-12-06 math.CO math.NT
Some conjectures on congruences
设$p$为奇素数。本文收集了作者关于模$p$或$p^2$同余的各种理论，涉及到二项式系数和、Lucas序列、幂剩余和特殊的二元二次型。
2013-02-06 math.CO math.NT
Modular forms, hypergeometric functions and congruences
使用理论的Stienstra和Beukers，我们证明了各种基本同余的数字\sum \binom{2i_1}{i_1}^2 \binom{2i_2}{i_2}^2. \binom{2i_k}{i_k}^2，其中k，n为\in N，并且求和是在整数i_1，i_2，. i_k >= 0，使得i_1+i_2+.+ i_k=n.为了得到这一点，我们研究了某些（弱全纯）模形式的傅里叶系数的算术性质。
2013-01-15 math.NT
