🔢 mathematics

Simplest cubic fields with small class number

यह शोध पत्र विशिष्ट श्रेणियों के भीतर उन पूर्णांकों $m$ को सूचीबद्ध करने और उनकी गणना करने के लिए कम्प्यूटेशनल विधियों का उपयोग करता है जो छोटे क्लास नंबर वाले सरल क्यूबिक क्षेत्रों (simplest cubic fields) को उत्पन्न करते हैं, और परिणामों को पूर्णांकों के सूचकांक (index) और कंडक्टर (conductor) के आधार पर वर्गीकृत करता है।

मूल लेखक: Akinari Hoshi, Hiroaki Iida

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

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

CC BY 4.0

मूल लेखक: Akinari Hoshi, Hiroaki Iida

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

कल्पना कीजिए कि आप एक मास्टर आर्किटेक्ट हैं जो एक विशेष प्रकार की इमारत डिजाइन कर रहे हैं जिसे "सिम्प्लेस्ट क्यूबिक फील्ड" (Simplest Cubic Field) कहा जाता है।

गणित की दुनिया में, इन इमारतों का निर्माण एक विशिष्ट ब्लूप्रिंट (एक सूत्र) का उपयोग करके किया जाता है जिसमें एक संख्या शामिल है जिसे हम $m$ कहेंगे। ब्लूप्रिंट इस प्रकार दिखता है:
$x^3 - mx^2 - (m+3)x - 1 = 0$

हर बार जब आप $m$ के लिए एक अलग पूर्णांक (जैसे -1, 0, 1, 2, 3...) चुनते हैं, तो आपको एक अनूठी इमारत मिलती है। ये इमारतें आकर्षक हैं क्योंकि ये "चक्रीय" (cyclic) हैं, जिसका अर्थ है कि इनमें एक पूर्ण, दोहराव वाली समरूपता है, जैसे कि तीन ब्लेड वाला पंखा या एक त्रिकोण।

दो बड़े प्रश्न

इस शोध पत्र के लेखक, होशी और इडा, दो मुख्य प्रश्नों का उत्तर देने के लिए जासूसों की तरह काम कर रहे हैं:

इसका आंतरिक भाग कितना "अव्यवस्थित" (messy) है?
गणित में, किसी इमारत की "अव्यवस्थितता" को उसका क्लास नंबर (Class Number) ( $h_m$ ) कहा जाता है।
- यदि क्लास नंबर 1 है, तो इमारत पूरी तरह से व्यवस्थित है। हर कमरा पूरी तरह से फिट बैठता है; कोई ढीली ईंटें या भ्रमित करने वाले गलियारे नहीं हैं। यह एक "प्रिंसिपल आइडियल डोमेन" (Principal Ideal Domain) है।
- यदि क्लास नंबर 3, 4, 7, 100 है, तो इमारतों में कुछ संरचनात्मक खामियां हैं। वे अभी भी खड़ी हैं, लेकिन उनके संगठन में कुछ "छेद" हैं जिनके लिए कुछ दरवाजों को खोलने के लिए अतिरिक्त चाबियों की आवश्यकता होती है।
- संख्या जितनी अधिक होगी, आंतरिक भाग उतना ही अराजक होगा।
क्या इसकी नींव ठोस है?
नींव ब्लूप्रिंट ( $m$ ) और दीवारों के निर्माण में उपयोग की जाने वाली वास्तविक सामग्रियों ("रिंग ऑफ इंटीजर्स") के बीच के संबंध को दर्शाती है।
- कभी-कभी ब्लूप्रिंट सामग्रियों के साथ पूरी तरह से मेल खाता है (इंडेक्स = 1)।
- कभी-कभी सामग्रियां थोड़ी अलग होती हैं, जिससे संरचना को समझने के लिए "स्कैफोल्डिंग" (पाड़) के कारक 3 या 27 की आवश्यकता होती है।

एक महान जनगणना (The Great Census)

लेखक PARI/GP नामक एक शक्तिशाली कैलकुलेटर का उपयोग करके एक विशाल डिजिटल अभियान पर निकले। उन्होंने केवल कुछ ही इमारतों को नहीं देखा; उन्होंने लाखों की जांच की।

उन्होंने क्या पाया:

"परफेक्ट" इमारतें (Class Number 1):
उन्होंने $m$ के ठीक 26 विशेष मान (4 मिलियन तक) पाए जहाँ इमारत पूरी तरह से व्यवस्थित ( $h_m = 1$ ) है।
- उपमा: कल्पना कीजिए कि आप घास के ढेर में सुई ढूंढ रहे हैं। उन्होंने एक शहर के आकार के घास के ढेर में 26 सुइयां पाईं।
- कुछ प्रसिद्ध सुइयां हैं $m = -1, 0, 1, 2, 3, 4, 7, 8, 10, 12, \dots$
"थोड़ी अव्यवस्थित" इमारतें:
उन्होंने यह भी गिना कि कितनी इमारतों में थोड़ी अव्यवस्था ( $h_m = 3, 4, 7, 9, 12, 13$ ) थी।
- स्तर 3 की अव्यवस्था वाली 31 इमारतें मिलीं।
- स्तर 4 की 10 इमारतें मिलीं।
- और इसी तरह।
- कुल मिलाकर, उन्होंने अपनी खोज सीमा के भीतर बहुत कम अव्यवस्था (16 से कम) वाली 137 इमारतें पाईं।

"स्कैफोल्डिंग" (Scaffolding) कारक
शोध पत्र ने यह भी देखा कि ब्लूप्रिंट का सामग्रियों से कैसे संबंध है।

केस 1 (इंडेक्स 1): ब्लूप्रिंट पूरी तरह से फिट बैठता है। उन्होंने कम अव्यवस्था वाली 581 ऐसी इमारतें पाईं।
केस 2 (इंडेक्स 3): ब्लूप्रिंट को थोड़ी अतिरिक्त मदद (कारक 3) की आवश्यकता है। उन्होंने 80 ऐसी इमारतें पाईं।
केस 3 (इंडेक्स 27): ब्लूप्रिंट को बहुत अधिक स्कैफोल्डिंग (कारक 27) की आवश्यकता है। उन्होंने 142 ऐसी इमारतें पाईं।

यह क्यों मायने रखता है?

आप पूछ सकते हैं, "अव्यवस्थित गणितीय इमारतों को गिनने से किसे फर्क पड़ता है?"

"सीमित" रहस्य (The "Finite" Mystery): लेखकों ने सिद्ध किया कि अव्यवस्था के किसी भी विशिष्ट स्तर (मान लीजिए, ठीक 1000) के लिए, इन इमारतों की संख्या सीमित (finite) है। आप नए रूप में इन्हें अनंत काल तक नहीं खोज सकते; अंततः, इमारतें इतनी विशाल और जटिल हो जाएंगी कि उनकी अव्यवस्था विस्फोट कर देगी।
"GRH" सुरक्षा जाल: अपनी गणनाओं के लिए, उन्होंने जनरलाइज्ड रीमैन हाइपोथेसिस (GRH) नामक एक प्रसिद्ध गणितीय अनुमान का उपयोग किया। यह एक भरोसेमंद मानचित्र की तरह है जो शायद थोड़ा गलत हो सकता है, लेकिन आमतौर पर सही होता है।
- ट्विस्ट: बहुत कम अव्यवस्था वाली इन विशिष्ट इमारतों के लिए, उन्होंने यह प्रमाणित करने के लिए एक "सर्टिफिकेशन" टूल का उपयोग किया कि मानचित्र वास्तव में सही था। उन्हें अनुमान की आवश्यकता नहीं थी; उनके पास प्रमाण था।
खोए हुए हिस्से: उन्होंने एक पिछले अध्ययन (लेटल द्वारा 1986 में) में एक छोटी त्रुटि को सुधारा, जिससे एक ऐसी इमारत मिली जिसे गलती से सूची से बाहर छोड़ दिया गया था (विशेष रूप से वह जहाँ $m=12$ है)।

बड़ी तस्वीर की उपमा

कल्पना कीजिए कि आप हर उस प्रकार के स्नोफ्लेक (हिम कण) को सूचीबद्ध कर रहे हैं जो कभी भी अस्तित्व में हो सकते हैं।

