The least quadratic residue and integers represented by quadratic forms

तकनीकी सारांश: न्यूनतम द्विघाती अवशेष और द्विघाती रूपों द्वारा निरूपित पूर्णांक

समस्या विवरण
यह शोध पत्र $\ell(n)$ की जांच करता है, जिसे $n$ के लिए न्यूनतम गैर-तुच्छ न्यूनीकरण योग्य द्विघाती अवशेष (least non-trivial reduced quadratic residue) के रूप में परिभाषित किया गया है। विशेष रूप से, $\ell(n)$ एक न्यूनतम वर्ग-मुक्त पूर्णांक $r > 1$ है ताकि $\gcd(r, n) = 1$ हो और $r \equiv x^2 \pmod n$ किसी पूर्णांक $x$ के लिए सत्य हो। लेखक $n$ के परिमाण और इसके अभाज्य गुणनखंडों की संख्या, $\omega(n)$, दोनों के संदर्भ में $\ell(n)$ के लिए सीमाएँ (bounds) स्थापित करने का प्रयास करते हैं। एक माध्यमिक उद्देश्य का उपयोग यह निर्धारित करने के लिए किया जाता है कि सीमित विविक्तता (discriminant) वाले द्विघात रूपों के परिवार किस दर से एक बड़े परिमाण $N$ तक के सभी धनात्मक पूर्णांकों का निरूपण करते हैं।

कार्यप्रणाली
लेखक संयोजन संबंधी तर्क (combinatorial arguments), विश्लेषणात्मक संख्या सिद्धांत (analytic number theory), और परिमित क्षेत्रों (finite fields) पर बीजगणितीय संरचनाओं के संयोजन का उपयोग करते हैं।

