🔢 mathematics

Extending Andrews and Newman's refinement of the crank-mex theorem

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

मूल लेखक: George E. Andrews, Brian Hopkins

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

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

CC BY 4.0

मूल लेखक: George E. Andrews, Brian Hopkins

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

कल्पना कीजिए कि आपके पास लेगो (LEGO) ईंटों का एक विशाल डिब्बा है। आप ठीक $n$ ईंटों का उपयोग करके एक मीनार बनाना चाहते हैं। गणित की दुनिया में, इसे विभाजन (partition) कहा जाता है: एक संख्या को छोटे धनात्मक पूर्णांकों के योग में तोड़ना (जैसे $5 = 3 + 2$ या $5 = 1 + 1 + 1 + 1 + 1$ )।

एक लंबे समय से, गणितज्ञ इन लेगो मीनारों को अलग-अलग नियमों के आधार पर विभिन्न समूहों में वर्गीकृत करने की कोशिश कर रहे हैं। जॉर्ज एंड्रयूज और ब्रायन हॉप्किंस का यह शोध पत्र इन चार बहुत ही अलग तरीकों से मीनारों को वर्गीकृत करने के बीच आश्चर्यजनक संबंध खोजने के बारे में है। वे सिद्ध करते हैं कि यदि आप इन चार समूहों में मीनारों को गिनते हैं, तो आपको हर बार बिल्कुल समान संख्या प्राप्त होती है।

यहाँ इन चार समूहों और उनके द्वारा खोजे गए "जादुई" संबंध का एक सरल विवरण दिया गया है।

मीनारों के चार समूह

पेपर को समझने के लिए, हमें उन चार नियमों को जानना होगा जिनका उपयोग मीनारों को छाँटने के लिए किया जाता है:

"मिसिंग स्टेप" नियम (Even Mex):
कल्पना कीजिए कि आपकी मीनार 1, 2, 3 आदि आकार के चरणों (steps) से बनी है। "मेक्स" (Mex - Minimum Excludant) उस चरण का आकार है जो आपकी मीनार में अनुपस्थित है।
- उदाहरण: यदि आपके पास चरण 1, 2, 4, 5 हैं, तो अनुपस्थित चरण 3 है।
- समूह A: ऐसी मीनारें जहाँ पहला अनुपस्थित चरण एक सम संख्या (जैसे 2, 4, 6) है।
"सेल्फ-मैचिंग" नियम (Fixed Points):
कल्पना कीजिए कि आप अपने चरणों को नीचे से ऊपर की ओर नंबर देते हैं (पहला चरण, दूसरा चरण, तीसरा चरण...)। एक "फिक्स्ड पॉइंट" तब होता है जब चरण का आकार उसके स्थिति संख्या (position number) से मेल खाता है।
- उदाहरण: यदि आपका तीसरा चरण ठीक 3 ईंटों ऊँचा है, तो वह एक फिक्स्ड पॉइंट है।
- समूह B: ऐसी मीनारें जिनमें कम से कम एक चरण ऐसा है जहाँ आकार स्थिति संख्या से मेल खाता है।
"बैलेंस स्केल" नियम (Negative Crank):
गणितज्ञों ने मीनारों को छाँटने के लिए "क्रैंक" नामक एक सांख्यिकी (statistic) का आविष्कार किया है। इसे एक तराजू की तरह समझें। यह गिनता है कि आपके पास कितने "बड़े" चरण हैं बनाम आपके पास कितने "छोटे" (आकार 1 वाले) चरण हैं।
- समूह C: मीनारें जहाँ तराजू ऋणात्मक (negative) पक्ष की ओर झुकता है (बड़े चरणों की तुलना में बहुत अधिक छोटे चरण हैं)।
"अपोजिट बैलेंस" नियम (Positive Crank):
- समूह D: मीनारें जहाँ तराजू धनात्मक (positive) पक्ष की ओर झुकता है (छोटे चरणों की तुलना में बहुत अधिक बड़े चरण हैं)।

बड़ी खोज

यह शोध पत्र एक शानदार समानता को सिद्ध करता है। यदि आप ईंटों की एक विशिष्ट संख्या लेते हैं (मान लीजिए $n=8$ ) और गिनते हैं कि कितने मीनार इन चार समूहों में फिट बैठते हैं, तो संख्याएँ बिल्कुल समान होती हैं।

लेकिन वे केवल कुल गणना तक ही नहीं रुके। उन्होंने एक दूसरा नियम भी जोड़ा: "बड़े" ईंटों को गिनना।
उन्होंने पूछा: "यदि हम केवल उन मीनारों को देखें जिनमें ठीक $k$ ईंटें 1 से बड़ी हैं, तो क्या समूह अभी भी मेल खाते हैं?"

