Consecutive non-square nom-primitive pairs in as finite field

यहाँ स्टीफन डी. कोहेन के शोध पत्र "Consecutive Non-Square Non-Primitive Pairs in a Finite Field" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र एक परिमित क्षेत्र (finite field) $\mathbb{F}_q$ (जहाँ $q$ एक विषम अभाज्य घात है) में उन क्रमिक युग्मों (consecutive pairs) के अस्तित्व की जांच करता है जो दो विशिष्ट गुणों को एक साथ संतुष्ट करते हैं:

1. गैर-वर्ग (Non-Square - NS): वह तत्व $\mathbb{F}_q$ में एक द्विघाती अवशेष (quadratic residue) नहीं है।
2. गैर-प्रिमिटिव (Non-Primitive - NP): वह तत्व $\mathbb{F}_q^*$ के गुणक समूह (multiplicative group) का जनरेटर (generator) नहीं है।

ऐसे तत्व को NSNP कहा जाता है। लक्ष्य यह निर्धारित करना है कि किन स्थितियों में $\mathbb{F}_q$ में एक ऐसा युग्म $(\alpha, \alpha+1)$ मौजूद होता है जहाँ $\alpha$ और $\alpha+1$ दोनों ही NSNP हों।

संदर्भ:

• यदि $\theta_q = \frac{\phi(q-1)}{q-1} = 1/2$ हो (जैसा कि फर्माट अभाज्य या $q=9$ के मामले में होता है), तो प्रत्येक गैर-वर्ग प्रिमिटिव होता है। इस प्रकार, कोई NSNP तत्व मौजूद नहीं होते।
• पिछले परिणामों ने अभाज्य क्षेत्रों $\mathbb{F}_p$ के लिए $\theta_p \le 1/4$ (जार्सो और ट्रुडगियन) या $\theta_p < 1/6$ (गुन एट अल.) की स्थिति के तहत अस्तित्व स्थापित किया था।
• यह शोध पत्र सामान्य परिमित क्षेत्रों $\mathbb{F}_q$ के लिए इन परिणामों का विस्तार करने और $\theta_q$ की सीमा (bound) को बेहतर बनाने का लक्ष्य रखता है।

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

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

A. लक्षण योग और जैकोबी योग (Character Sums and Jacobi Sums)

NS$\ell$ युग्मों (वे तत्व जो गैर-वर्ग और $\ell$-शक्ति हैं) की गणना करने के लिए, लेखक द्विघाती लक्षण $\lambda$ और एक क्रम $\ell$ के मल्टीप्लिकेटिव लक्षण $\eta$ का उपयोग करके एक विशेषता फलन (characteristic function) $f_\ell(\alpha)$ को परिभाषित करते हैं।
$N_\ell(q)$ की गणना $\mathbb{F}_q$ पर एक योग के रूप में की जाती है:
$$N_\ell(q) = \sum_{\alpha \in \mathbb{F}_q \setminus \{0, -1\}} f_\ell(\alpha)f_\ell(\alpha+1)$$
इस गुणनफल का विस्तार जैकोबी योगों (Jacobi sums) $J(\chi_1, \chi_2)$ के एक रैखिक संयोजन के रूप में किया जाता है।

• सीमा निर्धारण रणनीति (Bounding Strategy): लेखक गैर-तुच्छ लक्षणों (non-trivial characters) के लिए मानक सीमा $|J(\chi_1, \chi_2)| = \sqrt{q}$ का उपयोग करते हैं। तुच्छ मामलों (जहाँ योग $-1$या$q$के बराबर होता है) को गैर-तुच्छ मामलों से अलग करके,$N_\ell(q)$ के लिए एक निचली सीमा प्राप्त की जाती है:
  $$N_\ell(q) \ge \frac{q - 4(\ell-1)^2\sqrt{q} - C}{4\ell^2}$$
  जहाँ $C$ एक छोटा स्थिरांक है जो $\ell$ और $\lambda(-1)$ पर निर्भर करता है।
