🔢 mathematics

Counting elliptic curves over $\mathbb{Q}$ with bounded naive height

यह शोध पत्र सीमित नैटिव ऊंचाई (naive height) वाले $\mathbb{Q}$ पर एलिप्टिक कर्व्स की गणना करने के लिए सटीक और अनंतस्पर्शी (asymptotic) सूत्र स्थापित करता है, जो सामान्य परिवार और निश्चित $j$ -इनवैरिएंट्स या कॉम्प्लेक्स मल्टीप्लिकेशन (complex multiplication) वाले विशिष्ट उप-परिवारों को कवर करता है, साथ ही विभिन्न ऊंचाई सामान्यीकरणों (height normalizations) के लिए स्पष्ट पैरामीट्राइजेशन, कम्प्यूटेशनल सत्यापन और SageMath कोड भी प्रदान करता है।

मूल लेखक: Adrian Barquero-Sanchez, Daniel Mora-Mora

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

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

CC BY 4.0

मूल लेखक: Adrian Barquero-Sanchez, Daniel Mora-Mora

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

कल्पना कीजिए कि संख्याओं की दुनिया संख्याओं का एक विशाल, अनंत पुस्तकालय है। इसके भीतर लाखों विशेष पुस्तकें हैं जिन्हें एलिप्टिक कर्व्स (elliptic curves) कहा जाता है। ये कहानियाँ ड्रेगन या अंतरिक्ष यात्रा के बारे में नहीं हैं; ये गणितीय वस्तुएं हैं जो एक विशिष्ट समीकरण द्वारा परिभाषित होती हैं: $y^2 = x^3 + Ax + B$ ।

इस शोध पत्र में, लेखक, एड्रियन बारकेरो-सांचेज़ और डैनियल मोरा-मोरा, पुस्तकालयाध्यक्ष (librarians) की भूमिका निभा रहे हैं जो यह गिनने की कोशिश कर रहे हैं कि ऐसी कितनी पुस्तकें मौजूद हैं, लेकिन एक विशेष नियम के साथ: वे केवल उन पुस्तकों को गिनना चाहते हैं जहाँ संख्याएँ $A$ और $B$ बहुत अधिक बड़ी न हों।

यहाँ उनके कार्य का सरल उपमाओं (analogies) का उपयोग करके विवरण दिया गया है:

1. "नेइव हाइट" (पुस्तक का आकार)

यह तय करने के लिए कि किन पुस्तकों को गिना जाए, पुस्तकालयाध्यक्षों को एक कर्व का "आकार" मापने के लिए एक तरीके की आवश्यकता होती है। वे नेइव हाइट (naive height) नामक चीज़ का उपयोग करते हैं।

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

2. मुख्य खोज: सटीक सूत्र (Exact Formulas)

इस शोध पत्र से पहले, गणितज्ञों के पास इन कर्व्स की संख्या के लिए केवल अनुमानित अंदाज़े (asymptotic formulas) थे। वे उत्तर के सामान्य आकार को तो जानते थे, लेकिन सटीक विवरण नहीं जानते थे।

बड़ी उपलब्धि: लेखकों ने इन कर्व्स को गिनने के लिए सटीक रेसिपी (सूत्र) बनाईं। यह कुछ ऐसा है जैसे यह कहने से कि, "बाग में शायद लगभग दस लाख सेब हैं," एक ऐसे सूत्र तक पहुँचना जो कहता है, "वहाँ ठीक 1,042,399 सेब हैं, प्लस या माइनस एक बहुत छोटी त्रुटि।"
उन्होंने यह निम्नलिखित के लिए किया:
- सभी कर्व्स: संपूर्ण पुस्तकालय।
- एक विशिष्ट "ID" वाले कर्व्स: प्रत्येक कर्व की एक अद्वितीय पहचान होती है जिसे $j$ -invariant कहा जाता है। लेखकों ने उन कर्व्स को गिनने का तरीका निकाला जो एक ही पहचान साझा करते हैं।
- "विशेष शक्तियों" (CM) वाले कर्व्स: कुछ कर्व्स के पास कॉम्प्लेक्स मल्टीप्लिकेशन (CM) नामक एक विशेष गुण होता है। ये किताबों के दुर्लभ, जादुई संस्करणों की तरह हैं। लेखकों ने एक निश्चित वजन के नीचे इन दुर्लभ पुस्तकों की सटीक संख्या गिनी।

3. "ट्विस्ट" और "मिनिमल मॉडल"

इस शोध पत्र का सबसे दिलचस्प हिस्सा यह है कि वे कर्व्स को कैसे व्यवस्थित करते हैं।

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

4. "लापता" जादुई कर्व्स

लेखकों ने अपने नए सूत्रों का उपयोग एक रहस्य को सुलझाने के लिए किया।

