🔢 mathematics

Sarnak's Program for Erdős Sieves. Part II: Measure Systems and Applications

यह शोध पत्र $R$ -मुक्त बीजगणितीय पूर्णांकों (algebraic integers) और $R$ -स्वीकरणीय समुच्चयों (admissible sets) के बीच एक संबंध स्थापित करके, $R$ -मुक्त समुच्चय के लिए सरनाकक (Sarnak) के कार्यक्रम का सामान्यीकरण करता है, यह सिद्ध करता है कि उत्तरार्द्ध एक एर्गोडिक रोटेशन (ergodic rotation) के समरूप है, और इन परिणामों को अनंत योगसमुच्चयों (sumsets), वर्गमुक्त बहुपद मानों और $R$ -मुक्त संख्याओं के लिए एक अभाज्य संख्या प्रमेय पर लागू करता है।

मूल लेखक: Francisco Araújo

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

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

CC BY 4.0

मूल लेखक: Francisco Araújo

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

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

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

यह शोध पत्र, जो फ्रांसिस्को अरौजो द्वारा लिखा गया है, एर्डोस सीव्स (Erdős Sieves) नामक एक विशिष्ट, बहुत जटिल प्रकार की बागवानी की एक गहन जांच का दूसरा भाग है। यह गणितज्ञ पीटर सार्नाकक के एक प्रसिद्ध विचार पर आधारित है। यहाँ इस शोध पत्र की कहानी है, जिसे सरल अवधारणाओं में विभाजित किया गया है।

1. बगीचा और नियम (छलनी)

कल्पना कीजिए कि आपका खेत सभी पूर्णांकों (1, 2, 3...) का समूह है।

खरपतवार: आमतौर पर, हम वर्गों (जैसे 4, 9, 16) द्वारा विभाज्य संख्याओं को हटा देते हैं ताकि "वर्ग-मुक्त" (square-free) संख्याएँ मिल सकें। यह एक क्लासिक छलनी है।
नए नियम: यह शोध पत्र बहुत अधिक जटिल नियमों को देखता है। केवल 4 के गुणजों को हटाने के बजाय, शायद आप उन संख्याओं को हटाते हैं जो 4 से विभाजित होने पर 1 शेषफल छोड़ती हैं, या वे संख्याएँ जो 9 से विभाजित होने पर 3 शेषफल छोड़ती हैं, और इसी तरह, विभिन्न नियमों की एक अनंत सूची का उपयोग करते हुए।
लक्ष्य: हम जानना चाहते हैं कि जीवित रहने वाली "अच्छी" संख्याएँ कैसी दिखती हैं। क्या वे एक सुंदर, अनुमानित पैटर्न बनाती हैं? या वे अराजक (chaotic) हैं?

2. बगीचे को देखने के दो तरीके

लेखक इन जीवित रहने वाली संख्याओं का अध्ययन करने के लिए दो अलग-अलग तरीके पेश करता है, जिन्हें वह $X_R$ और $\Omega_R$ कहता है।

$X_R$ (वास्तविक बगीचा): यह आपके खेत में पाए जाने वाले सभी वास्तविक जीवित संख्याओं का सेट है। यह "वास्तविक दुनिया" का डेटा है।
$\Omega_R$ (ब्लूप्रिंट/खाका): यह एक सैद्धांतिक "ब्लूप्रिंट" या उन सभी संभावित पैटर्नों की एक लाइब्रेरी है जो आपके नियमों के तहत जीवित रह सकते हैं, भले ही वे अभी आपके विशिष्ट क्षेत्र में दिखाई न दें।

बड़ा सवाल: क्या वास्तविक बगीचा ( $X_R$ ) और सैद्धांतिक ब्लूप्रिंट ( $\Omega_R$ ) एक जैसे दिखते हैं?

सरल छलनियों में (जैसे केवल 4 के गुणजों को हटाना), वे समान होते हैं।
इन जटिल "एर्डोस सीव्स" में, वे अक्सर अलग होते हैं। ब्लूप्रिंट में ऐसे पैटर्न हो सकते हैं जो वास्तविक बगीचा कभी उत्पन्न नहीं करता।

3. "लाइट टेल" (हल्की पूंछ) की उपमा

