🔢 mathematics

A note on partitions in the image of pre $_2$

यह शोधपत्र यह सिद्ध करके देवनानी और एयुन्नी द्वारा उठाए गए एक प्रश्न का समाधान करता है कि $n$ का ठीक एक विभाजन (partition) $\text{pre}_2$ मानचित्र के प्रतिबिंब (image) में तभी स्थित होता है जब $n \in \{1, 2, 4\}$ हो, जबकि सभी $n \ge 5$ के लिए, ऐसे कम से कम दो विभाजन मौजूद होते हैं।

मूल लेखक: Arnav Garg

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

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

CC BY 4.0

मूल लेखक: Arnav Garg

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

कल्पना कीजिए कि आपके पास संख्याओं का एक थैला है जिनका योग एक विशिष्ट कुल राशि (total) के बराबर है। गणित में, इसे एक partition कहा जाता है। उदाहरण के लिए, यदि आपका कुल योग 5 है, तो आपके पास {5}, या {4, 1}, या {3, 2}, या {2, 2, 1}, इत्यादि जैसे विकल्प हो सकते हैं।

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

उदाहरण: यदि आप मशीन को थैला {3, 2, 1} देते हैं:
- यह 3 और 2 को गुणा करके 6 प्राप्त करती है।
- यह 3 और 1 को गुणा करके 3 प्राप्त करती है।
- यह 2 और 1 को गुणा करके 2 प्राप्त करती है।
- मशीन परिणाम के रूप में एक नया थैला थमा देती है: {6, 3, 2}।

बड़ा सवाल जो गणितज्ञों देवनानी और एय्युन्नी ने पूछा था, वह यह था: "यदि हम एक विशिष्ट संख्या (मान लीजिए $n$ ) चुनें, तो क्या हम ऐसी स्थिति पा सकते हैं जहाँ केवल एक ही संभव मूल थैला (original bag) हो जिसे यह मशीन $n$ के योग वाले थैले में बदल सके?"

दूसरे शब्दों में, क्या कोई ऐसी संख्या $n$ है जहाँ मशीन का आउटपुट इतना अद्वितीय (unique) हो कि केवल एक ही विशिष्ट इनपुट उसे बना सके?

खोज

इस शोध पत्र के लेखक, अर्नव गर्ग ने इस पहेली को पूरी तरह से हल कर दिया है। उन्होंने पाया कि उत्तर हाँ, लेकिन केवल बहुत छोटी संख्याओं के लिए है।

यदि आपका लक्ष्य संख्या 1, 2, या 4 है, तो इस मशीन का उपयोग करके इसे बनाने का ठीक एक अनूठा तरीका है।
हालाँकि, जैसे ही आपका लक्ष्य संख्या 5 या उससे अधिक पहुँचती है, वह विशिष्टता (uniqueness) गायब हो जाती है। 5 और उससे ऊपर की किसी भी संख्या के लिए, कम से कम दो अलग-अलग मूल थैले मौजूद हैं जो उस संख्या के योग तक पहुँच सकते हैं।

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

यह सिद्ध करने के लिए कि 5 और उससे ऊपर की संख्याओं के लिए हमेशा कम से कम दो "जनक" (parents) होते हैं, अर्नव ने एक चतुर निर्माण विधि का उपयोग किया। उन्होंने दिखाया कि किसी भी बड़ी संख्या के लिए, आप एक विशिष्ट "नुस्खे" (recipe) का उपयोग करके इसे कम से कम दो अलग-अलग तरीकों से बना सकते हैं:

"एक बड़ा, कई छोटे" नुस्खा: उन्होंने दिखाया कि आप हमेशा एक बड़ी संख्या लेकर और बाकी थैले को '1' से भरकर एक लक्ष्य संख्या बना सकते हैं।
"दो बड़े, कई छोटे" नुस्खा: उन्होंने यह भी दिखाया कि आप दो थोड़ी छोटी संख्याओं और बाकी हिस्से को '1' या '2' से भरकर भी वही लक्ष्य संख्या बना सकते हैं।

क्योंकि ये दोनों नुस्खे अलग-अलग मूल थैले बनाते हैं लेकिन परिणामी योग समान होता है, इसलिए "विशिष्टता" टूट जाती है।

