🔢 mathematics

Dirichlet improvability in $L_p$ -norms

यह शोध पत्र $L_p$ -मानों के लिए निरंतर भिन्न (continued fraction) पैटर्न के संदर्भ में $F$ -डिरिचलेट सुधार योग्य (Dirichlet improvable) संख्याओं का एक पूर्ण लक्षण वर्णन प्रदान करता है, जो विशिष्ट सेट अंतरों के पूर्ण हाउज़डॉर्फ आयाम (Hausdorff dimension) के संबंध में क्लाइनबॉक और राव के खुले प्रश्नों को हल करता है और $p$ के उस सटीक परास (range) को निर्धारित करता है जिसके लिए संख्या $e$ डिरिचलेट सुधार योग्य है।

मूल लेखक: Nikolay Moshchevitin, Nikita Shulga

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

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

CC BY 4.0

मूल लेखक: Nikolay Moshchevitin, Nikita Shulga

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

कल्पना कीजिए कि आप $1/2$ , $3/4$ , या $22/7$ जैसे भिन्नों (fractions) का उपयोग करके एक गुप्त संख्या, $\alpha$ , का अनुमान लगाने की कोशिश कर रहे हैं। गणित की दुनिया में, इसे डायरफेंटाइन सन्निकटन (Diophantine approximation) कहा जाता है। लक्ष्य यह देखना है कि एक भिन्न वास्तव में उस गुप्त संख्या के समान हुए बिना, उसके कितने करीब "चिपक" (hug) सकता है।

एक सदी से अधिक समय से, गणितज्ञों को एक नियम पता है (डिरिचलेट का प्रमेय) जो कहता है: "चाहे आपका गुप्त नंबर कुछ भी हो, आप हमेशा एक पर्याप्त करीबी भिन्न पा सकते हैं।" हालांकि, कुछ बहुत ही जिद्दी संख्याओं के लिए, आप बहुत अधिक करीब नहीं पहुँच सकते। इन्हें बुरे रूप से सन्निकटनीय (Badly Approximable) संख्याएँ कहा जाता है। ये गणित की दुनिया के "असहयोगी" नंबर हैं।

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

विभिन्न रूलर्स (मापने के पैमाने)

इन नॉर्म्स को एक शहर में दूरी मापने के विभिन्न तरीकों के रूप में सोचें:

टैक्सी नॉर्म ( $L_1$ ): आप केवल शहर के ब्लॉकों (ऊपर, नीचे, बाएँ, दाएँ) के साथ चल सकते हैं। दूरी कदमों का योग है।
सीधी रेखा वाला नॉर्म ( $L_2$ ): आप तिरछा (diagonally) उड़ सकते हैं। यह मानक यूक्लिडियन दूरी है।
"मैक्स" नॉर्म ( $L_\infty$ ): आपको केवल आपके द्वारा लिए गए सबसे लंबे एकल कदम की परवाह है, अन्य को अनदेखा करते हुए।

लेखक पूछते हैं: यदि हम रूलर बदल दें, तो क्या "असहयोगी" संख्याओं की सूची बदल जाएगी?

मुख्य खोज: एक गुप्त कोड

इस शोध पत्र की सबसे बड़ी सफलता इन संख्याओं के लिए एक "डिकोडर रिंग" खोजने में है। उन्होंने पाया कि चाहे कोई संख्या "सुधारने योग्य" (सन्निकट करने में आसान) हो या "गैर-सुधारने योग्य" (सन्निकट करने में कठिन) हो, यह पूरी तरह से इसके कंटीन्यूड फ्रैक्शन (continued fraction) के भीतर संख्याओं के पैटर्न पर निर्भर करता है।

कंटीन्यूड फ्रैक्शन एक संख्या के लिए रेसिपी की तरह है, जिसे पूर्णांकों की एक सूची के रूप में लिखा जाता है: $[a_0; a_1, a_2, a_3, \dots]$ ।

