A Normality Conjecture on Rational Base Number Systems

यहाँ मेलोडी एंड्रिएउ, शालोम एलियाहू और लियो विवियन के शोध पत्र "A Normality Conjecture on Rational Base Number Systems" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण और संदर्भ

तर्कसंगत आधार संख्या प्रणाली (Rational Base Number Systems):
यह शोध पत्र $p/q$ (जहाँ $p > q \ge 1$ सह-अभाज्य पूर्णांक हैं) के तर्कसंगत आधार वाले संख्या तंत्रों की जांच करता है, जो शास्त्रीय पूर्णांक आधारों का एक सामान्यीकरण है। पूर्णांक आधारों के विपरीत, तर्कसंगत आधार जटिल, गैर-नियमित व्यवहार प्रदर्शित करते हैं। $p/q$ आधार में एक पूर्णांक $n$ के विस्तार को, जिसे $rep_{p/q}(n)$ कहा जाता है, $qn$के$p$ द्वारा यूक्लिडियन विभाजन से संबंधित एक "संशोधित विभाजन एल्गोरिदम" (MD एल्गोरिदम) के माध्यम से परिकलित किया जाता है।

न्यूनतम और अधिकतम शब्द (Minimal and Maximal Words):
इन प्रणालियों से स्वाभाविक रूप से दो विशिष्ट अनंत शब्द उभरते हैं:

• न्यूनतम शब्द ($w_{min}$): ऐसे अनंत शब्द जहाँ प्रत्येक प्रीफिक्स (prefix) एक बीज पूर्णांक $u$ का लेक्सिकोग्राफिकल रूप से सबसे छोटा विस्तार है जो एक वैध पूर्णांक विस्तार बना रहता है।
• अधिकतम शब्द ($w_{max}$): ऐसे अनंत शब्द जहाँ प्रत्येक प्रीफिक्स ऐसे विस्तार का लेक्सिकोग्राफिकल रूप से सबसे बड़ा विस्तार है।

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

• कंजेक्चर 1.2: $q > 1$ के लिए, प्रत्येक न्यूनतम शब्द (खाली शब्द बीज को छोड़कर) उप-वर्णमाला $\{0, \dots, q-1\}$ पर सामान्य (normal) है। इसी प्रकार, प्रत्येक अधिकतम शब्द $\{p-q, \dots, p-1\}$ पर सामान्य है।
• सामान्यता (Normality) की परिभाषा: एक अनंत शब्द $d$-ary वर्णमाला पर सामान्य होता है यदि लंबाई $l$ का प्रत्येक परिमित उप-शब्द $1/d^l$ की सीमित आवृत्ति (limiting frequency) के साथ प्रकट होता है।

2. कार्यप्रणाली

लेखक एक दोहरा दृष्टिकोण अपनाते हैं जिसमें कठोर सैद्धांतिक प्रमाण और व्यापक संख्यात्मक प्रयोगों का संयोजन है।

A. सैद्धांतिक ढांचा

1. कंजक्चरों की तुल्यता: लेखक न्यूनतम शब्दों की सामान्यता और एक पुनरावृत्त ऑपरेटर (iterated operator) के सम-वितरण (equidistribution) के बीच एक संबंध स्थापित करते हैं।
   • वे एक ऑपरेटर $T_{p/q}(x) = \lceil \frac{p}{q}x \rceil$ को परिभाषित करते हैं।
   • प्रमेय 1.7: कंजेक्चर 1.2 (सामान्यता) कंजेक्चर 1.6 के तुल्य है, जो यह कहता है कि अनुक्रम $(T^l_{p/q}(n))_{l \in \mathbb{N}}$ सभी $k$ के लिए $q^k$ के अवशेष वर्गों (residue classes) में सम-वितरित है।
2. खुली समस्याओं के निहितार्थ: लेखक सिद्ध करते हैं कि यदि उनका नॉर्मलिटी कंजेक्चर सत्य है, तो यह चार लंबे समय से चले आ रहे खुले प्रश्नों की सत्यता को दर्शाता है:
   • माहलर के Z-संख्याएँ (1968): वास्तविक संख्याओं $x$ के अस्तित्व का अभाव जहाँ $\{x(p/q)^n\} \in [0, 1/q)$ हो।
   • अकियामा का ट्रिपल एक्सपेंशन (2008): कोई भी वास्तविक संख्या $p/q$ के तर्कसंगत आधार में तीन अलग-अलग विस्तारों को स्वीकार नहीं करती है।
   • डूबिकस-मोसिंगहॉफ '4/3 समस्या' (2009): पूर्णांकों पर विशिष्ट पुनरावृत्त मानचित्रों (iterated maps) का समापन।
   • कोलेट्स-जैसे डायनेमिक्स (Collatz-like dynamics): कोलेट्स मैप के प्रक्षेप पथों (trajectories) के वितरण के साथ संबंध।

