The martingale evolution of probability measures defined via the sum-of-digits functions

तकनीकी सारांश: अंक-योग फलनों (Sum-of-Digits functions) द्वारा परिभाषित प्रायिकता मापों का मार्टिंगेल विकास (Martingale Evolution)

समस्या विवरण
यह शोध पत्र पूर्णांकों $\mathbb{Z}$ पर परिभाषित प्रायिकता मापों के परिवार $\{\mu_t\}_{t \in \mathbb{N}}$ के गुणों की जांच करता है। एक प्राकृतिक संख्या $n$ के लिए, $s(n)$ बाइनरी विस्तार (binary expansion) में 'एक' (ones) की संख्या को दर्शाता है। माप $\mu_t(d)$, उन प्राकृतिक संख्याओं $n$ के साहसिक घनत्व (asymptotic density) को दर्शाता है जिनके लिए $s(n+t) - s(n) = d$ है। यह ज्ञात है कि $\mu_t$ एक सुव्यवस्थित प्रायिकता माप है जिसका माध्य शून्य है, लेकिन इस कार्य को प्रेरित करने वाली केंद्रीय अनसुलझी समस्या कसिक अनुमान (Cusick conjecture) है, जो यह प्रतिपादित करती है कि सभी $t \in \mathbb{N}$ के लिए $\mu_t(\mathbb{N}) > 1/2$ है। पिछले परिणामों ने $t$ के साहसिक घनत्व एक वाले मानों के लिए, या विशिष्ट श्रेणियों के $t$ (जैसे कि बाइनरी में 'ones' के कई ब्लॉक्स वाले $t$) के लिए इस असमानता को स्थापित किया है, लेकिन एक पूर्ण संरचनात्मक प्रमाण अभी भी अप्राप्त है।

कार्यप्रणाली (Methodology)
लेखक, डेविड टार्लोव्स्की (Dawid Tarłowski), विषम पूर्णांकों के एक विशिष्ट आंशिक क्रम (partial order) $\preceq$ का उपयोग करके एक पुनर्गठन प्रस्तावित करते हैं, जिससे इन मापों के अंतर्निहित पदानुक्रमित मार्टिंगेल संरचना (hierarchical martingale structure) को प्रकट किया जा सके।

1. आंशिक क्रम और पुनर्गठन (Re-indexing): विषम पूर्णांकों के सेट $T = 2\mathbb{N} + 1$ को दो मानचित्रों $L(t) = 2t - 1$ और $R(t) = 2t + 1$ द्वारा जनित एक आंशिक क्रम से सुसज्जित किया गया है। यह संरचना $\mu_t$ के अनुक्रम को एक गैर-स्वायत्त गतिशील प्रणाली (non-autonomous dynamical system) के प्रक्षेपवक्र (trajectories) के रूप में देखने की अनुमति देती है।
2. रुके हुए रैंडम वॉक (Stopped Random Walks) के माध्यम से मार्टिंगेल निर्माण: शोध पत्र एक परिवार के मापों $P_t$ को प्रस्तुत करता है जो कॉन्वोल्यूशन $\mu_t = \mu_1 * P_t$ द्वारा $\mu_t$ से संबंधित है। $P_t$ के विकास का वर्णन $\mathbb{Z}$ पर एक सरल सममित रैंडम वॉक $S_n$ का उपयोग करके किया जाता है।
   • एक पूर्ण प्लेनर बाइनरी ट्री (planar binary trees) और रैंडम वॉक के बाध्यित स्टॉपिंग समय (bounded stopping times) के बीच एक एक-से-एक संबंध (bijection) स्थापित किया गया है।
   • $P_t$ को इन पेड़ों के विकास द्वारा निर्धारित स्टॉपिंग समय $\tau_t$ पर रुके हुए रैंडम वॉक के नियम के रूप में पहचाना जाता है।
   • विशेष रूप से, चयनों के एक अनुक्रम $w \in \{L, R\}^\mathbb{N}$ के लिए, प्रक्रिया $X_t = S_{\tau_{w(t)}}$ एक मार्टिंगेल बनाती है।
3. वृक्ष विकास की गतिशीलता (Dynamics of Tree Growth): वृक्ष के विकास को एक बाइनरी ट्री के विकास के रूप में मॉडल किया गया है। प्रत्येक चरण पर, अनुक्रम $w$ द्वारा निर्धारित, पेड़ की एक शाखा को संरक्षित किया जाता है जबकि दूसरी शाखा वर्तमान पेड़ की एक प्रति बनकर विकसित होती है। यह पुनरावर्ती संरचना प्रायिकता मापों के जोड़े पर गैर-स्वायत्त गतिशीलता को परिभाषित करती है।

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

