🔢 mathematics

Beatty solutions of almost Golomb equations

यह शोधपत्र क्रम-2 लगभग गोलोम्ब (Golomb) समीकरण के दूसरे एकदिष्ट समाधान के रूप में $1/\sqrt{2}$ ढाल वाले एक विषम बीटी (Beatty) अनुक्रम के अस्तित्व और अद्वितीयता को स्थापित करता है, जो मापदंडों के एक निरंतर परिवार में इसकी वैधता को अभिलक्षणित करता है और विभिन्न विंडो आकारों के लिए पहचान को सत्यापित करता है, जबकि सम पूर्ण वर्गों के लिए इसकी विफलता को भी नोट करता है।

मूल लेखक: Benoit Cloitre

प्रकाशित 2026-04-14

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

CC BY 4.0

मूल लेखक: Benoit Cloitre

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

कल्पना कीजिए कि आप ब्लॉकों का एक टॉवर बनाने की कोशिश कर रहे हैं, लेकिन आपको एक अजीब नियम का पालन करना है: एक विशिष्ट स्थान पर आपके द्वारा रखे जाने वाले ब्लॉक की ऊँचाई पिछले दो ब्लॉकों की ऊँचाइयों के योग पर निर्भर करती है।

यह "अल्मोस्ट गोलम्ब समीकरण" (Almost Golomb Equation) के मूल पहेली का केंद्र है। यह सुनने में सरल लगता है, लेकिन यह एक स्व-संदर्भित लूप (self-referential loop) है: यह जानने के लिए कि अगला ब्लॉक कहाँ रखना है, आपको पिछले ब्लॉकों की ऊँचाइयों को जानना होगा, लेकिन वे ऊँचाइयाँ ही निर्धारित करती हैं कि आप कहाँ देख रहे हैं। यह एक ऐसी कहानी लिखने जैसा है जहाँ अध्याय 10 की कहानी अध्याय 5 के उस वाक्य पर निर्भर करती है जिसे आपने अभी तक लिखा ही नहीं है।

दशकों तक, गणितज्ञों को इसे हल करने का एक तरीका पता था: "ग्रीडी" (Greedy) विधि। यह एक ऐसे बच्चे की तरह है जो टॉवर बना रहा है और हमेशा सबसे छोटा संभव ब्लॉक चुनता है जो नियमों में फिट बैठता है। यह काम तो करता है, लेकिन टॉवर उबड़-खाबड़ और कुछ हद तक अराजक तरीके से बढ़ता है।

बेनोइट क्लोइत्रे (Benoît Cloitre) का नया शोध पत्र (अप्रैल 2026 की तारीख वाला) एक चौंकाने वाला रहस्य प्रकट करता है: इस टॉवर को बनाने का एक दूसरा, पूरी तरह से अलग तरीका भी है।

यहाँ रोजमर्रा के उपमाओं का उपयोग करके इस खोज का विवरण दिया गया है:

1. दो निर्माता

संख्याओं के अनुक्रम (sequence) को कतार में खड़े लोगों की एक पंक्ति के रूप में सोचें।

ग्रीडी बिल्डर (The Greedy Builder): यह निर्माता व्यावहारिक और स्थानीय है। वे केवल तत्काल अतीत को देखते हैं और सबसे छोटी संख्या चुनते हैं जो नियमों को नहीं तोड़ती। उनकी पंक्ति एक पैटर्न में बढ़ती है जो कुछ चरणों के बाद दोहराती है (जैसे "छोटा, लंबा, लंबा, छोटा" की लय)। यह अनुमानित है लेकिन "झटकेदार" (jittery) है।
बीटी बिल्डर (The Beatty Builder - नई खोज): यह निर्माता एक दूरदर्शी है। वे केवल तत्काल अतीत को नहीं देखते; वे एक सुचारू, अपरिमेय ढलान (विशेष रूप से $1/\sqrt{2}$ , जो लगभग 0.707 है) का अनुसरण करते हैं। उनकी पंक्ति एक सौम्य, बहती हुई लय के साथ बढ़ती है जो कभी भी ठीक से दोहराई नहीं जाती। यह ग्रीडी बिल्डर के ऊबड़-खाबड़ आरी जैसे पैटर्न की तुलना में एक पूरी तरह से चिकनी लहर की तरह है।

