2025-11-25T06:40:17.532535

On some conjectural supercongruences involving the sequence $t_n(x)$

Han, Wang
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

On some conjectural supercongruences involving the sequence tn(x)t_n(x)

Basic Information

  • Paper ID: 2510.11338
  • Title: On some conjectural supercongruences involving the sequence tn(x)t_n(x)
  • Authors: Hui-Li Han, Chen Wang
  • Classification: math.NT (Number Theory), math.CO (Combinatorics)
  • Publication Date: October 13, 2025
  • Paper Link: https://arxiv.org/abs/2510.11338

Abstract

This paper investigates supercongruences involving the sequence tn(x)=∑k=0n(nk)(xk)(x+kk)2kt_n(x)=\sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}2^k and resolves several open problems. For any odd prime pp and pp-adic integer xx, the authors determine the values of ∑n=0p−1tn(x)2\sum_{n=0}^{p-1}t_n(x)^2 and ∑n=0p−1(n+1)tn(x)2\sum_{n=0}^{p-1}(n+1)t_n(x)^2 modulo p2p^2. In particular, they prove:

\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}$$ where $\langle x\rangle_p$ denotes the least non-negative residue of $x$ modulo $p$. This confirms a conjecture of Zhi-Wei Sun. ## Research Background and Motivation 1. **Problem Origin**: The research originates from Apéry-type numbers introduced by Kimoto and Wakayama in 2006 when studying special values of spectral zeta functions: $$J̃_2(n) := \sum_{k=0}^n \binom{n}{k}(-1)^k\binom{-1/2}{k}^2$$ 2. **Theoretical Importance**: Supercongruences are important research objects in number theory, particularly those involving binomial coefficients, which have deep connections with special functions, modular forms, and related theories. 3. **Limitations of Existing Work**: Although Long, Osburn, and Swisher confirmed the Kimoto-Wakayama conjecture in 2016, many problems regarding supercongruences for more general polynomial sequences $S_n(x,y)$ remain unresolved. 4. **Research Motivation**: Zhi-Wei Sun introduced the polynomial sequence $S_n(x,y) := \sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{-1-x}{k}y^k$ and proposed several conjectures concerning the special case $t_n(x) = S_n(x,-2)$. This paper aims to resolve these open problems. ## Core Contributions 1. **Proved Sun's main conjecture**: Completely determined the value of $\sum_{n=0}^{p-1}t_n(x)^2$ modulo $p^2$ (Theorem 1.1) 2. **Established supercongruences for weighted sums**: Provided exact formulas for $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$ modulo $p^2$ (Theorem 1.2) 3. **Resolved four specific supercongruence conjectures**: Confirmed Conjecture 1.1 involving special parameter values (Corollary 1.1) 4. **Discovered important combinatorial identities**: Established closed-form formulas for two double sums, which have independent value ## Detailed Methodology ### Task Definition The research task is to determine the exact values modulo $p^2$ of the sums $\sum_{n=0}^{p-1}t_n(x)^2$ and $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$ involving the sequence $t_n(x) = \sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}2^k$, where $p$ is an odd prime and $x$ is a $p$-adic integer. ### Core Technical Methods #### 1. $p$-adic Expansion Technique Key Lemma 2.1 provides the $p$-adic expansion of $\binom{x}{k}\binom{x+k}{k}$: For $m = \langle x \rangle_p \leq (p-1)/2$: - When $0 \leq k \leq m$: $\binom{x}{k}\binom{x+k}{k} \equiv \binom{m}{k}\binom{m+k}{k}(1 + ptH_{m+k} - ptH_{m-k}) \pmod{p^2}$ - When $p-m \leq k \leq p-1$: $\binom{x}{k}\binom{x+k}{k} \equiv 0 \pmod{p^2}$ #### 2. Establishment of Combinatorial Identities Through Beta function integral representations and Pfaff transformations, the authors proved key double sum formulas: **Lemma 2.2**: $$\sum_{k=0}^n\sum_{l=0}^n\binom{n}{k}\binom{n+k}{k}\binom{n}{l}\binom{n+l}{l}\frac{(-2)^{k+l}}{(k+l+1)\binom{k+l}{k}} = \frac{(-1)^n}{2n+1}$$ **Lemma 3.2**: $$\sum_{k=0}^n\sum_{l=0}^n\binom{n}{k}\binom{n+k}{k}\binom{n}{l}\binom{n+l}{l}\frac{(-2)^{k+l}}{\binom{k+l+2}{k+1}} = \frac{1}{4} - \frac{(-1)^n(2n^2+2n-1)}{8n+4}$$ #### 3. Case-by-Case Analysis Strategy The proof is divided into three cases based on the relationship between $m = \langle x \rangle_p$ and $(p-1)/2$: - **Case 1**: $m < (p-1)/2$ - **Case 2**: $m > (p-1)/2$ - **Case 3**: $m = (p-1)/2$ ### Technical Innovations 1. **Elegant Sum Decomposition**: Complex double sums are decomposed into nine subsums $\sigma_1, \ldots, \sigma_9$, utilizing symmetry and $p$-adic properties to simplify calculations 2. **Beta Function Integral Method**: Innovatively employs Beta function integral representations to handle sums involving reciprocals of binomial coefficients 3. **Skillful Treatment of Harmonic Numbers**: Introduces harmonic numbers $H_n = \sum_{k=1}^n 1/k$ in the $p$-adic expansion to effectively control higher-order terms ## Experimental Setup ### Theoretical Verification Methods Since this is pure mathematical theoretical research, "experiments" are primarily manifested through: 1. **Special Value Verification**: Validating general formulas by computing specific cases for small primes 2. **Boundary Case Inspection**: Verifying formula correctness under limiting conditions 3. **Consistency with Known Results**: Ensuring new results align with known related supercongruences ### Key Parameter Settings - Prime $p$: odd primes ($p \geq 3$) - $p$-adic integer $x$: represented as $x = m + pt$, where $m = \langle x \rangle_p \in \{0,1,\ldots,p-1\}$ - Special values: $x = -1/2, -1/3, -1/4, -1/6$ ## Experimental Results ### Main Theorem Results **Theorem 1.1** (Proof of Sun's Conjecture): $$\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} \\ (-1)^{\langle x\rangle_p}\dfrac{p+2(x-\langle x\rangle_p)}{2x+1} \pmod{p^2}, & \text{otherwise} \end{cases}$$ **Theorem 1.2** (Weighted Sum Formula): For $x \not\equiv -1/2 \pmod{p}$: $$\sum_{n=0}^{p-1}(n+1)t_n(x)^2 \equiv \frac{p}{4} - \frac{(-1)^{\langle x\rangle_p}(2x^2+2x-1)(p+2(x-\langle x\rangle_p))}{8x+4} \pmod{p^2}$$ For $x \equiv -1/2 \pmod{p}$: $$\sum_{n=0}^{p-1}(n+1)t_n(x)^2 \equiv \frac{p}{4} + \frac{3}{8}\left(\dfrac{-1}{p}\right) \pmod{p^2}$$ ### Specific Application Verification **Corollary 1.1** verifies four specific cases of Sun's Conjecture 1.1: 1. $\sum_{n=0}^{p-1}(8n+5)t_n(-1/2)^2 \equiv 2p \pmod{p^2}$ 2. $\sum_{n=0}^{p-1}(32n+21)t_n(-1/4)^2 \equiv 8p \pmod{p^2}$ 3. $\sum_{n=0}^{p-1}(18n+7)t_n(-1/3)^2 \equiv 0 \pmod{p^2}$ (when $p > 3$) 4. $\sum_{n=0}^{p-1}(72n+49)t_n(-1/6)^2 \equiv 18p \pmod{p^2}$ ## Related Work ### Historical Development 1. **Research on Apéry-type Numbers**: Initiated by Kimoto-Wakayama (2006) studying spectral zeta functions of non-commutative harmonic oscillators 2. **Supercongruence Theory**: Long, Osburn, Swisher (2016) proved the original Kimoto-Wakayama conjecture 3. **Sun's Contributions**: Introduced a more general polynomial sequence framework and proposed systematic conjectures 4. **Recent Progress**: Wang-Wang proved modulo $p^3$ supercongruences for the $s_n(x)$ sequence; Liu proved modulo $p^4$ extensions ### Innovations of This Paper 1. **First Complete Resolution** of fundamental supercongruence problems for the $t_n(x)$ sequence 2. **Established Unified Theoretical Framework** encompassing multiple special cases 3. **Developed New Technical Methods**, particularly techniques for handling double sums ## Conclusions and Discussion ### Main Conclusions 1. **Completely Determined Fundamental Supercongruences**: Provided exact formulas for $\sum_{n=0}^{p-1}t_n(x)^2$ modulo $p^2$ 2. **Established Weighted Sum Theory**: Resolved supercongruences involving $(n+1)$ weights 3. **Verified Multiple Specific Conjectures**: Provided new instances for Apéry-type number theory ### Theoretical Significance 1. **Enriched Supercongruence Theory**: Added important new results to this active research field 2. **Developed Computational Techniques**: Beta function integral methods and $p$-adic expansion techniques have broad applicability 3. **Connected Different Mathematical Branches**: Organically combined combinatorics, number theory, and special function theory ### Future Directions 1. **Extensions to Higher-Order Moduli**: Study supercongruences modulo $p^3, p^4$ 2. **More General Parameters**: Consider other special values of $S_n(x,y)$ 3. **Algorithm Implementation**: Develop efficient computational methods for verification with larger primes ## In-Depth Evaluation ### Strengths 1. **Significant Theoretical Contribution**: Completely resolved important conjectures proposed by Sun, advancing supercongruence theory 2. **Strong Method Innovation**: Beta function integral methods and elegant sum decomposition techniques demonstrate sophisticated mathematical skills 3. **Rigorous and Complete Proofs**: Through careful case analysis and precise $p$-adic analysis, provided completely rigorous proofs 4. **Universal Applicability of Results**: Established formulas apply to all odd primes and general $p$-adic integer parameters ### Technical Highlights 1. **Closed-Form Formulas for Double Sums**: Proofs of Lemmas 2.2 and 3.2 demonstrate profound combinatorial insights 2. **Skillful Exploitation of Symmetry**: The symmetry $t_n(x) = t_n(-1-x)$ simplifies treatment of the $m > (p-1)/2$ case 3. **Precise Control of Harmonic Numbers**: The handling of harmonic number terms in $p$-adic expansions demonstrates exceptional technical proficiency ### Limitations 1. **Restricted to Odd Primes**: The method does not apply to prime 2, requiring separate treatment 2. **Limitation to Modulo $p^2$**: While resolving fundamental problems, higher-order moduli remain to be studied 3. **Computational Complexity**: Practical verification for large primes presents certain difficulties ### Impact Assessment 1. **High Academic Value**: Resolution of important open problems in the field will attract widespread attention 2. **Generalizable Methods**: Developed technical methods have inspirational value for related problems 3. **Theoretical Completeness**: Provides important theoretical supplements to supercongruence theory for Apéry-type numbers ### Applicable Scenarios 1. **Number Theory Research**: Provides new tools and instances for studying binomial coefficient supercongruences 2. **Combinatorial Mathematics**: Double sum handling methods have reference value for combinatorial identity research 3. **Special Function Theory**: Potential connections with hypergeometric functions and modular forms research ## References The paper cites 16 important references, including: 1. Andrews, Askey, Roy: *Special Functions* - Classical textbook on special function theory 2. Kimoto, Wakayama (2006): Original work introducing Apéry-type numbers 3. Long, Osburn, Swisher (2016): Important paper proving the Kimoto-Wakayama conjecture 4. Sun (2017): Original paper proposing the conjectures resolved in this work 5. Wang, Wang (2025): Recent research on related supercongruences These references reflect the important position of this research in the development trajectory of the field and its role in connecting past and future work.