🔢 mathematics

The asymptotic behavior of the rectangle partition function $p(m,n)$

यह शोध पत्र आयताकार विभाजन फलन (rectangle partition function) $p(m,n)$ के स्पर्शोन्मुखी व्यवहार (asymptotic behavior) पर एक अनुमान की पुष्टि करने वाला एक प्रारंभिक प्रमाण प्रस्तुत करता है, जो यह दर्शाता है कि $n \to \infty$ होने पर स्थिर $m$ के लिए इसका लघुगणक (logarithm) $\pi\sqrt{\frac{2mH_m}{3}}\sqrt{n}$ के रूप में बढ़ता है, जिससे शास्त्रीय हार्डी-रामानुजन सूत्र का सामान्यीकरण होता है।

मूल लेखक: Krystian Gajdzica, Maciej Zakarczemny

प्रकाशित 2026-08-25

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

CC BY 4.0

मूल लेखक: Krystian Gajdzica, Maciej Zakarczemny

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

गणित अक्सर गणना करने की कला से संबंधित होता है, लेकिन यह केवल शेल्फ पर रखी वस्तुओं को गिनने के बारे में नहीं है। combinatorics (संयोजन विज्ञान) के रूप में ज्ञात क्षेत्र की एक विशिष्ट शाखा में, शोधकर्ता इस बात का अध्ययन करते हैं कि चीजों को छोटे टुकड़ों में कैसे तोड़ा जा सकता है। कल्पना कीजिए कि आपके पास एक पूर्ण संख्या है, जैसे दस। आप इसे दस तक पहुँचने वाले छोटे पूर्ण संख्याओं में विभाजित कर सकते हैं, जैसे पाँच और पाँच, या तीन और चार और तीन। इसे विभाजित करने के विभिन्न तरीकों की संख्या एक क्लासिक समस्या है जिसे गणितज्ञों ने एक सदी से अधिक समय से समझा है। लेकिन क्या होता है जब आप संख्याओं की एक एकल रेखा से आगे बढ़कर एक द्वि-आयामी (two-dimensional) आकृति की ओर बढ़ते हैं? संख्या को विभाजित करने के बजाय, कल्पना कीजिए कि आपके पास ग्रिड वर्गों से बना एक ठोस आयत है, जैसे कि एक चॉकलेट बार या ग्राफ पेपर की एक शीट। प्रश्न यह बन जाता है कि आप इस आयत को कितने अलग-अलग आयताकार टुकड़ों में काट सकते हैं, जहाँ टुकड़े बिना किसी ओवरलैप के एक दूसरे में पूरी तरह फिट बैठते हों? यह 'रेक्टेंगल पार्टीशन फंक्शन' (आयत विभाजन फलन) की पहेली है। यह पुरानी संख्या-विभाजन समस्या का एक स्वाभाविक विस्तार है, लेकिन चौड़ाई और ऊँचाई के अतिरिक्त आयाम ने गणना को बहुत अधिक जटिल बना दिया है। यह समझना कि आयत के बड़ा होने पर संभव व्यवस्थाओं की संख्या कैसे बढ़ती है, एक मौलिक चुनौती है जो इस बात को प्रकट करती है कि स्थान को कैसे व्यवस्थित किया जा सकता है।

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

एक नए अध्ययन में, दो गणितज्ञों ने अंततः उस अंतराल को भर दिया है। उन्होंने किसी भी निश्चित ऊँचाई वाले आयत के लिए लंबे समय से किए गए अनुमान की पुष्टि करने वाला एक कठोर प्रमाण प्रदान किया है। उनका कार्य यह प्रदर्शित करता है कि जैसे-जैसे आयत की लंबाई बढ़ती है, आयत को विभाजित करने के तरीके एक बहुत ही विशिष्ट, अनुमानित दर से बढ़ते हैं। शोधकर्ताओं ने कंप्यूटर सिमुलेशन या सन्निकटन (approximations) पर भरोसा नहीं किया; उन्होंने एक गणितीय तर्क का निर्माण किया जो प्रत्येक संभावित मामले के लिए सत्य है। उन्होंने दिखाया कि व्यवस्थाओं की संख्या का लघुगणक (logarithm)—जो वृद्धि के वास्तविक पैमाने को मापने का एक तरीका है—आयत की लंबाई के वर्गमूल के सीधे आनुपातिक रूप से बढ़ता है। इस संबंध में आनुपातिकता का स्थिरांक (constant of proportionality) आयत की ऊँचाई और ऊँचाई से संबंधित एक विशिष्ट गणितीय योग पर निर्भर करता है, जिसे हार्मोनिक संख्या (harmonic number) के रूप में जाना जाता है। यह परिणाम इन आकृतियों की समझ को एकीकृत करता है, यह दिखाते हुए कि ऊँचे आयतों के लिए व्यवहार सरल मामलों की तरह ही मौलिक नियम का पालन करता है, बस एक अलग स्केलिंग फैक्टर के साथ।

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