1. संयोजन और पिजनहोल सिद्धांत (Combinatorial and Pigeonhole Principles): $\ell(n)$ के ऊपरी आलेख (upper bound) को पिजनहोल सिद्धांत का उपयोग करके व्युत्पन्न किया गया है। अंकगणितीय प्रगति में अभाज्य संख्याओं और उनके लेजेंड्रे प्रतीक (Legendre symbol) मानों पर विचार करके, लेखक दो अभाजों के एक ऐसे गुणनफल के अस्तित्व को प्रदर्शित करते हैं जो आवश्यक द्विघाती अवशेष स्थितियों को संतुष्ट करता है।
2. बीजगणितीय निर्माण (निम्न आलेख/Lower Bounds): अप्रत्याशित रूप से बड़े $\ell(n)$ वाले मॉड्युली $n$ का निर्माण करने के लिए, लेखक $\mathbb{F}_2$ के क्षेत्र पर अपरिमेय बहुपदों और अभाज्य संख्याओं के बीच एक पत्राचार का उपयोग करते हैं। वे $\mathbb{F}_2$ के बीजगणितीय समापन (algebraic closure) में इन बहुपदों के मूलों (roots) के आधार पर पूर्णतः गुणनशील फलनों (completely multiplicative functions) $f_j: \mathbb{N} \to \{-1, 1\}$ को परिभाषित करते हैं। न्यूटन के सर्वसमिकाओं (Newton's identities) से संबंधित $\mathbb{F}_2$ में भिन्न तत्वों के घात योगों से संबंधित एक प्रमुख लेम्मा का उपयोग यह सिद्ध करने के लिए किया जाता है कि यदि एक वर्ग-मुक्त पूर्णांक $r$ इस प्रकार है कि $f_j(r) = 1$ सभी $j$ के लिए, तो $r$ बड़ा होना चाहिए।
3. विश्लेषणात्मक संख्या सिद्धांत और शून्य-घनत्व अनुमान (Zero-Density Estimates): मॉड्युली $n$ का निर्माण अभाजों के एक ऐसे सेट को खोजने पर निर्भर करता है कि प्रत्येक मौलिक विविक्तता (fundamental discriminant) $D$ के लिए, जो एक दिए गए रेंज में है, उस सेट में कम से कम एक अभाज ऐसा हो जो $D$ के लिए एक द्विघाती गैर-अवशेष (quadratic non-residue) हो।
   • GRH पर आधारित: सामान्यीकृत रीमान परिकल्पना (Generalized Riemann Hypothesis - GRH) का उपयोग अभाजों पर लक्षण योगों (character sums) को सीमित करने के लिए किया जाता है, जिससे लगभग $\exp(C \log \Delta \log \log \Delta)$ आकार के अभाजों के ऐसे सेट के अस्तित्व को सुनिश्चित किया जा सके।
   • अप्रतिबंधित (Unconditional): GRH को माने बिना, लेखक डिरिचलेट $L$-फंक्शन्स के शून्य-घनत्व अनुमानों का उपयोग करते हैं। वे शून्यों के स्थान (शून्य-मुक्त क्षेत्रों) के आधार पर विविक्तताओं के सेट को विभाजित करते हैं और एक विशिष्ट भार फलन (weight function) $w(t)$ वाले भारित योग तर्क को लागू करके आवश्यक अभाजों के अस्तित्व को स्थापित करते हैं।
4. द्विघाती रूपों का अनुप्रयोग: परिणामों को द्विघाती रूप $f(x,y) = ax^2 + bxy + cy^2$ द्वारा पूर्णांकों के निरूपण पर लागू किया जाता है। लेखक इस तथ्य का उपयोग करते हैं कि एक पूर्णांक $n$, विविक्तता $D$ वाले एक रूप द्वारा तब निरूपित होता है जब $D$, $4n$ के वर्ग के रूप में $\pmod{4n}$ हो (उचित निरूपणों के लिए)।

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

• अभाज्य गुणनखंडों के संदर्भ में $\ell(n)$ के आलेख:

  • ऊपरी आलेख (Upper Bound): यदि $k$, $n$ के विषम अभाज्य गुणनखंडों की संख्या है, तो $\ell(n) \le C k 2^{4k}$ है, जहाँ $C$ एक निरपेक्ष स्थिरांक है।
  • निम्न आलेख (Lower Bound): प्रत्येक $k \ge 2$ के लिए, ऐसे अनंत विषम पूर्णांक $n$ मौजूद हैं जिनमें ठीक $k$ विशिष्ट अभाज्य गुणनखंड हैं और $\ell(n) \ge 4^{k - C k / \log k}$ है। यह परिणाम आश्चर्यजनक है क्योंकि द्विघाती अवशेषों का घनत्व $\asymp 2^{-k}$ है, जिससे अपेक्षित था कि $\ell(n)$ का मान $2^k$ के करीब होना चाहिए।

• परिमाण $n$ के संदर्भ में $\ell(n)$ के आलेख:

  • लेखक एक विषम वर्ग-मुक्त पूर्णांक $n \le N(\Delta)$ का निर्माण करते हैं ताकि प्रत्येक मौलिक विविक्तता $D$ के लिए, $1 < |D| \le \Delta$ के साथ, $n$ का एक अभाज गुणनखंड $p$ हो जिसके लिए $\left(\frac{D}{p}\right) = -1$ हो।
  • अप्रतिबंधित: $N(\Delta)$ को $\exp(C \log \Delta (\log \log \Delta)^2)$ के रूप में चुना जा सकता है।
  • GRH पर आधारित: किसी भी $C > 2/\log 2$ के लिए $N(\Delta)$ को $\exp(C \log \Delta \log \log \Delta)$ के रूप में चुना जा सकता है।
  • फलस्वरूप, $\ell(n)$ अनकंडीशनल रूप से $\exp\left(c \frac{\log n}{(\log \log n)^2}\right)$ और GRH के तहत $\exp\left(\left(\frac{\log 2}{2} + o(1)\right) \frac{\log n}{\log \log n}\right)$ जितना बड़ा हो सकता है।

• द्विघाती रूपों द्वारा निरूपण:

  • अनिश्चित रूप (Indefinite Forms): $N$ तक के प्रत्येक धनात्मक पूर्णांक को $1 < D_f \le \Delta$ विविक्तता वाले किसी प्राथमिक, गैर-अपभ्रंश (non-degenerate), अनिश्चित द्विघाती रूप द्वारा निरूपित किया जा सकता है, जहाँ $\Delta = \exp\left((\log 4 + o(1)) \frac{\log N}{\log \log N}\right)$ है।
  • धनात्मक निश्चित रूप (Positive Definite Forms - सशर्त): GRH को मानते हुए, $N$ तक के प्रत्येक धनात्मक पूर्णांक को एक प्राथमिक, धनात्मक निश्चित द्विघाती रूप द्वारा निरूपित किया जा सकता है जिसकी विविक्तता $|D_f| \le \Delta$ है (उसी $\Delta$ के साथ जो ऊपर दिया गया है)।
  • सीमाएँ: एक धनात्मक पूर्णांक $n \le N$ मौजूद है जिसे $|D_f| \le \Delta$ वाले किसी भी प्राथमिक गैर-अपभ्रंश द्विघाती रूप द्वारा निरूपित नहीं किया जा सकता है यदि $\Delta = \exp(c \log N / (\log \log N)^2)$ है। GRH के तहत, यह सीमा सुधरकर $\exp((\frac{\log 2}{2} - \epsilon) \frac{\log N}{\log \log N})$ हो जाती है।

महत्व और दावे
यह शोध पत्र न्यूनतम द्विघाती अवशेष के लिए "लगभग इष्टतम आलेख" (nearly optimal bounds) स्थापित करने का दावा करता है, जो मॉडुलस के आकार और इसके अभाज्य गुणनखंडों की संख्या दोनों के संदर्भ में है। बड़े $\ell(n)$ वाले मॉड्युली के निर्माण की प्रेरणा त्रुटि-सुधार कोड (error-correcting codes) के विचारों से ली गई है और यह संभाव्य अपेक्षाओं (probabilistic expectations) से एक महत्वपूर्ण प्रगति है, जो यह दर्शाती है कि $\ell(n)$ द्विघाती अवशेषों के घनत्व के व्युत्क्रम से काफी बड़ा हो सकता है।

लेखक अपने कार्य को एक प्राथमिक द्विघाती लक्षण $\chi$ के लिए न्यूनतम अभाज $p$ खोजने की शास्त्रीय समस्या के एक संस्करण के रूप में प्रस्तुत करते हैं, जिसके लिए $\chi(p) = -1$ हो। जबकि शास्त्रीय समस्या GRH के तहत अच्छी तरह से समझी गई है, यह शोध पत्र मिश्रित मॉड्युली के दायरे को विस्तृत करता है और अनकंडीशनल परिणाम भी प्रदान करता है जो सशर्त परिणामों से केवल थोड़े ही कमजोर हैं।

इसके अतिरिक्त, लेखक द्विघाती रूपों का उपयोग करके $N$ तक के सभी पूर्णांकों को कवर करने की समस्या पर सटीक मात्रात्मक प्रगति प्रदान करते हैं। जहाँ पिछले कार्यों (ग्रीन और साउंडरराजन) ने "लगभग सभी" पूर्णांकों को कवर करने के विषय में चर्चा की थी, वहीं यह शोध पत्र "सभी" पूर्णांकों को कवर करने की अधिक कठिन समस्या को संबोधित करता है, और निरूपण सुनिश्चित करने के लिए आवश्यक विविक्तता के स्पष्ट थ्रेसहोल्ड स्थापित करता है।

अंत में, लेखक हँसन, वॉन और झांग के कार्य के साथ एक संबंध नोट करते हैं, जो यह बताता है कि लंबाई $k$ के सभी चिह्न अनुक्रमों (sign sequences) को लेजेंड्रे प्रतीक वेक्टर के रूप में प्रकट करने के लिए आवश्यक न्यूनतम $N$ क्या है, जो उनके द्वारा प्रयुक्त संयोजन संबंधी विधियों के व्यापक संदर्भ का सुझाव देता है।