परिणाम: हाँ!

समूह A (सम अनुपस्थित चरण वाली मीनारें) में $k$ बड़े ईंटों वाली मीनारों की संख्या
समूह B (फिक्स्ड पॉइंट वाली मीनारें) में $k+1$ बड़े ईंटों वाली मीनारों की संख्या के बराबर है
समूह C (ऋणात्मक संतुलन वाली मीनारें) में $k$ बड़े ईंटों वाली मीनारों की संख्या के बराबर है
समूह D (धनात्मक संतुलन वाली मीनारें) में $k+1$ बड़े ईंटों वाली मीनारों की संख्या के बराबर है।

(नोट: फिक्स्ड पॉइंट और पॉजिटिव बैलेंस वाले समूहों में अन्य की तुलना में हमेशा एक अतिरिक्त "बड़ी" ईंट होती है। लेखक स्पष्ट करते हैं कि यह बदलाव ठीक कैसे काम करता है।)

उन्होंने इसे कैसे सिद्ध किया

लेखकों ने यह दिखाने के लिए दो अलग-अलग तरीकों का उपयोग किया, जैसे किसी पहेली को दो अलग-अलग औजारों से हल करना:

बीजगणितीय उपकरण (Generating Functions):
उन्होंने मीनारों को गिनने के लिए जटिल गणितीय सूत्रों (जिन्हें जनरेटिंग फंक्शन्स कहा जाता है) का उपयोग किया। जब उन्होंने चारों समूहों के लिए "नुस्खे" (recipes) की गणना की, तो उनके सूत्र बिल्कुल समान निकले। यह दो अलग-अलग नुस्खों से एक ही जैसा केक बनने के प्रमाण को गणितीय रूप से देखने जैसा है।
दृश्य उपकरण (Bijections):
यह अधिक मजेदार हिस्सा है। उन्होंने एक "शब्दकोश" या एक समूह से दूसरे समूह में मीनार को भौतिक रूप से बदलने के निर्देश बनाए।
- उन्होंने दिखाया कि आप एक 'सम अनुपस्थित चरण' वाली मीनार ले सकते हैं, कुछ ईंटों को इधर-उधर कर सकते हैं, और उसे एक 'फिक्स्ड पॉइंट' वाली मीनार में बदल सकते हैं।
- उन्होंने दिखाया कि आप एक 'ऋणात्मक संतुलन' वाली मीनार ले सकते हैं, कुछ ईंटों को स्थानांतरित कर सकते हैं, और उसे एक 'धनात्मक संतुलन' वाली मीनार में बदल सकते हैं।
- क्योंकि वे समूह A की प्रत्येक मीनार को समूह B की एक अद्वितीय मीनार में बदल सकते हैं, इसलिए समूह समान आकार के होने चाहिए।

एक चीज़ जिसे वे हल नहीं कर सके

यह शोध पत्र एक छोटा "ओपन प्रॉब्लम" (अनसुलझी समस्या) छोड़ देता है। अन्य गणितज्ञों (एंड्रयूज और न्यूमैन) ने पहले ही एक अलग समूह के लिए एक समान मिलान पाया था: विषम (odd) अनुपस्थित चरण वाली मीनारें और गैर-ऋणात्मक (non-negative) संतुलन वाली मीनारें। उन्होंने इस विशिष्ट जोड़ी के लिए एक दृश्य "रूपांतरण" (transformation) प्रमाण मांगा था, जैसा कि लेखकों ने ऊपर दिए गए समूहों के लिए प्रदान किया था।

एंड्रयूज और हॉप्किंस बताते हैं कि उनका तरीका उस विशिष्ट जोड़ी के लिए काम नहीं करता है। यह ऐसा है जैसे आप एक ऐसी चाबी का उपयोग करने की कोशिश कर रहे हैं जो चार अलग-अलग तालों में फिट बैठती है, लेकिन वह पाँचवें ताले पर फंस जाती है। वे दिखाते हैं कि ऊपर दिए गए समूहों के लिए उनके विशिष्ट रूपांतरण नियमों का उपयोग करके उस आखिरी पहेली को हल करना असंभव क्यों है, जिससे पता चलता है कि उस पहेली को सुलझाने के लिए एक पूरी तरह से नए विचार की आवश्यकता है।

सारांश

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

समस्या विवरण

