🔢 mathematics

Counting w-coprime S-integers and S-integral ideals in positive characteristic

यह शोध पत्र एक धनात्मक अभिलक्षण वाले परिमित क्षेत्र के ऊपर एक बीजगणितीय फलन क्षेत्र (algebraic function field) के भीतर $w$ -सह-अभाज्य $S$ -पूर्णांकों और $S$ -पूर्णांक आदर्शों के लिए गणना सूत्र प्राप्त करने हेतु विश्लेषणात्मक विधियों, रीमान-रॉक प्रमेय (Riemann-Roch theorem), और वेइल प्रमेय (Weil theorem) के संयोजन का उपयोग करता है।

मूल लेखक: Si-Han Liu, Zhe-Cheng Liu, Jia-Yan Yao

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

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

CC BY 4.0

मूल लेखक: Si-Han Liu, Zhe-Cheng Liu, Jia-Yan Yao

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

यहाँ "Counting w-coprime S-integers and S-integral ideals in positive characteristic" शोधपत्र का सरल भाषा और रोज़मर्रा के उदाहरणों के साथ हिंदी अनुवाद दिया गया है।

मुख्य विचार: एक अलग दुनिया में "विशेष" संख्याओं की गिनती

कल्पना कीजिए कि आप संख्याओं के साथ एक खेल खेल रहे हैं, लेकिन ये वे सामान्य संख्याएँ (1, 2, 3...) नहीं हैं जिनका हम रोज़ाना उपयोग करते हैं। इसके बजाय, आप एक "सीमित दुनिया" (Finite World) में खेल रहे हैं जिसे पॉजिटिव कैरेक्टरिस्टिक (Positive Characteristic) कहा जाता है।

हमारी सामान्य दुनिया में, संख्याएँ अनंत तक चलती हैं। इस सीमित दुनिया में, सब कुछ निर्माण खंडों (building blocks) के एक छोटे, निश्चित सेट से बना होता है (जैसे केवल $q$ कार्डों वाला ताश का डेक)। भले ही यह दुनिया सीमित है, फिर भी इसमें अपना एक "अंकगणित" (arithmetic) है जो आश्चर्यजनक रूप से हमारी दुनिया जैसा ही व्यवहार करता है।

इस शोधपत्र के लेखक एक बहुत ही विशिष्ट प्रश्न का उत्तर देने की कोशिश कर रहे हैं: यदि आप यादृच्छिक (random) रूप से इन विशेष संख्याओं को चुनते हैं, तो इसकी कितनी संभावना है कि वे कोई भी सामान्य "बुरे" कारक (bad factors) साझा न करें?

मुख्य अवधारणाएँ (अनुवादित)

1. "S-इंटीजर्स" (S-integers): एक वीआईपी क्लब

इस सीमित दुनिया के सभी नंबरों के सेट की कल्पना करें। अब, कल्पना करें कि वहाँ एक विशेष "वीआईपी क्लब" है जिसे $O_S$ कहा जाता है।

नियम: आप इस क्लब में तभी शामिल हो सकते हैं जब आपके पास विशिष्ट स्थानों पर कोई "कर्ज" (ऋणात्मक मान) न हो, सिवाय उन कुछ विशेष स्थानों के जो क्लब के चार्टर (सेट $S$ ) में अनुमति दिए गए हैं।
उपमा: पूरी दुनिया को एक शहर के रूप में सोचें। "S-इंटीजर्स" वे लोग हैं जो शहर में रहते हैं, लेकिन उन्हें कुछ विशेष स्थानों ("निर्माण क्षेत्रों") में सामान्य नियमों को तोड़ने की अनुमति है। बाकी हर जगह, उन्हें नियमों का पूरी तरह से पालन करना होगा।

2. "कोप्राइम" (Coprime): कोई साझा कारक न होने का नियम

सामान्य गणित में, दो संख्याएँ कोप्राइम होती हैं यदि वे 1 के अलावा कोई भी सामान्य निर्माण खंड (कारक) साझा नहीं करती हैं। उदाहरण के लिए, 8 और 9 कोप्राइम हैं (8 के कारक 1, 2, 4, 8 हैं; 9 के कारक 1, 3, 9 हैं)। लेकिन 8 और 12 कोप्राइम नहीं हैं क्योंकि वे दोनों 4 का कारक साझा करते हैं।