यह समझने के लिए कि बगीचा और ब्लूप्रिंट कब मेल खाते हैं, लेखक एक अवधारणा का उपयोग करता है जिसे "लाइट टेल्स" (Light Tails) कहा जाता है।

कल्पना कीजिए कि आपके छलनी के नियम पानी की एक बाल्टी ले जाने वाले लोगों की एक लंबी कतार की तरह हैं।

हेवी टेल्स (भारी पूंछ): यदि रेखा के बिल्कुल अंत में रहने वाले लोग (नियमों का अनंत हिस्सा) अभी भी पानी की बड़ी बाल्टियाँ ले जा रहे हैं, तो वे हर जगह पानी उछालेंगे। यह बगीचे को खराब कर देता है, जिससे वास्तविक बगीचा ( $X_R$ ), ब्लूप्रिंट ( $\Omega_R$ ) से बहुत अलग दिखता है।
लाइट टेल्स (हल्की पूंछ): यदि अंत में खड़े लोग बहुत छोटे, लगभग खाली कप ले जा रहे हैं, तो उनका उछाल नगण्य है। पानी अच्छी तरह से स्थिर हो जाता है।
खोज: लेखक सिद्ध करता है कि यदि आपके नियमों में "लाइट टेल्स" हैं (यानी जैसे-जैसे आप आगे बढ़ते हैं, नियम कमजोर और कमजोर होते जाते हैं), तो वास्तविक बगीचा और ब्लूप्रिंट सांख्यिकीय अर्थ में एक-दूसरे से मेल खाते हैं। बगीचा ब्लूप्रिंट को पूरी तरह से भर देता है।

4. "मिनिमल" सीव (अंतिम फिल्टर)

कभी-कभी, आपके छलनी के नियम अनावश्यक होते हैं।

उदाहरण: आपके पास एक नियम हो सकता है जो कहता है "4 के गुणजों को हटाओ" और दूसरा जो कहता है "2 के गुणजों को हटाओ।" लेकिन 2 के गुणजों को हटाने से स्वतः ही 4 के गुणज भी हट जाते हैं!
लेखक "मिनिमल सीव" (Minimal Sieve) का विचार पेश करता है। यह अपने फिल्टर को उसके बिल्कुल मूल रूप तक उतार देने जैसा है। आप हर अनावश्यक नियम को तब तक हटाते हैं जब तक कि आपके पास नियमों का सबसे छोटा, सबसे कुशल सेट न बच जाए जो ठीक वही परिणाम दे जो मूल नियम देते थे।
परिणाम: वह सिद्ध करता है कि किसी भी जटिल छलनी के लिए, एक अद्वितीय "मिनिमल" संस्करण होता है ( certain शर्तों के तहत) जो उस छलनी की "वास्तविक पहचान" के रूप में कार्य करता है।

5. जादुई मशीन (डायनामिकल सिस्टम्स)

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

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

6. वास्तविक दुनिया के अनुप्रयोग (कटाई)

अंत में, लेखक इन उपकरणों का उपयोग वास्तविक संख्या सिद्धांत (number theory) की समस्याओं को हल करने के लिए करता है:

अनंत योग (Infinite Sums): वह दिखाता है कि यदि आप "अच्छी" संख्याओं (जैसे वर्ग-मुक्त संख्याएँ) का एक सेट लेते हैं, तो आप हमेशा दो अनंत समूहों को पा सकते हैं जो, एक साथ जुड़ने पर, आपके "अच्छे" सेट के भीतर ही रहते हैं। यह कहने जैसा है कि आप हमेशा दोस्तों के दो ऐसे समूह पा सकते हैं जो, आपस में मिलने पर, केवल उन्हीं दोस्तों के साथ रहते हैं जो समान नियमों का पालन करते हैं।
पॉलीनोमियल्स (बहुपद): वह इसे पॉलीनोमियल्स (जैसे $x^2 + 1$ ) पर लागू करता है। वह सिद्ध करता है कि इन पॉलीनोमियल्स के मान जो "वर्ग-मुक्त" हैं, वे बहुत ही अनुमानित तरीके से व्यवहार करते हैं, ठीक उस घूमते हुए पहिये की तरह।
प्राइम नंबर थ्योरम (अभाज्य संख्या प्रमेय): वह प्रसिद्ध प्राइम नंबर थ्योरम का एक नया संस्करण प्राप्त करता है। यह प्रमेय हमें यह गिनने में मदद करता है कि एक निश्चित सीमा में कितने अभाज्य संख्याएँ (या अभाज्य जैसी संख्याएँ) मौजूद हैं। उनकी विधि इन जटिल छलनियों के लिए भी काम करती है, न कि केवल मानक अभाज्य संख्याओं के लिए।

