🔢 mathematics

Aperiodicity and subword complexity in the binary expansion of powers of three

यह शोध पत्र स्थापित करता है कि तीन की घातों के बाइनरी विस्तार (binary expansions) बढ़ती आवधिकता-रहितता (aperiodicity) प्रदर्शित करते हैं, जिसमें आवधिकता-भंग करने वाले स्थानों की संख्या $\log m/\log\log m$ के रूप में बढ़ती है, और यह प्रदर्शित करता है कि उनके निम्न-क्रम के अंक पर्याप्त बड़े घातांकों के लिए पूर्ण उपशब्द जटिलता (subword complexity) प्राप्त कर लेते हैं।

मूल लेखक: Ralf Stephan

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

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

CC0 1.0

मूल लेखक: Ralf Stephan

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

संख्याओं का गुप्त जीवन: बाइनरी पैटर्न की एक यात्रा

कल्प diजिये कि आप एक जासूस हैं जो एक अराजक शहर में पैटर्न खोजने की कोशिश कर रहे हैं। गणित की दुनिया में, यह शहर संख्या प्रणाली है, और अराजकता वह तरीका है जिससे संख्याएँ अलग-अलग भाषाओं में लिखी जाने पर दिखाई देती हैं। हम आमतौर पर "डेसिमल" (दशमलव) भाषा बोलते हैं, जिसमें दस अंक (0 से 9 तक) होते हैं, लेकिन कंप्यूटर "बाइनरी" (द्विआधारी) बोलते हैं, जो केवल दो अंकों: 0 और 1 से बनी एक भाषा है। जब आप 3 जैसी संख्या को बार-बार खुद से गुणा करते हैं (3, 9, 27, 81, इत्यादि), तो आपको संख्याओं का एक ऐसा क्रम मिलता है जो बहुत तेज़ी से विशाल होता जाता है। यदि आप इन विशाल संख्याओं को बाइनरी में लिखते हैं, तो वे शून्य और एक की लंबी, ऊबड़-खाबड़ कतारों की तरह दिखती हैं।

गणितज्ञ लंबे समय से सोचते आए हैं: क्या शून्य और एक की ये कतारें एक छिपी हुई लय का पालन करती हैं, या वे पूरी तरह से यादृच्छिक (random) हैं? यह प्रश्न "नंबर थ्योरी" (संख्या सिद्धांत) के क्षेत्र से संबंधित है, जो पूर्ण संख्याओं के गहरे, अक्सर रहस्यमय गुणों का अध्ययन करता है। यहाँ एक प्रमुख विचार "पीरियडिसिटी" (आवर्तता) का है। एक आवर्ती पैटर्न को वॉलपेपर डिज़ाइन की तरह समझें जो हर कुछ इंच के बाद एक ही फूल को दोहराता है। यदि किसी संख्या का बाइनरी कोड आवर्ती होता, तो इसका अर्थ होता कि एक निश्चित बिंदु के बाद, शून्य और एक का पैटर्न खुद को पूरी तरह से दोहराना शुरू कर देगा, जैसे कि एक गाने का लूप पर चलना। एक अन्य महत्वपूर्ण अवधारणा "कॉम्प्लेक्सिटी" (जटिलता) है, जो यह मापती है कि पैटर्न के कितने अलग-अलग छोटे हिस्से मौजूद हैं। यदि कोई स्ट्रिंग सरल है, तो उसमें कम अलग-अलग हिस्से होंगे; यदि यह जटिल है, तो उसमें बहुत अधिक विविधता होगी। इन पैटर्न को समझना हमें यह देखने में मदद करता है कि क्या तीन की घातों (powers of three) जैसी संख्याएँ वास्तव में अराजक हैं या वे एक गुप्त व्यवस्था छिपाए हुए हैं जिसे हमने अभी तक नहीं खोजा है।

शोध पत्र की खोज: बाइनरी कोड में अराजकता