निचली सीमा को स्थापित करना बहुत कठिन था क्योंकि इसके लिए यह दिखाना आवश्यक था कि टुकड़ों को व्यवस्थित करने के वास्तव में इतने तरीके हैं जो अनुमानित वृद्धि दर तक पहुँच सकें। ऐसा करने के लिए, शोधकर्ताओं ने एक चतुर निर्माण विधि का आविष्कार किया। उन्होंने आयत को विभिन्न प्रकार के ब्लॉकों के लिए विशिष्ट ऊर्ध्वाधर स्तंभों (vertical columns) को आरक्षित करके बनाने की कल्पना की। प्रत्येक संभव ब्लॉक की ऊँचाई के लिए, एक से लेकर आयत की पूरी ऊँचाई तक, उन्होंने एक समर्पित कॉलम निर्धारित किया। इन कॉलमों के भीतर, उन्होंने उस विशिष्ट ऊँचाई के ब्लॉकों को भरा, जिसमें छोटे अंतराल छोड़े गए जिन्हें छोटी इकाई इकाइयों (unit squares) से भरा गया था। उनकी सफलता की कुंजी इन कॉलमों के लिए आवश्यक चौड़ाई की सावधानीपूर्वक गणना थी। उन्होंने सिद्ध किया कि इन विभिन्न प्रकार के ब्लॉकों को अगल-बगल रखने के लिए आवश्यक कुल चौड़ाई हमेशा आयत की कुल चौड़ाई से कम होती है, बशर्ते आयत पर्याप्त लंबा हो। इसने यह सुनिश्चित किया कि उनका निर्माण हमेशा भौतिक रूप से संभव था।

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

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

अंततः, यह शोध एक अनुमान (conjecture) को एक प्रमेय (theorem) में बदल देता है, एक आशावादी अनुमान को एक ज्ञात तथ्य में बदल देता है। यह सरल, एक-आयामी संख्या विभाजन के व्यवहार को अधिक जटिल द्वि-आयामी आकृतियों की दुनिया से जोड़ता है, यह दिखाते हुए कि एक एकल, एकीकृत सिद्धांत उन दोनों को नियंत्रित करता है। यह प्रमाण प्राथमिक विधियों पर निर्भर करता है, उन्नत, विशेष मशीनरी की आवश्यकता से बचते हुए, जो परिणाम को विशेष रूप से मजबूत बनाता है। यह पुष्टि करके कि एक आयत को विभाजित करने के तरीकों की संख्या एक अनुमानित, वर्ग-मूल (square-root) के रूप में बढ़ती है, अध्ययन एक स्पष्ट मानचित्र प्रदान करता है कि ये ज्यामितीय व्यवस्थाएँ कैसे स्केल होती हैं। यह एक अनुस्मारक है कि आकृतियों को गिनने की अमूर्त दुनिया में भी, गहरे, व्यवस्थित पैटर्न खोजे जाने की प्रतीक्षा कर रहे हैं, बशर्ते आप समस्या को सही कोण से देखना जानते हों।

तकनीकी सारांश: आयताकार विभाजन फलन $p(m, n)$ का अनंतस्पर्शी व्यवहार (Asymptotic Behavior)

समस्या विवरण
यह शोध पत्र आयताकार विभाजन फलन $p(m, n)$ के अनंतस्पर्शी व्यवहार की जांच करता है, जो एक $m \times n$ आकार के आयत को पूर्णांक-पक्ष वाले आयताकार ब्लॉकों के एक बहुसमूह (multiset) में विभाजित करने के तरीकों की गणना करता है। इस परिभाषा की एक महत्वपूर्ण बाधा यह है कि दो विभाजन तब समान माने जाते हैं जब उनमें ब्लॉकों का वही बहुसमूह हो, चाहे उनकी ज्यामितीय व्यवस्था या अभिविन्यास (orientation) कुछ भी हो (अर्थात, $a \times b$ और $b \times a$ आकार के ब्लॉक अविभेदक हैं)।

