🔢 mathematics

Positive Logarithmic Hausdorff Measures of Exceptional Sets for the $p$ -adic and $t$ -adic Littlewood Conjectures

यह शोधपत्र यह स्थापित करता है कि यदि $p$ -adic और $t$ -adic लिटिलवुड अनुमानों (Littlewood conjectures) के लिए अपवाद समुच्चय (exceptional sets) रिक्त नहीं हैं, तो उनके पास धनात्मक (और कई मामलों में अनंत) लघुगणकीय हॉसडॉर्फ माप (logarithmic Hausdorff measure) होता है, जिससे यह पुष्टि होती है कि उनकी कार्डिनैलिटी (cardinality) निरंतरता (continuum) के बराबर है।

मूल लेखक: Dzmitry Badziahin, Volodymyr Pavlenkov, Evgeniy Zorin

प्रकाशित 2026-08-25

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

CC BY 4.0

मूल लेखक: Dzmitry Badziahin, Volodymyr Pavlenkov, Evgeniy Zorin

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

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

गणितज्ञों ने लंबे समय से इस विशिष्ट पहेली के प्रति आकर्षण महसूस किया है, जिसे लिटलवुड अनुमान (Littlewood conjecture) के रूप में जाना जाता है। यह विचार सुझाव देता है कि किन्हीं दो संख्याओं के लिए, आप एक एकल पूर्णांक संख्या पा सकते हैं, जो दोनों को गुणा करने पर, दोनों परिणामों को एक साथ पूर्ण संख्याओं के अत्यंत निकट धकेल देती है। इस पहेली का एक रूपांतर, जिसे $p$ -adic लिटलवुड अनुमान कहा जाता है, सामान्य दूरी के नियमों को अभाज्य संख्याओं (prime numbers) पर आधारित एक अलग प्रकार के मापन से बदल देता है। इस संस्करण में, प्रश्न यह है कि क्या कोई ऐसी संख्या है जो इन नियमों का पालन करने से इनकार कर देती है, और कितनी भी कोशिश करने के बाद भी लक्ष्य से हटने के बावजूद अडिग रहती है। दशकों तक, प्रचलित विश्वास यह था कि ऐसा कोई अपवाद मौजूद नहीं है; अपवादों का सेट पूरी तरह से खाली होना चाहिए। हालांकि, इस रिक्तता को सिद्ध करना क्षेत्र की सबसे कठिन चुनौतियों में से एक बना हुआ है।

ड्ज़िमिट्री बाडियाहिन, वलोडिमिर पावलेंकोव और इवगेनी ज़ोरिन का हालिया शोध पत्र इस पहेली को यह सिद्ध करके हल नहीं करता कि सेट खाली है। इसके बजाय, वे एक अलग दृष्टिकोण अपनाते हैं: वे पूछते हैं कि क्या होगा यदि यह सेट खाली न हो। उनका कार्य इस संभावित अपवाद समूह के आकार के लिए एक कठोर सीमा स्थापित करता है। वे सिद्ध करते हैं कि यदि एक भी ऐसा जिद्दी नंबर मौजूद है, तो वह समूह एक नगण्य बिंदु नहीं हो सकता। वास्तव में, यदि वह अस्तित्व में है, तो वह विशाल होगा। शोधकर्ता प्रदर्शित करते हैं कि यह संग्रह वास्तविक संख्याओं के संपूर्ण 'कंटिनम' (continuum) जितना बड़ा होगा, जिसका अर्थ है कि इसमें उतने ही बिंदु होंगे जितने कि एक रेखा पर संख्याएँ होती हैं। इसके अलावा, वे दिखाते हैं कि इस सेट के पास एक विशिष्ट, मापने योग्य "भार" या घनत्व होगा, जो यह सिद्ध करता है कि यह सटीक गणितीय उपकरणों द्वारा पता लगाने के लिए पर्याप्त पर्याप्त है, भले ही यह मानक मापने वाले पैमानों द्वारा देखा न जा सके।

