🔢 mathematics

Supercongruences Arising from Truncated Appell Series

यह शोधपत्र संयोजनगत सर्वसमिकाओं (combinatorial identities) और क्रिएटिव माइक्रोस्कोपिंग विधि का उपयोग करते हुए, ज्ञात परिणामों के $q$ -अनुरूपों को स्थापित करने, $F_4$ श्रेणी के लिए एक नया $q$ -सुपरकंग्रुएंस (supercongruence) सिद्ध करने और अपागोडू एवं ज़ेलबर्गर के कार्य का विस्तार करते हुए एक अनुमान (conjecture) प्रस्तावित करने के माध्यम से, ट्रंकेटेड अपेल (truncated Appell) और $q$ -अपेल श्रेणियों के सर्वांगता गुणों (congruence properties) की जांच करता है।

मूल लेखक: He-Xia Ni

प्रकाशित 2026-07-13

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

CC0 1.0

मूल लेखक: He-Xia Ni

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

संख्याओं की दुनिया की कल्पना एक विशाल, हलचल भरे शहर के रूप में करें जहाँ हर इमारत एक गणितीय सूत्र है। लंबे समय से, गणितज्ञ एक विशेष प्रकार की "दो-मंजिला" इमारत का अध्ययन कर रहे हैं जिसे एप्पेल श्रृंखला (Appell series) कहा जाता है। इन्हें दो-आयामी टावरों के रूप में सोचें जो एक ग्रिड पैटर्न में ब्लॉकों को एक के ऊपर एक रखकर बनाए गए हैं, जहाँ टावर की ऊँचाई दो चरों (variables), $x$ और $y$ पर निर्भर करती है।

हाल के वर्षों में, शोधकर्ताओं ने इन टावरों के ट्रंकेटेड (truncated) संस्करणों की ओर देखना शुरू किया है। टावरों को अनंत आकाश तक बनाने के बजाय, वे निर्माण को एक विशिष्ट मंजिल पर रोक देते हैं, मान लीजिए मंजिल $n$ पर। यह एक सीमित, प्रबंधनीय संरचना बनाता है जिसका निरीक्षण करना बहुत आसान है। मुख्य सवाल जो गणितज्ञों ने पूछा है, वह यह है: "यदि हम इन ट्रंकेटेड टावरों को एक विशेष आवर्धक लेंस के माध्यम से देखते हैं (विशेष रूप से अभाज्य संख्याओं (prime numbers) द्वारा विभाजित करने पर शेषफल देखते हुए), तो क्या वे छिपे हुए पैटर्न या 'सुपर-कॉन्ग्रुएंस' (super-congruences) प्रकट करते हैं?"

यह शोध पत्र, हे-शिया नी (He-Xia Ni) द्वारा लिखा गया है, जो इन ट्रंकेटेड टावरों की गहराई में उतरता है, लेकिन एक मोड़ के साथ। लेखक केवल मानक इमारतों को नहीं देखता; वे q-अनलॉग्स (q-analogues) की जांच करते हैं। आप एक "q-अनलॉग" को एक जादुв संस्करण के रूप में सोच सकते हैं जहाँ ईंटें स्वयं थोड़ी अलग होती हैं—उनमें एक "क्वांटम" स्वाद (अक्षर $q$ द्वारा दर्शाया गया) होता है जो यह बदल देता है कि वे एक साथ कैसे जुड़ती हैं। जब $q$ को 1 पर सेट किया जाता है, तो जादू फीका पड़ जाता है, और आपको साधारण इमारत वापस मिल जाती है।

मुख्य खोज: एक नया ब्लूप्रिंट

इस शोध पत्र की प्राथमिक उपलब्धि नए ब्लूप्रिंट (सूत्र) प्रदान करना है जो सटीक रूप से भविष्यवाणी करते हैं कि ये जादुवई, ट्रंकेटेड टावर अभाज्य संख्याओं के लेंस के माध्यम से कैसे दिखते हैं।

विशेष रूप से, लेखक इन टावरों के चार प्रकारों पर ध्यान केंद्रित करते हैं, जिन्हें $F_1$ , $F_2$ , $F_3$ , और $F_4$ लेबल किया गया है। शोध पत्र यह सिद्ध करता है कि इन टावरों के कुछ प्रकारों के लिए, जब आप निर्माण को एक अभाज्य संख्या $p$ से संबंधित एक विशिष्ट मंजिल पर रोक देते हैं, तो ब्लॉकों की कुल संख्या एक बहुत ही सख्त, अनुमानित नियम का पालन करती है जो $p^2$ modulo (अर्थात $p^2$ से विभाजित करने पर शेषफल निश्चित है) के अंतर्गत आता है।

