Duffin--Schaeffer examples, real residue systems, and Bohr-set primes

यहाँ स्टेफ़न एम. हेसेलिंग और फेलिप ए. रामिरेज़ (मैनुअल हाउके द्वारा परिशिष्ट के साथ) के शोध पत्र "डफिन-शैफर उदाहरण, वास्तविक अवशेष प्रणाली, और बोहर-सेट अभाज्य संख्याएँ" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण और संदर्भ

यह शोध पत्र डायोफेंटाइन सन्निकटन (Diophantine approximation) की एक मौलिक समस्या को संबोधित करता है, विशेष रूप से विषम डफिन-शैफर अनुमान (inhomogeneous Duffin–Schaeffer conjecture) और मोनोटोनिसिटी (एकदिष्टता) धारणाओं के विरुद्ध प्रति-उदाहरणों के निर्माण को।

• पृष्ठभूमि: शास्त्रीय खिंचिन प्रमेय (1924) बताता है कि एक गैर-घटती फलन $\psi: \mathbb{N} \to \mathbb{R}_{\ge 0}$ के लिए, $\psi$-सन्निकट संख्याओं का समुच्चय $W(\psi, 0)$ लेबेग माप (Lebesgue measure) 0 या 1 होता है, जो इस बात पर निर्भर करता है कि $\sum \psi(q)$ अभिसरण (converge) करता है या अपसरण (diverge) करता है। विषम (inhomogeneous) संस्करण (सुज़, 1958) इसे एक निश्चित शिफ्ट $y$ के लिए $W(\psi, y) = \{x : \|qx - y\| < \psi(q) \text{ i.o.}\}$ तक विस्तारित करता है।
• समस्या: डफिन और शैफर (1941) ने दिखाया कि होमोजेनियस सेटिंग में अपसरण के मामले में $\psi$ की मोनोटोनिसिटी आवश्यक है। रामिरेज़ (2017) ने इसे विषम सेटिंग में विस्तारित किया, यह दिखाते हुए कि किसी भी गणनीय (countable) सेट $Y$ के लिए, एक ऐसा गैर-मोनोटोनिक $\psi$ पाया जा सकता है जहाँ $\sum \psi(q)$ अपसरवित होता है, फिर भी सभी $y \in Y$ के लिए $\mu(W(\psi, y)) = 0$ होता है।
• अंतराल (The Gap): $Z$ के लिए $\mu(W(\psi, z)) = 1$ दिखाने वाला रामिरेज़ का परिणाम (जो कवरिंग सिस्टम से संबंधित एक गतिशील अनुमान पर आधारित था) सशर्त (conditional) था।
• लक्ष्य: लेखक एक अनकंडीशनल (unconditional) सामान्यीकरण सिद्ध करने का लक्ष्य रखते हैं: कि किसी भी गणनीय सेट्स $Y$ और $Z$ (जहाँ $Z$, $Y \cup \{1\}$ के परिमेय रूप से स्वतंत्र है) के लिए, एक फलन $\psi$ का निर्माण करें जिससे $y \in Y$ के लिए $\mu(W(\psi, y)) = 0$ हो और $z \in Z$ के लिए $\mu(W(\psi, z)) = 1$ हो, बिना किसी अप्रमाणित अनुमानों पर निर्भर रहे।

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

प्रमाण विशिष्ट पूर्णांकों के ब्लॉक्स पर समर्थित (supported) $\psi$ के फलन के परिष्कृत निर्माण पर निर्भर करता है, जिसे तीन प्रमुख सैद्धांतिक प्रगतियों के साथ जोड़ा गया है:

1. बोहर सेट्स (Bohr Sets) और वास्तविक अवशेष प्रणालियाँ (Real Residue Systems):

   • $\psi$ का सपोर्ट बोहर सेट्स (सेट्स जो $N_v(y, \epsilon) = \{n \in \mathbb{N} : \|ny - v\| < \epsilon\}$ के रूप में होते हैं) में स्थित अभाज्य संख्याओं के गुणनफलों का उपयोग करके बनाया गया है।
   • लेखक वास्तविक अवशेष प्रणालियों (Real Residue Systems) को पेश करते हैं, जो शास्त्रीय कवरिंग सिस्टम का सामान्यीकरण है जहाँ अवशेष $a_i$ पूर्णांकों के बजाय मनमाने वास्तविक नंबर हो सकते हैं। वे परिभाषित करते हैं $R(\epsilon, a, n) = \bigcup ([a_i - \epsilon, a_i + \epsilon] + n_i \mathbb{Z})$।
   • वे रोजर्स के प्रमेय (Rogers's Theorem, 1961) का एक सामान्यीकरण सिद्ध करते हैं, जो यह दिखाता है कि वास्तविक अवशेष प्रणाली का माप तब न्यूनतम होता है जब अवशेष शून्य ($a=0$) होते हैं। यह उन्हें $y \in Y$ के लिए सन्निकटन सेट्स के माप को होमोजेनियस केस के साथ तुलना करके बाउंड करने की अनुमति देता है।

2. बोहर सेट्स में अभाज्य संख्याओं का वितरण:

   • यह सुनिश्चित करने के लिए कि निर्मित सेट्स में आवश्यक घनत्व और स्वतंत्रता गुण हों, लेखकों को बोहर सेट्स के भीतर अभाज्य संख्याओं के वितरण को समझना आवश्यक है।
   • वे सीगल-वालिस्ज़ प्रमेय (Siegel–Walfisz Theorem) (अंकगणितीय प्रगति में अभाज्य संख्या प्रमेय) को बोहर सेट्स में अभाज्य संख्याओं के लिए सामान्यीकृत करते हैं।
   • वे बोहर सेट्स में अभाज्य संख्याओं के लिए विनोग्रादोव के प्रमेय (Vinogradov's Theorem) को सामान्यीकृत करते हैं, जो $(pz)_{p \in \mathbb{P}}$ के 1 (modulo 1) पर समविभाजन (equidistribution) पर आधारित है, बशर्ते कि रोटेशन एंगल $z$ बोहर सेट के मापदंडों से परिमेय रूप से स्वतंत्र हो।

3. संभाव्यतावादी और संयोजन संबंधी तर्क (Probabilistic and Combinatorial Arguments):

   • निर्माण में ब्लॉक्स का एक इंडक्टिव "ट्रायंगुलर एरे" (triangular array) का उपयोग किया जाता है।
   • वे सर्कल रोटेशन के मिक्सिंग गुणों और एर्डोस-टुरान लेम्मा (Erdős–Turán Lemma) का उपयोग यह सुनिश्चित करने के लिए करते हैं कि विभिन्न $z \in Z$ के लिए सन्निकटन सेट्स पर्याप्त रूप से स्वतंत्र हैं ताकि पूर्ण माप प्राप्त किया जा सके (रिवर्स बोरल-कैंतेली लेम्मा के माध्यम से)।
   • एक प्रमुख संयोजन संबंधी बाधा (जो बोहर सेट्स में अभाज्य संख्याओं के व्युत्क्रम योग के अपसरण से संबंधित है) को मैनुअल हाउके द्वारा परिशिष्ट में हल किया गया है, जो यह सिद्ध करते हैं कि कुछ धनात्मक-घनत्व वाले सेट्स में सीमित GCD वाले उपसमुच्चय और अपसरवित व्युत्क्रम योग नहीं होते हैं, जिससे निर्माण की सीमाओं को स्पष्ट किया गया है।

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

प्रमेय 1.1 (मुख्य परिणाम: अनकंडीशनल डफिन-शैफर उदाहरण)

किसी भी गणनीय सेट्स $Y, Z \subseteq \mathbb{R}$ के लिए, जहाँ $Z \subseteq \mathbb{R} \setminus \text{span}_{\mathbb{Q}}(\{1\} \cup Y)$, एक फलन $\psi: \mathbb{N} \to \mathbb{R}_{\ge 0}$ मौजूद है ताकि:

• $\sum \psi(q) = \infty$।
• सभी $y \in Y$ के लिए $\mu(W(\psi, y)) = 0$।
• सभी $z \in Z$ के लिए $\mu(W(\psi, z)) = 1$।
• महत्व: यह पिछले कार्य से सशर्त धारणा को हटा देता है, और ऐसे "पैथोलॉजिकल" फलनों के अस्तित्व को बिना शर्त स्थापित करता है।

प्रमेय 1.2 (वास्तविक अवशेषों के लिए रोजर्स का प्रमेय)

$\epsilon = 2^{-k}$ और किसी भी $n \in \mathbb{N}^\ell$ के लिए, वास्तविक अवशेष प्रणाली $R(\epsilon, a, n)$ का माप तब न्यूनतम होता है जब $a = 0$ हो:
$$\mu(R(\epsilon, a, n) \cap [0, \text{lcm}(n)]) \ge \mu(R(\epsilon, 0, n) \cap [0, \text{lcm}(n)])$$

• महत्व: यह कवरिंग सिस्टम के एक शास्त्रीय परिणाम को निरंतर (continuous/real) सेटिंग में विस्तारित करता है, जो सन्निकटन सेट्स के माप के लिए आवश्यक निचला बाउंड प्रदान करता है।

प्रमेय 1.3 (बोहर सेट्स के लिए अभाज्य संख्या प्रमेय)

यदि $H^\times$ सह-अभाज्य (coprime) इंडेसेस द्वारा जनित बोहर सेट के बिंदुओं का सेट है, तो $X$ तक $N_v(w, \epsilon)$ में अभाज्य संख्याओं की संख्या इस प्रकार संतुष्ट होती है:
$$\#(P \cap N_v(w, \epsilon) \cap [1, X]) \sim \mu_\times(B(v, \epsilon)) \frac{X}{\log X}$$

• महत्व: यह अभाज्य संख्याओं के वितरण को अंकगणितीय प्रगति से अधिक जटिल ज्यामिति वाले बोहर सेट्स तक सामान्यीकृत करता है।

प्रमेय 1.4 (बोहर-सेट अभाज्य संख्याओं के साथ समविभाजन)

यदि $z$ बोहर सेट के मापदंडों से परिमेय रूप से स्वतंत्र है, तो अनुक्रम $(pz)_{p \in P \cap N_v(y, \epsilon)}$ modulo 1 पर समविभाजित (equidistributed) है।

• महत्व: यह विनोग्रादोव के प्रमेय को सामान्यीकृत करता है, यह सुनिश्चित करता है कि इन विशिष्ट सेट्स में अभाज्य संख्याएँ इतनी "रैंडम" व्यवहार करती हैं कि मुख्य प्रमाण के संभाव्यतावादी तर्क काम कर सकें।

परिशिष्ट A (मैनुअल हाउके)

• परिणाम: धनात्मक घनत्व वाले उपसमुच्चयों के संबंध में एक संयोजन संबंधी प्रश्न का उत्तर देता है। यह सिद्ध करता है कि एक सेट $A$ में एक उपसमुच्चय $B$ होता है जिसमें सीमित युग्मवार (pairwise) GCD और अपसरवित व्युत्क्रम योग होते हैं, तभी और केवल तभी जब $A$ में एक स्केल्ड सेट $n_0 P$ हो जहाँ $\sum_{p \in P} 1/p = \infty$।
• महत्व: यह मुख्य शोध पत्र के निर्माण के संदर्भ में व्युत्क्रम योगों के अपसरण के लिए संरचनात्मक आवश्यकताओं को स्पष्ट करता है।

4. महत्व और प्रभाव

1. एक सशर्त समस्या का समाधान: यह शोध पत्र पहला अनकंडीशनल प्रमाण प्रदान करता है कि विषम डफिन-शैफर घटना (कुछ मापदंडों के लिए शून्य माप, अन्य के लिए पूर्ण माप, बावजूद इसके कि योग अपसरवित है) मापदंडों के किसी भी गणनीय सेट्स के लिए सत्य है।
2. नए विश्लेषणात्मक उपकरण: वास्तविक अवशेष प्रणालियों का विकास और सीगल-वालिस्ज़ तथा विनोग्रादोव प्रमेयों को बोहर सेट्स तक विस्तारित करना, उच्च आयामों और गैर-मानक सेटिंग्स में डायोफेंटाइन सन्निकटन का अध्ययन करने के लिए एक नया टूलकिट बनाता है।
3. क्षेत्रों का अंतर्संबंध: यह कार्य मेट्रिक नंबर थ्योरी, एनालिटिक नंबर थ्योरी (अभाज्य वितरण), एर्गोडिक थ्योरी (समविभाजन), और एडिटिव कॉम्बिनेटरिक्स (कवरिंग सिस्टम और GCD गुण) को गहराई से एकीकृत करता है।
4. प्रति-उदाहरण (Counterexamples): यह खिंचिन-प्रकार के प्रमेयों में मोनोटोनिसिटी की आवश्यकता को पुख्ता करता है, यह दिखाते हुए कि बिना इसके, सन्निकटन सेट का माप (योग के अपसरण के बावजूद) मनमाने ढंग से (0 या 1) बदला जा सकता है।

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