लेखक अपना ध्यान एक संबंधित संस्करण की ओर भी मोड़ते हैं जो बहुपदों (polynomials) और परिमित क्षेत्रों (finite fields) से जुड़े एक अलग गणितीय ब्रह्मांड में स्थित है, जिसे अक्सर $t$ -adic लिटलवुड अनुमान कहा जाता है। इस सेटिंग में, जहाँ नियम थोड़े अलग हैं और संख्याएँ प्रतीकों के एक सीमित संग्रह से आती हैं, स्थिति और भी नाटकीय है। यहाँ, शोधकर्ता दिखाते हैं कि यदि कोई अपवाद मौजूद हैं, तो सेट न केवल बड़ा है, बल्कि एक विशिष्ट अर्थ में अनंत रूप से बड़ा है। वे उन मामलों के लिए अपने निष्कर्षों को परिष्कृत करते हैं जहाँ अंतर्निहित क्षेत्र में विषम संख्या में तत्व होते हैं, यह सिद्ध करते हुए कि अपवादों का सेट इतना सघन होगा कि उसका गणितीय माप अनंत होगा। यह परिणाम विशिष्ट उदाहरणों के एक चतुर निर्माण पर निर्भर करता है जो हाल ही में अन्य गणितज्ञों द्वारा खोजे गए थे, जिनका उपयोग लेखक एक मजबूत तर्क बनाने के लिए करते हैं।

इस कार्य का महत्व संभावनाओं की सीमाओं को परिभाषित करने की इसकी क्षमता में निहित है। यह सिद्ध करके कि कोई भी प्रति-उदाहरण (counterexample) बड़ा और सघन होना चाहिए, लेखकों ने प्रभावी रूप से इस विचार को खारिज कर दिया है कि अपवादों का समूह संख्याओं का एक छोटा, बिखरा हुआ समूह हो सकता है। यह अनुमान परనే एक नए प्रकार का दबाव बनाता है। यदि भविष्य का शोध यह सिद्ध कर सके कि इतना बड़ा सेट अस्तित्व में नहीं हो सकता, तो अनुमान हल हो जाएगा। इसके विपरीत, यदि कोई व्यक्ति ऐसा एक भी नंबर खोजने में सफल होता है, तो लेखकों का कार्य गारंटी देता है कि उन्होंने उनके एक पूरे ब्रह्मांड को खोज लिया है। यह शोध पत्र यह घोषित नहीं करता कि अनुमान सत्य है या असत्य, बल्कि यह अज्ञात के चारों ओर एक तीखी रेखा खींचता है, यह दिखाते हुए कि यदि रहस्य बना रहता है, तो वह एक मंद फुसफुसाहट के बजाय एक विशाल पैमाने का रहस्य है।

तकनीकी सारांश: $p$ -adic और $t$ -adic लिट्लवुड अनुमानों के अपवादपूर्ण सेट्स के लिए धनात्मक लघुगणकीय हॉसडॉर्फ माप (Positive Logarithmic Hausdorff Measures)

1. समस्या विवरण

यह शोध पत्र डायोफेंटाइन सन्निकटन (Diophantine approximation) के दो प्रमुख अनुमानों के साथ जुड़े अपवादपूर्ण सेट्स (exceptional sets) के मीट्रिक गुणों को संबोधित करता है: $p$ -adic लिट्लवुड अनुमान और $t$ -adic लिट्लवुड अनुमान।

$p$ -adic लिट्लवुड अनुमान: डी मैथन और ट्यूली द्वारा प्रस्तुत, यह प्रत्येक वास्तविक संख्या $x \in \mathbb{R}$ और अभाज्य $p$ के लिए यह प्रतिपादित करता है कि,
$\liminf_{q \to \infty} q |q|_p \|qx\| = 0,$
जहाँ $| \cdot |_p$ एक सामान्यीकृत $p$ -adic पूर्ण मान है और $\| \cdot \|$ निकटतम पूर्णांक से दूरी है।
$t$ -adic लिट्लवुड अनुमान: एक परिमित क्षेत्र $\mathbb{F}_q$ पर एक फंक्शन फील्ड एनालॉग, जो यह दावा करता है कि प्रत्येक औपचारिक लोरेंट सीरीज़ (formal Laurent series) $\Theta \in \mathbb{F}_q((t^{-1}))$ के लिए,
$\inf_{0 \neq Q \in \mathbb{F}_q[t]} |Q| |Q|_t |\langle Q\Theta \rangle| = 0,$
जहाँ $|Q| = q^{\deg Q}$ , $|Q|_t = q^{-v_t(Q)}$ , और $\langle \cdot \rangle$ भिन्नात्मक भाग (fractional part) है।