यह शोध पत्र "क्रैंक-मेक्स प्रमेय" (crank–mex theorem) के परिष्करण को संबोधित करता है, जो एंड्रयूज और डी. न्यूमैन (2020) तथा हॉपकिंस और सेलर्स (2020) द्वारा स्थापित एक परिणाम है। मूल प्रमेय यह बताता है कि $n$ के गैर-ऋणात्मक क्रैंक वाले पूर्णांक विभाजनों की संख्या ( $M_{\ge 0}(n)$ ), $n$ के विषम न्यूनतम अपवर्जित (mex) वाले विभाजनों की संख्या ( $X_o(n)$ ) के बराबर है। एंड्रयूज और एम. न्यूमैन ने हाल ही में इस समानता को एक सांख्यिकी $\beta(\lambda)$ का उपयोग करके ट्रैक करते हुए, एक से बड़े भागों की संख्या को ट्रैक करके परिष्कृत किया है। उन्होंने विश्लेषणात्मक रूप से सिद्ध किया कि $x_o(n, k) = m_{\ge 0}(n, k)$ , लेकिन एक संयोजनपरक (combinatorial) प्रमाण का अनुरोध किया।

वर्तमान कार्य इस जांच को एक पूरक सेट (complementary set) तक विस्तारित करता है। विशेष रूप से, यह निम्नलिखित के बीच समसंख्यात्मकता (equinumerosity) की जांच करता है:

सम मेक्स (even mex) वाले विभाजन ( $X_e(n)$ )।
एक निश्चित बिंदु (fixed point) वाले विभाजन (जहाँ $\lambda_i = i$ किसी $i$ के लिए हो)।
ऋणात्मक क्रैंक वाले विभाजन ( $M_{< 0}(n)$ )।
धनात्मक क्रैंक वाले विभाजन ( $M_{> 0}(n)$ )।

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

कार्यप्रणाली

मुख्य प्रमेय को सिद्ध करने के लिए शोध पत्र दो अलग-अलग पद्धतियों का उपयोग करता है:

विश्लेषणात्मक प्रमाण (Analytic Proof): लेखक $q$ -श्रृंखलाओं और जनरेटिंग फलनों (generating functions) का उपयोग करते हैं। वे प्रत्येक चार विभाजन सेटों के लिए जनरेटिंग फलन परिभाषित करते हैं, जिसमें एक से बड़े भागों को ट्रैक करने के लिए एक चर $z$ और भागों के योग को ट्रैक करने के लिए $q$ का उपयोग किया जाता है। क्रैंक-संबंधित सेटों के लिए, वे एंड्रयूज और गार्वन (1988) द्वारा व्युत्पन्न ज्ञात क्रैंक जनरेटिंग फंक्शन का उपयोग करते हैं। हाइने ट्रांसफॉर्म (Heine transforms) और $q$ -बाइनोमियल थ्योरम के उपयोग सहित बीजगणितीय हेरफेर के माध्यम से, वे प्रदर्शित करते हैं कि इन सेटों के जनरेटिंग फलन समान हैं (या एक सरल कारक $z$ द्वारा संबंधित हैं), जिससे उनकी समसंख्यात्मकता सिद्ध होती है।
संयोजनपरक प्रमाण (Combinatorial Proof): लेखक इन सेटों के बीच स्पष्ट बाइजेक्शन (bijections) का निर्माण करते हैं।
- सम मेक्स $\leftrightarrow$ निश्चित बिंदु (Even Mex $\leftrightarrow$ Fixed Points): वे कोनान (2023) के एक सामान्यीकृत बाइजेक्शन को अनुकूलित करते हैं जो विषम मेक्स वाले विभाजनों को बिना निश्चित बिंदु वाले विभाजनों से जोड़ता है। वे इसे सम मेक्स वाले विभाजनों को निश्चित बिंदु वाले विभाजनों से जोड़ने के लिए संशोधित करते हैं, और पुनरावृत्ति मानचित्रण (iterative mapping) के दौरान एक से बड़े भागों की संख्या कैसे बदलती है, इसका सावधानीपूर्वक विश्लेषण करते हैं।
- निश्चित बिंदु $\leftrightarrow$ ऋणात्मक क्रैंक (Fixed Points $\leftrightarrow$ Negative Crank): वे निश्चित बिंदु सूचकांक, 1 की संख्या ( $\omega(\lambda)$ ), और क्रैंक के बीच संबंध पर आधारित एक बाइजेक्शन परिभाषित करते हैं। लेम्मा (Lemmas) यह स्थापित करने के लिए बनाए गए हैं कि निश्चित बिंदु और ऋणात्मक क्रैंक वाले विभाजन $\omega(\lambda)$ पर विशिष्ट सीमाएं संतुष्ट करते हैं। इस मानचित्रण में एक निश्चित बिंदु $i$ को $i$ 'एकों' (ones) से बदलना (या इसके विपरीत) शामिल है, जिससे एक से बड़े भागों की गणना को समायोजित किया जाता है।
- ऋणात्मक क्रैंक $\leftrightarrow$ धनात्मक क्रैंक (Negative Crank $\leftrightarrow$ Positive Crank): ऋणात्मक क्रैंक वाले विभाजनों और धनात्मक क्रैंक वाले विभाजनों के बीच एक सीधा बाइजेक्शन निर्मित किया गया है। इस मानचित्रण में क्रैंक के चिह्न को उलटने के लिए भागों और 1 की संख्या को स्थानांतरित करना शामिल है, जिससे एक से बड़े भागों की संख्या ठीक एक से बढ़ जाती है।

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

