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Über einige vermutete Superkongruenzen, die die Folge betreffen
Grundinformationen
- Papier-ID: 2510.11338
- Titel: Über einige vermutete Superkongruenzen, die die Folge betreffen
- Autoren: Hui-Li Han, Chen Wang
- Klassifizierung: math.NT (Zahlentheorie), math.CO (Kombinatorik)
- Veröffentlichungsdatum: 13. Oktober 2025
- Papierlink: https://arxiv.org/abs/2510.11338
Zusammenfassung
Diese Arbeit untersucht Superkongruenzen, die die Folge betreffen, und löst mehrere offene Probleme. Für jede ungerade Primzahl und -adische ganze Zahl bestimmen die Autoren die Werte von und modulo . Insbesondere wird bewiesen:
\left(\dfrac{-1}{p}\right)\pmod{p^2},&\text{wenn }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{sonst,} \end{cases}$$ wobei $\langle x\rangle_p$ den kleinsten nichtnegativen Rest von $x$ modulo $p$ bezeichnet. Dies bestätigt eine Vermutung von Zhi-Wei Sun. ## Forschungshintergrund und Motivation 1. **Problemursprung**: Die Forschung stammt aus der Untersuchung von Apéry-Typ-Zahlen, die von Kimoto und Wakayama 2006 bei der Untersuchung spezieller Werte von Spektral-Zeta-Funktionen eingeführt wurden: $$J̃_2(n) := \sum_{k=0}^n \binom{n}{k}(-1)^k\binom{-1/2}{k}^2$$ 2. **Theoretische Bedeutung**: Superkongruenzen sind wichtige Forschungsobjekte in der Zahlentheorie, insbesondere Superkongruenzen mit Binomialkoeffizienten, die tiefe Verbindungen zu Spezialfunktionen, Modulformen und anderen Theorien aufweisen. 3. **Einschränkungen bisheriger Arbeiten**: Obwohl Long, Osburn und Swisher 2016 die Kimoto-Wakayama-Vermutung bestätigten, bleiben viele Fragen zu Superkongruenzeigenschaften allgemeinerer polynomialer Folgen $S_n(x,y)$ ungelöst. 4. **Forschungsmotivation**: Zhi-Wei Sun führte die polynomiale Folge $S_n(x,y) := \sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{-1-x}{k}y^k$ ein und stellte mehrere Vermutungen über den Spezialfall $t_n(x) = S_n(x,-2)$ auf. Diese Arbeit zielt darauf ab, diese offenen Probleme zu lösen. ## Kernbeiträge 1. **Beweis der Hauptvermutung von Sun**: Vollständige Bestimmung des Wertes von $\sum_{n=0}^{p-1}t_n(x)^2$ modulo $p^2$ (Satz 1.1) 2. **Etablierung von Superkongruenzen für gewichtete Summen**: Genaue Formel für $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$ modulo $p^2$ (Satz 1.2) 3. **Lösung von vier konkreten Superkongruenzvermutungen**: Bestätigung von Vermutung 1.1 mit speziellen Parameterwerten (Korollar 1.1) 4. **Entdeckung wichtiger kombinatorischer Identitäten**: Etablierung von Geschlossene-Form-Formeln für zwei doppelte Summen, die eigenständigen Wert haben ## Methodische Details ### Aufgabendefinition Die Forschungsaufgabe besteht darin, die exakten Werte der Summen $\sum_{n=0}^{p-1}t_n(x)^2$ und $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$ modulo $p^2$ zu bestimmen, wobei $t_n(x) = \sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}2^k$, $p$ eine ungerade Primzahl ist und $x$ eine $p$-adische ganze Zahl ist. ### Kernmethodische Techniken #### 1. $p$-adische Entwicklungstechnik Das Schlüssellemma 2.1 gibt die $p$-adische Entwicklung von $\binom{x}{k}\binom{x+k}{k}$ an: Für $m = \langle x \rangle_p \leq (p-1)/2$: - Wenn $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}$ - Wenn $p-m \leq k \leq p-1$: $\binom{x}{k}\binom{x+k}{k} \equiv 0 \pmod{p^2}$ #### 2. Etablierung kombinatorischer Identitäten Durch Beta-Funktions-Integraldarstellung und Pfaff-Transformation werden die Schlüsseldoppelsummen-Formeln bewiesen: **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. Fallunterscheidungsstrategie Basierend auf der Beziehung zwischen $m = \langle x \rangle_p$ und $(p-1)/2$ wird der Beweis in drei Fälle unterteilt: - **Fall 1**: $m < (p-1)/2$ - **Fall 2**: $m > (p-1)/2$ - **Fall 3**: $m = (p-1)/2$ ### Technische Innovationen 1. **Geschickte Summenzersetzung**: Zerlegung komplexer Doppelsummen in neun Teilsummen $\sigma_1, \ldots, \sigma_9$, Vereinfachung durch Symmetrie und $p$-adische Eigenschaften 2. **Beta-Funktions-Integrationsmethode**: Innovative Verwendung der Beta-Funktions-Integraldarstellung zur Behandlung von Summen mit Kehrwerten von Binomialkoeffizienten 3. **Geschickte Behandlung harmonischer Zahlen**: Einführung harmonischer Zahlen $H_n = \sum_{k=1}^n 1/k$ in der $p$-adischen Entwicklung zur effektiven Kontrolle höherer Ordnungsterme ## Experimentelle Einrichtung ### Theoretische Verifikationsmethode Da es sich um reine mathematische Theorieforschung handelt, manifestieren sich "Experimente" hauptsächlich in: 1. **Verifikation spezieller Werte**: Überprüfung allgemeiner Formeln durch Berechnung konkreter Fälle kleiner Primzahlen 2. **Überprüfung von Grenzfällen**: Verifikation der Formelkorrektheit unter Randbedingungen 3. **Konsistenz mit bekannten Ergebnissen**: Sicherstellung, dass neue Ergebnisse mit bekannten verwandten Superkongruenzen konsistent sind ### Einstellung kritischer Parameter - Primzahl $p$: ungerade Primzahl ($p \geq 3$) - $p$-adische ganze Zahl $x$: dargestellt als $x = m + pt$, wobei $m = \langle x \rangle_p \in \{0,1,\ldots,p-1\}$ - Spezielle Werte: $x = -1/2, -1/3, -1/4, -1/6$ ## Experimentelle Ergebnisse ### Haupttheoreme **Satz 1.1** (Beweis der Sun-Vermutung): $$\sum_{n=0}^{p-1}t_n(x)^2 \equiv \begin{cases} \left(\dfrac{-1}{p}\right) \pmod{p^2}, & \text{wenn } 2x \equiv -1 \pmod{p} \\ (-1)^{\langle x\rangle_p}\dfrac{p+2(x-\langle x\rangle_p)}{2x+1} \pmod{p^2}, & \text{sonst} \end{cases}$$ **Satz 1.2** (Formel für gewichtete Summen): Für $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}$$ Für $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}$$ ### Konkrete Anwendungsverifikation **Korollar 1.1** verifiziert vier konkrete Fälle der Sun-Vermutung 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}$ (wenn $p > 3$) 4. $\sum_{n=0}^{p-1}(72n+49)t_n(-1/6)^2 \equiv 18p \pmod{p^2}$ ## Verwandte Arbeiten ### Historische Entwicklungslinie 1. **Forschung zu Apéry-Typ-Zahlen**: Beginn mit Kimoto-Wakayama (2006) zur Untersuchung von Spektral-Zeta-Funktionen des nichtkommutativen harmonischen Oszillators 2. **Superkongruenztheorie**: Long, Osburn, Swisher (2016) bewiesen die ursprüngliche Kimoto-Wakayama-Vermutung 3. **Beiträge von Sun**: Einführung eines allgemeineren polynomialen Folgenrahmens und systematische Vermutungen 4. **Neuere Fortschritte**: Wang-Wang bewiesen Superkongruenzen modulo $p^3$ für die Folge $s_n(x)$, Liu bewies Erweiterungen modulo $p^4$ ### Innovationen dieser Arbeit 1. **Erste vollständige Lösung** des grundlegenden Superkongruenzproblems für die Folge $t_n(x)$ 2. **Etablierung eines einheitlichen theoretischen Rahmens**, der mehrere Spezialfälle umfasst 3. **Entwicklung neuer technischer Methoden**, insbesondere Behandlungstechniken für Doppelsummen ## Schlussfolgerungen und Diskussion ### Hauptschlussfolgerungen 1. **Vollständige Bestimmung grundlegender Superkongruenzen**: Genaue Formel für $\sum_{n=0}^{p-1}t_n(x)^2$ modulo $p^2$ 2. **Etablierung einer Theorie gewichteter Summen**: Lösung von Superkongruenzen mit $(n+1)$-Gewichtung 3. **Verifikation mehrerer konkreter Vermutungen**: Bereitstellung neuer Beispiele für die Apéry-Typ-Zahlentheorie ### Theoretische Bedeutung 1. **Bereicherung der Superkongruenztheorie**: Hinzufügung wichtiger neuer Ergebnisse zu diesem aktiven Forschungsgebiet 2. **Entwicklung von Rechentechniken**: Beta-Funktions-Integrationsmethode und $p$-adische Entwicklungstechnik haben breite Anwendbarkeit 3. **Verbindung verschiedener mathematischer Zweige**: Organische Kombination von Kombinatorik, Zahlentheorie und Spezialfunktionentheorie ### Zukünftige Richtungen 1. **Erweiterung auf höhere Moduli**: Untersuchung von Superkongruenzen modulo $p^3, p^4$ 2. **Fälle mit allgemeineren Parametern**: Betrachtung anderer Spezialfälle von $S_n(x,y)$ 3. **Algorithmische Implementierung**: Entwicklung effizienter Rechenmethoden zur Verifikation größerer Primzahlen ## Tiefgreifende Bewertung ### Stärken 1. **Bedeutender theoretischer Beitrag**: Vollständige Lösung der wichtigen von Sun aufgestellten Vermutung, Förderung der Entwicklung der Superkongruenztheorie 2. **Starke methodische Innovation**: Beta-Funktions-Integrationsmethode und geschickte Summenzersetzungstechnik zeigen überragende mathematische Fähigkeiten 3. **Strenger und vollständiger Beweis**: Durch sorgfältige Fallunterscheidung und präzise $p$-adische Analyse wird ein vollständig rigoroser Beweis erbracht 4. **Universalität der Ergebnisse**: Die etablierten Formeln gelten für alle ungeraden Primzahlen und allgemeine $p$-adische Ganzzahlparameter ### Technische Highlights 1. **Geschlossene Formeln für Doppelsummen**: Die Beweise von Lemma 2.2 und 3.2 zeigen tiefe kombinatorische Einsichten 2. **Geschickte Nutzung von Symmetrie**: Durch die Symmetrie $t_n(x) = t_n(-1-x)$ wird die Behandlung des Falls $m > (p-1)/2$ vereinfacht 3. **Präzise Kontrolle harmonischer Zahlen**: Die Behandlung harmonischer Zahlenterme in der $p$-adischen Entwicklung zeigt überragende technische Beherrschung ### Einschränkungen 1. **Beschränkung auf ungerade Primzahlen**: Die Methode ist auf Primzahl 2 nicht anwendbar und erfordert separate Behandlung 2. **Beschränkung auf Modulo $p^2$**: Obwohl das grundlegende Problem gelöst wird, bleiben Fälle höherer Ordnung zu erforschen 3. **Rechenkomplexität**: Für große Primzahlen bleibt die praktische Verifikation schwierig ### Bewertung der Auswirkungen 1. **Hoher akademischer Wert**: Lösung eines wichtigen offenen Problems in diesem Gebiet wird zweifellos breite Aufmerksamkeit erregen 2. **Verallgemeinerbarkeit der Methoden**: Die entwickelten technischen Methoden haben Inspirationswert für verwandte Probleme 3. **Theoretische Vollständigkeit**: Wichtige theoretische Ergänzung zur Superkongruenztheorie von Apéry-Typ-Zahlen ### Anwendungsszenarien 1. **Zahlentheoretische Forschung**: Bereitstellung neuer Werkzeuge und Beispiele für die Untersuchung von Superkongruenzen mit Binomialkoeffizienten 2. **Kombinatorische Mathematik**: Behandlungsmethoden für Doppelsummen haben Referenzwert für die Forschung zu kombinatorischen Identitäten 3. **Spezialfunktionentheorie**: Potenzielle Verbindungen zu Forschungen über hypergeometrische Funktionen und Modulformen ## Literaturverzeichnis Das Papier zitiert 16 wichtige Referenzen, darunter: 1. Andrews, Askey, Roy: *Special Functions* - Klassisches Lehrbuch der Spezialfunktionentheorie 2. Kimoto, Wakayama (2006): Originalarbeit zur Einführung von Apéry-Typ-Zahlen 3. Long, Osburn, Swisher (2016): Wichtige Arbeit zum Beweis der Kimoto-Wakayama-Vermutung 4. Sun (2017): Originalarbeit mit den in dieser Arbeit gelösten Vermutungen 5. Wang, Wang (2025): Neueste Forschungsergebnisse zu verwandten Superkongruenzen Diese Referenzen zeigen die wichtige Position dieser Forschung in der Entwicklungslinie des Gebiets und ihre Rolle als Bindeglied zwischen Vergangenheit und Zukunft.