यह शोधपत्र एक अधिक उन्नत संस्करण देखता है जिसे $w$ -कोप्राइम कहा जाता है।

उपमा: कल्पना कीजिए कि आप लोगों के एक समूह की जाँच कर रहे हैं कि क्या वे एक विशिष्ट "बुरी आदत" को साझा करते हैं।
- यदि $w=1$ है, तो आप जाँचते हैं कि क्या वे कोई भी बुरी आदत साझा करते हैं।
- यदि $w=2$ है, तो आप जाँचते हैं कि क्या वे एक ऐसी बुरी आदत साझा करते हैं जो एक "वर्ग" (square) है (जैसे एक वर्गाकार आदत)।
- यदि $w=3$ है, तो आप "घन" (cubes) के लिए जाँच करते हैं, और इसी तरह।
लक्ष्य: लेखक यह गिनना चाहते हैं कि $m$ संख्याओं के कितने समूह $w$ -कोप्राइम हैं, जिसका अर्थ है कि वे $w$ -वीं घात (power) के प्रकार की किसी भी बुरी आदत को साझा नहीं करते हैं।

3. दो मुख्य गणनाएँ

यह शोधपत्र इन विशेष समूहों को दो अलग-अलग तरीकों से गिनता है:

संख्याओं की गिनती (प्रमेय 1 और उपप्रमेय 1):
वे वीआईपी क्लब ( $O_S$ ) के व्यक्तिगत नंबरों (तत्वों) को गिनते हैं जो $w$ -कोप्राइम हैं।
- परिणाम: जैसे-जैसे संख्याएँ बढ़ती हैं, $m$ संख्याओं के एक यादृच्छिक समूह के $w$ -कोप्राइम होने की संभावना ठीक $1 / \zeta_S(wm)$ होती है।
- $\zeta_S$ क्या है? इसे इस विशिष्ट वीआईपी क्लब के लिए एक "जटिलता मीटर" (complexity meter) के रूप में समझें। यह एक विशेष सूत्र है जो इस क्लब में सभी संभावित बुरी आदतों को जोड़ता है। यह सूत्र हमें बताता है कि ये "साफ" समूह कितने दुर्लभ या सामान्य हैं।
"आइडियल" समूहों की गिनती (प्रमेय 2 और उपप्रमेय 3):
व्यक्तिगत संख्याओं को गिनने के बजाय, वे "आइडियल समूहों" (जो नंबरों के बंडल या पैकेज की तरह हैं) को गिनते हैं।
- परिणाम: $m$ पैकेजों के एक यादृच्छिक बंडल के $w$ -कोप्राइम होने की संभावना भी $1 / \zeta_S(wm)$ ही है।
- यह क्यों महत्वपूर्ण है: यह दर्शाता है कि चाहे आप व्यक्तिगत लोगों को देखें या उनके द्वारा बनाए गए समूहों को, "स्वच्छता" (cleanliness) का अनुपात समान रहता है।

उन्होंने यह कैसे किया (उपकरण किट)

लेखकों ने केवल अनुमान नहीं लगाया; उन्होंने तीन उपकरणों के शक्तिशाली संयोजन का उपयोग किया:

