Waring's problem involving D.H. Lehmer numbers

तकनीकी सारांश: डी.एच. लेमर संख्याओं से संबंधित वारींग की समस्या

समस्या का विवरण
यह शोध पत्र शास्त्रीय वारींग की समस्या के एक रूपांतर को संबोधित करता है, विशेष रूप से डी.एच. लेमर (D.H. Lehmer) संख्याओं के चतुर्थ घातों (fourth powers) के योग के रूप में पर्याप्त बड़े धनात्मक पूर्णांकों के निरूपण की जांच करता है। मान लीजिए कि $p$ एक विषम अभाज्य संख्या है। एक डी.एच. लेमर संख्या को एक ऐसे पूर्णांक $a$ के रूप में परिभाषित किया गया है कि $1 \le a \le p$, $\gcd(a, p) = 1$, और $a + \bar{a} \equiv 1 \pmod 2$, जहाँ $\bar{a}$, $[1, p]$ की सीमा में $a$ का अद्वितीय गुणात्मक प्रतिलोम (multiplicative inverse) है। इन संख्याओं के समुच्चय को $L(p)$ द्वारा दर्शाया गया है।

लेखक यह निर्धारित करने का प्रयास करते हैं कि लेमर संख्याओं के चतुर्थ घातों के रूप में किसी भी पर्याप्त बड़े पूर्णांक $N$ को निरूपित करने के लिए कितने चतुर्थ घातों की आवश्यकता होगी। यह एच. डेवेंटर (H. Davenport) के शास्त्रीय परिणामों पर आधारित है, जिन्होंने स्थापित किया था कि प्रत्येक पर्याप्त बड़े पूर्णांक को प्राकृतिक संख्याओं के 16 चतुर्थ घातों के योग के रूप में व्यक्त किया जा सकता है, और प्रत्येक पर्याप्त बड़े पूर्णांक जो 16 के भागफल 15 या 16 के तुल्य नहीं है, उसे 14 ऐसे चतुर्थ घातों के योग के रूप में व्यक्त किया जा सकता है। इस शोध का लक्ष्य डी.एच. लेमर संख्याओं के प्रतिबंधित सेट के लिए इन निष्कर्षों का विस्तार करना है।

कार्यप्रणाली
लेखक हार्डी-लिटिलवुड सर्कल विधि (Hardy-Littlewood circle method) का उपयोग करते हैं, जो योगात्मक संख्या सिद्धांत (additive number theory) की एक मानक विश्लेषणात्मक तकनीक है। कार्यप्रणाली के मुख्य भाग निम्नलिखित हैं:

