Proofs for Andrews' Conjectures 5 and 6 on $v_1(q)$

यहाँ मोहम्मद अल बाच्रावी के शोध पत्र "$v_1(q)$ पर एंड्रयूज के अनुमान 5 और 6 के प्रमाणों" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र जॉर्ज एंड्रयूज द्वारा $v_1(q)$ के गुणांकों $V_1(n)$ के संबंध में प्रस्तावित दो विशिष्ट अनुमानों को संबोधित करता है, जो किमानुमानित (originates from) रामानुजन की 'लॉस्ट नोटबुक' से संबंधित है:
$$v_1(q) = \sum_{n \ge 0} \frac{q^{n(n+1)/2}}{(-q^2; q^2)_n} = \sum_{n \ge 0} V_1(n)q^n$$

जबकि फोलसम, मेल्स, रोलेन और स्टोर्ज़र के हालिया कार्य ने अनुमान 4 (चार क्रमागत गुणांकों के चिह्न वितरण के संबंध में) और अनुमान 3 (को $V_1(n)$ की वृद्धि के संबंध में घनत्व-एक संस्करण) को सिद्ध कर दिया था, अनुमान 5 और 6 खुले रह गए थे।

• अनुमान 5: पूर्णांकों का एक अनंत अनुक्रम $N_n$ (जो 293, 410, 545, 702, ... से शुरू होता है) मौजूद है, ऐसा कि $n \ge 5$ के लिए, तीन क्रमागत गुणांक $V_1(N_n), V_1(N_n+1), V_1(N_n+2)$ एक ही चिह्न (same sign) साझा करते हैं।
• अनुमान 6: इसी अनुक्रम के लिए, निरपेक्ष मान (absolute values) $|V_1(n)|, |V_1(n+1)|, |V_1(n+2)|$ में एक स्थानीय न्यूनतम (local minimum) होता है। विशेष रूप से, यह शोध पत्र यह दिखाने का लक्ष्य रखता है कि इन त्रिकों (triples) के अंत बिंदु (endpoints) अनुक्रम $|V_1(j)|$ के सख्त स्थानीय न्यूनतम हैं।

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

यह प्रमाण $V_1(n)$ के संख्या-सिद्धांत संबंधी गुणों और उनके गहन योगात्मक विश्लेषण (asymptotic analysis) पर आधारित है।

A. योगात्मक विस्तार (Asymptotic Expansion)

लेखक फोलसम आदि (प्रमेय 2) द्वारा स्थापित योगात्मक सूत्र का उपयोग करते हैं, जो $n \to \infty$ होने पर $V_1(n)$ का सन्निकटन प्रदान करता है:
$$V_1(n) \approx (-1)^{\lfloor n/2 \rfloor} \frac{e^{c\sqrt{n}}}{\sqrt{n}} \left( \gamma_+ + (-1)^n \gamma_- \right) \left( \cos(c\sqrt{n}) - (-1)^n \sin(c\sqrt{n}) \right)$$
जहाँ $c = \sqrt{2|V|}$ और $V$ ब्लॉक-विग्नर डिलोगरिदम (Bloch–Wigner dilogarithm) से संबंधित है।
लेखक इसे सम (even) और विषम (odd) मामलों में विभाजित करते हैं, और त्रिकोणमितीय कारकों $F_-(x) = \cos x - \sin x$ और $F_+(x) = \cos x + \sin x$ को परिभाषित करते हैं। $V_1(n)$ का चिह्न और परिमाण $c\sqrt{n}$ पर मूल्यांकित इन त्रिकोणमितीय पदों द्वारा नियंत्रित होता है।

B. शून्य (Zeros) और द्विघाती अनुक्रमों का विश्लेषण

प्रमाण त्रिकोणमितीय कारकों के शून्य की पहचान करता है:

• $F_-$ के शून्य $r_m = \pi(m + 1/4)$ पर होते हैं।
• $F_+$ के शून्य $s_m = \pi(m + 3/4)$ पर होते हैं।

