🔢 mathematics

The inhomogeneous Khintchine Theorem in dimension two

यह शोधपत्र सिद्ध करता है कि खिनचिन के प्रमेय (Khintchine's Theorem) का विषम (inhomogeneous) संस्करण बिना किसी एकतुल्यता (monotonicity) धारणा की आवश्यकता के द्वि-आयामी रूप में लागू होता है, जिससे विषम डायोफेंटाइन सन्निकटन (inhomogeneous Diophantine approximation) के मीट्रिक सिद्धांत का अंतिम खुला मामला हल हो जाता है और यह इसके समरूप (homogeneous) समकक्ष के अनुरूप हो जाता है।

मूल लेखक: Demi Allen, Manuel Hauke-Treuer, Felipe A. Ramírez

प्रकाशित 2026-05-20

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

CC BY 4.0

मूल लेखक: Demi Allen, Manuel Hauke-Treuer, Felipe A. Ramírez

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

मुख्य चित्र: गिरती बारिश को पकड़ने का खेल

कल्पមាន कीजिए कि आप एक मैदान में खड़े हैं (यह आपका "स्थान" है, विशेष रूप से एक द्वि-आयामी वर्ग)। आपके ऊपर, बारिश गिर रही है। लेकिन यह सामान्य बारिश नहीं है; यह "तर्कसंगत बारिश" (rational rain) है। बूंदें विशिष्ट, अनुमानित अंतराल पर गिरती हैं जो संख्याओं द्वारा निर्धारित होते हैं।

लक्ष्य: आप जानना चाहते हैं कि क्या जमीन पर एक विशिष्ट स्थान (एक बिंदु जिसे $\alpha$ कहा जाता है) कितनी बार गीला होगा।
नियम: एक स्थान तब गीला होता है जब एक बूंद उससे बहुत कम दूरी के भीतर गिरती है। इस "गीले क्षेत्र" का आकार एक फलन (function) द्वारा निर्धारित होता है जिसे $\psi$ कहा जाता है (इसे छाते के आकार या छींटे के घेरे के रूपके रूप में सोचें)।
ट्विस्ट (असमरूप/Inhomogeneous): इस खेल के क्लासिक संस्करण में, बारिश सीधी नीचे गिरती है। इस शोध पत्र के संस्करण में, बारिश एक निश्चित, यादृच्छिक मात्रा (जिसे $\gamma$ कहा जाता है) द्वारा "शिफ्ट" या "झुकी हुई" होती है। यह ऐसा है जैसे पूरा आकाश थोड़ा केंद्र से हट गया हो।

लेखक एक 100 साल पुराने पहेली को हल करने की कोशिश कर रहे हैं: यदि बारिश पर्याप्त भारी है (गणितीय रूप से कहें तो), तो क्या जमीन का हर स्थान अनंत बार गीला होगा, भले ही बारिश झुकी हुई हो?

समस्या: पहेली का लापता हिस्सा

दशकों से, गणितज्ञों को दो परिदृश्यों में इस प्रश्न का उत्तर पता था:

1D (एक रेखा): यदि बारिश झुकी हुई है, तो आपको यह मान लेना अनिवार्य है कि बारिश बहुत सुचारू, अनुमानित तरीके से (monotonicity) छोटी होती जा रही है ताकि यह गारंटी दी जा सके कि जमीन गीली होगी। यदि बारिश का आकार बेतरतीब ढंग से बदलता है, तो जमीन सूखी रह सकती है।
3D और उससे अधिक (एक कमरा या अधिक): भले ही बारिश झुकी हुई हो और आकार बेतरतीब ढंग से बदल रहा हो, जमीन हमेशा गीली हो जाती है। अतिरिक्त आयाम एक सुरक्षा जाल (safety net) की तरह काम करते हैं।

रहस्य: 2D (एक सपाट कागज की शीट) के बारे में क्या?
लंबे समय तक, यह "लुप्त कड़ी" (missing link) था। कोई नहीं जानता था कि क्या उच्च आयामों का "सुरक्षा जाल" एक सपाट शीट के लिए काम करता है, या क्या 1D का नियम (सुचारू बारिश की आवश्यकता) अभी भी लागू होता है। इस शोध पत्र ने अंततः इस रहस्य को सुलझा दिया है।

खोज: लेखक सिद्ध करते हैं कि 2D में, सुरक्षा जाल काम करता है! आपको बारिश के सुचारू या अनुमानित होने की आवश्यकता नहीं है। भले ही बारिश का आकार जंगली तरीके से बदलता रहे, जब तक कि बारिश की कुल मात्रा अनंत है, जमीन का प्रत्येक स्थान अनंत बार गीला होगा।

बाधा: 2D इतना कठिन क्यों था?

इसे सिद्ध करने के लिए, लेखकों को यह गिनना पड़ा कि दो अलग-अलग बूंदें एक ही स्थान पर कितनी बार एक साथ गिर सकती हैं (ओवरलैप)।

आसान तरीका (3D+): उच्च आयामों में, बूंदें इतनी फैली हुई होती हैं कि वे शायद ही कभी किसी अस्त-व्यस्त तरीके से ओवरलैप करती हैं। आप ओवरलैप को गिनने के लिए एक सरल गिनती वाले तरीके (जैसे एक कमरे में लोगों को गिनना) का उपयोग कर सकते हैं।
कठिन तरीका (2D): 2D में, बूंदें घनी होती हैं। वे जटिल पैटर्न में ओवरलैप होती हैं। यदि आप सरल गिनती वाले तरीके का उपयोग करने का प्रयास करते हैं, तो गणित विफल हो जाता है क्योंकि ओवरलैप बहुत बार और अराजक होते हैं। यह एक भीड़ भरे डांस फ्लोर में दो लोगों के आपस में टकराने की संख्या गिनने जैसा है; इसे केवल अनुमान लगाना बहुत अव्यवस्थित है।

समाधान: "सर्जरी" और "शिफ्ट-रिडक्शन"

लेखकों ने अव्यवस्था को साफ करने के लिए एक चतुर नई रणनीति विकसित की। वे इसे "शिफ्ट-रिडक्शन" (Shift-Reduction) कहते हैं।

कल्पना कीजिए कि आप ओवरलैप को गिनने की कोशिश कर रहे हैं, लेकिन भीड़ बहुत अराजक है।

पुरानी रणनीति (तर्कसंगत शिफ्ट): यदि झुकाव ( $\gamma$ ) एक सरल भिन्न (जैसे 1/2) था, तो गणितज्ञ बस उन लोगों को "बाहर निकाल" सकते थे जो गलत स्थानों पर खड़े थे (गैर-प्रिमिटिव बिंदु)। इसने भीड़ को इतना साफ कर दिया कि ओवरलैप को गिना जा सके।
नई समस्या (तर्कहीन शिफ्ट): लेकिन क्या होगा यदि झुकाव एक अजीब, तर्कहीन (irrational) संख्या (जैसे $\pi$ ) है? आप एक सरल भिन्न को बाहर नहीं निकाल सकते। भीड़ अराजक बनी रहती है।
नई रणनीति (एक "चल लक्ष्य"): लेखकों ने महसूस किया कि वे एक निश्चित कट का उपयोग नहीं कर सकते। इसके बजाय, उन्हें अनुमानों के एक अनुक्रम (sequence of approximations) का उपयोग करना होगा।
- वे व्यवहार करते हैं जैसे कि वह अजीब झुकाव वास्तव में सरल भिन्नों की एक श्रृंखला है जो वास्तविक चीज़ के करीब आती जा रही है।
- इस अनुक्रम के प्रत्येक चरण में, वे भीड़ पर थोड़ा सा "सर्जरी" करते हैं, उन लोगों को हटाते हैं जो उस विशिष्ट अनुमान में फिट नहीं होते हैं।
- वे समस्या को विभिन्न "रेजीम" (जैसे अलग-अलग मौसम की स्थिति) में विभाजित करते हैं। कभी-कभी अनुमान इतना अच्छा होता है कि सरल कट का उपयोग किया जा सके; अन्य समय में, उन्हें अधिक सूक्ष्म, दो-चरणीय कट का उपयोग करना पड़ता है।

रूपक: कल्पना कीजिए कि आप एक तेजी से चलती, धुंधली वस्तु की फोटो लेने की कोशिश कर रहे हैं।

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

परिणाम: एक पूर्ण सिद्धांत

इस "शिफ्ट-रिडक्शन" तकनीक का उपयोग करके, लेखक यह सिद्ध करने में सफल रहे कि 2D में ओवरलैप वास्तव में इतने व्यवस्थित हैं कि परिणाम की गारंटी दी जा सके।

सरल शब्दों में:
उन्होंने सिद्ध किया कि दो-आयामी संख्याओं के लिए, बारिश के आकार की "अराजकता" मायने नहीं रखती। जमीन गीली हो जाएगी। यह सभी आयामों के लिए कहानी को पूरा करता है:

1D: आपको सुचारू बारिश की आवश्यकता है।
2D और उससे ऊपर: आपको सुचारू बारिश की आवश्यकता नहीं है; जमीन हमेशा गीली हो जाती है।

यह "असमरूप" (inhomogeneous) सिद्धांत को "समरूप" (homogeneous - सीधी बारिश) सिद्धांत के साथ पूरी तरह से संरेखित करता है, जिससे यह पता चलता है कि केवल स्थान का आयाम ही मायने रखता है, न कि बारिश के आकार की जटिलता।

"ह्यूरिस्टिक्स" (तर्क) का सारांश

लक्ष्य: यह सिद्ध करना कि एक सेट के बिंदुओं का "पूर्ण माप" (full measure) है (अर्थात, वर्ग का लगभग हर बिंदु कवर किया गया है)।
उपकरण: वे एक गणितीय नियम का उपयोग करते हैं जिसे द्वितीय बोरेल-कैंटीली लेम्मा (Second Borel-Cantelli Lemma) कहा जाता है। यह नियम कहता है: "यदि संभावनाओं का योग अनंत है, और घटनाएं एक-दूसरे पर बहुत अधिक निर्भर नहीं हैं, तो घटना अनंत बार घटित होती है।"
बाधा: 2D में, घटनाएं (बूंदों का गिरना) बहुत अधिक निर्भर हैं। वे बहुत अधिक ओवरलैप होती हैं।
समाधान: वे एक विशेष उपसमुच्चय (विशेष "शिफ्ट-रिड्यूस्ड" सेट) में बिंदुओं को प्रतिबंधित करके समस्याग्रस्त ओवरलैप को "सर्जिकल" तरीके से हटा देते हैं।
महत्वपूर्ण सफलता: उन्होंने दिखाया कि भले ही झुकाव अस्त-व्यस्त और तर्कहीन हो, ये विशेष उपसमुच्चय अभी भी इतने बड़े हैं कि जमीन को कवर कर सकें, और उनके ओवरलैप इतने कम हैं कि गणितीय नियम की शर्तों को पूरा कर सकें।

अंतिम निष्कर्ष: यह शोध पत्र एक सदी पुरानी गणितीय कहानी के अंतिम खुले अध्याय को बंद करता है, यह सिद्ध करता है कि दो आयामों में, प्रकृति हमारी सोच से कहीं अधिक उदार है।

तकनीकी सारांश: दो आयामों में असजातीय खिन्चिन प्रमेय (The Inhomogeneous Khintchine Theorem in Dimension Two)

समस्या विवरण
यह शोध पत्र असजातीय डायोफेंटाइन सन्निकटन (inhomogeneous Diophantine approximation) के मीट्रिक सिद्धांत को संबोधित करता है, जो विशेष रूप से दो वास्तविक संख्याओं $\alpha_1, \alpha_2$ के विस्थापित परिमेय संख्याओं $(u_1+\gamma_1)/q$ और $(u_2+\gamma_2)/q$ द्वारा सहवर्ती सन्निकटन (simultaneous approximation) पर केंद्रित है। अध्ययन का केंद्रीय विषय $W^\gamma(\psi)$ का सेट है, जो $[0,1]^2$ के वे वेक्टर $\alpha$ हैं जिनके लिए अनंत $(u, q) \in \mathbb{Z}^2 \times \mathbb{N}$ हेतु $\|q\alpha - u - \gamma\| < \psi(q)$ होता है, जहाँ $\gamma \in \mathbb{R}^2$ एक निश्चित असजातीय पैरामीटर है और $\psi: \mathbb{N} \to [0, \infty)$ एक सन्निकटन फलन है।

लेखक आयाम $m=2$ में असजातीय खिन्चिन प्रमेय के "डाइवर्जेंस भाग" (divergence part) को सिद्ध करने का लक्ष्य रखते हैं, बिना यह मान लिए कि $\psi$ एकतः (monotonic) है। चूँकि अभिसरण भाग (convergence part) सीधे बोरेल-कैंटीली लेम्मा (Borel–Cantelli lemma) से सिद्ध हो जाता है, इसलिए डाइवर्जेंस भाग (यह स्थापित करना कि यदि $\sum \psi(q)^2 = \infty$ हो, तो इस सेट का लेबेग माप पूर्ण होता है) के लिए ऐतिहासिक रूप से एकततःता की आवश्यकता होती थी। यह धारणा $m \ge 3$ के लिए अनावश्यक मानी गई थी (गैलेगर, एनोला) और $m=1$ के लिए आवश्यक थी (डफिन-शैफर)। $m=2$ का मामला सामान्य असजातीय सिद्धांत में अंतिम खुला मामला बना हुआ था, साथ ही रैखिक रूपों के सिस्टम के लिए खिन्चिन-ग्रोशेव प्रकार के प्रमेयों के लिए भी यह अंतिम शेष मामला था।

कार्यप्रणाली और बाधाएं
प्रमाण की रणनीति $E_q$ द्वारा परिभाषित सेट्स के लिए "औसत पर अर्ध-स्वतंत्रता" (quasi-independence on average) स्थापित करने पर आधारित है। मानक दृष्टिकोणों में ओवरलैप $\lambda(E_q \cap E_r)$ को बांधना आवश्यक होता है, जैसा कि दूसरे बोरेल-कैंटीली लेम्मा में उपयोग किया जाता है।

बाधा: आयाम $m=2$ में, $q$ और $r$ के महत्तम समापवर्तक (GCD) से संबंधित प्रारंभिक ओवरलैप अनुमान एक बाउंड प्रदान करते हैं जिसमें $\log \log Q$ का कारक शामिल होता है। यह बाउंड किसी भी $\psi$ के लिए अर्ध-स्वतंत्रता सिद्ध करने के लिए अपर्याप्त है, विशेष रूप से तब जब $\psi$ बहुत धीमी गति से बढ़ता हो या विरल (sparse) हो। लेखक नोट करते हैं कि "सर्जरी" (प्रिमिटिव बिंदुओं तक सीमित करना) पर आधारित पिछले तरीके या तो परिमेय $\gamma$ के लिए या अतिरिक्त डाइवर्जेंस धारणाओं के तहत काम करते हैं, लेकिन सामान्य अपरिमेय $\gamma$ के लिए विफल हो जाते हैं क्योंकि परिमेय सन्निकटन में हरों (denominators) का विकास अनियंत्रित होता है।
शिफ्ट रिडक्शन (Shift Reduction): लेखक एक परिष्कृत "शिफ्ट-रिडक्शन" योजना पेश करते हैं। केवल एक प्रिमिटिव स्थिति के बजाय, वे $B_k u + A_k$ $B_{k} u + A_{k}$ (या $b_k u + a_k$ $b_{k} u + a_{k}$ ) की प्रिमिटिविटी के आधार पर $E'_q \subseteq E_q$ $E_{q}^{'} \subseteq E_{q}$ उपसमुच्चय परिभाषित करते हैं, जहाँ $A_k/B_k$ $A_{k} / B_{k}$ और $a_k/b_k$ $a_{k} / b_{k}$ , $\psi(q)$ $ψ (q)$ के आकार से प्राप्त $\gamma$ $γ$ के परिमेय सन्निकटन हैं।
- यदि सर्वोत्तम सन्निकटन का हर $B_k$ , $\psi(q)$ के सापेक्ष छोटा है, तो वे $A_k/B_k$ का उपयोग करते हैं।
- यदि $B_k$ बड़ा है, तो वे डिरिचलेट प्रमेय द्वारा प्रदान किए गए माध्यमिक सन्निकटन $a_k/b_k$ का उपयोग करते हैं।
परिष्कृत ओवरलैप अनुमान: इस शिफ्ट-रिडक्शन को ओवरलैप अनुमानों के "सूक्ष्म दृष्टिकोण" (delicate view) के साथ जोड़कर, लेखक ऐसे बाउंड प्राप्त करते हैं जिनमें संकेतक फलन (indicator functions) शामिल होते हैं जो $(q-r)\gamma/\gcd(q,r)$ की निकटतम पूर्णांक से दूरी पर निर्भर करते हैं। यह उन्हें $\gamma$ के समरूप वितरण (equidistribution) गुणों का लाभ उठाने की अनुमति देता है।
बोहर सेट बाउंड्स (Bohr Set Bounds): मुख्य तकनीकी नवाचार विशिष्ट श्रेणियों के भीतर "बोहर सेट्स" (पूर्णांकों $h$ $h$ के सेट जहाँ $\|h\gamma\|$ $∥ hγ ∥$ छोटा हो) की कार्डिनैलिटी का अनुमान लगाना है। लेखक $\gamma$ $γ$ के डायोफेंटाइन गुणों और मापदंडों के सापेक्ष आकार के आधार पर तीन अलग-अलग व्यवस्थाओं (regimes) को संभालते हैं:
- परिमेय $\gamma$ : इसे मौजूदा साहित्य (किम) द्वारा संभाला गया है।
- नॉन-लियोविल $\gamma$ (Non-Liouville $\gamma$ ): $h\gamma$ का समरूप वितरण पर्याप्त बचत (saving) प्रदान करता है।
- लियोविल $\gamma$ (Liouville $\gamma$ ): यह सबसे कठिन मामला है। लेखक समर्थन आकार $M$ के सापेक्ष सन्निकटन हर $B$ के आकार के आधार पर मामला विभाजन का उपयोग करते हैं। वे दिखाते हैं कि प्राथमिक सन्निकटन $A/B$ और माध्यमिक $a/b$ के बीच स्विच करके, वे यह नियंत्रित कर सकते हैं कि $\gamma$ को कितने अच्छे से परिमेय द्वारा सन्निकट किया जा रहा है, जिससे ओवरलैप अनुमान सार्वभौमिक रूप से नियंत्रित रहते हैं।