सारांश

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

यहाँ फ्रांसिस्को अराउजो के शोध पत्र "Sarnak's Program for Erdős Sieves. Part II: Measure Systems and Applications" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र सार्नाक के प्रोग्राम (जो मूल रूप से वर्गमुक्त संख्याओं (squarefree numbers) के लिए तैयार किया गया था) को एर्दोस सीव (Erdős sieves) नामक संख्या-सिद्धांत के व्यापक वर्गों तक सामान्यीकृत करने वाली एक श्रृंखला का दूसरा भाग है।

परिवेश (The Setting): लेखक एक एटाले $\mathbb{Q}$ -एल्जेब्रा $K$ (एक परिमित संख्या क्षेत्रों का उत्पाद) के पूर्णांकों $\mathcal{O}_K$ के भीतर कार्य करते हैं।
अध्ययन की वस्तु: एक एर्दोस सीव (Erdős sieve) $R$ को संयुग्मी (pairwise coprime) आइडियल्स के एक अनंत सेट $B_R$ के सापेक्ष कॉंग्रुएंस क्लासेज (congruence classes) $R_b$ के संग्रह द्वारा परिभाषित किया जाता है। $R$ -मुक्त संख्याओं (R-free numbers) का सेट, जिसे $F_R$ द्वारा दर्शाया गया है, $\mathcal{O}_K$ के उन तत्वों का समूह है जो किसी भी वर्जित कॉंग्रुएंस क्लास $R_b$ में नहीं आते हैं।
मुख्य प्रश्न: यह शोध पत्र इन सेट्स से जुड़े डायनेमिकल सिस्टम्स (dynamical systems) की जांच करता है। विशेष रूप से, यह दो अलग-अलग स्थानों की तुलना करता है:
1. $X_R$ : शिफ्ट स्पेस $\{0,1\}^{\mathcal{O}_K}$ में $F_R$ के ऑर्बिट क्लोजर (orbit closure) का। यह सेट के टोपोलॉजिकल डायनेमिक्स का प्रतिनिधित्व करता है।
2. $\Omega_R$ : सभी $R$ -एडमिसेबल सेट्स (ऐसे सेट $A$ जहाँ $A$ के लिए सभी $b$ हेतु $-A + R_b \neq \mathcal{O}_K$ हो) का सेट। यह मेज़र-थ्योरेटिक बाधाओं का प्रतिनिधित्व करता है।
अंतराल (The Gap): शास्त्रीय वर्गमुक्त सीव (squarefree sieve) के लिए, यह ज्ञात है कि $X_R = \Omega_R$ है। हालाँकि, सामान्य एर्दोस सीव्स के लिए, यह समानता अक्सर विफल हो जाती है। यह शोध पत्र $X_R$ और $\Omega_R$ के बीच के संबंध को स्पष्ट करने, संबंधित डायनेमिकल सिस्टम्स के स्पेक्ट्रल गुणों की गणना करने और संख्या-सिद्धांत संबंधी अनुप्रयोग प्राप्त करने का लक्ष्य रखता है।

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

लेखक एर्गोडिक थ्योरी (ergodic theory), डायनेमिकल सिस्टम्स और एनालिटिक नंबर थ्योरी का एक संश्लेषण उपयोग करते हैं।