उन्होंने 5 और उससे ऊपर की प्रत्येक स्थिति की जाँच की (विषम संख्याएँ, 3 से विभाज्य सम संख्याएँ, 3 से विभाज्य नहीं होने वाली सम संख्याएँ, आदि) और पाया कि प्रत्येक एक के लिए, वे कम से कम दो अलग-अलग "जनक" थैले पा सकते हैं।

छोटी संख्याएँ (अपवाद)

1, 2 और 4 इस नियम से कैसे बच निकले?

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

निष्कर्ष

शोध पत्र यह निष्कर्ष निकालता है कि "जादू" के रूप में एक एकल, अद्वितीय समाधान होने की घटना केवल छोटी संख्याओं 1, 2, और 4 के लिए होती है। एक बार जब आप 5 तक पहुँचते हैं, तो गणितीय दुनिया भीड़भाड़ वाली हो जाती है: वहाँ हमेशा वहां तक पहुँचने के लिए कम से कम दो अलग-अलग मार्ग होते हैं।

लेखक यह भी नोट करते हैं कि जबकि उन्होंने 5 और उससे ऊपर की संख्याओं के लिए कम से कम दो समाधान होने का प्रमाण दिया है, वे आश्चर्य करते हैं कि यदि हम अधिक जटिल पैटर्न देखते हैं तो क्या वहां और भी अधिक समाधान हो सकते हैं, लेकिन यह भविष्य के शोध का विषय है।

तकनीकी सारांश: $pre_2$ के प्रतिबिंब में विभाजनों पर एक टिप्पणी

समस्या विवरण
यह शोध पत्र देवनानी और एय्युन्नी द्वारा $pre_2(n)$ फलन के संबंध में हाल ही में पूछे गए एक प्रश्न को संबोधित करता है, जो $n$ के उन पूर्णांक विभाजनों की संख्या गिनता है जो $pre_2$ के मानचित्र (map) के प्रतिबिंब (image) में आते हैं। मानचित्र $pre_2$ को एक विभाजन $\lambda = (\lambda_1, \lambda_2, \dots, \lambda_\ell)$ पर एक नया विभाजन उत्पन्न करके परिभाषित किया गया है जिसके भाग $\lambda$ के $k=2$ विशिष्ट भागों के सभी गुणनफल हैं। विशेष रूप से, लेखक यह जांचते हैं कि क्या कोई ऐसा पूर्णांक $n \ge 1$ मौजूद है जिसके लिए $pre_2$ के प्रतिबिंब में $n$ का ठीक एक विभाजन है (अर्थात, $pre_2(n) = 1$ )।

कार्यप्रणाली
लेखक पर्याप्त बड़े $n$ के लिए $pre_2$ के प्रतिबिंब में कई विभाजनों के अस्तित्व को प्रदर्शित करने के लिए एक रचनात्मक दृष्टिकोण (constructive approach) का उपयोग करते हैं।

आधारभूत अवलोकन: शोध पत्र पहले यह स्थापित करता है कि विभाजन $(n)$ हमेशा $pre_2$ के प्रतिबिंब में होता है क्योंकि $pre_2(n, 1) = (n)$ है। अतः, सभी $n \ge 1$ के लिए $pre_2(n) \ge 1$ है।
रचनात्मक रणनीति: $n \ge 5$ के लिए $pre_2(n) \ge 2$ को सिद्ध करने के लिए, लेखक विशिष्ट विभाजन $\lambda$ का निर्माण करते हैं जिनमें कम से कम तीन भाग होते हैं ताकि $pre_2(\lambda)$ के भागों का योग $n$ के बराबर हो। चूंकि $\ge 3$ भागों वाले विभाजन के लिए $pre_2(\lambda}$ में कम से कम $\binom{3}{2} = 3$ भाग होते हैं, इसलिए परिणामी विभाजन एकल-भाग वाला विभाजन $(n)$ नहीं हो सकता। यह एक दूसरे विशिष्ट तत्व की गारंटी देता है।
मामला विश्लेषण (Case Analysis): प्रमाण को समता (parity) और अंकगणितीय मापांक (विशेष रूप से modulo 3 और 4) के आधार पर पांच व्यापक मामलों में विभाजित करके सभी पूर्णांकों $n \ge 5$ $n \geq 5$ के लिए कवर किया गया है। निर्माण एक सरल आकार के विभाजनों का उपयोग करते हैं, जो आमतौर पर एक "बड़ा" भाग $a$ $a$ और कई छोटे भाग (1 या 2) होते हैं। $pre_2(\lambda)$ $p r e_{2} (λ)$ का योग युग्मवार गुणनफल (pairwise products) के सूत्र का उपयोग करके निकाला जाता है:
- $\lambda = (a, 1, \dots, 1)$ के लिए जिसमें $m-1$ एक (ones) हैं, योग $a(m-1) + \binom{m-1}{2}$ है।
- $\lambda = (a, 2, 2)$ के लिए, योग $4a + 4$ है।

