Problems in additive number theory, VII: The structure of additive $h$-bases for $n$

तकनीकी सारांश: योगात्मक संख्या सिद्धांत में समस्याएँ, VII: $n$ के लिए योगात्मक $h$-आधारों की संरचना

परिचय और प्रेरणा
यह शोध पत्र, जिसके लेखक मेलविन बी. नाथनसन हैं, योगात्मक संख्या सिद्धांत में $n$ के लिए योगात्मक $h$-आधारों की संरचना से संबंधित समस्याओं की एक नई श्रेणी प्रस्तुत करता है। यह कार्य गणित में कृत्रिम बुद्धिमत्ता (AI) की विकसित होती क्षमताओं के संदर्भ में तैयार किया गया है। जबकि AI प्रणालियों ने पीएचडी थीसिस के उपयुक्त जटिल समस्याओं को हल करने की क्षमता प्रदर्शित की है, उनमें वर्तमान में "दिलचस्प" समस्याओं की पहचान करने या नए अनुमान (conjectures) बनाने की क्षमता का अभाव है। फलस्वरूप, यह शोध पत्र यह प्रतिपादित करता है कि नवीन, समाधान योग्य प्रश्नों का निर्माण करना मानव गणितज्ञों का एक विशिष्ट लाभ बना हुआ है। प्रस्तुत समस्याएँ इस तरह से डिज़ाइन की गई हैं कि वे मनुष्यों द्वारा और कुछ मामलों में अंकगणित पर लागू वर्तमान AI प्रणालियों द्वारा हल की जा सकें।

परिभाषाएँ और ढांचा
यह शोध पत्र निम्नलिखित परिभाषाओं पर आधारित एक कठोर ढांचा स्थापित करता है:

• $n$ के लिए योगात्मक $h$-आधार (Additive $h$-basis): पूर्णांकों का एक परिमित समुच्चय $A$ एक योगात्मक $h$-आधार है यदि $h$-गुना योगसमुच्चय (sumset) $hA$(गैर-विशिष्ट$h$तत्वों के सभी योगों का सेट) अंतराल$[0, n]$ को समाहित करता है।
• अंतराल $h$-आधार (Interval $h$-basis): एक समुच्चय $A$, $n$ के लिए एक अंतराल $h$-आधार है यदि $hA$किसी पूर्णांक$c$के लिए अंतराल$[c, c+n]$ को समाहित करता है।
• अधिकतम अंतराल (Maximal Intervals): एक समुच्चय $A$ के लिए, $\ell_h(A)$ वह सबसे बड़ा $n$ है जिससे $[0, n] \subseteq hA$, और $\ell^\sharp_h(A)$ वह सबसे बड़ा $n$ है जिससे किसी $c$ के लिए $[c, c+n] \subseteq hA$।
• चार प्रमुख फलन (Four Key Functions): यह पत्र आकार $k$ के समुच्चयों पर आधारित चार फलनों को परिभाषित करता है:
  1. $n_h(k)$: वह अधिकतम $n$ ऐसा कि $\mathbb{N}_0$ के आकार $k$ वाले समुच्चय $A$ के लिए $[0, n] \subseteq hA$ हो।
  2. $n^\sharp_h(k)$: वह अधिकतम $n$ ऐसा कि $\mathbb{N}_0$ के आकार $k$ वाले समुच्चय $A$ के लिए किसी $c$ हेतु $[c, c+n] \subseteq hA$ हो।
  3. $m_h(k)$: वह अधिकतम $n$ ऐसा कि $\mathbb{Z}$ के आकार $k$ वाले समुच्चय $A$ के लिए $[0, n] \subseteq hA$ हो।
  4. $m^\sharp_h(k)$: वह अधिकतम $n$ ऐसा कि $\mathbb{Z}$ के आकार $k$ वाले समुच्चय $A$ के लिए किसी $c$ हेतु $[c, c+n] \subseteq hA$ हो।

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

