🔢 mathematics

S2a-reducibility and differentiation in Martin-Löf random reals

यह शोध पत्र टिटोव के अनुमान (Titov's conjecture) का खंडन करता है, यह सिद्ध करते हुए कि बार्मपेलियास-लुईस-पाई सीमा प्रमेय (Barmpalias-Lewis-Pye Limit Theorem) का अनुरूप, जो सोलोवे रिड्यूसिबिलिटी (Solovay reducibility) के लिए सन्निकटन अनुपातों (approximation ratios) के अभिसरण को स्थापित करता है, मार्टिन-लॉफ रैंडम वास्तविक संख्याओं (Martin-Löf random reals) के संदर्भ में S2a-रिड्यूसिबिलिटी के लिए लागू नहीं होता है।

मूल लेखक: Georgii Sirotenko, Ivan Titov

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

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

CC BY 4.0

मूल लेखक: Georgii Sirotenko, Ivan Titov

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

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

हाल ही में, जर्मनी और फ्रांस के शोधकर्ताओं की एक टीम ने इस तुलना प्रणाली की सीमाओं का परीक्षण करने के लिए एक व्यापक श्रेणी की संख्याओं पर इसे लागू करने का निर्णय लिया। वे S2a-रिड्यूसिबिलिटी नामक एक विशिष्ट विधि की जांच कर रहे थे, जिसे सरलतम संख्याओं के बजाय उन सभी संख्याओं पर तुलना के नियमों को विस्तारित करने के लिए डिज़ाइन किया गया था जिन्हें एक मशीन द्वारा अनुमानित किया जा सकता है। इस क्षेत्र के एक प्रमुख विचार ने सुझाव दिया था कि यदि आप एक वास्तव में रैंडम संख्या लेते हैं और इस नई विधि का उपयोग करके उसे अनुमानित करने का प्रयास करते हैं, तो आपकी निकट पहुँचने की गति एक स्थिर, अनुमानित लय में बस जाएगी। यह सोचा गया था कि आप उस संख्या की ओर अपना मार्ग चाहे जैसा भी चुनें, आपकी प्रगति का अनुपात अंततः एक एकल, निश्चित मान पर सुचारू होकर अभिसरित (converge) हो जाएगा। यह विचार इतना सम्मोहक था कि इसे इन जटिल संख्याओं के लिए एक मौलिक नियम के रूप में प्रस्तावित किया गया था, ठीक वैसे ही जैसे भौतिकी का कोई नियम किसी गिरती हुई वस्तु के व्यवहार को नियंत्रित करता है।

जॉर्जी सिरोटेंको और इवान टिटोव ने इस विचार का परीक्षण करने का निर्णय लिया। उन्होंने एक विशिष्ट, अत्यधिक जटिल रैंडम संख्या का निर्माण किया और फिर उस तक पहुँचने के लिए दो अलग-अलग "पथ" या फलन (functions) बनाए। एक पथ को बहुत सुचारू और व्यवस्थित रहने के लिए डिज़ाइन किया गया था, जबकि दूसरे को अधिक अनियमित होने की अनुमति दी गई थी। उनका लक्ष्य यह देखना था कि क्या प्रगति का अनुपात वास्तव में एक एकल संख्या पर स्थिर होगा, जैसा कि प्रचलित सिद्धांत ने भविष्यवाणी की थी। एक स्थिर लय खोजने के बजाय, उन्होंने कुछ बहुत अधिक अराजक खोजा। उन्होंने सिद्ध किया कि कुछ रैंडम संख्याओं के लिए, सन्निकटन की गति बिल्कुल भी स्थिर नहीं होती है। इसके बजाय, यह अनियंत्रित रूप से दोलन (oscillate) करती है, विभिन्न मूल्यों के बीच झूलती रहती है और कभी भी एक स्थिर औसत नहीं पा पाती। कुछ मामलों में, प्रगति का अनुपात बहुत धीमे से बहुत तेज़ होने के बीच झूलता रहेगा, और ऐसा हमेशा होता रहेगा।

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

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

तकनीकी सारांश: मार्टिन-लोफ़ रैंडम वास्तविक संख्याओं में S2a-रिड्यूसिबिलिटी और विभेदन (Differentiation)

समस्या विवरण
यह शोध पत्र इस बात पर चर्चा करता है कि जब सोलोवे रिड्यूसिबिलिटी ( $\le_S$ ) को लेफ्ट-सी.ई. (left-c.e.) वास्तविक संख्याओं के वर्ग से आगे बढ़ाकर व्यापक रूप से कंप्यूटेबली एप्रोक्सिमेबल (c.a.) वास्तविक संख्याओं तक विस्तारित किया जाता है, तो इसका व्यवहार कैसा होता है। जबकि सोलोवे रिड्यूसिबिलिटी ( $\le_S$ ) लेफ्ट-सी.ई. वास्तविक संख्याओं पर अच्छी तरह से समझी जा रही है—जहाँ यह सन्निकटन (approximations) के सापेक्ष अभिसरण की दर को स्पष्ट करती है और कुसेरा-स्लमन प्रमेय तथा बारम्पलिया-लुईस-प्ये लिमिट थ्योरम के माध्यम से मार्टिन-लोफ़ रैंडमनेस के साथ संरेखित होती है—सामान्य वास्तविक संख्याओं पर इसका विस्तार कम स्थिर है।

विशेष रूप से, यह शोध पत्र S2a-रिड्यूसिबिलिटी ( $\le_{2a}^S$ ) की जांच करता है, जो c.a. वास्तविक संख्याओं के लिए झेंग और रेटिंगर द्वारा प्रस्तुत एक संस्करण है। इस रिड्यूसिबिलिटी को ट्रांसलेशन फंक्शन इंटरवल्स $(f, h)$ के माध्यम से कार्यात्मक रूप से परिभाषित किया जाता है, जहाँ $f$ लोअर सेमीकंप्यूटेबल है, $h$ अपर सेमीकंप्यूटेबल है, $f \le h$ , और दोनों सोर्स रियल के सापेक्ष टारगेट रियल की ओर अभिसरित होते हैं।

केंद्रीय समस्या कंजेक्चर 24 (टिटोव [16] द्वारा प्रस्तावित) की वैधता है, जो यह प्रस्ताव देता है कि बारम्पलिया-लुईस-प्ये लिमिट थ्योरम S2a-रिड्यूसिबिलिटी के लिए भी लागू होती है। यह अनुमान लगाता है कि यदि $\beta$ एक मार्टिन-लोफ़ रैंडम c.a. रियल है और $\alpha \le_{2a}^S \beta$ एक फंक्शन इंटरवल $(f, h)$ के माध्यम से है, तो $x \to \beta$ होने पर अनुपात $\frac{\alpha - f(x)}{\beta - x}$ (और $h$ के लिए भी) एक सीमा $d$ की ओर अभिसरित होना चाहिए। इसके अतिरिक्त, यह अनुमान लगाया गया है कि $d \neq 0$ होगा यदि और केवल यदि $\alpha$ मार्टिन-लोफ़ रैंडम है।

कार्यप्रणाली (Methodology)
लेखक एक काउंटरएग्जांपल (counterexample) का निर्माण करके कंजेक्चर 24 को गलत सिद्ध करते हैं। कार्यप्रणाली में एक विशिष्ट मार्टिन-लोफ़ रैंडम रियल $\beta$ की ओर अभिसरित होने वाले एक कंप्यूटेबल एप्रोक्सिमेशन का चरण-दर-चरण निर्माण, और विशिष्ट ट्रांसलेशन फंक्शन इंटरवल्स की परिभाषा शामिल है।

$\beta$ का निर्माण: लेखक एक कंप्यूटेबल एप्रोक्सिमेशन $b_0, b_1, \dots$ का उपयोग करके एक मार्टिन-लोफ़ रैंडम रियल $\beta$ का निर्माण करते हैं जो एक यूनिवर्सल मार्टिन-लोफ़ टेस्ट से बचता है। महत्वपूर्ण रूप से, इस एप्रोक्सिमेशन को $\beta$ के पास "गैप्स" (gaps) बनाने के लिए डिज़ाइन किया गया है। विशेष रूप से, वे यह सुनिश्चित करते हैं कि अंतराल $[l_i, r_i]$ का एक अनुक्रम मौजूद है, जहाँ $\beta$ इन अंतरालों के सिरों के अत्यंत निकट है, लेकिन एप्रोक्सिमेशन अनुक्रम $b_n$ का कोई भी तत्व इन अंतरालों के भीतर नहीं आता है। इस गुण को लेम्मा 26 में औपचारिक रूप दिया गया है।
फंक्शन इंटरवल्स का निर्माण:
- केस 1 (सीमित लेकिन दोलनशील/Oscillating): $\beta$ से $0 $के लिए एक फंक्शन इंटरवल$ (-h, h) $का निर्माण किया गया है। फलन$ h(x) $को एप्रोक्सिमेशन अनुक्रम$ b_n $से$ x$ की दूरी के इन्फिममम (infimum) के रूप में परिभाषित किया गया है। यह फलन 1 के लिप्सचिट्ज़ निरंतरता (Lipschitz continuous) वाला है। लेखक प्रदर्शित करते हैं कि जबकि $\frac{|0 - h(x)|}{|\beta - x|}$ का अनुपात परिबद्ध (bounded) है, यह $x \to \beta$ होने पर दोनों ओर से 0 और 1 के बीच अनंत बार दोलन करता है, जिससे अभिसरण विफल हो जाता है।
- केस 2 (असीमित वृद्धि/Unbounded Growth): हाइपोग्राफ और एपिग्राफ द्वारा परिभाषित हाइपरग्राफ का उपयोग करके $\beta$ से $\beta$ के लिए एक फंक्शन इंटरवल $(\tilde{f}, \tilde{h})$ का निर्माण किया गया है। ये फलन नॉन-डिक्रीजिंग और सेमीकंप्यूटेबल हैं। लेखक दिखाते हैं कि $x \to \beta$ होने पर अनुपात $\frac{|\beta - \tilde{f}(x)|}{|\beta - x|}$ और $\frac{|\beta - \tilde{h}(x)|}{|\beta - x|}$ असीमित (unbounded) हैं।

मुख्य योगदान और परिणाम
प्राथमिक योगदान थ्योरम 25 की सिद्धि है, जो एक c.a. मार्टिन-लोफ़ रैंडम रियल $\beta$ और विशिष्ट फंक्शन इंटरवल्स के अस्तित्व को स्थापित करता है जो कंजेक्चर 24 की शर्तों का उल्लंघन करते हैं।

लिमिट थ्योरम का खंडन: यह शोध पत्र सिद्ध करता है कि बारम्पलिया-लुईस-प्ये लिमिट थ्योरम S2a-रिड्यूसिबिलिटी के लिए मान्य नहीं है। विशेष रूप से, निर्मित $\beta$ और फंक्शन इंटरवल $(-h, h)$ के लिए:
$\liminf_{x \to \beta} \left| \frac{0 - h(x)}{\beta - x} \right| = 0 < 1 = \limsup_{x \to \beta} \left| \frac{0 - h(x)}{\beta - x} \right|$
यह प्रदर्शित करता है कि एप्रोक्सिमेशन अनुपात अभिसरित नहीं होता है, जो इस अनुमान का खंडन करता है कि इसे एक डेरिवेटिव-जैसे स्थिरांक (constant) की ओर अभिसरित होना चाहिए।
परिबद्धता की विफलता (Failure of Boundedness): $(\tilde{f}, \tilde{h})$ का निर्माण दिखाता है कि $\beta$ से स्वयं $\beta$ के लिए रिडक्शन के मामले में भी, अनुपात असीमित हो सकता है, जो रैंडमनेस के संदर्भ में सोलोवे-प्रकार की रिड्यूसिबिलिटी से जुड़ी बाउंडेडनेस की आवश्यकता का उल्लंघन करता है।
स्पीडेबिलिटी (Speedability) के लिए निहितार्थ: लेखक (टिप्पणी 27 में) उल्लेख करते हैं कि ऐसे फंक्शन इंटरवल्स का अस्तित्व कार्यात्मक चरित्र चित्रण (functional characterizations) के आधार पर S2a-रिड्यूसिबिलिटी के लिए एक गैर-तुच्छ "स्पीडेबिलिटी" धारणा को पेश करने की संभावना को खारिज करता है, क्योंकि अभिसरण व्यवहार बहुत अनिश्चित (erratic) है।

महत्व और दावे
यह शोध पत्र इस प्रश्न को हल करने का दावा करता है कि क्या लेफ्ट-सी.ई. वास्तविक संख्याओं पर सोलोवे रिड्यूसिबिलिटी के मजबूत सीमा गुणों (strong limit properties) का विस्तार सभी c.a. वास्तविक संख्याओं पर S2a-रिड्यूसिबिलिटी के कार्यात्मक लक्षण के रूप में किया जा सकता है। लेखक निष्कर्ष निकालते हैं कि ऐसा नहीं किया जा सकता है।

विभेदन (Differentiation) बनाम रैंडमनेस: परिणाम संकेत देते हैं कि जब कंप्यूटेबल फंक्शन्स (रेशनल्स पर) से सेमीकंप्यूटेबल फंक्शन इंटरवल्स की ओर बढ़ते हैं, तो मार्टिन-लोफ़ रैंडमनेस और फंक्शन इंटरवल्स के विभेदन (differentiation) के बीच का संबंध नाजुक हो जाता है। जबकि टिटोव के पिछले कार्य ने दिखाया था कि बाउंडेड वेरिएशन फलन रैंडम बिंदुओं पर अवकलनीय (differentiable) होते हैं, S2a-रिड्यूसिबिलिटी का विशिष्ट कार्यात्मक लक्षण फंक्शन इंटरवल्स के माध्यम से ऐसे व्यवहारों (अनंत दोलन और असीमित वृद्धि) की अनुमति देता है जो एक अद्वितीय डेरिवेटिव को परिभाषित करने से रोकते हैं।
खुले प्रश्न: शोध पत्र विनम्रतापूर्वक कुछ खुले प्रश्न पहचानता है:
1. कौन से वास्तविक संख्या युग्म $(\alpha, \beta)$ वास्तव में एक ट्रांसलेशन फंक्शन इंटरवल को स्वीकार करते हैं।
2. क्या एक कमजोर रूप का लिमिट थ्योरम (जैसे, एक-तरफा विभेदन) लागू होता है।
3. क्या मार्टिन-लोफ़ रैंडमनेस को फंक्शन इंटरवल्स के विभेदन गुणों के माध्यम से अभिलक्षित (characterize) किया जा सकता है।
4. अन्य सोलोवे रिड्यूसिबिलिटी संस्करणों और मजबूत रैंडमनेस धारणाओं के बीच संबंधों की खोज करना।

लेखक इस बात पर जोर देते हैं कि उनका कार्य इस बात पर प्रकाश डालता है कि अनबाउंडेड या दोलनशील वृद्धि से रैंडमनेस टेस्ट के निर्माण के संबंध में कंप्यूटेबल फंक्शन्स और सेमीकंप्यूटेबल फंक्शन इंटरवल्स के व्यवहार में मौलिक अंतर है।

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