आश्चर्य: पंक्ति में 11वें व्यक्ति तक, दोनों निर्माता इस बात पर सहमत हैं कि कौन कहाँ खड़ा है। लेकिन 12वें व्यक्ति पर, वे अलग हो जाते हैं। ग्रीडी बिल्डर एक संख्या को दोहराता है (दो समान ब्लॉकों की एक "रन" बनाता है), जबकि बीटी बिल्डर एक नई संख्या पर जाता है। दोनों गणितीय रूप से सही हैं, लेकिन वे पूरी तरह से अलग दर्शन का पालन कर रहे हैं।

2. "स्लाइडिंग विंडो" का रहस्य

नियम में एक "स्लाइडिंग विंडो" शामिल है। कल्पना कीजिए कि आप एक खिड़की से देख रहे हैं जो पिछले दो लोगों को दिखाती है। नियम कहता है: "उस स्थान पर खड़ा व्यक्ति जिसकी स्थिति पिछले दो लोगों की ऊँचाइयों के योग के बराबर है, वह वर्तमान व्यक्ति की संख्या होगी।"

चूँकि आप जिस "स्थान" की जाँच कर रहे हैं वह आपके द्वारा चुनी गई ऊँचाइयों पर निर्भर करता है, इसलिए सिस्टम लचीला है।

ग्रीडी समाधान कठोर और स्थानीय है।
बीटी समाधान वैश्विक और सुचारू है। यह पता चलता है कि यदि बीटी बिल्डर के शुरुआती बिंदु को थोड़ा सा भी खिसका दिया जाए, तो वे पहेली के एक कमजोर संस्करण (एक "ट्रिपल-नेस्टेड" समीकरण) को हल कर सकते हैं। यह समाधानों का एक निरंतर परिवार (continuous family) बनाता है, जो एक डिमर स्विच की तरह है जो पूरे वैध टावरों की एक श्रृंखला की अनुमति देता है, न कि केवल एक या दो।

3. "जादुई अंतराल" (The Magic Interval)

शोध पत्र बीटी बिल्डर के शुरुआती बदलाव के लिए एक बहुत ही विशिष्ट "गोल्डिलॉक्स ज़ोन" (एक संख्या अंतराल) की गणना करता है।

यदि आप बहुत कम या बहुत अधिक से शुरू करते हैं, तो टॉवर अंततः ढह जाएगा (गणित टूट जाएगा)।
यदि आप बिल्कुल सही (इस विशिष्ट अंतराल के भीतर) से शुरू करते हैं, तो टॉवर हमेशा के लिए खड़ा रहेगा।
शोध पत्र यह सिद्ध करता है कि कमजोर समीकरण के लिए इस विशिष्ट अंतराल के भीतर का प्रत्येक शुरुआती बिंदु काम करता है, लेकिन मूल, सख्त समीकरण के लिए केवल एक विशिष्ट बिंदु ही काम करता है।

4. "वर्ग" की समस्या

लेखक ने यह भी देखा कि क्या होता है यदि आप विंडो का आकार बदलते हैं (3, 4, 5 या अधिक पिछले ब्लॉकों को देखना)।

विषम वर्ग (9, 25, 49...): सुचारू बीटी बिल्डर पूरी तरह से काम करता है। गणित खूबसूरती से मेल खाता है।
सम वर्ग (4, 16, 36...): सुचारू बिल्डर विफल हो जाता है। गणित टूट जाता है। ऐसा लगता है जैसे इस विशिष्ट पहेली में ब्रह्मांड की विषम संख्याओं के प्रति एक प्राथमिकता है।

5. यह क्यों मायने रखता है?

आप पूछ सकते हैं, "एक अजीब संख्या अनुक्रम की परवाह कौन करता है?"
यह अराजकता में व्यवस्था (order in chaos) को समझने के बारे में है।

ग्रीडी समाधान उन प्रणालियों का प्रतिनिधित्व करता है जो स्थानीय नियमों द्वारा संचालित होती हैं (जैसे कंप्यूटर एल्गोरिदम या सेलुलर ऑटोमेटा)।
बीटी समाधान उन प्रणालियों का प्रतिनिधित्व करता है जो वैश्विक, अपरिमेय सद्भाव द्वारा संचालित होती हैं (जैसे सूरजमुखी के चक्र या ग्रहों की कक्षाएं)।

