Sign Laws and Mock Theta Functions

तकनीकी सारांश: चिह्न नियम और मॉक थीटा फलन (Sign Laws and Mock Theta Functions)

समस्या विवरण
यह शोध पत्र रामानुजन के तीसरे क्रम के मॉक थीटा फलन $\rho(q)$ के गुणांकों $r(n)$ के चिह्न व्यवहार को संबोधित करता है, जिसे इस श्रेणी द्वारा परिभाषित किया गया है:
$$\rho(q) = \sum_{m \ge 0} \frac{q^{2m(m+1)}}{(1 + q + q^2)(1 + q^3 + q^6) \cdots (1 + q^{2m+1} + q^{4m+2})} = \sum_{n \ge 0} r(n)q^n.$$
प्रारंभिक गुणांकों के अनुभवजन्य अवलोकन से 3 के मापांक (modulo) में एक विशिष्ट आवधिक चिह्न पैटर्न का पता चलता है: $r(3m) > 0$, जबकि $r(3m+1) \le 0$ और $r(3m+2) \le 0$। गैर-धनात्मक अवशेष वर्गों (non-positive residue classes) में शून्य केवल विशिष्ट लघु पूर्णांकों ($n = 2, 4, 8, 11, 20$) पर दिखाई देते हैं। प्राथमिक उद्देश्य सभी $n \ge 0$ के लिए इस "चिह्न नियम" (sign law) को कठोरता से सिद्ध करना और उन सूचकांकों के सटीक सेट की पहचान करना है जहाँ $r(n) = 0$ है।

कार्यप्रणाली
प्रमाण विश्लेषणात्मक संख्या सिद्धांत (विशेष रूप से मॉक थीटा फलनों के लिए अनुकूलित सर्कल मेथड) और सटीक पूर्णांक अंकगणित को संयोजित करता है।

