🔢 mathematics

Restricted partition functions and additive complements

यह शोध पत्र धई और चेन द्वारा 2016 में पूछे गए एक प्रश्न का सकारात्मक उत्तर देता है, जिसमें धनात्मक पूर्णांकों के अनंत समुच्चय निर्मित किए गए हैं जो यह सुनिश्चित करते हुए कि प्रत्येक धनात्मक पूर्णांक की कम से कम एक प्रस्तुति है, एक प्रतिबंधित विभाजन फलन (partition function) प्रदान करते हैं जिसका विकास बहुपदीय (polynomial) है।

मूल लेखक: Yuchen Ding

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

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

CC BY 4.0

मूल लेखक: Yuchen Ding

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

कल्पना कीजिए कि आपके पास विशेष निर्माण ब्लॉकों (building blocks) से भरा एक विशाल, अनंत टूलबॉक्स है। प्रत्येक ब्लॉक का एक विशिष्ट आकार है, जो सेट A नामक एक सूची में दिए गए नंबर द्वारा निर्धारित होता है। आपके पास एक विशेष नियम पुस्तिका भी है जिसे सेट M कहा जाता है, जो आपको बताती है कि आप प्रत्येक ब्लॉक का उपयोग कितनी बार कर सकते हैं।

गणितज्ञ युचेन डिंग (Yuchen Ding) एक बहुत ही विशिष्ट प्रश्न पूछ रहे हैं: क्या हम इन दो सूचियों (A और M) को इस तरह से डिजाइन कर सकते हैं कि हम इन ब्लॉकों का उपयोग करके प्रत्येक धनात्मक पूर्ण संख्या (1, 2, 3, आदि) बना सकें, लेकिन बिना इस बात के कि उन्हें बनाने के तरीकों की संख्या नियंत्रण से बाहर हो जाए?

यहाँ अवधारणाओं का रोजमर्रा के उपमाओं (analogies) का उपयोग करके विवरण दिया गया है:

1. निर्माण ब्लॉक (प्रतिबंधित विभाजन - Restricted Partitions)

संख्या $n$ (जैसे 100) को एक टॉवर के रूप में सोचें जिसे आप बनाना चाहते हैं।

सेट A आपके पास उपलब्ध ब्लॉक आकारों की सूची है (जैसे, 1, 4, 16, 256...)।
सेट M "गुणकों" (multiples) के लिए आपका नियम पुस्तिका है। यह कहता है, "आप 4-ब्लॉक का 0, 1, या 2 उपयोग कर सकते हैं, लेकिन शायद 16-ब्लॉक के 0, 5, या 10 का उपयोग कर सकते हैं।"
लक्ष्य: आप इन नियमों का उपयोग करके किसी भी संख्या $n$ को बनाने में सक्षम होना चाहते हैं।
समस्या: यदि आपके पास एक ही संख्या को बनाने के बहुत अधिक तरीके हैं, तो गणित जटिल हो जाता है। लेखक यह सिद्ध करना चाहता है कि किसी भी टॉवर को बनाने के तरीके ( $p$ ) धीरे-धीरे बढ़ते हैं—विशेष रूप से, "पॉलीनोमियल ग्रोथ" (polynomial growth)।

उपमा: कल्पना कीजिए कि आप कुकीज़ बेक कर रहे हैं।

यदि आपके पास चॉकलेट चिप कुकी के लिए 100 अलग-अलग रेसिपी हैं, तो यह ट्रैक रखना बहुत काम का है।
"पॉलीनोमियल ग्रोथ" का अर्थ है कि जैसे-जैसे आप बड़े और बड़े बैच की कुकीज़ बनाने की कोशिश करते हैं, आपके द्वारा खोजी गई नई, अद्वितीय रेसिपीज़ की संख्या तुरंत लाखों में नहीं फटती। यह एक प्रबंधनीय, अनुमानित गति से बढ़ती है।

2. "गैप" (अंतराल) की समस्या

इस शोध पत्र से पहले, गणितज्ञों को ऐसी सूचियाँ बनाने का तरीका पता था जहाँ आप हर संख्या बना सकते थे, लेकिन ब्लॉकों के आकार के बीच का "गैप" बहुत बड़ा नहीं था।