उदाहरण के लिए, यह पत्र $F_4$ टावर के बारे में एक प्रसिद्ध अनुमान (conjecture) के लिए एक "q-अनलॉग" की पुष्टि करता है। कल्पना कीजिए कि एक पिछला अनुमान था कि, "यदि आप इस टावर को मंजिल $p-1$ तक बनाते हैं, तो कुल ब्लॉक एक विशिष्ट शेषफल छोड़ देंगे।" यह पत्र सिद्ध करता है कि उस टावर का जादुवई संस्करण (q-analogue) साइक्लोटोमिक बहुपद $\Phi_n(q)$ (एक विशेष गणितीय उपकरण जो रूट्स ऑफ यूनिटी के लिए छलनी का कार्य करता है) को शामिल करते हुए एक समान, लेकिन अधिक जटिल नियम का पालन करता है।

"क्रिएटिव माइक्रोस्कोपिंग" टूल

लेखक ने इन पैटर्न को कैसे खोजा? उन्होंने "क्रिएटिव माइक्रोस्कोपिंग" (creative microscoping) नामक एक तकनीक का उपयोग किया, जो गुओ (Guo) और जुडिलिन (Zudilin) द्वारा पेश की गई थी। आप इसे एक सुपर-शक्तिशाली माइक्रोस्कोप के रूप में देख सकते हैं जो न केवल ब्लॉकों को ज़ूम करता है, बल्कि गणितज्ञ को इमारत के मापदंडों (जैसे ईंटों का आकार बदलना या दीवारों का कोण बदलना) को बदलने की अनुमति भी देता है ताकि यह देख सके कि अत्यधिक दबाव में संरचना कैसा व्यवहार करती है। इस माइक्रोस्कोप के साथ कुछ क्लासिक कॉम्बिनेटरियल आइडेंटिटीज (गिनती करने के गणितीय नुस्खे) का उपयोग करके, लेखक इन नए सूत्रों को प्राप्त करने में सक्षम हुए।

क्या सिद्ध किया गया बनाम क्या सुझाया गया

यह ध्यान देना महत्वपूर्ण है कि लेखक इन निष्कर्षों के बारे में कितने निश्चित हैं:

सिद्ध तथ्य (Proven Facts): यह शोध पत्र कई नए सूत्रों के लिए कठोर, चरण-दर-चरण प्रमाण प्रदान करता है। उदाहरण के लिए, प्रमेय 1.1 (Theorem 1.1) और प्रमेय 1.3 (Theorem 1.3) को ठोस गणितीय तथ्यों के रूप में प्रस्तुत किया गया है। लेखक सिद्ध करते हैं कि किसी भी धनात्मक पूर्णांक $n$ के लिए (विशिष्ट शर्तों के साथ), ट्रंकेटेड श्रृंखला $\Phi_n(q)^2$ modulo के तहत एक निश्चित तरीके से व्यवहार करती है। ये अनुमान नहीं हैं; इन्हें चाइनीज रिमाइंडर थ्योरम और रूट्स ऑफ यूनिटी के गुणों सहित स्थापित गणितीय तर्क का उपयोग करके निकाला गया है।
अनुमान (Conjectures/Suggested Ideas): शोध पत्र एक "अनुमान 3.1" (Conjecture 3.1) को भी छूता है। यहाँ, लेखक सुझाव देते हैं कि एक विशिष्ट मामले में जहाँ $n \equiv 3 \pmod 4$ है, एक समान पैटर्न हो सकता है, लेकिन वे कहते हैं कि यह "व्यापक संख्यात्मक साक्ष्य" (comprehensive numerical evidence) पर आधारित है न कि पूर्ण प्रमाण पर। इस मामले में, शोध पत्र कह रहा है, "हमारे कंप्यूटर सिमुलेशन और गणनाएं दृढ़ता से सुझाव देती हैं कि यह सत्य है, लेकिन हमने अभी तक इसका अंतिम प्रमाण नहीं लिखा है।"
क्या खारिज किया गया (What Was Ruled Out): शोध पत्र स्पष्ट रूप से किसी प्रतिद्वंद्वी सिद्धांत के खिलाफ तर्क नहीं देता है, लेकिन यह स्पष्ट करता है कि केवल "क्रिएटिव माइक्रोस्कोपिंग" विधि का उपयोग करके एक विशिष्ट परिणाम (प्रमेय 1.4) को सिद्ध करने का पिछला प्रयास विफल रहा था। लेखक स्वीकार करते हैं कि वे उस विधि का उपयोग करके अंश (numerator) में बहुपद की उच्च घातों को सिद्ध नहीं कर सके। इसके बजाय, उन्हें सफल होने के लिए रणनीति बदलनी पड़ी, और q-डिफरेंशियल ऑपरेटर्स (q-differential operators) (ऐसे उपकरण जो मापते हैं कि $q$ को बदलने पर जादुवई ईंटें कैसे बदलती हैं) और q-रूट्स ऑफ यूनिटी के गुणों को लाना पड़ा। यह पुराने तरीके की अस्वीकृति नहीं है, बल्कि यह प्रदर्शन है कि इस विशिष्ट कार्य के लिए एक अलग उपकरण की आवश्यकता थी।