प्राथमिक परिणाम प्रमेय 1 है, जो यह स्थापित करता है कि धनात्मक पूर्णांक $n$ और $k$ के लिए, निम्नलिखित चार सेट समसंख्यात्मक हैं:

(a) $n$ के सम मेक्स और $k$ एक से बड़े भाग वाले विभाजन।
(b) $n$ के एक निश्चित बिंदु और $k+1$ एक से बड़े भाग वाले विभाजन।
(c) $n$ के ऋणात्मक क्रैंक और $k$ एक से बड़े भाग वाले विभाजन।
(d) $n$ के धनात्मक क्रैंक और $k+1$ एक से बड़े भाग वाले विभाजन।

गणितीय रूप से, इसे इस प्रकार व्यक्त किया गया है:
$x_e(n, k) = f(n, k+1) = m_{< 0}(n, k) = m_{> 0}(n, k+1)$

शोध पत्र इस प्रमेय के लिए विश्लेषणात्मक और संयोजनपरक दोनों प्रमाण प्रदान करता है। संयोजनपरक प्रमाण बाइजेक्शन की एक श्रृंखला पर निर्भर करते हैं:
$X_e(n, k) \xrightarrow{\text{कोनान का मानचित्र}} (1) \times G_1(n-1, k) \xrightarrow{\text{निश्चित बिंदु मानचित्र}} F(n, k+1) \xrightarrow{\text{क्रैंक मानचित्र}} M_{< 0}(n, k) \xrightarrow{\text{क्रैंक मानचित्र}} M_{> 0}(n, k+1)$

लेखक $k=0$ के विशिष्ट मामले को भी संबोधित करते हैं, विभाजन $(1^n)$ के संबंध में एक मामूली अपवाद को नोट करते हैं और इस सीमा स्थिति (boundary condition) को संभालने के लिए $F^*(n, k+1)$ संकेतन पेश करते हैं।

महत्व और सीमाएं

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

हालाँकि, लेखक एंड्रयूज और न्यूमैन द्वारा प्रस्तुत खुले प्रश्न के समाधान के संबंध में विनम्र हैं। वे स्पष्ट रूप से कहते हैं कि उनके परिणाम $x_o(n, k) = m_{\ge 0}(n, k)$ के परिष्करण के लिए एक संयोजनपरक प्रमाण प्रदान नहीं करते हैं। वे इस विशिष्ट मामले के लिए कोनान के मौजूदा बाइजेक्शनों को परिष्कृत करने में दो "अतुलनीय बाधाओं" (insurmountable impediments) की पहचान करते हैं:

$X_o(n)$ और बिना निश्चित बिंदु वाले विभाजनों ( $G(n)$ ) के बीच ऐसा कोई बाइजेक्शन नहीं है जो एक से बड़े भागों की संख्या को संरक्षित करता हो, क्योंकि इन सेटों के बीच $\beta$ मानों का वितरण मौलिक रूप से भिन्न है।
$M_{\le 0}(n, k)$ और $M_{\ge 0}(n, k+1)$ के बीच कोई ऐसा बाइजेक्शन नहीं है जो आवश्यक सांख्यिकी को संरक्षित करता हो, भले ही क्रैंक-शून्य विभाजनों की समता (parity) को ध्यान में रखा जाए।

परिणामस्वरूप, शोध पत्र यह निष्कर्ष निकालता है कि विषम-मेक्स परिष्करण के लिए अनुरोधित संयोजनपरक प्रमाण को संतुष्ट करने के लिए संभवतः $X_o(n)$ और $M_{\ge 0}(n)$ के बीच एक प्रत्यक्ष संबंध या पूरी तरह से नए समसंख्यात्मक सेटों की खोज की आवश्यकता होगी, न कि वर्तमान बाइजेक्शनों के विस्तार की।

मीनारों के चार समूह

बड़ी खोज

उन्होंने इसे कैसे सिद्ध किया

एक चीज़ जिसे वे हल नहीं कर सके

सारांश

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