🔢 mathematics

Skolem Meets Bateman-Horn

यह शोध पत्र एक यूनिवर्सल स्केलेम सेट (Universal Skolem Set) का निर्माण करके स्केलेम समस्या (Skolem Problem) की निर्णयक्षमता (decidability) को आगे बढ़ाता है, जिसका घनत्व कम से कम 1/8 है, जिसे मार्टिन के बाटेमैन-हॉर्न अनुमान (Bateman-Horn conjecture) के यूनिफॉर्म निरूपण के तहत घनत्व 1 वाला दिखाया गया है।

मूल लेखक: Florian Luca, James Maynard, Armand Noubissie, Joël Ouaknine, James Worrell

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

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

CC BY 4.0

मूल लेखक: Florian Luca, James Maynard, Armand Noubissie, Joël Ouaknine, James Worrell

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

मौन संख्याओं का रहस्य

एक ऐसी मशीन की कल्पना करें जो संख्याओं की एक सूची बनाती है, जहाँ प्रत्येक नई संख्या उससे पहले आई संख्याओं के एक विशिष्ट नुस्खे (recipe) को जोड़कर बनाई जाती है। इसे रैखिक पुनरावृत्ति अनुक्रम (linear recurrence sequence) कहा जाता है। इसे एक संगीत लूप की तरह समझें जहाँ हर स्वर पिछले कुछ स्वरों का मिश्रण होता है। कभी-कभी, यह संगीत लूप एक "शून्य" पर पहुँच जाता है—मौन का एक क्षण। कंप्यूटर विज्ञान और गणित में एक बड़ा प्रश्न है, जिसे स्कोलम समस्या (Skolem Problem) के रूप में जाना जाता है: क्या हम हमेशा यह अनुमान लगा सकते हैं कि वह शून्य कब और कब आएगा?

यह केवल गणितज्ञों के लिए एक पहेली नहीं है; यह कुछ प्रकार के कंप्यूटर प्रोग्रामों के लिए "हाल्टिंग प्रॉब्लम" (halting problem) है। यदि हम यह नहीं बता सकते कि कोई प्रोग्राम कभी शून्य तक पहुँचेगा या नहीं, तो हम यह सुनिश्चित नहीं कर सकते कि वह कभी रुक जाएगा या अनंत लूप में फँस जाएगा। दशकों से, हम बहुत सरल मशीनों (जिनके नुस्खे छोटे हैं) के लिए इसे हल करने में सक्षम रहे हैं, लेकिन अधिक जटिल मशीनों के लिए, उत्तर एक जिद्दी रहस्य बना हुआ है। हम जानते हैं कि शून्य एक अनुमानित पैटर्न में मौजूद होते हैं, लेकिन हमारे पास उन्हें खोजने या यह जानने का भी कोई प्रभावी तरीका नहीं है कि वे मौजूद हैं या नहीं। यह एक खजाने के नक्शे पर "X" के निशान वाले स्थान को जानने जैसा है, लेकिन आपके पास उसे खोजने के लिए कोई दिशा-सूचक यंत्र (compass) नहीं है।

नया नक्शा और जादुई बगीचा

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

लेखकों ने सफलतापूर्वक ऐसा बगीचा बनाया। उन्होंने सिद्ध किया कि यह बगीचा बहुत बड़ा है—इसमें सभी धनात्मक पूर्णांकों का कम से कम 1/8 भाग शामिल है। इसका अर्थ यह है कि किसी भी जटिल संख्या-बनाने वाली मशीन के लिए, यदि वह कभी शून्य उत्पन्न करती है, तो उस शून्य के इस विशेष बगीचे के भीतर आने की बहुत अधिक संभावना है। इसके अलावा, उन्होंने दिखाया कि यदि हम अभाज्य संख्याओं (prime numbers) के वितरण के बारे में एक प्रसिद्ध, अप्रमाणित अनुमान (जिसे बेटमैन-हॉर्न अनुमान/Bateman–Horn conjecture कहा जाता है) को स्वीकार करते हैं, तो यह बगीचा वास्तव में 100% पूर्णांकों को कवर करता है। दूसरे शब्दों में, यदि वह अनुमान सत्य है, तो हम प्रत्येक अनुक्रम के लिए शून्य पा सकते हैं।

उन्होंने बगीचा कैसे बनाया

इस बगीचे को बनाने के लिए, लेखकों ने अभाज्य संख्याओं का उपयोग करते हुए एक चतुर तकनीक का प्रयोग किया। उन्होंने अपने बगीचे को उन संख्याओं के सेट के रूप में परिभाषित किया जिन्हें एक विशिष्ट तरीके से लिखा जा सकता है: एक संख्या $n$ बगीचे में है यदि उसे एक बड़ी अभाज्य संख्या को एक छोटी अभाज्य संख्या से गुणा करके और उसमें थोड़ी सी अतिरिक्त वैल्यू जोड़कर बनाया जा सकता है।