रहस्य: एक पिछले कंप्यूटर सर्च में, गणितज्ञों ने एक विशिष्ट, बहुत जटिल पहचान (संख्या -163 से संबंधित) वाले "जादुई" कर्व्स (CM कर्व्स) को खोजा, लेकिन एक निश्चित आकार तक उनमें से एक भी नहीं मिला।
व्याख्या: लेखकों ने सैद्धांतिक रूप से सिद्ध किया कि ये कर्व्स अस्तित्व में हैं, लेकिन वे अत्यधिक भारी हैं।
परिणाम: उनके सूत्र ने दिखाया कि इन विशिष्ट कर्व्स का सबसे छोटा संस्करण इतना विशाल वजन (लगभग $10^{21}$ ) रखता है कि पिछले कंप्यूटर सर्च के लिए उन्हें ढूंढ पाना असंभव था। यह घास के ढेर में सुई खोजने जैसा है, लेकिन वह सुई वास्तव में एक विशाल स्टील का बीम है जो एक पहाड़ के नीचे छिपा हुआ है। शोध पत्र बताता है कि वे क्यों नहीं मिले: वे बस खोज की सीमा के हिसाब से बहुत बड़े थे।

5. पुस्तकालय का "घनत्व" (Density)

अंत में, लेखकों ने "अद्वितीय" (unique) पुस्तकों और "डुप्लिकेट" पुस्तकों के अनुपात को देखा।

निष्कर्ष: उन्होंने गणना की कि उनकी "अनकैलिब्रेटेड" सूची के लगभग 99.9% कर्व्स वास्तव में अद्वितीय प्रतिनिधि हैं। शेष 0.1% केवल उसी मूल आकार की प्रतियां (ट्विस्ट) हैं।
सीख: यदि आप पुस्तकालय से एक रैंडम कर्व चुनते हैं, तो वह लगभग निश्चित रूप से एक अद्वितीय आकार होगा, न कि किसी अन्य की प्रति।

सारांश

संक्षेप में, यह शोध पत्र एलिप्टिक कर्व्स के लिए एक मास्टर कैटलॉग है। लेखक:

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

तकनीकी सारांश: सीमित नैव हाइट (Naive Height) के साथ $\mathbb{Q}$ पर एलिप्टिक कर्व्स की गणना

समस्या विवरण
यह शोध पत्र परिमेय संख्याओं $\mathbb{Q}$ पर एलिप्टिक कर्व्स को उनके "नाइव हाइट" (naive height) के आधार पर गिनने की समस्या का समाधान करता है। विशेष रूप से, लेखक लघु वीयरस्ट्रस फॉर्म (short Weierstrass form) $E_{A,B}: y^2 = x^3 + Ax + B$ में स्थित कर्व्स पर विचार करते हैं, जहाँ पूर्णांक गुणांक $A, B \in \mathbb{Z}$ हैं। यह अध्ययन दो प्राथमिक नैव हाइट सामान्यीकरणों (normalizations) पर केंद्रित है जो अंकगणितीय सांख्यिकी (arithmetic statistics) में व्यापक रूप से उपयोग किए जाते हैं: कैलिब्रेटेड (calibrated) नैव हाइट, $H_{\text{cal}}(E_{A,B}) := \max\{4|A|^3, 27B^2\}$ , और अनकैलिब्रेटेड (uncalibrated) नैव हाइट, $H_{\text{ncal}}(E_{A,B}) := \max\{|A|^3, B^2\}$ ।

लेखक एक ऊंचाई सीमा $X$ के भीतर कई परिवारों में ऐसे कर्व्स की सटीक और अनंतस्पर्शी (asymptotic) गणना प्रदान करने का लक्ष्य रखते हैं:

सभी कर्व्स (दोनों न्यूनतम मॉडल और गैर-न्यूनतम मॉडल) का वैश्विक परिवार।
एक निश्चित $j$ -इनवेरिएंट वाले उप-परिवार।
कॉम्प्लेक्स मल्टीप्लिकेशन (CM) वाले कर्व्स के उप-परिवार।

एक विशिष्ट चुनौती जिसका समाधान किया गया है, वह है निश्चित $j$ -इनवेरिएंट वाले कर्व्स का वितरण जहाँ $j \in \mathbb{Q} \setminus \{0, 1728\}$ है। पिछले कार्यों (जैसे, [BSCM25]) ने $j=0$ और $j=1728$ के लिए अनंतस्पर्शी सूत्र स्थापित किए थे, लेकिन अन्य परिमेय $j$ -इनवेरिएंट्स के लिए केवल $O(X^{1/6})$ का ऊपरी आउंड (upper bound) ही प्रदान कर सके थे।