पुराना नियम: मानक रूलर ( $L_\infty$ ) के लिए, एक संख्या तब जिद्दी होती है जब उसकी रेसिपी में विशाल संख्याएँ होती हैं जो हमेशा बढ़ती रहती हैं।
नया नियम: लेखकों ने पाया कि अन्य रूलर्स ( $L_1, L_2$ , आदि) के लिए, "जिद्दीपन" रेसिपी में विशिष्ट सममित पैटर्न (symmetrical patterns) पर निर्भर करता है।

कल्पना कीजिए कि रेसिपी एक गाना है।

टैक्सी नॉर्म ( $L_1$ ) के लिए, गाना तब जिद्दी होता है जब इसमें एक बहुत ही विशिष्ट, लगभग सममित कोरस होता है जो बढ़ती आवाज़ के साथ दोहराता है।
सीधी रेखा वाले नॉर्म ( $L_2$ ) के लिए, गाना तब जिद्दी होता है जब इसमें एक विशिष्ट पैटर्न होता है जहाँ दो भाग एक-दूसरे के बराबर 3 होने के लिए गुणा होते हैं।
मैक्स नॉर्म ( $L_\infty$ ) के लिए, यह केवल बड़ी संख्याओं के बारे में है।

लेखकों ने मानचित्रित किया कि प्रत्येक प्रकार के रूलर के लिए कौन से पैटर्न एक संख्या को जिद्दी बनाते हैं।

आश्चर्यजनक परिणाम

इस पैटर्न-मैपिंग का उपयोग करते हुए, उन्होंने कई पहेलियों को हल किया जो पहले अनसुलझी थीं:

"बीच के" नंबर:
उन्होंने सिद्ध किया कि संख्याओं का एक विशाल, अनंत समूह है जो एक रूलर के साथ "सुधारने योग्य" (आसान) है लेकिन दूसरे के साथ "गैर-सुधारने योग्य" (कठिन) है।

उपमा: कल्पना करें कि एक संख्या जिसे वर्गों से बनी जाल (Taxi norm) से पकड़ना आसान है, लेकिन वृत्तों से बने जाल (Straight-line norm) से पकड़ना असंभव है। लेखकों ने दिखाया कि इन "आकार बदलने वाले" संख्याओं का सेट इतना विशाल है कि इसका "पूर्ण आयाम" (full dimension) है (गणितीय अर्थ में यह पूरी संख्या रेखा के समान बड़ा है)।

संख्या $e$ का रहस्य:
उन्होंने अपने नए नियमों को प्रसिद्ध संख्या $e$ (प्राकृतिक लघुगणक का आधार, लगभग 2.718) पर लागू किया।

उन्होंने पाया कि $e$ टैक्सी रूलर ( $L_1$ ) और सीधी रेखा वाले रूलर ( $L_2$ ) के साथ सन्निकट करने में आसान है।
हालाँकि, $e$ तब जिद्दी (कठिन) हो जाता है यदि आप एक ऐसा रूलर उपयोग करते हैं जिसमें 2 और एक विशेष स्थिरांक जिसे $p_0$ (लगभग 2.57) कहा जाता है, के बीच एक विशिष्ट "खिंचाव" (stretch) हो, या यदि आप उस $p_0$ से भी अधिक खिंचाव वाला रूलर उपयोग करते हैं।
सरल शब्दों में: $e$ एक गिरगिट की तरह है। आप जिस भी "रूलर" से इसे मापते हैं, यह अलग व्यवहार करता है।

"क्रिटिकल" स्थिरांक ( $p_0$ ):
एक जादुई संख्या $p_0 \approx 2.57$ है, जहाँ खेल के नियम पूरी तरह से बदल जाते हैं। इस संख्या से नीचे, "जिद्दी" होने के लिए आवश्यक पैटर्न एक चीज़ है; इसके ऊपर, वे कुछ और हैं। लेखकों ने इस टिपिंग पॉइंट (निर्णायक बिंदु) की पहचान की और बताया कि नियम ठीक कैसे बदलते हैं।

यह क्यों महत्वपूर्ण है (शोध पत्र के अनुसार)

यह शोध पत्र पुल बनाने या बीमारियों के इलाज के बारे में बात नहीं करता है। इसके बजाय, यह संख्याओं की संरचना के बारे में एक गहरे सैद्धांतिक पहेली को हल करता है।

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

