🔢 mathematics

A note on the partition function of a rectangle

यह शोध पत्र आयताकार विभाजन फलनों (rectangle partition functions) के अनंतस्पर्शी व्यवहार (asymptotic behavior) की जांच करता है, यह स्थापित करते हुए कि एक $n \times n$ वर्ग को विभाजित करने के तरीकों की संख्या $\exp\left( \left(\frac{\pi}{\sqrt{3}}+o(1)\right)n\sqrt{\log n} \right)$ के रूप में बढ़ती है, जबकि एक $3 \times n$ आयत के विभाजनों का विकास $\exp\left( \pi\sqrt{\frac{11n}{3}}+O(\log n) \right)$ के रूप में होता है।

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

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

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

CC BY 4.0

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

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

कल्पना कीजिए कि आप लेगो (Lego) ईंटों के एक अनंत भंडार वाले एक मास्टर बिल्डर हैं, लेकिन इसमें एक मोड़ है: आप केवल आयताकार ईंटों का उपयोग कर सकते हैं, और आपको बिना किसी अंतराल या ओवरलैप के एक पूर्ण, ठोस दीवार बनानी होगी। अब, कल्पना कीजिए कि आपके पास एक दीवार का एक विशिष्ट ब्लूप्रिंट है जो एक पूर्ण वर्ग है, मान लीजिए $n$ ब्लॉक चौड़ा और $n$ ब्लॉक ऊँचा। प्रश्न जो गणितज्ञों को पसंद है, वह है: "इन ईंटों को व्यवस्थित करने के कितने अलग-अलग तरीके हैं जिससे उस वर्ग को भरा जा सके?" यह केवल एक रेखा में उन्हें रखने के बारे में नहीं है; यह विभिन्न आकारों को मिलाने और जोड़ने के बारे में है—जैसे छोटे $1\times1$ के वर्ग, लंबे $1\times5$ की पट्टियाँ, या भारी $2\times3$ के ब्लॉक। गणित की दुनिया में, इसे "पार्टीशन" (partition) कहा जाता है, और इन व्यवस्थाओं को गिनना एक विशाल, जटिल पहेली को हल करने के हर संभावित तरीके को गिनने जैसा है।

लंबे समय से, गणितज्ञ सरल संख्याओं (जैसे कि पूर्णांकों को जोड़कर एक कुल योग प्राप्त करना) के लिए इन व्यवस्थाओं को गिनने के प्रति जुनूनी रहे हैं। लेकिन जब आप एक साधारण संख्या की सपाट रेखा से एक 2D आयत की ओर बढ़ते हैं, तो समस्या जटिलता के विस्फोट के साथ बढ़ जाती है। यह किताबों को एक ही शेल्फ पर व्यवस्थित करने से लेकर विभिन्न आकारों की किताबों से एक पूरी लाइब्रेरी भरने जैसा है। यह विशिष्ट शोध पत्र इस पहेली के दो बहुत कठिन संस्करणों में गोता लगाता है: एक जहाँ ब्लूप्रिंट एक पूर्ण वर्ग ( $n \times n$ ) है, और दूसरा जहाँ ब्लूप्रिंट एक बहुत लंबा, पतला आयत ( $3 \times n$ ) है। यह क्यों मायने रखता है? क्योंकि ये पैटर्न प्रकृति और भौतिकी में हर जगह दिखाई देते हैं, परमाणुओं के पैक होने से लेकर ऊर्जा स्तरों के व्यवहार तक। इन पैटर्न का "ग्रोथ रेट" (वृद्धि दर)—कि कैसे आकार बढ़ने के साथ संभावनाओं की संख्या आसमान छूती है—समझना, इस ब्रह्मांड में जटिलता कैसे बनती है, इसके गुप्त कोड को खोजने जैसा है।

