Kevin O'Bryant
Zhi-Wei Sun conjectures if k congruence classes are disjoint, then two of the moduli have greatest common divisor at least as large as k. We prove this conjecture for k strictly less than 21.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
For a positive integer $n$ let $H_n=\sum_{k=1}^{n}1/k$ be the $n$th harmonic number. In this note we prove that for any prime $p\ge 7$, $$ \sum_{k=1}^{p-1}\frac{H_k^2}{k^2} \equiv4/5pB_{p-5}\pmod{p^2}, $$ which confirms the conjecture recently proposed by Z. W. Sun. Furthermore, we also prove two similar congruences modulo $p^2$.
Sun-type determinant and permanent congruences
本文统一处理Sun提出的关于模素数剩余类上行列式和永久式的猜想，通过行列式论证、Cauchy核和Cayley核的永久式恒等式等工具，证明了多个猜想并给出了p^2和p^3模的同余式。
Twisted Lubin-Tate Big Witt Vectors and Fleck-Sun-Wan Congruences
本文构造了与扭曲 Lubin-Tate 形式群相关的大 Witt 理论，引入 Fleck 算子并证明了 Fleck-Sun-Wan 同余式的 Lubin-Tate 类比，推广了现有 Witt 理论。
The Apery polynomials are defined by $A_n(x)=\sum_{k=0}^{n}{n\choose k}^2{n+k\choose k}^2 x^k$ for all nonnegative integers $n$. We confirm several conjectures of Z.-W. Sun on the congruences for the sum $\sum_{k=0}^{n-1}(-1)^k(2k+1) A_k(x)$ with $x\in Z$.
For all nonnegative integers n, the Franel numbers are defined as $$ f_n=\sum_{k=0}^n {n\choose k}^3.$$ We confirm two conjectures of Z.-W. Sun on congruences for Franel numbers: \sum_{k=0}^{n-1}(3k+2)(-1)^k f_k &\equiv 0 \pmod{2n^2}, \sum_{k=0}^{p-1}(3k+2)(-1)^k f_k &\equiv 2p^2 (2^p-1)^2 \pmod{p^5}, where n is a positive integer and p>3 is a prime.
In this paper, we generalise a congruence which proved by V. J.-W. Guo and J. Zeng \cite{gz-jnt-2012} involving Apéry numbers, and we obtain a congruence involving Franel numbers which confirms a congruence conjecture of Z.-W. Sun \cite[Conjecture 57(ii)]{sun-njdx-2019}.
Let $p$ be an odd prime. In the paper, by using the properties of Legendre polynomials we prove some congruences for $\sum_{k=0}^{\frac{p-1}2}\binom{2k}k^2m^{-k}\mod {p^2}$. In particular, we confirm several conjectures of Z.W. Sun. We also pose 13 conjectures on supercongruences.
A Determinant Congruence Conjectured by Sun
本文证明了孙氏关于二元二次型行列式的一个加强形式猜想，通过分析范德蒙德因子和模p矩阵的秩，得到了复合数和素数情况下的同余结论。
In this paper, we prove two conjectures of 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,$$ and $$\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},$$ where $p>3$ is a prime and $E_0,E_1,E_2,\cdots$ are Euler numbers.
A Congruence Conjecture of Z.-W. Sun for Reciprocal Central Binomial Sums
该论文证明了Z.-W. Sun关于素数p>5的倒数中心二项式系数和的一个同余猜想，并推导出等价猜想，证明结合了p-adic同余、有限和恒等式与留数定理。
Based on a $q$-congruence of the author and Petrov, we set up a $q$-analogue of Sun--Tauraso's congruence for sums of Catalan numbers, which extends a $q$-congruence due to Tauraso.
In 2004, Zhi-Wei Sun posed the following conjecture: If a_1G_1,...,a_kG_k (k>1) are finitely many pairwise disjoint left cosets in a group G with all the indices [G:G_i] finite, then for some 1\le i<j\le k, the greatest common divisor of [G:G_i] and [G:G_j] is at least k. In this paper, we confirm Sun's conjecture for k=3,4.
Proof of some congruence conjectures of Z.-H. Sun involving Apéry-like numbers
该研究证明了孙智宏提出的一个涉及类Apéry数的素数模p⁴同余猜想，明确了含Franel数的求和式与Euler数的同余关系。
In recent years, Z.-W. Sun proposed several sophisticated conjectures on congruences for finite sums with terms involving combinatorial sequences such as central trinomial coefficients, Domb numbers and Franel numbers. These sums are double summations of hypergeometric terms. Using the telescoping method and certain mathematical software packages, we transform such a double summation into a single sum. With this new approach, we confirm several open conjectures of Sun.
In this paper, we establish some Fleck-Weisman type and Davis-Sun type congruences for the Stirling numbers and the Eulerian numbers.
For a positive integer $n$ let $H_n=\sum_{k=1}^{n}1/k$ be the $n$th harmonic number. Z. W. Sun conjectured that for any prime $p\ge 5$, $$ \sum_{k=1}^{p-1}\frac{H_k}{k\cdot 2^k} \equiv7/24pB_{p-3}\pmod{p^2}. $$ This conjecture is recently confirmed by Z. W. Sun and L. L. Zhao. In this note we give another proof of the above congruence by establishing congruences for all the sums of the form $\sum_{k=1}^{p-1}2^{\pm k}H_k^r/k^s \,(\bmod{\, p^{4-r-s}})$ with $(r,s)\in\{(1,1),(1,2),(2,1) \}$.
In this paper we establish a $q$-analogue of a congruence of Sun concerning the products of binomial coefficients modulo the square of a prime.
In this note, by the umbra calculus method, the Sun and Zagier's congruences involving the Bell numbers and the derangement numbers are generalized to the polynomial cases. Some special congruences are also provided.
Proof of two congruence conjectures of Z.-W. Sun
本文主要证明了Z.-W. Sun提出的两个同余猜想，给出了在特定素数条件下关于二项式系数平方和的两个同余关系的严格证明。
We establish a $q$-analogue of Sun--Zhao's congruence on harmonic sums. Based on this $q$-congruence and a $q$-series identity, we prove a congruence conjecture on sums of central $q$-binomial coefficients, which was recently proposed by Guo. We also deduce a $q$-analogue of a congruence due to Apagodu and Zeilberger from Guo's $q$-congruence.
Via symbolic summation method, we establish the following series for $π^2$: \begin{align*} \sum_{k=1}^\infty \frac{H_k-2H_{2k}}{(-3)^k k} = \frac{π^2}{18}, \end{align*} where $H_k=\sum_{j=1}^k 1/j$. We also derive a $p$-adic congruence related to this series. As an application, we prove two congruences involving Franel numbers, one of which was originally conjectured by Sun.
On two congruence conjectures of Z.-W. Sun involving Franel numbers
本文证明了孙智伟关于Franel数的两个同余猜想，涉及素数p的表示与模p^2和p^3的同余式。
The harmonic numbers $H_n=\sum_{0<k\ls n}1/k\ (n=0,1,2,\ldots)$ play important roles in mathematics. With helps of some combinatorial identities, we establish the following two congruences: $$\sum_{k=0}^{\frac{p-3}2}\f{\binom{2k}k^2H_k}{(2k+1)16^k}\ \mbox{modulo}\ p^2\ \mbox{and}\ \sum_{k=0}^{\frac{p-3}2}\f{\binom{2k}k^2H_{2k}}{(2k+1)16^k}\ \mbox{modulo}\ p$$ for any prime $p>3$, the second one was conjectured by Z.-W. Sun in 2012. These two congruences are very important to prove the following conjectures of Z.W.Sun: For any old prime $p$, we have $$\sum_{k=0}^{p-1}\frac{P_k}{8^k}\equiv1+2\bi…
Let $n$ be a nonnegative integer. The $n$-th Apéry number is defined by $$ A_n:=\sum_{k=0}^n\binom{n+k}{k}^2\binom{n}{k}^2. $$ Z.-W. Sun ever investigated the congruence properties of Apéry numbers and posed some conjectures. For example, Sun conjectured that for any prime $p\geq7$ $$ \sum_{k=0}^{p-1}(2k+1)A_k\equiv p-\frac{7}{2}p^2H_{p-1}\pmod{p^6} $$ and for any prime $p\geq5$ $$ \sum_{k=0}^{p-1}(2k+1)^3A_k\equiv p^3+4p^4H_{p-1}+\frac{6}{5}p^8B_{p-5}\pmod{p^9}, $$ where $H_n=\sum_{k=1}^n1/k$ denotes the $n$-th harmonic number and $B_0,B_1,\ldots$ are the well-known Bernoulli numbers. In this…
The Delannoy polynomial $D_n(x)$ is defined by $$ D_n(x)=\sum_{k=0}^{n}{n\choose k}{n+k\choose k}x^k. $$ We prove that, if $x$ is an integer and $p$ is a prime not dividing $x(x+1)$, then \begin{align*} \sum_{k=0}^{p-1}(2k+1)D_k(x)^3 &\equiv p\left(\frac{-4x-3}{p}\right) \pmod{p^2}, \\ \sum_{k=0}^{p-1}(2k+1)D_k(x)^4 &\equiv p \pmod{p^2}, \\ \sum_{k=0}^{p-1}(-1)^k(2k+1)D_k(x)^3 &\equiv p\left(\frac{4x+1}{p}\right) \pmod{p^2}, \end{align*} where $\big(\frac{\cdot}{p}\big)$ denotes the Legendre symbol. The first two congruences confirm a conjecture of Z.-W. Sun [Sci. China 57 (2014), 1375--1400].…
$q$-Congruences for Z.-W. Sun's generalized polynomials $w^{(α)}_k(x)$
本文利用 $q$-同余式方法证明 Z.-W. Sun 广义多项式 $w^{(α)}_k(x)$ 的多类加权和均属于整系数多项式环，并由此证实 Sun 的若干猜想。
Let $n$ and $r$ be positive integers. Define the numbers $S_n^{(r)}$ by $S_n^{(r)}=\sum_{k=0}^n\binom{n}{k}^2\binom{2k}{k}(2k+1)^r.$ In this paper we prove some conjectures of Guo and Liu which extend some conjectures of Z.-W. Sun \cite{Su1}, such as: There exist integers $a_{2r-1}$ and $b_r$, independent of $n$, such that $$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}.$$ By Zeilberger algorithm, we find that for all $0\leq j<n$, $$(2j+1)\binom{2j}j\sum_{k=j}^{n-1}(2k-j+1)\binom kj^2\equiv0\pmod{n^2}.$$
The Sun polynomials $g_n(x)$ are defined by \begin{align*} g_n(x)=\sum_{k=0}^n{n\choose k}^2{2k\choose k}x^k. \end{align*} We prove that, for any positive integer $n$, there hold \begin{align*} &\frac{1}{n}\sum_{k=0}^{n-1}(4k+3)g_k(x) \in\mathbb{Z}[x],\quad\text{and}\\ &\sum_{k=0}^{n-1}(8k^2+12k+5)g_k(-1)\equiv 0\pmod{n}. \end{align*} The first one confirms a recent conjecture of Z.-W. Sun, while the second one partially answers another conjecture of Z.-W. Sun. We give three different proofs of the former. One of them depends on the following congruence: $$ {m+n-2\choose m-1}{n\choose m}{2n\ch…
In this paper, we confirm several conjectured congruences of Sun concerning the divisibility of binomial sums. For example, with help of a quadratic hypergeometric transformation, we prove that $$ \sum_{k=0}^{p-1}\binom{p-1}k\binom{2k}k^2\frac{P_k}{8^k}\equiv0\pmod{p^2} $$ for any prime $p\equiv 7\mod{8}$, where $P_k$ is the $k$-th Pell number. Further, we also propose three new congruences of the same type.
Supercongruences for Domb numbers
本文证明了Sun关于Domb数的两个超同余猜想，通过模周期和复乘理论，在惰性素数处得到模p^2可除性，在分裂素数处得到模p^3同余。
Building on work of Zhi-Hong Sun, we establish congruences for the special harmonic numbers $H_\lfloor p/9 \rfloor$ and $H_{\lfloor p/18 \rfloor}$ modulo $p$, which contain respectively three and four distinct arithmetic components. We also obtain a complete determination modulo $p$ of the corresponding families of sums of reciprocals of the type studied by Dilcher and Skula. Applications to the first case of Fermat's Last Theorem are considered.
In this paper we prove three conjectures on congruences involving central binomial coefficients or Lucas sequences. Let $p$ be an odd prime and let $a$ be a positive integer. We show that if $p\equiv 1\pmod{4}$ or $a>1$ then $$ \sum_{k=0}^{\lfloor\frac34p^a\rfloor}\binom{-1/2}k\equiv\left(\frac{2}{p^a}\right)\pmod{p^2}, $$ where $(-)$ denotes the Jacobi symbol. This confirms a conjecture of the second author. We also confirm a conjecture of R. Tauraso by showing that $$\sum_{k=1}^{p-1}\frac{L_k}{k^2}\equiv0\pmod{p}\quad {\rm provided}\ \ p>5,$$ where the Lucas numbers $L_0,L_1,L_2,\ldots$ are …
Let $p>3$ be a prime and let $a$ be a positive integer. We show that if $p\equiv1\pmod 4$ or $a>1$ then $$\sum_{k=0}^{\lfloor\frac34p^a\rfloor}\frac{\binom{2k}k^2}{16^k}\equivł(\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&ł(\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}\bin…
Two determinant evaluations in Sun's conjectures involving Legendre symbols
通过约简四元行列式到相邻余子式的四元逆包，证明了Sun关于Legendre符号矩阵猜想中的第一个行列式求值，并给出了第二个行列式模p的一致精确同余式。
In this paper, we prove two supercongruences by the Wilf-Zeilberger method. One of them is, for any prime $p>3$, \begin{align*} \sum_{n=0}^{(p-1)/2}\frac{3n+1}{(-8)^n}\binom{2n}n^3\equiv p\left(\frac{-1}p\right)+\frac{p^3}4\left(\frac2p\right)E_{p-3}\left(\frac14\right)\pmod{p^4}, \end{align*} where $\left(\frac{\cdot}p\right)$ stands for the Legendre symbol, and $E_{n}(x)$ are the Euler polynomials. This congruence confirms a conjecture of Sun \cite[(2.18)]{sun-numb-2019} with $n=1$.
The numbers $R_n$ and $W_n$ are defined as \begin{align*} R_n=\sum_{k=0}^{n}{n+k\choose 2k}{2k\choose k}\frac{1}{2k-1},\ \text{and}\ W_n=\sum_{k=0}^{n}{n+k\choose 2k}{2k\choose k}\frac{3}{2k-3}. \end{align*} We prove that, for any positive integer $n$ and odd prime $p$, there hold \begin{align*} \sum_{k=0}^{n-1}(2k+1)R_k^2 &\equiv 0 \pmod{n}, \\ \sum_{k=0}^{p-1}(2k+1)R_k^2 &\equiv 4p(-1)^{\frac{p-1}{2}} -p^2 \pmod{p^3}, \\ 9\sum_{k=0}^{n-1}(2k+1)W_k^2 &\equiv 0 \pmod{n}, \\ \sum_{k=0}^{p-1}(2k+1)W_k^2 &\equiv 12p(-1)^{\frac{p-1}{2}}-17p^2 \pmod{p^3}, \quad\text{if $p>3$.} \end{align*} The firs…
The polynomials $d_n(x)$ are defined by \begin{align*} d_n(x) &= \sum_{k=0}^n{n\choose k}{x\choose k}2^k. \end{align*} We prove that, for any prime $p$, the following congruences hold modulo $p$: \begin{align*} \sum_{k=0}^{p-1}\frac{2k\choose k}{4^k} d_k\left(-\frac{1}{4}\right)^2 &\equiv \begin{cases} 2(-1)^{\frac{p-1}{4}}x,&\text{if $p=x^2+y^2$ with $x\equiv 1\pmod{4}$,} 0,&\text{if $p\equiv 3\pmod{4}$,} \end{cases} [5pt] \sum_{k=0}^{p-1}\frac{2k\choose k}{4^k} d_k\left(-\frac{1}{6}\right)^2 &\equiv 0, \quad\text{if $p>3$,} [5pt] \sum_{k=0}^{p-1}\frac{2k\choose k}{4^k} d_k\left(\frac{1}{4}\r…
Supercongruences involving products of two binomial coefficients modulo $p^4$
本文证明了关于两个二项式系数乘积的超同余式模p⁴的猜想，涉及调和数和二项式系数的求和问题。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。