🔢 mathematics

A Note on Diophantine Approximation with Restricted Denominators

यह शोध पत्र प्राकृतिक संख्याओं के उपसमुच्चयों के लिए एक विशिष्ट घनत्व अवधारणा प्रस्तुत करता है ताकि उन उपसमुच्चयों तक सीमित हरों (denominators) के साथ अपरिमेय संख्याओं के परिमेय सन्निकटन पर डिरिचलेट के प्रमेय के एक प्रतिबंधित सादृश्य को स्थापित किया जा सके।

मूल लेखक: Chance Sanford

प्रकाशित 2026-06-03

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Chance Sanford

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक डार्टबोर्ड पर बुल्सआई (bullseye) हिट करने की कोशिश कर रहे हैं जो एक अपरिमेय संख्या (irrational number) (एक ऐसी संख्या जैसे $\pi$ या $\sqrt{2}$ जो बिना दोहराए अनंत तक चलती है) को दर्शाता है। आप एक डार्ट फेंकना चाहते हैं (एक भिन्न/fraction, जैसे $3/1$ या $22/7$ ) जो बुल्सआई के जितना संभव हो सके उतना करीब पहुँचे।

गणित की दुनिया में, गणितज्ञ डिरिचलेट (Dirichlet) का एक प्रसिद्ध नियम है। यह कहता है: "चाहे आपका लक्ष्य नंबर कितना भी अजीब क्यों न हो, आप हमेशा एक ऐसा भिन्न (fraction) ढूंढ सकते हैं जो उसके बेहद करीब पहुँच जाए। वास्तव में, आप जितना करीब पहुँचते जाएंगे, आपके पास और भी करीब का भिन्न खोजने की संभावना उतनी ही बेहतर होती जाएगी, बशर्ते आपको अपने भिन्न के नीचे वाले हिस्से (denominator) के रूप में किसी भी पूर्ण संख्या (whole number) का उपयोग करने की अनुमति हो।"

समस्या: "प्रतिबंधित" डार्टबोर्ड

इस शोध पत्र के लेखक, चांस सैनफोर्ड (Chance Sanford), एक नया प्रश्न पूछते हैं: क्या होगा यदि आपको अपने भिन्न के नीचे वाले हिस्से के लिए किसी भी संख्या का उपयोग करने की अनुमति न हो?

कल्पना कीजिए कि कोई आपके डार्टबोर्ड के चारों ओर एक घेरा लगा देता है। वे कहते हैं, "आप केवल उन्हीं संख्याओं पर डार्ट फेंक सकते हैं जो इस विशिष्ट सूची में हैं।"

शायद सूची में केवल अभाज्य संख्याएँ (prime numbers) (2, 3, 5, 7...) हों।
शायद वे पूर्ण वर्ग (perfect squares) (1, 4, 9, 16...) हों।
या शायद वह कोई अजीब, कस्टम सूची हो।

यदि सूची बहुत "विरल" (sparse - यानी बहुत खाली) है, तो आप कभी भी पर्याप्त करीब नहीं पहुँच पाएंगे। लेकिन यदि सूची "सघन" (dense - यानी भरी हुई) है, तो आप अभी भी लक्ष्य को हिट कर सकेंगे, भले ही नियम अधिक सख्त हों।

समाधान: "भीड़भाड़" को मापना

सैनफोर्ड संख्याओं की सूची कितनी "भीड़भाड़ वाली" है, इसे मापने का एक नया तरीका पेश करते हैं। वे इसे डायोफेंटाइन घनत्व (Diophantine density) कहते हैं।

इसे एक पार्टी की तरह समझें:

उच्च घनत्व (High Density): पार्टी खचाखच भरी है। यदि आप कमरे के एक छोटे से हिस्से को देखते हैं, तो वहां बहुत सारे लोग हैं।
कम घनत्व (Low Density): पार्टी खाली है। आपको दूसरा व्यक्ति खोजने के लिए काफी दूर तक चलना पड़ सकता है।

