🔢 mathematics

Fourier Dimension in Duffin--Schaeffer Conjecture

यह शोध पत्र सह-अभाज्य बाधाओं (coprime constraints) वाले विषम (inhomogeneous) भिन्नों द्वारा अनुमानित वास्तविक संख्याओं के समुच्चय $W^*(\psi, \theta)$ के फूरियर आयाम (Fourier dimension) को निर्धारित करता है, जिससे कॉफमैन और ब्लूम के शास्त्रीय परिणामों का एक पूर्ण विषम सामान्यीकरण प्राप्त होता है और चेन एवं शियोंग के अनुमान के सह-अभाज्य निरूपण को हल किया जाता है।

मूल लेखक: Bo Tan, Qing-Long Zhou

प्रकाशित 2026-04-16

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

CC BY 4.0

मूल लेखक: Bo Tan, Qing-Long Zhou

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

मुख्य चित्र: अराजकता में छिपे पैटर्न को खोजना

कल्पना कीजिए कि आप रात के समय एक विशाल, अंधेरे खेत में खड़े हैं। ज़मीन पर लाखों छोटे, चमकते हुए कंकड़ बिखरे हुए हैं। ये कंकड़ उन संख्याओं (numbers) का प्रतिनिधित्व करते हैं जिन्हें भिन्नों (fractions) द्वारा बहुत अच्छी तरह से अनुमानित किया जा सकता है (जैसे कि कैसे 22/7, $\pi$ के लिए एक अच्छा अनुमान है)।

गणितज्ञ लंबे समय से इन चमकते कंकड़ोंों के बारे में दो प्रश्न पूछने की कोशिश कर रहे हैं:

वे कितने हैं? (क्या वे पूरे खेत को कवर करते हैं, या सिर्फ एक छोटे से हिस्से को?)
वे कितने "चिकने" (smooth) या "यादृच्छिक" (random) हैं? (यदि आप उन पर रोशनी डालते हैं, तो क्या वे एक ठोस दीवार की तरह दिखते हैं, या एक बिखरे हुए, धुंधले बादल की तरह?)

यह शोध पत्र इन विशिष्ट, कठिन प्रकार के कंकड़ व्यवस्था के दूसरे प्रश्न का उत्तर देने के बारे में है।

1. सेटअप: "अच्छी सन्निकटन" (Good Approximation) का खेल

आइए गणितीय शब्दों को एक खेल में तोड़ते हैं:

लक्ष्य ( $x$ ): एक वास्तविक संख्या (जैसे $\pi$ या $\sqrt{2}$ ) जिसे हम खोजने की कोशिश कर रहे हैं।
अनुमान ( $p/q$ ): भिन्न (fractions) जिनका उपयोग हम लक्ष्य का अनुमान लगाने के लिए करते हैं।
नियम ( $\psi$ ): एक नियम जो कहता है, "आपका अनुमान लक्ष्य के इतना करीब होना चाहिए कि वह गिना जा सके।"
"सह-अभाज्यता" (Coprimality) का नियम: यह इस खेल का कठिन हिस्सा है। खेल के क्लासिक संस्करण में, आप किसी भी भिन्न का उपयोग कर सकते हैं। लेकिन इस पेपर के संस्करण (जिसे डफिन-शैफर संस्करण कहा जाता है) में, आपको केवल उन भिन्नों का उपयोग करने की अनुमति है जहाँ ऊपर की संख्या ( $p$ ) और नीचे की संख्या ( $q$ ) के बीच कोई सामान्य गुणनखंड (common factor) नहीं है (जैसे 3/4 ठीक है, लेकिन 2/4 नहीं, क्योंकि इसे 1/2 के रूप में सरल किया जा सकता है)।

लेखक उन संख्याओं के एक सेट ( $W^*$ ) का अध्ययन कर रहे हैं जिन्हें इन सख्त नियमों के तहत अनंत बार अनुमानित किया जा सकता है।

2. रहस्य: "फूरियर आयाम" (Fourier Dimension)

इन संख्याओं के "आकार" को समझने के लिए, गणितज्ञ फूरियर विश्लेषण (Fourier Analysis) नामक एक उपकरण का उपयोग करते हैं।

उपमा: फॉग मशीन (कोहरा बनाने वाली मशीन)
कल्पមាន कीजिए कि आपके पास एक फॉग मशीन है।

यदि आप एक सीधी, ठोस रेखा में कोहरा छिड़कते हैं, तो यह बहुत "व्यवस्थित" (ordered) है।
यदि आप कोहरा छिड़कते हैं जो सभी दिशाओं में यादृच्छिक रूप से बिखर जाता है, तो यह "अराजक" (chaotic) या "चिकना" (smooth) है।