प्रश्न: क्या हम एक ऐसी सूची बना सकते हैं जहाँ ब्लॉक बहुत तेज़ी से विशाल होते जाते हैं? कल्पना कीजिए कि एक सूची है जहाँ पहला ब्लॉक आकार 1 का है, अगला आकार 100 का है, अगला 10,000 का, और अगला 1,000,000 का।
इन नंबरों के बीच का अंतर इतना चौड़ा है कि गणित आमतौर पर टूट जाता है, जिससे हर संख्या बनाना असंभव हो जाता है या रेसिपी की संख्या विस्फोट की तरह बढ़ जाती है।

3. समाधान: "परफेक्ट पेयर" (एक आदर्श जोड़ी)

डिंग सिद्ध करते हैं कि उत्तर हाँ है। आप इन विशाल अंतरालों (gaps) को बना सकते हैं और फिर भी हर संख्या बना सकते हैं जिसमें रेसिपी की संख्या प्रबंधनीय हो।

वह इसे एडिटिव कॉम्प्लीमेंट्स (Additive Complements) के एक चतुर तरीके का उपयोग करके करते हैं।

रूपक: कल्पना कीजिए कि दो टीमें हैं, टीम B और टीम S।
- टीम B के सदस्य 2 की घात (powers of 2) हैं (1, 2, 4, 8, 16...)।
- टीम S संख्याओं का एक विशेष समूह है जो टीम B द्वारा छोड़े गए "छेद" (holes) को भरता है।
- साथ मिलकर, यदि आप टीम B से एक व्यक्ति और टीम S से एक व्यक्ति लेते हैं और उनके "मानों" (values) को जोड़ते हैं, तो आप संख्या रेखा पर हर संख्या बना सकते हैं। वे एक-दूसरे के पूरक (complements) हैं।

डिंग एक प्रसिद्ध परिणाम का उपयोग करके टीम S को खोजने के लिए, जो पर्याप्त रूप से विरल (sparse) है कि दिलचस्प लगे, लेकिन पर्याप्त सघन (dense) है कि अंतराल को भर सके। उन्होंने गणितज्ञ रुसा (Ruzsa) के एक प्रसिद्ध परिणाम का उपयोग किया।

4. निर्माण कैसे काम करता है

डिंग इन दो जादुई सूचियों, A और M को इन टीमों के आधार पर बनाते हैं:

सेट A (ब्लॉक): वह टीम B के नंबरों को लेता है और उन्हें 2 की घात में बदल देता है (जैसे, $2^1, 2^2, 2^4, 2^8...$ )। यह आवश्यक "विशाल अंतराल" (massive gaps) बनाता है।
सेट M (नियम): वह नियमों के आधार पर सेट बनाता है। नियम आपको टीम S के छोटे टुकड़ों को गुणांक (coefficients - "कितने" वाला हिस्सा) बनाने के लिए अनुमति देते हैं।

जादू: क्योंकि टीम B और टीम S आदर्श पूरक हैं, आप हमेशा किसी भी संख्या को एक ऐसे योग में तोड़ सकते हैं जो इन विशिष्ट नियमों में फिट बैठता है। क्योंकि टीम S को सावधानीपूर्वक चुना गया है, इसलिए उन्हें करने के तरीकों की संख्या विस्फोट नहीं होती; यह एक "पॉलीनोमियल" सीमा के भीतर रहती है (एक प्रबंधनीय विकास दर)।

5. यह क्यों महत्वपूर्ण है (शोध पत्र के अनुसार)

यह शोध पत्र दाई (Dai) और चेन (Chen) द्वारा 2016 में पूछे गए एक विशिष्ट प्रश्न का उत्तर देता है।

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

"AI" घटक पर एक नोट

लेखक, युचेन डिंग, खुले तौर पर बताते हैं कि उन्होंने अनुसंधान प्रक्रिया के दौरान एक AI टूल (ChatGPT) का उपयोग किया।

AI ने क्या किया: इसने 2 की घात वाले सेटों को देखने का सुझाव दिया और उन्हें "लैक्यूनरी सीक्वेंस" (lacunary sequences - बड़े अंतराल वाली अनुक्रम) के बारे में रुसा के एक विशिष्ट प्रमेय की ओर निर्देशित किया।
लेखक ने क्या किया: लेखक ने गणित को सत्यापित किया, तर्क की जाँच की, प्रमाण को पुनर्गठित किया और अंतिम शोध पत्र लिखा। वह काम की सटीकता के लिए पूरी जिम्मेदारी लेते हैं।

सारांश

