🔢 mathematics

Explicit constructions for Ramanujan-type congruences

यह शोधपत्र ईटा-कोटिएंट्स (eta-quotients), वीकली होलोमॉर्फिक मॉड्यूलर फॉर्म्स (weakly holomorphic modular forms) और मॉक मॉड्यूलर फॉर्म्स (mock modular forms) सहित जनरेटिंग फंक्शन्स के एक विस्तृत वर्ग के लिए ज्ञात और नए रामानुजन-प्रकार के सर्वांगसमताओं (congruences) को प्राप्त करने हेतु एक एकीकृत ढांचा स्थापित करने के लिए मॉड्यूलर फॉर्म्स के स्पष्ट निर्माण प्रस्तुत करता है।

मूल लेखक: Wei Wang

प्रकाशित 2026-06-23

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

CC0 1.0

मूल लेखक: Wei Wang

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

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

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

वेई वांग का यह शोध पत्र एक मास्टर की (master key) या एक ब्लूप्रिंट (blueprint) की तरह है जो यह समझाता है कि कैसे संख्या की एक विशाल विविधता के लिए इन जादुई ट्रिक्स को बनाया जाए, न कि केवल उस एक सूची के लिए जिसे रामानुजन ने खोजा था।

यहाँ इस शोध पत्र के विचारों का सरल उपमाओं (analogies) का उपयोग करके विवरण दिया गया है:

1. समस्या: "छिपे हुए शून्य" (Hidden Zero) की खोज

कल्पना कीजिए कि आपके पास एक मशीन है जो संख्याएँ उगलती है। आप जानना चाहते हैं: "यदि मैं हर 5वीं संख्या को देखूँ, तो क्या वे सभी 5 से विभाज्य होंगी?"

पुराना तरीका: गणितज्ञ पहले इन पैटर्न को यह कहकर सिद्ध करते थे कि "हमें पता है कि एक पैटर्न वहाँ होना ही चाहिए क्योंकि कुछ अमूर्त गणितीय नियम हैं," लेकिन वे हमेशा आपको यह नहीं दिखा पाते थे कि वह पैटर्न वास्तव में कैसा दिखता है। यह ऐसा था जैसे कहना, "घर में एक भूत है," बिना उस भूत को दिखाए।
इस शोध पत्र का तरीका: लेखक कहता है, "आइए उस भूत को बनाएँ।" वह एक स्पष्ट निर्माण (explicit construction) प्रदान करता है। वह इन शून्य पैटर्न को बनाने वाले सटीक गणितीय ऑब्जेक्ट को बनाने के लिए एक विशिष्ट रेसिपी (एक सूत्र) देता है।

2. उपकरण: "रैंकिन-कोहेन ब्रैकेट" (Rankin-Cohen Bracket)

इन पैटर्न को बनाने के लिए, लेखक रैंकिन-कोहेन ब्रैकेट नामक एक विशेष गणितीय उपकरण का उपयोग करता है।

उपमा: कल्पना कीजिए कि आपके पास दो अलग-अलग प्रकार के संगीत वाद्ययंत्र हैं (मान लीजिए "फंक्शन A" और "फंक्शन B")। यदि आप उन्हें अलग-अलग बजाते हैं, तो वे मधुर ध्वनियाँ उत्पन्न करते हैं। लेकिन यदि आप इस विशेष "ब्रैकेट" उपकरण का उपयोग करके उन्हें मिलाते हैं, तो आप एक नया स्वर (एक नया फंक्शन) बना सकते हैं जिसमें बहुत विशिष्ट, अनुमानित गुण होते हैं।
पेपर दिखाता है कि यदि आप इस उपकरण का उपयोग करके सही सामग्रियों को मिलाते हैं, तो परिणामी ध्वनि में हमेशा एक "शांत स्थान" (शून्य) होता है, जो उन विशिष्ट अंतरालों पर होता है जिन्हें हम देख रहे हैं।

3. तीन प्रकार की रेसिपी

लेखक अपने निष्कर्षों को तीन "फ्लेवर" या संख्या सूचियों के प्रकारों में व्यवस्थित करता है, जिनमें से प्रत्येक के लिए थोड़ी अलग रेसिपी की आवश्यकता होती है:

टाइप I (क्लासिक सामग्रियाँ): यह "एटा-कोटिएंट्स" (Eta-quotients) से बनी सूचियों से संबंधित है। इन्हें संख्या सिद्धांत के बुनियादी निर्माण खंडों के रूप में सोचें, जैसे कि मूल पार्टीशन फंक्शन जिसका अध्ययन रामानुजन ने किया था। पेपर सिद्ध करता है कि इन बुनियादी ब्लॉक्स में से लगभग सभी के लिए, "जादुई शून्य" का यह खेल केवल उन्हीं विशिष्ट अभाज्य संख्याओं (primes) के लिए काम करता है जो रामानुजन ने खोजी थीं (5, 7, 11)। यदि आप इस ट्रिक को 13वीं अभाज्य संख्या पर लागू करने की कोशिश करते हैं, तो यह विफल हो जाती है। लेखक इस विफलता को स्पष्ट रूप से सिद्ध करता है कि "भूत" उन संख्याओं के लिए मौजूद नहीं है।
टाइप II (मजबूत मिश्रण): इसमें थोड़ी अधिक जटिल सूचियाँ (वेट 3/2) शामिल हैं। यहाँ, लेखक दिखाता है कि यदि आप सामग्रियों को सही ढंग से मिलाते हैं, तो आप न केवल एक बार, बल्कि एक दोहराव वाले चक्र में संख्याओं के व्यवहार की भविष्यवाणी कर सकते हैं। यह एक ड्रमबीट की तरह है जो कुछ चरणों के बाद दोहराता है।
टाइप III ("मॉक" सामग्रियाँ): यह सबसे आधुनिक और पेचीदा हिस्सा है। कुछ संख्या सूचियाँ "मॉक मॉड्यूलर फॉर्म्स" (Mock Modular Forms) होती हैं।
- उपमा: कल्पना कीजिए कि एक "मॉक" फॉर्म एक होलोग्राम की तरह है। यह सामने से एक ठोस वस्तु (मॉड्यूलर फॉर्म) की तरह दिखता है, लेकिन यदि आप इसे छूने की कोशिश करते हैं, तो यह पूरी तरह से वहाँ नहीं होता। इसे ठोस बनाने के लिए, आपको एक "नॉन-होलोमोर्फिक" भाग (एक छाया) जोड़ना होगा।
- पेपर दिखाता है कि भले ही ये "होलोग्राम" पेचीदा हैं, लेकिन यदि आप सही छाया जोड़ते हैं और उन्हें "ब्रैकेट" टूल के साथ मिलाते हैं, तो आप अभी भी छिपे हुए शून्य पैटर्न पा सकते हैं।

4. बड़ा परिणाम: यह सिद्ध करना कि क्या काम नहीं करता

सबसे रोमांचक परिणामों में से एक यह नहीं है कि नए पैटर्न खोजे गए; बल्कि यह सिद्ध करना है कि कुछ पैटर्न मौजूद नहीं हैं।

लेखक अपने "ब्लूप्रिंट" का उपयोग करके कई अलग-अलग संख्या सूचियों की जाँच करता है। वह पाता है कि अधिकांश के लिए, "जादुई शून्य" का यह खेल बड़ी अभाज्य संख्याओं के लिए असंभव है।
"पार्टिशन" का उदाहरण: वह प्रसिद्ध पार्टीशन फंक्शन पर वापस जाता है। वह सिद्ध करता है कि 11 से बड़ी किसी भी अभाज्य संख्या के लिए, "हर 13वीं संख्या 13 से विभाज्य है" वाला पैटर्न नहीं होता है। वह केवल अनुमान नहीं लगाता; वह "भूत" के सटीक आकार की गणना करता है और दिखाता है कि वह शून्य नहीं है।

5. पेपर में वास्तविक दुनिया के उदाहरण

यह पेपर केवल सिद्धांत तक सीमित नहीं रहता है; यह इन रेसिपीज़ को वास्तविक, प्रसिद्ध संख्या समस्याओं पर लागू करता है:

स्मलेस्ट पार्ट्स (spt): एक फंक्शन जो पार्टीशन में "सबसे छोटे टुकड़े" की गिनती करता है। पेपर इस और नए पैटर्न को भी खोजता है।
हर्टविज़ क्लास नंबर्स (Hurwitz Class Numbers): एक जटिल संख्या सिद्धांत अवधारणा जो "क्वाड्रेटिक फॉर्म्स" नामक आकृतियों से संबंधित है। पेपर इन संख्याओं के लिए नए कॉंग्रुएंस नियम खोजता है।

सारांश

संक्षेप में, यह शोध पत्र एक निर्माण नियमावली (construction manual) है।

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

तकनीकी सारांश: रामानुजन-प्रकार के सर्वांगसमताओं (Congruences) के लिए स्पष्ट निर्माण

समस्या विवरण
यह शोध पत्र पूर्णांक-मान वाली अनुक्रमों $\{a(n)\}_{n \ge 0}$ के लिए रामानुजन-प्रकार की सर्वांगसमताओं को स्थापित करने की समस्या पर केंद्रित है। विशेष रूप से, यह $a(\ell n - \delta_\ell) \equiv 0 \pmod \ell$ के रूप में संबंधों की खोज करता है, जहाँ $\ell$ एक अभाज्य संख्या है और $\delta_\ell$ एक विशिष्ट शिफ्ट (shift) है। यद्यपि विभाजन फलन (partition function) $p(n)$ के लिए ऐसी सर्वांगसमताएं (जैसे कि 5, 7, और 11 के लिए रामानुजन की सर्वांगसमताएं) सुप्रसिद्ध हैं, लेकिन व्यापक श्रेणी के जनरेटिंग फंक्शन्स (generating functions) के लिए ऐसी सर्वांगसमताओं को सिद्ध करने के पिछले दृष्टिकोण अक्सर अस्तित्व संबंधी तर्कों (existence arguments) पर निर्भर थे। सेरे के फिल्ट्रेशन (Serre's filtration) या ट्रेस ऑपरेटरों का उपयोग करने वाली तकनीकों ने यह प्रदर्शित किया कि संबंधित $q$ -श्रृंखलाएं एक विशिष्ट भार (weight) के मॉड्यूलर रूपों के सर्वांगसम होती हैं, लेकिन वे इन मॉड्यूलर रूपों का स्पष्ट निर्माण करने में विफल रहीं। फलस्वरूप, ये विधियाँ यह निर्धारित करने में भी सक्षम नहीं थीं कि क्या संबंधित श्रृंखला शून्य (identically zero) है या वे शामिल गैर-शून्य मॉड्यूलर रूपों के लिए स्पष्ट व्यंजक (explicit expressions) प्रदान कर सकती हैं।

कार्यप्रणाली
लेखक, वेई वांग (Wei Wang), एक रचनात्मक दृष्टिकोण प्रस्तावित करते हैं जो अस्तित्व संबंधी प्रमाणों के स्थान पर स्पष्ट सूत्रों का उपयोग करता है। मुख्य कार्यप्रणाली रैन्किन-कोहेन ब्रैकेट (Rankin-Cohen bracket) पर आधारित है, जो मॉड्यूलर रूपों के युग्मों पर कार्य करने वाला एक अवकल ऑपरेटर (differential operator) है।

रैन्किन-कोहेन ब्रैकेट: भार $a$ और $b$ वाले फलनों $f$ और $g$ के लिए, ब्रैकेट $[f, g]_v$ को $D^j f D^{v-j} g$ के एक विशिष्ट रैखिक संयोजन के रूप में परिभाषित किया गया है। शोध पत्र इस गुण का उपयोग करता है कि यदि $f$ और $g$ मॉड्यूलर रूप हैं, तो उनका रैन्किन-कोहेन ब्रैकेट भी भार $a+b+2v$ का एक मॉड्यूलर रूप होता है।
स्पष्ट निर्माण: शोध पत्र एक सर्वांगसम पहचान (congruence identity) व्युत्पन्न करता है जो जनरेटिंग फंक्शन के गुणनफल पर लागू $U_\ell$ $U_{ℓ}$ -ऑपरेटर को जनरेटिंग फंक्शन और एक सहायक थीटा सीरीज़ (या एटा-कोटिएंट) के रैन्किन-कोहेन ब्रैकेट के एक रैखिक संयोजन से जोड़ता है।
- केंद्रीय लेम्मा (Lemma 8) यह स्थापित करता है कि $\ell \ge 3$ के लिए एक अभाज्य संख्या हेतु, उत्पाद $fg $और ब्रैकेट$ [f, g]{(\ell-1)/2} $के एक विशिष्ट संयोजन पर$ U\ell$ लागू करने से, वांछित गुणांकों को अलग करने वाली एक सर्वांगसमता प्राप्त होती है।
होलोमॉर्फिक प्रोजेक्शन (Holomorphic Projection): टाइप III परिणामों के लिए, जो मॉक मॉड्यूलर फॉर्म्स (mock modular forms) से संबंधित हैं, कार्यप्रणाली को हार्मोनिक वीक मास फॉर्म्स (harmonic weak Maass forms) तक विस्तारित किया जाता है। लेखक एक मास फॉर्म और एक मॉड्यूलर फॉर्म के रैन्किन-कोहेन ब्रैकेट को वापस होलोमॉर्फिक मॉड्यूलर फॉर्म्स के स्थान में मैप करने के लिए होलोमॉर्फिक प्रोजेक्शन का उपयोग करते हैं, जिससे मॉक मॉड्यूलर फॉर्म के होलोमॉर्फिक भाग के लिए स्पष्ट सर्वांगसमताएं निकालना संभव होता है।
गैर-सर्वांगसमता प्रमाण (Non-Congruence Proofs): यह सिद्ध करने के लिए कि कुछ श्रृंखलाएं शून्य के सर्वांगसम नहीं हैं (गैर-सर्वांगसमता परिणाम), शोध पत्र स्पष्ट निर्माण का उपयोग करके विभिन्न कस्प्स (cusps) पर परिणामी मॉड्यूलर रूपों के मानों की गणना करता है। $q$ -विस्तार सिद्धांत (q-expansion principle) का उपयोग करते हुए, विशिष्ट कस्प्स पर इन मानों को गैर-शून्य दिखाकर, लेखक यह प्रमाणित करते हैं कि संबंधित श्रृंखला पूर्णतः शून्य नहीं हो सकती।

प्रमुख योगदान और परिणाम
यह शोध पत्र जनरेटिंग फंक्शन $f(\tau)$ की प्रकृति के आधार पर अपने परिणामों को तीन प्रकारों में वर्गीकृत करता है:

टाइप I (भार $-1/2$ के एटा-कोटिएंट्स):
- प्रमेय 1: उन एटा-कोटिएंट्स $f(\tau)$ के लिए एक स्पष्ट निर्माण प्रदान करता है जहाँ $1/f$ भार $1/2$ का एक होलोमॉर्फिक मॉड्यूलर रूप है। सर्वांगसमता को रैन्किन-कोहेन ब्रैकेट $[f, g]_{(\ell-1)/2}$ के पदों में व्यक्त किया गया है।
- अनुप्रयोग: यह ढांचा $p(n)$ के लिए रामानुजन की सर्वांगसमताओं को पुनः प्राप्त करता है और अह्लन और बोयलन के प्रमेय का एक नया प्रमाण प्रदान करता है कि $\ell \ge 13$ के लिए, $p(\ell n - \delta_\ell) \not\equiv 0 \pmod \ell$ ।
- गैर-सर्वांगसमता: शोध पत्र यह सिद्ध करता है कि मेर्समैन के भार $1/2$ के वर्गीकरण के अधिकांश एटा-कोटिएंट्स (अपवाद: $1/\eta$ और $\eta\eta(4)/\eta(2)^3$ ) के लिए, $\ell \ge 5$ के लिए कोई रामानुजन-प्रकार की सर्वांगसमता मौजूद नहीं है।
टाइप II (भार $3/2$ के वीकली होलोमॉर्फिक मॉड्यूलर फॉर्म्स):
- प्रमेय 2: भार $3/2$ के वीकली होलोमॉर्फिक मॉड्यूलर फॉर्म $f$ के लिए निर्माण का विस्तार करता है जहाँ $fg $भार$ 2$ का एक होलोमॉर्फिक मॉड्यूलर रूप है।
- परिणाम: $U_\ell$ ऑपरेटर और रैन्किन-कोहेन ब्रैकेट से जुड़ी स्पष्ट सर्वांगसमताएं स्थापित करता है। विशिष्ट शर्तों के तहत (जहाँ $X_0(N)$ का जीनस शून्य है), शोध पत्र सिद्ध करता है कि $U_\ell^2 \equiv \text{Id} \pmod \ell$ , जिससे गुणांकों के लिए पुनरावर्ती (recursive) सर्वांगसम संबंध प्राप्त होते हैं।
टाइप III (भार $3/2$ के मॉक मॉड्यूलर फॉर्म्स):
- प्रमेय 3: मॉक मॉड्यूलर फॉर्म $f$ (हार्मोनिक वीक मास फॉर्म के होलोमॉर्फिक भाग) को संबोधित करता है जिसका शैडो (shadow) भार $1/2$ का एक होलोमॉर्फिक मॉड्यूलर रूप है।
- परिणाम: होलोमॉर्फिक प्रोजेक्शन का उपयोग करके, लेखक मॉक मॉड्यूलर फॉर्म्स के जनरेटिंग फंक्शन्स के लिए स्पष्ट मॉड्यूलर रूप निर्मित करते हैं। यह मॉक मॉड्यूलर फॉर्म्स के गुणांकों, जैसे कि स्मॉलैस्ट पार्ट्स फंक्शन $spt(n) $और हर्ट्ज़ क्लास नंबर्स$ H(N)$ के लिए सर्वांगसमताएं निकालने की अनुमति देता है।

महत्व और दावे
शोध पत्र का दावा है कि इसकी प्राथमिक महत्ता इसके निर्माण की स्पष्टता (explicitness) में निहित है। पूर्ववर्ती विधियों के विपरीत, जो केवल जनरेटिंग फंक्शन के अनुरूप एक मॉड्यूलर रूप के अस्तित्व की गारंटी देती थीं, यह दृष्टिकोण:

स्पष्ट व्यंजक प्रदान करता है: यह उस मॉड्यूलर रूप के लिए एक ठोस सूत्र (रैन्किन-कोहेन ब्रैकेट के माध्यम से) देता है जिसके अनुरूप जनरेटिंग फंक्शन सर्वांगसम है।
गैर-सर्वांगसमता प्रमाणों को सक्षम बनाता है: चूंकि निर्मित मॉड्यूलर रूप स्पष्ट हैं, इसलिए उनके कस्प्स पर मानों की गणना की जा सकती है। इससे लेखक को कठोरता से यह सिद्ध करने की अनुमति मिलती है कि कुछ जनरेटिंग फंक्शन $\ell$ के विरुद्ध शून्य के सर्वांगसम नहीं हैं, जो गैर-रचनात्मक अस्तित्व प्रमाणों के साथ कठिन कार्य था।
एकीकृत ढांचा: यह विधि रैन्किन-कोहेन ब्रैकेट और होलोमॉर्फिक प्रोजेक्शन का उपयोग करके एटा-कोटिएंट्स, वीकली होलोमॉर्फिक फॉर्म्स और मॉक मॉड्यूलर फॉर्म्स के उपचार को एक ही सैद्धांतिक छत्र के नीचे एकीकृत करती है।
पुनर्प्राप्ति और विस्तार: यह दृष्टिकोण ज्ञात सर्वांगसमताओं (जैसे $p(n), spt(n)$ और क्लास नंबर्स के लिए) को पुनः प्राप्त करता है और विभिन्न कॉम्बिनेटरियल फलनों के लिए नए गैर-सर्वांगसमता परिणाम और स्पष्ट सर्वांगसमताएं स्थापित करता है जो पिछले साहित्य में कवर नहीं किए गए थे।

शोध पत्र निष्कर्ष निकालता है कि हालांकि टाइप III के परिणाम पहली नज़र में अस्तित्व संबंधी तर्क लग सकते हैं, लेकिन प्रमाण तंत्र वास्तव में गणना योग्य विस्तार और स्पष्ट आइजनस्टीन भाग (Eisenstein parts) प्रदान करता है, जो अंकगणितीय कॉम्बिनेटरिक्स (arithmetic combinatorics) में सर्वांगसमता गुणों को निर्धारित करने के लिए एक शक्तिशाली उपकरण है।