1. जनरेटिंग फंक्शन्स (Generating Functions): लेखक $L(p)$ के सेट पर घातांकीय योगों (exponential sums) को परिभाषित करते हैं। विशेष रूप से, $T(\alpha) = \sum_{x \sim P, x \in L(p)} e(\alpha x^4)$, जहाँ $P \approx (N/100)^{1/4}$ है। $N$ को 14 चतुर्थ घातों के योग के रूप में निरूपित करने के लिए, वे पूर्णांकों के एक सहायक सेट $\{u_1, \dots, u_U\}$ को पेश करते हैं, जो लेमर संख्याओं के 4 चतुर्थ घातों के योग हैं, और $U(\alpha) = \sum_{h=1}^U e(\alpha u_h)$ को परिभाषित करते हैं।
2. इंटीग्रल निरूपण (Integral Representation): $r_{14}(N)$ के निरूपणों की संख्या को इकाई अंतराल पर एक समाकलन (integral) के रूप में व्यक्त किया जाता है: $r_{14}(N) = \int_0^1 T^6(\alpha) U^2(\alpha) e(-N\alpha) d\alpha$।
3. मेजर और माइनर आर्च (Major and Minor Arcs): समाकलन डोमेन को मेजर आर्च $\mathfrak{M}$ (छोटे हर वाले परिमेय संख्याओं के निकट) और माइनर आर्च $\mathfrak{m}$ में विभाजित किया गया है।
   • मेजर आर्च पर सन्निकटन: लेखक मेजर आर्च पर $T(\alpha)$ को एक सिंगुलर सीरीज़ घटक $T^*(\alpha, a, q)$ और एक त्रुटि पद $H(\alpha)$ का उपयोग करके सन्निकट करते हैं। यह कैरेक्टर सम (character sums) और मोबियस फंक्शन (Möbius function) के गुणों का उपयोग करके $L(p)$ पर योग को विघटित करने पर निर्भर करता है।
   • माइनर आर्च पर अनुमान: वेइल की असमानता (Weyl's inequality) और कैरेक्टर से जुड़े घातांकीय योगों के बंधों का उपयोग करते हुए, लेखक यह स्थापित करते हैं कि माइनर आर्च का योगदान मुख्य पद (main term) की तुलना में नगण्य है।
4. लेम्मा और बाउंड्स (Lemmas and Bounds): यह प्रमाण निम्नलिखित के लिए बाउंड्स स्थापित करने वाले लेम्मा की एक श्रृंखला पर निर्भर करता है:
   • कैरेक्टर सम (लेम्मा 1)।
   • लघु अंतराल में लेमर संख्याओं का वितरण (लेम्मा 3, लेम्मा 5)।
   • $x^4 + u_h = y^4 + u_i$ के रूप के समीकरणों के समाधानों की संख्या (लेम्मा 6)।
   • $s$ लेमर संख्याओं के चतुर्थ घातों के योग के रूप में निरूपण योग्य संख्याओं का घनत्व (लेम्मा 7)।
   • मेजर और माइनर दोनों आर्च पर $T(\alpha)$ के लिए बाउंड्स (लेम्मा 8, लेम्मा 14)।

प्रमुख योगदान और परिणाम
यह शोध पत्र बड़े पूर्णांकों की निरूपणीयता के संबंध में दो प्राथमिक प्रमेय स्थापित करता है:

• प्रमेय 1: प्रत्येक पर्याप्त बड़ा धनात्मक पूर्णांक $N$, बशर्ते कि $N \not\equiv 15, 16 \pmod{16}$, 14 डी.एच. लेमर संख्याओं के चतुर्थ घातों के योग के रूप में निरूपित किया जा सकता है।
• प्रमेय 2: प्रत्येक पर्याप्त बड़े धनात्मक पूर्णांक को 16 डी.एच. लेमर संख्याओं के चतुर्थ घातों के योग के रूप में निरूपित किया जा सकता है।

प्रमेय 1 का प्रमाण यह दिखाने में शामिल है कि इंटीग्रल निरूपण में मुख्य पद त्रुटि पदों पर हावी है, जिससे निर्दिष्ट संगति वर्गों (congruence classes) के लिए $r_{14}(N) > 0$ सुनिश्चित होता है। प्रमेय 2 सीधे प्रमेय 1 और इस अवलोकन से सिद्ध होता है कि 1 एक लेमर संख्या है; अतः, 16 के भागफल 15 या 16 के रूप में तुल्य पूर्णांकों को $1^4$ के दो उदाहरणों को घटाकर $N-2$ (जो स्वीकार्य संगति वर्गों में आता है) के रूप में कम किया जा सकता है।

महत्व और दावे
लेखक कहते हैं कि विशेष रूप से डी.एच. लेमर संख्याओं से संबंधित वारींग की समस्या पर किया गया यह पहला शोध है। इस कार्य का महत्व निम्नलिखित में निहित है:

1. शास्त्रीय परिणामों का विस्तार: यह शास्त्रीय वariंग की समस्या (विशेष रूप से $k=4$ के लिए) के उपयोग में परिपक्व विधियों को सफलतापूर्वक अनुकूलित करता है।
2. $G(4)=16$ का सत्यापन: लेखक नोट करते हैं कि उनका परिणाम, जो 16 चतुर्थ घातों के योग के रूप में निरूपण योग्य पूर्णांकों की सीमा को लेमर संख्याओं के विशिष्ट उपसमुच्चय तक सीमित करता है, शास्त्रीय परिणाम $G(4)=16$ को मान्य करने वाला एक वैकल्पिक दृष्टिकोण प्रदान करता है।
3. खुली समस्याएँ: शोध पत्र निष्कर्ष के रूप में यह सुझाव देता है कि वारींग की समस्या के अन्य मामलों के लिए डी.एच. लेमर संख्याओं तक सीमित घातों के योग में $N$ का विभाजन भविष्य के अनुसंधान के लिए एक खुला क्षेत्र बना हुआ है।

यह कार्य शांक्सी फंडामेंटल साइंस रिसर्च प्रोजेक्ट फॉर मैथमेटिक्स एंड फिजिक्स और नेचुरल साइंस बेसिक रिसर्च प्रोजेक्ट ऑफ शांक्सी प्रोविंस द्वारा समर्थित है।