मिनिमल सीव्स (Minimal Sieves): एक केंद्रीय कार्यप्रणाली नवाचार के रूप में मिनिमल सीव्स की अवधारणा पेश की गई है। लेखक डाइलेशन (dilation) (कॉंग्रुएंस क्लासेज को मिलाना) और कॉन्ट्रैक्शन (contraction) (उन्हें विभाजित करना) के ऑपरेशंस को परिभाषित करते हैं। प्रत्येक सीव को एक "मिनिमल" सीव के समतुल्य दिखाया गया है जहाँ सपोर्ट में मौजूद आइडियल्स को आगे विघटित नहीं किया जा सकता। यह एक अद्वितीय 'आइसोमोर्फिज्म' तक डायनेमिकल सिस्टम के लक्षण वर्णन की अनुमति देता है।
मेज़र-थ्योरेटिक आइसोमोर्फिज्म: लेखक सीव से जुड़े एक कॉम्पैक्ट एबेलियन ग्रुप $G_{R,F}$ का निर्माण करते हैं। वे सिद्ध करते हैं कि डायनेमिकल सिस्टम $(\Omega_R, S, \nu_R)$ (जहाँ $\nu_R$ मिरकी मेज़र (Mirsky measure) है) इस ग्रुप पर एक रोटेशन के आइसोमोर्फिक है।
लाइट टेल स्थितियाँ (Light Tail Conditions): विश्लेषण मुख्य रूप से वीक लाइट टेल्स (weak light tails) और स्ट्रॉन्ग लाइट टेल्स (strong light tails) के बीच अंतर करने पर निर्भर करता है।
- वीक लाइट टेल्स: सीव के "पूंछ" (tail) का घनत्व (density) (वे तत्व जिन्हें बड़े आइडियल्स द्वारा हटाया गया है लेकिन छोटे आइडियल्स द्वारा नहीं) शून्य होता है।
- स्ट्रॉन्ग लाइट टेल्स: सभी बड़े आइडियल्स के संघ (union) का घनत्व शून्य होता है।
  ये स्थितियाँ यह निर्धारित करती हैं कि क्या सेट $F_R$ , मेज़र $\nu_R$ के लिए एक जेनेरिक पॉइंट है।
स्पेक्ट्रल विश्लेषण (Spectral Analysis): हलमोस-वॉन न्यूमैन प्रमेय (Halmos-von Neumann theorem) का उपयोग करते हुए, लेखक ग्रुप $G_{R,F}$ के कैरेक्टर्स (characters) का विश्लेषण करके सिस्टम के पॉइंट स्पेक्ट्रम की गणना करते हैं।

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

A. $X_R$ और $\Omega_R$ के बीच संबंध