अधिकांश स्नोफ्लेक जटिल और अद्वितीय होते हैं।
लेकिन आप केवल उन "सबसे सरल" स्नोफ्लेक में रुचि रखते हैं जिनमें पूर्ण 3-तरफा समरूपता (3-fold symmetry) है।
आप जानना चाहते हैं: "इनमें से कितने सरल स्नोफ्लेक में एक पूर्ण, अटूट क्रिस्टल संरचना है?"
होशी और इडा ने इस प्रकार के हर स्नोफ्लेक को स्कैन किया (एक निश्चित आकार तक) और एक निश्चित सूची बनाई। उन्होंने कहा, "यहाँ वे 26 पूर्ण वाले हैं। यहाँ वे 31 हैं जो लगभग पूर्ण हैं। और यहाँ प्रमाण है कि हमने इस सीमा के भीतर अन्य किसी को नहीं छोड़ा है।"

सारांश

यह शोध पत्र विशिष्ट गणितीय संरचनाओं के एक परिवार का एक व्यापक जनगणना (comprehensive census) है। लेखकों ने आधुनिक कंप्यूटरों का उपयोग करके:

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

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

यहाँ अकिनारी होशी और हिरोआकी इडा के शोध पत्र "Simplest Cubic Fields with Small Class Number" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र "सिम्प्लेस्ट क्यूबिक फील्ड्स" (simplest cubic fields) $L_m = \mathbb{Q}(\alpha)$ के क्लास नंबर्स ( $h_m$ ) की जांच करता है, जहाँ $\alpha$ बहुपद:
$f_m(X) = X^3 - mX^2 - (m+3)X - 1$
का एक मूल (root) है, और $m \in \mathbb{Z}$ पूर्णांक है। ये क्षेत्र $\mathbb{Q}$ के साइक्लिक क्यूबिक एक्सटेंशन हैं जिनका गैलवा समूह (Galois group) $C_3$ है।

लेखक निम्नलिखित उद्देश्यों को प्राप्त करना चाहते हैं:

उन पूर्णांकों $m \ge -1$ की सटीक संख्या निर्धारित करना जहाँ $h_m \le 1000$ है, जिसे इंडेक्स $[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]]$ (जो यह निर्धारित करता है कि बहुपद मोनोजेनिक है या नहीं) के आधार पर वर्गीकृत किया गया है।
रेंज $-1 \le m \le 4 \cdot 10^6$ में उन सभी पूर्णांकों $m$ की पहचान करना जहाँ क्लास नंबर छोटा ( $h_m < 16$ ) है।
इन पूर्णांकों की स्पष्ट सूचियाँ और उनके आइडियल क्लास ग्रुप (ideal class group) की संरचना प्रदान करना।

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

लेखक सैद्धांतिक संख्या सिद्धांत (theoretical number theory) और PARI/GP का उपयोग करके व्यापक कम्प्यूटेशनल सत्यापन के संयोजन का उपयोग करते हैं।

सैद्धांतिक ढांचा (Theoretical Framework)