इस शोध पत्र में, गणितज्ञ राल्फ स्टीफन तीन की घातों ( $3^m$ ) के बाइनरी विस्तार की जांच करते हैं। वह एक बहुत ही विशिष्ट प्रश्न पूछते हैं: जैसे-जैसे ये संख्याएँ बड़ी होती जाती हैं, क्या उनके बाइनरी अंक अंततः एक दोहराव वाले लूप में स्थिर हो जाते हैं, या वे अव्यवस्थित और अप्रत्याशित बने रहते हैं?

यह शोध पत्र दो मुख्य बातों को सिद्ध करता है, जो दोनों इस बात की पुष्टि करते हैं कि तीन की घातों का बाइनरी कोड सुखद रूप से अराजक है और सरल दोहराव द्वारा वश में होने से इनकार करता है।

पहला, "नो-लूप" (कोई लूप नहीं) नियम:
लेखक यह सिद्ध करता है कि किसी भी निश्चित दोहराव वाले पैटर्न के लिए जिसे आप खोजने की कोशिश कर सकते हैं (मान लीजिए, एक पैटर्न जो हर 5 अंकों में या हर 100 अंकों में दोहराता है), तीन की घात का बाइनरी कोड उस पैटर्न को अंततः तोड़ देगा। यह वैसा ही है जैसे आप एक जंगली जानवर को एक आदर्श घेरे में चलने के लिए मजबूर करने की कोशिश कर रहे हों; आप चाहे कितनी भी देर प्रतीक्षा करें, जानवर अंततः लाइन से बाहर कदम रख ही देगा। शोध पत्र दिखाता है कि जैसे-जैसे घात $m$ बढ़ती है, इस आवर्तता को "तोड़ने" की संख्या बढ़ती जाती है। विशेष रूप से, इन ब्रेक्स की संख्या लगभग $\frac{\log m}{\log \log m}$ की तरह बढ़ती है।

एक उपमा का उपयोग करने के लिए: कल्पना कीजिए कि $3^m$ के बाइनरी अंक नर्तकों की एक लंबी पंक्ति हैं। यदि आप उन्हें एक दोहराव वाले कदम (एक अवधि) में नाचने के लिए मजबूर करते हैं, तो शोध पत्र सिद्ध करता है कि पंक्ति जितनी लंबी होती जाएगी, उतने ही अधिक नर्तक अनिवार्य रूप से कदम गलत करेंगे। शोध पत्र गणना करता है कि जैसे-जैसे संख्या बड़ी होती है, "गलतियों" की संख्या बढ़ती जाती है, जिसका अर्थ है कि नृत्य कभी भी एक आदर्श, उबाऊ लूप में नहीं settles होता। यहाँ तक कि यदि आप नृत्य के फर्श के एक ऐसे हिस्से को देखते हैं जो $m$ के लघुगणक (logarithm) की एक निश्चित घात जितना गहरा है, तो भी आप एक आदर्श दोहराव वाला पैटर्न नहीं पाएंगे।

दूसरा, "मैक्सिमम वैरायटी" (अधिकतम विविधता) नियम:
दूसरी खोज इस बारे में है कि बाइनरी कोड के कितने अलग-अलग "टुकड़े" (chunks) मौजूद हैं। यदि आप बाइनरी स्ट्रिंग का एक छोटा सा हिस्सा लेते हैं (मान लीजिए 10 अंक लंबा), तो आप 0 और 1 के कितने अलग संयोजन पा सकते हैं? शोध पत्र सिद्ध करता है कि तीन की पर्याप्त बड़ी घातों के लिए, $n$ लंबाई के विभिन्न टुकड़ों की संख्या कम से कम $n + 1$ है।

