In this paper, we study some supercongruences involving the sequence $$ t_n(x)=\sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}2^k $$ and solve some open problems. For any odd prime $p$ and $p$-adic integer $x$, we determine $\sum_{n=0}^{p-1}t_n(x)^2$ and $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$ modulo $p^2$; for example, we establish that
\begin{align*}
\sum_{n=0}^{p-1}t_n(x)^2\equiv\begin{cases}
\left(\dfrac{-1}{p}\right)\pmod{p^2},&\text{if }2x\equiv-1\pmod{p},\\[8pt]
(-1)^{\langle x\rangle_p}\dfrac{p+2(x-\langle x\rangle_p)}{2x+1}\pmod{p^2},&\text{otherwise,}
\end{cases}
\end{align*} where $\langle x\rangle_p$ denotes the least nonnegative residue of $x$ modulo $p$. This confirms a conjecture of Z.-W. Sun.
academic- ID de l'article: 2510.11338
- Titre: On some conjectural supercongruences involving the sequence tn(x)
- Auteurs: Hui-Li Han, Chen Wang
- Classification: math.NT (Théorie des nombres), math.CO (Combinatoire)
- Date de publication: 13 octobre 2025
- Lien de l'article: https://arxiv.org/abs/2510.11338
Cet article étudie les supercongruences impliquant la suite tn(x)=∑k=0n(kn)(kx)(kx+k)2k et résout plusieurs problèmes ouverts. Pour tout nombre premier impair p et tout entier p-adique x, les auteurs déterminent les valeurs modulo p2 de ∑n=0p−1tn(x)2 et ∑n=0p−1(n+1)tn(x)2. En particulier, ils démontrent que :
undefined