1. फलनों की एकदिष्टता (Monotonicity of Functions):
   सिद्धान्त 1 यह सिद्ध करता है कि अनुक्रम $(n_h(k))$, $(m_h(k))$, $(n^\sharp_h(k))$, और $(m^\sharp_h(k))$ के लिए $h, k \ge 2$ हेतु पूर्णतः वर्धमान (strictly increasing) हैं। इसका प्रमाण आकार $k$ के एक अधिकतम समुच्चय $A$ में एक तत्व जोड़कर आकार $k+1$ के एक समुच्चय $A'$ के निर्माण पर आधारित है, जो कवर किए गए अंतराल को कम से कम एक इकाई तक बढ़ा देता है।

2. सिडन सेट्स (Sidon Sets) का सामान्यीकरण:
   विशिष्ट अंतराल आधारों के निर्माण के लिए, यह शोध पत्र स्तर $H$ के $\Delta$-पृथक (separated) समुच्चयों की अवधारणा प्रस्तुत करता है। एक समुच्चय $\Delta$-पृथक स्तर $\infty$ का तब होता है जब किन्हीं भी दो भिन्न उपसमुच्चय योगों के बीच का अंतर कम से कम $\Delta$ हो।

• सिद्धान्त 2 यह प्रदर्शित करता है कि घातों का समुच्चय $A(g) = \{g^i : i \in \mathbb{N}\}$ जहाँ $g = \Delta + 1$ है, स्तर $\infty$ के लिए $\Delta$-पृथक है। यह अत्यधिक पृथक योगसमुच्चयों वाले समुच्चय बनाने की एक विधि प्रदान करता है।

3. अंतराल 2-आधारों का निर्माण:
   सिद्धान्त 3 आकार $2n+2$ के समुच्चयों $A$ के अस्तित्व के लिए एक रचनात्मक प्रमाण प्रस्तुत करता है, जहाँ $2A$ में एक अद्वितीय अंतराल $[c, c+n]$ समाहित है और इसके अलावा कोई अन्य अंतराल नहीं है (लक्ष्य अंतराल के उप-अंतरालों को छोड़कर)। $2A \setminus [c, c+n]$ के सभी तत्व विलगित (isolated) हैं। यह निर्माण उन पूर्णांकों के एक अनुक्रम का उपयोग करता है जो लक्ष्य अंतराल के बाहर योगों को अलग करने के लिए पर्याप्त तेजी से बढ़ते हैं।

4. अऋणात्मक और पूर्णांक आधारों की तुल्यता:
   सिद्धान्त 5 यह स्थापित करता है कि $n^\sharp_h(k) = m^\sharp_h(k)$ है। यह परिणाम इंगित करता है कि आधार समुच्चय में ऋणात्मक पूर्णांकों को शामिल करने से कवर किए गए अंतराल की अधिकतम लंबाई नहीं बढ़ती है, बशर्ते अंतराल को अनुवादित (translate) किया जा सके। प्रमाण में ऋणात्मक पूर्णांकों वाले समुच्चय को अऋणात्मक पूर्णांकों वाले समुच्चय में अनुवादित करना शामिल है, जिससे कवर किए गए अंतराल की लंबाई में कोई परिवर्तन नहीं होता।

5. व्यास सीमाएँ (Diameter Bounds):
   सिद्धान्त 6 $\mathbb{N}_0$ के उस समुच्चय $A$ के व्यास पर एक ऊपरी सीमा प्रदान करता है जो अधिकतम अंतराल लंबाई $n_h(k)$ प्राप्त करता है। विशेष रूप से, यदि $\ell_h(A) = n_h(k)$, तो $\text{diam}(A) \le n_h(k)$। प्रमाण यह तर्क देता है कि यदि सबसे बड़ा तत्व $n_h(k)$ से अधिक होता, तो वह $[0, n_h(k)]$ को कवर करने के लिए अनावश्यक होता, जो $n_h(k)$ की व्यापकता (maximality) का खंडन करता।

खुली समस्याएँ और कार्यप्रणाली
यह शोध पत्र प्राथमिक गणनात्मक समस्याओं को हल नहीं करता है बल्कि उन्हें भविष्य के अनुसंधान के लिए चुनौतियों के रूप में प्रस्तुत करता है। कार्यप्रणाली में शामिल हैं:

• पैटर्न पहचान (Pattern Recognition): छिपे हुए पैटर्न की पहचान करने के लिए छोटे $h$ और $k$ (जैसे, $L_{\mathbb{N}_0, h}(k)$) के लिए विशिष्ट मानों को सूचीबद्ध करना।
• रचनात्मक प्रमाण (Constructive Proofs): विशिष्ट योगसमुच्चयों को अलग करने के लिए तेजी से बढ़ने वाले अनुक्रमों (पूर्कों के अनुक्रम) का उपयोग करना।
• अनुवाद तर्क (Translation Arguments): अंतरालों को स्थानांतरित करने और $\mathbb{Z}$ पर समस्याओं को $\mathbb{N}_0$ से जोड़ने के लिए विभाजन एल्गोरिदम का उपयोग करना।

यह शोध पत्र कई विशिष्ट समस्याओं की पहचान करता है, जिनमें से कई पर तारांकन (*) लगा है जो AI के लिए संभावित कठिनाई को दर्शाता है:

• समस्या 1 और 2: निश्चित $h$ और $k$ के लिए $\ell_h(A)$ और $\ell^\sharp_h(A)$ के संभावित मानों के समुच्चयों का वर्णन करना।
• समस्या 3: चार फलनों के अनुक्रमों की गणना करना और यह तय करने के लिए एल्गोरिदम विकसित करना कि क्या कोई दिया गया पूर्णांक $w$ उनके रेंज (range) में आता है।
• समस्या 4: इन फलनों के अंतर अनुक्रमों (difference sequences) का विश्लेषण करना।
• समस्या 5: यह निर्धारित करना कि क्या ऋणात्मक संख्याओं का समावेश maximal अंतराल $[0, n]$ के आकार को सख्ती से बढ़ाता है।
• समस्याएं 7–9: ऐसे समुच्चय बनाने की संभावना की जांच करना जहाँ योगसमुच्चय केवल विशिष्ट, व्यापक रूप से स्थित स्थानों पर अंतराल समाहित करते हैं।
• समस्या 10: चारों फलनों की समानता का निर्धारण करना (जैसे, क्या $n_h(k) = m_h(k)$ है?)।

महत्व और विस्तार
यह शोध पत्र मुख्य रूप से इन नए प्रश्नों के सूत्रण के माध्यम से अपनी महत्ता का दावा करता है। यह स्वीकार करता है कि फलन $n_h(k)$ का पुराने जर्मन साहित्य (ब्लूम, हॉफमीस्टर और रोरबैक जैसे लेखकों का उल्लेख करते हुए) में व्यापक रूप से अध्ययन किया गया है, और समाधान ऐतिहासिक जर्नल्स में मौजूद हो सकते हैं। हालाँकि, इसका उद्देश्य निम्नलिखित द्वारा जांच को आधुनिक बनाना है:

1. चार संबंधित फलनों ($n_h, n^\sharp_h, m_h, m^\sharp_h$) को व्यवस्थित रूप से परिभाषित करना।
2. विशिष्ट संरचनात्मक गुणों वाले अंतराल आधारों का निर्माण करने के लिए $\Delta$-पृथक समुच्चयों की अवधारणा पेश करना।
3. इन समस्याओं को गणितीय खोज के लिए AI क्षमताओं के बेंचमार्क के रूप में स्पष्ट रूप से फ्रेम करना।

यह कार्य अपने दावों में विनम्र है, यह नोट करते हुए कि यह इनके एसिम्प्टोटिक व्यवहार (asymptotic behavior) के निश्चित समाधान देने के बजाय "नए प्रश्न" पेश करता है। यह रेखांकित करता है कि जबकि गणना फलन $n_h(k)$ पर पिछला शोध केंद्रित रहा है, अन्य गणना फलन और अंतराल आधारों के संरचनात्मक गुण काफी हद तक अनछुए रहे हैं। शोध पत्र यह सुझाव देते हुए समाप्त होता है कि अन्य समुच्चयों (वर्ग, अभाज्य संख्याएँ) और अन्य विन्यासों (अंकगणितीय प्रगति) के लिए भी इसी प्रकार की समस्याएँ मौजूद हैं, जो भविष्य के अन्वेषण के लिए एक व्यापक एजेंडा छोड़ती हैं।