रोजमर्रा के शब्दों में, इसका अर्थ है कि बाइनरी कोड निचले स्तर पर "मैक्सिमली कॉम्प्लेक्स" (अधिकतम जटिल) है। यह केवल यादृच्छिक नहीं है; यह समृद्ध यादृच्छिक है। यदि आपके पास $n$ लंबाई की एक स्ट्रिंग है, तो सबसे सरल संभव पैटर्न (जैसे एक आदर्श लूप) में केवल $n$ अलग-अलग टुकड़े होंगे। लेकिन $3^m$ में कम से कम $n + 1$ टुकड़े हैं। यह ताश की एक ऐसी गड्डी की तरह है जो, चाहे आप उसे कैसे भी फेंट लें, हमेशा "उबाऊ" माने जाने के लिए आवश्यक न्यूनतम से एक अधिक अद्वितीय हाथ बनाने में सक्षम रहती है। यह सिद्ध करता है कि $3^m$ के निम्न-क्रम के अंक जितने संभव हो सके उतने विविध और अप्रत्याशित हैं।

हम कितने आश्वस्त हैं?
लेखक इन परिणामों को लेकर अत्यंत आश्वस्त हैं। शोध पत्र केवल अनुमान या सिमुलेशन नहीं लगाता है; यह एक कठोर गणितीय प्रमाण प्रदान करता है। इसका तर्क "लीनियर फॉर्म्स इन लॉगारिदम" (logarithms में रैखिक रूप) नामक एक शक्तिशाली उपकरण पर निर्भर करता है, जो एक गणितीय आवर्धक लेंस की तरह कार्य करता है ताकि यह दिखाया जा सके कि यदि पैटर्न सरल होते, तो संख्याएँ असंभव रूप से छोटी या विरोधाभासी होतीं। शोध पत्र यह भी उल्लेख करता है कि इन प्रमाणों को 'Lean 4' नामक एक कंप्यूटर प्रोग्राम द्वारा औपचारिक रूप से सत्यापित किया गया है, जो त्रुटियों को सुनिश्चित करने के लिए प्रत्येक तार्किक चरण की दोबारा जाँच करता है। इसलिए, हम निश्चित हो सकते हैं कि तीन की घातों का बाइनरी विस्तार एरियोडिक (अ-आवर्ती) है और इसमें पूर्ण सबवर्ड जटिलता (full subword complexity) है।

संक्षेप में, शोध पत्र हमें बताता है कि तीन की घातें संख्याओं की दुनिया में परम विद्रोही हैं। वे एक अनुमानित लय में ढलने से इनकार करती हैं, और उनका बाइनरी कोड अद्वितीय, गैर-दोहराव वाले पैटर्न का एक खजाना है जो संख्याएँ बढ़ने के साथ अधिक जटिल होता जाता है।

तकनीकी सारांश: $3$ की घातों के बाइनरी विस्तार में आवधिकताहीनता (Aperiodicity) और उपशब्द जटिलता (Subword Complexity)

समस्या विवरण
यह शोध पत्र $3^m$ के पूर्णांकों के बाइनरी अंकों के सूक्ष्म संरचनात्मक गुणों की जांच करता है। जबकि पिछले कार्यों ने यह स्थापित किया था कि गैर-शून्य बाइनरी अंकों की संख्या ( $s_2(3^m)$ ) और "ब्लॉक" (समान अंकों के अधिकतम रन) $m$ बढ़ने के साथ अनंत की ओर बढ़ते हैं, ये परिणाम अंकों की व्यवस्था को पूरी तरह से स्पष्ट नहीं करते हैं। विशेष रूप से, यह शोध पत्र दो कमियों को संबोधित करता है:

आवधिकताहीनता (Aperiodicity): क्या $3^m$ के बाइनरी विस्तार में लंबे आवधिक पैटर्न (आवर्त $p$ के रन) मौजूद होते हैं? पिछले परिणामों ने लंबे स्थिर रन (आवर्त $p=1$ ) को खारिज कर दिया था, लेकिन निश्चित आवर्त $p > 1$ के लिए व्यवहार अज्ञात था।
उपशब्द जटिलता (Subword Complexity): क्या $3^m$ के निम्न-क्रम (low-order) के अंकों से बने परिमित बाइनरी शब्द में "पूर्ण" जटिलता प्रदर्शित होती है? अनंत शब्दों के संदर्भ में, मोर्स-हेडlund प्रमेय (Morse–Hedlund theorem) कहता है कि यदि उपशब्द जटिलता $p(n) \le n$ है, तो वह अंततः आवधिक होती है। यह शोध पत्र यह निर्धारित करने का प्रयास करता है कि क्या $3^m$ का परिमित शब्द अपनी लंबाई के लिए निचली सीमा $p_{3^m}(n) \ge n+1$ को संतुष्ट करता है, जो प्रभावी रूप से यह सिद्ध करता है कि यह अपनी लंबाई के भीतर बहुत "सरल" या आवधिक नहीं है।

