Primitive inhomogeneous approximation for fixed non-singular frequencies

तकनीकी सारांश: स्थिर गैर-विलक्षण आवृत्तियों के लिए मौलिक विषम समांग सन्निकटन (Primitive Inhomogeneous Approximation)

समस्या विवरण
यह शोध पत्र उच्च आयामों ($d \ge 2$) में मौलिक विषम डिएफैंटाइन सन्निकटन (primitive inhomogeneous Diophantine approximation) की समस्या को संबोधित करता है। विशेष रूप से, यह एक निश्चित आवृत्ति वेक्टर $\alpha \in \mathbb{R}^d$ और एक लक्ष्य वेक्टर $\gamma \in \mathbb{R}^d$ के लिए सन्निकटन त्रुटि के व्यवहार की जांच करता है। लक्ष्य यह निर्धारित करना है कि क्या यह परिमाण
$$\liminf_{n \to \infty} n^{1/d} \min_{\substack{m \in \mathbb{Z}^d \\ \gcd(n, m_1, \dots, m_d)=1}} \|\gamma - n\alpha + m\|_\infty$$
लेबेग (Lebesgue) लगभग हर $\gamma$ के लिए शून्य के बराबर है।

प्रतिबंध $\gcd(n, m_1, \dots, m_d) = 1$ एक पूर्णांक वेक्टर $(n, m_1, \dots, m_d)$ पर एक "मौलिक" (primitive) शर्त लागू करता है, जो इसे मानक विषम सन्निकटन से अलग करता है। जबकि एक-आयामी मामले ($d=1$) को जितोमिरस्काया और लियू [JL19] द्वारा प्रत्येक अपरिमेय $\alpha$ के लिए हल किया गया था, उच्च-आयामी अनुरूप के लिए $\alpha$ पर एक अधिक सूक्ष्म परिकल्पना की आवश्यकता होती है। केवल परिमेय स्वतंत्रता (rational independence) अपर्याप्त है, जैसा कि गैलाटालो और पीटरलोंगो [GP10] द्वारा सिंगुलर वेक्टर्स के संबंध में दिए गए प्रति-उदाहरणों द्वारा प्रदर्शित किया गया है।

कार्यप्रणाली
प्रमाण दो प्राथमिक घटकों के इर्द-गिर्द संरचित है: एक मौलिक विसंगति अनुमान (primitive discrepancy estimate) और एक सिकुड़ते-लक्ष्य निर्माण (shrinking-target construction)।

1. मौलिक विसंगति अनुमान (अनुभाग 3):
   लेखक उन पूर्णांकों की संख्या के लिए एक स्पर्शोन्मुखी गणना स्थापित करते हैं जहाँ $n \le N$ है ताकि कक्षा बिंदु (orbit point) $\{n\alpha\}$ एक जॉर्डन मापने योग्य समुच्चय (Jordan measurable set) $A$ में गिरता है और वेक्टर $(n, \lfloor n\alpha_1 \rfloor - b_1, \dots, \lfloor n\alpha_d \rfloor - b_d)$ मौलिक है।

• छलनी विधि (Sieve Method): गैर-मौलिक वेक्टर्स को छानने के लिए म्यूबियस फलन (Möbius function) $\mu(r)$ का उपयोग करते हुए एक प्रारंभिक छलनी का प्रयोग किया जाता है।
• वेइल समतुल्य वितरण (Weyl Equidistribution): एक निश्चित वर्ग-मुक्त $r$ के लिए, घटकों को विभाजित करने की शर्त को $\{n\alpha\}$ के भिन्नात्मक भागों पर सर्वांगसमता (congruence) शर्तों में अनुवादित किया जाता है। $\{n\alpha\}$ का समान वितरण (जो $1, \alpha_1, \dots, \alpha_d$ की $\mathbb{Q}$ पर रैखिक स्वतंत्रता द्वारा गारंटीकृत है) इन गणनाओं के अनुमान की अनुमति देता है।
• त्रुटि नियंत्रण: बड़े अभाज्य विभाजकों के योगदान को "अच्छे पैमाने" (good scale) की स्थिति (1.1) से प्राप्त पैकिंग अनुमान का उपयोग करके नियंत्रित किया जाता है। यह स्थिति सुनिश्चित करती है कि कक्षा बिंदु $\{n\alpha\}$ पर्याप्त रूप से अलग-थलग हैं, जिससे क्लस्टरिंग (clustering) को रोका जा सके जो विसंगति सीमाओं का उल्लंघन कर सकती है।

