🔢 mathematics

Cyclotomic Numbers of Order $q-1$ over $\mathbb{F}_{q^r}$

यह शोध पत्र परिमित क्षेत्र $\mathbb{F}_{q^r}$ (जहाँ $k=(q^r-1)/(q-1)$ ) पर $q-1$ के साइक्लोटोमिक संख्याओं (cyclotomic numbers) के लिए $\lceil k/2 \rceil$ का एक ऊपरी आबंध (upper bound) स्थापित करता है, जिसमें विशिष्ट अपवाद और $r$ के अभाज्य मानों के लिए अधिक सटीक आबंध प्रदान किए गए हैं।

मूल लेखक: Hayaki Kudo, Yuto Nogata

प्रकाशित 2026-04-29

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

CC BY 4.0

मूल लेखक: Hayaki Kudo, Yuto Nogata

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

कल्पना कीजिए कि आप एक गणितज्ञ हैं जो एक विशाल, परिमित ब्रह्मांड के भीतर एक बहुत बड़ी पहेली को हल करने की कोशिश कर रहे हैं जिसे फाइनाइट फील्ड (Finite Field) कहा जाता है। इस ब्रह्मांड को एक छोटे, बंद शहर के रूप में सोचें जिसमें घरों की एक विशिष्ट संख्या (मान लीजिए कुल घरों की संख्या $q^r$ ) है।

इस शहर में, घरों को पड़ोसों (neighborhoods) में व्यवस्थित करने के लिए एक विशेष नियम है। आप एक "जेनेरेटर" (एक जादुई कुंजी, $\omega$ ) चुनते हैं जो शहर के हर घर को खोल सकता है। इस कुंजी का उपयोग करके, आप शहर को $q-1$ विशिष्ट पड़ोसों (जिन्हें साइक्लोटोमिक कोसेट्स कहा जाता है) में विभाजित करते हैं। प्रत्येक पड़ोस घरों का एक समूह है जो आपकी कुंजी की शक्तियों (powers) द्वारा एक-दूसरे से "जुड़े" हुए हैं।

बड़ा सवाल: कितने पड़ोसी?

यह शोध पत्र इन पड़ोसों के बारेगत एक बहुत ही विशिष्ट प्रश्न पूछता है:
यदि आप दो विशिष्ट पड़ोस चुनते हैं, मान लीजिए पड़ोस A और पड़ोस B, तो कितने "जोड़े" $(x, x+1)$ मौजूद हैं जहाँ:

घर $x$ पड़ोस A में है।
उसके ठीक बगल वाला घर ( $x+1$ ) पड़ोस B में है।

इस गणना को एक साइक्लोटोमिक नंबर (Cyclotomic Number) कहा जाता है, जिसे $(a, b)_{q-1}$ के रूप में दर्शाया जाता है।

मुख्य खोज: एक सख्त सीमा

लेखकों, हयाकी कुडो और युतो नोगाटा ने जानना चाहा: क्या इन जोड़ों की संख्या के लिए कोई सीमा है?

उन्होंने एक "सीलिंग" या अधिकतम सीमा खोजी। उन्होंने सिद्ध किया कि, लगभग हर स्थिति में, इन विशेष जोड़ों की संख्या एक विशिष्ट समूह में घरों की कुल संख्या के आधे से अधिक नहीं हो सकती (गणितीय रूप से $\lceil k/2 \rceil$ के रूप में लिखा गया है)।

इसे इस तरह समझें: यदि आपके पास 100 कंचों की एक बाल्टी है, तो आप संभवतः 50 से अधिक ऐसे जोड़े नहीं ढूंढ सकते जो एक विशिष्ट पैटर्न में एक-दूसरे के ठीक बगल में रखे हों। यह शोध पत्र सिद्ध करता है कि इस "50-कंचे वाले नियम" का पालन इस गणितीय शहर के लगभग सभी संस्करणों में किया जाता है।

एक बड़ा अपवाद

हालाँकि, लेखकों को एक विशिष्ट परिदृश्य मिला जहाँ यह नियम टूट जाता है।

अपवाद: यदि शहर एक बहुत ही छोटे आधार पर बना है (विशेष रूप से जब $q=2$ ) और शहर का विस्तार काफी अधिक किया गया है (जब $r \ge 3$ )।
क्या होता है: इस विशिष्ट मामले में, जोड़ों की संख्या वास्तव में सीमा से अधिक होती है। यह ऐसा है जैसे शहर का लेआउट इस तरह मजबूर करता है कि हर कोई उस विशिष्ट पैटर्न में अपने पड़ोसी के बगल में बैठ जाए, जिससे सामान्य "आधे" वाले नियम का उल्लंघन होता है।
दृश्य (Visual): इस टूटे हुए मामले में, गणितीय मैट्रिक्स (नियमों को दर्शाने वाला एक ग्रिड) एक "सभी एक (all ones) वाला मैट्रिक्स" बन जाता है, जिसका अर्थ है कि प्रत्येक संभावित संबंध मौजूद है।