फूरियर आयाम (Fourier Dimension) यह मापने का एक तरीका है कि संख्याओं का एक सेट कितना "बिखरा हुआ" या "यादृच्छिक" दिखता है।

कम आयाम (Low Dimension): संख्याएँ एक ठोस दीवार की तरह आपस में जुड़ी हुई हैं। वे बहुत पूर्वानुमानित (predictable) हैं।
उच्च आयाम (High Dimension): संख्याएँ एक महीन धुंध की तरह बिखरी हुई हैं। वे यादृच्छिक दिखती हैं और जटिल तरीके से स्थान भरती हैं।

यदि किसी सेट का फूरियर आयाम उच्च है, तो इसका अर्थ है कि वह "समृद्ध" और "जटिल" है। यदि यह कम है, तो यह "पतला" या "विरल" है।

3. समस्या: "सह-अभाज्य" (Coprime) पहेली

लंबे समय तक, गणितज्ञों को इस खेल के आसान संस्करण (जहाँ आप किसी भी भिन्न का उपयोग कर सकते हैं) के लिए इस "यादृच्छिकता" को मापने का तरीका पता था। वे "समरूप" (homogeneous) मामले के लिए उत्तर जानते थे (जहाँ लक्ष्य केवल $p/q$ है)।

लेकिन वे विषम (Inhomogeneous) मामले में फंस गए थे (जहाँ एक अतिरिक्त बदलाव, $\theta$ , होता है, जैसे कि एक चलते हुए लक्ष्य को हिट करने की कोशिश करना) और सह-अभाज्य (Coprime) मामले में (जहाँ आप केवल सरल किए गए भिन्नों का उपयोग कर सकते हैं)।

यह ऐसा था जैसे कि आपको एक शांत कमरे में कोहरे को मापना पता हो, लेकिन आप नहीं जानते कि एक ऐसे कमरे में कोहरे को कैसे मापें जहाँ तेज़ हवा चल रही हो (अतिरिक्त बदलाव) और एक फिल्टर हो जो कुछ बूंदों को ब्लॉक करता हो (सह-अभाज्य नियम)।

4. समाधान: नया सूत्र

लेखकों, बो टैन और किंग-लोंग झोउ ने अंततः इस पहेली को सुलझा लिया। उन्होंने इन विशिष्ट संख्याओं के "यादृच्छिकता" (फूरियर आयाम) की गणना करने के लिए एक सटीक सूत्र खोजा है।

साधारण भाषा में सूत्र:
उन्होंने खोजा कि इन संख्याओं की "यादृच्छिकता" पूरी तरह से इस बात पर निर्भर करती है कि "निकटता का नियम" ( $\psi$ ) कितनी तेज़ी से सख्त होता है।

यदि नियम बहुत धीरे-धीरे सख्त होता है, तो संख्याएँ बहुत बिखरी हुई होती हैं (उच्च आयाम)।
यदि नियम बहुत तेज़ी से सख्त होता है, तो संख्याएँ आपस में जुड़ी होती हैं (कम आयाम)।

उनका सूत्र कहता है: यादृच्छिकता नियम की "गति" का ठीक दोगुना है, जो 1 तक सीमित है।

5. यह क्यों महत्वपूर्ण है: "सेलम सेट" (Salem Set)

गणित में, सेलम सेट्स (Salem Sets) नामक एक विशेष क्लब है। ये वे सेट हैं जहाँ "आकार" (वे कितना स्थान घेरते हैं) और "यादृच्छिकता" (फूरियर आयाम) बिल्कुल एक ही होते हैं।

इस पेपर से पहले: हम जानते थे कि कुछ संख्याएँ सेलम सेट बनाती हैं, लेकिन हमें नहीं पता था कि क्या ये विशिष्ट "सह-अभाज्य" संख्याएँ भी ऐसा करती हैं।
इस पेपर के बाद: उन्होंने सिद्ध किया कि नियमों की एक विस्तृत श्रृंखला के लिए, ये संख्याएँ सेलम सेट हैं।

उपमा:
कल्पना कीजिए कि आप रेत से एक मूर्ति बना रहे हैं।

हाउज़डॉर्फ आयाम (Hausdorff Dimension) आपको बताता है कि आपने कितनी रेत का उपयोग किया (आयतन)।
फूरियर आयाम (Fourier Dimension) आपको बताता है कि रेत कितनी समान रूप से फैली हुई है।
परिणाम: यह पेपर सिद्ध करता है कि इन विशिष्ट संख्याओं के लिए, आपने उपयोग की गई रेत की मात्रा और उसके फैलने की समानता बिल्कुल मेल खाती है। मूर्ति पूरी तरह से संतुलित है।