B. संख्यात्मक प्रयोग

कंजेचर का समर्थन करने के लिए, लेखकों ने विभिन्न आधारों ($2 \le q < p \le 26$) में 139 न्यूनतम शब्दों (लंबाई $10^6$ तक) और 40,000 न्यूनतम शब्दों (लंबाई $10^5$ तक) पर व्यापक कम्प्यूटेशनल प्रयोग किए।

उन्होंने दो प्रमुख मेट्रिक्स को मापा:

1. समृद्धि सीमा ($rt_w$ - Richness Threshold): वह लंबाई $L$ जिस पर लंबाई $l$ के सभी संभावित उप-शब्द पहली बार एक शब्द में प्रकट होते हैं। एक शब्द "समृद्ध" (rich) है यदि यह सीमा $l$ के लिए परिमित है। समृद्धि, सामान्यता के लिए एक आवश्यक शर्त है।
2. एकरूपता से विचलन (Discrepancy): लंबाई $l$ के किसी भी उप-शब्द की अनुभवजन्य आवृत्ति (empirical frequency) और लंबाई $n$ के प्रीफिक्स में अपेक्षित समान आवृत्ति ($1/q^l$) के बीच का अधिकतम अंतर।

प्रायोगिक डेटा की तुलना निम्नलिखित से की गई:

• यादृच्छिक $q$-ary शब्द (जो सामान्य होते हैं)।
• प्रसिद्ध अनुमानित सामान्य संख्याएँ (जैसे आधार $q$ में $\pi$ और $\sqrt{2}$ के विस्तार)।
• संरचित सामान्य शब्द (चैम्परनाउनेस और डी ब्रुइन शब्द) ताकि उनके व्यवहार के अंतर को उजागर किया जा सके।

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

1. नॉर्मलिटी कंजेक्चर का प्रतिपादन: यह शोध पत्र औपचारिक रूप से यह अनुमान लगाता है कि तर्कसंगत आधारों में न्यूनतम और अधिकतम शब्द विशिष्ट उप-वर्णमालाओं पर सामान्य होते हैं, जो कि इन विशिष्ट श्रेणियों के शब्दों के लिए पहले अनिर्धारित और अप्रलेखित था।
2. सैद्धांतिक एकीकरण: प्रमेय 1.7 का प्रमाण शब्द की सामान्यता के कॉम्बिनेटरियल गुण और अवशेष वर्गों में अनुक्रम के सम-वितरण के बीच एक शक्तिशाली तुल्यता प्रदान करता है।
3. निहितार्थों का समाधान: लेखक प्रदर्शित करते हैं कि उनका कंजेक्चर एक "मजबूत" कथन है जो कई प्रसिद्ध कंजेचरों (माहलर, अखियामा, डूबिकस-मोसिंगहॉफ) को समाहित करता है। उदाहरण के लिए, वे दिखाते हैं कि यह सिद्ध करना कि न्यूनतम शब्दों में अंक '0' शामिल है (जो सामान्यता द्वारा निहित एक कमजोर स्थिति है), ट्रिपल एक्सपेंशन के अस्तित्व को गलत सिद्ध करने के लिए पर्याप्त है।
4. व्यापक अनुभवजन्य साक्ष्य: यह पत्र तर्कसंगत आधार न्यूनतम शब्दों का पहला बड़े पैमाने पर सांख्यिकीय विश्लेषण प्रदान करता है, जो दिखाता है कि उनके सांख्यिकीय गुण यादृच्छिक अनुक्रमों के समान हैं।

4. परिणाम

सैद्धांतिक परिणाम

• तुल्यता: न्यूनतम शब्दों की सामान्यता सीलिंग ऑपरेटर $T_{p/q}$ द्वारा उत्पन्न अनुक्रम के सम-वितरण के गणितीय रूप से तुल्य है।
• Z-संख्याओं के लिए निहितार्थ: यदि न्यूनतम शब्द सामान्य हैं, तो $p < q^2$ के लिए, कोई $Z_{p/q}$-संख्या मौजूद नहीं है। यह प्रमाण इस तथ्य पर आधारित है कि एक सामान्य शब्द में उप-शब्द $(q-1)(q-1)$ होना चाहिए, जो $Z_{p/q}$-संख्या के अस्तित्व के विरुद्ध विरोधाभास पैदा करता है।
• ट्रिपल एक्सपेंशन: सामान्यता यह निहित करती है कि कोई भी शब्द एक साथ न्यूनतम और अधिकतम नहीं हो सकता (क्योंकि वे अलग-अलग वर्णमालाओं का उपयोग करते हैं, केवल '0' को छोड़कर जो न्यूनतम शब्दों में होना चाहिए)। यह अखियामा के कंजेचर की पुष्टि करता है कि कोई भी वास्तविक संख्या तीन विस्तारों को नहीं रखती है।