यह ज्ञात है कि यदि प्रतिउदाहरण (counterexamples) मौजूद हैं, तो वे 'बैडली एप्रोक्सिमेबल' (badly approximable) संख्याओं के सेट से संबंधित होंगे, जिसका लेबेग माप शून्य है। इसके अतिरिक्त, आइन्सिएडलर, काटोक, लिंडेन्स्ट्रास और क्लाइनबॉक द्वारा स्थापित पूर्व परिणाम यह दर्शाते हैं कि इन अपवादपूर्ण सेट्स का हॉसडॉर्फ आयाम (Hausdorff dimension) शून्य है। यह शोध पत्र जिस केंद्रीय प्रश्न की जांच करता है, वह यह है: यदि ये अपवादपूर्ण सेट्स गैर-रिक्त (non-empty) हैं, तो वे सूक्ष्म मीट्रिक अर्थ में कितने "बड़े" हैं? विशेष रूप से, लेखक इनके आकार की जांच लघुगणकीय हॉसडॉर्फ मापों (logarithmic Hausdorff measures) के संदर्भ में करते हैं, जो मानक पावर-लॉ मापों की तुलना में अधिक संवेदनशील होते हैं जब आयाम शून्य होता है।

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

लेखक अपवादपूर्ण सेट्स के हॉसडॉर्फ मापों पर निचली सीमा (lower bounds) प्राप्त करने के लिए गतिक प्रणाली सिद्धांत (dynamical systems theory), प्रतीकात्मक गतिकी (symbolic dynamics), और द्रव्य वितरण सिद्धांतों (mass distribution principles) के संयोजन का उपयोग करते हैं।

2.1 गतिकीय निरूपण (Dynamical Formulation)

समस्या को विशिष्ट गतिक मानचित्रों (dynamical maps) के ऑर्बिट्स (orbits) के संदर्भ में पुनर्गठित किया गया है:

$p$ -adic मामले के लिए, मानचित्र $T_p(y) = py \pmod 1$ है जो वृत्त $\mathbb{T} = \mathbb{R}/\mathbb{Z}$ पर कार्य करता है। अपवादपूर्ण सेट $E_p$ , प्रतिउदाहरणों के ऑर्बिट क्लोजर (orbit closures) $F_p(x)$ से संबंधित है।
$t$ -adic मामले के लिए, मानचित्र $I_q = t^{-1}\mathbb{F}_q[[t^{-1}]]$ के स्पेस पर एक वन-साइडेड लेफ्ट शिफ्ट $T$ है। अपवादपूर्ण सेट $E_q^{(t)}$ को ऑर्बिट क्लोजर $K(\Theta)$ के माध्यम से विश्लेषित किया जाता है।

2.2 एकसमान डायोफेंटाइन अनुमान (Uniform Diophantine Estimates)

एक मुख्य तकनीकी चरण प्रतिउदाहरण के ऑर्बिट क्लोजर के सभी बिंदुओं के लिए सन्निकटन की गुणवत्ता पर एक एकसमान निचली सीमा (uniform lower bound) स्थापित करना है।

यदि $x$ एक प्रतिउदाहरण है जिसका $m_p(x) > 0$ है, तो लेखक सिद्ध करते हैं कि $x$ के ऑर्बिट के सभी $y$ के लिए, और सभी पूर्णांकों $q$ के लिए, मात्रा $q|q|_p \|qy\|$ एक धनात्मक स्थिरांक $\beta$ से नीचे नहीं गिरती है।
इसी प्रकार, $t$ -adic मामले के लिए, किसी भी प्रतिउदाहरण $\Theta$ के ऑर्बिट के लिए एक एकसमान निचली सीमा $c$ स्थापित की गई है।

2.3 रिटर्न टाइम्स और सिलेंडर सेपरेशन (Return Times and Cylinder Separation)

एकसमान डायोफेंटाइन सीमाओं को प्रतीकात्मक निरूपण (आधार- $p$ विस्तार या लोरेंट सीरीज़ गुणांक) में सिलेंडरों (cylinders) के रिटर्न टाइम्स (return times) पर बाधाओं में अनुवादित किया जाता है।

