On the number of binary quadratic forms having discriminant $1-4p$, $p$ prime

यहाँ ऐलिस बेथ मिलर और स्टेनली याओ ज़ियाओ के शोध पत्र "On the Number of Binary Quadratic Forms Having Discriminant $1-4p$, $p$ Prime" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र विश्लेषणात्मक संख्या सिद्धांत (analytic number theory) में एक विशिष्ट गणना संबंधी समस्या को संबोधित करता है, जिसके निम्न-आयामी टोपोलॉजी (low-dimensional topology) में अनुप्रयोग हैं। केंद्रीय प्रश्न यह निर्धारित करना है कि उन पूर्णांक, धनात्मक निश्चित (positive definite) बाइनरी द्विघात रूपों (binary quadratic forms) के $SL_2(\mathbb{Z})$-तुल्यता वर्गों (equivalence classes) की संख्या की स्पर्शोन्मुख व्यवहार (asymptotic behavior) क्या है, जिनका विवेचक (discriminant) $\Delta = 1 - 4p$ के रूप में है, जहाँ $p$ एक अभाज्य संख्या (prime number) है, और $|\Delta| \leq X$ (अर्थात $p \leq X$)।

माना कि $H(D)$ ऐसे विवेचकों $D$ के लिए ऐसे वर्गों की संख्या को दर्शाता है। लेखक निम्नलिखित योग के लिए एक स्पर्शोन्मुख सूत्र (asymptotic formula) प्राप्त करने का प्रयास करते हैं:
$$\sum_{p \leq X} H(1 - 4p)$$
यह समस्या पूर्ववर्ती कार्य ([10]) में स्थापित एक संबंध से उत्पन्न होती है, जो इन द्विघात रूपों और जनक 1 (genus 1) वाले सरल $(4a+1)$-गाँठों (knots) के बीच है। इन गाँठों का वर्गीकरण बाइनरी द्विघात रूपों के तुल्यता वर्गों से जुड़ा हुआ है। लेखक उन गाँठों के वितरण में "प्रमुख" (dominant) पद को परिमाणित करने का लक्ष्य रखते हैं, जब अलेक्जेंडर बहुपद (Alexander polynomial) के पैरामीटर अभाज्य संख्याओं तक सीमित होते हैं।

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

लेखक विश्लेषणात्मक संख्या सिद्धांत की तकनीकों, विशेष रूप से एनालिटिक क्लास नंबर फॉर्मूला (analytic class number formula), द्विरेखीय अभिलक्षण योग (bilinear character sums), और रैंडम यूलर प्रोडक्ट मॉडल (random Euler product models) के संयोजन का उपयोग करते हैं।

A. हर्ट्ज़ क्लास नंबर और L-फंक्शन्स में न्यूनीकरण (Reduction to Hurwitz Class Numbers and L-functions)

लेखक पहले सभी बाइनरी द्विघात रूपों (अप्रतिमात्मक/imprimitive सहित) की गणना को हर्ट्ज़ क्लास नंबर (Hurwitz class number) $Hur(D)$ से जोड़ते हैं। वे इस पहचान का उपयोग करते हैं:
$$H(D) = \sum_{d^2 | D} h(D/d^2)$$
जहाँ $h(D)$ प्रिमिटिव (primitive) रूपों का शास्त्रीय क्लास नंबर है। एनालिटिक क्लास नंबर फॉर्मूला $h(D) = \frac{1}{\pi} L(1, \chi_D) |D|^{1/2}$ का उपयोग करके, समस्या को डाइरिच L-मानों (Dirichlet L-values) के एक भारित योग (weighted sum) के अनुमान में बदल दिया जाता है:
$$Q(X) = \sum_{p \leq X} Hur(1-4p) = \sum_{d \geq 1} \sum_{\substack{p \leq X \\ d^2 | 1-4p}} \frac{1}{\pi d} L\left(1, \chi_{(1-4p)/d^2}\right) \left| \frac{1-4p}{d^2} \right|^{1/2}$$
यह समस्या को $T_d(X)$ को सीमित करने में बदल देता है, जो कि $d^2 | 1-4p$ की कॉंग्रुएंस स्थिति (congruence condition) को संतुष्ट करने वाले अभाज्य $p$ पर L-मानों का एक भारित योग है।

B. द्विरेखीय अभिलक्षण योग और सीगल-वालिज़ (Bilinear Character Sums and Siegel-Walfisz)