• उपप्रमेय (Corollary): यदि $q > 16\ell^4$, तो $N_\ell(q) > 0$, जो ऐसे युग्मों के अस्तित्व की गारंटी देता है।

B. साइक्लोटोमिक संख्याएँ (Cyclotomic Numbers)

लघु मानों के लिए $\ell$ (विशेष रूप से $\ell=3$ और $\ell=5$), विश्लेषणात्मक निचली सीमाएँ सभी छोटे $q$ को कवर करने के लिए अपर्याप्त हैं। लेखक साइक्लोटोमिक संख्याओं के क्रम $2\ell$ पर स्विच करते हैं।

• NS$\ell$ युग्मों की संख्या ठीक $(\ell, \ell)_{2\ell}$ के बराबर होती है।
• लेखक इन संख्याओं के लिए स्पष्ट सूत्रों (Gauss, Jacobi, और Whiteman पर आधारित) का उपयोग करते हैं जो $q$ के निरूपण (जैसे, $\ell=3$ के लिए $q = A^2 + 3B^2$) और तत्व 2 के सूचकांक (index) पर निर्भर करते हैं।
• यह विशिष्ट छोटे अभाज्य घातों के लिए $N_3(q)$ और $N_5(q)$ की सटीक गणना करने की अनुमति देता है।

C. कम्प्यूटेशनल सत्यापन (Computational Verification)

उन "अपवाद" छोटे $q$ मानों के लिए जहाँ सैद्धांतिक सीमाएँ विफल हो जाती हैं या अनिर्णायक होती हैं, लेखक Pari/GP का उपयोग करके प्रत्यक्ष गणना करते हैं।

• $\ell=3$ के लिए, $q < 269$ की सभी स्थितियों की जाँच की गई थी।
• $\ell=5$ के लिए, विशिष्ट उम्मीदवारों ($q \in \{911, 1331, 2381, 3221, 3851\}$) को कम्प्यूटेशनल रूप से सत्यापित किया गया।

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

मुख्य प्रमेय (Main Theorem 1.1)

यह शोध पत्र स्थापित करता है कि एक विषम अभाज्य घात $q$ के लिए:

• यदि $\theta_q < 1/3$, तो $\mathbb{F}_q$ में हमेशा एक क्रमिक NSNP युग्म होता है।
• यदि $\theta_q = 1/3$, तो $\mathbb{F}_q$ में ऐसा एक युग्म होता है सिवाय इसके कि $q \in \{7, 13, 19, 25, 37\}$ हो।

यह $\theta_q \le 1/4$ की स्थिति से $\theta_q \le 1/3$ तक की शर्त को शिथिल करके पिछले परिणामों में सुधार करता है।

सामान्यीकृत परिणाम (Generalized Result 1.2)

लेखक NS$\ell$ युग्मों (गैर-वर्ग और $\ell$-शक्ति) के संबंध में एक अधिक सामान्य परिणाम सिद्ध करते हैं, जहाँ $\ell$, $q-1$ का न्यूनतम विषम अभाज्य भाजक है।

• यदि $\theta_q \le 1/3$, तो एक NS$\ell$ युग्म मौजूद होता है, जिसमें अपवाद केवल तब होते हैं जब $\ell=3$ और $q \in \{7, 13, 19, 25, 37, 43\}$ हो।
• $q=43$ का महत्व: जबकि $q=43$ NS3 युग्मों के लिए एक अपवाद है (कोई क्रमिक गैर-वर्ग जो घन भी हों), यह NSNP युग्मों के लिए अपवाद नहीं है। लेखक सिद्ध करते हैं कि $(7, 8)$ $\mathbb{F}_{43}$ में एक NSNP युग्म है क्योंकि 7 एक गैर-वर्ग 7वीं शक्ति है और 8 एक गैर-वर्ग घन है।