तो, इस शोध पत्र के लेखकों ने वास्तव में क्या खोजा? उन्होंने केवल अनुमान नहीं लगाया; उन्होंने ज्ञात से अज्ञात तक जाने के लिए एक कठोर गणितीय पुल बनाया। सबसे पहले, उन्होंने वर्ग ( $n \times n$ ) पर काम किया। उन्होंने सिद्ध किया कि जैसे-जैसे वर्ग विशाल होता जाता है, इसे भरने के तरीकों की संख्या एक बहुत ही विशिष्ट, जंगली दर से बढ़ती है। यह केवल एक साधारण विस्फोट नहीं है; यह एक "सुपर-एक्सपोनेंशियल" (super-exponential) वृद्धि है जो वर्ग के आकार और उसके लघुगणक (logarithm) के वर्गमूल पर निर्भर करती है। सरल शब्दों में, उन्होंने पाया कि एक वर्ग को भरने के तरीकों की संख्या लगभग $e$ है, जो $(\pi/\sqrt{sqrt{3}}) \times n \times \sqrt{\log n}$ की घात (power) पर आधारित है। उन्होंने कुछ सरल, "पर्याप्त अच्छे" ऊपरी और निचली सीमाओं (upper and lower limits) को भी प्रदान किया ताकि यह दिखाया जा सके कि उनका मुख्य उत्तर ठोस है, भले ही सटीक सूत्र थोड़ा जटिल हो।

फिर, उन्होंने अपना ध्यान लंबे, पतले आयत ( $3 \times n$ ) की ओर मोड़ा। यह एक अलग तरह का मामला है क्योंकि एक तरफ 3 पर स्थिर है जबकि दूसरी तरफ अनंत तक बढ़ती है। यहाँ, लेखकों ने और भी सटीक उत्तर पाया। उन्होंने सिद्ध किया कि इस आयत को भरने के तरीकों की संख्या लगभग $e$ raised to the power of $\pi \times \sqrt{11n/3}$ है। यह केवल एक अनुमान या सिमुलेशन नहीं है; यह एक गणितीय रूप से सिद्ध तथ्य है जिसमें त्रुटि की गुंजाइश बहुत कम है। उन्होंने यह भी दिखाया कि इस समस्या के बारे में एक पिछला, कमजोर अनुमान बहुत ढीला था, जिसे उन्होंने एक बहुत अधिक सटीक सूत्र से बदल दिया।

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

यह शोध पत्र एक बड़े, अनसुलझे रहस्य पर भी प्रकाश डालता है। लेखक सुझाव देते हैं कि $m \times n$ के आकार के आयत के लिए (जहाँ $m$ एक निश्चित संख्या है जैसे 4 या 5 और $n$ बढ़ता जाता है), इन संख्याओं के बढ़ने का एक सार्वभौमिक पैटर्न हो सकता है। उनके पास $m=1, 2,$ और $3 $के लिए मजबूत साक्ष्य हैं, लेकिन$ m=4 $और उससे ऊपर के लिए, उत्तर एक लुभावना खुला प्रश्न बना हुआ है। उन्होंने$ 4 \times n $मामले को हल करने के लिए आयतों की एक "सीढ़ी" बनाने की कोशिश की और वह काम कर गया, लेकिन$ 5 \times n$ के लिए, वही चाल विफल रही, जो संकेत देती है कि जैसे-जैसे आयत चौड़ी होती है, नियम बदल जाते हैं।

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

तकनीकी सारांश: एक आयत के विभाजन फलन पर एक टिप्पणी

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

लेखक दो विशिष्ट मामलों पर ध्यान केंद्रित करते हैं:

वर्ग विभाजन (Square partitions): $p(n, n)$ , जहाँ दोनों विमाएँ (dimensions) अनंत की ओर बढ़ती हैं।
निश्चित-ऊंचाई वाले आयत (Fixed-height rectangles): $p(3, n)$ , जहाँ ऊंचाई 3 पर स्थिर है और चौड़ाई $n$ अनंत की ओर बढ़ती है।

ये समस्याएँ शास्त्रीय पूर्णांक विभाजन फलन $p(n)$ का सामान्यीकरण करती हैं, जो $p(1, n)$ के मामले के अनुरूप है। जबकि लेखकों और रॉबिन विसर द्वारा यह अनुमान लगाया गया था कि निश्चित $m$ और बड़े $n$ के लिए $p(m, n)$ का व्यवहार हार्मोनिक संख्याओं से जुड़े एक विशिष्ट रूप का पालन करता है, वर्ग मामले ( $m=n$ ) के लिए सटीक व्यवहार एक विशिष्ट अनंत चुनौती प्रस्तुत करता है।