कार्यप्रणाली
प्रमाण ट्रांसेंडेंटल नंबर थ्योरी (transcendental number theory) और संयोजन संबंधी शब्द विश्लेषण (combinatorial word analysis) के संयोजन पर आधारित हैं:

लॉगारिदम में रैखिक रूप (Linear Forms in Logarithms): मुख्य इंजन बीजगणिक संख्याओं के लॉग के रैखिक रूपों के संबंध में बेकर और वुस्टहोल्ज़ (Baker and Wüstholz) का प्रभावी प्रमेय है। यह शोध पत्र "गैप सिद्धांतों" (gap principles) को स्थापित करने के लिए इस पर निर्भर करता है। तर्क इस प्रकार है: यदि $3^m$ $3^{m}$ के बाइनरी विस्तार में एक लंबा आवधिक खंड मौजूद है, तो यह एक विशिष्ट पूर्णांक पहचान को मजबूर करता है जो 2, 3 और सहायक पूर्णांकों के लॉग के एक गैर-शून्य रैखिक रूप $\Lambda$ $Λ$ की ओर ले जाता है। बेकर-वुस्टहोल्ज़ प्रमेय $\Lambda$ $Λ$ के मान पर एक निचली सीमा प्रदान करता है, जो एक लंबे आवधिक विंडो की उपस्थिति से उत्पन्न होने वाली लघुता (smallness) का खंडन करता है।
- नवीनता: यह शोध पत्र एक नया आवर्त- $p$ रन अनुमान (लेम्मा 2.2) प्रस्तुत करता है। जहाँ शास्त्रीय परिणाम स्थिर रन को सीमित करने के लिए तीन-पद वाले रैखिक रूपों का उपयोग करते हैं, वहीं यह कार्य किसी भी निश्चित आवर्त $p$ के आवधिक रन को सीमित करने के लिए एक चार-पद वाले रैखिक रूप को व्युत्पन्न करता है।
संयोजन संबंधी प्रसार (Combinatorial Propagation): उपशब्द जटिलता को संबोधित करने के लिए, यह शोध पत्र मोर्स-हेडlund प्रमेय के एक परिमित मात्रात्मक संस्करण (लेम्मा 4.1) का उपयोग करता है। यह लेम्मा स्थापित करता है कि यदि किसी शब्द की उपशब्द जटिलता कम है (लंबाई $n$ के अधिकतम $n$ भिन्न कारक), तो उसमें एक लंबा आवधिक कारक अवश्य होगा। इस आवधिक कारक को फिर आवर्त- $p$ रन अनुमान में डाला जाता है ताकि बड़े $m$ के लिए विरोधाभास प्राप्त किया जा सके।
औपचारिक सत्यापन (Formal Verification): शोध पत्र के सभी प्रमेयों और लेम्मा को Lean 4 प्रूफ़ असिस्टेंट का उपयोग करके औपचारिक रूप से सत्यापित किया गया है।

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

1. आवर्त- $p$ रन की आवधिकताहीनता (प्रमेय A)
यह शोध पत्र सिद्ध करता है कि किसी भी निश्चित आवर्त $p \ge 1$ के लिए, $3^m$ के बाइनरी विस्तार में उन स्थितियों की संख्या, जहाँ $p$ -आवर्तता टूटती है, जिसे $B_p(3^m)$ द्वारा दर्शाया गया है, स्पर्शोन्मुख रूप से (asymptotically) बढ़ती है।