1. वाटसन की पहचान (Watson's Identity) के माध्यम से न्यूनीकरण:
   लेखक $\rho(q)$ को दूसरे तीसरे क्रम के मॉक थीटा फलन $\omega(q)$ और एक एटा-कोटिएंट (eta-quotient) $T(q)$ से संबंधित वाटसन की पहचान का उपयोग करते हैं:
   $$2\rho(q) + \omega(q) = T(q), \quad \text{जहाँ } T(q) = 3 \frac{(q^6; q^6)_\infty^4}{(q^3; q^3)_\infty^2 (q^2; q^2)_\infty}.$$
   यह समस्या को $T(q) - \omega(q)$ के विश्लेषण में बदल देता है। $T(q)$ के गुणांक मॉड्यूलर हैं, जबकि $\omega(q)$ एक मॉक थीटा फलन है।

2. सर्कल मेथड और रूट-ऑफ-यूनिटी विश्लेषण:
   गुणांकों को $|q| = e^{-\beta}$ वृत्त पर कॉची के समाकल सूत्र (Cauchy's integral formula) के माध्यम से निकाला जाता है। समाकल को "मेजर आर्क्स" (roots of unity के पास) और "माइनर आर्क्स" में विभाजित किया गया है।

• $q=1$ पर निरस्तीकरण (Cancellation): $T(q)$ और $\omega(q)$ के अग्रणी पोलर पद $q=1$ पर समान हैं और अंतर में निरस्त हो जाते हैं, जिससे एक बहुपद रूप से सीमित योगदान बचता है।
• $q=-1$ पर लुप्त होना: $q=-1$ पर योगदान को भी बहुपद रूप से सीमित दिखाया गया है।
• क्यूबिक रूट्स पर प्रभुत्व: जीवित रहने वाले पहले घातीय पद प्रारंभिक क्यूबिक रूट्स ऑफ यूनिटी ($\zeta = e^{2\pi i/3}$ और $\zeta^2$) से उत्पन्न होते हैं। ज़वेगेर्स पूर्णता (Zwegers completion) और रूपांतरण नियमों का उपयोग करते हुए, लेखक इन रूट्स के पास $\rho(q)$ के लिए प्रभावी स्पर्शोन्मुख अनुमान (asymptotic estimates) प्राप्त करते हैं।

3. प्रभावी स्पर्शोन्मुखता (Effective Asymptotics):
   क्यूबिक आर्क्स से प्राप्त योगदान का मुख्य पद इस रूप का होता है:
   $$\kappa_{n \pmod 3} \frac{2\pi}{d_n^{1/4}} I_{1/2}(x),$$
   जहाँ $d_n = 12n+8$, $x = \pi\sqrt{d_n}/18$, और स्थिरांक $\kappa_0, \kappa_1, \kappa_2$ को $\pi/18$ वाले त्रिकोणमितीय मानों से प्राप्त किया गया है। विशेष रूप से:

• $\kappa_0 = \frac{1}{3}\cos(\frac{\pi}{18}) > 0$
• $\kappa_1 = -\frac{1}{3}\sin(\frac{2\pi}{9}) < 0$
• $\kappa_2 = -\frac{1}{3}\sin(\frac{\pi}{9}) < 0$

लेखक माइनर आर्क्स और गैर-प्रभावी मेजर आर्क्स के लिए स्पष्ट त्रुटि सीमाएं स्थापित करते हैं। वे सिद्ध करते हैं कि पर्याप्त बड़े $n$ के लिए, मुख्य पद त्रुटि पद पर हावी हो जाता है, जिससे $r(n)$ के चिह्न का निर्धारण होता है।

4. परिमित सत्यापन (Finite Verification):
   उस रेंज को संभालने के लिए जहाँ स्पर्शोन्मुख प्रभुत्व अभी तक सिद्ध नहीं हुआ है, लेखक पूर्णांक अंकगणित का उपयोग करके सटीक गणना करते हैं। वे $r(n)$ को क्रॉसओवर पॉइंट तक सटीक रूप से गणना करने के लिए ट्रंकेटेड पॉलिनॉमियल रिंग $\mathbb{Z}[q]/(q^{L+1})$ में एक एल्गोरिदम लागू करते हैं।

मुख्य परिणाम
यह शोध पत्र प्रमेय 1.1 को सिद्ध करता है, जो सभी $n \ge 0$ के लिए चिह्न नियम स्थापित करता है:

• सभी $m \ge 0$ के लिए $r(3m) > 0$।
• सभी $m \ge 0$ के लिए $r(3m+1) \le 0$ और $r(3m+2) \le 0$।
• समानता ($r(n)=0$) सटीक रूप से $n \in \{2, 4, 8, 11, 20\}$ पर होती है।

विश्लेषणात्मक भाग का प्रमाण $n \ge 392,275$ के लिए चिह्न नियम की गारंटी देता है। सटीक पूर्णांक सत्यापन $0 \le n < 392,275$ के लिए परिणाम की पुष्टि करता है, विशिष्ट शून्य की पहचान करता है और यह पुष्टि करता है कि इस परिमित सीमा में कोई चिह्न उल्लंघन मौजूद नहीं है।

महत्व और दावे
यह शोध पत्र दावा करता है कि मॉक थीटा गुणांकों के चिह्न व्यवहार को "रूट-ऑफ-यूनिटी डोमिनेंस प्रिंसिपल" द्वारा नियंत्रित किया जा सकता है। $\rho(q)$ के मामले में, $q=1$ पर प्रभावी पोल के निरस्तीकरण से निर्धारित कारक क्यूबिक रूट्स ऑफ यूनिटी में स्थानांतरित हो जाता है, जिनके फेज (phases) आवधिक चिह्न पैटर्न को निर्देशित करते हैं।

लेखक सुझाव देते हैं कि यह कार्यप्रणाली केवल $\rho(q)$ तक सीमित नहीं है। वे संकेत देते हैं कि समान रणनीति—प्रथम गैर-निरस्त होने वाले रूट-ऑफ-यूनिटी योगदान की पहचान करना और शेष आर्क्स को नियंत्रित करना—अन्य तीसरे क्रम के मॉक थीटा फलनों पर भी लागू होनी चाहिए। विशेष रूप से, वे रामानुजन के फलनों $\phi(q)$ (पीरियड 4) और $\chi(q)$ (पीरियड 6) में समान चिह्न नियमों के लिए प्रारंभिक साक्ष्य का उल्लेख करते हैं, और इन परिणामों को सभी रामानुजन के मॉक थीटा फलनों तक विस्तारित करने के लिए एक व्यवस्थित कार्यक्रम का प्रस्ताव करते हैं। यह कार्य मॉक थीटा फलनों के गुणात्मक मॉड्यूलर गुणों और उनके गुणांकों के सटीक मात्रात्मक अंकगणितीय गुणों के बीच के अंतर को पाटता है।