सैनफोर्ड एक सरल लेकिन शक्तिशाली नियम सिद्ध करते हैं: यदि आपकी अनुमत संख्याओं की सूची "पर्याप्त भीड़भाड़ वाली" (उच्च घनत्व वाली) है, तो आप अभी भी अपने अपरिमेय लक्ष्य के बहुत करीब पहुँचने वाले भिन्न पा सकते हैं।

"आप कितना करीब" पहुँच सकते हैं, यह इस बात पर निर्भर करता है कि सूची कितनी भीड़भाड़ वाली है।

यदि सूची बहुत अधिक भीड़भाड़ वाली है (जैसे सभी प्राकृतिक संख्याएँ), तो आपको सबसे अच्छा परिणाम मिलता है (डिरिचलेट का मूल नियम)।
यदि सूची कम भीड़भाड़ वाली है, तो भी आपको एक अच्छा परिणाम मिलता है, लेकिन गणित कहता है कि वह भिन्न अनियंत्रित संस्करण की तुलना में बिल्कुल उतना सटीक नहीं होगा।

"कॉम्प्लीमेंट" (Complement) का तरीका

यह शोध पत्र इन सूचियों को बनाने के लिए एक चतुर तरीका भी देता है। एक "अच्छी" सूची शून्य से बनाने के बजाय, आप एक "खराब" सूची (जो बहुत विरल है) से शुरुआत कर सकते हैं और उसमें जो नहीं है उसे ले सकते हैं।

उदाहरण के लिए:

कल्पना कीजिए कि "पियात्स्की-शापिरो संख्याओं" (Piatetski-Shapiro numbers) की एक सूची है। ये संख्याएँ एक विशिष्ट, थोड़ी अजीब फॉर्मूला (जैसे $n^{1.5}$ का पूर्णांक भाग) द्वारा उत्पन्न होती हैं।
यह विशिष्ट सूची वास्तव में काफी "पतली" (thin) है (इनकी संख्या बहुत कम है)।
सैनफोर्ड दिखाते हैं कि यदि आप सभी प्राकृतिक संख्याओं को लेते हैं और इस पतली सूची को हटा देते हैं, तो शेष बची संख्याएँ बुल्सआई हिट करने के लिए एक बेहतरीन सूची के रूप में "मोटी" (thick) होती हैं।

"अभाज्य संख्या" (Prime Number) वास्तविकता की जाँच

शोध पत्र अभाज्य संख्याओं (Prime Numbers) के बारे में एक वास्तविकता की जाँच के साथ समाप्त होता है।
कई लोग सोचते हैं: "क्या हम केवल अभाज्य संख्याओं को अपने डिनोमिनेटर (denominator) के रूप में उपयोग करके बुल्सआई को हिट कर सकते हैं?"

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

पेंच (The Catch): इसका मतलब यह नहीं है कि अभाज्य संख्याओं का उपयोग करना असंभव है (अन्य गणितज्ञों ने सिद्ध किया है कि यह संभव है, लेकिन उन्होंने बहुत अलग, बहुत कठिन उपकरणों का उपयोग किया था)।
सीमा (The Limit): इसका मतलब केवल यह है कि सैनफोर्ड की विशिष्ट, सरल "भीड़भाड़" विधि अभाज्य संख्याओं के लिए इसे सिद्ध करने के लिए पर्याप्त मजबूत नहीं है। उनकी विधि उन सूचियों के लिए सबसे अच्छा काम करती है जो "मोटी" हैं, लेकिन अभाज्य संख्याओं जितनी पतली नहीं हैं।

सारांश

संक्षेप में, यह शोध पत्र कहता है:

यदि आप अपनी गणितीय समस्याओं को संख्याओं की एक विशिष्ट सूची तक सीमित करते हैं, तो भी आप बहुत अच्छे उत्तर प्राप्त कर सकते हैं।
उत्तर की गुणवत्ता इस बात पर निर्भर करती है कि वह सूची कितनी "भरी हुई" है।
हम अनुमान लगा सकते हैं कि उत्तर कितना अच्छा होगा यह मापकर कि सूची कितनी "भीड़भाड़ वाली" है।
यह तरीका कई सूचियों (जैसे वे संख्याएँ जो पूर्ण वर्ग नहीं हैं) के लिए अच्छा काम करता है, लेकिन यह सबसे कठिन पहेलियों (जैसे केवल अभाज्य संख्याओं का उपयोग करना) को हल करने के लिए बहुत सरल है।