शोध पत्र दिखाता है कि एक ही सेट के नियम एक साथ दोनों प्रकार की व्यवस्थाओं को सहारा दे सकते हैं। यह यह समझने जैसा है कि एक ही यातायात कानून, ड्राइवरों द्वारा शुरुआत करने के तरीके के आधार पर, अराजक ट्रैफिक जाम और पूरी तरह से बहने वाले हाईवे दोनों का परिणाम दे सकता है।

सारांश

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

यहाँ बेनोइट क्लोइट्रे (Benoît Cloitre) के शोध पत्र "Beatty solutions of almost Golomb equations" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र क्रम $r$ के 'ऑलमोस्ट गोलोम्ब समीकरण' (almost Golomb equation of order $r$ ) की जांच करता है, जो एक गैर-घटते धनात्मक पूर्णांकों के अनुक्रम $a(n)$ की खोज करता है जो निम्नलिखित को संतुष्ट करता है:
$a\left(\sum_{j=0}^{r-1} a(n-j)\right) = n$
जहाँ $n \ge 1$ के लिए, और $k<1$ के लिए $a(k)=0$ है।

संदर्भ: क्लासिक गोलोम्ब अनुक्रम (जहाँ योग संचयी होता है) अद्वितीय है और पावर लॉ (power law) के रूप में बढ़ता है। "ऑलमोस्ट" संस्करण संचयी योग के स्थान पर $r$ आकार की एक स्लाइडिंग विंडो (sliding window) का उपयोग करता है।
ज्ञात समाधान: "ग्रीडी" (greedy) समाधान (सबसे छोटा गैर-घटता अनुक्रम जो समीकरण को संतुष्ट करता है) ज्ञात है कि $r$ -रेगुलर (automatic) है और इसमें एक दोलनशील विकास अनुपात (oscillating growth ratio) होता है।
अंतराल (The Gap): यह अज्ञात था कि क्या अन्य बढ़ते हुए समाधान मौजूद हैं जो ग्रीडी नहीं हैं। विशेष रूप से, यह शोध पत्र $r=2$ के मामले की जांच करता है और इसे किसी भी $r$ के लिए सामान्यीकृत करता है।

2. कार्यप्रणाली (Methodology)

लेखक विश्लेषणात्मक संख्या सिद्धांत (analytic number theory), शब्दों पर कॉम्बिनेटरिक्स (combinatorics on words), और कम्प्यूटेशनल सत्यापन के संयोजन का उपयोग करते हैं:

एसिम्प्टोटिक ह्यूरिस्टिक्स (Asymptotic Heuristics): यह मानते हुए कि $a(n) \sim cn$ , समीकरण $c(2cn) \approx n$ की ओर संकेत करता है, जिससे $r=2$ के लिए $c = 1/\sqrt{2}$ प्राप्त होता है। यह एक इन्होमोजेनियस बीटी अनुक्रम (inhomogeneous Beatty sequence) संरचना का सुझाव देता है।
बीटी अनुक्रम विश्लेषण (Beatty Sequence Analysis): शोध पत्र $a(n) = \lfloor cn + d \rfloor$ के रूप में बीटी अनुक्रमों का कठोर परीक्षण करता है जहाँ $c = 1/\sqrt{2}$ है।
स्टर्मियन शब्द (Sturmian Words): अंतर $\Delta(n) = a(n+1) - a(n)$ का विश्लेषण इरेशनल रोटेशन (irrational rotations) द्वारा उत्पन्न स्टर्मियन शब्दों के रूप में किया जाता है।
ओस्ट्रोवस्की न्यूमरेशन (Ostrowski Numeration): प्रमाण भिन्नात्मक भाग (fractional parts) और कैरी प्रोपेगेशन (carry propagation) को संभालने के लिए $1/\sqrt{2}$ के निरंतर भिन्न (continued fraction) पर आधारित ओस्ट्रोवस्की प्रतिनिधित्व का उपयोग करते हैं।
स्वचालित प्रमेय सिद्ध करना (Automated Theorem Proving): लेखक ओस्ट्रोवस्की न्यूमरेशन में प्रथम-क्रम तर्क (first-order logic) में समस्या को कम करके $r=30$ तक विशिष्ट मामलों के लिए पहचान को सत्यापित करने के लिए Walnut थ्योरम प्रूवर का उपयोग करते हैं।
डिस्क्रिपेंसी थ्योरी (Discrepancy Theory): उच्च $r$ के लिए सामान्यीकरण भिन्नात्मक भागों के अंकगणितीय प्रगतियों (arithmetic progressions) के डिस्क्रिपेंसी (discrepancy) को सीमित करने पर निर्भर करता है।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. $r=2$ के लिए दूसरे समाधान का अस्तित्व

