🔢 mathematics

Weighted enumeration of number-fields and counting points that take bounded squarefree values along certain polynomials using Pseudo and Sudo maximal orders

यह शोध पत्र डिस्क्रिमिनेन्ट-संबंधित बहुपदों के वर्गमुक्त (squarefree) मानों को गिनने के लिए एकेडहल सीव (Ekedhal Sieve) का उपयोग करता है, जिससे सीमित डिस्क्रिमिनेन्ट वाले क्षेत्रों की संख्या के लिए भारित निम्नतम सीमाएं (weighted lower bounds) स्थापित होती हैं जो वर्तमान ज्ञात सीमाओं से काफी अधिक हैं।

मूल लेखक: Gaurav Digambar Patil

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

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

CC BY 4.0

मूल लेखक: Gaurav Digambar Patil

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

कल्पना कीजिए कि आप यह गिनने की कोशिश कर रहे हैं कि एक निश्चित आकार से छोटे कितने अलग-अलग "विश्व" (गणितीय संरचनाएं जिन्हें संख्या क्षेत्र/number fields कहा जाता है) मौजूद हैं। यहाँ, लेखक, गौरव दिगंबर पाटिल, "हम कितने ढूंढ सकते हैं?" के एक उच्च-दांव वाले खेल में खेल रहे हैं।

यहाँ इस शोध पत्र की कहानी है, जिसे सरल अवधारणाओं और उपमाओं में विभाजित किया गया है।

1. लक्ष्य: छिपे हुए विश्व गिनना