लेम्मा 2.7 (रिटर्न टाइम्स): यदि एक बिंदु $y$ और उसका इटरेशन $T^d y$ ऑर्डर $n$ के एक ही सिलेंडर में गिरते हैं, तो शिफ्ट $d$ को इस प्रकार संतुष्ट करना चाहिए कि $n < d + \text{const}$ हो।
यह निहित करता है कि मानचित्र के तहत सिलेंडरों के प्री-इमेज (preimages) पर्याप्त संख्या में इटरेशन के लिए परस्पर विलग (pairwise disjoint) होते हैं। यह पृथक्करण ऑर्बिट के द्रव्यमान (mass) को बहुत छोटे अंतराल पर केंद्रित होने से रोकता है।

2.4 द्रव्य वितरण सिद्धांत (Mass Distribution Principle)

लेखक ऑर्बिट क्लोजर पर समर्थित (supported) अपरिवर्तनीय बोरेल प्रायिकता माप (invariant Borel probability measures) का निर्माण करते हैं (अनुभवजन्य मापों के वीक लिमिट्स का उपयोग करके)। छोटे व्यास $r$ वाले किसी भी सेट $U$ के माप पर अपने ऊपरी बाउंड को संयोजित करके, वे निम्नलिखित व्युत्पन्न करते हैं:
$\mu(U) \lesssim \frac{1}{\log(1/r)}.$
मास डिस्ट्रिब्यूशन प्रिंसिपल (लेम्मा 2.1) को लागू करते हुए, यह $h(r) = 1/\log(1/r)$ गेज फंक्शन के सापेक्ष माप पर यह ऊपरी बाउंड, एक निचली सीमा प्रदान करता है।

2.5 स्पष्ट निर्माण (विषम अभिलक्षण - Odd Characteristic)

विषम अभिलक्षण वाले क्षेत्रों के लिए $t$ -adic अनुमान हेतु, लेखक अपने परिणामों को परिष्कृत करने के लिए लाई और स्प्रैंग (Lai and Sprang) के स्पष्ट प्रतिउदाहरण निर्माण का उपयोग करते हैं। यह निर्माण विभिन्न पैमानों (scales) पर सेट के "ब्रांचिंग" (branching) के अधिक सटीक विश्लेषण की अनुमति देता है, जिससे एक उच्च घातांक (exponent) वाला अधिक मजबूत गेज फंक्शन प्राप्त होता है।

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

3.1 $p$ -adic लिट्लवुड अनुमान के लिए परिणाम

प्रमेय 2.2: यदि $E_p$ का सेट गैर-रिक्त है, तो किसी भी $x \in E_p$ के लिए, ऑर्बिट क्लोजर $F_p(x)$ का गेज $h_1(r) = 1/\log(1/r)$ के सापेक्ष धनात्मक लघुगणकीय हॉसडॉर्फ माप होता है।

उपप्रमेय 2.3: फलस्वरूप, यदि $E_p$ गैर-रिक्त है, तो इसमें कंटीनम की कार्डिनैलिटी (cardinality of the continuum) होती है।
उपप्रमेय 2.4: $E_p$ का लघुगणकीय हॉसडॉर्फ आयाम कम से कम 1 है ( $\dim_{\log} E_p \ge 1$ )।

लेखक नोट करते हैं कि यह आइन्सिएल्डर आदि के शून्य हॉसडॉर्फ आयाम परिणामों का खंडन नहीं करता है, क्योंकि एक सेट का आयाम शून्य हो सकता है, लेकिन लघुगणकीय गेज के सापेक्ष उसका माप धनात्मक हो सकता है।

3.2 $t$ -adic लिट्लवुड अनुमान के लिए परिणाम

प्रमेय 3.1: किसी भी अभाज्य घात $q$ के लिए, यदि अपवादपूर्ण सेट $E_q^{(t)}$ गैर-रिक्त है, तो:

किसी भी प्रतिउदाहरण के ऑर्बिट क्लोजर का $h_1$ -माप धनात्मक होता है।
संपूर्ण अपवादपूर्ण सेट $E_q^{(t)}$ का $h_1$ -माप अनंत (infinite) होता है।
$E_q^{(t)}$ की कार्डिनैलिटी कंटिनम है और लघुगणकीय आयाम कम से कम 1 है।