मुख्य योगदान और परिणाम
शोध पत्र का प्राथमिक योगदान देवनानी और एय्युनिटी द्वारा पूछे गए एक विशिष्ट प्रश्न का पूर्ण समाधान प्रदान करना है। मुख्य परिणाम को प्रमेय 1 (Theorem 1) के रूप में औपचारिक रूप दिया गया है:

$pre_2(n) = 1$ यदि और केवल यदि $n \in \{1, 2, 4\}$ ।
प्रत्येक $n \ge 5$ के लिए, $pre_2(n) \ge 2$ ।

लेखक $n \ge 5$ को कवर करने वाले पाँचों मामलों के लिए स्पष्ट निर्माण प्रदान करते हैं:

मामला 1 (विषम $n \ge 5$ ): $\lambda = (\frac{n-1}{2}, 1, 1)$ का उपयोग करता है।
मामला 2 (सम $n$ , $3|n$ , $n \ge 6$ ): $\lambda = (\frac{n}{3}-1, 1, 1, 1)$ का उपयोग करता है।
मामला 3 (सम $n$ , $3 \nmid n$ , $4|n$ , $n \ge 12$ ): $\lambda = (\frac{n-4}{4}, 2, 2)$ का उपयोग करता है।
मामला 4 (सम $n$ , $3 \nmid n$ , $n \equiv 2 \pmod 4$ , $n \ge 10$ ): $\lambda = (\frac{n-6}{4}, 1, 1, 1, 1)$ का उपयोग करता है।
मामला 5 ( $n=8$ ): $\lambda = (2, 2, 1)$ का उपयोग करता है, जिससे $pre_2(2, 2, 1) = (4, 2, 2)$ प्राप्त होता है।

इसके अतिरिक्त, शोध पत्र छोटे मानों ( $n \le 4$ ) का विश्लेषण करता है ताकि यह पुष्टि की जा सके कि $pre_2$ मानचित्र के तहत तीन या अधिक भागों वाले कोई भी विभाजन 1, 2, या 4 के योग तक नहीं पहुँचते हैं, जिससे अपवाद सेट $\{1, 2, 4\}$ की वैधता सिद्ध होती है। लेखक एक कम्प्यूटेशनल सत्यापन का भी उल्लेख करते हैं कि $5 \le n \le 10,000$ के लिए सभी $n$ हेतु $pre_2(n) \ge 2$ सत्य है।

महत्व और कार्यक्षेत्र
शोध पत्र विनम्रतापूर्वक पूर्णांक विभाजन और प्रारंभिक सममित बहुपदों (elementary symmetric polynomials) के सिद्धांत में एक विशिष्ट खुले प्रश्न का निर्णायक उत्तर देने का दावा करता है। यह नए अनुप्रयोग या अनंतस्पर्शी सूत्र (asymptotic formulas) प्रस्तावित नहीं करता है। इसके बजाय, यह इस बात पर प्रकाश डालता है कि उपयोग किए गए निर्माण "सरल आकार" (एक बड़ा भाग और छोटे भाग) के विभाजनों पर निर्भर करते हैं। लेखक सुझाव देते हैं कि जबकि उनका कार्य अस्तित्व संबंधी प्रश्न को हल करता है, यह अधिक विविध निर्माणों के माध्यम से $pre_2(n)$ के लिए तीक्ष्ण निचली सीमाएँ (sharper lower bounds) प्राप्त करने या एक अनंतस्पर्शी सूत्र खोजने की संभावना को खुला छोड़ देता है। यह कार्य छोटे और बड़े पूर्णांकों के लिए $pre_2$ मानचित्र के प्रतिबिंब के आकार का एक सटीक लक्षण वर्णन (characterization) प्रस्तुत करता है।

खोज

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

छोटी संख्याएँ (अपवाद)

निष्कर्ष

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