शोध पत्र क्रम-2 समीकरण के लिए एक दूसरे, मौलिक रूप से भिन्न बढ़ते हुए समाधान के अस्तित्व को सिद्ध करता है, जो ग्रीडी समाधान से भिन्न है।

प्रमेय 1 (Theorem 1): अनुक्रम जिसे $a(n) = \lfloor \frac{n+1}{\sqrt{2}} \rfloor$ (एक इन्होमोजेनियस बीटी अनुक्रम जिसका ढलान $1/\sqrt{2}$ और शिफ्ट $d=\sqrt{2}/2$ है) द्वारा परिभाषित किया गया है, वह समीकरण $a(a(n) + a(n-1)) = n$ को संतुष्ट करता है।
विचलन (Divergence): यह समाधान $n \le 11$ के लिए ग्रीडी समाधान के साथ सहमत होता है लेकिन $n=12$ पर विचलित हो जाता है। जबकि ग्रीडी समाधान मानों को दोहराता है (लंबाई 2 के रन), बीटी समाधान लंबाई 1 के रन रखता है, जिससे एक अलग स्व-सुसंगत एड्रेसिंग संरचना बनी रहती है।
विशिष्टता (Uniqueness): बीटी अनुक्रमों के बीच, यह विशिष्ट शिफ्ट $d = \sqrt{2}/2$ स्ट्रॉन्ग आइडेंटिटी (strong identity) के लिए अद्वितीय समाधान है।

B. ट्रिपल-नेस्टेड परिवार और अंतराल $I$

शोध पत्र एक कमजोर समीकरण की जांच करता है: $a(a(a(n) + a(n-1))) = a(n)$ ।

प्रमेय 2 और 3 (Theorem 2 & 3): शिफ्ट्स का एक निरंतर अंतराल $I = [\frac{\sqrt{2}}{2}, 2(\sqrt{2}-1)]$ $I = [\frac{2}{2}, 2 (2 - 1)]$ (लंबाई $\approx 0.121$ $\approx 0.121$ ) मौजूद है।
- यदि $d \in I$ , तो अनुक्रम $a(n) = \lfloor n/\sqrt{2} + d \rfloor$ ट्रिपल-नेस्टेड समीकरण को संतुष्ट करता है।
- यदि $d \notin I$ , तो समीकरण अनंत बार विफल हो जाता है।
तंत्र (Mechanism): $d \neq \sqrt{2}/2$ के लिए, पहचान $a(f(n)) = n$ एक "त्रुटि" (defect) $D(n) \in \{0, 1\}$ द्वारा विफल होती है। हालाँकि, बाहरी फलन $a$ इस त्रुटि को अवशोषित कर लेता है क्योंकि $a(n+1) = a(n)$ होता है जब त्रुटि गैर-शून्य होती है। यह अवशोषण स्टर्मियन अनुक्रम के "रिपीट-सेट" (repeat-set) के साथ डिफेक्ट वर्ड के संरेखण पर निर्भर करता है।

C. संरचनात्मक गुण (Structural Properties)

स्टर्मियन संरचना (Sturmian Structure): बीटी समाधान के प्रथम अंतर $1/\sqrt{2}$ के ढलान वाले एक स्टर्मियन शब्द बनाते हैं।
ओस्ट्रोवस्की प्रतिनिधित्व (Ostrowski Representation): समाधान को ओस्ट्रोवस्की न्यूमरेशन सिस्टम में एक डिजिट-स्वैप (digit-swap) के माध्यम से वर्णित किया जा सकता है (पेल (Pell) संख्यानाओं $q_k$ को पेल संख्यानाओं $p_k$ के साथ बदलना)।
डिफेक्ट मॉर्फिज्म (Defect Morphism): अंतराल $I$ के दाहिने छोर पर, डिफेक्ट वर्ड $D(n)$ स्टर्मियन नहीं है, बल्कि सिल्वर रेशियो ( $1+\sqrt{2}$ ) से जुड़े एक विशिष्ट प्रतिस्थापन नियम (substitution rule) द्वारा उत्पन्न एक मॉर्फिक शब्द है।