यह समस्या शास्त्रीय पूर्णांक विभाजन फलन $p(n)$ का द्वि-आयामी सामान्यीकरण है। विशेष रूप से, $p(1, n) = p(n)$ है। जबकि $p(n)$ का अनंतस्पर्शी व्यवहार हार्डी-रामानुजन सूत्र द्वारा दिया गया है, और $m=2$ तथा $m=3$ के मामलों को हालिया साहित्य में पहले ही निर्धारित किया जा चुका था, एक निश्चित धनात्मक पूर्णांक $m$ के लिए सामान्य मामले के लिए यह एक अनुमान (conjecture) बना हुआ था। पूर्व कार्य [2] में प्रस्तावित विशिष्ट अनुमान यह था कि निश्चित $m$ के लिए:
$\log p(m, n) = \pi \sqrt{\frac{2mH_m}{3}} \sqrt{n} + o(\sqrt{n})$
जहाँ $H_m = \sum_{a=1}^m \frac{1}{a}$ $m$ -वाँ हार्मोनिक संख्या (harmonic number) है।

कार्यप्रणाली (Methodology)
लेखक, गजदिका (Gajdzica) और ज़कारज़ेमनी (Zakarczemny), इस अनुमान को एक मजबूत रूप में स्थापित करने के लिए एक प्रारंभिक दृष्टिकोण का उपयोग करते हैं, जिसमें $o(\sqrt{n})$ त्रुटि पद (error term) को $O(\log n)$ से बदल दिया जाता है। प्रमाण को दो अलग-अलग भागों में विभाजित किया गया है: ऊपरी सीमा (upper bound) का व्युत्पत्ति और निचली सीमा (lower bound) का निर्माण।

ऊपरी सीमा व्युत्पत्ति:
लेखक $p(m, n)$ की तुलना उन आयताकार ब्लॉकों के बहुसमूहों की संख्या से करते हैं जिनका कुल क्षेत्रफल $mn $है और प्रत्येक का छोटा पक्ष$ m$ से अधिक नहीं है। महत्वपूर्ण रूप से, इस तुलना के लिए यह आवश्यक नहीं है कि बहुसमूह एक वैध आयत टाइलिंग (tiling) बनाए।

वे इन बहुसमूहों के जनरेटिंग फंक्शन (generating function) का उपयोग करते हैं, जो शिफ्टेड ऑयलर उत्पादों (shifted Euler products) में विभाजित होता है।
इन उत्पादों पर प्रारंभिक अनुमान लागू करके (विशेष रूप से लघुगणक की अनंत श्रृंखलाओं के संबंध में लेम्मा 3.2 का उपयोग करते हुए), वे जनरेटिंग फंक्शन के लिए एक ऊपरी सीमा प्राप्त करते हैं।
इससे जनरेटिंग फंक्शन के लिए असमानता $\log p(m, n) \leq \pi \sqrt{\frac{2mH_m}{3}} \sqrt{n}$ प्राप्त होती है, जो बिना किसी स्पष्ट त्रुटि पद के मुख्य क्रम में ऊपरी सीमा को सीधे स्थापित करती है।

निचली सीमा निर्माण:
निचली सीमा एक स्पष्ट रचनात्मक विधि के माध्यम से स्थापित की जाती है जो पूर्णांक विभाजन परिवारों के उत्पाद को वैध आयत विभाजनों में मैप करती है।

विघटन (Decomposition): $m \times n$ आयत को ऊर्ध्वाधर स्तंभों (vertical columns) के एक सेट में विभाजित किया जाता है। प्रत्येक ऊंचाई $a \in \{2, \dots, m\}$ के लिए, एक चौड़ाई $c_{a,n}$ वाला स्तंभ आरक्षित किया जाता है। इस स्तंभ को $a$ ऊंचाई वाली $\lfloor m/a \rfloor$ क्षैतिज पट्टियों और शेष पट्टियों (ऊंचाई 1) में विभाजित किया जाता है।
पैकिंग रणनीति (Packing Strategy): विशिष्ट परिवारों $\mathcal{A}(a, T_{a,n})$ से स्वतंत्र पूर्णांक विभाजन $\lambda_a$ चुने जाते हैं। $\lambda_a$ के भाग (parts) ऊंचाई $a$ वाले आयतों की चौड़ाई निर्धारित करते हैं।
पैकिंग लेम्मा (Packing Lemma): एक ग्रीडी पैकिंग तर्क (लेम्मा 3.6) का उपयोग करते हुए, लेखक दिखाते हैं कि $\lambda_a$ से संबंधित आयतों को ऊंचाई $a$ वाली आरक्षित पट्टियों में पैक किया जा सकता है, बशर्ते कि आयतों की कुल चौड़ाई उपलब्ध स्थान से अधिक न हो।
फिलर (Filler): शेष क्षेत्रफल (ऊंचाई 1 वाली पट्टियाँ और आयत का दाहिना हिस्सा) का उपयोग $\lambda_1$ से संबंधित आयतों को पैक करने और किसी भी शेष इकाई क्षेत्र को भरने के लिए $1 \times 1$ वर्गों के साथ किया जाता है।
एकैकीता (Injectivity): यह निर्माण एकैकी (injective) है; परिणामी ब्लॉकों का बहुसमूह मूल विभाजनों $\lambda_1, \dots, \lambda_m$ को अद्वितीय रूप से निर्धारित करता है।
मुख्य असमानता: प्रमाण का एक महत्वपूर्ण घटक लेम्मा 3.7 है, जो यह स्थापित करता है कि $m \sum_{a=2}^m \frac{1}{a^2 \lfloor m/a \rfloor} < H_m$ । यह असमानता सुनिश्चित करती है कि निर्मित स्तंभों की कुल चौड़ाई पर्याप्त बड़े $n$ के लिए आयत की चौड़ाई $n$ के भीतर फिट बैठती है।

