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

अनुक्रम tn(x)t_n(x) से संबंधित कुछ अनुमानित अतिसर्वांगसमताओं पर

मूल जानकारी

  • पेपर ID: 2510.11338
  • शीर्षक: अनुक्रम tn(x)t_n(x) से संबंधित कुछ अनुमानित अतिसर्वांगसमताओं पर
  • लेखक: Hui-Li Han, Chen Wang
  • वर्गीकरण: math.NT (संख्या सिद्धांत), math.CO (संयोजन विज्ञान)
  • प्रकाशन समय: 13 अक्टूबर 2025
  • पेपर लिंक: https://arxiv.org/abs/2510.11338

सारांश

यह पेपर अनुक्रम 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 से संबंधित अतिसर्वांगसमताओं का अध्ययन करता है और कुछ खुली समस्याओं को हल करता है। किसी भी विषम अभाज्य pp और pp-एडिक पूर्णांक xx के लिए, लेखकों ने ∑n=0p−1tn(x)2\sum_{n=0}^{p-1}t_n(x)^2 और ∑n=0p−1(n+1)tn(x)2\sum_{n=0}^{p-1}(n+1)t_n(x)^2 को मॉड्यूलो p2p^2 के मान निर्धारित किए। विशेष रूप से, निम्नलिखित को सिद्ध किया गया:

\left(\dfrac{-1}{p}\right)\pmod{p^2},&\text{यदि }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{अन्यथा,} \end{cases}$$ जहाँ $\langle x\rangle_p$ $x$ का मॉड्यूलो $p$ न्यूनतम अऋणात्मक अवशेष दर्शाता है। यह सन ज़ी-वेई के एक अनुमान की पुष्टि करता है। ## अनुसंधान पृष्ठभूमि और प्रेरणा 1. **समस्या का स्रोत**: अनुसंधान Kimoto और Wakayama द्वारा 2006 में वर्णक्रमीय ζ फलन के विशेष मानों का अध्ययन करते समय प्रस्तुत Apéry प्रकार की संख्याओं से उत्पन्न होता है: $$J̃_2(n) := \sum_{k=0}^n \binom{n}{k}(-1)^k\binom{-1/2}{k}^2$$ 2. **सैद्धांतिक महत्व**: अतिसर्वांगसमताएं संख्या सिद्धांत में महत्वपूर्ण अनुसंधान विषय हैं, विशेषकर द्विपद गुणांकों से संबंधित अतिसर्वांगसमताएं विशेष फलनों, मॉड्यूलर रूपों आदि सिद्धांतों से गहरे संबंध रखती हैं। 3. **मौजूदा कार्य की सीमाएं**: यद्यपि Long, Osburn और Swisher ने 2016 में Kimoto-Wakayama अनुमान की पुष्टि की, अधिक सामान्य बहुपद अनुक्रम $S_n(x,y)$ की अतिसर्वांगसमता गुणों के संबंध में कई अनसुलझी समस्याएं बनी हुई हैं। 4. **अनुसंधान प्रेरणा**: सन ज़ी-वेई ने बहुपद अनुक्रम $S_n(x,y) := \sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{-1-x}{k}y^k$ प्रस्तुत किया और विशेष स्थिति $t_n(x) = S_n(x,-2)$ के संबंध में कई अनुमान प्रस्तुत किए। यह पेपर इन खुली समस्याओं को हल करने का उद्देश्य रखता है। ## मूल योगदान 1. **सन ज़ी-वेई के मुख्य अनुमान को सिद्ध किया**: $\sum_{n=0}^{p-1}t_n(x)^2$ को मॉड्यूलो $p^2$ के मान को पूरी तरह निर्धारित किया (प्रमेय 1.1) 2. **भारित योग की अतिसर्वांगसमताएं स्थापित कीं**: $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$ को मॉड्यूलो $p^2$ के लिए सटीक सूत्र दिया (प्रमेय 1.2) 3. **चार विशिष्ट अतिसर्वांगसमता अनुमानों को हल किया**: विशेष पैरामीटर मानों से संबंधित अनुमान 1.1 की पुष्टि की (परिणाम 1.1) 4. **महत्वपूर्ण संयोजक सर्वसमिकाएं खोजीं**: दो द्विगुण योगों के लिए बंद सूत्र स्थापित किए, ये परिणाम स्वयं में स्वतंत्र मूल्य रखते हैं ## विधि विवरण ### कार्य परिभाषा अनुसंधान कार्य अनुक्रम $t_n(x) = \sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}2^k$ से संबंधित योग $\sum_{n=0}^{p-1}t_n(x)^2$ और $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$ के मॉड्यूलो $p^2$ अर्थ में सटीक मान निर्धारित करना है, जहाँ $p$ विषम अभाज्य है और $x$ एक $p$-एडिक पूर्णांक है। ### मूल तकनीकी विधि #### 1. $p$-एडिक विस्तार तकनीक मुख्य लेम्मा 2.1 $\binom{x}{k}\binom{x+k}{k}$ का $p$-एडिक विस्तार देता है: $m = \langle x \rangle_p \leq (p-1)/2$ के लिए: - जब $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}$ - जब $p-m \leq k \leq p-1$ हो: $\binom{x}{k}\binom{x+k}{k} \equiv 0 \pmod{p^2}$ #### 2. संयोजक सर्वसमिकाओं की स्थापना बीटा फलन समाकल प्रतिनिधित्व और Pfaff रूपांतरण के माध्यम से, मुख्य द्विगुण योग सूत्र सिद्ध किए गए: **लेम्मा 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}$$ **लेम्मा 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. स्थिति-दर-स्थिति विचार रणनीति $m = \langle x \rangle_p$ और $(p-1)/2$ के संबंध के अनुसार, प्रमाण को तीन स्थितियों में विभाजित किया गया: - **स्थिति 1**: $m < (p-1)/2$ - **स्थिति 2**: $m > (p-1)/2$ - **स्थिति 3**: $m = (p-1)/2$ ### तकनीकी नवाचार बिंदु 1. **परिष्कृत योग विघटन**: जटिल द्विगुण योग को 9 उप-योगों $\sigma_1, \ldots, \sigma_9$ में विघटित किया, समरूपता और $p$-एडिक गुणों का उपयोग करके गणना को सरल बनाया 2. **बीटा फलन समाकल विधि**: द्विपद गुणांक व्युत्क्रमों से संबंधित योगों को संभालने के लिए बीटा फलन समाकल प्रतिनिधित्व का नवीन उपयोग 3. **हार्मोनिक संख्याओं का कुशल प्रबंधन**: $p$-एडिक विस्तार में हार्मोनिक संख्याएं $H_n = \sum_{k=1}^n 1/k$ प्रस्तुत कीं, उच्च-क्रम पदों को प्रभावी ढंग से नियंत्रित किया ## प्रायोगिक सेटअप ### सैद्धांतिक सत्यापन विधि चूंकि यह शुद्ध गणितीय सैद्धांतिक अनुसंधान है, "प्रयोग" मुख्य रूप से निम्नलिखित में प्रकट होते हैं: 1. **विशेष मान सत्यापन**: विशिष्ट छोटे अभाज्य स्थितियों की गणना करके सामान्य सूत्र को सत्यापित किया 2. **सीमांत स्थिति परीक्षण**: सीमा शर्तों के तहत सूत्र की सही्ता को सत्यापित किया 3. **ज्ञात परिणामों की संगति**: नए परिणामों को ज्ञात संबंधित अतिसर्वांगसमताओं के साथ सुसंगत सुनिश्चित किया ### मुख्य पैरामीटर सेटिंग - अभाज्य $p$: विषम अभाज्य ($p \geq 3$) - $p$-एडिक पूर्णांक $x$: $x = m + pt$ के रूप में प्रस्तुत, जहाँ $m = \langle x \rangle_p \in \{0,1,\ldots,p-1\}$ - विशेष मान: $x = -1/2, -1/3, -1/4, -1/6$ ## प्रायोगिक परिणाम ### मुख्य प्रमेय परिणाम **प्रमेय 1.1** (सन ज़ी-वेई अनुमान का प्रमाण): $$\sum_{n=0}^{p-1}t_n(x)^2 \equiv \begin{cases} \left(\dfrac{-1}{p}\right) \pmod{p^2}, & \text{यदि } 2x \equiv -1 \pmod{p} \\ (-1)^{\langle x\rangle_p}\dfrac{p+2(x-\langle x\rangle_p)}{2x+1} \pmod{p^2}, & \text{अन्यथा} \end{cases}$$ **प्रमेय 1.2** (भारित योग सूत्र): $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}$$ $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}$$ ### विशिष्ट अनुप्रयोग सत्यापन **परिणाम 1.1** ने सन ज़ी-वेई अनुमान 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}$ (जब $p > 3$) 4. $\sum_{n=0}^{p-1}(72n+49)t_n(-1/6)^2 \equiv 18p \pmod{p^2}$ ## संबंधित कार्य ### ऐतिहासिक विकास क्रम 1. **Apéry प्रकार की संख्याओं का अनुसंधान**: Kimoto-Wakayama (2006) द्वारा गैर-क्रमविनिमेय हार्मोनिक ऑसिलेटर वर्णक्रमीय ζ फलन के अनुसंधान से शुरू 2. **अतिसर्वांगसमता सिद्धांत**: Long, Osburn, Swisher (2016) ने मूल Kimoto-Wakayama अनुमान को सिद्ध किया 3. **सन ज़ी-वेई का योगदान**: अधिक सामान्य बहुपद अनुक्रम ढांचा प्रस्तुत किया, व्यवस्थित अनुमान प्रस्तुत किए 4. **हाल की प्रगति**: Wang-Wang ने $s_n(x)$ अनुक्रम की मॉड्यूलो $p^3$ अतिसर्वांगसमताओं को सिद्ध किया, Liu ने मॉड्यूलो $p^4$ विस्तार को सिद्ध किया ### इस पेपर की नवीनता 1. **पहली बार पूरी तरह से हल किया** $t_n(x)$ अनुक्रम की मूल अतिसर्वांगसमता समस्या 2. **एकीकृत सैद्धांतिक ढांचा स्थापित किया**, जो कई विशेष स्थितियों को शामिल करता है 3. **नई तकनीकी विधियां विकसित कीं**, विशेषकर द्विगुण योगों की प्रबंधन तकनीकें ## निष्कर्ष और चर्चा ### मुख्य निष्कर्ष 1. **मूल अतिसर्वांगसमताओं को पूरी तरह निर्धारित किया**: $\sum_{n=0}^{p-1}t_n(x)^2$ को मॉड्यूलो $p^2$ के लिए सटीक सूत्र दिया 2. **भारित योग सिद्धांत स्थापित किया**: भार $(n+1)$ से संबंधित अतिसर्वांगसमताओं को हल किया 3. **कई विशिष्ट अनुमानों को सत्यापित किया**: Apéry प्रकार की संख्या सिद्धांत के लिए नए उदाहरण प्रदान किए ### सैद्धांतिक महत्व 1. **अतिसर्वांगसमता सिद्धांत को समृद्ध किया**: इस सक्रिय अनुसंधान क्षेत्र में महत्वपूर्ण नए परिणाम जोड़े 2. **गणनात्मक तकनीकें विकसित कीं**: बीटा फलन समाकल विधि और $p$-एडिक विस्तार तकनीकें व्यापक प्रयोज्यता रखती हैं 3. **विभिन्न गणितीय शाखाओं को जोड़ा**: संयोजन गणित, संख्या सिद्धांत और विशेष फलन सिद्धांत को जैविक रूप से संयोजित किया ### भविष्य की दिशाएं 1. **उच्च-क्रम मॉड्यूलो का विस्तार**: मॉड्यूलो $p^3, p^4$ की अतिसर्वांगसमताओं का अनुसंधान 2. **अधिक सामान्य पैरामीटरों की स्थितियां**: $S_n(x,y)$ के अन्य विशेष मानों पर विचार 3. **एल्गोरिथम कार्यान्वयन**: बड़े अभाज्यों की स्थितियों को सत्यापित करने के लिए कुशल गणना विधियां विकसित करना ## गहन मूल्यांकन ### लाभ 1. **सैद्धांतिक योगदान महत्वपूर्ण**: सन ज़ी-वेई द्वारा प्रस्तुत महत्वपूर्ण अनुमान को पूरी तरह हल किया, अतिसर्वांगसमता सिद्धांत के विकास को आगे बढ़ाया 2. **विधि नवाचार मजबूत**: बीटा फलन समाकल विधि और परिष्कृत योग विघटन तकनीक उच्च गणितीय कौशल प्रदर्शित करती हैं 3. **प्रमाण कठोर और पूर्ण**: विस्तृत स्थिति-दर-स्थिति विचार और सटीक $p$-एडिक विश्लेषण के माध्यम से पूरी तरह कठोर प्रमाण दिया 4. **परिणाम सार्वभौमिक**: स्थापित सूत्र सभी विषम अभाज्यों और सामान्य $p$-एडिक पूर्णांक पैरामीटरों पर लागू होते हैं ### तकनीकी मुख्य बिंदु 1. **द्विगुण योगों के बंद सूत्र**: लेम्मा 2.2 और 3.2 के प्रमाण गहरी संयोजक अंतर्दृष्टि प्रदर्शित करते हैं 2. **समरूपता का कुशल उपयोग**: $t_n(x) = t_n(-1-x)$ समरूपता के माध्यम से $m > (p-1)/2$ स्थिति की प्रबंधन को सरल बनाया 3. **हार्मोनिक संख्याओं का सटीक नियंत्रण**: $p$-एडिक विस्तार में हार्मोनिक संख्या पदों की प्रबंधन उच्च तकनीकी स्तर प्रदर्शित करती है ### सीमाएं 1. **केवल विषम अभाज्यों तक सीमित**: विधि अभाज्य 2 पर लागू नहीं होती, अलग प्रबंधन की आवश्यकता है 2. **मॉड्यूलो $p^2$ की सीमा**: यद्यपि मूल समस्या हल की गई, उच्च-क्रम मॉड्यूलो की स्थितियां अभी भी अनुसंधान की प्रतीक्षा में हैं 3. **गणनात्मक जटिलता**: बड़े अभाज्यों के लिए, वास्तविक गणनात्मक सत्यापन में अभी भी कुछ कठिनाई है ### प्रभाव मूल्यांकन 1. **शैक्षणिक मूल्य उच्च**: इस क्षेत्र की महत्वपूर्ण खुली समस्या को हल किया, व्यापक ध्यान आकर्षित करेगा 2. **विधि सामान्यीकरणीय**: विकसित तकनीकी विधियां संबंधित समस्याओं के लिए प्रेरणादायक हैं 3. **सैद्धांतिक पूर्णता**: Apéry प्रकार की संख्याओं की अतिसर्वांगसमता सिद्धांत के लिए महत्वपूर्ण सैद्धांतिक पूरक ### प्रयोज्य परिदृश्य 1. **संख्या सिद्धांत अनुसंधान**: द्विपद गुणांक अतिसर्वांगसमताओं के अनुसंधान के लिए नई उपकरण और उदाहरण प्रदान करता है 2. **संयोजन गणित**: द्विगुण योगों की प्रबंधन विधि संयोजक सर्वसमिकाओं के अनुसंधान के लिए संदर्भ मूल्य रखती है 3. **विशेष फलन सिद्धांत**: अतिज्यामितीय फलनों और मॉड्यूलर रूपों के अनुसंधान से संभावित संबंध ## संदर्भ साहित्य पेपर 16 महत्वपूर्ण संदर्भ साहित्य का हवाला देता है, जिनमें शामिल हैं: 1. Andrews, Askey, Roy: 《विशेष फलन》- विशेष फलन सिद्धांत की शास्त्रीय पाठ्यपुस्तक 2. Kimoto, Wakayama (2006): Apéry प्रकार की संख्याओं को प्रस्तुत करने का मूल कार्य 3. Long, Osburn, Swisher (2016): Kimoto-Wakayama अनुमान को सिद्ध करने का महत्वपूर्ण पेपर 4. Sun (2025): इस पेपर द्वारा हल किए गए अनुमान को प्रस्तुत करने का मूल पेपर 5. Wang, Wang (2025): संबंधित अतिसर्वांगसमताओं का सबसे हाल का अनुसंधान कार्य ये संदर्भ साहित्य इस अनुसंधान को इस क्षेत्र के विकास क्रम में महत्वपूर्ण स्थिति और पूर्ववर्ती और उत्तरवर्ती भूमिका प्रदर्शित करते हैं।