6. "चेन और ज़ियांग" का अनुमान (The "Chen and Xiong" Conjecture)

यह पेपर अन्य गणितज्ञों (चेन और ज़ियांग) द्वारा लगाए गए एक विशिष्ट अनुमान को भी हल करता है। उन्होंने अनुमान लगाया था कि यदि आप खेल में एक "बदलाव" ( $\theta$ ) जोड़ते हैं, तो याद्रच्छिकता के नियम नहीं बदलेंगे।

लेखकों ने इस अनुमान को सही सिद्ध किया। अतिरिक्त बदलाव और सख्त "सह-अभाज्य" फिल्टर के बावजूद, याद्रच्छिकता का सूत्र वही रहता है।

सारांश: उन्होंने वास्तव में क्या किया?

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

संक्षेप में: उन्होंने भिन्नों और चलते हुए लक्ष्यों से जुड़ी एक अस्त-व्यस्त, जटिल गणितीय समस्या को लिया, और दिखाया कि इस अराजकता के नीचे, याद्रच्छिकता का एक सुंदर, पूर्वानुमानित पैटर्न मौजूद है।

यहाँ बो तान और किंग-लोंग झोउ के शोध पत्र "Fourier Dimension in Duffin–Schaeffer Conjecture" का विस्तृत तकनीकी सारांश दिया गया है।

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

मुख्य समस्या:
यह शोध पत्र एक विशिष्ट वास्तविक संख्याओं के सेट $W^*(\psi, \theta)$ के फूरियर आयाम (Fourier dimension) के निर्धारण को संबोधित करता है, जिसे एक सामान्यीकृत डफिन-शैफर प्रकार की सन्निकटन (approximation) स्थिति द्वारा परिभाषित किया गया है।

मान लीजिए $\psi: \mathbb{N} \to [0, 1/2)$ एक धनात्मक फलन है और $\theta: \mathbb{N} \to \mathbb{R}$ एक वास्तविक-मान वाला फलन है। मान लीजिए $\{A_q\}$ और $\{B_q\}$ पूर्णांक अनुक्रम हैं जहाँ $\gcd(A_q, B_q)=1$ और $B_q > 0$ है। सेट $W^*(\psi, \theta)$ उन सभी $x \in [0, 1]$ का समूह है जिनके लिए:
$\left| x - \frac{p + \theta(q)}{q} \right| < \frac{\psi(q)}{q}$
अनंत युग्मों $(p, q) \in \mathbb{Z} \times \mathbb{N}$ के लिए सत्य होता है, जो सह-अभाज्य (coprimality) प्रतिबंध को संतुष्ट करते हैं:
$\gcd(B_q p + A_q, q) = 1.$

प्रेरणा और अंतराल (Gap):

मीट्रिक नंबर थ्योरी (Metric Number Theory): जबकि ऐसे सेट्स का लेबेग माप (Lebesgue measure) और हॉसडॉर्फ आयाम (Hausdorff dimension) अच्छी तरह से समझे गए हैं (उदाहरण के लिए, कौकुलोपुलस और मेनार्ड द्वारा डफिन-शैफर अनुमान का हालिया प्रमाण), फूरियर आयाम एक चुनौतीपूर्ण सीमा बना हुआ है।
सेलम सेट्स (Salem Sets): एक सेट को सेलम सेट कहा जाता है यदि उसका हॉसडॉर्फ आयाम उसके फूरियर आयाम के बराबर हो। नियतात्मक (deterministic) सेलम सेट्स का निर्माण करना कठिन है।
पूर्ववर्ती सीमाएँ:
- कॉफमैन और ब्लम ने समरूप मामले ( $\theta=0$ ) के लिए फूरियर आयाम स्थापित किया था, जहाँ $\psi(q) = q^{-\tau}$ ( $\tau \ge 1$ ) है, लेकिन उनके प्रमाण सह-अभाज्य प्रतिबंध पर अत्यधिक निर्भर थे।
- चेन और श्योंग ने हाल ही में विशिष्ट विचलन स्थितियों के तहत $W(1, 1; \psi, 0)$ (बिना सह-अभाज्य प्रतिबंध के) के लिए फूरियर आयाम को हल किया है, लेकिन सामान्य $\psi$ और विषम (inhomogeneous) $\theta$ के लिए सह-अभाज्य संस्करण (डफिन-शैफर सेटिंग) अनसुलझा रहा।
- विशेष रूप से, सह-अभाज्य सेटिंग में अपरिमेय $\theta$ के लिए आयाम सूत्र की वैधता के संबंध में चेन-श्योंग अनुमान अनसुलझा था।

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