सुपर-कॉन्ग्रुएंस में "सुपर"

इन्हें "सुपर-कॉन्ग्रुएंस" क्यों कहा जाता है? गणित की दुनिया में, एक नियमित कॉन्ग्रुएंस यह कहने जैसा है कि दो संख्याएँ 5 से विभाजित करने पर समान शेषफल छोड़ती हैं। एक "सुपर-कॉन्ग्रुएंस" कहीं अधिक मजबूत कथन है, जो अक्सर $p^2$ या $p^3$ जैसी उच्च घातों से जुड़ा होता है। यह केवल यह कहने जैसा नहीं है कि इमारतें सड़क से एक जैसी दिखती हैं, बल्कि यह कि यदि आप नींव में एक-एक ईंट गिनते हैं, तो वे रेत के अंतिम कण तक पूरी तरह से मेल खाती हैं।

शोध पत्र स्थापित करता है कि ये ट्रंकेटेड एप्पेल श्रृंखलाएं, जब q-जादुवई लेंस के माध्यम से देखी जाती हैं, तो इन अविश्वसनीय रूप से मजबूत नियमों का पालन करती हैं। उदाहरण के लिए, प्रमेय 1.4 (Theorem 1.4) एक बड़े टावर (जो $rn-1 $मंजिलों तक बना है) और एक छोटे टावर (जो$ r-1 $मंजिलों तक बना है) के बीच एक संबंध दिखाता है, जो उन्हें एक विशिष्ट$ q$ की घात और लेजेंड्रे सिंबल (एक गणितीय स्विच जो बताता है कि कोई संख्या "वर्ग" है या नहीं) के साथ जोड़ता है।

संक्षेप में

हे-शिया नी का शोध पत्र संख्या सिद्धांत (number theory) की दुनिया में एक उत्कृष्ट कृति है। यह एप्पेल श्रृंखलाओं की जटिल, दो-परत वाली संरचनाओं को लेता है, उन्हें सीमित आकार में सिकोड़ता है, और एक जादुवई "q" फ़िल्टर लागू करता है। उच्च-स्तरीय गणितीय सूक्ष्मदर्शी और डिफरेंशियल ऑपरेटर्स जैसे नए उपकरणों के मिश्रण का उपयोग करते हुए, लेखक सिद्ध करते हैं कि ये संरचनाएं अभाज्य संख्याओं द्वारा विभाजित होने पर सुंदर, अनुमानित पैटर्न का पालन करती हैं। हालांकि मानचित्र के कुछ हिस्से अभी भी "सुझाव" के रूप में चिह्नित हैं, मूल निष्कर्ष ठोस, सिद्ध तथ्य हैं जो इन गणितीय टावरों के बारे में हमारी समझ में नए, जीवंत रंग जोड़ते हैं।

तकनीकी सारांश: ट्रंकेटेड एपेल सीरीज़ से उत्पन्न होने वाले सुपरकॉन्ग्रुएंसेस (Supercongruences)