संक्षेप में, लेखकों ने अलग-अलग आकारों के साथ संख्याओं को मापने की एक जटिल समस्या को पैटर्न पहचान के खेल में बदल दिया, जिससे यह खुलासा हुआ कि संख्याओं का ब्रह्मांड पहले की तुलना में कहीं अधिक विविध और संरचित है।

तकनीकी सारांश: $L^p$ -मानों में डिरिचलेट सुधारणीयता (Dirichlet Improvability)

समस्या विवरण

यह शोध पत्र $\mathbb{R}^2$ पर सामान्य $L^p$ -मानों के संदर्भ में डिरिचलेट सुधारणीय संख्याओं (Dirichlet improvable numbers) के वर्गीकरण को संबोधित करता है। जबकि सुप्रीमम नॉर्म ( $L^\infty$ ) का शास्त्रीय मामला अच्छी तरह से समझा गया है—जहाँ एक संख्या तब डिरिचलेट सुधारणीय होती है जब वह 'बैडली अप्रोक्सिमेबल' (badly approximable) नहीं होती (प्रमेय B)—अन्य नॉर्म्स ( $1 \le p < \infty$ ) के लिए इन समुच्चयों का व्यवहार काफी हद तक खुला रहा है।

विशेष रूप से, लेखक तीन परस्पर जुड़े हुए प्रश्नों को हल करते हैं:

वर्गीकरण (समस्या I): क्या $p$ -डिरिचलेट सुधारणीय संख्याओं ( $DI_p$ ) को उनके निरंतर भिन्न (continued fraction) विस्तार में पाए जाने वाले पैटर्न के आधार पर वर्गीकृत किया जा सकता है, जैसा कि $L^\infty$ के लिए शास्त्रीय परिणाम में किया गया है?
आकार का मीट्रिक अंतर (समस्या II): क्या समुच्चय अंतर $DI_p \setminus BA$ (वे संख्याएँ जो $p$ -सुधारणीय हैं लेकिन बैडली अप्रोक्सिमेबल नहीं हैं) पूर्ण हौसडॉर्फ आयाम (full Hausdorff dimension) रखते हैं? यह क्लेनबॉक और राव द्वारा यूक्लिडियन नॉर्म ( $p=2$ ) के लिए उठाया गया एक खुला प्रश्न था।
तुलनात्मक आकार (समस्या III): दो अलग-अलग नॉर्म्स के लिए सुधारणीय संख्याओं के समुच्चयों के बीच के अंतर का आकार क्या है, विशेष रूप से $DI_{p_1} \setminus DI_{p_2}$ ?

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

लेखक ज्यामिति (geometry of numbers), गतिक प्रणालियों (dynamical systems), और निरंतर भिन्न के मीट्रिकल सिद्धांत (metrical theory of continued fractions) के संयोजन का उपयोग करते हैं।