युचेन डिंग ने संख्या निर्माण की एक पहेली को हल किया। उन्होंने दिखाया कि आप निर्माण ब्लॉकों का एक ऐसा सेट रख सकते हैं जो अविश्वसनीय रूप से दूर-दूर स्थित हैं (जैसे एक सीढ़ी जिसके डंडे एक-दूसरे से बहुत दूर होते जा रहे हैं), और उनका उपयोग करने के लिए नियमों का एक सेट, जिससे:

आप प्रत्येक पूर्ण संख्या बना सकते हैं।
उन्हें बनाने के तरीकों की संख्या नियंत्रण से बाहर नहीं होती।

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

तकनीकी सारांश: प्रतिबंधित विभाजन फलन और योगात्मक पूरक

समस्या विवरण
यह शोध पत्र प्रतिबंधित विभाजन फलनों (restricted partition functions) से संबंधित योगात्मक संख्या सिद्धांत (additive number theory) के एक विशिष्ट प्रश्न को संबोधित करता है। मान लीजिए कि $\mathbb{N}$ धनात्मक पूर्णांकों का समुच्चय है और $\mathbb{N}_0 = \mathbb{N} \cup \{0\}$ है। उपसमुच्चय $A, M \subseteq \mathbb{N}$ के लिए, प्रतिबंधित विभाजन फलन $p(n, A, M)$ , एक पूर्णांक $n$ के उन रूपों की संख्या को गिनता है जो इस रूप में होते हैं:
$n = \sum_{a \in A} m_a a$
जहाँ सभी $a \in A$ के लिए $m_a \in M \cup \{0\}$ है, और केवल परिमित (finitely many) $m_a$ गैर-शून्य हैं। फलन $p$ को तब बहुपद वृद्धि (polynomial growth) वाला कहा जाता है यदि ऐसे स्थिरांक $c > 0$ और $n_0$ मौजूद हों कि सभी $n \geq n_0$ के लिए $p(n, A, M) \leq n^c$ हो।

दाई और चेन (2016) द्वारा प्रस्तुत मुख्य प्रश्न (प्रश्न 1) यह है कि क्या धनात्मक पूर्णांकों के दो अनंत समुच्चय $A = \{a_n\}_{n=1}^\infty$ और $M$ अस्तित्व में हैं जो निम्नलिखित शर्तों को पूरा करते हैं:

सेट $A$ अत्यंत विरल (extremely sparse) है, जो $\lim_{n\to\infty} \frac{\log a_{n+1} - \log a_n}{\log n} = +\infty$ को संतुष्ट करता है।
$p(n, A, M) > 0$ सभी पर्याप्त बड़े $n$ के लिए (अर्थात, प्रत्येक बड़ा पूर्णांक निरूपित किया जा सकता है)।
विभाजन फलन $p(n, A, M)$ बहुपद वृद्धि प्रदर्शित करता है।

पिछले कार्यों (जैसे अलों (2012) और दाई एवं चेन (2016)) ने कम कठोर विरलता स्थितियों या विशिष्ट घातांक सीमाओं (जैसे $p(n) < n^{2+o(1)}$ ) के तहत बहुपद वृद्धि वाले ऐसे सेट्स के अस्तित्व को स्थापित किया था, लेकिन सुपर-लॉगैरिद्मिक (super-logarithmic) विरलता का मामला खुला रह गया था।

कार्यप्रणाली (Methodology)
लेखक, युचेन डिंग, योगात्मक पूरक (additive complements) और बाइनरी विस्तार (binary expansions) पर आधारित एक निर्माण का उपयोग करते हैं। मुख्य रणनीति निम्नलिखित है:

योगात्मक पूरकों को परिभाषित करना: दो सेट $B, S \subseteq \mathbb{N}_0$ को पूर्ण योगात्मक पूरक (complete additive complements) कहा जाता है यदि $B + S = \mathbb{N}_0$ हो।
सेट $A$ और $M$ का निर्माण: लेखक एक विशिष्ट गणना शर्त को संतुष्ट करने वाले योगात्मक पूरक युग्म $B$ $B$ और $S$ $S$ के आधार पर $A$ $A$ और $M$ $M$ का निर्माण करते हैं। विशेष रूप से:
- $A = \{2^b : b \in B\}$
- $M = \{ \sum_{d \in D} 2^d : D \subset S, 0 < |D| < \infty \}$ (सेट $S$ से 2 की घातों के परिमित उपसमुच्चय योग)
आक्षेपित मानचित्रण (Injective Mapping): प्रमाण $p(n, A, M)$ द्वारा गिने जाने वाले निरूपणों से उत्पाद स्थान (product space) $S \times B$ के परिमित उपसमुच्चयों तक एक आक्षेपित मानचित्र स्थापित करता है। बाइनरी विस्तार की विशिष्टता का उपयोग करते हुए, लेखक दिखाते हैं कि $n$ का कोई भी निरूपण $(s, b)$ युग्मों के एक सेट के अनुरूप होता है जहाँ $s+b \leq \log_2 n$ है।
वृद्धि को सीमित करना: ऐसे निरूपणों की संख्या को $s+b \leq N$ (जहाँ $N \approx \log_2 n$ ) वाले युग्मों $(s, b) \in S \times B$ की संख्या द्वारा सीमित किया जाता है। यह गणना $S(N)B(N)$ द्वारा सीमित दिखाई गई है। यदि $B(x)S(x) \ll x$ है, तो परिणामी विभाजन फलन बहुपद रूप से बढ़ता है।