D. क्रम $r$ के लिए सामान्यीकरण (Generalization to Order $r$ )

परिणामों को किसी भी विंडो साइज $r$ के लिए विस्तारित किया गया है:

सामान्य रूप (General Form): संभावित समाधान $a_r(n) = \lfloor \frac{n}{\sqrt{r}} + \frac{\sqrt{r}}{2} \rfloor$ है।
पूर्ण वर्ग (Perfect Squares):
- यदि $r = s^2$ और $s$ विषम (odd) है, तो पहचान बिल्कुल सटीक रूप से लागू होती है।
- यदि $r = s^2$ और $s$ सम (even) है, तो पहचान विफल हो जाती है (परिणाम $n+1$ मिलता है)।
गैर-वर्ग (Non-Squares):
- पहचान को भिन्नात्मक भागों के केस विश्लेषण के माध्यम से $r=3$ और $r=5$ के लिए सिद्ध किया गया है।
- प्रमेय 21 (Theorem 21): पहचान $r=30$ तक सभी गैर-वर्ग $r$ के लिए सत्य है, जिसे Walnut का उपयोग करके कम्प्यूटेशनल रूप से सत्यापित किया गया है।
- अनुमान 22 (Conjecture 22): पहचान सभी गैर-वर्ग $r \ge 2$ के लिए सत्य है। प्रमाण डिस्क्रिपेंसी बाउंड $|\Phi_r(n) - r/2| < \sqrt{r}/2$ को सिद्ध करने तक सीमित है।

4. महत्व (Significance)

समाधानों की बहुलता (Multiplicity of Solutions): यह शोध पत्र अनुक्रमों के लिए निहित कार्यात्मक समीकरणों (implicit functional equations) की समझ को मौलिक रूप से बदल देता है। यह प्रदर्शित करता है कि "ऑलमोस्ट गोलोम्ब" समीकरण कई अलग-अलग बढ़ते हुए समाधानों (एक ग्रीडी/रेगुलर, एक बीटी/इरेशनल) को स्वीकार करते हैं, जो ऐसी पुनरावर्ती परिभाषाओं में अक्सर पाई जाने वाली विशिष्टता की धारणा को चुनौती देते हैं।
इरेशनल रोटेशन से संबंध: यह स्व-संदर्भित पूर्णांक अनुक्रमों और स्टर्मियन शब्दों, बीटी अनुक्रमों और इरेशनल रोटेशन के बाउंडेड रिमाइंडर सेट्स (bounded remainder sets) के बीच एक गहरा संबंध स्थापित करता है।
मेथोडोलॉजिकल ब्रिज (Methodological Bridge): यह कार्य $k$ -रेगुलर अनुक्रमों (फाइनाइट ऑटोमेटा) और इरेशनल स्लोप वाले अनुक्रमों के बीच के अंतर को पाटता है, यह दिखाते हुए कि कैसे एक में "त्रुटियां" (defects) दूसरे के संरचना में उच्च-क्रम कंपोजिशन के दौरान अवशोषित हो जाती हैं।
कम्प्यूटेशनल नंबर थ्योरी: यह जटिल पहचानों और ओस्ट्रोवस्की न्यूमरेशन के भिन्नात्मक भागों को सत्यापित करने के लिए Walnut थ्योरम प्रूवर के एक ठोस अनुप्रयोग को प्रदान करता है, जो इस क्षेत्र में भविष्य के प्रमाणों के लिए एक मिसाल कायम करता है।

5. खुले प्रश्न (Open Problems)

शोध पत्र निम्नलिखित चुनौतियों के साथ समाप्त होता है:

सभी गैर-वर्ग $r$ के लिए सामान्य अनुमान (conjecture) को सिद्ध करना (विशेष रूप से सभी $r$ के लिए डिस्क्रिपेंसी बाउंड स्थापित करना)।
यह निर्धारित करना कि क्या ग्रीडी और बीटी समाधान ही किसी भी $r$ के लिए एकमात्र अनंत बढ़ते हुए समाधान हैं।
ओस्ट्रोवस्की डिजिट-स्वैप पहचान को कठोरता से सिद्ध करना।
$r \ge 3$ के लिए बीटी अंतराल के डेफेक्ट (defect) के लिए प्रतिस्थापन नियमों (substitution rules) को लक्षणबद्ध करना।