इसे ताले और चाबी की प्रणाली की तरह समझें। शोधकर्ताओं ने महसूस किया कि यदि कोई अनुक्रम संख्या $n$ पर शून्य तक पहुँचता है जो उनके बगीचे में है, तो वह शून्य एक "साथी समीकरण" (companion equation) बनाता है—मूल समस्या की एक गणितीय छाया। क्योंकि बगीचे की संख्याएँ विशिष्ट तरीके से अभाज्य संख्याओं से बनी होती हैं, इसलिए ये छायाएँ विश्लेषण करने में बहुत आसान हो जाती हैं।

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

यह एक संघर्ष पैदा करता है। यदि संख्या $n$ बहुत बड़ी है, तो उसे शून्य के अस्तित्व के लिए गणित द्वारा अनुमत तरीकों से कहीं अधिक तरीकों से बनाया जाना होगा। इसलिए, इस बगीचे में पाया जाने वाला कोई भी शून्य अपेक्षाकृत छोटा होना चाहिए। ठीक यह गणना करके कि वह कितना छोटा है, लेखकों ने एक "स्टॉप साइन" (stop sign) बनाया। उन्होंने सिद्ध किया कि किसी भी अनुक्रम के लिए, उन्हें अपने बगीचे के भीतर एक विशिष्ट, गणना योग्य सीमा तक संख्याओं की जाँच करने की आवश्यकता है। यदि अनुक्रम तब तक शून्य तक नहीं पहुँचता है, तो वह कभी नहीं पहुँचेगा (कम से कम उस बगीचे के भीतर)।

परिणाम: एक बड़ी प्रगति

यह शोध पत्र दो प्रमुख दावे करता है:

बिना किसी शर्त के (बिना किसी अप्रमाणित अनुमान की आवश्यकता के): लेखकों ने एक यूनिवर्सल स्किल सेट का निर्माण किया जिसका न्यूनतम घनत्व (lower density) कम से कम 1/8 है। इसका अर्थ है कि चाहे जो भी हो, यह सेट इतना बड़ा है कि उपयोगी हो सके। यह सिद्ध करता है कि हम इस विशिष्ट उपसमुच्चय (subset) के भीतर संख्याओं के लिए शून्य का पता लगा सकते हैं।
शर्त के साथ (बेटमैन-हॉर्न अनुमान को मानते हुए): यदि हम अभाज्य संख्याओं के बहुपद सूत्रों में उनके प्रकट होने के बारे में एक मानक परिकल्पना को मानते हैं, तो इस सेट का घनत्व 1 है। इसका अर्थ होगा कि इस सेट में लगभग सभी पूर्णांक शामिल हैं, जो व्यावहारिक उद्देश्यों के लिए स्कोलम समस्या को प्रभावी रूप से हल कर देता है।

लेखक सावधानीपूर्वक यह नोट करते हैं कि उन्होंने अभी तक सभी संख्याओं के लिए स्कोलम समस्या को पूरी तरह से हल नहीं किया है (क्योंकि वे नहीं जानते कि बेटमैन-हॉर्न अनुमान सत्य है या नहीं, और उनका सेट कुछ संख्याओं को छोड़ भी सकता है भले ही वह 1/8 घना हो)। हालाँकि, उन्होंने छोटे अनुक्रमों की ज्ञात दुनिया और जटिल अनुक्रमों की अज्ञात दुनिया के बीच के अंतर को सफलतापूर्वक पाट दिया है। उन्होंने दिखाया है कि अभाज्य संख्याओं के वितरण के लेंस से संख्याओं को देखकर, हम एक विशाल, प्रभावी क्षेत्र पा सकते हैं जहाँ "मौन संख्याओं" के रहस्य को अंततः सुलझाया जा सकता है।

तकनीकी सारांश: स्कोलेम और बेटमैन-हॉर्न का मिलन

1. समस्या: स्कोलेम समस्या (The Skolem Problem)

स्कोलेम समस्या यह पूछती है कि क्या एक दिए गए पूर्णांक रैखिक पुनरावृत्ति अनुक्रम (integer linear recurrence sequence - LRS) में कोई शून्य पद (zero term) मौजूद है। एक LRS $u = \langle u_n \rangle_{n=0}^\infty$ एक आवर्तक $u_{n+k} = a_0 u_{n+k-1} + \dots + a_{k-1} u_n$ का पालन करता है जिसके गुणांक पूर्णांक होते हैं। समतुल्य रूप से, $u_n$ का एक बंद रूप (closed form) $u_n = \sum_{i=1}^s Q_i(n) \alpha_i^n$ होता है, जहाँ $\alpha_i$ अभिलक्षणिक बहुपद (characteristic polynomial) के मूल हैं और $Q_i$ बहुपद हैं।

