🔢 mathematics

Congruences for the coefficients of MacMahon-like $q$ -series

यह शोध पत्र ब्रिंगमैन, क्रेग, वैन इटर्सम और पांडे द्वारा प्रस्तुत मैकमहाोन-समान $q$ -श्रृंखलाओं के गुणांकों के लिए पूर्व में अनुमानित सभी सर्वांगसमताओं को सिद्ध करता है, साथ ही इसी प्रकृति के कई नए सर्वांगसमता संबंधों को भी स्थापित करता है।

मूल लेखक: Yuta Motomura, Takehiro Suda

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

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

CC BY 4.0

मूल लेखक: Yuta Motomura, Takehiro Suda

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

एक ऐसी दुनिया की कल्पना करें जहाँ संख्याएँ केवल आपकी पॉकेट मनी या आपकी उम्र गिनने के साधन नहीं हैं, बल्कि एक भव्य, अनंत नृत्य के पात्र हैं। गणित के उस क्षेत्र में जिसे संख्या सिद्धांत (number theory) कहा जाता है, वैज्ञानिक अध्ययन करते हैं कि ये संख्याएँ कैसे परस्पर क्रिया करती हैं, जो अक्सर जटिल पैटर्न के पीछे छिपी होती हैं जो गुप्त कोड की तरह दिखते हैं। सबसे प्रसिद्ध "कोडों" में से एक में q-सीरीज (q-series) शामिल है। एक q-सीरीज को एक जादुई रेसिपी बुक की तरह समझें। इसमें आटे और चीनी जैसे अवयवों को सूचीबद्ध करने के बजाय, यह एक रहस्यमय चर (variable) $q$ की घातों (powers) को सूचीबद्ध करती है। जब आप इस रेसिपी का पालन करते हैं, तो इसके "गुणांक" (coefficients - वे संख्याएँ जो प्रत्येक $q$ के सामने बैठी होती हैं) आपको बताती हैं कि एक विशिष्ट संरचना बनाने के कितने अलग-अलग तरीके हैं, जैसे ब्लॉक को एक के ऊपर एक रखना या मोतियों को सजाना।

एक सदी से अधिक समय से, गणितज्ञ इस प्रकार की विशेष रेसिपी के प्रति आकर्षित रहे हैं जिसे मैकोमहन सीरीज (MacMahon series) कहा जाता है, जिसका नाम पर्सी मैकोमहन के नाम पर रखा गया है। ये रेसिपी विशेष हैं क्योंकि ये "भाजकों के योग" (sum-of-divisors) फलन से गहराई से जुड़ी हुई हैं। यदि आप एक संख्या लेते हैं, जैसे कि 6, तो इसके भाजक हैं 1, 2, 3, और 6। इनका योग 12 है। मैकोमहन की सीरीज गणितज्ञों को अनंत संख्याओं में इन योगों को ट्रैक करने में मदद करती है, जिससे छिपी हुई सममिति (symmetries) प्रकट होती हैं। हाल ही में, शोधकर्ताओं के एक समूह ने इन रेसिपीओं का एक नया, अधिक जटिल परिवार खोजा, जिसे उन्होंने "मैकोमहन-जैसी" (MacMahon-like) सीरीज कहा। उन्होंने पाया कि इन रेसिपीओं में संख्याएँ सख्त नियमों का पालन करती हैं, और अक्सर विशिष्ट अभाज्य संख्याओं (जैसे 3, 5, या 7) के चश्मे से देखने पर शून्य हो जाती हैं। हालाँकि, उन्होंने इन पैटर्न के सटीक नियमों का केवल अनुमान लगाया था, जिससे कुछ अनुमानित बातें अनखुले उपहारों की तरह लटकी रह गईं।

यह शोध पत्र, जिसे यूटा मोतोमुरा और ताकेहिरो सूडा ने लिखा है, अंततः उन उपहारों को खोलने वाली कुंजी है। लेखक उन "मैकोमहन-जैसी" सीरीज को लेते हैं जिन्हें ब्रिंगमैन, क्रेग, वैन इटर्सम और पांडे द्वारा पेश किया गया था और वे सिद्ध करते हैं कि पिछले शोधकर्ताओं ने जिन पैटर्न का अनुमान लगाया था, वे वास्तव में सही थे। उन्होंने केवल अनुमान नहीं लगाया; उन्होंने मौलिक गणनाओं का उपयोग करके यह सिद्ध किया कि इन विशिष्ट प्रकार की सीरीज के लिए, गुणांक वास्तव में विशिष्ट परिस्थितियों में शून्य होते हैं।

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

