🔢 mathematics

Elementary Proofs of Two Congruences for Partitions with Odd Parts Repeated at Most Twice

यह शोधपत्र $a(4n+2) \equiv 0 \pmod{2}$ और $a(4n+3) \equiv 0 \pmod{2}$ केों के लिए दो प्रारंभिक प्रमाण प्रदान करता है, जहाँ $a(n)$ , विषम भागों के अधिकतम दो बार दोहराव वाले $n$ के विभाजनों (partitions) की गणना करता है, जिससे मर्का द्वारा की गई एक प्रार्थना पूरी होती है।

मूल लेखक: James A. Sellers

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

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

CC BY 4.0

मूल लेखक: James A. Sellers

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

कल्पना कीजिए कि आपके पास नंबर वाले ब्लॉकों का एक विशाल थैला है। आपका काम "टावर" (जिसे गणितज्ञ विभाजन/partitions कहते हैं) बनाना है, जिसमें आप इन ब्लॉकों को इस तरह से एक के ऊपर एक रखकर एक विशिष्ट संख्या, मान लीजिए $n$ , का कुल योग प्राप्त करते हैं।

आमतौर पर, आप ब्लॉकों को किसी भी तरह से स्टैक कर सकते हैं। लेकिन इस शोध पत्र में, हम एक बहुत ही विशिष्ट खेल खेल रहे हैं जिसमें एक विशेष नियम है: आप एक टावर में "विषम" (odd) नंबर वाले ब्लॉकों (1, 3, 5, आदि) का उपयोग एक बार में अधिक से अधिक दो बार ही कर सकते हैं। आप "सम" (even) नंबर वाले ब्लॉकों (2, 4, 6, आदि) का उपयोग जितनी बार चाहें उतनी बार कर सकते हैं।

आइए इस संख्या $n$ के लिए आप कितने अलग-अलग टावर बना सकते हैं, उस संख्या को $a(n)$ कहें।

रहस्य

एक गणितज्ञ मerca ने इस खेल को देखा और गौर किया कि कुछ अजीब बात है। उन्होंने पाया कि यदि आप $4n + 2$ (जैसे 2, 6, 10, 14...) या $4n + 3$ (जैसे 3, 7, 11, 15...) जैसे दिखने वाले नंबरों के लिए टावर बनाने की कोशिश करते हैं, तो उन्हें बनाने के कुल तरीकों की संख्या हमेशा एक सम (even) संख्या होती है।

गणितीय शब्दों में, उन्होंने सिद्ध किया कि:

$a(4n + 2)$ संख्या 2 से विभाज्य है।
$a(4n + 3)$ संख्या 2 से विभाज्य है।

मerca ने इसे एक बहुत ही शक्तिशाली, स्वचालित कंप्यूटर-जैसे तरीके का उपयोग करके सिद्ध किया। हालांकि यह सही था, लेकिन यह यह समझाने के लिए पर्याप्त नहीं था कि उत्तर सम क्यों है; यह केवल एक brute force (शक्ति के प्रयोग) जैसा था। उन्होंने एक "शास्त्रीय" या "तत्वमीमांसीय" (elementary) प्रमाण मांगा—एक सरल, तार्किक स्पष्टीकरण जिसे एक मनुष्य समझ सके बिना किसी सुपरकंप्यूटर के।

जेम्स सेलर्स, जो इस शोध पत्र के लेखक हैं, कहते हैं: "चुनौती स्वीकार है!" वह इसे सिद्ध करने के लिए दो सरल तरीके प्रदान करते हैं।

विधि 1: "जादुई फिल्टर" (जनरेटिंग फंक्शन्स)

एक जनरेटिंग फंक्शन को एक जादुई मशीन के रूप में सोचें जो संख्याओं की एक सूची लेता है और उसे एक विशाल बीजगणितीय रेसिपी (एक बहुपद/polynomial) में बदल देता है। यदि आप इस रेसिपी का विस्तार करते हैं, तो एक विशिष्ट पद (term) कितनी बार आता है, वह आपको बताता है कि कितने टावर मौजूद हैं।

मerca की इस समस्या के लिए मूल रेसिपी अविश्वसनीय रूप से जटिल और अव्यवरेज्ड थी, जैसे कि सैकड़ों चरणों वाला 20 पन्नों का एक निर्देश मैनुअल।

सेलर्स का पहला प्रमाण उस सरलीकृत संस्करण को खोजने जैसा है।