• संरचनात्मक विवरण: शोध पत्र जुड़े हुए रुके हुए रैंडम वॉक के माध्यम से $\mu_t$ का एक पारदर्शी संरचनात्मक विवरण प्रदान करता है। इसमें उनके सपोर्ट (support), सममिति (symmetries) और विचरण (variance) का स्पष्ट लक्षण वर्णन शामिल है।
• विचरण विश्लेषण (Variance Analysis): लेखक शब्दों $w$ से जुड़े मापों के विचरण $D^2[P_w]$ के लिए स्पष्ट सीमाएँ प्राप्त करते हैं।
  • विचरण आंशिक क्रम के सापेक्ष एकदिष्ट (monotone) है: $s \preceq t \implies D^2(P_s) \leq D^2(P_t)$।
  • निचली सीमाएँ स्थिर शब्दों (जैसे $L^n$ या $R^n$) द्वारा प्राप्त की जाती हैं, जो $2 - (1/2)^n$ देती हैं।
  • ऊपरी सीमाएँ शब्द $w$ में ब्लॉक्स की संख्या से संबंधित हैं, जहाँ वैकल्पिक शब्द (जैसे $LR, LR, \dots$) विचरण को अधिकतम करते हैं।
• अनंत व्यवहार (Asymptotic Behavior):
  • सीमित विचरण: यदि चयनों का अनुक्रम $w$ अंततः स्थिर है, तो मार्टिंगेल लगभग निश्चित रूप से (almost surely) अभिसरित होता है। सीमित वितरणों को $\{\mu_t\} \cup \{\hat{\mu}_t\}$ के परिवार के तत्वों के रूप में दिखाया गया है, जहाँ $\hat{\mu}_t$, $\mu_t$ का प्रतिबिंब (reflection) है।
  • असीमित विचरण: यदि $t$ के बाइनरी प्रतिनिधित्व में ब्लॉक्स की संख्या अनंत की ओर बढ़ती है, तो माप एक सेंट्रल लिमिट थ्योरम (Central Limit Theorem) का पालन करते हैं, और मानक सामान्य वितरण (standard normal distribution) की ओर दुर्बल रूप से अभिसरित होते हैं (जो अन्य लेखकों के पूर्व परिणामों के अनुरूप है)।
• सममिति (Symmetries): शोध पत्र स्थापित करता है कि $P_w(d) = P_w(-d)$ और $P_w(d) = P_{\leftarrow w}(d)$, जहाँ $\leftarrow w$, शब्द $w$ का उल्टा (reversed word) है। इसका तात्पर्य है कि वृक्ष संरचना से माप तक का मानचित्रण एकतुल्य (injective) नहीं है।

कसिक अनुमान (Cusick Conjecture) से संबंध
यह शोध पत्र केसिस अनुमान को मार्टिंगेल विकास की "माध्य संरक्षित" (median preserving) प्रकृति के गुण के रूप में पुनर्गठित करता है।

• लेखक एक सामान्यीकृत दावा प्रस्तावित करते हैं: यदि पेड़ असममित रूप से बढ़ता है (विशेष रूप से, यदि किसी भी शब्द $v$ के लिए $P_{Lv}(\mathbb{N}) > 1/2$ और $P_{Rv}(-\mathbb{N}) > 1/2$ है), तो कसिक अनुमान सत्य होता है।
• लेम्मा 24 (Lemma 24) दर्शाता है कि यदि किसी भी विषम $t$ (जिसे शब्द $w$ द्वारा दर्शाया जाता है) के लिए असमानता $P_w(\mathbb{N}) > 1/2$ एक विशिष्ट स्थिति ($t_2=0$ बाइनरी में) के साथ शुरू होती है, तो यह सभी $t$ के लिए $\mu_t(\mathbb{N}) > 1/2$ होने का संकेत देती है।
• संख्यात्मक साक्ष्य: शोध पत्र संख्यात्मक सत्यापन के साथ समाप्त होता है। $12,000,001$तक के विषम पूर्णांकों के लिए, फलन$V(t) = P_t(\mathbb{N})$का वैश्विक न्यूनतम ठीक$1/2$ पाया गया। मिनीमाइज़र (minimizers) को सूचीबद्ध किया गया है, जो दिखाते हैं कि असमानता सटीक (tight) है लेकिन परीक्षण की गई सीमा में कभी भी उल्लंघन नहीं हुआ है।

महत्व और दावे
यह शोध पत्र दावा करता है कि कसिक अनुमान मार्टिंगेल से जुड़े बाइनरी ट्री के असममित विकास के एक अधिक सामान्य कथन का एक विशेष मामला है। सीधे अंकगणितीय गुणों $s(n+t) - s(n)$ से दृष्टिकोण बदलकर, बाइनरी ट्री पर रुके हुए रैंडम वॉक के प्रायिकता विकास पर ध्यान केंद्रित करके, लेखक इस समस्या के विश्लेषण के लिए एक नया ढांचा प्रदान करते हैं। यह कार्य कसिक अनुमान को सिद्ध करने का दावा नहीं करता है, बल्कि इसे वृक्ष विकास की गतिशीलता के गुण तक सीमित कर देता है, जिसे संख्यात्मक डेटा द्वारा समर्थन प्राप्त है। इसका महत्व मार्टिंगेल सिद्धांत के साथ समस्या के एकीकरण और विचरण एवं सपोर्ट पर स्पष्ट संरचनात्मक सीमाओं में निहित है।