लेखक एक स्थिरांक $\alpha = \pi^2 / c^2$ को परिभाषित करते हैं। समस्या का समाधान द्विघाती अनुक्रमों का विश्लेषण करने में निहित है:
$$P_-(m) = \alpha \left(m + \frac{1}{4}\right)^2 \quad \text{और} \quad P_+(m) = \alpha \left(m + \frac{3}{4}\right)^2$$
मुख्य तकनीकी चुनौती यह दिखाना है कि ये अनुक्रम अनंत बार पूर्णांकों से एक सकारात्मक दूरी बनाए रखते हैं। यह सुनिश्चित करता है कि तर्क $c\sqrt{n}$ त्रिकोणमितीय फलनों के शून्य के करीब रहे, बिना उन्हें ठीक से छूए (जिससे गुणांक शून्य हो जाता) या ऐसी स्थिति में पहुँचे जहाँ चिह्न अप्रत्याशित रूप से बदल जाए।

C. संख्या-सिद्धांत संबंधी तर्क (Theorem 3)

लेखक यह सिद्ध करते हैं कि $M_-$ और $M_+$ के अनंत सेट मौजूद हैं ताकि $P_-(m)$ और $P_+(m)$ के भिन्नात्मक भाग (fractional parts) 0 और 1 से दूर रहें।