वह जटिल रेसिपी को लेता है और कुछ चतुर बीजगणितीय युक्तियों (जिन्हें "डिससेक्शन" कहा जाता है) का उपयोग करके उसे काटता है।
वह रेसिपी को दो भागों में विभाजित करता है: एक सम संख्याओं के लिए और एक विषम संख्याओं के लिए।
जब वह विशेष रूप से $4n+2$ और $4n+3$ वाले भागों को देखता है, तो वह एक अद्भुत चीज़ पाता है: इन विशिष्ट संख्याओं के लिए पूरी रेसिपी के ठीक सामने एक "2" बैठा हुआ है।

उपमा: कल्पना कीजिए कि आप कुकीज़ बना रहे हैं। मूल रेसिपी कहती है, "मैदा, चीनी, अंडे और एक गुप्त सामग्री मिलाएं।" सेलर्स का प्रमाण दिखाता है कि "4n+2" लेबल वाले विशिष्ट बैच के लिए, रेसिपी वास्तव में कहती है, "इस मिश्रण के 2 बैच लें।"
यदि आपके पास 2 बैच हैं, तो आपके पास स्वतः ही सम संख्या में कुकीज़ होंगी। आप उन्हें कैसे भी गिनें, कुल संख्या सम ही होगी। यह नियम को केवल रेसिपी की संरचना को देखकर सिद्ध करता है।

विधि 2: "वर्ग की खोज" (थीटा फंक्शन्स)

दूसरा प्रमाण वर्गों (squares) से जुड़ी एक जासूसी कहानी की तरह है।

सेलर्स इस टावर बनाने के खेल को एक विशेष गणितीय वस्तु से जोड़ते हैं जिसे थीटा फंक्शन कहा जाता है। इस फंक्शन को एक टॉर्च की तरह समझें जो केवल उन नंबरों पर रोशनी डालती है जो एक बहुत ही विशिष्ट आकार में लिखे जा सकते हैं: $3k^2 + 2k$ (जहाँ $k$ एक पूर्ण संख्या है)।

यदि कोई संख्या इस आकार में फिट बैठती है, तो टॉर्च जल जाती है (मान 1 होता है)।
यदि वह फिट नहीं बैठती, तो टॉर्च बंद रहती है (मान 0 होता है)।

प्रमाण फिर इन टॉर्च वाले नंबरों को टावर गणनाओं ( $a(n)$ ) से जोड़ता है। यह पता चलता है कि $n$ के लिए टावरों की संख्या इन टॉर्च वाले नंबरों के योग से संबंधित है।

जासूसी कार्य:
सेलर्स पूछते हैं: "क्या $4n + 2$ या $4n + 3$ कभी $3k^2 + 2k$ के आकार में फिट हो सकते हैं?"

वह एक त्वरित गणना करते हैं और महसूस करते कि यदि $4n + 2$ इस आकार में फिट होता, तो इसे 3 से गुणा करने और 1 जोड़ने पर एक पूर्ण वर्ग (perfect square) बनना चाहिए था।
हालाँकि, वह गणित की जाँच करते हैं और पाते हैं कि $4n + 2$ (और $4n + 3$ ) हमेशा ऐसे नंबर देते हैं जो पूर्ण वर्ग नहीं हो सकते (वे 4 से विभाजित करने पर 3 या 2 का शेषफल छोड़ते हैं, जबकि वर्ग ऐसा नहीं करते)।

निष्कर्ष:
चूंकि इन विशिष्ट नंबरों के लिए टॉर्च कभी नहीं जलती (मान हमेशा 0 होता है), इसलिए टावरों की संख्या निर्धारित करने वाला योग शून्य (या सम) हो जाता है।

उपमा: कल्पना कीजिए कि आप चाबियों के एक विशाल ढेर में एक विशिष्ट चाबी ढूंढने की कोशिश कर रहे हैं। आपकी "चाबी" केवल तभी मौजूद होती है जब वह एक पूर्ण वर्ग हो। आप नंबरों 2, 6, 10, 14... की जाँच करते हैं और महसूस करते हैं कि इनमें से कोई भी पूर्ण वर्ग नहीं है। इसलिए, चाबी मौजूद ही नहीं है। यदि चाबी मौजूद नहीं है, तो चाबियों की "गिनती" शून्य है। चूंकि शून्य एक सम संख्या है, इसलिए नियम सही साबित होता है।

सारांश

