Positive dyadic density for rational weighted binary expansions

तकनीकी सारांश: परिमेय भारित बाइनरी विस्तारों के लिए धनात्मक डाइयडिक घनत्व (Positive Dyadic Density)

समस्या विवरण
यह शोध पत्र $\eta_S = \sum_{n \in S} n 2^{-n}$ के रूप में दिए गए भारित बाइनरी श्रेणियों की अपरिमेयता (irrationality) को संबोधित करता है, जहाँ $S \subseteq \mathbb{N}$ धनात्मक पूर्णांकों का एक अनंत समुच्चय है। विशेष रूप से, यह Erdős Problem 260 की जांच करता है, जो पूछता है कि क्या वह श्रेणी $\sum_{n \ge 1} a_n 2^{-a_n}$ अपरिमेय होगी यदि अनुक्रम $a_n$ वृद्धि की स्थिति $a_n/n \to \infty$ को संतुष्ट करता है।

जबकि पिछले परिणामों ने मजबूत परिकल्पनाओं के तहत अपरिमेयता स्थापित की थी—जैसे कि $a_{n+1} - a_n \to \infty$ (Erdős) या $\limsup (a_{n+1}-a_{n})/\log a_{n+1} = \infty$ (Borwein and Loring)—स्थिति $a_n/n \to \infty$ केवल वैश्विक विरलता (global sparsity) की गारंटी देती है ($\# \{n : a_n \le X\} = o(X)$)। यह अत्यधिक अनियमित स्थानीय अंतराल पैटर्न (local gap patterns) की अनुमति देता है, जिसमें छोटे अंतरालों के समूह शामिल हैं, जिन्हें पिछले तरीके खारिज नहीं कर सके। मुख्य कठिनाई यह है कि एक वैश्विक रूप से विरल अनुक्रम अभी भी जटिल लघु-अंतराल पैटर्न रख सकता है जो मानक पुनरावृत्ति मानदंडों (recurrence criteria) से बच निकलते हैं।

कार्यप्रणाली और प्रमाण रणनीति
यह शोध पत्र एक मजबूत स्थानीय परिणाम सिद्ध करता है: यदि $\eta_S$ परिमेय है, तो $S$ को प्रत्येक पर्याप्त बड़े डाइयडिक ब्लॉक $(X, 2X]$ में एक धनात्मक अनुपात (positive proportion) घेरना चाहिए। यह "धनात्मक डाइयडिक घनत्व" (positive dyadic density) $a_n/n \to \infty$ द्वारा निहित विरलता का खंडन करता है।

प्रमाण एक विरोधाभास (contradiction) द्वारा आगे बढ़ता है, यह मानते हुए कि $\eta_S = P/Q \in \mathbb{Q}$ है और एक डाइयडिक ब्लॉक विरल है (अर्थात, $(X, 2X]$ में $S$ का घनत्व कम है)। तर्क परिमेय पूंछों (rational tails) के अंकगणितीय गुणों और अंतराल पैटर्न की संयोजी गणना (combinatorial counting) को जोड़ता है:

1. इंटीग्रल कैरी रिकरेंस (Integral Carry Recurrence): परिमेयता यह दर्शाती है कि श्रेणी की "पूंछ" को एक गैर-ऋणात्मक पूर्णांक कैरी $R_N$ के रूप में व्यक्त किया जा सकता है जो एक रैखिक पुनरावृत्ति $R_{N+1} = 2R_N - Q(N+1)d_{N+1}$ को संतुष्ट करता है, जिसमें एक रैखिक आकार सीमा $0 \le R_N \le Q(N+2)$ होती है।
2. स्पार्स ब्लॉक लोअर बाउंड (Sparse Block Lower Bound): यदि एक डाइयडिक ब्लॉक विरल होता, तो सहायता बिंदुओं (support points) के बीच के अंतराल बड़े होते। लेखक "विंडो-थ्रेशोल्ड जोड़े" $(k, T)$ को परिभाषित करते हैं, जहाँ $k$ निरंतर अंतरालों की एक विंडो को एंकर करता है और $T$ एक थ्रेशोल्ड है। वे एक "एकीकृत अतिरिक्त" (integrated excess) $y(k, T)$ को परिभाषित करते हैं जो यह दर्शाता है कि विंडो का विस्तार $T$ से कितना अधिक है। एक विरल ब्लॉक कई विंडोज़ को बड़े अतिरिक्त (large excess) वाले होने के लिए मजबूर करता है, जिससे कुल एकीकृत अतिरिक्त पर एक निम्नतम सीमा (lower bound) स्थापित होती है।
3. संयोजी ऊपरी सीमा (Combinatorial Upper Bound): लेखक बड़े अतिरिक्त वाली विंडोज़ की संरचना का विश्लेषण करते हैं।
   • प्रीफिक्स चयन (Prefix Selection): वे प्रत्येक बड़े-अतिरिक्त वाली विंडो के लिए अंतरालों के एक अद्वितीय "प्रारंभिक लंबे प्रीफिक्स" को अलग करते हैं।
   • लैटिस कोलीनियैरिटी (Lattice Collinearity): कैरी पुनरावृत्ति का उपयोग करते हुए, वे दिखाते हैं कि बार-बार आने वाले प्रीफिक्स पैटर्न की उपस्थिति $(x, R_x)$ प्लेन में एफाइन रेखाओं (affine lines) पर संरेखित होनी चाहिए।
   • स्लोप डायनेमिक्स (Slope Dynamics): इन रेखाओं के साथ सामान्यीकृत ढलान (normalized slope) $\mu = K/(QH)$ का विकास मानचित्र $\mu \mapsto 2^g \mu - 1$ द्वारा नियंत्रित होता है। लेखक विश्लेषण को दो श्रेणियों में विभाजित करते हैं:
     • इंटीरियर-स्लोप ($0 < \mu < 1$): ढलान सीमित रहती है। लेखक दिखाते हैं कि ढलान का घटा हुआ हर (reduced denominator) अंततः एक निश्चित विषम पूर्णांक $q$ पर स्थिर हो जाता है। वे अंतराल अनुक्रम को "लॉगैरिद्मिक ब्लॉक्स" में विभाजित करते हैं और एंट्रॉपी बाउंड और फेरे सेपरेशन (Farey separation) का उपयोग करके दिखाते हैं कि ऐसी घटनाओं की संख्या कम है।
     • एक्सटीरियर-स्लोप ($\mu \notin [0, 1]$): एक बार जब ढलान $[0, 1]$ से बाहर निकल जाती है, तो साझा गैप वर्ड्स के विस्तार के साथ इसकी दूरी तेजी से बढ़ती है। यह घातांकीय अलगाव (exponential separation) एफाइन रेखा पर वैध पूर्णांक मापदंडों की संख्या को अत्यधिक सीमित कर देता है।
4. विरोधाभास (Contradiction): संयोजी विश्लेषण एक ऊपरी सीमा (upper bound) प्रदान करता है जो विरल-ब्लॉक परिकल्पना से प्राप्त निम्नतम सीमा से स्पर्शोन्मुखी रूप से (asymptotically) छोटी है। यह विरोधाभास सिद्ध करता है कि यदि $\eta_S$ परिमेय है, तो एक विरल डाइयडिक ब्लॉक मौजूद नहीं हो सकता।

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

• प्रमेय 1.1 (धनात्मक डाइयडिक घनत्व): यदि $S$ अनंत है और $\eta_S = P/Q \in \mathbb{Q}$ (न्यूनतम रूप में) है, तो प्रत्येक पर्याप्त बड़े डाइयडिक स्केल $X = 2^L$ के लिए एक स्थिरांक $c_{dens}(Q) > 0$ मौजूद है कि:
  $$A_S(2X) - A_S(X) \ge c_{dens}(Q) X$$
  जहाँ $A_S(X)$ $S$ का काउंटिंग फंक्शन है। यह स्थापित करता है कि परिमेयता प्रत्येक बड़े डाइयडिक ब्लॉक में एक समान धनात्मक घनत्व की आवश्यकता रखती है, न कि केवल एक उप-अनुक्रम (subsequence) पर।

• उपप्रमेय 1.2 (Erdős Problem 260 का समाधान): यदि $a_1 < a_2 < \dots$ संतुष्ट करता है $a_n/n \to \infty$, तो $\sum_{n \ge 1} a_n 2^{-a_n}$ अपरिमेय है।

  • तर्क: स्थिति $a_n/n \to \infty$ यह निहित करती है कि $A_S(X) = o(X)$, जो परिमेयता के लिए आवश्यक धनात्मक घनत्व के निम्नतम सीमा का खंडन करता है।

• पद्धतिगत नवाचार (Methodological Innovation): यह शोध पत्र ओवरलैपिंग गैप विंडोज़ और एकीकृत अतिरिक्त (integrated excess) का उपयोग करने वाली एक तकनीक पेश करता है ताकि किसी "अपवाद" बड़े अंतराल की आवश्यकता के बिना, अनिश्चित लघु और दीर्घ अंतरालों के मिश्रण को संभाला जा सके। यह कैरी पुनरावृत्ति पर रैखिक सीमा और लैटिस बिंदुओं की एफाइन ज्यामिति के बीच परस्पर क्रिया का लाभ उठाता है।

महत्ता और दावे

यह शोध पत्र एक स्थानीय घनत्व अवरोध (local density obstruction) की पहचान करके Erdős Problem 260 को हल करने का दावा करता है। परिणाम पिछले अपरिमेयता मानदंडों की तुलना में अधिक मजबूत है क्योंकि यह बड़े अंतरालों के उप-अनुक्रम के अस्तित्व पर निर्भर नहीं करता है; बल्कि, यह प्रदर्शित करता है कि परिमेयता डाइयडिक ब्लॉक्स में किसी भी स्थानीय विरलता के साथ असंगत है।

लेखक स्पष्ट रूप से कहते हैं कि उनकी विधि भारित बाइनरी श्रेणियों (हर में 2 की घातें और अंश में रैखिक भार) की विशिष्ट अंकगणितीय संरचना के लिए तैयार की गई है। वे अन्य आधारों (bases), अन्य भार अनुक्रमों, या $c_{dens}(Q)$ के अस्तित्व के अलावा किसी भी तीव्र मात्रात्मक घनत्व नियम के लिए सामान्य समाधान प्रदान करने का दावा नहीं करते हैं। प्रमाण अंकगणितीय और जटिल संयोजी अनुमानों पर आधारित है, जो गहन ट्रांसेंडेंटल नंबर थ्योरी के बजाय कैरी पुनरावृत्ति पर संरचनात्मक बाधाओं का उपयोग करता है।