समस्या विवरण
यह शोध पत्र ट्रंकेटेड एपेल सीरीज़ ( $F_1, F_2, F_3, F_4$ ) और उनके $q$ -अनुलॉग्स (ट्रंकेटेड $q$ -एपेल सीरीज़ $\Phi^{(1)}, \Phi^{(2)}, \Phi^{(3)}, \Phi^{(4)}$ ) के कॉंग्रुएंस गुणों की जांच करता है। जबकि हालिया साहित्य ने इन सीरीज़ के लिए अभाज्य घातों (जैसे $p^2$ ) के अंतर्गत विभिन्न सुपरकॉंग्रुएंसेस को स्थापित किया है, साइक्लोटोमिक पॉलिनोमियल्स ( $\Phi_n(q)$ ) और उनके वर्गों के अंतर्गत संगत $q$ -अनुलॉग्स की आवश्यकता है। विशेष रूप से, यह शोध पत्र $F_1$ और $F_2$ से संबंधित ज्ञात कॉंग्रुएंसेस के लिए अनुपलब्ध $q$ -अनुलॉग्स को संबोधित करता है, और $F_4$ के लिए नए $q$ -सुपरकॉंग्रुएंसेस स्थापित करने का प्रयास करता है जो अपागोडू और ज़ेलबर्गिलर के अनुमानों से संबंधित हैं।

कार्यप्रणाली
लेखक कॉम्बिनेटोरियल आइडेंटिटीज (combinatorial identities) और "क्रिएटिव माइक्रोस्कोपिंग" (creative microscoping) विधि के संयोजन का उपयोग करता है, जिसे मूल रूप से गुओ और जुडिलिन द्वारा पेश किया गया था। मुख्य तकनीकी दृष्टिकोण में शामिल हैं:

क्रिएटिव माइक्रोस्कोपिंग: सीरीज़ में सहायक पैरामीटर्स (जैसे $a, b$ ) को शामिल करना ताकि $(a-q^n)$ और $(b-q^n)$ जैसे कारकों के अंतर्गत कॉंग्रुएंसेस बनाए जा सकें। इसके बाद इन परिणामों को संयोजित करने के लिए चाइनीज रिमाइंडर थ्योरम (Chinese Remainder Theorem) लागू किया जाता है।
$q$ -हाइपरजियोमेट्रिक ट्रांसफॉर्मेशन: बेसिक हाइपरजियोमेट्रिक सीरीज़ के रिडक्शन फॉर्मूला का उपयोग करना, विशेष रूप से $\Phi^{(1)}$ को एक ${}_2\phi_1$ सीरीज़ में बदलने के लिए (समीकरण 1.16)।
समा summation फॉर्मूला: $q$ -वैंडरमंड (या $q$ -चू-वैंडरमंड) समेशन फॉर्मूला (समीकरण 1.17, 1.18) और एंड्रयूज के टर्मिनेटिंग $q$ -अनलॉग ऑफ वॉटसन के ${}_3F_2$ सम (समीकरण 1.20) का व्यापक उपयोग।
रूट्स ऑफ यूनिटी और डिफरेंशियल ऑपरेटर्स: अधिक जटिल मामलों के लिए (विशेष रूप से प्रमेय 1.4 के लिए), लेखक $q$ -रूट्स ऑफ यूनिटी और $q$ -डिफरेंशियल ऑपरेटर्स के गुणों का उपयोग करता है, क्योंकि कुछ न्यूमेरर स्ट्रक्चर के लिए क्रिएटिव माइक्रोस्कोपिंग का सीधा अनुप्रयोग अपर्याप्त सिद्ध हुआ।
लिमिटिंग केसेस: $n=p$ (एक विषम अभाज्य संख्या) सेट करके और $q \to 1$ की सीमा लेकर शास्त्रीय सुपरकॉंग्रुएंसेस (modulo $p^2$ ) प्राप्त करना।

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