• स्थिति 1 ($\alpha$ अपरिमेय होने पर): वेइल के सम-वितरण प्रमेय (Weyl's equidistribution theorem) के अनुसार, ये अनुक्रम 1 (modulo 1) के सापेक्ष समान रूप से वितरित (equidistributed) हैं, जो पूर्णांकों से दूर कई बिंदुओं की गारंटी देता है।
• स्थिति 2 ($\alpha$ परिमेय होने पर): लेखक सिद्ध करते हैं कि $\alpha$ एक पूर्णांक नहीं है (लेम्मा 1) और दिखाते हैं कि ये अनुक्रम 1 (modulo 1) के सापेक्ष आवर्ती (periodic) हैं। चूँकि सभी पद पूर्णांक नहीं हैं, इसलिए आवर्त काल (period) के दौरान पूर्णांक से न्यूनतम दूरी सख्ती से धनात्मक होती है।

D. अनुक्रम का निर्माण

$M_-$ और $M_+$ के सेटों का उपयोग करते हुए, लेखक $\alpha(m+1/4)^2$ और $\alpha(m+3/4)^2$ को घेरने वाले विशिष्ट पूर्णांकों $N_m$ (सम मामलों के लिए) और $M_m$ (विषम मामलों के लिए) का निर्माण करते हैं।

• $m \in M_-$ के लिए, $N_m$ वह अद्वितीय सम पूर्णांक है कि $N_m < \alpha(m+1/4)^2 < N_m+2$।
• इसके बाद लेखक योगात्मक विस्तार और त्रुटि सीमाओं (error bounds) का उपयोग करके $V_1(N_m), V_1(N_m+1), V_1(N_m+2)$ के चिह्नों का विश्लेषण करते हैं, जिससे यह सिद्ध होता है कि वे एक ही चिह्न साझा करते हैं।
• साथ ही, परिमाण विश्लेषण यह दर्शाता है कि $|V_1(N_m)|$ और $|V_1(N_m+2)|$ अपने पड़ोसियों की तुलना में काफी छोटे हैं, जो उन्हें सख्त स्थानीय न्यूनतम (strict local minima) के रूप में स्थापित करता है।

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

1. निःशर्त प्रमाण (Unconditional Proof): यह शोध पत्र $V_1(n)$ के गुणांकों के लिए एक कठोर, निःशर्त प्रमाण प्रदान करता है, जिससे अन्य शोधकर्ताओं द्वारा उपयोग किए गए ह्यूरिस्टिक (heuristic) तर्कों की आवश्यकता समाप्त हो जाती है।
2. स्पष्ट निर्माण (Explicit Construction): यह $N_n$ के उस अनंत अनुक्रम का स्पष्ट निर्माण करता है जो अनुमानों को संतुष्ट करता है, जो $293, 410, 545, 702$जैसे विशिष्ट मानों से शुरू होता है और$n \ge 9$के लिए$N_n > 10n^2$ तक विस्तारित होता है।
3. परिष्कृत योगात्मक विश्लेषण (Refined Asymptotic Analysis): यह शोध पत्र विस्तार से बताता है कि कैसे घातांकीय वृद्धि $e^{c\sqrt{n}}$, बहुपद क्षय (polynomial decay) $1/\sqrt{n}$, और दोलनशील त्रिकोणमितीय कारक मिलकर एक ही-चिह्न वाले गुणांकों और स्थानीय न्यूनतम के "विंडोज़" (windows) बनाते हैं।
4. संख्या-सिद्धांत संबंधी लेम्मा (Number-Theoretic Lemma): यह द्विघाती अनुक्रमों $\alpha(m+k)^2$ की पूर्णांकों से दूरी के संबंध में एक विशिष्ट लेम्मा स्थापित करता है, जो गुणांकों के चिह्न को नियंत्रित करने के लिए अत्यंत महत्वपूर्ण है।

4. परिणाम (Results)

• प्रमेय 1: एक अनुक्रम $(N_n)_{n \ge 5}$ के अस्तित्व की पुष्टि करता है कि:
  • $N_5=293, N_6=410, N_7=545, N_8=702$।
  • $n \ge 9$ के लिए $N_n > 10n^2$।
  • $V_1(N_n), V_1(N_n+1), V_1(N_n+2)$ का एक ही चिह्न है।
  • समुच्चय $\{|V_1(N_n)|, |V_1(N_n+1)|, |V_1(N_n+2)|\}$ में एक स्थानीय न्यूनतम होता है (विशेष रूप से, अंत बिंदु $N_n$ और $N_n+2$ अनुक्रम $|V_1(j)|$ के सख्त स्थानीय न्यूनतम हैं)।
• प्रारंभिक मानों का सत्यापन: यह शोध पत्र सीधे श्रेणी के विस्तार द्वारा पहले चार पदों (293, 410, 545, 702) के लिए अनुमानों को कम्प्यूटेशनल रूप से सत्यापित करता है।

5. महत्व (Significance)

यह कार्य $v_1(q)$ के गुणांकों के चिह्न नियमितता (sign regularity) और परिमाण व्यवहार के संबंध में प्रमुख अनुमानों को हल करने का कार्य पूर्ण करता है।

• खुली समस्याओं का समाधान: यह फोलसम आदि के 2024/2025 के कार्य के अंतराल को भरता है, जो एक ही-चिह्न वाले त्रिकों और स्थानीय न्यूनतम के अनंत परिवारों के अस्तित्व का पूर्ण प्रमाण प्रदान करता है।
• पद्धतिगत अंतर्दृष्टि (Methodological Insight): यह शोध पत्र प्रदर्शित करता है कि कैसे ब्लॉक-विग्नर डिलोगरिदम (स्थिरांक $\alpha$ के माध्यम से) और डायोफेंटाइन सन्निकटन (Diophantine approximation - पूर्णांकों से दूरी) के गहरे गुण, $q$-श्रृंखला के गुणांकों की सूक्ष्म संरचना को निर्धारित करते हैं।
• रामानुजन की विरासत: रामानुजन की 'लॉस्ट नोटबुक' से प्राप्त एंड्रयूज के अनुमानों को कठोरता से सिद्ध करके, यह शोध पत्र मॉक थीटा फंक्शन्स (mock theta functions), विभाजन सिद्धांत (partition theory) और विश्लेषणात्मक संख्या सिद्धांत के बीच गहरे संबंधों को सुदृढ़ करता है।

संक्षेप में, अल बाच्रावी ने यह सिद्ध करने के लिए योगात्मक विश्लेषण और संख्या सिद्धांत के बीच सफलतापूर्वक सेतु बनाया है कि $v_1(q)$ के गुणांक एक अत्यधिक संरचित पैटर्न (sign regularity और local minima) प्रदर्शित करते हैं, जिससे एंड्रयूज की अंतर्दृष्टि की गणितीय सटीकता के साथ पुष्टि होती है।