क्षेत्र के गुण (Field Properties): $f_m(X)$ का डिस्क्रिमिनेन्ट (discriminant) $(m^2 + 3m + 9)^2$ है। क्षेत्र $L_m$ का कंडक्टर (conductor) $f_m$ , $m$ के modulo 3, 9, और 27 के सापेक्ष प्राइम फैक्टराइजेशन और कॉंग्रुएंस स्थितियों के आधार पर निकाला जाता है।
इंडेक्स गणना (Index Calculation): इंडेक्स $[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]]$ $[O_{L_{m}} : Z [α]]$ बहुपद के डिस्क्रिमिनेन्ट और क्षेत्र के डिस्क्रिमिनेन्ट के बीच संबंध को निर्धारित करता है। शोध पत्र तीन विशिष्ट मामलों पर ध्यान केंद्रित करता है:
- इंडेक्स = 1 (मोनोजेनिक): $m^2 + 3m + 9 = f_m$
- इंडेक्स = 3: $m^2 + 3m + 9 = 3f_m$
- इंडेक्स = 27: $m^2 + 3m + 9 = 27f_m$
सीमाएँ (Bounds): लेखक क्लास नंबर के लिए लेटल के लोअर बाउंड (Lettl's lower bound) का उपयोग करते हैं (जो क्लास नंबर फॉर्मूला और रेगुलेटर बाउंड से प्राप्त होता है) ताकि $m$ की ऊपरी सीमा स्थापित की जा सके। विशेष रूप से, एक निश्चित इंडेक्स और एक निश्चित क्लास नंबर $h$ के लिए, $m$ के केवल सीमित मान होते हैं। यह खोज क्षेत्र को सीमित करने की अनुमति देता है (जैसे, इंडेक्स 1 और $h \le 1000$ के लिए $m \le 5762$ )।
थ्यू इक्वेशन्स (Thue Equations): शोध पत्र फील्ड कोइन्सिडेंस ( $L_m = L_n$ ) और थ्यू इक्वेशन्स पर पिछले कार्यों (Hoshi, Okazaki) का संदर्भ देता है ताकि विश्लेषण किए जा रहे क्षेत्रों की विशिष्टता सुनिश्चित की जा सके।

कम्प्यूटेशनल दृष्टिकोण (Computational Approach)

सॉफ्टवेयर: सभी गणनाएँ PARI/GP का उपयोग करके की गईं।
एल्गोरिदम:
- bnfinit: क्लास नंबर और क्लास ग्रुप संरचना सहित नंबर फील्ड डेटा की गणना करता है।
- bnfcertify: विशिष्ट श्रेणियों के लिए (जहाँ बाउंड्स अनुमति देते हैं) गणना किए गए क्लास नंबर्स को अनकंडीशनल रूप से (बिना GRH माने) सत्यापित करने के लिए उपयोग किया गया।
- बड़े रेंज ( $m \le 4 \cdot 10^6$ ) के लिए, गणना शुरू में GRH के तहत की गई और फिर $h_m < 16$ वाले उपसमुच्चय के लिए प्रमाणित की गई।
खोज रणनीति (Search Strategy): लेखकों ने कंडक्टर की प्राइमैलिटी/स्क्वायर-फ्री स्थितियों और विशिष्ट कॉंग्रुएंस कंडीशंस (modulo 3, 9, 27) को पूरा करने वाले पूर्णांकों $m$ के माध्यम से पुनरावृति (iterate) की, और छोटे क्लास नंबरों के लिए उन्हें फ़िल्टर किया।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. $h_m \le 1000$ के लिए वर्गीकरण (Theorem 1.12)

लेखक इंडेक्स $[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]]$ द्वारा विभाजित, $h \le 1000$ तक के क्लास नंबरों को उत्पन्न करने वाले $m \ge -1$ के पूर्णांकों का पूर्ण विवरण प्रदान करते हैं:

इंडेक्स = 1 (मोनोजेनिक मामला, $m^2+3m+9 = f_m$ ):
- कुल गणना: 581 पूर्णांक।
- विवरण:
  - $m=0$ ( $h=1$ )।
  - प्राइम कंडक्टर के साथ $m \not\equiv 0 \pmod 3$ : 149 पूर्णांक (7 में $h=1$ है)।
  - कंपोजिट कंडक्टर के साथ $m \not\equiv 0 \pmod 3$ : 308 पूर्णांक (5 में $h=3$ है)।
  - कंडक्टर $9p$ के साथ $m \equiv 0, 6 \pmod 9$ : 56 पूर्णांक (4 में $h=3$ है)।
  - कंडक्टर $9s$ के साथ $m \equiv 0, 6 \pmod 9$ : 67 पूर्णांक।
इंडेक्स = 3 ( $m^2+3m+9 = 3f_m$ ):
- कुल गणना: 80 पूर्णांक।
- विवरण:
  - $m=3$ ( $h=1$ )।
  - कंडक्टर $9p$ के साथ $m \equiv 3, 21 \pmod{27}$ : 34 पूर्णांक (2 में $h=3$ है)।
  - कंडक्टर $9s$ के साथ $m \equiv 3, 21 \pmod{27}$ : 45 पूर्णांक।
इंडेक्स = 27 ( $m^2+3m+9 = 27f_m$ ):
- कुल गणना: 142 पूर्णांक।
- विवरण:
  - प्राइम कंडक्टर के साथ $m \equiv 12 \pmod{27}$ : 45 पूर्णांक (3 में $h=1$ है)।
  - कंपोजिट कंडक्टर के साथ $m \equiv 12 \pmod{27}$ : 97 पूर्णांक (2 में $h=3$ है)।

B. $4 \cdot 10^6$ तक $h_m < 16$ के लिए वर्गीकरण (Theorem 1.13)

लेखकों ने बहुत छोटे क्लास नंबरों के सभी उदाहरण खोजने के लिए खोज को $m \le 4 \cdot 10^6$ तक विस्तारित किया।