कार्यप्रणाली (Methodology)
लेखक किसी भी वास्तविक पैरामीटर $\alpha, \beta \ge 1$ के लिए एक सामान्यीकृत नैव हाइट $H_{\alpha,\beta}(E_{A,B}) := \max\{\alpha|A|^3, \beta B^2\}$ को पेश करके कैलिब्रेटेड और अनकैलिब्रेटेड हाइट के उपचार को एकीकृत करते हैं।

मुख्य कार्यप्रणाली संबंधी योगदान शामिल हैं:

निश्चित $j$ -इनवेरिएंट परिवारों का पैरामीट्रेशन: लेखक एक निश्चित $j$ -इनवेरिएंट $j \in \mathbb{Q} \setminus \{0, 1728\}$ वाले $E_{A,B}$ कर्व्स के परिवार के लिए एक पूर्णतः स्पष्ट पैरामीट्रेशन व्युत्पन्न करते हैं। वे दिखाते हैं कि ये कर्व्स एक कस्पल क्यूबिक कर्व (cuspidal cubic curve) $y^2 = a(j)x^3$ पर पूर्णांक बिंदुओं के अनुरूप हैं, जहाँ $a(j) = \frac{4(1728-j)}{27j}$ है।
कस्पल क्यूबिक्स पर पूर्णांक बिंदु: एक प्रमुख तकनीकी उपकरण प्रस्ताव 3.1 है, जो एक आयताकार बॉक्स के भीतर कस्पल क्यूबिक पर पूर्णांक बिंदुओं की संख्या के लिए एक सटीक सूत्र प्रदान करता है। यह पूर्णांक बिंदुओं के सेट और पूर्णांकों के एक स्केल किए गए सेट $m \in \mathbb{Z} \setminus \{0\}$ के बीच एक एकैकी संबंध (bijection) पर निर्भर करता है।
ट्विस्ट अपघटन (Twist Decomposition): लेखक सभी कर्व्स के परिवार $\tilde{E}$ को न्यूनतम मॉडलों $E$ के ट्विस्ट्स में विघटित करके उपयोग करते हैं। विशेष रूप से, किसी भी कर्व $E_{A',B'}$ को अद्वितीय रूप से $d * E_{A,B}$ (जहाँ $d$ एक पूर्णांक है और $E_{A,B}$ एक न्यूनतम मॉडल है) के रूप में लिखा जा सकता है ताकि ऊंचाई $d^{12}$ से स्केल होती है। यह न्यूनतम मॉडलों (आइसोमोर्फिज्म क्लासेस) की गणना से सभी कर्व्स की गणना को जोड़ने के लिए मोबियस इनवर्जन (Möbius inversion) का उपयोग करने की अनुमति देता है।
अनंतस्पर्शी विश्लेषण (Asymptotic Analysis): पूर्णांक बिंदुओं की सटीक गणनाओं को वर्ग-मुक्त पूर्णांकों (square-free integers) के घनत्व (मोबियस फंक्शन के माध्यम से) और $k$ -फ्री पूर्णांकों के साथ जोड़कर, लेखक सटीक अनंतस्पर्शी विस्तार प्राप्त करते हैं, जिसमें एरर टर्म्स भी शामिल हैं।

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

