🔢 mathematics

Sum of parts in overpartitions and partitions without repeated odd parts

यह शोध पत्र शास्त्रीय थीटा फलन पहचानों पर आधारित प्रमाणों का उपयोग करते हुए, ओवरपार्टिशन्स (overpartitions) और बिना दोहराए गए विषम भागों वाले पार्टिशन्स (partitions without repeated odd parts) में विशिष्ट भागों के योग के लिए 5 और 7 के मापांक (modulo) में कई रामानुजन-प्रकार की सर्वांगतताएँ (congruences) स्थापित करता है।

मूल लेखक: Frank Garvan, Rishabh Sarma

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

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

CC BY 4.0

मूल लेखक: Frank Garvan, Rishabh Sarma

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

कल्पना कीजिए कि आपके पास लेगो (LEGO) ईंटों का एक विशाल ढेर है। गणित की दुनिया में, एक "विभाजन" (partition) केवल एक विशिष्ट ऊंचाई का टावर बनाने के लिए ईंटों को रखने का एक तरीका है। उदाहरण के लिए, यदि आपका टावर 4 यूनिट ऊंचा होना चाहिए, तो आप इसे चार 1-यूनिट वाले ब्लॉकों से बना सकते हैं, या एक 3-यूनिट ब्लॉक और एक 1-यूनिट ब्लॉक से, या दो 2-यूनिट ब्लॉकों से, इत्यादि।

एक सदी से अधिक समय से, गणितज्ञों ने श्रीनिवास रामानुजन द्वारा खोजे गए एक विशिष्ट नियम से प्रभावित होकर एक विशेष प्रकार के टावर बनाने के तरीकों की गिनती करने में गहरी रुचि ली है (जैसे कि 5, 10, 15... प्लस 4 की ऊंचाई वाले टावर)। उन्होंने पाया कि इन टावरों की कुल संख्या को 5 से विभाजित करने पर शेषफल हमेशा शून्य आता है। यह संख्याओं के ब्रह्मांड में एक छिपी हुई लय की तरह है।

फ्रैंक गारवन और ऋषभ सरमा द्वारा लिखा गया यह शोध पत्र, इस विचार को लेकर दो बहुत ही विशिष्ट और थोड़े अधिक जटिल तरीके से टावर बनाने की प्रक्रिया पर लागू करता है। केवल यह गिनने के बजाय कि टावर बनाने के कितने तरीके हैं, वे हिस्सों के योग (sum of the parts) में रुचि रखते हैं।

इसे इस तरह समझें:

मानक विभाजन (Standard Partitions): आप बस ईंटों को एक के ऊपर एक रखते हैं।
ओवरपार्टिशन (Overpartitions): कल्पना कीजिए कि आपके कुछ ईंटों पर एक छोटी सी "टोपी" (overline) है। टोपी वाली ईंट, बिना टोपी वाली ईंट से अलग होती है।
दोहराव रहित विषम भाग वाले विभाजन (Partitions without Repeated Odd Parts): आप जितने चाहें उतने सम-आकार (even-sized) के ईंटों का उपयोग कर सकते हैं, लेकिन यदि आप विषम-आकार (odd-sized) की ईंट (जैसे कि 3 या 5) का उपयोग करते हैं, तो आप उस विशिष्ट आकार का केवल एक ही बार उपयोग कर सकते हैं। विषम ईंटों के लिए कोई डुप्लिकेट मान्य नहीं है।

लेखक एक नया प्रश्न पूछ रहे हैं: "यदि हम एक निश्चित ऊंचाई के सभी संभावित टावरों में ईंटों के आकार को जोड़ दें, तो क्या वह कुल योग रामानुजन की उस छिपी हुई लय का पालन करता है?"

मुख्य खोज

लेखकों ने पाया कि हाँ, ये योग एक लय का पालन करते हैं, लेकिन यह इस पर निर्भर करता है कि आप किन ईंटों को गिन रहे हैं और आप "टोपी" के कौन से नियमों का उपयोग कर रहे हैं।

उन्होंने सिद्ध किया कि विशिष्ट प्रकार के टावरों के लिए:

ओवरपार्टिशन (टोपी वाला नियम): यदि आप $5n+4$ या $5n+2$ ऊंचाई के टावरों को देखते हैं, तो सभी "बिना टोपी वाले" ईंटों का योग 5 से पूरी तरह विभाज्य है। यदि आप $7n+3$ ऊंचाई के टावरों को देखते हैं, तो वह योग 7 से विभाज्य है।
सम बनाम विषम ईंटें: उन्होंने ईंटों को उनके रंग (सम संख्या बनाम विषम संख्या) के आधार पर भी अलग किया। उन्होंने पाया कि $7n+5$ ऊंचाई के टावरों के लिए, सम ईंटों का योग 7 से विभाज्य है। $5n+3$ ऊंचाई के टावरों के लिए, विषम ईंटों का योग 5 से विभाज्य है।
"दोहराव रहित विषम" नियम: जब आप ऐसे टावर बनाते हैं जहाँ विषम ईंटों को दोहराया नहीं जा सकता, तो उन्होंने समान पैटर्न पाए। उदाहरण के लिए, $5n$ ऊंचाई के टावरों में सम ईंटों का योग 5 से विभाज्य है।

उन्होंने यह कैसे किया ("एलिमेंट्री" जादू)

आप उम्मीद कर सकते हैं कि इतने जटिल परिणामों वाले शोध पत्र में बहुत उन्नत, भविष्यवादी गणित का उपयोग किया गया होगा। हालाँकि, लेखक गर्व से कहते हैं कि उनकी विधियाँ "एलिमेंट्री" (मौलिक) हैं।

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

शोध पत्र में, वे थीटा फंक्शन्स (Theta Functions) नामक उपकरणों का उपयोग करते हैं। कल्पना कीजिए कि ये विशेष रेसिपी या सूत्र हैं जो बताते हैं कि ये संख्याएँ कैसे व्यवहार करती हैं। लेखकों ने इन पुराने, सुप्रसिद्ध व्यंजनों को लिया और उन्हें "विच्छेदन" (dissection) की प्रक्रिया के माध्यम से विभाजित किया ताकि वे संख्याओं को मोड्यूलो 5 और मोड्यूलो 7 के संदर्भ में देख सकें।

उन्होंने अनिवार्य रूप से दिखाया कि जब वे इन गणितीय "रेसिपी" को एक विशिष्ट तरीके से व्यवस्थित करते हैं, तो वे पद जो लय को बिगाड़ सकते थे (शेषफल), वे एक-दूसरे को पूरी तरह से रद्द कर देते हैं, जिससे केवल 5 या 7 के स्वच्छ गुणक ही बचते हैं।

निष्कर्ष

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

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

तकनीकी सारांश: ओवरपार्टिशन्स (Overpartitions) और बिना दोहराव वाले विषम भागों वाले पार्टिशन्स में भागों का योग

समस्या विवरण
यह शोध पत्र दो विशिष्ट प्रकार के पूर्णांक विभाजनों (integer partitions): ओवरपार्टिशन्स और बिना दोहराव वाले विषम भागों वाले पार्टिशन्स से प्राप्त विशिष्ट अंकगणितीय सांख्यिकी के लिए रामनुजन-प्रकार के सर्वांगसमताओं (congruences) की जांच करता है। जहाँ अनियंत्रित विभाजन फलन $p(n)$ के लिए रामनुजन की शास्त्रीय सर्वांगसमताएं सुस्थापित हैं, वहीं एंड्रयूज और दस्तिदार के हालिया कार्य ने मानक विभाजनों में विषम भागों के योग और सम भागों के योग के अंतर ($SOME(n)$) के इस अन्वेषण को आगे बढ़ाया है। लेखक इन निष्कर्षों का सामान्यीकरण करने के उद्देश्य से ओवरपर्टिशन्स के भीतर सम और विषम (even vs. odd) तथा ओवरलाइन (non-overlined parts) की उपस्थिति द्वारा वर्गीकृत भागों के योग, और बिना दोहराव वाले विषम भागों वाले विभाजनों में सम और विषम भागों के योग का अध्ययन करने का लक्ष्य रखते हैं।

कार्यप्रणाली
प्रस्तुत शोध पत्र के प्रमाण पूर्णतः प्राथमिक (elementary) हैं, जो उन्नत मॉडुलर फॉर्म थ्योरी के बजाय शास्त्रीय थीटा फलन पहचानों (theta function identities) पर निर्भर करते हैं। मुख्य कार्यप्रणाली में निम्नलिखित चरण शामिल हैं:

जनरेटिंग फंक्शन्स (Generating Functions): लेखक रुचि के विशिष्ट सांख्यिकी (जैसे, ओवरपर्टिशन्स में गैर-ओवरलाइन वाले भागों का योग, $SNO(n) $) के लिए जनरेटिंग फंक्शन्स का निर्माण करते हैं। इन फलनों को$ q $-सीरीज, जैसे कि$ (q; q)\infty $और$ (-q; q)\infty$ वाले अनंत उत्पादों के रूप में व्यक्त किया जाता है।
डिफरेंशिएशन और ऑपरेटर्स (Differentiation and Operators): भागों के योग को निकालने के लिए, लेखक एक पैरामीटर $z$ के सापेक्ष अवकलन (differentiation) (जिसे $z=1$ पर मूल्यांकित किया जाता है) या ऑपरेटर $q \frac{d}{dq}$ का उपयोग करते हैं। यह जनरेटिंग फंक्शन्स को $B(q) = \sum \frac{q^n}{(1-q^n)^2}$ वाले फलनों में परिवर्तित कर देता है।
विच्छेदन तकनीकें (Dissection Techniques): केंद्रीय तकनीकी उपकरण $p=5$ $p = 5$ और $p=7$ $p = 7$ के लिए जनरेटिंग फंक्शन्स का $p$ $p$ -विच्छेदन (dissection) है। लेखक निम्नलिखित का उपयोग करते हैं:
- यूलर का पेंटागोनल नंबर थ्योरम (Euler's pentagonal number theorem)।
- जैकोबी की ट्रिपल प्रोडक्ट आइडेंटिटी (Jacobi's triple product identity)।
- वॉटसन की क्विंटपल प्रोडक्ट आइडेंटिटी (Watson's quintuple product identity)।
- चार थीटा फलनों के उत्पादों के लिए वीयरस्ट्रॉस की पहचान (Weierstrass's identity)।
मॉड्यूलर अंकगणित (Modular Arithmetic): ऑपरेटर $U_{p,a}$ (जो गुणांक $f(pn+a)$ को निकालता है) को लागू करके और modulo $p$ के तहत विच्छेदन सूत्रों का उपयोग करके, लेखक यह प्रदर्शित करते हैं कि जनरेटिंग फंक्शन्स में विशिष्ट गुणांक 5 या 7 के modulo शून्य होते हैं।

मुख्य योगदान और परिणाम
यह शोध पत्र परिभाषित सांख्यिकी के लिए कई नई सर्वांगसमताओं को स्थापित करता है। मुख्य परिणामों का सारांश इस प्रकार है:

ओवरपर्टिशन्स (Overpartitions):
- मान लीजिए $SNO(n) $ओवरपर्टिशन्स के$ $ओवरपर्टिशन्सके$ n$ के सभी गैर-ओवरलाइन वाले भागों का योग है। लेखक सिद्ध करते हैं:
  - $SNO(5n + 4) \equiv 0 \pmod 5$
  - $SNO(5n + 2) \equiv 0 \pmod 5$
  - $SNO(7n + 3) \equiv 0 \pmod 7$
- मान लीजिए $SENO(n) $और$ $और$ SONO(n)$ क्रमशः गैर-ओवरलाइन वाले सम और विषम भागों के योग हैं। लेखक सिद्ध करते हैं:
  - $SENO(7n + 5) \equiv 0 \pmod 7$
  - $SONO(5n + 3) \equiv 0 \pmod 5$
बिना दोहराव वाले विषम भागों वाले पार्टिशन्स (Partitions Without Repeated Odd Parts):
- मान लीजिए $SEDO(n) $और$ $और$ SODO(n) $बिना दोहराव वाले विषम भागों वाले$ $बिनादोहराववालेविषमभागोंवाले$ n$ के सम और विषम भागों के योग हैं। लेखक सिद्ध करते हैं:
  - $SEDO(5n) \equiv 0 \pmod 5$ और $SEDO(7n) \equiv 0 \pmod 7$
  - $SODO(5n) \equiv 0 \pmod 5$
  - $SODO(7n) \equiv 0 \pmod 7$ और $SODO(7n + 2) \equiv 0 \pmod 7$
- इसके अतिरिक्त, सम और विषम भागों के योग का अंतर निम्नलिखित को संतुष्ट करता है:
  - $SEDO(7n + 5) - SODO(7n + 5) \equiv 0 \pmod 7$

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

मुख्य खोज

उन्होंने यह कैसे किया ("एलिमेंट्री" जादू)

निष्कर्ष

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