जबकि स्कोलेम-माहलर-लेच प्रमेय यह स्थापित करता है कि एक गैर-अपभ्रंश (non-degenerate) LRS के शून्यों का समुच्चय अंकगणितीय प्रगतियों (arithmetic progressions) का एक परिमित संघ है, यह निर्धारित करने की समस्या कि क्या ऐसा समुच्चय गैर-रिक्त है, अभी भी खुली हुई है। चार दशक पहले स्थापित अत्याधुनिक स्थिति (state of the art), बेकर के 'लॉग्स के रैखिक रूपों' (linear forms in logarithms) पर प्रमेय का उपयोग करते हुए, केवल अधिकतम क्रम 4 वाले पुनरावृत्तियों के लिए ही एक निर्णय प्रक्रिया (decision procedure) प्रदान करती है। सामान्य क्रमों के लिए, अपभ्रंश अनुक्रमों (degenerate sequences) के सामान्य मामले में समस्या अनिर्णय (undecidable) है, लेकिन गैर-अपभ्रंश मामला एक मौलिक खुला प्रश्न बना हुआ है, जिसे अक्सर "रैखिक ऑटोमेटा के लिए हैल्टिंग समस्या" के रूप में वर्णित किया जाता है।

2. कार्यप्रणाली: यूनिवर्सल स्कोलेम सेट्स और डायोफेंटाइन बाउंड्स

यह शोध पत्र यूनिवर्सल स्कोलेम सेट्स (Universal Skolem Sets) के ढांचे को अपनाता है, जिसे पूर्व कार्य [LOW21, LOW22] में पेश किया गया था। एक समुच्चय $S \subseteq \mathbb{N}$ एक यूनिवर्सल स्कोलेम सेट है यदि एक प्रभावी प्रक्रिया मौजूद है जो, एक गैर-डेजेनरेट LRS दिए जाने पर, इसके $S$ के भीतर स्थित शून्यों के परिमित समुच्चय की गणना कर सके। $\mathbb{N}$ को स्वयं एक यूनिवर्सल स्कोलेम सेट सिद्ध करना स्कोलेम समस्या को हल कर देगा।

लेखक एक विशिष्ट यूनिवर्सल स्कोलेम सेट $S$ का निर्माण एक नवीन स्थानांतरण सिद्धांत (transfer principle) का लाभ उठाकर करते हैं:

अभाजों द्वारा प्रतिनिधित्व: सेट $S$ उन पूर्णांकों $n$ से बना है जो $n = Pq + a $के रूप में कई निरूपणों को स्वीकार करते हैं, जहाँ$ P $और$ q$ अभाज (primes) हैं, और $a$ , $n$ के सापेक्ष छोटा है।
संगत समीकरण (Companion Equations): यदि ऐसे $n$ के लिए $u_n = 0$ है, तो बंद रूप में $n = Pq + a $को प्रतिस्थापित करने और फर्मा के लघु प्रमेय के सामान्यीकरण (फ्रोबेनियस ऑटोमॉर्फिज्म के माध्यम से) को लागू करने से एक "संगत समीकरण" प्राप्त होता है जिसका रूप$ \sum Q_i(a) \sigma(\alpha_i)^q \alpha_i^a = 0$ है।
समाधानों को सीमित करना: मुख्य तकनीकी नवाचार एक्सपोनेंशियल-पॉलीनोमियल डायोफेंटाइन समीकरणों के समाधानों की संख्या पर गहरे परिणामों (विशेष रूप से श्लिकवे, श्मिट, एमोरोसो और वियाडा से) का उपयोग करके इन संगत समीकरणों के समाधानों $(q, a)$ को सीमित करना है।
परिमाण स्थानांतरण (Magnitude Transfer): यह सुनिश्चित करके कि $S$ के तत्वों में कई निरूपण (विशेष रूप से एक धीरे-धीरे बढ़ने वाले फलन $\Phi(n)$ से अधिक) हों, लेकिन संगत समीकरण केवल एक सीमित संख्या में समाधान रख सकते हैं, लेखक किसी भी शून्य $n \in S$ के परिमाण पर एक स्पष्ट ऊपरी सीमा (upper bound) प्राप्त करते हैं। यदि $n$ इस सीमा से बड़ा होता, तो आवश्यक निरूपणों की संख्या संगत समीकरण के अधिकतम समाधानों से अधिक हो जाती, जो एक विरोधाभास है।

3. मुख्य योगदान

A. धनात्मक निचली घनत्व वाला यूनिवर्सल स्कोलेम सेट का निर्माण