लेखक फूरियर आयाम के लिए ऊपरी और निचली दोनों सीमाओं को स्थापित करने के लिए हार्मोनिक विश्लेषण, संभाव्य विधियों (probabilistic methods) और संख्या-सिद्धांत संबंधी अनुमानों के संयोजन का उपयोग करते हैं।

A. ऊपरी सीमा (Proposition 2.1)

रणनीति: प्रथम बोरेल-कैंटीली लेम्मा (First Borel–Cantelli Lemma) का उपयोग करके विरोधाभास द्वारा प्रमाण।
धारणा: यह मान लें कि फूरियर आयाम $2s(\psi)$ से अधिक है, जिसका अर्थ है कि एक माप $\nu$ का अस्तित्व है जिसका फूरियर क्षय (decay) $|\hat{\nu}(\xi)| \ll |\xi|^{-s}$ है, जहाँ $s > s(\psi)$ है।
तकनीक:
1. सन्निकटन स्थिति को संतुष्ट करने वाले अंतरालों के माप $\nu(A_q)$ का अनुमान लगाएं।
2. इन अंतरालों के संकेतक फलनों (indicator functions) और $\nu$ के फूरियर रूपांतरण के फूरियर गुणांकों के पदों में $\nu(A_q)$ को व्यक्त करने के लिए पार्सेवल पहचान (Parseval's identity) का उपयोग करें।
3. प्रमुख संख्या-सिद्धांत उपकरण: लेखक सह-अभाज्य स्थिति $\gcd(B_q p + A_q, q) = 1$ $g cd (B_{q} p + A_{q}, q) = 1$ को शामिल करने वाले एक सामान्यीकृत रामानुजन योग (Ramanujan sum) के लिए एक समान ऊपरी सीमा व्युत्पन्न करते हैं।
  - लेम्मा 2.3: वे सिद्ध करते हैं कि $\left| \sum_{\substack{0 \le p \le q-1 \\ \gcd(B_q p + A_q, q)=1}} e(-k p/q) \right| \ll \gcd(q, k) \log q$ है।
4. दिखाएं कि $s > s(\psi)$ की धारणा के तहत, $\sum \nu(A_q)$ अभिसरित (converge) होता है, जिससे $\nu(W^*) = 0$ होता है, जो इस धारणा का खंडन करता है कि $\nu$ , $W^*$ पर समर्थित (supported) है।

B. निचली सीमा (Proposition 2.2)

रणनीति: एक कैंटर-जैसे माप (Cantor-like measure) (एक कैई-हैम्ब्रुक निर्माण का रूपांतर) का उपयोग करके रचनात्मक दृष्टिकोण।
तकनीक:
1. घनत्व निर्माण (Density Construction): एक स्मूथ बम्प फंक्शन $f$ से निर्मित आवधिक फलनों $\Phi^*_{q, \theta}$ के घनत्वों $g_M$ के माध्यम से पूर्णतः सतत मापों (absolutely continuous measures) के एक अनुक्रम को परिभाषित करें।
2. पुनरावर्ती चयन (Recursive Selection): फूरियर क्षय की स्थिरता सुनिश्चित करने के लिए पूर्णांकों के एक अनुक्रम $(M_k)$ को पुनरावर्ती रूप से चुनें।
3. फूरियर क्षय अनुमान:
  - घनत्व फलनों $g_M$ के फूरियर गुणांकों का विश्लेषण करें।
  - स्थानिक वितरण को आवृत्ति क्षय से जोड़ने के लिए पॉइसन समेशन फॉर्मूला (Poisson Summation Formula) का उपयोग करें।
  - फूरियर विस्तार में ऑफ-डायगोनल पदों को नियंत्रित करने के लिए रामानुजन योग सीमाओं (लेम्मा 2.3) को लागू करें।
4. सीमा माप (Limit Measure): सीमा माप $\nu = \lim \nu_k$ को परिभाषित करें। फूरियर रूपांतरणों के अनुक्रम को सुप्रीमम नॉर्म (supremum norm) में कॉची (Cauchy) होने की पुष्टि करके (लेवी की निरंतरता प्रमेय का उपयोग करते हुए), वे यह स्थापित करते हैं कि सीमा माप $\nu$ में वांछित फूरियर क्षय दर है: $|\hat{\nu}(\xi)| \ll (1+|\xi|)^{-(2s(\psi)-\epsilon)}$ ।
5. समर्थन (Support): सत्यापित करें कि निर्मित माप का समर्थन $W^*(\psi, \theta)$ के भीतर है।

3. प्रमुख परिभाषाएँ और पैरामीटर

फूरियर आयाम ( $\dim_F E$ ): $s$ के सर्वोच्च मान (supremum) के रूप में परिभाषित है जिसके लिए $E$ पर एक प्रायिकता माप $\nu$ मौजूद है जिसमें $|\hat{\nu}(\xi)| \ll (1+|\xi|)^{-s/2}$ है।
क्रिटिकल एक्सपोनेंट $s(\psi)$ :
$s(\psi) = \inf \left\{ s \ge 0 : \sum_{q=1}^\infty \left( \frac{\psi(q)}{q} \right)^s < \infty \right\}$
अभिसरण की स्थिति (Convergence Condition): मुख्य परिणाम निम्नलिखित स्थिति के तहत मान्य है:
$\sum_{q \in \mathbb{N}} \psi(q) \prod_{\substack{p|q \\ p \nmid B_q}} (1 - p^{-1}) < \infty$
यह सुनिश्चित करता है कि सेट का लेबेग माप शून्य है, जिससे फूरियर आयाम प्रासंगिक मीट्रिक बन जाता है।

4. मुख्य परिणाम

थ्योरम 1:
मान लीजिए $\psi: \mathbb{N} \to [0, 1/2)$ एक मनमाना फलन है जो अभिसरण स्थिति (3) को संतुष्ट करता है। तो सेट $W^*(\psi, \theta)$ का फूरियर आयाम है:
$\dim_F W^*(\psi, \theta) = \min\{2s(\psi), 1\}$

परिणाम का महत्व:

सामान्यीकरण: यह विषम मामले ( $\theta \neq 0$ ) के लिए एक पूर्ण लक्षण वर्णन प्रदान करता है जिसमें सह-अभाज्य बाधाएं ( $\gcd(B_q p + A_q, q) = 1$ ) शामिल हैं।
अनुमान का समाधान: यह चेन-श्योंग अनुमान के सह-अभाज्य प्रारूप को सफलतापूर्वक हल करता है, यह पुष्टि करता है कि डफिन-शैफर प्रकार के अंकगणितीय प्रतिबंधों के साथ भी आयाम सूत्र मान्य रहता है।
शास्त्रीय परिणामों की प्राप्ति: $A_q=0, B_q=1$ रखकर, यह प्रमेय $\psi(q) = q^{-\tau}$ ( $\tau \ge 1$ ) के समरूप मामले के लिए कॉफमैन और ब्लम के शास्त्रीय परिणामों को पुनः प्राप्त करता है।
सेलम सेट्स: यह परिणाम बताता है कि सन्निकटन फलनों के एक विस्तृत वर्ग के लिए, ये डायोफेंटाइन सेट्स सेलम सेट्स हैं (चूंकि उनका फूरियर आयाम हॉसडॉर्फ आयाम के बराबर है, जो ज्ञात है कि $\min\{2s(\psi), 1\}$ है)।

5. महत्व और अनुप्रयोग

क्षेत्रों को जोड़ना: यह कार्य हार्मोनिक विश्लेषण (फूरियर क्षय) और मीट्रिक नंबर थ्योरी (डायोफेंटाइन सन्निकटन) के बीच संबंध को मजबूत करता है।
सामान्य संख्याएँ (Normal Numbers): फ्रैक्टल सेट्स के भीतर सामान्य संख्याओं के अस्तित्व को सिद्ध करने के लिए सकारात्मक फूरियर आयाम एक महत्वपूर्ण पूर्व शर्त है (पोलिटिनों एट अल.)। यह परिणाम अधिक जटिल, अंकगणितीय रूप से बाधित सेट्स में सामान्य संख्याओं के अध्ययन के द्वार खोलता है।
गुणात्मक/ट्विस्टेड सन्निकटन (Multiplicative/Twisted Approximation): विकसित की गई कार्यप्रणाली (विशेष रूप से सामान्य सह-अभाज्य बाधाओं के साथ रामानुजन योगों को संभालना) उन मल्टीप्लिकेटिव और वेटेड डायोफेंटाइन सन्निकटन समस्याओं के लिए भी लागू होने योग्य है, जो वर्तमान में अनसुलझी हैं।
नियतात्मक फ्रैक्टल्स (Deterministic Fractals): यह स्पष्ट रूप से निर्मित उन दुर्लभ नियतात्मक फ्रैक्टल्स की श्रेणी में योगदान देता है जो सेलम सेट्स हैं, जो यादृच्छिक (random) निर्माणों से आगे बढ़ते हैं।

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