प्रमेय 3.2 (विषम $q$ के लिए मजबूत परिणाम): विषम $q$ के लिए लाई-स्प्रैंग निर्माण का उपयोग करते हुए, लेखक एक काफी मजबूत परिणाम सिद्ध करते हैं। मान लीजिए $A_q = \frac{q-1}{2} \log_2(q-1)$ ।

एक उपसमुच्चय $C_q \subset E_q^{(t)}$ मौजूद है कि $0 < H_{h_{A_q}}(C_q) < \infty$ , जहाँ $h_{A_q}(r) = 1/(\log(1/r))^{A_q}$ ।
पूर्ण अपवादपूर्ण सेट $H_{h_{A_q}}(E_q^{(t)}) = \infty$ संतुष्ट करता है।
यह दर्शाता है कि $\dim_{\log} E_q^{(t)} \ge A_q$ ।
नोट: $q=3$ के लिए, $A_3=1$ । $q \ge 5$ के लिए, $A_q > 1$ ।

अभिलक्षण 2 (Characteristic 2): शोध पत्र नोट करता है कि अभिलक्षण 2 के लिए, घातांक 1 के साथ निष्कर्ष प्रतिउदाहरण के अस्तित्व पर सशर्त है, क्योंकि विषम अभिलक्षणों के लिए उपयोग किया गया विशिष्ट निर्माण सीधे तौर पर लागू नहीं होता है।

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

शोध पत्र यह दावा करता है कि यह लिट्लवुड अनुमानों को "मीट्रिक" दृष्टिकोण से छूने का प्रयास करता है, जो मौजूदा "आयाम" (dimension) परिणामों का पूरक है।

प्रतिउदाहरणों की "लघुता" को परिष्कृत करना: जबकि पिछले कार्यों ने दिखाया कि यदि प्रतिउदाहरण मौजूद हैं, तो वे शून्य हॉसडॉर्फ आयाम का सेट बनाते हैं, यह शोध पत्र दर्शाता है कि ऐसा सेट "बहुत छोटा" नहीं हो सकता। विशेष रूप से, यह गणनीय (countable) नहीं हो सकता, और इसे लघुगणकीय गेज के तहत धनात्मक (या अनंत) माप धारण करना चाहिए।
कार्डिनैलिटी: परिणाम निश्चित रूप से स्थापित करते हैं कि कोई भी गैर-रिक्त अपवादपूर्ण सेट कंटिनम की कार्डिनैलिटी रखता है।
सिद्ध करने का संभावित मार्ग: लेखक स्वयं अनुमानों को सिद्ध करने के लिए एक संभावित रणनीति का सुझाव देते हैं। यदि कोई यह सिद्ध कर सके कि अपवादपूर्ण सेट का एक विशिष्ट गेज $h$ के सापेक्ष शून्य माप है (ऊपरी सीमा विधियों के माध्यम से) और साथ ही यह सिद्ध कर सके कि गैर-रिक्तता का अर्थ एक ही गेज $h$ के सापेक्ष धनात्मक (या अनंत) माप है (निचली सीमा विधियों के माध्यम से), तो सेट को खाली (empty) होने के लिए मजबूर किया जाएगा। यह शोध पत्र आवश्यक निचली सीमा वाली मशीनरी प्रदान करता है।
इष्टतमता (Optimality): यह शोध पत्र विनम्रतापूर्वक अपने परिणामों को निचली सीमाओं के रूप में प्रस्तुत करता है। यह प्रश्न उठता है कि क्या इन सीमाओं को मजबूत किया जा सकता है (जैसे, गेज में घातांक $A$ को बढ़ाकर) या क्या समान परिणाम शास्त्रीय लिट्लवुड अनुमान के लिए भी लागू होते हैं।

संक्षेप में, यह शोध पत्र स्थापित करता है कि $p$ -adic और $t$ -adic लिट्लवुड अनुमानों के अपवादपूर्ण सेट्स, यदि वे मौजूद हैं, तो लघुगणकीय हॉसडॉर्फ मापों के अर्थ में मीट्रिक रूप से पर्याप्त हैं, जिनमें अनंत कार्डिनैलिटी और लघुगणकीय आयाम के लिए विशिष्ट निचली सीमाएं हैं।