विशिष्ट मामलों के लिए सटीक नियम

यह शोध पत्र केवल सामान्य सीमा तक ही नहीं रुकता है। यह बहुत विशिष्ट हो जाता है जब विस्तार कारक ( $r$ ) एक अभाज्य संख्या (prime number) है (जैसे 2 या 3):

यदि $r=2$ : जोड़ों की संख्या बहुत कम है। यह या तो 0, 1, या 2 है। यह एक बहुत ही शांत पड़ोस है।
यदि $r=3$ : जोड़ों की संख्या अधिक है, लेकिन लेखकों ने इस विशिष्ट मामले के लिए एक नया, अधिक सटीक "सीलिंग" (छत) की गणना की है (6 और $2q+4$ के बीच)।

उन्होंने इसे कैसे हल किया?

इन उत्तरों को खोजने के लिए, लेखकों ने दो मुख्य उपकरणों का उपयोग किया:

"कैरेक्टर" विधि (The "Character" Method): उन्होंने पैटर्न गिनने के लिए अमूर्त "कैरेक्टर्स" (जैसे संगीत के स्वर या आवृत्तियाँ) का उपयोग किया। फील्ड के "संगीत" को सुनकर, वे एक-एक करके गिनने के बजाय जोड़ों की सटीक संख्या की गणना कर सके।
"केले ग्राफ" (Cayley Graph - एक शहर का मानचित्र): उन्होंने समस्या को एक निर्देशित मानचित्र (एक ग्राफ) के रूप में देखा जहाँ आप एक बिंदु से दूसरे बिंदु तक चलते हैं। जोड़ों की संख्या उन विशिष्ट पथों की संख्या के बराबर है जिन्हें आप इस मानचित्र पर ले सकते हैं। इसने उन्हें यह देखने का एक संरचनात्मक तरीका दिया कि ये संख्याएँ क्यों इस तरह व्यवहार करती हैं।

सारांश

सरल शब्दों में, यह शोध पत्र सिद्ध करता है कि इन विशिष्ट नियमों के साथ बनाए गए अधिकांश गणितीय "शहरों" में, विभिन्न समूहों में आसन्न पड़ोसियों की संख्या समूह के आकार के लगभग आधे तक ही सीमित रहती है। एकमात्र समय जब यह सीमा विफल होती है, वह एक बहुत ही विशिष्ट, छोटे-आधार वाले, बड़े-विस्तार वाले परिदृश्य में होता है। लेखकों ने विशिष्ट मामलों के लिए इन संख्याओं की गणना करने के लिए सटीक सूत्र भी प्रदान किए, जिससे एक अस्पष्ट अनुमान एक सटीक भविष्यवाणी में बदल गया।

यहाँ हयाकी कुडो और युटो नोगाटा के शोध पत्र "Cyclotomic Numbers of Order $q-1$ over $\mathbb{F}_{q^r}$ " का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र परिमित क्षेत्रों (finite fields) में चक्रीय संख्याओं (cyclotomic numbers) $(a, b)_e$ की जांच करता है, विशेष रूप से उस संदर्भ में जहाँ चक्रीयता (cyclotomy) की कोटि $e = q-1$ है और आधार क्षेत्र एक विस्तार $\mathbb{F}_{q^r}$ है (जहाँ $q=p^n$ और $r \ge 2$ )।

परिभाषाएँ: मान लीजिए $k = \frac{q^r-1}{q-1}$ । चक्रीय संख्याएँ $(a, b)_{q-1}$ उन तत्वों $x \in C_a$ की संख्या को दर्शाती हैं ताकि $x+1 \in C_b$ हो, जहाँ $C_a$ , $\mathbb{F}_{q^r}$ में कोटि $q-1$ के चक्रीय कोसेट्स (cyclotomic cosets) हैं।
संदर्भ: जबकि निश्चित $e$ के लिए $|F| \to \infty$ होने पर साहसिक व्यवहार (asymptotic behavior) ज्ञात है ( $(a,b)_e \sim |F|/e^2$ ), और बड़े अभिलक्षण (characteristic) के लिए ऊपरी सीमाएँ मौजूद हैं, यह शोध पत्र उस विशिष्ट परिवार पर ध्यान केंद्रित करता है जहाँ $e = q-1$ क्षेत्र के आकार $q^r$ के सापेक्ष स्थिर रहता है।
मुख्य प्रश्न: लेखक यह निर्धारित करने का लक्ष्य रखते हैं कि क्या सभी $0 \le a, b \le q-2$ के लिए असमिका $(a, b)_{q-1} \le \lceil k/2 \rceil$ सत्य है। यह सीमा महत्वपूर्ण है क्योंकि यह चक्रीयता से जुड़ी विशिष्ट मैट्रिसेस (matrices) के रैंक और नॉर्म समीकरणों (norm equations) के समाधानों के वितरण से संबंधित है।

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