छलनी (Sieve - Inclusion-Exclusion):
कल्पना कीजिए कि आपके पास अंडों की एक टोकरी है, और आप उन सभी को हटाना चाहते हैं जो टूटे हुए हैं। आप प्रकार A के क्रैक्स (दरारें) देखते हैं, फिर प्रकार B, फिर प्रकार C। लेकिन यदि आप केवल उन्हें घटाते हैं, तो आप गलती से उस अंडे को भी हटा सकते हैं जो दो बार टूटा हुआ था। "छलनी" विधि गणना करने और घटाने का एक चतुर तरीका है ताकि आप दोबारा गिनती न करें या कुछ छोड़ न दें। लेखकों ने इस "छलनी" का उपयोग किया जो इस सीमित दुनिया के अनुकूल है।
रीमान-रोच प्रमेय (Riemann-Roch Theorem - गणना मशीन):
यह गणित का एक प्रसिद्ध नियम है जो आपको यह गिनने में मदद करता है कि एक विशिष्ट स्थान में चीजों को व्यवस्थित करने के कितने तरीके हैं।
- उपमा: कल्पना कीजिए कि आपके पास एक बगीचा (सीमित दुनिया) है और आप जानना चाहते हैं कि एक विशिष्ट प्लॉट के आकार में कितने अलग-अलग फूलों के अरेंजमेंट फिट बैठते हैं। यह प्रमेय आपको उस गणना के लिए एक सटीक सूत्र देता है, भले ही बगीचा अजीब आकार का क्यों न हो। लेखकों ने यह गिनने के लिए इसका उपयोग किया कि कितने नंबर उनके "वीआईपी क्लब" की सीमाओं के भीतर आते हैं।
वेइल प्रमेय (Weil Theorem - त्रुटि परीक्षक):
जब आप एक बड़ा अनुमान लगाते हैं, तो हमेशा थोड़ा सा "शोर" या त्रुटि (error) होती है। वेइल प्रमेय एक उच्च-सटीक रूलर (पैमाने) की तरह है जो लेखकों को बताता है कि वह त्रुटि कितनी बड़ी हो सकती है।
- उपलब्धि: लेखक अपने परिणामों को एक बहुत ही कम त्रुटि मार्जिन (एक "टाइट" अनुमान) के साथ सिद्ध करने में सफल रहे, जो समान क्षेत्रों में पिछले कुछ प्रयासों की तुलना में बेहतर है।

"इसका क्या महत्व है?" (बिना तकनीकी शब्दों के)

मुख्य खोज: इस अजीब, सीमित गणितीय दुनिया में, संख्याओं के एक समूह को चुनने की संभावना कि वे एक विशिष्ट प्रकार के सामान्य कारक साझा न करें, पूर्व अनुमानित है। यह $\zeta_S$ वाले एक सटीक गणितीय नियम का पालन करता है।
वास्तविकता से संबंध: यह हमारी दुनिया के एक प्रसिद्ध परिणाम के समान है: यदि आप दो यादृच्छिक संख्याएँ चुनते हैं, तो 60% ( $6/\pi^2$ ) संभावना है कि वे कोप्राइम हैं। यह शोधपत्र सिद्ध करता है कि इस "सीमित दुनिया" में संख्याओं के बहुत अधिक जटिल समूहों और कोप्राइमैलिटी के विभिन्न प्रकारों के लिए भी एक समान नियम मौजूद है।

सारांश

यह शोधपत्र एक गणितीय जासूसी कहानी है। लेखक एक सीमित, अमूर्त दुनिया में गए, एक विशेष क्लब ( $O_S$ ) बनाया, और पूछा: "यहाँ के सदस्यों के कितने समूह 'साफ' ( $w$ -coprime) हैं?" छलनी (sieves), बगीचे की गिनती के नियमों और त्रुटि-जाँचने वाले पैमाने के मिश्रण का उपयोग करते हुए, उन्होंने सटीक उत्तर खोजा और सिद्ध किया कि इन संख्याओं की "स्वच्छता" एक सुंदर, पूर्वानुमानित पैटर्न का पालन करती है।

तकनीकी सारांश: धनात्मक विशेषता (positive characteristic) में $w$ -सह-अभाज्य (coprime) $S$ -पूर्णांकों और $S$ -पूर्णांकों के गणन की गणना

समस्या विवरण
यह कार्य बीजगणितीय फलन क्षेत्रों (algebraic function fields) के संदर्भ में $w$ -सह-अभाज्य (coprime) टुपल्स (tuples) को गिनने की समस्या को संबोधित करता है। विशेष रूप से, लेखक दो संबंधित गणना समस्याओं की जांच करते हैं:

$w$ -सह-अभाज्य $S$ -पूर्णांक: फलन क्षेत्र $K$ के $S$ -पूर्णांकों के वलय (ring) $O_S$ के तत्वों के $m$ -टुपल्स $(a_1, \dots, a_m)$ की गिनती, जहाँ जनित आदर्श किसी भी अभाज्य घात $\mathfrak{q}^w$ (जहाँ $\mathfrak{q}$ , $O_S$ में एक अभाज्य आदर्श है) में समाहित नहीं है, और जो $S$ के एक परिमित अभाज्य विभाजकों के सेट पर प्रतिबंधों के अधीन है।
$w$ -सह-अभाज्य $S$ -पूर्णांक आदर्श: $O_S$ में $m$ -टुपल्स $(\mathfrak{a}_1, \dots, \mathfrak{a}_m)$ के पूर्णांक आदर्शों की गिनती, जो समान $w$ -सह-अभाज्यता की स्थिति को संतुष्ट करते हैं, और आदर्शों के डिग्री के प्रतिबंधों के अधीन हैं।

