🔢 mathematics

A supercongruence related to Whipple's ${}_5F_4$ formula and Dwork's dash operation

यह शोध पत्र व्हिपल के ${}_5F_4$ सूत्र और ड्वर्क के डैश ऑपरेशन से संबंधित एक पैरामीट्रिक सुपरकंग्रुएंस (parametric supercongruence) स्थापित करता है, जिससे पोचहामर प्रतीकों (Pochhammer symbols) और हार्मोनिक संख्याओं वाले एक विशिष्ट योगना ($summation $) के संबंध में गुओ और झाओ द्वारा किए गए अनुमान की पुष्टि होती है जो$ p^{r+3}$ मोड्यूलो (modulo) पर आधारित है।

मूल लेखक: Chen Wang, He-Xia Ni

प्रकाशित 2026-02-16

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Chen Wang, He-Xia Ni

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक जासूस हैं जो एक बहुत ही अजीब, अनंत रेसिपी से जुड़ी एक पहेली को सुलझाने की कोशिश कर रहे हैं। यह रेसिपी एक गणितीय सूत्र है जिसे एक सदी पहले महान भारतीय जीनियस श्रीनिवास रामानुजन द्वारा खोजा गया था। यह $\pi$ (एक वृत्त की परिधि और उसके व्यास का अनुपात) से संबंधित संख्याओं की गणना करने के लिए एक अनंत सामग्री की सूची का उपयोग करने वाली रेसिपी है।

लंबे समय तक, गणितज्ञों को पता था कि यह रेसिपी पूरी तरह से काम करती है जब आप सभी सामग्रियों को जोड़ते हैं (अनंत)। लेकिन क्या होता है अगर आप रेसिपी को बीच में ही रोक दें? क्या होगा यदि आप केवल पहले कुछ सामग्रियों का ही उपयोग करते हैं?

रहस्य: कटे हुए नुस्खे (Truncated Recipes) और "सुपर" पैटर्न

1990 के दशक में, वैन हैम (Van Hamme) नामक एक गणितज्ञ ने कुछ अजीब देखा। जब वे रामानुजन की रेसिपी को एक विशिष्ट बिंदु पर रोक देते हैं (जो एक अभाज्य संख्या (prime number) से संबंधित है, जैसे 5, 7, या 11), तो परिणाम केवल एक यादृच्छिक (random) संख्या नहीं होता है। यह एक छिपे हुए, अत्यंत सटीक पैटर्न का अनुसरण करता है जिसे सुपरकॉन्ग्रुएंस (supercongruence) कहा जाता है।

एक सामान्य कॉन्ग्रुएंस को एक घड़ी की तरह समझें। यदि 10 बजे हैं और आप 4 घंटे जोड़ते हैं, तो 2 बज जाते हैं। "शेषफल" (remainder) 2 है।
एक सुपरकॉग्रुएंस एक ऐसी घड़ी की तरह है जो इतनी सटीक है कि वह न केवल घंटा बता सकती है, बल्कि सटीक सेकंड, सटीक मिलीसेकंड और यहाँ तक कि सटीक नैनोसेकंड भी एक साथ बता सकती है। यह एक ऐसा पैटर्न है जो अविश्वसनीय सटीकता के साथ सत्य होता है, जो आपकी अपेक्षा से कहीं अधिक है।

नया सुराग: एक अनुमान (A Conjecture)

हाल ही में, गुओ (Guo) और झाओ (Zhao) नामक दो अन्य गणितज्ञों ने इस रेसिपी के एक विशिष्ट संस्करण (जिसमें 1/4 और 1/2 शामिल है) को देखा। उन्होंने पाया कि यह पैटर्न कई मामलों में काम करता है, लेकिन वे एक दीवार से टकरा गए। उन्होंने अनुमान लगाया कि यह पैटर्न और भी अधिक सटीकता (एक "मोडुलोस" $p^{r+3}$ के साथ) के साथ भी सत्य होना चाहिए, लेकिन वे इसे सिद्ध नहीं कर सके। यह कीचड़ में एक पदचिह्न देखने और जूते का आकार अनुमान लगाने जैसा था, लेकिन जूते को पुष्टि करने के लिए ढूंढ नहीं पाना।