यह शोध पत्र केवल यह नहीं कहता कि "यह सच है क्योंकि एक कंप्यूटर ने ऐसा कहा है।" इसके बजाय, यह दो स्पष्ट, मानव-पठनीय कारण प्रदान करता है:

रेसिपी विधि: इन संख्याओं के लिए गणितीय सूत्र के सामने वास्तव में "2" गुणा में है, जो एक सम परिणाम की गारंटी देता है।
वर्ग विधि: प्रश्न में दिए गए नंबर ( $4n+2$ और $4n+3$ ) गणितीय रूप से पूर्ण वर्ग होने के लिए "वर्जित" हैं, जो विभाजन की गिनती को सम होने के लिए मजबूर करता है।

दोनों विधियाँ जटिल स्वचालन के बजाय सरल, शास्त्रीय तर्क का उपयोग करके मerca के अवलोकन की पुष्टि करती हैं।

तकनीकी सारांश: विषम भागों के अधिकतम दो बार दोहराव वाले विभाजनों के लिए दो सर्वांगसमताओं के प्रारंभिक प्रमाण

समस्या विवरण
यह शोध पत्र विभाजन सिद्धांत (partition theory) में एक विशिष्ट समस्या को संबोधित करता है जो एक सहायक फलन $a(n)$ से संबंधित है, जो एक पूर्णांक $n$ के उन विभाजनों की गणना करता है जहाँ विषम भाग अधिकतम दो बार दोहराए जाते हैं (सम भागों पर कोई प्रतिबंध नहीं है)। यह फलन $n$ के उन विभाजनों की गणना करने के समतुल्य है जहाँ कोई भी भाग 6 के गुणांक (modulo 6) के रूप में 3 के अनुरूप नहीं है। ओवरपार्टिशन (overpartitions) पर एक हालिया अध्ययन में, मेर्का (Merca) ने इस फलन के लिए दो सर्वांगसमताएँ (congruences) स्थापित कीं:

$a(4n + 2) \equiv 0 \pmod 2$
$a(4n + 3) \equiv 0 \pmod 2$
यद्यपि मेर्का ने राडू (Radu) और स्मूथ (Smoot) के कार्य पर आधारित स्वचालित तकनीकों का उपयोग करके इन परिणामों के प्रमाण प्रदान किए थे, उन्होंने उल्लेख किया कि ये विधियाँ परिणाम की अंतर्निहित संरचना के बारे में कोई अंतर्दृष्टि प्रदान नहीं करती हैं और एक "शास्त्रीय" या प्रारंभिक प्रमाण का अनुरोध किया। इस शोध पत्र का लक्ष्य एक "शास्त्रीय" या प्रारंभिक प्रमाण प्रदान करके इस अनुरोध को पूरा करना है।

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

सरलीकृत जनरेटिंग फंक्शन पहचान (अनुभाग 2):
पहला तरीका जनरेटिंग फंक्शन्स के विच्छेदन (dissection) पर निर्भर करता है। लेखक $f_3/f_1$ और $1/f_1^2$ के विच्छेदन के संबंध में दो प्रारंभिक लेम्मा (lemmas) का उपयोग करते हैं (दा सिल्वा और सेलर्स का संदर्भ देते हुए)। $a(n)$ के जनरेटिंग फंक्शन, जिसे $\sum a(n)q^n = f_3 / (f_1 f_6)$ के रूप में परिभाषित किया गया है, पर इन लेम्मा को लागू करके, लेखक क्रमिक 2-विच्छेदन (2-dissections) करते हैं। यह प्रक्रिया $a(4n+2)$ और $a(4n+3)$ के अनुरूप पदों को अलग करती है, जिससे मेर्का द्वारा पहले व्युत्पन्न की गई तुलना में काफी सरल जनरेटिंग फंक्शन पहचान प्राप्त होती है।
थीटा फलन और मॉड्यूलर अंकगणित (अनुभाग 3):
दूसरा तरीका $a(n)$ के जनरेटिंग फंक्शन को एक विशिष्ट थीटा फलन, $G(q) = f_2^2 f_3 f_{12} / (f_1 f_4 f_6)$ से जोड़ता है, जो भार 1/2 का एक होलोमॉर्फिक मॉड्यूलर फॉर्म (holomorphic modular form) है। लेखक $a(n)$ के जनरेटिंग फंक्शन और विभाजन फलन $p(n)$ के जनरेटिंग फंक्शन तथा थीटा फलन $G(q)$ के गुणनफल के बीच 2 के मॉड्यूल (modulo 2) में एक सर्वांगतता स्थापित करते हैं।
$G(q)$ के गुणांकों, जिन्हें $g(n)$ द्वारा दर्शाया गया है, केवल तभी गैर-शून्य होते हैं जब $n$ का रूप $3k^2 + 2k$ होता है। प्रमाण एक संख्या-सिद्धांत संबंधी तर्क में परिवर्तित हो जाता है: यह प्रदर्शित करता है कि अंकगणितीय प्रगति (arithmetic progressions) $4N+2$ और $4N+3$ को $3k^2 + 2k$ के रूप में निरूपित नहीं किया जा सकता है। इसे $3n+1 = (3k+1)^2$ के द्विघात समीकरण का विश्लेषण करके दिखाया गया है, और यह देखते हुए कि $n \in \{4N+2, 4N+3\}$ के लिए, परिणामी मान $3n+1$ क्रमशः 3 या 2 (modulo 4) के अनुरूप होता है। चूंकि कोई भी पूर्ण वर्ग 2 या 3 (modulo 4) के अनुरूप नहीं होता है, इसलिए $g(4N+2)$ और $g(4N+3)$ के गुणांक समान रूप से शून्य हैं।

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