$T_d(X)$ का अनुमान लगाने के लिए, लेखक L-फंक्शन $L(1, \chi)$ को क्रोनेकर प्रतीक (Kronecker symbol) को शामिल करते हुए एक श्रेणी के रूप में विस्तारित करते हैं:
$$L(1, \chi) = \sum_{n \geq 1} \frac{1}{n} \left( \frac{D}{n} \right)$$
मुख्य तकनीकी चुनौती परिणामी द्विरेखीय अभिलक्षण योग को सीमित करना है:
$$\sum_{p \leq X} \sum_{n} \frac{1}{n} \left( \frac{(1-4p)/d^2}{n} \right)$$
लेखक $n$ पर योग को तीन श्रेणियों में विभाजित करते हैं:

1. लघु $n$ ($n \leq (\log X)^B$): वे $p$ पर योग का अनुमान लगाने के लिए सीगल-वालिज़ प्रमेय (Siegel-Walfisz theorem) लागू करते हैं। इसके लिए $d^2 | 1-4p$ द्वारा परिभाषित अंकगणितीय प्रगति (arithmetic progression) पर क्रोनेकर प्रतीक के औसत की गणना करना आवश्यक है।
2. मध्यम $n$ ($( \log X)^B < n < X^{1/2+\epsilon}$): वे यह दिखाने के लिए कि यह सीमा केवल त्रुटि पद (error term) में योगदान देती है, अप्रतिबंधित द्विरेखीय अभिलक्षण योग सीमाओं (पोल्या-विनिरोव असमानता का एक संस्करण, लेम्मा 4.2) को लागू करते हैं।
3. विशाल $n$ ($n \geq X^{1/2+\epsilon}$): यह भाग दिखाया गया है कि नगण्य है।

C. रैंडम यूलर प्रोडक्ट मॉडल (Random Euler Product Model)