समाधान: वांग और नी का जासूसी कार्य

इस शोध पत्र में, चेन वांग (Chen Wang) और हे-सिया नी (He-Xia Ni) वे जासूस हैं जो अंततः वह जूता ढूंढ लेते हैं। उन्होंने गुओ और झाओ के अनुमान को सिद्ध किया कि वह सही था।

उन्होंने यह कैसे किया, यहाँ इसके रचनात्मक रूपकों का उपयोग किया गया है:

1. "डैश" ऑपरेशन (जादुई संकुचन किरण - The Magic Shrink Ray)
यह शोध पत्र ड्वर्क के डैश ऑपरेशन (Dwork's dash operation) नामक एक उपकरण का उपयोग करता है। कल्पना कीजिए कि आपके पास एक संख्या है, और आप उसकी "मूल" संरचना देखना चाहते हैं। डैश ऑपरेशन एक जादुई संकुचन किरण (shrink ray) की तरह है। यह एक संख्या को लेता है, उसके अस्त-व्यस्त हिस्सों को हटा देता है, और उसके स्वयं के एक सरल, अंतर्निहित संस्करण को प्रकट करता है। लेखक इस जटिल रेसिपी की सामग्रियों को सरल बनाने के लिए इसका उपयोग करते हैं, जिससे उन्हें संभालना आसान हो जाता है।

2. WZ पेयर (एक पूरी तरह से संतुलित तराजू - The Perfectly Balanced Scale)
सबसे बड़ी बाधा यह थी कि रेसिपी की सामग्रियां अव्यवस्थित थीं। कुछ पूर्ण संख्याएँ थीं, और कुछ भिन्न (fractions) थे जो ठीक से व्यवहार नहीं कर रहे थे। इसे ठीक करने के लिए, लेखकों ने एक WZ पेयर खोजा।
एक WZ पेयर को पूरी तरह से संतुलित तराजू के सेट के रूप में सोचें। आपके पास एक "बायां पक्ष" (वह अव्यवस्थित योग जिसे आप गणना करना चाहते हैं) और एक "दायां पक्ष" (एक बहुत ही सरल, गणना योग्य योग) है। WZ पेयर का जादू यह है कि यदि आप दाएं पक्ष का मान जानते हैं, तो आप स्वचालित रूप से बाएं पक्ष का मान जान जाते हैं, भले ही बायां पक्ष सीधे गणना करने में असंभव लगे।
लेखकों ने इस समस्या के लिए विशेष रूप से बनाया गया एक नया प्रकार का तराजू बनाया, जिससे वे असंभव योग को एक प्रबंधनीय योग में बदलने में सक्षम हुए।

3. परिणाम: अनुमान की पुष्टि करना
इस नए तराजू और जादु적인 संकुचन किरण का उपयोग करके, वे योग की सटीक गणना करने में सफल रहे। उन्होंने सिद्ध किया कि किसी भी अभाज्य संख्या $p$ के लिए (जो 4 से विभाजित होने पर 3 शेषफल छोड़ती है) और किसी भी विषम संख्या $r$ के लिए, योग इस विशिष्ट, अत्यंत सटीक पैटर्न का अनुसरण करता है:

$\text{Sum} \approx 3p^r + \text{एक बहुत छोटा सुधार शब्द (tiny correction term)}$

यह "बहुत छोटा सुधार शब्द" एक हार्मोनिक संख्या (जैसे $1 + 1/4 + 1/9 + \dots$ जैसे भिन्नों का योग) को शामिल करता है, जो रेडियो सिग्नल को पूरी तरह से स्पष्ट करने के लिए ट्यूनिंग नॉब की तरह कार्य करता है।

यह क्यों महत्वपूर्ण है?

आप पूछ सकते हैं, "इन अजीब संख्या पैटर्नों की परवाह कौन करता है?"

गणितीय सुंदरता: यह गणित के विभिन्न क्षेत्रों को जोड़ता है। यह शोध पत्र हाइपरजियोमेट्रिक सीरीज़ (जटिल अनंत योग), p-adic संख्याओं (संख्याओं को मापने का एक अजीब तरीका), और गामा फंक्शन (सामान्यीकृत फैक्टोरियल) को जोड़ता है। यह खोजने जैसा है कि 1920 के दशक में लिखे गए एक गीत का डीएनए 2026 में लिखे गए गीत के साथ बिल्कुल समान है।
पुराने पहेलियों को सुलझाना: यह एक ऐसे अनुमान की पुष्टि करता है जो किसी अलमारी में रखा हुआ था, किसी के द्वारा हल किए जाने की प्रतीक्षा कर रहा था।
नए उपकरण: उन्होंने जो "नया पैरामीट्रिक WZ पेयर" बनाया है, वह गणितज्ञों के टूलबॉक्स में एक नया उपकरण है। अन्य शोधकर्ता इस उपकरण का उपयोग संख्या सिद्धांत (number theory) के विभिन्न, शायद और भी कठिन रहस्यों को हल करने के लिए कर सकते हैं।

संक्षेप में

वांग और नी ने एक जटिल, अनंत गणितीय रेसिपी ली, उसे एक विशिष्ट बिंदु पर रोका, और सिद्ध किया कि परिणाम एक छिपे हुए, अत्यंत सटीक पैटर्न का अनुसरण करता है। उन्होंने एक नया गणितीय "संतुलन तराजू" (WZ pair) बनाकर और सामग्रियों को सरल बनाने के लिए एक "संकुचन किरण" (Dwork's dash) का उपयोग करके यह किया। उनका कार्य उनके सहयोगियों द्वारा लगाए गए एक अनुमान की पुष्टि करता है और संख्याओं की दुनिया में भविष्य की खोजों के द्वार खोलता है।

यहाँ चेन वांग और हे-शिया नी के शोध पत्र "A Supercongruence Related to Whipple's 5F4 Formula and Dwork's Dash Operation" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण और प्रेरणा

यह शोध पत्र ट्रंकेटेड हाइपरजियोमेट्रिक श्रेणियों (truncated hypergeometric series) के लिए, विशेष रूप से $1/\pi$ के लिए रामानुजन-प्रकार की श्रेणियों से संबंधित, पैरामीट्रिक सुपरकंग्रुएंस (parametric supercongruences) स्थापित करने की समस्या को संबोधित करता है।

संदर्भ: रामानुजन ने $1/\pi$ के लिए हाइपरजियोमेट्रिक पदों वाली श्रेणियों की खोज की थी। वैन हैम (Van Hamme) ने बाद में इन श्रेणियों के लिए $p$ -adic एनालॉग्स (सुपरकंग्रुएंस) का अनुमान लगाया।
विशिष्ट अंतराल: गुओ और झाओ (2026) ने हाल ही में $q$ -सुपरकंग्रुएंस का अध्ययन किया और $p \equiv 3 \pmod 4$ के मामले के लिए एक परिष्कृत सुपरकंग्रुएंस का अनुमान लगाया। विशेष रूप से, उन्होंने अनुमान लगाया कि एक विषम पूर्णांक $r \ge 1$ के लिए:
$\sum_{k=0}^{p^r-1} \frac{(8k+1)(\frac{1}{4})_k^3 (\frac{1}{2})_k}{(1)_k^3 (\frac{3}{4})_k} \equiv 3p^r + \frac{27}{4}p^{3r} H_{(p^r-3)/4}^{(2)} \pmod{p^{r+3}}$
जहाँ $H_n^{(2)}$ द्वितीय क्रम का हार्मोनिक संख्या (harmonic number of order 2) है।
लक्ष्य: लेखक इस अनुमान को सिद्ध करने और अधिक व्यापक रूप से, ड्वार्क के डैश ऑपरेशन (Dwork's dash operation) का उपयोग करके व्हिप्पल के ${}_5F_4$ समेशन फॉर्मूला से संबंधित एक सामान्य पैरामीट्रिक सुपरकंग्रुएंस स्थापित करने का लक्ष्य रखते हैं।

2. कार्यप्रणाली

लेखक $p$ -adic विश्लेषण और कॉम्बिनेटरियल हाइपरजियोमेट्रिक सिद्धांत के उन्नत तकनीकों के संयोजन का उपयोग करते हैं:

ड्वार्क का डैश ऑपरेशन (Dwork's Dash Operation):
- वे ऑपरेशन $x^* = (x + \langle -x \rangle_p)/p$ का उपयोग करते हैं, जहाँ $\langle \cdot \rangle_p$ मोड्यूलो $p$ के सापेक्ष न्यूनतम गैर-ऋणात्मक अवशेष (least non-negative residue) है।
- वे पुनरावृत्त ऑपरेशन्स (iterated operations) $x^{*r}$ को परिभाषित करते हैं और उनके गुणों का विश्लेषण करते हैं, विशेष रूप से यह कि वे पोचहैमर प्रतीकों (Pochhammer symbols) $(x)_n$ के $p$ -adic मान से कैसे संबंधित हैं।
- मुख्य लेम्मा (Lemmas) $\alpha^{*r}$ के सटीक मान और $\alpha^{*r}$ के संबंध में $(1/2 + \alpha)_l / (1/2 + \alpha + p^r)_l$ के व्यवहार को स्थापित करते हैं।
क्रिएटिव माइक्रोस्कोपिंग और WZ पेयर्स (Creative Microscoping and WZ Pairs):
- व्हिप्पल के अनंत श्रेणी सूत्र को सीधे लागू करने के बजाय (जो $p$ -adic अर्थ में पदों की गैर-इंटीग्रैलिटी के कारण विफल हो जाता है), लेखक एक नया पैरामीट्रिक WZ (Wilf-Zeilberger) पेयर $(F, G)$ का निर्माण करते हैं।
- पेयर को इस प्रकार परिभाषित किया गया है:
  $F(x, k) = \frac{(2k+x)(x)_k^3 (1/2)_k}{(1)_k^3 (1/2+x)_k}, \quad G(x, k) = \frac{k^3(k+2x)}{x^3} F(x, k)$
- वे WZ संबंध को सत्यापित करते हैं: $F(x+1, k) - F(x, k) = G(x, k+1) - G(x, k)$ ।
- यह उन्हें मूल योग $\sum F(\alpha, k)$ को एक टेलिस्कोपिंग योग (telescoping sum) में बदलने की अनुमति देता है जो $G$ से संबंधित है, जो कि कंग्रुएंस के संदर्भ में गणनीय (computable) है।
$p$ -adic गामा फंक्शन और हार्मोनिक नंबर रिडक्शन:
- प्रमाण मोरिटा $p$ -adic गामा फंक्शन $\Gamma_p(x)$ के गुणों और हार्मोनिक संख्या $H_n^{(2)}$ के विशिष्ट रिडक्शन पर निर्भर करता है।
- वे लेम्मा स्थापित करते हैं जो दिखाते हैं कि विशिष्ट स्थितियों के तहत व्युत्क्रम वर्गों (inverse squares) के कुछ योग $p^3$ के मॉड्यूल शून्य होते हैं।

3. मुख्य योगदान और परिणाम

मुख्य प्रमेय (Theorem 1.1)

लेखक एक सामान्य पैरामीट्रिक सुपरकंग्रुएंस स्थापित करते हैं। मान लीजिए $c, d, s \in \mathbb{Z}^+$ हैं जहाँ $d \ge 2$ , $1 \le c, s \le d$ , $\gcd(cs, d)=1$ , और $p \ge 5$ एक अभाज्य संख्या है जैसे कि $p \equiv s \pmod d$ । यदि $\alpha = c/d$ है और किसी भी $r \in \mathbb{Z}^+$ के लिए $(1/2 + \alpha)^{*r}(1/2 + \alpha^{*r}) \not\equiv 0 \pmod p$ है, तो:

$\sum_{k=0}^{p^r-1} \frac{(2k+\alpha)(\alpha)_k^3 (1/2)_k}{(1)_k^3 (1/2+\alpha)_k} \equiv \alpha^{*r} p^r - \frac{(\alpha^{*r})^3}{(1/2+\alpha)^{*r}} p^{r+2} H_{\alpha^{*r}p - \alpha^{*r} - 1}^{(2)} \pmod{p^{r+3}}$

महत्व: यह व्हिप्पल के ${}_5F_4$ फॉर्मूला का $p$ -adic एनालॉग है। यह उन मामलों को संभालता है जहाँ व्यक्तिगत पद $p$ -adic पूर्णांक नहीं होते हैं, फिर भी उनका योग पूर्णांक होता है, जो सीधे पद-वार विश्लेषण से बचने के लिए WZ पेयर का उपयोग करता है।

अनुमान की पुष्टि (Corollary 1.1)

विशिष्ट पैरामीटर ( $d=4, s=3, c=1$ ) सेट करके और $r$ को विषम होने की आवश्यकता के साथ, लेखक गुओ और झाओ के अनुमान को सिद्ध करते हैं:
$\sum_{k=0}^{p^r-1} \frac{(8k+1)(\frac{1}{4})_k^3 (\frac{1}{2})_k}{(1)_k^3 (\frac{3}{4})_k} \equiv 3p^r + \frac{27}{4}p^{3r} H_{(p^r-3)/4}^{(2)} \pmod{p^{r+3}}$
यह किसी भी अभाज्य $p \equiv 3 \pmod 4$ के लिए सत्य है।

अतिरिक्त परिणाम

यह शोध पत्र $p \equiv 1 \pmod 4$ के लिए वैन हैम के सुपरकंग्रुएंस (C.2) का एक मजबूत संस्करण भी प्राप्त करता है (विशेष रूप से $d=2, s=1, c=1$ के मामले के लिए):
$\sum_{k=0}^{p^r-1} \frac{(4k+1)(\frac{1}{2})_k^4}{(1)_k^4} \equiv p^r \pmod{p^{r+3}}$

4. महत्व

खुले प्रश्नों का समाधान: यह शोध पत्र एक विशिष्ट रामानुजन-प्रकार की श्रेणी के लिए मॉड्यूल $p^{r+3}$ के संबंध में गुओ और झाओ के हालिया अनुमान की पुष्टि करता है, जो पिछले परिणामों का विस्तार करता है जो केवल $p^{r+2}$ तक ज्ञात थे।
पद्धतिगत नवाचार: $p$ -adic पूर्णांक नहीं होने वाले योगों को संभालने के लिए एक पैरामीट्रिक WZ पेयर का उपयोग करना एक महत्वपूर्ण तकनीकी प्रगति है। यह शास्त्रीय व्हिप्पल सूत्रों को सीधे $p$ -adic सेटिंग में लागू करने की सीमाओं को दूर करता है।
एकीकरण: परिणाम विभिन्न ज्ञात सुपरकंग्रुएंस को ड्वार्क के डैश ऑपरेशन वाले एकल पैरामीट्रिक ढांचे के तहत एकीकृत करते हैं, जो हाइपरजियोमेट्रिक श्रेणियों और $p$ -adic अंकगणित के बीच संबंध की गहरी संरचनात्मक समझ प्रदान करते हैं।
हार्मोनिक संख्या पहचान: प्रमाण द्वितीय क्रम के ट्रंकेटेड हार्मोनिक नंबरों को $p$ -adic पैरामीटरों से जोड़ने वाले नए संबंधों को पेश करता है, जिसका उपयोग संख्या सिद्धांत के अन्य क्षेत्रों में भी किया जा सकता है।

संक्षेप में, यह शोध पत्र WZ सिद्धांत और $p$ -adic विश्लेषण के एक नवीन संयोजन को विकसित करके एक उच्च-क्रम सुपरकंग्रुएंस अनुमान को कठोरता से सिद्ध करता है, जिससे शास्त्रीय हाइपरजियोमेट्रिक पहचानों के $p$ -adic एनालॉग्स की समझ को आगे बढ़ाया गया है।