दानी का पत्राचार (Dani's Correspondence) और क्रिटिकल लैटिस:
अध्ययन यूनिमोलर लैटिस के स्थान में लैटिस प्रक्षेप पथों (lattice trajectories) की गतिशीलता में डायोफैंटाइन सन्निकटन समस्याओं को अनुवादित करने के लिए दानी के पत्राचार का उपयोग करता है। एक संख्या $\alpha$ , नॉर्म $F$ के यूनिट बॉल $B_F$ के लिए एक क्रिटिकल लैटिस पर संचित होने वाले लैटिस प्रक्षेप पथ के माध्यम से $F$ -डिरिचलेट गैर-सुधारणीय (non-improvable) होती है।
लेखक $L^p$ -यूनिट बॉल्स ( $B_p$ ) के लिए क्रिटिकल लैटिस के वर्गीकरण पर अत्यधिक निर्भर हैं, जो ग्लज़ुनोव, गोलावनोव और मालिशेव [14] द्वारा पूर्ण किया गया एक परिणाम है। यह वर्गीकरण एक क्रिटिकल स्थिरांक $p_0 \approx 2.57$ पर एक संरचनात्मक विभाजन (structural bifurcation) प्रकट करता है।
निरंतर भिन्न में पैटर्न विश्लेषण:
क्रिटिकल लैटिस की ओर अभिसरण करने वाले लैटिस प्रक्षेप पथों के सीमा व्यवहार का विश्लेषण करके, लेखक $\alpha$ के निरंतर भिन्न विस्तार के पलिंड्रोमिक (palindromic) या सममित पैटर्न के रूप में $p$ -डिरिचलेट गैर-सुधारणीयता के लिए आवश्यक और पर्याप्त स्थितियाँ प्राप्त करते हैं।

$2 < p < p_0$ के लिए, गैर-सुधारणीयता $x, 1, 1, y$ या $x, 2, y$ जैसे पैटर्न से संबंधित है जहाँ $\min(x, y) \to \infty$ ।
$p \in (1, 2) \cup (p_0, \infty)$ के लिए, पैटर्न एक विशिष्ट स्थिरांक $\varsigma_p$ (जो $\varsigma + (1+\varsigma)^p = 2$ का मूल है) के निरंतर भिन्न विस्तार पर निर्भर करते हैं।

हौसडॉर्फ आयाम सीमाएँ:
यह सिद्ध करने के लिए कि कुछ समुच्चयों का हौसडॉर्फ आयाम पूर्ण है, लेखक उनके निरंतर भिन्नों में विशिष्ट पैटर्न सम्मिलित करके बैडली अप्रोक्सिमेबल संख्याओं के उपसमुच्चयों का निर्माण करते हैं। वे यह दिखाने के लिए कि पैटर्न का सम्मिलन अंतर्निहित सेट के पूर्ण आयाम को संरक्षित करता है और साथ ही डायोफैंटाइन गुणों को बदल देता है, एक सिंबोलिक स्पेस मैपिंग तकनीक (लेम्मा 9.1) का उपयोग करते हैं। इसमें यह सिद्ध करना शामिल है कि सम्मिलन मानचित्र स्थानीय रूप से लिप्सचिट्ज़ (Lipschitz) है और इसका व्युत्क्रम स्थानीय रूप से होल्डर (Hölder) निरंतर है।

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

1. पूर्ण वर्गीकरण (प्रमेय 3.1)

यह शोध पत्र सभी $p \in [1, \infty)$ के लिए $DI_p^c$ ( $p$ -डिरिचलेट सुधारणीय संख्याओं का पूरक) के लिए एक पूर्ण और प्रभावी लक्षण वर्णन प्रदान करता है।

मामला $2 < p < p_0$ : $\alpha \in DI_p^c$ यदि और केवल यदि इसके निरंतर भिन्न में पैटर्न $x, 1, 1, y$ या $x, 2, y$ शामिल हैं जहाँ $\min(x, y) \to \infty$ ।
मामला $p \in (1, 2) \cup (p_0, \infty)$ : शर्त $\varsigma_p$ पर निर्भर करती है। यदि $\varsigma_p$ परिमेय है, तो $\varsigma_p$ के अंकों से जुड़े विशिष्ट परिमित पलिंड्रोमिक पैटर्न होने चाहिए। यदि $\varsigma_p$ अपरिमेय है, तो $\varsigma_p$ के निरंतर भिन्न से प्राप्त अनिश्चित रूप से लंबे पलिंड्रोमिक पैटर्न होने चाहिए।
मामला $p=1$ और $p=2$ : लक्षण वर्णन अधिक जटिल सममित पैटर्न में शामिल है और $p=2$ के लिए, $\beta, \beta^*$ संख्याओं के जोड़े संतुष्ट करते हैं $\beta \cdot \beta^* = 3$ ।

2. आयाम पर खुले प्रश्नों का समाधान

प्रमेय 1.1: किसी भी $p \in [1, \infty)$ के लिए, समुच्चय $DI_p \setminus BA$ का पूर्ण हौसडॉर्फ आयाम (आयाम 1) होता है। यह क्लेनबॉक और राव द्वारा $p=2$ के लिए उठाए गए खुले प्रश्न को हल करता है और इसे सभी $L^p$ नॉर्म्स के लिए सामान्यीकृत करता है। लेखक स्पष्ट रूप से उल्लेख करते हैं कि यह $p=\infty$ के लिए विफल रहता है (जहाँ $DI_\infty \setminus BA = \mathbb{Q}$ )।
प्रमेय 1.2: समुच्चय $DI_2 \setminus DI_1$ और $DI_1 \setminus DI_2$ दोनों का पूर्ण हौसडॉर्फ आयाम है। यह प्रदर्शित करता है कि विभिन्न $L^p$ नॉर्म्स के लिए सुधारणीय संख्याओं के समुच्चय भिन्न हैं और उनके अंतर फ्रैक्टल अर्थ में "बड़े" हैं।

3. विशिष्ट स्थिरांकों का लक्षण वर्णन

उपप्रमेय 3.9: लेखक अपने वर्गीकरण को संख्या $e$ पर लागू करते हैं। वे सिद्ध करते हैं कि $e \in DI_p$ यदि और केवल यदि $p \in (1, 2) \cup (p_0, \infty)$ । फलस्वरूप, $e$ , $p \in [2, p_0]$ के लिए $p$ -डिरिचलेट सुधारणीय नहीं है।
उपप्रमेय 3.8: उन $p$ मानों का समुच्चय जिनके लिए $p$ -डिरिचलेट गैर-सुधारणीय बैडली अप्रोक्सिमेबल संख्याएँ मौजूद हैं, $(1, 2) \cup (p_0, \infty)$ में सघन (dense) है, जिसका लेबेस्क माप शून्य है, और जिसका पूर्ण हौसडॉर्फ आयाम है।

4. मिंकोव्स्की के अनुमान का सत्यापन

यह शोध पत्र $L^p$ बॉल्स के लिए क्रिटिकल लैटिस के संबंध में मिंकोव्स्की के अनुमान के प्रमाण का स्वतंत्र सत्यापन (परिशिष्ट A) शामिल करता है, जो ग्लज़ुनोव आदि [14] के मूल प्रमाण में कोड की कमी को संबोधित करता है।

महत्व और दावे

यह शोध पत्र दावा करता है कि यह $L^p$ -मानों के लिए निरंतर भिन्न पैटर्न के संदर्भ में डिरिचलेट सुधारणीय संख्याओं का पहला पूर्ण और प्रभावी वर्गीकरण प्रदान करता है। यह $L^\infty$ के शास्त्रीय सिद्धांत और अन्य नॉर्म्स की अधिक जटिल ज्यामिति के बीच के अंतर को पाटता है।

इसका महत्व इस प्रकार है:

एकीकरण: यह पूरे $L^p$ नॉर्म परिवार में डिरिचलेट सुधारणीयता की समझ को एकीकृत करता है, जो $p_0 \approx 2.57$ पर एक चरण संक्रमण (phase transition) को प्रकट करता है।
मीट्रिक समाधान: यह $DI_p \setminus BA$ और $DI_{p_1} \setminus DI_{p_2}$ जैसे समुच्चयों के "आकार" के प्रश्न को हल करता है, यह दिखाते हुए कि वे केवल गैर-रिक्त नहीं हैं बल्कि उनका अधिकतम संभव हौसडॉर्फ आयाम है।
विशिष्ट अनुप्रयोग: यह $L^p$ नॉर्म्स के तहत संख्या $e$ के डायोफैंटाइन गुणों के संबंध में एक निर्णायक उत्तर प्रदान करता है, जो व्यापक वर्गीकरण का एक विशिष्ट उदाहरण है।

लेखक इस बात पर जोर देते हैं कि उनके परिणाम क्रिटिकल लैटिस के वर्गीकरण और निरंतर भिन्न के सिद्धांत से प्राप्त किए गए हैं, जिससे अनुमानित (heuristic) तर्कों से बचा जा सके। यह कार्य पुष्टि करता है कि हालांकि लगभग सभी संख्याएँ गैर-सुधारणीय हैं (प्रमेय C), सुधारणीय संख्याओं का समुच्चय संरचनात्मक रूप से समृद्ध है और नॉर्म $p$ के चयन के साथ महत्वपूर्ण रूप से भिन्न होता है।