विस्तृत विश्लेषण (Detailed Analysis of Cases)

• मामला $\ell \ge 7$: विश्लेषणात्मक सीमा $q > 16\ell^4$ आसानी से $\theta_q \le 1/3$ के लिए संतुष्ट हो जाती है। शोध पत्र सिद्ध करता है कि यदि न्यूनतम अभाज्य भाजक $\ge 7$ है, तो बिना किसी अपवाद के अस्तित्व की गारंटी है।
• मामला $\ell = 3$: शोध पत्र एक पूर्ण वर्गीकरण प्रदान करता है। यह 29 छोटे अभाज्य घातों की सूची देता है जहाँ $3 | (q-1)$ और $\theta_q \le 1/3$ है। यह $\{7, 13, 19, 25, 37, 43\}$ (NS3 के लिए) और $\{7, 13, 19, 25, 37\}$ (NSNP के लिए) को छोड़कर सभी के लिए अस्तित्व सिद्ध करता है।
• मामला $\ell = 5$: लेखक शेष छोटे उम्मीदवारों ($q \in \{911, 1331, 2381, 3221, 3851\}$) के लिए अस्तित्व को सत्यापित करते हैं, यह पुष्टि करते हुए कि सभी के लिए $N_5(q) > 0$ है।

4. महत्व और निहितार्थ (Significance and Implications)

• सीमाओं का अनुकूलन (Optimization of Bounds): $\theta_q \le 1/3$ के परिणाम को एक "महत्वपूर्ण सीमा" (critical boundary) के रूप में दिखाया गया है। शोध पत्र प्रदर्शित करता है कि प्रिमिटिव तत्वों का घनत्व $1/3$ तक अधिक हो सकता है और फिर भी क्रमिक गैर-प्रिमिटिव गैर-वर्गों के अस्तित्व की गारंटी दी जा सकती है।
• पद्धतिगत बदलाव (Methodological Shift): शोध पत्र प्रिमिटिव तत्वों की तुलना में गैर-प्रिमिटिव तत्वों के लिए ऊपरी-सीमा छलनी (upper-bound sieves) लागू करने की कठिनाई को उजागर करता है। यह विश्लेषणात्मक सीमाओं (जैकोबी योग) और सटीक अंकगणित (साइक्लोटोमिक संख्याएँ) के बीच के अंतर को सफलतापूर्वक पाटता है।
• पूर्णता (Completeness): छोटे क्षेत्रों के लिए व्यापक गणना के साथ सैद्धांतिक सीमाओं (जैकोबी योग) को जोड़कर, यह शोध पत्र सभी विषम अभाज्य क्षेत्रों में इन युग्मों के अस्तित्व के लिए एक निश्चित उत्तर प्रदान करता है, और अपवादों के सटीक सेट की पहचान करता है।

5. भविष्य के प्रश्न (Future Questions)

लेखक तीन खुले प्रश्न पूछते हैं:

1. सम अभिलक्षण (Even Characteristic): क्या $\theta_q$ पर समान स्थिति विशेषता 2 वाले क्षेत्रों ($\mathbb{F}_{2^k}$) में क्रमिक गैर-प्रिमिटिव युग्मों की गारंटी देती है?
2. बड़े $\ell$ के लिए कड़े बंधन (Tighter Bounds for Large $\ell$): क्या $\ell \ge 7$ के लिए $\theta_q \le 1/3$ की स्थिति आवश्यक है, या इसे शिथिल किया जा सकता है (जैसे, $\theta_q < \frac{\ell-1}{2\ell}$)?
3. त्रिक क्रमिक युग्म (Triple Consecutive Pairs): क्या $\theta_q$ पर एक स्थिति तीन क्रमिक NSNP तत्वों के अस्तित्व की गारंटी दे सकती है? (पिछले कार्य सुझाव देते हैं कि यह संभव है)।