यह शोध पत्र एक ऐसा सेट $S$ निर्मित करता है जो सभी गैर-डेजेनरेट LRS के लिए एक यूनिवर्सल स्कोलेम सेट है (पूर्व कार्य [LOW22] में पाए गए "सरल" LRS के प्रतिबंध को हटाते हुए)।

स्पष्ट सीमाएँ: लेखक दिए गए LRS के किसी भी शून्य के परिमाण पर एक स्पष्ट ऊपरी सीमा प्रदान करते हैं जो $S$ में स्थित है। यह सीमा केवल पुनरावृत्ति के क्रम $k$ और उसके गुणांकों की ऊंचाई (height) पर निर्भर करती है।
तकनीकी अनुकूलन: गैर-सरल LRS (जहाँ अभिलक्षणिक मूलों की बहुलता होती है) को संभालने के लिए, लेखक मौजूदा सीमाओं को सीधे उपयोग करने के बजाय [AV09, ESS02, SS00] से तकनीकों को अनुकूलित करते हैं। इसमें संगत समीकरणों में पदों की संख्या पर एक विस्तृत आगमन (induction) शामिल है, जिसमें समाधानों को अलग करने के लिए निरूपणों के गैर-सहसंबंध (non-correlation) का उपयोग किया जाता है।

B. घनत्व परिणाम

शोध पत्र निर्मित सेट $S$ के घनत्व को स्थापित करता है:

निर्वर्तित परिणाम (Unconditional Result): सेट $S$ की निचली घनत्व (lower density) कम से कम $1/8$ है। इसे मानक द्वि-आयामी ब्रुन-सेलबर्ग अपर-बाउंड सीव (Brun–Selberg upper-bound sieve) का उपयोग करके सिद्ध किया गया है।
सशर्त परिणाम (Conditional Result): मार्टिन के यूनिफॉर्म बेटमैन-हॉर्न अनुमान (परिकल्पना UH) के अधीन, सेट $S$ का घनत्व 1 है। यह परिकल्पना बहुपदों के तंत्र में अभाज मानों की आवृत्ति से संबंधित है और हार्डी-लिटिलवुड ट्विन प्राइम अनुमान का सामान्यीकरण करती है।

4. परिणाम और महत्व

प्राथमिक परिणाम प्रमेय 9 (Theorem 9) है, जो कहता है कि किसी भी क्रम $k$ के गैर-डेजेनरेट LRS के लिए, यदि $u_n = 0$ और $n \in S$ है, तो $n$ एक स्पष्ट फलन $T(k, A)$ द्वारा सीमित है, जहाँ $A$ प्रारंभिक पदों और गुणांकों का अधिकतम निरपेक्ष मान है। यह प्रभावी रूप से $S$ के उपसमुच्चय के लिए स्कोलेम समस्या को हल करता है।

लेखकों द्वारा दावा की गई सार्थकता:

नया दृष्टिकोण: यह शोध पत्र स्कोलेम समस्या के लिए एक नया दिशा-निर्देश प्रस्तावित करता: एक्सपोनेंशियल डायोफेंटाइन समीकरणों के समाधानों की बहुलता (multiplicity) पर ऊपरी सीमाओं को समाधानों के परिमाण (magnitude) पर ऊपरी सीमाओं में स्थानांतरित करना।
संख्या सिद्धांत से जुड़ाव: यह स्कोलेम समस्या की निर्णायकता (decidability) और अभाज संख्याओं के वितरण (विशेष रूप से बेटमैन-हॉर्न अनुमान) से संबंधित शास्त्रीय प्रश्नों के बीच एक ठोस संबंध स्थापित करता है, जो हाल के सशर्त निर्णायकता परिणामों [BLN+22] में उपयोग की जाने वाली $p$ -एडिक तकनीकों से भिन्न है।
निर्णायकता पर प्रगति: हालांकि यह सभी पूर्णांकों के लिए निर्वर्तित रूप से स्कोलेम समस्या को हल नहीं करता है, लेकिन एक सकारात्मक निचली घनत्व वाले यूनिवर्सल स्कोलेम सेट (और पूर्ण कवरेज के लिए बेटमैन-हॉर्न अनुमान के तहत घनत्व 1) का निर्माण समस्या के पूर्ण समाधान की दिशा में एक महत्वपूर्ण कदम है।

शोध पत्र निष्कर्ष निकालता है कि जबकि मानक ह्यूरिस्टिक्स सुझाव देते हैं कि $S$ में सभी पूर्णांक शामिल नहीं हैं (अभाज निरूपणों के बिना पूर्णांकों के अस्तित्व के कारण), सेट $S$ प्राकृतिक संख्याओं के एक "बड़े" हिस्से के लिए निर्णायक होने के लिए पर्याप्त घना है, जो पूर्ण कवरेज के लिए बेटमैन-हॉर्न अनुमान पर निर्भर है।