समस्या विवरण
यह नोट जब अनुमानित परिमेय संख्याओं के हर (denominators) प्राकृतिक संख्याओं $\mathbb{N}$ के एक विशिष्ट उपसमुच्चय $A$ तक सीमित होते हैं, तो होने वाले डायोफेंटाइन सन्निकटन (Diophantine approximation) की समस्या को संबोधित करता है। जबकि डिरिचलेट का सन्निकटन प्रमेय गारंटी देता है कि किसी भी अपरिमेय $\xi$ के लिए, सह-अभाज्य (coprime) जोड़े $(p, q)$ के अनंत रूप से कई युग्म मौजूद हैं जो $|\xi - p/q| < 1/q^2$ को संतुष्ट करते हैं, लेखक यह जांचते हैं कि क्या एक समान सीमा प्राप्त की जा सकती है जब $q$ को $A \subseteq \mathbb{N}$ के भीतर रहने के लिए बाध्य किया जाए। यह शोध कार्य स्वीकार करता है कि यदि $A$ बहुत विरल (sparse) है, तो $q^{-2}$ की सीमा संभवतः अप्राप्य होगी। इस क्षेत्र में पिछले शोध, जैसे कि अभाज्य संख्याओं तक सीमित हरों पर माटोमेकी (Matomäki) का कार्य, काफी हद तक विश्लेषणात्मक संख्या सिद्धांत (analytic number theory) पर आधारित रहे हैं। यह शोध पत्र एक विशिष्ट प्रकार की घनत्व (density) की अवधारणा पेश करके एक संयोजी (combinatorial) दृष्टिकोण के माध्यम से इस समस्या को हल करने का प्रयास करता है।

कार्यप्रणाली
लेखक $\mathbb{N}$ के उपसमुच्चयों के लिए एक संयोजी "डायोफेंटाइन घनत्व" (Diophantine density) को परिभाषित करते हैं और परिणामों को स्थापित करने के लिए प्रारंभिक संख्या सिद्धांत और निरंतर भिन्नों (continued fractions) के गुणों का उपयोग करते हैं।

डायोफेंटाइन घनत्व की परिभाषा: एक समुच्चय $A \subseteq \mathbb{N}$ को डायोफेंटाइन घनत्व $\delta \in [0, 1]$ वाला तब कहा जाता है यदि एक स्थिरांक $C > 0$ मौजूद हो जिससे प्रत्येक पर्याप्त बड़े सह-अभाज्य जोड़े $(p, q)$ के लिए, $v \in A$ के ऊपर न्यूनतम किया गया $vp/q $का निकटतम पूर्णांक से न्यूनतम अंतर, जहाँ$ v \le q$, $C/q^\delta$ द्वारा सीमित हो।
- टिप्पणी: लेखक सिद्ध करते हैं कि धनात्मक डायोफेंटाइन घनत्व वाला कोई भी समुच्चय अनंत होता है।
संयोजी निर्माण (प्रमेय 4): यह शोध पत्र नियंत्रित विकास वाले समुच्चयों के पूरक (complement) का विश्लेषण करके विशिष्ट डायोफेंटाइन घनत्व वाले समुच्चय बनाने की एक विधि स्थापित करता है। विशेष रूप से, यदि एक समुच्चय का गणना फलन (counting function) $A(n) \ll n^\delta$ है, तो इसका पूरक $\mathbb{N} \setminus A$ एक डायोफेंटाइन घनत्व $1 - \delta$ रखता है। इसे $\{ \|kp/q\| : 1 \le k \le q \}$ के मल्टीसेट के वितरण का विश्लेषण करके और यह दिखाकर सिद्ध किया गया है कि $A$ के अनुरूप तत्वों को हटाने से न्यूनतम तत्व घनत्व द्वारा सीमित हो जाता है।
सन्निकटन पर अनुप्रयोग (प्रमेय 3): घनत्व की परिभाषा का उपयोग करते हुए, लेखक डिरिचलेट प्रमेय का एक प्रतिबंधित संस्करण व्युत्पन्न करते हैं। यदि $A$ का डायोफेंटाइन घनत्व $\delta > 0$ है, तो किसी भी अपरिमेय $\xi$ और $\epsilon > 0$ के लिए, $(u, v) \in \mathbb{Z} \times A$ के अनंत सह-अभाज्य जोड़े मौजूद हैं जो $|\xi - u/v| < 1/v^{1+\delta-\epsilon}$ को संतुष्ट करते हैं। प्रमाण $\xi$ के अभिसरणों (convergents) और त्रिकोण असमानता (triangle inequality) पर निर्भर करता है, जो यह दर्शाता है कि घनत्व की स्थिति अनंत भिन्न सह-अभाज्य युग्मों के अस्तित्व को सुनिश्चित करती है।