प्रमेय 1.1: एक एर्दोस सीव $R$ के लिए, एक फौलर सीक्वेंस (Føler sequence) मौजूद है जिसके सापेक्ष $R$ में 'वीक लाइट टेल्स' होते हैं यदि और केवल यदि ऑर्बिट क्लोजर का मिरकी मेज़र पूर्ण हो, अर्थात $\nu_R(X_R) = 1$ ।
प्रमेय 5.8: यदि $R$ में 'वीक लाइट टेल्स' हैं, तो $X_R$ का हेरेडिटरी हल (hereditary hull) (जिसे $\tilde{X}_R$ कहा जाता है) $\Omega_R$ के बराबर है।
प्रमेय 5.11: मिनिमल एर्दोस सीव्स के लिए जिनमें 'वीक लाइट टेल्स' हैं, निम्नलिखित समतुल्य हैं:
1. $X_R = X_{R'}$
2. $\Omega_R = \Omega_{R'}$
3. सीव्स एक शिफ्ट के अंतर्गत समतुल्य हैं (समान सपोर्ट $B_R = B_{R'}$ और $R_b = \delta_b + R'_b$ )।
  महत्व: यह स्थापित करता है कि "सुव्यवस्थित" सीव्स के लिए, ऑर्बिट क्लोजर की टोपोलॉजिकल संरचना पूरी तरह से मेज़र-थ्योरेटिक एडमिसेबल सेट्स द्वारा निर्धारित होती है।

B. ग्रुप रोटेशन के साथ आइसोमोर्फिज्म

प्रमेय 1.4 (मुख्य संरचनात्मक परिणाम): सिस्टम $(\Omega_R, S, \nu_R)$ एक कॉम्पैक्ट एबेलियन ग्रुप $G_{R,F} = \prod_{b \in B_R} \mathcal{O}_K / F(R_b)$ पर रोटेशन $(G_{R,F}, T^F, P_F)$ के आइसोमोर्फिक है, जहाँ $F(R_b)$ कॉंग्रुएंस क्लास $R_b$ का स्टेबलाइज़र सबग्रुप है।
स्पेक्ट्रम गणना (प्रमेय 4.19): सिस्टम का पॉइंट स्पेक्ट्रम स्पष्ट रूप से उन कैरेक्टर्स $\chi$ के सेट के रूप में गणित किया गया है जो $\mathcal{O}_K$ के हैं और सीमित संख्या में स्टेबलाइजर्स $F(R_b)$ के प्रतिजाल (intersection) पर ट्रिवियल हैं।
विशिष्टता (Uniqueness): लेखक दिखाते हैं कि $\mathbb{Q}$ पर मिनिमल सीव्स के लिए, डायनेमिकल सिस्टम केवल सपोर्ट में मौजूद प्राइम पावर्स (prime powers) द्वारा निर्धारित होता है, न कि चुने गए विशिष्ट कॉंग्रुएंस क्लासेज द्वारा।

C. संख्या-सिद्धांत संबंधी अनुप्रयोग

अनंत समसेट (Infinite Sumsets) (प्रमेय 1.5): यह शोध पत्र सिद्ध करता है कि 'स्ट्रॉन्ग लाइट टेल्स' वाले सीव्स के लिए, $R$ -मुक्त संख्याओं का सेट $F_R$ अनंत समसेट $A+B$ को समाहित करता है जहाँ $B$ का घनत्व धनात्मक है। यह उन सेट्स की संरचना से संबंधित प्रश्नों को संबोधित करता है जिनमें धनात्मक घनत्व वाले अनंत समसेट होते हैं।
पॉलिनॉमियल्स के वर्गमुक्त मान (Squarefree Values of Polynomials): इस ढांचे को पॉलिनॉमियल्स $f(x)$ के वर्गमुक्त मानों के सेट पर लागू किया गया है। लेखक दिखाते हैं कि यदि $f$ इरैड्यूसिबल (irreducible) है और संबंधित सीव में 'वीक लाइट टेल्स' हैं, तो $X_{R_f} = \Omega_{R_f}$ होगा। वे कई पॉलिनॉमियल्स के समवर्ती (simultaneous) वर्गमुक्त मानों के लिए घनत्व सूत्र भी प्रदान करते हैं।
एर्गोडिक प्राइम नंबर थ्योरम (प्रमेय 1.6 और 6.20): यह शोध पत्र $R$ -मुक्त संख्याओं के लिए प्राइम नंबर थ्योरम का सामान्यीकरण करता है। यह सिद्ध करता है कि किसी भी यूनिकली एर्गोडिक डायनेमिकल सिस्टम $(X, T)$ और निरंतर फलन $f$ के लिए:
$\lim_{N \to \infty} \frac{1}{N} \sum_{m \in F_R \cap [1, N]} f(T^{\Omega(m)} x) = d(F_R) \int_X f d\mu$
जहाँ $\Omega(m)$ $m$ के अभाज्य गुणनखंडों (prime factors) की संख्या है। यह परिणाम मोरेरा, रिक्टर, रॉबर्टसन और अन्य के पिछले परिणामों को एकीकृत और सामान्यीकृत करता है।

4. महत्व

एकीकरण (Unification): यह शोध पत्र विभिन्न "फ्री" सेट्स (वर्गमुक्त, क्यूबफ्री, केयरफुल कपल्स, पॉलिनॉमियल वैल्यूज) के अध्ययन को एक एकल डायनेमिकल फ्रेमवर्क (एर्दोस सीव्स) के तहत सफलतापूर्वक एकीकृत करता है।
सार्नाक के प्रोग्राम का समाधान: यह स्पष्ट करके सार्नाक के प्रोग्राम के सामान्यीकरण को पूरा करता है कि किन सटीक स्थितियों (वीक लाइट टेल्स) के तहत इन सेट्स के टोपोलॉजिकल और मेज़र-थ्योरेटिक विवरण मेल खाते हैं।
नए उपकरण: मिनिमल सीव्स का परिचय और कॉन्ट्रैक्शन/डाइलेशन ऑपरेशंस विभिन्न सीव्स की तुलना करने और उनकी डायनेमिकल इक्विवेलेंस निर्धारित करने के लिए एक मजबूत बीजगणितीय टूलसेट प्रदान करता है।
अनुप्रयोग: परिणाम $R$ -मुक्त संख्याओं के भीतर अनंत समसेट्स के अस्तित्व के लिए कठोर प्रमाण प्रदान करते हैं और जटिल संख्या-सिद्धांत संबंधी सेट्स के घनत्व और एसिम्प्टोटिक व्यवहार की गणना करने के लिए एक शक्तिशाली विधि प्रदान करते हैं।

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