कुल गणना: इस रेंज में ठीक 137 पूर्णांक हैं जहाँ $h_m < 16$ है।
वितरण (Distribution):
- $h_m = 1$ : 26 पूर्णांक (जिसमें $m = -1, 0, 1, 2, 3, 4, 5, 7, 8, 10, 12, 39, 54, 66, 93, \dots$ शामिल हैं)।
- $h_m = 3$ : 31 पूर्णांक।
- $h_m = 4$ : 10 पूर्णांक।
- $h_m = 7$ : 10 पूर्णांक।
- $h_m = 9$ : 36 पूर्णांक।
- $h_m = 12$ : 21 पूर्णांक।
- $h_m = 13$ : 3 पूर्णांक।
सीमा का महत्व: शोध पत्र नोट करता है कि सामान्यीकृत रीमान परिकल्पना (GRH) के तहत, पूरे रेंज $-1 \le m \le 4 \cdot 10^6$ में $h_m < 16$ के लिए ये 137 पूर्णांक ही एकमात्र समाधान हैं।

C. स्पष्ट डेटा (Explicit Data)

शोध पत्र में विस्तृत तालिकाएँ (तालिका 1–7) शामिल हैं जो प्रत्येक पाए गए मामले के लिए विशिष्ट $m$ के मान, उनकी कॉंग्रुएंस क्लासेस, $m^2+3m+9$ का मान, उसका प्राइम फैक्टराइजेशन और आइडियल क्लास ग्रुप की संरचना (जैसे, $C_2 \times C_2$ , $C_3$ , आदि) को सूचीबद्ध करती हैं।

4. महत्व (Significance)

पूर्णता (Completeness): यह कार्य साइक्लेस्टिक क्यूबिक फील्ड्स के क्लास नंबर्स के लिए अब तक का सबसे व्यापक डेटासेट प्रदान करता है, जो पिछले आंशिक परिणामों (जैसे, लेटल, बायोन) से आगे बढ़ता है जो विशिष्ट उप-मामलों या छोटी श्रेणियों तक सीमित थे।
मोनोजेनिटी (Monogenicity): इंडेक्स $[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]]$ के आधार पर परिणामों को अलग करके, यह शोध पत्र विशेष रूप से मोनोजेनिक क्षेत्रों (इंडेक्स 1) के लिए क्लास नंबरों के वितरण को स्पष्ट करता है, जो बीजगणितीय संख्या सिद्धांत (algebraic number theory) में एक महत्वपूर्ण विषय है।
परिकल्पनाओं का सत्यापन (Verification of Conjectures): परिणाम पहले के सैद्धांतिक बाउंड्स की पुष्टि और विस्तार करते हैं। $h_m < 16$ के लिए $-1 \le m \le 4 \cdot 10^6$ तक के सभी $m$ की स्पष्ट सूची साइक्लिक क्यूबिक फील्ड्स में क्लास नंबरों के वितरण से संबंधित अनुमानों के परीक्षण के लिए एक महत्वपूर्ण संदर्भ के रूप में कार्य करती है।
साहित्य का सुधार (Correction of Literature): लेखक लेटल (1986) के एक पिछले परिणाम में एक छूटे हुए मामले ( $m=12$ के साथ $h=1$ ) को स्पष्ट रूप से सुधारते हैं, जो कठोर कम्प्यूटेशनल सत्यापन की आवश्यकता को प्रदर्शित करता है।
मेथडोलॉजिकल बेंचमार्क (Methodological Benchmark): यह शोध पत्र कम्प्यूटेशनल नंबर थ्योरी के लिए एक बेंचमार्क के रूप में कार्य करता है, जो यह दर्शाता है कि नंबर फील्ड्स में डायोफेंटाइन समस्याओं को हल करने के लिए एनालिटिक बाउंड्स को आधुनिक कंप्यूटर अलजेब्रा सिस्टम के साथ कैसे जोड़ा जा सकता है।

संक्षेप में, होशी और इडा ने साइप्लेस्ट क्यूबिक फील्ड्स के छोटे क्लास नंबरों के "परिदृश्य" (landscape) को प्रभावी ढंग से मैप किया है, जिससे उन मापदंडों $m$ की एक निश्चित सूची प्राप्त हुई है जो इन क्षेत्रों को उत्पन्न करते हैं, जिससे इस विशिष्ट प्रकार के साइक्लिक क्यूबिक एक्सटेंशन के अंकगणितीय गुणों की समझ विकसित होती है।