परिणाम: $B_p(3^m) \ge \frac{\log m}{\log \log m + C_p} - 2$ जहाँ $C_p > 0$ एक स्थिरांक है।
निहितार्थ: $3^m$ के बाइनरी विस्तार का कोई भी विंडो, जो $\log m$ की एक निश्चित घात से अधिक गहरा है, $p$ -आवधिक नहीं हो सकता। यह ज्ञात परिणाम (जो $p=1$ के लिए है: ब्लेकस्मिथ-फिलासेटा-निकोलो; बुगेउड-कानेको) को सभी निश्चित आवर्तों के लिए सामान्यीकृत करता है।

2. पूर्ण निम्न-क्रम उपशब्द जटिलता (प्रमेय B)
यह शोध पत्र $3^m$ के निम्न-क्रम के अंकों से बने परिमित बाइनरी शब्द की उपशब्द जटिलता पर निचली सीमा स्थापित करता है।

परिणाम: प्रत्येक लंबाई $n \ge 1$ के लिए, जटिलता फलन $n+1$ के लिए पर्याप्त बड़े $m$ हेतु $p_{3^m}(n) \ge n + 1$ को संतुष्ट करता है।
सीमा (Threshold): $m$ का थ्रेशोल्ड प्रभावी है। यह तब होता है जब $3^m$ के अंकों की रैखिक वृद्धि $M(3^m) \approx m \log_2 3$ , आवर्त- $p$ रन अनुमान से प्राप्त $n^2 \log m$ के क्रम के एक बंधन को पार कर जाती है।
निहितार्थ: $3^m$ का परिमित शब्द अंततः आवधिक नहीं है (अर्थात इसकी जटिलता कम नहीं है); इसमें अपनी लंबाई के सापेक्ष "पूर्ण" जटिलता है, जो आवधिकता को रोकने वाली स्थिति को संतुष्ट करती है।

महत्व और दावे
लेखक का दावा है कि ये परिणाम $3$ की घातों के बाइनरी अंकों के वितरण की समझ को दो विशिष्ट दिशाओं में मजबूत करते हैं:

ज्ञात सीमाओं का विस्तार: जबकि स्टुअर्ट के प्रमेय और उसके बाद के कार्यों ने स्थापित किया कि $3^m$ में कम विरल अंक (sparse digits) और कई ब्लॉक होते हैं, यह शोध पत्र आवधिकताहीनता के परिणाम को केवल स्थिर रन तक ही नहीं, बल्कि किसी भी निश्चित आवर्त $p$ तक विस्तृत करता है।
परिमित बनाम अनंत संदर्भ: यह शोध पत्र बीजगणिक अपरिमेय संख्याओं (जिनका विस्तार अनंत होता है) के अध्ययन से अपने योगदान को अलग करता है। यह विशेष रूप से एकल घात $3^m$ के परिमित शब्द के लिए अंक परिवर्तन और उपशब्द जटिलता पर पहला मात्रात्मक परिणाम प्रदान करता है।
इष्टतमता (Optimality): प्रमेय B को $3^m$ के परिमित अंक शब्द के लिए मोर्स-हेडlund प्रमेय के अनुरूप के रूप में प्रस्तुत किया गया है, जो "रैखिक-रूप इष्टतम" (linear-forms optimum) पर स्थित है। शोध पत्र नोट करता है कि प्रति-शब्द सुपरलीनियर (superlinear) जटिलता को सिद्ध करना एक अलग, कठिन प्रश्न है जिसे यहाँ संबोधित नहीं किया गया है।

यह कार्य बेकर के सिद्धांत (Baker's theory) के माध्यम से $3^m$ के अंकगणितीय गुणों और इसके अंक स्ट्रिंग की संयोजन संबंधी संरचना के बीच परस्पर क्रिया पर निर्भर करता है, जो इन संख्याओं में निहित "अव्यवस्था" या आवधिकताहीनता पर प्रभावी निचली सीमाएँ प्रदान करता है।

संख्याओं का गुप्त जीवन: बाइनरी पैटर्न की एक यात्रा

शोध पत्र की खोज: बाइनरी कोड में अराजकता

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