प्रारंभिक प्रमाण: यह शोध पत्र $a(4n+2) \equiv 0 \pmod 2$ और $a(4n+3) \equiv 0 \pmod 2$ की सर्वांगगतियों के लिए दो "वास्तव में प्रारंभिक" प्रमाण प्रदान करता है, जो शास्त्रीय व्युत्पत्ति के लिए मेर्का के अनुरोध को सीधे संबोधित करता है।
सरलीकृत पहचान: लेखक $a(4n+2)$ और $a(4n+3)$ के उप-अनुक्रमों के लिए नई, बहुत सरल जनरेटिंग फंक्शन पहचान (प्रमेय 1.4 और 1.5) व्युत्पन्न करते हैं, जो मेर्का (प्रमेय 1.1 और 1.2) द्वारा स्थापित पहचानों की तुलना में बहुत कम जटिल हैं।
संरचनात्मक अंतर्दृष्टि: दूसरा प्रमाण विधि यह प्रकाश डालती है कि ये विशिष्ट अंकगणितीय प्रगति क्यों उत्पन्न होती हैं। समस्या को पूर्ण वर्ग के अस्तित्व न होने (विशेष रूप से modulo 4) से जोड़कर, यह शोध पत्र 2 द्वारा विभाज्यता के पीछे के संख्या-सिद्धांत संबंधी तंत्र को प्रकट करता है।

महत्व
यह शोध पत्र मुख्य रूप से अपने शैक्षणिक और व्याख्यात्मक मूल्य के लिए महत्व का दावा करता है। लेखक नोट करते हैं कि हालांकि राडू और स्मूथ द्वारा स्वचालित प्रमाण सही हैं, वे शक्ति के मामले में "अनावश्यक" हैं और "परिणामों में स्वयं कोई अंतर्दृष्टि प्रदान नहीं करते हैं।" इसके विपरीत, ये प्रारंभिक प्रमाण:

मेर्का द्वारा किए गए शास्त्रीय दृष्टिकोण के विशिष्ट अनुरोध को पूरा करते हैं।
यह प्रदर्शित करते हैं कि इन सर्वांगगतियों के लिए सरल जनरेटिंग फंक्शन पहचान मौजूद हैं।
विभाज्यता (2 द्वारा) के लिए एक स्पष्ट, कॉम्बिनेटोरियल (combinatorial) और संख्या-सिद्धांत संबंधी स्पष्टीकरण प्रदान करते हैं, विशेष रूप से modulo 4 में द्विघात अवशेषों (quadratic residues) की भूमिका को उजागर करते हैं।

यह कार्य नए अनुप्रयोगों या भविष्य की प्रयोगात्मक दिशाओं का प्रस्ताव नहीं करता है बल्कि विभाजनों और ओवरपार्टिशन्स के सिद्धांत में मौजूदा परिणामों को स्पष्ट करने और सरल बनाने के रूप में कार्य करता है।

रहस्य

विधि 1: "जादुई फिल्टर" (जनरेटिंग फंक्शन्स)

विधि 2: "वर्ग की खोज" (थीटा फंक्शन्स)

सारांश

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