प्रमुख योगदान और परिणाम
प्राथमिक परिणाम प्रमेय 1.1 है, जो कहता है कि किसी भी $\gamma \in \mathbb{R}^2$ और किसी भी फलन $\psi: \mathbb{N} \to [0, \infty)$ के लिए:
$\lambda(W^\gamma(\psi)) = \begin{cases} 0 & \text{यदि } \sum_{q=1}^\infty \psi(q)^2 < \infty, \\ 1 & \text{यदि } \sum_{q=1}^\infty \psi(q)^2 = \infty. \end{cases}$
यह परिणाम $\psi$ पर बिना किसी एकततःता (monotonicity) की धारणा के मान्य है।

शोध पत्र यह भी स्थापित करता है:

मल्टीवेरिएट इनहोमोजिनियस खिन्चिन-ग्रोशेव प्रमेय: प्रमेय 1.1 को पिछले कार्य (विशेष रूप से [39]) के रिडक्शन तर्क के साथ जोड़कर, लेखक सभी आयामों $(n, m)$ में रैखिक रूपों के सिस्टम के लिए इस प्रमेय की पुष्टि करते हैं जहाँ $m > 1$ , जिससे $(n, 2)$ के मामले हल हो जाते हैं।
यूनिवैरिएट इनहोमोजिनियस खिन्चिन-ग्रोशेव प्रमेय: यह परिणाम यूनिवैरिएट मामले में भी विस्तारित होता है जहाँ $\psi$ केवल $|q|$ पर निर्भर करता है।
हाउस्फडॉरफ माप द्वैत (Hausdorff Measure Dichotomies): मास ट्रांसफरेंस प्रिंसिपल (Mass Transference Principle) का उपयोग करते हुए, लेखक इन आयामों के लिए संगत हाउस्फडॉरफ मापों के परिणाम प्राप्त करते हैं, जिससे इनका मीट्रिक सिद्धांत पूर्ण होता है।

महत्व
यह शोध पत्र दावा करता है कि इसने असजातीय डायोफेंटाइन सन्निकटन के मीट्रिक सिद्धांत के "अंतिम शेष मामले" को हल कर दिया है। आयाम $m=2$ के लिए बिना एकततःता की धारणा के प्रमेय को सिद्ध करके, लेखक विषम (inhomogeneous) सिद्धांत को उसके समरूप (homogeneous) समकक्ष के साथ पूर्ण सामंजस्य में लाते हैं। यह रैखिक रूपों के सिस्टम के लिए खिन्चिन-ग्रोशेव सिद्धांत के संबंध में पहले और तीसरे लेखक के एक अनुमान की पुष्टि करता है। यह कार्य प्रदर्शित करता है कि आयाम दो में एकततःता हटाने में बाधा संरचनात्मक (जैसा कि आयाम एक में है) नहीं बल्कि तकनीकी है, और इसे शिफ्ट-रिडक्शन तकनीकों और सटीक बोहर सेट अनुमानों के एक परिष्कृत तालमेल के माध्यम से दूर किया गया है जो लियोविल और नॉन-लियोविल दोनों मापदंडों के अनुकूल हैं।