$F_1$ के लिए $q$ -अनुलॉग्स (प्रमेय 1.1):
यह शोध पत्र $F_1[\frac{1}{2}; \frac{1}{2}, \frac{1}{2}; 1; 1, 1]_{\frac{p-1}{2}} \equiv p \pmod{p^2}$ के लिए $q$ -अनुलॉग प्रदान करता है।
- $d=2, r=1$ के लिए, $[n]\Phi_n(q)$ के अंतर्गत एक विशिष्ट $q$ -कॉंग्रुएंस स्थापित किया गया है।
- सामान्य $d \ge 2$ के लिए, हार्मोनिक-जैसे योगों (harmonic-like sums) के साथ $\Phi_n(q)^2$ के अंतर्गत एक जटिल $q$ -कॉंग्रुएंस व्युत्पन्न किया गया है।
- इन सीरीज़ से संबंधित एक डबल सम के लिए एक नई आइडेंटिटी (समीकरण 1.12) प्रस्तुत की गई है।
- कोरोलरी 1.1 लिमिट लेकर $F_1$ के लिए शास्त्रीय सुपरकॉंग्रुएंसेस को रिकवर करता है।
$F_2$ और $F_4$ के लिए $q$ -अनलॉग्स (प्रमेय 1.2 और 1.3):
- प्रमेय 1.2 $F_2$ से संबंधित एक ट्रंकेटेड सीरीज़ के लिए $\Phi_n(q)$ के अंतर्गत एक $q$ -कॉंग्रुएंस स्थापित करता है। परिणाम $n \pmod 4$ पर निर्भर करता है: यदि $n \equiv 3 \pmod 4$ है तो यह शून्य हो जाता है और यदि $n \equiv 1 \pmod 4$ है तो यह $q$ -शिफ्टेड फैक्टोरियल्स के एक विशिष्ट उत्पाद को देता है।
- प्रमेय 1.3 $F_4$ से संबंधित एक सीरीज़ के लिए $\Phi_n(q)^2$ के अंतर्गत एक मजबूत परिणाम प्रदान करता है। यह कोरोलरी 1.2 की ओर ले जाता है, जो $p \pmod 4$ के आधार पर मामलों को अलग करते हुए $F_4[\frac{1}{2}, \frac{1}{2}; 1, 1; \frac{1}{4}, \frac{1}{4}]_{\frac{p-1}{2}}$ के लिए सुपरकॉंग्रुएंस की पुष्टि करता है।
अपागोडू-ज़ेलबर्गिलर अनुमानों का समाधान (प्रमेय 1.4):
यह शोध पत्र $F_4[1, 1; 1, 1; 1, 1]$ की ट्रंकेटेड सीरीज़ के अनुपात के संबंध में अपागोडू और ज़ेलबर्गिलर के सुपर-कन्जेक्चर 5' को संबोधित करता है।
- प्रमेय 1.4 $rn $और$ sn $लंबाई की ट्रंकेटेड सीरीज़ों को$ r $और$ s $लंबाई की सीरीज़ों से संबंधित$ \Phi_n(q)^2 $के अंतर्गत एक$ q$-सुपरकॉंग्रुएंस को सिद्ध करता है।
- कोरोलरी 1.2 (प्रमेय 1.4 के संदर्भ में) यह प्रदर्शित करता है कि $n=p$ और $q \to 1$ सेट करने पर अनुमानित शास्त्रीय कॉंग्रुएंस प्राप्त होता है: $F_4[1, 1; 1, 1; 1, 1]_{rp-1} \equiv (\frac{p}{3}) F_4[1, 1; 1, 1; 1, 1]_{r-1} \pmod{p^2}$ ।
कन्जेक्चर (अनुमान):
संख्यात्मक साक्ष्यों के आधार पर, लेखक कन्जेक्चर 3.1 प्रस्तावित करता है, जो यह सुझाव देता है कि प्रमेय 1.2 में दी गई सीरीज़ $n \equiv 3 \pmod 4$ होने पर $\Phi_n(q)^2$ के अंतर्गत शून्य हो जाती है।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह ट्रंकेटेड एपेल सीरीज़ $F_1$ और $F_2$ के कई ज्ञात सुपरकॉंग्रुएंसेस के लिए पहले $q$ -अनलॉग्स प्रदान करता है। इसके अतिरिक्त, यह $F_4$ से संबंधित एक नई $q$ -सुपरकॉंग्रुएंस स्थापित करता है, जो अपागोडू और ज़ेलबर्गिलर के दो विशिष्ट अनुमानों के लिए एक $q$ -अनलॉग के रूप में कार्य करती है। यह कार्य साइक्लोटोमिक पॉलिनोमियल्स और क्रिएटिव माइक्रोस्कोपिंग जैसी उन्नत तकनीकों का उपयोग करते हुए, शास्त्रीय परिणामों को $q$ -सेटिंग में ऊपर उठाकर इन डबल हाइपरजियोमेट्रिक सीरीज़ के अंकगणितीय गुणों की समझ को बढ़ाता है। परिणाम इन $q$ -कॉंग्रुएंसेस के कठोर प्रमाण के रूप में प्रस्तुत किए गए हैं, जिसमें शास्त्रीय मामले स्वाभाविक रूप से लिमिटिंग वैल्यू के रूप में उभरते हैं।

इसी तरह के और पेपर