यह शोध पत्र कुछ विशिष्ट, कठिन मामलों को भी सुलझाता है जो खुले प्रश्नों के रूप में छोड़े गए थे। उदाहरण के लिए, उन्होंने सिद्ध किया कि 8 वाली एक विशेष सीरीज के लिए, गुणांक हमेशा 7 से विभाज्य होते हैं। उन्होंने यह भी दिखाया कि 3 वाली सीरीज के लिए, गुणांक एक बहुत ही विशिष्ट लय में लुप्त हो जाते हैं। शायद सबसे महत्वपूर्ण बात यह है कि उन्होंने 37 नामक संख्या के बारे में एक विशिष्ट अनुमान को संबोधित किया। शोध के एक पिछले संस्करण में, यह माना गया था कि 37 के लिए एक निश्चित पैटर्न सत्य है। मोतोमुरा और सूडा ने दिखाया कि यह अनुमान कम से कम एक मामले के लिए (विशेष रूप से $n=222$ के लिए) गलत था, यह सिद्ध करते हुए कि पैटर्न वहां टूट जाता है। यह उनके काम का एक महत्वपूर्ण हिस्सा है: उन्होंने केवल अनुमानों को "हाँ" नहीं कहा; उन्होंने गलत वाले को "ना" भी कहा, जिससे इन गणितीय पैटर्न के मानचित्र को साफ किया गया।

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

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

तकनीकी सारांश: मैकोमहन-सदृश q-श्रंखलाओं के गुणांकों के लिए सर्वांगसमता (Congruences)

समस्या विवरण
यह शोध पत्र मैकोमहन-सदृश $q$ -श्रंखलाओं के गुणांकों के अंकगणितीय गुणों को संबोधित करता है, विशेष रूप से $A_{a,k,r}(q)$ और $B_{a,k,r,s}(q)$ फलनों पर ध्यान केंद्रित करता है, जिन्हें ब्रिंगमैन, क्रेग, वैन इटर्सम और पांडे [5] द्वारा प्रस्तुत किया गया है। ये श्रंखलाएं शास्त्रीय मैकोमहन श्रंखला $U_a(q)$ का सामान्यीकरण करती हैं, जो ज्ञात रूप से योग-भाजक फलनों (sum-of-divisors functions) और अर्ध-आव्यूहित रूपों (quasimodular forms) से संबंधित हैं। हालांकि ब्रिंगमैन आदि [5] ने यह स्थापित किया कि कुछ उप-परिवारों के गुणांक अनंत सर्वांगसमताओं को संतुष्ट करते हैं, उन्होंने विशिष्ट गुणांकों के लिए कुछ स्पष्ट सर्वांगसम संबंध केवल अनुमान (conjectures) के रूप में छोड़ दिए थे। इस कार्य का प्राथमिक उद्देश्य इन अनुमानों को सिद्ध करना और प्रारंभिक विधियों का उपयोग करके इसी प्रकार के अतिरिक्त सर्वांगसम संबंध व्युत्पन्न करना है।

कार्यप्रणाली
लेखक अपने परिणामों को स्थापित करने के लिए संयोजन विस्तार (combinatorial expansion), $p$ -मानिक मूल्यांकन (p-adic valuation analysis), और शास्त्रीय संख्या-सिद्धांत संबंधी लेम्मा (lemmas) के संयोजन का उपयोग करते हैं।