2. सिकुड़ते-लक्ष्य निर्माण (अनुभाग 4):
   लगभग हर $\gamma$ के लिए परिणाम सिद्ध करने हेतु, लेखक एक द्वितीय-क्षण बोरेल-कैन्टेली लेम्मा (second-moment Borel–Cantelli lemma) का उपयोग करके स्वीकार्य लक्ष्यों का एक पूर्ण-माप सेट (full-measure set) निर्मित करते हैं।

• लक्ष्य समुच्चय (Target Sets): "अच्छे पैमानों" $N_j$ (जहाँ पृथक्करण की स्थिति बनी रहती है) के एक अनुक्रम के लिए, मौलिक कक्षा बिंदुओं $\{n\alpha\}$ के चारों ओर भुजा लंबाई $r_j \sim N_j^{-1/d}$ वाले छोटे बॉक्स रखे जाते हैं।
• अर्ध-स्वतंत्रता (Quasi-Independence): एक प्रमुख तकनीकी चरण यह सिद्ध करना है कि विभिन्न पैमानों पर लक्ष्य समुच्चयों का प्रतिच्छेदन उनके मापों के गुणनफल के समान व्यवहार करता है। इस अर्ध-स्वतंत्रता को बॉक्सों के सीमा प्रभावों का विश्लेषण करके और कक्षा के पृथक्करण गुण का उपयोग करके स्थापित किया जाता है।
• माप तर्क: पैमानों के एक उप-अनुक्रम का चयन करके और द्वितीय-क्षण लेम्मा को लागू करके, लेखक यह दिखाते हैं कि इन सिकुड़ते लक्ष्यों का संघ (union) टॉरस के लगभग हर बिंदु को कवर करता है।

मुख्य परिणाम
मुख्य प्रमेय (प्रमेय 1.1) यह बताता है कि किसी भी आयाम $d \ge 2$ और किसी भी आवृत्ति $\alpha$ के लिए जो स्पष्ट वर्ग $\Lambda_d$ (रैखिकता $\mathbb{Q}$ पर और एक गैर-सिंगुलैरिटी स्थिति द्वारा परिभाषित जो $\min_{1 \le n \le N} \|n\alpha\|$ पर निचली सीमा शामिल करती है) से संबंधित है, मौलिक विषम सन्निकटन लेबेग लगभग हर $\gamma \in \mathbb{R}^d$ के लिए मान्य है।

विशेष रूप से, $\alpha \in \Lambda_d$ के लिए:
$$\liminf_{n \to \infty} n^{1/d} \min_{\substack{m \in \mathbb{Z}^d \\ \gcd(n, m_1, \dots, m_d)=1}} \|\gamma - n\alpha + m\|_\infty = 0$$
यह दिखाया गया है कि $\Lambda_d$ का पूर्ण लेबेग माप है।

महत्व और दावे
यह शोध पत्र दो प्राथमिक नवीनताओं का दावा करता है:

1. निश्चित-आवृत्ति परिणाम: पिछले मेट्रिक परिणामों (जैसे, दानी, लॉरेंट और नोगेरा [DLN15]) के विपरीत, जो लगभग हर युग्म $(\alpha, \gamma)$ के लिए परिणाम स्थापित करते हैं, यह कार्य एक निश्चित निर्धारित $\alpha$ के लिए परिणाम प्रदान करता है, बशर्ते $\alpha$ गैर-विलक्षण हो। यह एलन और रामिरेज़ [AR25] द्वारा उठाए गए पूरक प्रश्न को संबोधित करता है।
2. महत्वपूर्ण पैमाने का संरक्षण: परिणाम यह प्रदर्शित करता है कि मौलिक प्रतिबंध (सह-प्राPrimality की शर्त) $n^{-1/d}$ के महत्वपूर्ण सिकुड़ते-लक्ष्य पैमाने को नष्ट नहीं करता है। यह पैमाना आयाम $d$ में एक साथ सन्निकटन (simultaneous approximation) के लिए इष्टतम है।

लेखक इस कार्य को जितोमिरस्काया और लियू [JL19] के एक-आयामी सिद्धांत और शापीरा [Sha13] के गैर-मौलिक उच्च-आयामी कार्य के एक स्वाभाविक विस्तार के रूप में प्रस्तुत करते हैं। गैर-विलक्षणता की स्थिति को उच्च आयामों में निश्चित-आवृत्ति प्रमेयों के लिए सही परिकल्पना के रूप में पहचाना गया है, जो सरल परिमेय स्वतंत्रता का स्थान लेती है।