गणितज्ञों के पास एक प्रसिद्ध अनुमान (मले का अनुमान/Malle's Conjecture) है कि जैसे-जैसे ये विश्व बड़े होते जाते हैं, वैसे-वैसे कितने मौजूद होते हैं। यह कुछ ऐसा है जैसे आप दूर देखते समय आकाश में कितने तारे हैं, इसका अनुमान लगाना।

समस्या: हम छोटे विश्वों के लिए उत्तर जानते हैं, लेकिन बड़े, अधिक जटिल वाले विश्वों के लिए, हम केवल एक "निचली सीमा" (lower bound) ही सिद्ध कर सकते हैं। इसका मतलब है कि हम कह सकते हैं, "वहाँ कम से कम इतने हैं," लेकिन हम अभी तक सटीक कुल संख्या नहीं जानते हैं।
शोध पत्र का दावा: लेखक ने यह सिद्ध करने का एक तरीका खोजा है कि इन विश्वों की संख्या पहले के मुकाबले अधिक है। उन्होंने "कम से कम" वाली संख्या को पहले की तुलना में ऊपर धकेल दिया है।

2. उपकरण: "स्यूडो" (Pseudo) और "सुडो" (Sudo) मैक्सिमल ऑर्डर्स

इन विश्वों को खोजने के लिए, लेखक इन संख्याओं को रखने के लिए दो नए प्रकार के गणितीय "कंटेनर" (जिन्हें ऑर्डर्स कहा जाता है) का आविष्कार करता है। इन कंटेनरों को उन नियमों को रखने वाले बक्सों के रूप में सोचें जो उस विश्व के नियम निर्धारित करते हैं।

"परफेक्ट" बॉक्स (मैक्सिमल ऑर्डर): यह एक आदर्श, पूरी तरह से व्यवस्थित बॉक्स है। यह "पूर्णांकों का वलय" (Ring of Integers) है। इन्हें सीधे गिनना कठिन है क्योंकि वे इतने पूर्ण और दुर्लभ हैं कि वे अव्यवस्थित मध्य क्षेत्र में नहीं मिलते।
"स्यूडो-मैक्सिमल" बॉक्स (Pseudo-Maximal Box): यह एक बॉक्स है जो लगभग पूर्ण है। यह थोड़ा टूटा हुआ या अपूर्ण है, लेकिन यह पूर्णता के इतने करीब है कि हम इसे आसानी से गिन सकते हैं। यह एक थोड़े डेंट वाले सूटकेस की तरह है जो फिर भी आपके कपड़ों को ठीक से रखता है।
"सुडो-मैक्सिमल" बॉक्स (Sudo-Maximal Box): यह "स्यूडो-मैक्सिमल" बक्सों का एक विशेष संग्रह है जो आपस में जुड़े हुए हैं। लेखक इन्हें "सुडो" (नकली) कहता है क्योंकि ये वास्तविक पूर्ण बॉक्स नहीं हैं, लेकिन वे पूर्ण बॉक्स के व्यवहार की इतनी अच्छी तरह नकल करते हैं कि वे गिनती के उद्देश्यों के लिए उसके जैसा व्यवहार करते हैं।

उपमा: कल्पना कीजिए कि आप यह गिनने की कोशिश कर रहे हैं कि शहर में कितने लोग "परफेक्ट ब्लू सूट" पहने हुए हैं। यह कठिन है क्योंकि ऐसे लोग बहुत कम हैं। इसलिए, लेखक "लगभग परफेक्ट ब्लू सूट" (Pseudo) और "नकली ब्लू सूट जो असली दिखते हैं" (Sudo) पहनने वाले लोगों को गिनने का निर्णय लेता है। वह सिद्ध करता है कि यदि आप इन "लगभग पूर्ण" लोगों को गिनते हैं, तो आप वास्तव में अद्वितीय समूहों की समान संख्या गिन रहे होते हैं, बस एक अलग, आसानी से गिनी जाने वाली लेबल के साथ।

3. विधि: "वीकली डिविजिबल" (Weakly Divisible) फ़िल्टर

वह इन "लगभग पूर्ण" बक्सों को कैसे पाता है? वह वीकली डिविजिबल फॉर्म्स नामक एक विशेष फ़िल्टर का उपयोग करता है।

पॉलीनोमियल (बहुपद): एक बहुपद (एक समीकरण जिसमें $x$ और $y$ है) को एक ऐसी मशीन के रूप में सोचें जो इन विश्वों को उत्पन्न करती है।
फ़िल्टर: अधिकांश मशीनें अस्त-व्यस्त, टूटे हुए विश्व बनाती हैं। लेखक उन मशीनों की तलाश करता है जो "वीकली डिविजिबल" हैं। इसका मतलब है कि मशीन में एक विशिष्ट, दुर्लभ खराबी (glitch) है: यह एक परिणाम उत्पन्न करती है जो "लगभग" एक पूर्ण वर्ग है, लेकिन पूरी तरह से नहीं।
जादू: लेखक सिद्ध करता है कि यदि आप इन विशिष्ट "खराबी वाले" मशीनों का उपयोग करते हैं, तो उनके द्वारा बनाए गए विश्व गारंटी के साथ वे "सुडो-मैक्सिमल" होंगे जिन्हें वह गिनना चाहता है।

4. "स्क्वायरफ्री" (Squarefree) की खोज

यह सुनिश्चित करने के लिए कि वह एक ही विश्व को दो बार न गिन ले, वह स्क्वायरफ्री नामक एक गुण की तलाश करता है।

उपमा: कल्पना कीजिए कि आप उन संख्याओं की तलाश कर रहे हैं जिनमें कोई "वर्ग" कारक (जैसे 4, 9, 16) अंदर नहीं है। ये "स्क्वायरफ्री" संख्याएँ (जैसे 2, 3, 5, 6) हैं।
लेखक एक विशाल गणितीय सूत्र (एक बहुपद जिसे $\delta_n$ नाम दिया गया है) बनाता है जो एक डिटेक्टर के रूप में कार्य करता है। जब यह सूत्र एक "स्क्वायरफ्री" संख्या आउटपुट करता है, तो इसका मतलब है कि उसने एक अद्वितीय, वैध विश्व खोज लिया है।
वह खराब संख्याओं को छानने और केवल "स्कीयरफ्री" हिट्स को गिनने के लिए एक गणितीय सीव (छलनी) का उपयोग करता है (एक उपकरण जिसे एककेधल और अन्यों ने बनाया था)।

5. परिणाम: अधिक विश्वों की खोज

इन विचारों को जोड़कर, लेखक दो मुख्य चीजें प्राप्त करता है:

अधिक विश्व मिले: वह सिद्ध करता है कि डिग्री- $n$ $n$ वाले इन विश्वों की संख्या कम से कम $X$ $X$ के एक विशिष्ट पावर (घात) के समानुपाती है। यह पावर उस पावर से अधिक है जो पिछले गणितज्ञों (जैसे भार्गव, शंकर और वांग) ने सिद्ध की थी।
- सरल अनुवाद: यदि पिछले गणितज्ञों ने कहा था, "कम से कम 100 विश्व हैं," तो यह शोध पत्र कहता है, "वास्तव में, कम से कम 1,000 विश्व हैं।"
नई संरचनाएं: वह दिखाता है कि इनमें से कई विश्वों की एक बहुत ही विशिष्ट, व्यवस्थित संरचना है (जैसे कि दो संख्याओं के गुणनफल से बनी होती है)। यह उन्हें अधिक कुशलता से गिनने की अनुमति देता है।

6. "अनरैमिफाइड एक्सटेंशन" (Unramified Extension) कनेक्शन

शोध पत्र एक दिलचस्प दुष्प्रभाव के साथ समाप्त होता है।

कनेक्शन: हर बार जब वह इन विशेष विश्वों को "स्क्वायरफ्री" आकार के साथ पाता है, तो वह स्वचालित रूप से $\mathbb{Q}(\sqrt{s})$ नामक क्षेत्र के लिए एक विशिष्ट प्रकार के "अनरैमिफाइड एक्सटेंशन" (एक छोटे विश्व पर एक बड़ा विश्व बनाने का एक तरीका जिससे कुछ भी टूटता नहीं है) के अनुरूप होता है।
परिणाम: अपने विश्वों को गिनकर, वह यह भी सिद्ध करता है कि इन "अनरैमिफाइड एक्सटेंशन" के भी पहले की तुलना में अधिक मौजूद हैं।

सारांश

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

तकनीकी सारांश: संख्या-क्षेत्रों (Number-Fields) की भारित गणना और सीमित वर्गमुक्त (Squarefree) मान लेने वाले बिंदुओं की गिनती

समस्या विवरण
यह शोध पत्र $X$ द्वारा सीमित डिस्क्रिमिनेन्ट (discriminant) वाले डिग्री- $n$ के संख्या-क्षेत्रों की संख्या, जिसे $N(n, X)$ कहा जाता है, के लिए एसिम्प्टोटिक निचली सीमा (asymptotic lower bounds) स्थापित करने की समस्या को संबोधित करता है। जबकि मालेस अनुमान (Malle's conjecture) $N(n, X) \sim c_n X$ की भविष्यवाणी करता है, यह $n \geq 6$ के लिए सिद्ध नहीं हुआ है। पूर्ववर्ती कार्यों ने विभिन्न ज्यामितीय पैरामीट्रिज़ेशन का उपयोग करके निचली सीमाएँ स्थापित की हैं: जैसे कि मोनिक बहुपद ( $A^1(\mathbb{Z})$ ), बाइनरी फॉर्म्स ( $P^1(\mathbb{Z})$ ), और विशिष्ट द्विघातीय बाधाओं से जुड़े वलय (rings) ( $P^2(\mathbb{Z})$ )। पिछले शोध में, विशेष रूप से लेखक के पिछले कार्य [12] में, एक महत्वपूर्ण सीमा यह थी कि हालांकि कुछ वलयों (कमजोर रूप से विभाज्य वलयों) की गणना के लिए एक निचली सीमा स्थापित की गई थी, लेकिन अलग-अलग संख्या-क्षेत्रों की संगत गणना कम रह गई। यह विसंगति इसलिए उत्पन्न हुई क्योंकि संख्या-क्षेत्रों को स्थानीय स्थितियों के माध्यम से अलग करने के लिए उपयोग किए गए सीव्स (sieves), उन "अत्यधिक विषम" (highly skewed) पैरामीटर स्पेस में प्रभावी नहीं थे जो इन वलयों को पैरामीट्राइज़ करने के लिए आवश्यक थे।

कार्यप्रणाली (Methodology)
यह शोध पत्र इन विषम क्षेत्रों के अनुकूल एक नए सीव (sieve) को प्रस्तुत करता है, जो एकेडाहल (Ekedahl), पुनन (Poonen), स्टोल (Stoll) और भार्गव (Bhargava) के कार्य पर आधारित है। मुख्य कार्यप्रणाली में शामिल हैं:

विशेष ऑर्डर्स (Special Orders) की परिभाषाएँ:
- स्यूडो-मैक्सिमल ऑर्डर्स (Pseudo-maximal orders): अपरिमेय ऑर्डर्स $O$ जहाँ स्थानीय इनवेरिएंट $ef(O) = 2$ है।
- सुडो-मैक्सिमल ऑर्डर्स (Sudo-maximal orders): वे ऑर्डर्स जिनका अपरिमेय अपघटन (irreducible decomposition) पूरी तरह से स्यूडो-मैक्सिमल ऑर्डर्स से बना है।
- प्रतिबंधित सुडो-मैक्सिमल ऑर्डर्स (Restricted Sudo-maximal orders - ReSMO): सुडो-मैक्सिमल ऑर्डर्स जहाँ प्रत्येक परिमेय अभाज्य $p$ के लिए, सिंगुलर लोकस $S(O)$ में एक से अधिक अभाज्य आदर्श $p$ के ऊपर स्थित नहीं होते हैं।
कमजोर रूप से विभाज्य फॉर्म्स (Weakly Divisible Forms): यह शोध पत्र "अल्ट्रा वीकली डिविज़िबल" बाइनरी फॉर्म्स का उपयोग करता है। ये वे फॉर्म्स $f$ हैं जिनके लिए किसी भी अभाज्य $p$ के लिए, यदि $p^2 | \text{disc}(f)$ , तो $f$ $p$ द्वारा "स्ट्रॉन्गली डिविज़िबल" नहीं है (अर्थात $f$ के पास $p$ के मॉड्यूल में ट्रिपल रूट या दो डबल रूट नहीं हैं)। लेखक अल्ट्रा वीकली डिविज़िबल फॉर्म्स और ReSMOs के बीच एक एक-से-एक संबंध (bijection) स्थापित करते हैं। विशेष रूप से, यदि $f$ अल्ट्रा वीकly डिविज़िबल है, तो संबद्ध वलय $R'_{(f, m_f, l_f)}$ , $f$ द्वारा जनित क्षेत्र का पूर्णांक वलय (ring of integers) है, और कोई भी मध्यवर्ती वलय एक ReSMO है।
बहुपद निर्माण ( $\eth_n$ ): गणना को सुगम बनाने के लिए, लेखक एक बहु-चर बहुपद $\eth_n$ को परिभाषित करते हैं जिसके चर एक वर्गमुक्त पूर्णांक $m$ द्वारा कमजोर रूप से विभाज्य बाइनरी फॉर्म्स के गुणांकों को पैरामीट्राइज़ करते हैं। $\eth_n$ का वर्गमुक्त लोकस (squarefree locus), डिस्क्रिमिनेन्ट फॉर्म के स्थानीय गैर-विलक्षण (locally non-singular) लोकस (विशेष रूप से, अल्ट्रा वीकली डिविज़िबल फॉर्म्स) के साथ एक-से-एक मेल खाता है।
सीविंग रणनीति (Sieving Strategy):
- शोध पत्र में डिस्क्रिमिनेन्ट बहुपद $\eth_n$ के लिए अनुकूलित एकेडाहल सीव का एक संस्करण उपयोग किया गया है।
- यह $p$ के मॉड्यूल में स्ट्रॉन्गली डिविज़िबल न होने वाले बाइनरी फॉर्म्स के स्थानीय घनत्व (local densities) की गणना करता है।
- यह विशिष्ट बॉक्सों (ऊंचाई और विभाज्यता की शर्तों द्वारा पैरामीट्राइज़ किए गए) में ऐसे फॉर्म्स की संख्या गिनता है और मॉड्यूल $m$ पर योग करता है।
- महत्वपूर्ण रूप से, सीव को त्रुटि पदों (error terms) के भीतर मॉड्यूलर स्थितियों को लागू करने के लिए उपयोग किया जाता है, जिससे गणना उन विषम क्षेत्रों में प्रभावी ढंग से कार्य कर पाती है जहाँ पिछले सीव्स विफल रहे थे।

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

संख्या-क्षेत्रों के लिए बेहतर निचली सीमा:
यह शोध पत्र $N(n, X)$ (डिग्री- $n$ के क्षेत्रों की संख्या जिनका गैलुआ समूह $S_n$ है और डिस्क्रिमिनेन्ट $< X$ है) के लिए एक नई एसिम्प्टोटिक निचली सीमा स्थापित करता है।
- प्रमेय 1: $n \geq 5$ के लिए, $N(n, X) \gg_n X^{\frac{1}{2} + \frac{1}{n} - \frac{4}{3} - \epsilon}$ अनंत बार।
- यह $X^{\frac{1}{2} + \frac{1}{n-1}}$ (जैसे भार्गव-शंकर-वांग) जैसे पिछले अनुमानों में सुधार करता है, जो $aXY - bZ^2$ द्वारा परिभाषित वैराइटी से जुड़े वलयों की ज्यामिति का उपयोग करता है।
भारित गणनाएँ (Weighted Counts):
लेखक संख्या-क्षेत्रों की भारित निचली सीमाएँ प्रदान करते हैं, जिसे $N^*(n, X) = \sum_{K \in S(n, X)} \frac{1}{\sqrt{\text{disc}(K)}}$ के रूप में परिभाषित किया गया है।
- प्रमेय 3: $n \geq 5$ के लिए, $N^*(n, X) \gg_n X^{\frac{1}{n} - \frac{4}{3}} (\log \log X)^{\dots} (\log X)^{\dots}$ ।
- यह सीमित डिस्क्रिमिनेन्ट वाले संख्या-क्षेत्रों की संख्या के लिए एक भारित निचली सीमा $\gg X^{\frac{1}{2} + \frac{1}{n} - \frac{4}{3} - \epsilon}$ का संकेत देता है।
$\eth_n$ के वर्गमुक्त मानों की गिनती:
- प्रमेय 5: शोध पत्र यह सिद्ध करता है कि $\eth_n(P)$ के उन बिंदुओं $P$ की संख्या, जहाँ $\eth_n(P)$ का मान समरूपताओं (symmetries) के मॉड्यूल $X$ द्वारा सीमित एक वर्गमुक्त मान लेता है, $\gg_n X^{\frac{1}{2} + \frac{1}{n} - 1.5} (\log \log X)^{\dots} (\log X)^{\dots}$ है।
- यह परिणाम $\eth_n$ के वर्गमुक्त लोकस और अल्ट्रा वीकली डिविज़िबल फॉर्म्स के बीच एक एक-से-एक संबंध पर निर्भर करता है।
विशिष्ट वलय संरचनाएँ:
- परिणाम उन संख्या-क्षेत्रों पर लागू होते हैं जिनके पूर्णांक वलय विशिष्ट ज्यामितीय प्रस्तुतियों को स्वीकार करते हैं, जैसे कि $\mathbb{Z}[\alpha, \beta]$ जहाँ $\alpha\beta \in \mathbb{Z}$ (प्रमेय 6), या $\mathbb{P}(\mathbb{Z}[X, Y, Z]/I)$ के रूप में वलय जहाँ $I$ में एक द्विघातीय रूप $aXY - bZ^2$ शामिल है (प्रमेय 50)।
- शोध पत्र दिखाता है कि ये विशिष्ट संरचनाएँ $N(n, X)$ के निचले बाउंड में बेहतर घातांक (exponent) प्रदान करती हैं।
अनरैम्ड एक्सटेंशन (Unramified Extensions):
- प्रमेय 7: परिणामों को द्विघातीय क्षेत्रों $\mathbb{Q}(\sqrt{s})$ के अनरैम्ड $A_n$ -एक्सटेंशन को गिनने के लिए लागू किया गया है। शोध पत्र $\sum_{s < X} \frac{\log |\text{Cl}_{\mathbb{Q}(\sqrt{s})}[A_n]|}{\sqrt{s}}$ के लिए एक निचली सीमा प्राप्त करता है, जो मोनोजेनिक क्षेत्रों (monogenic fields) से प्राप्त पिछले अनुमानों में सुधार करता है।

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

निचली सीमा को आगे बढ़ाना: $n \geq 5$ के लिए $N(n, X)$ के ज्ञात निचली बाउंड घातांक को अनुमानित मान 1 (मालेस अनुमान) के करीब ले जाना।
ज्यामितीय विविधता: यह प्रदर्शित करना कि विशिष्ट ज्यामितीय वैराइटी (विशेष रूप से $P^2(\mathbb{Z})$ और समीकरण $aXY - bZ^2$ से संबंधित) से जुड़े पूर्णांक वलयों वाले संख्या-क्षेत्र, कुल संख्या-क्षेत्रों की गणना में महत्वपूर्ण योगदान देते हैं।
पद्धतिगत नवाचार (Methodological Innovation): $\eth_n$ के लिए एकेडाहल सीव का सफल अनुप्रयोग, उन क्षेत्रों में जहाँ मानक सीव्स विफल हो जाते हैं, जिससे गैर-मानक पैरामीटर स्पेस में वर्गमुक्त मानों की गणना संभव हो पाती है।

लेखक नोट करते हैं कि जबकि $n \geq 5$ के लिए परिणाम मजबूत हैं, $n=4$ का मामला अनुवाद ऑर्बिट्स (translation orbits) में दोहराव (double-counting) की चुनौतियों को प्रस्तुत करता है, जो इस कार्य में पूरी तरह से हल नहीं किए गए हैं। शोध पत्र निष्कर्ष निकालता है कि ये निष्कर्ष एक "भारित निचली सीमा" प्रदान करते हैं जो निर्दिष्ट $n$ की सीमा के लिए पिछले परिणामों की तुलना में स्पष्ट रूप से अधिक मजबूत है।