संयोजन विस्तार (Combinatorial Expansion): शोध पत्र गुणांकों $c_{a,k,r}(n)$ और $d_{a,k,r,s}(n)$ के लिए स्पष्ट संयोजन सूत्र व्युत्पन्न करने के साथ शुरू होता है (लेम्मा 2.1)। जनरेटिंग फलनों के हर (denominators) में ज्यामितीय श्रंखलाओं का विस्तार करके, गुणांकों को द्विपद गुणांकों (binomial coefficients) वाले योगों के रूप में व्यक्त किया जाता है। विशेष रूप से, गुणांकों को $\binom{k-1+t_i-r}{k-1}$ जैसे पदों द्वारा भारित विभाजनों (partitions) के योग के रूप में दिखाया गया है।
$p$ -मानिक मूल्यांकन और कुमर का प्रमेय (Kummer's Theorem): अभाज्य घातों के गुणांकों के लिए सर्वांगसमता को सिद्ध करने के लिए, लेखक द्विपद गुणांकों में प्रयुक्त होने वाले $p$ -मानिक मूल्यांकन ( $v_p$ ) का विश्लेषण करते हैं। वे कुमर के प्रमेय (लेम्मा 2.2) का उपयोग करते हैं, जो $v_p\binom{n}{m}$ को $m$ और $n-m$ के आधार- $p$ जोड़ में होने वाले 'कैरी' (carries) की संख्या से संबंधित करता है। यह लेखकों को विशिष्ट अंकगणितीय प्रगति के तहत व्यक्तिगत पदों के न्यूनतम मूल्यांकन का विश्लेषण करके कुल योग के मूल्यांकन को सीमित करने की अनुमति देता है।
जनरेटिंग फंक्शन पहचान (Generating Function Identities): चेबिशेव बहुपदों और आव्यूहित रूपों (modular forms) से संबंधित विशिष्ट मामलों के लिए (प्रमेय 1.3(2)), लेखक चेबिशेव प्रथम प्रकार के बहुपदों, $T_n(x)$ , और $q$ -श्रंखलाओं के उत्पादों से जुड़ी जनरेटिंग फंक्शन पहचानों का उपयोग करते हैं। वे रुचि के गुणांकों को यूलर फलन $(q;q)_\infty$ की घातों के गुणांकों से जोड़ते हैं।
डिरिचलेट का प्रमेय (Dirichlet's Theorem): प्रमेय 1.4 में अंकगणितीय प्रगति के अस्तित्व के लिए, लेखक विशिष्ट मोडुलर स्थितियों को पूरा करने वाले अभाज्य संख्याओं के अनुक्रम का निर्माण करने के लिए डिरिचलेट के अंकगणितीय प्रगति पर प्रमेय का आह्वान करते हैं, जिससे आवश्यक सर्वांगसमताओं का निर्माण संभव हो सके।

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

अनुमानों की सिद्धि (Proof of Conjectures): शोध पत्र ब्रिंगमैन आदि [5] द्वारा अनुमानित सर्वांगसमताओं के लिए कठोर प्रमाण प्रदान करता है।
- प्रमेय 1.2: $c_{a,k,r}(n)$ और $d_{a,k,r,s}(n)$ के लिए "हेके-प्रकार" (Hecke-type) की सर्वांगसमता स्थापित करता है। एक अभाज्य $p$ के लिए, गुणांक विशिष्ट अंकगणितीय प्रगति $p^{\alpha+1}n + p^\alpha\beta$ पर $p^{v_p(k)-\alpha}$ के मॉड्यूल $p$ पर शून्य होते हैं। यह रामानुजन-प्रकार की सर्वांगसमताओं के पिछले परिणामों का सामान्यीकरण करता है।
- प्रमेय 1.3: विशिष्ट स्पष्ट सर्वांगसमताओं को सिद्ध करता है, जिनमें शामिल हैं:
  - $c_{1,3,1}(8n-4) \equiv 0 \pmod 7$ .
  - $c_{3a,4,2}(3n-1) \equiv c_{3a-1,4,2}(3n-1) \equiv 0 \pmod 3$ .
  - विषम अभाज्य $p$ के लिए $c_{1,2p-1,p-1}(p^2n+1) \equiv c_{1,2p-1,p}(p^2n+1) \equiv 0 \pmod p$ .
- लेखक यह भी स्पष्ट करते हैं कि $[5]$ के एक पिछले संस्करण में $c_{2,4,2}(37n) \equiv 0 \pmod{19}$ के संबंध में एक विशिष्ट अनुमान गलत है, और इसके लिए एक प्रति-उदाहरण ( $n=222$ ) प्रदान करते हैं।
नए सर्वांगसम संबंध (New Congruence Relations): अनुमानों के परे, यह शोध पत्र नए सर्वांगसम संबंध स्थापित करता है, जैसे कि वह मामला जहाँ $r, s$ विषम पूर्णांक हैं, जिससे $d_{a,k,r,s}(2n-1) \equiv 0 \pmod{2^{v_2(k)}}$ प्राप्त होता है।
प्रगति का अस्तित्व (Theorem 1.4): यह शोध पत्र सिद्ध करता है कि $a=1$ के मामले के लिए, अनंत गैर-नेस्टेड (non-nested) अंकगणितीय प्रगति $An+B $मौजूद हैं, ताकि किसी भी मोडुलस$ m $के लिए$ c_{1,k,r}(An+B) \equiv 0 \pmod m $हो। यह ब्रिंगमैन आदि [5] (प्रमेय 1.1) के परिणाम को$ a=1 $के मामले के लिए किसी भी$ k$ के साथ विस्तारित करता है।

महत्व
यह शोध पत्र मुख्य रूप से ब्रिंगमैन आदि [5] द्वारा छोड़े गए खुले प्रश्नों को हल करने में अपनी सार्थकता का दावा करता है। अनुमानित सर्वांगसमताओं को सिद्ध करके और प्रारंभिक गणनाओं के माध्यम से नए संबंध व्युत्पन्न करके, यह कार्य मैकोमहन-सदृश श्रंखलाओं की अंकगणितीय संरचना की समझ को सुदृढ़ करता है। लेखक उल्लेख करते हैं कि ये सर्वांगसमताएं "हेके-प्रकार" की हैं, जो रामानुजन के ताऊ फलन (Ramanujan tau function) द्वारा संतुष्ट सर्वांगसमताओं के साथ समानता दर्शाती हैं। परिणाम प्रदर्शित करते हैं कि जनरेटिंग फलनों की जटिलता के बावजूद, उनके गुणांक मजबूत विभाज्यता गुणों (divisibility properties) को प्रदर्शित करते हैं जिन्हें इन विशिष्ट मामलों के लिए पूर्ण मॉडुलर फॉर्म थ्योरी की मशीनरी की आवश्यकता के बिना, संयोजन विस्तार और मूल्यांकन विश्लेषण के माध्यम से प्राप्त किया जा सकता है।

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