प्रमुख परिणाम

प्रमेय 3 (प्रतिबंधित डिरिचलेट): यदि एक उपसमुच्चय $A \subseteq \mathbb{N}$ का डायोफेंटाइन घनत्व $\delta > 0$ है, तो किसी भी अपरिमेय $\xi$ के लिए, $A$ में हरों के साथ अनंत सन्निकटन मौजूद हैं जो $|\xi - u/v| < v^{-(1+\delta-\epsilon)}$ को संतुष्ट करते हैं।
प्रमेय 4 (पूरकों का घनत्व): यदि एक समुच्चय $A$ संतुष्ट करता है $A(n) \ll n^\delta$ , तो पूरक $\mathbb{N} \setminus A$ का डायोफेंटाइन घनत्व $1 - \delta$ होता है।
प्रमेय 5 (पियाटेशकी-शापिरो अनुक्रम): पिछले प्रमेयों को पियाटेशकी-शापिरो अनुक्रमों $PSc = \{\lfloor n^c \rfloor\}_{n \ge 1}$ $P S c = {⌊ n^{c} ⌋}_{n \geq 1}$ (जहाँ $c > 1$ $c > 1$ ) पर लागू करते हुए, लेखक यह दिखाते हैं कि इन अनुक्रमों से बचने वाले (avoiding) पूर्णांकों के लिए त्रुटि सीमा $|\xi - p/q| < q^{-(2 - 1/c - \epsilon)}$ $∣ ξ - p / q ∣ < q^{- (2 - 1/ c - ϵ)}$ के साथ सन्निकटन संभव है।
- उदाहरण: $c=2$ के लिए (पूर्ण वर्ग से बचने के लिए), सीमा $q^{-(3/2 - \epsilon)}$ है।

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

हालाँकि, लेखक इन परिणामों के दायरे के संबंध में विनम्र हैं। शोध पत्र स्पष्ट रूप से कहता है कि विशिष्ट विरल समुच्चयों, जैसे कि अभाज्य संख्याओं के लिए ज्ञात अधिक सुदृढ़ परिणामों को पुनः प्राप्त करने के लिए ये विधियाँ "अत्यधिक मोटे" (too coarse) हैं। प्रमेय 4 को लागू करते हुए, लेखक नोट करते हैं कि अभाज्य संख्याओं का डायोफेंटाइन घनत्व 0 है (क्योंकि भाज्य संख्याओं का घनत्व 1 है), जिससे अभाज्य संख्याओं के लिए प्रमेय 3 अप्रभावी हो जाता है। इस प्रकार, इस कार्य को अत्यंत कठिन विरल समुच्चयों के समाधान के बजाय "पर्याप्त घने" उपसमुच्चयों के लिए एक सामान्य ढांचे के रूप में प्रस्तुत किया गया है।

समस्या: "प्रतिबंधित" डार्टबोर्ड

समाधान: "भीड़भाड़" को मापना

"कॉम्प्लीमेंट" (Complement) का तरीका

"अभाज्य संख्या" (Prime Number) वास्तविकता की जाँच

सारांश

इसी तरह के और पेपर