वैश्विक गणना सूत्र: यह शोध पत्र $H_{\alpha,\beta}$ द्वारा क्रमबद्ध परिवारों $\tilde{E}$ (सभी पूर्णांक मॉडल) और $E$ (न्यूनतम मॉडल) के लिए कुल कर्व्स के लिए सटीक और अनंतस्पर्शी सूत्र प्रदान करता है।
- न्यूनतम मॉडलों के लिए, अनंतस्पर्शी गणना $\frac{4}{\alpha^{1/3}\beta^{1/2}\zeta(10)}X^{5/6} + O(X^{1/2})$ है।
- यह ब्रुमर (अनकैलिब्रेटेड हाइट के लिए) और पूनन/बालकृष्ण आदि (कैलिब्रेटेड हाइट के लिए) के पिछले कार्यों को एकीकृत और विस्तारित करता है।
निश्चित $j$ -इनवेरिएंट सूत्र: लेखक एक निश्चित $j$ -इनवेरिएंट $j \in \mathbb{Q} \setminus \{0, 1728\}$ वाले कर्व्स के लिए पहला स्पष्ट अनंतस्पर्शी मुख्य पद (main term) प्रदान करते हैं।
- वे सिद्ध करते हैं कि न्यूनतम मॉडलों की संख्या $\frac{2c(j; H_{\alpha,\beta})}{\zeta(2)}X^{1/6} + O(X^{1/12})$ है, जहाँ $c(j; H_{\alpha,\beta})$ एक स्पष्ट स्थिरांक है जो $j$ और हाइट नॉर्मलाइजेशन पर निर्भर करता है।
- यह पिछले $O(X^{1/6})$ बाउंड में सुधार करता है, एक गणनीय लीडिंग कोएफिशिएंट (leading coefficient) प्रदान करता है।
- $j=0$ और $j=1728$ के लिए, सूत्रों को स्पष्ट स्थिरांकों और $O(X^{1/12})$ एरर टर्म्स के साथ परिष्कृत किया गया है।
कॉम्प्लेक्स मल्टीप्लिकेशन (CM) गणना: ज्ञात तेरह CM $j$ -इनवेरिएंट्स पर परिणामों को जोड़कर, लेखक CM एलिप्टिक कर्व्स की संख्या के लिए सटीक और अनंतस्पर्शी सूत्र प्राप्त करते हैं।
- न्यूनतम CM मॉडलों के लिए अनंतस्पर्शी विस्तार में तीन पद शामिल हैं: $O(X^{1/2})$ (जहाँ $j=0$ ), $O(X^{1/3})$ (जहाँ $j=1728$ ), और $O(X^{1/6})$ (अन्य CM $j$ -इनवेरिएंट्स के लिए)।
- शोध पत्र स्पष्ट रूप से $X^{1/6}$ पद के लिए स्थिरांक $K(\alpha, \beta)$ की गणना करता है।
स्पष्ट पैरामीट्रेशन और न्यूनतम मॉडल: शोध पत्र एक निश्चित $j$ -इनवेरिएंट वाले सभी कर्व्स के लिए एक रचनात्मक पैरामीट्रेशन $A(m), B(m)$ प्रदान करता है। यह पैरामीट्रेशन न्यूनतम नैव हाइट वाले दो कर्व्स की पहचान करता है (जो $m = \pm 1$ के अनुरूप हैं) और अन्य सभी कर्व्स को इन न्यूनतम मॉडलों के क्वाड्रेटिक ट्विस्ट्स के रूप में वर्णित करता है।
- उदाहरण: डिस्क्रीमिनेंट $-163$ के साथ CM ऑर्डर के लिए, न्यूनतम हाइट वाले कर्व्स का कैलिब्रेटेड हाइट लगभग $2.63 \times 10^{21}$ है। यह समझाता है कि क्यों $10^{10}$ तक के पिछले व्यापक कंप्यूटर खोजों में ऐसे कोई कर्व नहीं मिले।
अनंतस्पर्शी घनत्व (Asymptotic Density): शोध पत्र सभी पूर्णांक मॉडलों के सेट के भीतर न्यूनतम मॉडलों के अनंतस्पर्शी घनत्व की गणना करता है।
- वैश्विक परिवार के लिए, घनत्व $1/\zeta(10) \approx 99.9\%$ है।
- निश्चित $j$ -इनवेरिएंट्स के लिए ( $j \neq 0, 1728$ ), घनत्व $1/\zeta(2) \approx 60.8\%$ है।

सत्यापन और डेटा
लेखक अपने सैद्धांतिक सूत्रों को छोटे हाइट बाउंड्स के लिए व्यापक कंप्यूटर खोजों के विरुद्ध सत्यापित करते हैं। वे $10^{30}$ तक की हाइट के लिए CM कर्व्स के लिए विस्तृत संख्यात्मक डेटा भी प्रदान करते हैं, जिसे ब्रूट-फोर्स एन्यूमरेशन के बजाय उनके सटीक सूत्रों का उपयोग करके गणना किया गया है। इस डेटा में सभी तेरह CM $j$ -इनवेरिएंट्स के लिए न्यूनतम हाइट प्रतिनिधि की तालिकाएं और विभिन्न हाइट बाउंड्स के लिए कर्व्स की गणना शामिल है।

महत्व
यह शोध पत्र अलग-अलग हाइट नॉर्मलाइजेशन के तहत एलिप्टिक कर्व्स को गिनने के लिए एक एकीकृत ढांचे को प्रदान करने का दावा करता है। इसका प्राथमिक सैद्धांतिक विकास निश्चित $j$ -इनवेरिएंट्स (0 और 1728 को छोड़कर) के लिए स्पष्ट अनंतस्पर्शी सूत्र प्राप्त करना है, जो पहले केवल ऊपरी सीमाओं तक सीमित था। इसके अलावा, निश्चित $j$ -इनवेरिएंट परिवारों के लिए स्पष्ट पैरामीट्रेशन न्यूनतम मॉडलों की पहचान करने की अनुमति देता है और उच्च-हाइट CM कर्व्स के लिए सैद्धांतिक भविष्यवाणियों और कम्प्यूटेशनल खोजों के बीच विसंगतियों की व्याख्या करता है। SageMath कोड और विस्तृत संख्यात्मक तालिकाओं का समावेश इसके सैद्धांतिक परिणामों के कम्प्यूटेशनल पूरक के रूप में कार्य करता है, जो अंकगणितीय सांख्यिकी में आगे के अनुसंधान को सुगम बनाता है।