मुख्य योगदान और परिणाम
यह शोध पत्र निम्नलिखित परिणामों के माध्यम से दाई और चेन के प्रश्न 1 का सकारात्मक उत्तर प्रदान करता है:

प्रमेय 1: मान लीजिए कि $B$ और $S$ पूर्ण योगात्मक पूरक हैं जो गणना शर्त $B(x)S(x) \ll x$ को संतुष्ट करते हैं। यदि $A$ और $M$ ऊपर दिए गए अनुसार परिभाषित हैं, तो प्रत्येक $n \in \mathbb{N}$ के लिए $p(n, A, M) > 0$ है और $p(n, A, M)$ में बहुपद वृद्धि होती है।
उपप्रमेय 1 (प्रश्न 1 का समाधान): 2-की-घातों के योगात्मक पूरकों के संबंध में रुसा (1972) के एक परिणाम का उपयोग करते हुए, लेखक विशिष्ट सेट $A$ $A$ और $M$ $M$ का निर्माण करते हैं जो प्रमेय 1 की शर्तों को पूरा करते हैं।
- $B = \{0\} \cup \{2^k : k \geq 0\}$ को लें।
- $S$ को रुसा के प्रमेय से प्राप्त $\mathbb{N}$ का एक उपसमुच्चय माना गया है ताकि $S(x) \ll x / \log x$ और $B+S = \mathbb{N}_0$ (कुछ परिमित तत्वों को जोड़ने के बाद) हो।
- परिणामी सेट $A$ के तत्व $a_n = 2^{2^{n-2}}$ ( $n \geq 2$ के लिए) हैं।
- यह निर्माण $\lim_{n\to\infty} \frac{\log a_{n+1} - \log a_n}{\log n} = +\infty$ को संतुष्ट करता है, जो अत्यधिक विरलता की आवश्यकता को पूरा करता है।
- चूंकि $B(x) \ll \log x$ और $S(x) \ll x / \log x$ है, इसलिए उत्पाद $B(x)S(x) \ll x$ सत्य है, जो $p(n, A, M)$ की बहुपद वृद्धि सुनिश्चित करता है।

महत्व
यह शोध पत्र दावा करता है कि यह दाई और चेन (2016) के प्रश्न का सकारात्मक उत्तर देता है। यह प्रदर्शित करता है कि ऐसे प्रतिबंधित विभाजन फलन बनाना संभव है जो अधिरोपित (surjective) हों (सभी धनात्मक पूर्णांकों का प्रतिनिधित्व करते हैं) और जिनमें बहुपद वृद्धि हो, भले ही उपयोग किए गए भागों का सेट $A$ पहले ज्ञात उदाहरणों की तुलना में काफी अधिक विरल हो (विशेष रूप से, एक ऐसी सीमा स्थिति को संतुष्ट करता है जहाँ क्रमागत तत्वों के बीच का लघुगणकीय अंतर $\log n$ की किसी भी घात से तेज़ बढ़ता है)।

यह कार्य प्रतिबंधित विभाजन फलनों की वृद्धि दर को योगात्मक पूरकों के गणना गुणों से सीधे जोड़कर पिछले परिणामों का सामान्यीकरण करता है। लेखक उल्लेख करते हैं कि इस निर्माण का अन्वेषण प्रारंभ में एक जेनेरेटिव AI (ChatGPT) की सहायता से किया गया था, जिसने सेट्स के विशिष्ट रूप और रुसा के प्रमेय के साथ संबंध का सुझाव दिया था, हालांकि गणितीय सत्यापन, पुनर्गठन और अंतिम प्रमाण लेखक का स्वतंत्र कार्य है।