Metric results for dyadic approximation on the middle-third Cantor set

तकनीकी सारांश: मिडल-थर्ड कैंटर सेट पर डायडिक सन्निकटन के लिए मीट्रिक परिणाम

समस्या विवरण
यह शोध पत्र फ्रैक्टल्स (fractals) पर डायोफेंटाइन सन्निकटन (Diophantine approximation) की समस्या को संबोधित करता है, जो विशेष रूप से मिडल-थर्ड कैंटर सेट $C$ पर केंद्रित है। अध्ययन का केंद्रीय विषय $W_2(\tau)$ नामक सेट है, जिसे $[0, 1]$ के उन बिंदुओं $x$ के संग्रह के रूप में परिभाषित किया गया है जहाँ $n \in \mathbb{N}$ के लिए अनंत बार $\|2^n x\| < n^{-\tau}$ होता है, जहाँ $\|\cdot\|$ निकटतम पूर्णांक से दूरी को दर्शाता है। लेखक कैंटर-लेबेग माप (Cantor-Lebesgue measure) $\mu$ (जो $\gamma = \log 2 / \log 3$ के $\gamma$-आयामी हॉसडॉर्फ माप का प्रतिबंध है) के सापेक्ष इस सेट के माप की जांच करते हैं।

यह कार्य वेलानी (Velani) द्वारा दिए गए एक अनुमान पर केंद्रित है, जो $W_2(\tau)$ के लिए एक शून्य-एक नियम (zero-one law) का प्रस्ताव करता है: यदि $\tau > 1$ है तो माप 0 होना चाहिए और यदि $0 < \tau \le 1$ है तो 1 होना चाहिए। जबकि यह अनुमान अपने पूर्ण सामान्य रूप में खुला (unsolved) बना हुआ है, पिछले शोध ने आंशिक परिणाम स्थापित किए हैं। विशेष रूप से, एलन, बेकर, चाउ और यू [1] ने $\tau > \approx 1.552$ के लिए नल केस (null case) को सिद्ध किया, और बेकर [3] ने $0 < \tau \le 0.01$ के लिए फुल मेजर केस (full measure case) को सिद्ध किया। इस समस्या की कठिनाई इस तथ्य से उत्पन्न होती है कि $C$ में संख्याओं के आधार-2 और आधार-3 विस्तार दोनों ही संरचित नहीं होते हैं, जो फर्थनबर्ग के $\times 2, \times 3$ अनुमान से संबंधित एक सिद्धांत है, लेकिन इस स्वतंत्रता की वर्तमान मात्रात्मक समझ सीमित है।

कार्यप्रणाली (Methodology)
लेखक एक फूरियर-विश्लेषणात्मक दृष्टिकोण (Fourier-analytic approach) का उपयोग करते हैं, जो [1] और [3] में विकसित तकनीकों पर आधारित है। इस क्षेत्र में एक प्राथमिक बाधा यह है कि कैंटर-लेबेग माप $\mu$ में वैश्विक फूरियर क्षय (global Fourier decay) का अभाव है (अर्थात, $|\hat{\mu}(\xi)|$ का मान $|\xi| \to \infty$ होने पर 0 की ओर नहीं जाता है)। पिछले कार्यों ने बेकर के लेम्मा [3] पर भरोसा किया, जिसने यह स्थापित किया कि $h2^n$ के लिए $|\hat{\mu}(h2^n)|$ एक छोटे सेट के लिए को छोड़कर, बहुपद रूप से (polynomially) घटता है।

इस शोध पत्र की मुख्य पद्धतिगत नवीनता $h2^n$ अनुक्रम के साथ $\mu$ के फूरियर गुणांकों के आंशिक योगों के लिए सटीक अनुमान स्थापित करना है। विशेष रूप से, लेखक $\sum |\hat{\mu}(h2^n)|$ और $\sum |\hat{\mu}(h2^n)|^2$ के योगों के लिए समान अनुमान (uniform estimates) सिद्ध करते हैं। ये अनुमान 3-आधिक्य (3-adic valuation) और अवशेषों के वितरण का लाभ उठाते हुए, विशेष रूप से 3 की घातों के सापेक्ष 2 की घातों के संख्या-सिद्धांत संबंधी गुणों का उपयोग करके प्राप्त किए जाते हैं।

मुख्य तकनीकी उपकरण निम्नलिखित हैं:

1. नए फूरियर अनुमान: यह सिद्ध करना कि $\sum_{n=1}^N |\hat{\mu}(h2^n)|^2 \ll N^{1-\gamma}$ और $\sum_{n=1}^N |\hat{\mu}(h2^n)| \ll N^{(1-\gamma)/2}$ सभी $h \in \mathbb{Z} \setminus \{0\}$ के लिए समान रूप से सत्य है।
2. स्मूथिंग और इंटीग्रल अनुमान: सिकुड़ते लक्ष्यों (shrinking targets) के संकेतक फलनों (indicator functions) के सुचारू सन्निकटन बनाने के लिए जैक्सन की असमानता (Jackson's inequality) का उपयोग करना। इन्हें नए फूरियर अनुमानों के साथ जोड़कर काउंटिंग फंक्शन के प्रथम और द्वितीय क्षणों (moments) पर सीमाएँ प्राप्त की जाती हैं।
3. बोरेल-कैंटली तर्क (Borel-Cantelli Arguments): बोरेल-कैंटली लेम्मा के माध्यम से मोमेंट बाउंड्स को लागू करके शून्य-एक नियम स्थापित करना।

प्रमुख योगदान और परिणाम
शोध पत्र वेलानी के अनुमान के अभिसरण (convergence) और अपसरण (divergence) भागों के लिए बेहतर सीमाएँ प्रदान करता है:

1. नल भाग (अभिसरण): लेखक सिद्ध करते हैं कि $\tau > \frac{1}{\gamma} - \frac{1-\gamma}{3-\gamma} \approx 1.429$ के लिए $\mu(W_2(\tau)) = 0$ है। यह एलन, बेकर, चाउ और यू [1] के पिछले सर्वोत्तम परिणाम $\tau > \approx 1.552$ में सुधार करता है।
2. फुल मेजर भाग (अपसरण): लेखक सिद्ध करते हैं कि $0 < \tau < \frac{\gamma}{12} \approx 0.052$ के लिए $\mu(W_2(\tau)) = 1$ है। यह बेकर [3] के पिछले सर्वोत्तम परिणाम $\tau \le 0.01$ में सुधार करता है।
3. सामान्य काउंटिंग परिणाम: फुल मेजर भाग के लिए, लेखक एक मजबूत काउंटिंग परिणाम (प्रमेय 1.4) स्थापित करते हैं। $[0, 1]$ में किसी भी अनुक्रम $(x_n)$ और $0 < \tau < \gamma/12$ के लिए, $\mu$-लगभग प्रत्येक $x \in C$ के लिए:
   $$\lim_{N \to \infty} \frac{\#\{1 \le n \le N : \|2^n x - x_n\| < n^{-\tau}\}}{2 \sum_{n=1}^N n^{-\tau}} = 1.$$
   यह बेकर के परिणाम को इनहोमोजेनियस (inhomogeneous) सेटिंग्स और यादृच्छिक अनुक्रमों तक सामान्यीकृत करता है।
4. मिसिंग-डिजिट सेट्स (Missing-Digit Sets) का विस्तार: इस कार्यप्रणाली को मिसिंग-डिजिट सेट्स $K_{b,D}$ (जहाँ $b$ एक अभाज्य संख्या है और $D$ एक डिजिट सेट है) पर स्व-समान मापों (self-similar measures) के एक व्यापक वर्ग तक विस्तारित किया गया है। प्रमेय 1.7 इन सेट्स के लिए एक समान काउंटिंग परिणाम प्रदान करता है, जिसमें एक सीमा $\kappa$ संभाव्यता वेक्टर और आधार पर निर्भर करती है।

महत्व और दावे
यह शोध पत्र दावा करता है कि इसका प्राथमिक योगदान [1] और [3] के तंत्र में उपयोग किए गए फूरियर इनपुट का परिशोधन (refinement) है। $h2^n$ अनुक्रम के साथ फूरियर गुणांकों के आंशिक योगों (विशेष रूप से $L^1$ और $L^2$ बाउंड्स) पर तीक्ष्ण अनुमान स्थापित करके, लेखक वेलानी के अनुमान के ज्ञात थ्रेशोल्ड को अनुमानित मान $\tau = 1$ के करीब धकेलने में सक्षम हुए हैं।

लेखक स्पष्ट रूप से कहते हैं कि उनका दृष्टिकोण मिसिंग-डिजिट सेट्स पर स्व-समान मापों पर भी लागू होता है, जो मिडल-थर्ड कैंटर सेट के विशिष्ट मामले से परे उनके फूरियर-विश्लेषणात्मक तकनीक की मजबूती को प्रदर्शित करता है। वे स्वीकार करते हैं कि हालांकि ये परिणाम महत्वपूर्ण प्रगति का प्रतिनिधित्व करते हैं, फिर भी अनुमान $0.052 \le \tau \le 1.429$ की सीमा के लिए खुला है। यह कार्य कोई नए अनुप्रयोग या प्रयोगात्मक ढांचे का प्रस्ताव नहीं करता है बल्कि पूरी तरह से फ्रैक्टल्स पर मीट्रिक डायोफेंटाइन सन्निकटन की सैद्धांतिक समझ को आगे बढ़ाने पर केंद्रित है।