कार्यप्रणाली
यह शोध पत्र विश्लेषणात्मक संख्या सिद्धांत (analytic number theory), जनरेटिंग फंक्शन्स (generating functions), और कॉम्बिनेटोरियल पैकिंग निर्माणों के संयोजन का उपयोग करता है।

जनरेटिंग फंक्शन्स के माध्यम से ऊपरी सीमाएँ (Upper Bounds): लेखक ज्यामितीय टाइलिंग की स्थिति (परिभाषा 1.1 में स्थिति 3) को शिथिल करके ऊपरी सीमाओं को प्राप्त करते हैं। वे उन आयतों के मल्टीसेट्स पर विचार करते हैं जिनका कुल क्षेत्रफल $mn $है, चाहे वे भौतिक रूप से आयत को टाइल कर सकें या नहीं। इसे$ \prod (1-x^{ab})^{-r(ab)} $के रूप में जनरेटिंग फंक्शन्स का उपयोग करके मॉडल किया गया है, जहाँ$ r(ab) $क्षेत्रफल$ ab$ वाले आयत के प्रकारों की संख्या गिनता है।
- $p(n, n)$ के लिए, वे जनरेटिंग फंक्शन की तुलना $d(s)$ (भाजक फलन/divisor function) से संबंधित भागों के एक मल्टीसेट से करते हैं, और बरंड्ट, रोबल्स, ज़ाहेरज़ेकु और ज़ींडलर के परिणामों का उपयोग करते हैं।
- $p(3, n)$ के लिए, वे ऊंचाई 3 वाले ब्लॉकों और उनके बिना वाले विभाजनों में समस्या को विभाजित करते हैं, और गुणांकों को निकालने के लिए जनरेटिंग फंक्शन्स के कनवल्शन (convolution) और इंगम के टेबरियन प्रमेय (Ingham's Tauberian theorem) का उपयोग करते हैं (जिसे ब्रिंगमैन जेनिंग्स-शैफर और महलूब द्वारा परिष्कृत किया गया है)।
पैकिंग निर्माणों के माध्यम से निचली सीमाएँ (Lower Bounds): निचली सीमाओं को स्थापित करने के लिए, लेखक विशिष्ट टाइलिंग का निर्माण करते हैं।
- $p(n, n)$ के लिए, वे एक "रंगीन विभाजन" (colored partition) दृष्टिकोण और एक ग्रीडी पैकिंग एल्गोरिदम का उपयोग करते हैं। वे वर्ग को विभिन्न ऊंचाइयों वाली क्षैतिज पट्टियों में विभाजित करते हैं और उन्हें प्रतिबंधित पूर्णांक विभाजनों से प्राप्त आयतों से भरते हैं।
- $p(3, n)$ के लिए, वे एक "सीढ़ी" (staircase) निर्माण का उपयोग करते हैं, जो $3 \times n$ आयत को ऊंचाई 3, 2 और 1 की क्षैतिज पट्टियों में विभाजित करता है, और उन्हें संगत ऊंचाइयों वाले आयतों से भरता है जो प्रतिबंधित भागों वाले पूर्णांक विभाजनों से प्राप्त होते हैं।
अनंत विश्लेषण (Asymptotic Analysis): प्रमाण मुख्य रूप से हार्डी-रामानुजन अनंत सूत्र $p(n)$ , डेडेकंड एटा फलन (Dedekind eta function) के गुणों, और हार्मोनिक योग तथा भाजक फलनों के सटीक अनुमानों पर निर्भर करते हैं।

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

वर्ग विभाजनों के लिए अनंत सूत्र ( $p(n, n)$ ):
लेखक वर्ग विभाजन फलन के लिए मुख्य अनंत पद को स्थापित करते हैं:
$p(n, n) = \exp\left( \left(\frac{\pi}{\sqrt{3}} + o(1)\right) n \sqrt{\log n} \right)$
यह परिणाम महत्वपूर्ण है क्योंकि यह निश्चित $m$ (जो $\sqrt{n}$ के रूप में स्केल करता है) के लिए अनुमानित रूप से भिन्न है। वर्ग मामला $n\sqrt{\log n}$ के रूप में स्केल करता है। शोध पत्र मुख्य प्रमाण से पहले समस्या की कठिनाई को दर्शाने के लिए दो कमजोर, प्रारंभिक ऊपरी सीमाएँ और एक सरल निचली सीमा भी प्रदान करता है।
$p(3, n)$ के लिए अनंत सूत्र:
यह शोध पत्र $3 \times n$ आयत के लिए सटीक अनंत व्यवहार को सिद्ध करता है:
$p(3, n) = \exp\left( \pi \sqrt{\frac{11n}{3}} + O(\log n) \right)$
यह $m=3$ के लिए अनुमान की पुष्टि करता है, जिसमें पहले से ज्ञात तुलनात्मक रूप से एक मजबूत त्रुटि पद ( $O(\log n)$ घातांक में) है। स्थिरांक $\pi\sqrt{11/3}$ आकार $\ge 3$ के भागों वाले विभाजनों और $3 \times n$ ज्यामिति में अनुमत विशिष्ट ब्लॉक प्रकारों के बीच परस्पर क्रिया से प्राप्त होता है।
स्वतंत्र ऊपरी सीमाएँ:
लेखक $p(3, n)$ के लिए एक स्वतंत्र ऊपरी सीमा प्रस्तुत करते हैं जो मुख्य परिणाम से कमजोर है लेकिन एक अलग विश्लेषणात्मक दृष्टिकोण के माध्यम से व्युत्पन्न की गई है, जो समस्या के वैकल्पिक परिप्रेक्ष्य प्रदान करती है।
सामान्य $m$ के लिए अनुमान:
$m \ge 4$ के लिए निश्चित $m$ हेतु अपने अनुमान को दोहराते हुए, लेखक लिखते हैं:
$p(m, n) = \exp\left( \pi \sqrt{\frac{2m H_m}{3} n} + o(\sqrt{n}) \right)$
जहाँ $H_m$ $m$ -वीं हार्मोनिक संख्या है। वे नोट करते हैं कि वर्ग मामला ( $m=n$ ) एक अलग समस्या बनी हुई है जहाँ दोनों विमाएँ बढ़ती हैं।

महत्व और दावे
शोध पत्र का दावा है कि इसने वर्ग विभाजन फलन $p(n, n)$ के सटीक लघुगणकीय अनंत व्यवहार को हल कर दिया है, जो छोटे $n$ के ज्ञात मानों के बावजूद एक खुला प्रश्न बना हुआ था। लेखक इस बात पर जोर देते हैं कि वर्ग मामला निश्चित-ऊंचाई वाले आयतों की तुलना में एक मौलिक रूप से भिन्न अनंत समस्या की ओर ले जाता है, क्योंकि दोनों भुजाओं की लंबाई अनंत की ओर बढ़ती है।

$3 \times n$ मामले के लिए, शोध पत्र एक कठोर त्रुटि पद के साथ अनंत सूत्र का पहला प्रमाण प्रदान करता है, जो पहले से एकत्रित अनुमानित तर्कों और संख्यात्मक साक्ष्यों की पुष्टि करता है। लेखक विनम्रतापूर्वक नोट करते हैं कि जबकि उनका $p(4, n)$ के लिए निर्माण अनुमान के अनुरूप है, $m=3$ और $m=4$ के लिए उपयोग किया गया "सीढ़ी" निर्माण $m=5$ के लिए अनुमानित घातांक पद प्राप्त करने में विफल रहता है, जो यह सुझाव देता है कि उच्च निश्चित ऊंचाइयों के लिए अलग ज्यामितीय व्यवस्थाओं की आवश्यकता हो सकती है।

यह कार्य पूर्णांक विभाजनों के व्यापक सिद्धांत में योगदान देता है, जहाँ वे शास्त्रीय विभाजन सिद्धांत और टाइलिंग समस्याओं के बीच के अंतर को पाटते हैं जहाँ ब्लॉकों का क्रम अप्रासंगिक होता है।

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