लेखक बीजगणितीय संख्या सिद्धांत (algebraic number theory), कैरेक्टर सम (character sums) और ग्राफ सिद्धांत (graph theory) को संयोजित करते हुए एक बहुआयामी दृष्टिकोण अपनाते हैं:

कैरेक्टर सम सूत्रीकरण (Character Sum Formulation):
- वे $\mathbb{F}_{q^r}$ पर मल्टीप्लिकेटिव कैरेक्टर्स और जैकोबी sums (Jacobi sums) का उपयोग करके $(a, b)_{q-1}$ को व्यक्त करते हैं।
- सापेक्ष नॉर्म मैप (relative norm map) $N = N_{\mathbb{F}_{q^r}/\mathbb{F}_q}$ का उपयोग करके, वे विस्तार क्षेत्र के जैकोबी sums को आधार क्षेत्र $\mathbb{F}_q$ के जैकोबी sums की घातों से जोड़ते हैं।
- वे योग को इस आधार पर मामलों में विभाजित करते हैं कि शामिल कैरेक्टर्स ट्रिवियल (trivial) हैं या गैर-ट्रिवियल, जिससे एक मुख्य पद (main term) और एक त्रुटि पद (error term) अलग होता है।
अनुमान और सीमाएँ (Estimation and Bounds):
- मुख्य पद विश्लेषण (Main Term Analysis): मुख्य पद ट्रिवियल कैरेक्टर मामलों से प्राप्त होता है, जो $q^r$ और $(q-2)^r$ को शामिल करते हुए स्पष्ट सूत्र प्रदान करता है।
- त्रुटि पद अनुमान (Error Term Estimation): त्रुटि पद में गैर-ट्रिवियल कैरेक्टर्स शामिल होते हैं। हासे-डेवनपोर्ट संबंध (Hasse-Davenport relation) और गॉस सम (Gauss sums) के गुणों का उपयोग करते हुए, वे इस पद के परिमाण को $O(q^{r/2})$ द्वारा सीमित करते हैं।
- मामला विश्लेषण (Case Analysis): वे $q$ और $r$ की विभिन्न अनुपातों (parities) के लिए मुख्य पद और त्रुटि सीमा की तुलना करके असमिका $(a, b)_{q-1} \le \lceil k/2 \rceil$ का कठोरता से विश्लेषण करते हैं।
केली डायग्राफ व्याख्या (Cayley Digraph Interpretation):
- लेखक एक निर्देशित केली डायग्राफ (directed Cayley graph) $\Gamma_q$ का उपयोग करके $(a, b)_{q-1}$ की संरचनात्मक व्याख्या प्रदान करते हैं।
- वे एक ग्राफ को परिभाषित करते हैं जिसके शीर्ष (vertices) $G_q = \mathbb{F}_q^\times \times \mathbb{F}_q^\times$ हैं और किनारे (edges) सेट $\Omega_q = \{(x, 1-x) \mid x \in \mathbb{F}_q \setminus \{0, 1\}\}$ द्वारा निर्धारित होते हैं।
- चक्रीय संख्या को इस ग्राफ में लंबाई $r$ के वॉक (walks) की संख्या से संबंधित दिखाया गया है, विशेष रूप से पहचान तत्व (identity element) को $a$ और $b$ द्वारा निर्धारित लक्ष्य शीर्ष से जोड़ना। यह एडजसेंसी मैट्रिक्स (adjacency matrix) $A_q$ को शामिल करते हुए एक सटीक सूत्र देता है।
विशेष मामले ( $r$ एक अभाज्य संख्या है):
- विषम अभाज्य $r = \ell$ के लिए, वे समाधानों के न्यूनतम बहुपद (minimal polynomial) की डिग्री के आधार पर समाधान सेट को विभाजित करते हैं।
- वे $\mathbb{F}_q$ में समाधानों (डिग्री 1) और $\mathbb{F}_{q^\ell} \setminus \mathbb{F}_q$ में समाधानों (डिग्री $\ell$ ) के बीच अंतर करते हैं, जिसमें अपरिमेय बहुपदों (irreducible polynomials) और रिजल्टेंट्स (resultants) के गुणों का उपयोग किया जाता है।

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

A. मुख्य प्रमेय (असमानता की वैधता)

यह शोध पत्र सिद्ध करता है कि यदि $q = p^n, r \ge 2, k = \frac{q^r-1}{q-1}$ , और $e = q-1$ है, तो:

सामान्य मामला: यदि $q \neq 2$ , तो सभी $0 \le a, b \le q-2$ के लिए $(a, b)_{q-1} \le \lceil k/2 \rceil$ सत्य है।
अपवाद: यदि $q = 2$ और $r \ge 3$ , तो यह असमिका विफल हो जाती है। विशेष रूप से, $(0, 0)_1 = 2^r - 2$ , जबकि $\lceil k/2 \rceil = 2^{r-1}$ । चूंकि $r \ge 3$ के लिए $2^r - 2 > 2^{r-1}$ है, इसलिए यह सीमा टूट जाती है।
समानता का मामला: यदि $q=2$ और $r=2$ , तो समानता बनी रहती है ( $2^2-2 = 2 = \lceil 3/2 \rceil$ )।

B. सटीक सूत्र (Exact Formulas)

लेखक $(a, b)_{q-1}$ के लिए एक सटीक सूत्र प्राप्त करते हैं:
$(a, b)_{q-1} = \frac{q^r - (-1)^{r-1}(q-2)^r - 2}{(q-1)^2} + (-1)^{r-1} W_{(-1)^r \omega^{ak}, \omega^{bk}}(q, r)$
जहाँ $W_{u,v}(q, r)$ केली ग्राफ $\Gamma_q$ में $(1,1)$ से $(u,v)$ तक लंबाई $r$ के वॉक की संख्या है।

C. अभाज्य $r$ के लिए तीक्ष्ण सीमाएँ (Sharper Bounds for Prime $r$ )

जब $r = \ell$ एक विषम अभाज्य होता है, तो लेखक सामान्य $\lceil k/2 \rceil$ की तुलना में काफी अधिक सटीक सीमाएँ प्रदान करते हैं:

यदि $p = \ell$ : $0 \le (a, b)_{q-1} \le \ell q^{\ell-2} + 1$ ।
यदि $p \neq \ell$ : $0 \le (a, b)_{q-1} \le \ell q^{\ell-2} + \ell - 1$ ।
विशेष रूप से $r=2$ के लिए: $(a, b)_{q-1} \in \{0, 1, 2\}$ ।
विशेष रूप से $r=3$ के लिए: $6 \le (a, b)_{q-1} \le 2q + 4$ ।

D. मैट्रिक्स व्याख्या (Matrix Interpretation)

शोध पत्र चक्रीय संख्याओं को प्रस्तावना में परिभाषित मैट्रिक्स $C(a,b)$ के रैंक से जोड़ता है। $q=2, r \ge 3$ के मामले में असमिका की विफलता इस तथ्य से संबंधित है कि मैट्रिक्स $C(0,0)$ एक ऑल-वन मैट्रिक्स (all-one matrix) है, जिसका रैंक 1 है, जिससे एक बड़ी चक्रीय संख्या प्राप्त होती है।

4. महत्व (Significance)

एक विशिष्ट अनुमान का समाधान: यह शोध पत्र इस प्रश्न को हल करता है कि क्या $e=q-1$ वाले विशिष्ट परिवार के लिए $(a, b)_e \le \lceil k/2 \rceil$ का नियम लागू होता है। यह एकमात्र अपवादों ( $q=2, r \ge 3$ ) की पहचान करता है, जिससे एक पूर्ण वर्गीकरण प्राप्त होता है।
संरचनात्मक अंतर्दृष्टि: चक्रीय संख्याओं को केली ग्राफ पर वॉक (walks) से जोड़कर, यह शोध पत्र एक नया कॉम्बिनेटरियल दृष्टिकोण प्रदान करता है जो पारंपरिक विश्लेषणात्मक संख्या सिद्धांत विधियों का पूरक है।
परिमित अनुमान (Refined Estimates): अभाज्य $r$ के लिए प्राप्त सीमाएँ सामान्य $\lceil k/2 \rceil$ की तुलना में बहुत अधिक सटीक हैं, जो यह दर्शाती हैं कि बड़े $q$ के लिए, चक्रीय संख्याएँ वास्तव में काफी छोटी होती हैं (जो $r$ के घातांक के बजाय $q$ के बहुपद के रूप में होती हैं)।
भविष्य की दिशाएँ: लेखक अधिक सामान्य परिवेश में समान असमानताओं की विफलता और उन विफलता मामलों में $C(a,b)$ मैट्रिसेस के संरचनात्मक गुणों के संबंध में खुले प्रश्न प्रस्तुत करते हैं।

संक्षेप में, यह कार्य $e=q-1$ के क्रम वाली $\mathbb{F}_{q^r}$ पर चक्रीय संख्याओं का एक व्यापक विश्लेषण प्रदान करता है, जो सटीक सीमाएँ स्थापित करने और अद्वितीय स्थितियों की पहचान करने के लिए कैरेक्टर सम अनुमानों को ग्राफ-सैद्धांतिक व्याख्याओं के साथ जोड़ता है।