प्रमुख योगदान और परिणाम
इस शोध पत्र का प्राथमिक योगदान प्रमेय 1.1 को सिद्ध करना है, जो एक सटीक त्रुटि पद के साथ [2] के अनुमान की पुष्टि करता है।

प्रमेय 1.1: प्रत्येक निश्चित धनात्मक पूर्णांक $m$ के लिए, जैसे-जैसे $n \to \infty$ :
$\log p(m, n) = \pi \sqrt{\frac{2mH_m}{3}} \sqrt{n} + O(\log n)$
इसके अतिरिक्त, लेखक एक समान ऊपरी सीमा (uniform upper bound) प्रदान करते हैं: $p(m, n) \leq \exp\left(\pi \sqrt{\frac{2mH_m}{3}} \sqrt{n}\right)$ सभी $n \geq m$ के लिए।
सामान्यीकरण (Generalization): यह परिणाम हार्डी-रामानुजन सूत्र (मामला $m=1$ ) और $m=2$ तथा $m=3$ के विशिष्ट परिणामों का सामान्यीकरण करता है। यह हार्मोनिक संख्या $H_m$ से जुड़े एक एकल सूत्र के तहत आयताकार विभाजनों के अनंतस्पर्शी व्यवहार को एकीकृत करता है।
प्रारंभिक प्रमाण (Elementary Proof): लेखक इस बात पर जोर देते हैं कि उनका दृष्टिकोण प्रारंभिक है, जो विभाजन सिद्धांत में अक्सर उपयोग किए जाने वाले जटिल मॉड्यूलर रूपों (modular forms) या उन्नत अनंतस्पर्शी यंत्रों के बजाय जनरेटिंग फंक्शन, कॉम्बिनेटरियल कंस्ट्रक्शन और बुनियादी विश्लेषणात्मक अनुमानों पर निर्भर करता है।

महत्व और कार्यक्षेत्र
शोध पत्र $p(m, n)$ के अग्रणी अनंतस्पर्शी पद (leading asymptotic term) के संबंध में एक विशिष्ट खुले अनुमान को हल करने का दावा करता है। लेखक नोट करते हैं कि हालांकि अग्रणी घातांकीय पद (exponential term) अब स्थापित है, लेकिन घातांकीय पद से पहले का बहुपद कारक (polynomial factor) (जो $m \leq 3$ के लिए ज्ञात है) $m \geq 4$ के लिए एक खुला प्रश्न बना हुआ है। यह कार्य स्व-निहित (self-contained) के रूप में प्रस्तुत किया गया है, जो सभी आवश्यक परिभाषाएं और लेम्मा प्रदान करता है, और शास्त्रीय पूर्णांक विभाजनों को द्वि-आयामी आयताकार सेटिंग में सामान्यीकृत करने के रूप में कार्य करता है। इसका महत्व विभाजन फलन की वृद्धि दर और आयाम $m$ एवं हार्मोनिक संख्या के बीच संरचनात्मक संबंध की पुष्टि करने में निहित है।

तकनीकी सारांश: आयताकार विभाजन फलन p(m,n)p(m, n)p(m,n) का अनंतस्पर्शी व्यवहार (Asymptotic Behavior)

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

तकनीकी सारांश: आयताकार विभाजन फलन $p(m, n)$ का अनंतस्पर्शी व्यवहार (Asymptotic Behavior)