$w$ -सह-अभाज्यता की अवधारणा मानक सह-अभाज्यता (जहाँ $w=1$ ) और वर्ग-मुक्त (square-free) स्थितियों (जहाँ $w=2$ और $m=1$ ) का सामान्यीकरण करती है। यह अध्ययन धनात्मक विशेषता में सेट किया गया है, जहाँ $K$ , $\mathbb{F}_q$ के ऊपर एक बीजगणितीय फलन क्षेत्र है और $\mathbb{F}_q$ इसका क्षेत्र स्थिरांक (field of constants) है।

कार्यप्रणाली (Methodology)
प्रमाण तीन प्राथमिक गणितीय उपकरणों के संश्लेषण पर आधारित हैं:

समावेशन-अपवर्जन सिद्धांत (Inclusion-Exclusion Principle): लेखक विभाजकों के समूह $\text{Div}_S$ (जो $S$ के बाहर के अभाज्य विभाजकों द्वारा जनित है) पर अनुकूलित एक मोबियस व्युत्क्रमण सूत्र (Möbius inversion formula) का उपयोग करते हैं। वे 'खराब' गुण (कि टुपल $\mathfrak{q}^w$ में समाहित है) को अलग करने के लिए विभाजकों और आदर्शों पर एक मोबियस फलन $\mu_S$ को परिभाषित करते हैं।
रीमान-रॉक प्रमेय (Riemann-Roch Theorem): इस प्रमेय का उपयोग विशिष्ट विभाजकों से जुड़े रीमान-रॉक स्थान $L(D)$ के आयाम $\ell(D)$ का अनुमान लगाने के लिए किया जाता है। यह आयाम मान (valuation) संबंधी बाधाओं को संतुष्ट करने वाले $S$ -पूर्णांकों के सेट की कार्डिनैलिटी (cardinality) निर्धारित करता है। लेखक विभाजक के छोटे डिग्री ( $2g_K - 1$ से कम) बनाम बड़े डिग्री के मामलों को फलन क्षेत्र के जनक (genus) $g_K$ का उपयोग करके सावधानीपूर्वक संभालते हैं।
वेइल का प्रमेय और ज़ेटा फलन (Weil's Theorem and Zeta Functions): गणना फलनों का स्पर्शोन्मुख व्यवहार (asymptotic behavior) $S$ -ज़ेटा फलन $\zeta_S(s)$ के गुणों का उपयोग करके प्राप्त किया जाता है। लेखक फलन क्षेत्रों पर ज़ेटा फलन के विश्लेषणात्मक गुणों, विशेष रूप से पोल संरचना (pole structure) और कार्यात्मक समीकरण (functional equation) में अंश की बहुपद प्रकृति (वेइल के प्रमेय का उपयोग करते हुए), का लाभ उठाते हैं ताकि मुख्य पदों (main terms) का मूल्यांकन किया जा सके और त्रुटि पदों (error terms) को सीमित किया जा सके।

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

प्रमेय 1 (गिनती $w$ -सह-अभाज्य $S$ -पूर्णांकों की):
यह शोध पत्र एक विशिष्ट सीमित क्षेत्र $V^w_m(\vec{N})$ में $w$ -सह-अभाज्य $m$ -टुपल्स की संख्या के लिए एक स्पर्शोन्मुख सूत्र स्थापित करता है। सूत्र है:
$V^w_m(\vec{N}) = \frac{q^{m(N+1-g_K)}}{\zeta_S(wm)} + O_K(q^{N/w})$
जहाँ $N = \sum N_j \deg p_j$ , $g_K$ जनक है, और $\zeta_S$ , $S$ -ज़ेटा फलन है। त्रुटि पद स्पष्ट रूप से सीमित है और $K$ पर निर्भर करता है। यह परिणाम पूर्णांक $w, m \ge 1$ के लिए मान्य है जहाँ $wm \ge 2$ है। $w=m=1$ का मामला वर्जित है क्योंकि यह इकाइयों (units) की गिनती के अनुरूप है, जो एक अलग स्पर्शोन्मुख व्यवहार का अनुसरण करता है।
प्रमेय 2 (गिनती $w$ -सह-अभाज्य $S$ -पूर्णांक आदर्शों की):
लेखक डिग्री $\le n$ वाले $w$ -सह-अभाज्य $m$ -टुपल्स के पूर्णांक आदर्शों की संख्या $Q^w_{S,m}(n)$ के लिए एक स्पर्शोन्मुख सूत्र प्रदान करते हैं। मुख्य पद है:
$Q^w_{S,m}(n) = \frac{c_{K,S}^m q^{mn}}{\zeta_S(wm)} + \text{Error Term}$
त्रुटि पद $m$ और $w$ के आधार पर भिन्न होता है:
- $O_{K,S}(q^{n/w})$ यदि $m=1$ ।
- $O_{K,S}(n q^n)$ यदि $m=2, w=1$ ।
- $O_{K,S}(q^{n(m-1)})$ अन्यथा।
  यहाँ, $c_{K,S}$ , $h_K$ और $S$ में अभाज्य के डिग्री से जुड़े एक स्थिरांक है।
उपप्रमेय 2 (फलन क्षेत्रों के लिए शैनुएल का प्रमेय - Schanuel's Theorem):
प्रमेय 1 को लागू करते हुए, लेखक ऊंचाई $\le B$ वाले प्रोजेक्टिव स्पेस $\mathbb{P}^n(K)$ में बिंदुओं की संख्या के स्पर्शोन्मुख सूत्र के लिए एक नया प्रमाण प्राप्त करते हैं। वे प्राप्त करते हैं:
$N_K(B, n) = \frac{h_K q^{(n+1)(B-g_K+1)}}{(q-1)\zeta_K(n+1)(1-q^{-(n+1)})} + O_K(q^B)$
लेखक ध्यान देते हैं कि जबकि त्रुटि पद $O(q^B)$ , डिपिपो और वान द्वारा प्राप्त $O(q^{B/2+\epsilon})$ से खराब है, यह एक प्रारंभिक (elementary) प्रमाण है जो सेरे और फिलिप्स के त्रुटि पदों में सुधार करता है।

महत्व और दावे
शोध पत्र का दावा है कि यह विशिष्ट सेटिंग में सामान्य बीजगणितीय फलन क्षेत्रों (धनात्मक विशेषता में) के लिए मौजूदा साहित्य की तुलना में "सापेक्ष रूप से बेहतर त्रुटि पद अनुमान" प्रदान करता है। इसका महत्व निम्नलिखित में निहित है:

सामान्यीकरण (Generalization): संख्या क्षेत्रों (number fields) और बहुपद वलयों (polynomial rings) से ज्ञात $w$ -सह-अभाज्य पूर्णांकों और आदर्शों के परिणामों को सामान्य फलन क्षेत्रों ( $S$ -पूर्णांकों के साथ) तक विस्तारित करना।
स्पष्ट त्रुटि पद (Explicit Error Terms): अनसुलझी परिकल्पनाओं जैसे कि 'एक्सटेंडेड लिंडेलोफ हाइपोथीसिस' (जिसकी आवश्यकता संख्या क्षेत्र के कुछ परिणामों के लिए थी) पर निर्भर रहने के बजाय, क्षेत्र के जनक और क्लास नंबर से प्राप्त स्पष्ट स्थिरांक और त्रुटि सीमाएँ प्रदान करना।
शैनुएल के प्रमेय का प्रारंभिक प्रमाण: प्रोजेक्टिव स्पेस पर बिंदुओं की स्पर्शोन्मुख गणना के लिए एक नया, प्रारंभिक प्रमाण प्रदान करना, जो फिलिप्स द्वारा उपयोग किए गए ज्यामितीय संख्या सिद्धांत दृष्टिकोण या डिपिपो और वान के प्रारंभिक प्रमाणों से भिन्न है।

लेखक इस बात पर जोर देते हैं कि $m$ बेतरतीब ढंग से चुने गए तत्वों (या आदर्शों) के लिए $w$ -सह-अभाज्य होने की प्रायिकता $1/\zeta_S(wm)$ की ओर अभिसत (converge) होती है, जो संख्या सिद्धांत के शास्त्रीय परिणामों की नकल करती है लेकिन फलन क्षेत्र के संदर्भ में अनुकूलित है।