संख्यात्मक परिणाम

• समृद्धि (Richness): गणना किए गए न्यूनतम शब्द समृद्ध पाए गए। न्यूनतम शब्दों के लिए समृद्धि सीमाएँ यादृच्छिक $q$-ary शब्दों के सांख्यिकीय वितरण के भीतर थीं। उन्होंने चैम्परनाउनेस जैसे संरचित शब्दों में देखे गए अत्यधिक विलंब को प्रदर्शित नहीं किया।
• विचलन (Discrepancy): न्यूनतम शब्दों के लिए एकरूपता से विचलन ($D_{w,l}(n)$) $n$ के बढ़ने के साथ कम होता गया, जो यादृच्छिक अनुक्रमों के विशिष्ट $O(\sqrt{\log \log n} / \sqrt{n})$ के एसिम्प्टोटिक दर का अनुसरण करता है।
• वितरण आकार: समृद्धि सीमाओं और विचलनों का वितरण यादृच्छिक शब्दों में देखे गए पॉइसन-जैसे (Poisson-like) वितरणों से निकटता से मेल खाता है।
• विभेदन: चैम्परनाउनेस शब्दों (जिनमें विशिष्ट उप-शब्दों के लिए बहुत उच्च समृद्धि सीमा होती है) या डी ब्रुइन शब्दों (जिनमें नियत संरचनाएं होती हैं) के विपरीत, तर्कसंगत आधारों में न्यूनतम शब्द सांख्यिकीय रूप से यादृच्छिक शोर (random noise) की तरह व्यवहार करते हैं।

5. महत्व

यह शोध पत्र संख्या प्रणाली और शब्दों के कॉम्बिनेटरिक्स के सिद्धांत में एक महत्वपूर्ण प्रगति है:

• क्षेत्रों को जोड़ना: यह तर्कसंगत आधार संख्या प्रणालियों के अध्ययन को गहन विश्लेषणात्मक संख्या सिद्धांत (fractional parts का वितरण) और गतिशील प्रणालियों (Collatz-like maps) के साथ जोड़ता है।
• सामान्यता पर नया दृष्टिकोण: यह सुझाव देता है कि तर्कसंगत आधार विस्तार जैसे "अराजक" (chaotic) तंत्र स्वाभाविक रूप से सामान्य अनुक्रम उत्पन्न करते हैं, जो इस धारणा को चुनौती देता है कि सामान्यता के लिए कृत्रिम निर्माण (जैसे चैम्परनाउनेस स्थिरांक) की आवश्यकता होती है।
• खुले प्रश्नों का समाधान: एक नॉर्मलिटी कंजेचर के रूप में समस्या को फ्रेम करके, लेखक कई स्वतंत्र, दशकों पुराने कंजेचरों के लिए एक एकीकृत मार्ग प्रदान करते हैं। यदि इस कंजेचर को सिद्ध कर दिया जाता है, तो यह तुरंत Z-संख्याओं और ट्रिपल एक्सपेंशन के अस्तित्व को हल कर देगा।
• कम्प्यूटेशनल बेंचमार्क: व्यापक डेटासेट और कार्यप्रणाली (समृद्धि सीमा, विचलन विश्लेषण) निर्धारित एल्गोरिदम द्वारा उत्पन्न अनंत शब्दों के सांख्यिकीय गुणों का विश्लेषण करने के लिए एक नया मानक स्थापित करती है।

निष्कर्षतः, लेखक एक सम्मोहक मामला प्रस्तुत करते हैं कि तर्कसंगत आधार प्रणालियों में न्यूनतम और अधिकतम शब्द न केवल जटिल हैं, बल्कि सामान्य हैं, जो सांख्यिकीय रूप से यादृच्छिक अनुक्रमों की तरह व्यवहार करते हैं। यह परिकल्पना, यदि सिद्ध हो जाती है, तो कई प्रमुख गणितीय समस्याओं को एकीकृत और हल कर देगी।