अंतिम स्पर्शोन्मुख में आर्टिन स्थिरांक (Artin's constant) की उपस्थिति की व्याख्या करने के लिए, लेखक एक संभाव्य मॉडल (probabilistic model) का निर्माण करते हैं। वे "ज़ागियर L-फंक्शन" (जो हर्ट्ज़ क्लास नंबरों से संबंधित है) के स्थानीय कारकों (local factors) को स्वतंत्र यादृच्छिक चरों (independent random variables) के रूप में मानते हैं।

• वे विश्लेषण करते हैं कि जब $D$ सभी पूर्णांकों पर भिन्न होता है बनाम जब $D$ का रूप $1-4p$ होता है, तब स्थानीय L-कारकों का वितरण कैसे बदलता है।
• वे प्रदर्शित करते हैं कि $D$ को $1-4p$ के रूप में प्रतिबंधित करने से स्थानीय कारकों का वितरण (विशेष रूप से, किसी अभाज्य $\ell$ के सापेक्ष $D$ के द्विघाती अवशेष (quadratic residue) होने का घनत्व) बदल जाता है।
• यह संभाव्य बदलाव एक वैश्विक कारक $\prod_{\ell} (1 - \frac{1}{\ell(\ell-1)})$ की ओर ले जाता है, जो कि ठीक आर्टिन स्थिरांक ($C_{Art}$) है।

3. मुख्य योगदान (Key Contributions)

1. सटीक स्पर्शोन्मुख सूत्र: यह शोध पत्र $1-4p$ विवेचकों वाले हर्ट्ज़ क्लास नंबरों के योग के लिए पहला सटीक स्पर्शोन्मुख सूत्र प्रदान करता है, जिसमें स्पष्ट स्थिरांक भी शामिल है। पूर्ववर्ती कार्यों (Friedlander-Iwaniec, Nagoshi) ने $-4p$ या $-p$ जैसे विवेचकों को संभाला था, लेकिन $1-4p$ का रूप गैर-प्रिमिटिव रूपों और अवशेष वितरण (residue distributions) के संबंध में विशिष्ट जटिलताएं पेश करता है।
2. "प्रिमिटिविटी" विसंगति का समाधान: लेखक स्पष्ट करते हैं कि क्यों विवेचक के रूप $1-4p$ में अभाज्य तक सीमित करने से क्लास नंबरों का औसत आकार $C_{Art}$ के कारक से बदल जाता है, जबकि अन्य संदर्भों (जैसे $H(-p)$) में इसी तरह के प्रतिबंधों में ऐसा नहीं होता है। यह $1-4p$ के रूप वाली संख्याओं के विशिष्ट कॉंग्रुएंस गुणों के कारण है।
3. ज़ागियर L-फंक्शन्स के लिए रैंडम मॉडल: वे हर्ट्ज़ क्लास नंबरों द्वारा नियंत्रित होने वाले ज़ागियर L-फंक्शन्स के लिए एक नया रैंडम यूलर प्रोडक्ट मॉडल प्रदान करते हैं, जो शास्त्रीय डाइरिच L-फंक्शन्स के मानक अनुप्रयोग का विस्तार करता है।
4. टोपोलॉजिकल अनुप्रयोग: वे अपने संख्यात्मक परिणाम को विशिष्ट अलेक्जेंडर बहुपदों वाले सरल $(4a+1)$-गाँठों और सीफर्ट मैट्रिसेस (Seifert matrices) के नामांकन के बारे में एक मात्रात्मक निष्कर्ष में अनुवादित करते हैं।

4. मुख्य परिणाम (Main Results)

प्राथमिक परिणाम प्रमेय 1.1 है:
$X \geq 2$ के लिए, $1-4p$ ($p$ अभाज्य) विवेचक वाले धनात्मक निश्चित बाइनरी द्विघात रूपों के $SL_2(\mathbb{Z})$-वर्गों की संख्या, जो $X$ द्वारा सीमित है, निम्नलिखित है:
$$\sum_{p \leq X} H(1 - 4p) = C_{Art} \cdot \frac{2\pi}{9} \cdot \frac{X^{3/2}}{\log X} + O\left( \frac{X^{3/2}}{(\log X)^2} \right)$$
जहाँ $C_{Art} = \prod_{\ell \geq 2} \left( 1 - \frac{1}{\ell(\ell-1)} \right)$ आर्टिन स्थिरांक है।

एक अधिक सटीक संस्करण (प्रमेय 5.3) किसी भी $A > 1$ के लिए $O(X^{3/2}(\log X)^{-A})$ का त्रुटि पद प्रदान करता है।

उपप्रमेय 1.2 (टोपोलॉजिकल): अभाज्य $p \in [1, X]$ के लिए अलेक्जेंडर बहुपद $\det(tP - P^T) = pt^2 + (1-2p)t + p$ वाले $2 \times 2$ सीफर्ट मैट्रिसेस $P$ के $S$-तुल्यता वर्गों की संख्या $C_{Art} \frac{4\pi}{9} \frac{X^{3/2}}{\log X}$ के समानुपाती है।

5. महत्व (Significance)

• अनुमानों का परिशोधन: यह शोध पत्र पिछले साहित्य के एक सहज अनुमानित धारणा (heuristic assumption) को सुधारता है। यह दिखाता है कि जबकि सभी पूर्णांकों $m$ के लिए क्लास नंबरों $H(1-4m)$ का औसत व्यवहार $\sim \frac{2\pi}{9} X^{3/2}$ है, $m$ को $1-4p$ के विशिष्ट रूप में अभाज्य तक सीमित करने से $C_{Art}$ का गुणात्मक कारक आता है। यह अभाज्य के वितरण और द्विघाती अवशेषों के बीच सूक्ष्म अंतर्संबंध को उजागर करता है।
• गाँठ सिद्धांत (Knot Theory): यह परिणाम उच्च-आयामी गाँठों के अध्ययन के लिए एक मात्रात्मक आधार प्रदान करता है। यह पुष्टि करता है कि $\Delta_p(t)$ के रूप वाले अलेक्जेंडर बहुपद वाली गाँठें कुल जनक 1 (genus 1) सरल गाँठों की गणना में प्रभावी भूमिका निभाती हैं, और यह उनके प्रभुत्व को सटीक रूप से मापता है।
• पद्धतिगत नवाचार: गैर-मौलिक विवेचकों (non-fundamental discriminants) वाले इसी तरह के गणना संबंधी प्रश्नों को संभालने के लिए सीगल-वालिज़ प्रमेय और द्विरेखीय योगों के सफल अनुप्रयोग का उपयोग करना, $1-4p$ की विशिष्ट अंकगणितीय संरचना (जो मानक अभाज्य विवेचकों से भिन्न है) को संभालने की एक मजबूत तकनीक प्रदर्शित करता है।
• संभाव्य संख्या सिद्धांत: ज़ागियर L-फंक्शन्स के लिए रैंडम यूलर प्रोडक्ट मॉडल के माध्यम से आर्टिन स्थिरांक का व्युत्पत्ति क्लास नंबरों के सांख्यिकीय वितरण पर एक नया दृष्टिकोण प्रदान करता है, जो यह सुझाव देता है कि ऐसे संभाव्य मॉडल मानक L-फंक्शन्स से परे भी विस्तारित किए जा सकते हैं।