Representations of positive integers by three almost-prime squares

तकनीकी सारांश: तीन लगभग-आभासी अभाज्य वर्गों द्वारा धनात्मक पूर्णांकों का निरूपण

समस्या विवरण
यह शोध पत्र तीन वर्गों के योग के रूप में धनात्मक पूर्णांकों के निरूपण पर केंद्रित है, विशेष रूप से चरों पर अभाज्य गुणनखंडन (prime factorization) द्वारा लगाए गए प्रतिबंधों पर ध्यान केंद्रित करता है। जबकि लेजेंड्रे और गॉस ने स्थापित किया था कि एक पूर्णांक $m$ तब $m = x^2 + y^2 + z^2$ के रूप में निरूपित किया जा सकता है जब और केवल तभी जब $m \neq 4^k(8\ell+7)$, लेखक उन निरूपणों की जांच करते हैं जहाँ चर $x_i$ "लगभग-अभाज्य" (almost-primes) हैं (अर्थात ऐसे पूर्णांक जिनमें अभाज्य गुणनखंडों की संख्या सीमित होती है)।

मुख्य ध्यान उन पूर्णांकों $N$ पर है जो $N \equiv 3 \pmod{24}$ और $5 \nmid N$ की शर्तों को पूरा करते हैं। शोध पत्र का उद्देश्य पिछले परिणामों की तुलना में उस सीमा $r$ को कम करना है जिससे $x_1, x_2, x_3$ के लिए $x_1x_2x_3$ एक $P_r$-संख्या हो, या प्रत्येक व्यक्तिगत $x_i$ एक $P_r$-संख्या हो, ताकि समीकरण $N = x_1^2 + x_2^2 + x_3^2$ में सुधार किया जा सके।

एक माध्यमिक समस्या सन (Sun) के एक संबंधित अनुमान से जुड़ी है, जो $N = x^2 + y^2 + (2az)^2$ के रूप में निरूपणों पर केंद्रित है, जिसका लक्ष्य $z$ की लगभग-अभाज्य प्रकृति की सीमा को सुधारना है।

कार्यप्रणाली
प्रमाण विश्लेषण संख्या सिद्धांत (analytic number theory) की तकनीकों के संयोजन पर आधारित हैं, विशेष रूप से:

1. उच्च-आयामी छलनी (Higher-Dimensional Sieve): लेखक तीन वर्गों के योग को संभालने के लिए एक तीन-आयामी छलनी विधि का उपयोग करते हैं।
2. रिचर्ट-प्रकार की भारित छलनी (Richert-Type Weighted Sieve): वे कै (Cai) [6] द्वारा प्रस्तुत एक भारित छलनी विधि का उपयोग करते हैं, जो चरों को उनके अभाज्य विभाजकों के आधार पर भार देकर अभाज्य गुणनखंडों की संख्या के अनुकूलन (optimization) की अनुमति देती है।
3. वितरण अनुमान (Distribution Estimates): तर्क का मुख्य भाग त्रिक द्विघात रूप (ternary quadratic form) $x_1^2 + x_2^2 + x_3^2$ के लिए "वितरण के स्तर" (level of distribution) पर निर्भर करता है। लेखक वाइबेल (Waibel) [21] द्वारा प्रदान किए गए बोम्बिएरी-विनोग्रादोव प्रकार के परिणाम और एक विकर्ण मानक अनुमान (diagonal norm estimate) का उपयोग करते हैं।
4. थीटा श्रेणी और मॉडुलर फॉर्म (Theta Series and Modular Forms): निरूपणों के वितरण के लिए आवश्यक त्रुटि पद सीमाओं (error term bounds) को स्थापित करने के लिए, शोध पत्र द्विघात रूपों से जुड़ी थीटा श्रेणियों के फूरियर गुणांकों का विश्लेषण करता है। विशेष रूप से, वे जेनस औसत (genus average) और वास्तविक निरूपण संख्या के बीच के अंतर को सीमित करने के लिए वाइबेल के प्रमेय 2 का उपयोग करते हैं।
5. एक-आयामी न्यूनीकरण (One-Dimensional Reduction): माध्यमिक परिणाम (प्रमेय 1.3) के लिए, विधि को एक-आयामी छलनी सेटिंग में अनुकूलित किया जाता है, जिसमें $N = x^2 + y^2 + (2az)^2$ में एक एकल चर $z$ में समान भारित छलनी तर्क लागू किया जाता है।

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

• प्रमेय 1.1: पर्याप्त बड़े पूर्णांकों $N$ के लिए जो $N \equiv 3 \pmod{24}$ और $5 \nmid N$ को संतुष्ट करते हैं, लेखक सिद्ध करते हैं कि $N$ को $N = x_1^2 + x_2^2 + x_3^2$ के रूप में लिखा जा सकता है जहाँ गुणनफल $x_1x_2x_3$ एक $P_{67}$-संख्या (अधिकतम 67 अभाज्य गुणनखंडों वाला पूर्णांक) है। ऐसे निरूपणों की संख्या $\gg N^{1/2-\epsilon}$ दिखाई गई है।

  • सुधार: यह वाइबेल [21] की तुलना में सुधार है, जिन्होंने $P_{72}$-संख्या प्राप्त की थी।

• प्रमेय 1.2: उन्हीं शर्तों के तहत, लेखक सिद्ध करते हैं कि $N$ को $N = x_1^2 + x_2^2 + x_3^2$ के रूप में निरूपित किया जा सकता है जहाँ प्रत्येक व्यक्तिगत चर $x_i$ एक $P_{27}$-संख्या है। ऐसे निरूपणों की संख्या भी $\gg N^{1/2-\epsilon}$ है।

  • नोट: यह परिणाम प्रमेय 1.1 के समान ही भारित-छलनी तर्क से प्राप्त किया गया है लेकिन प्रत्येक निर्देशांक पर अलग से लगभग-अभाज्य अनुमान लागू करता है।

• प्रमेय 1.3: एक संबंधित समस्या को संबोधित करते हुए, लेखक सिद्ध करते हैं कि प्रत्येक पर्याप्त बड़ा पूर्णांक $m$ जो $4^k(8\ell+7)$ के रूप में नहीं है, उसे $m = x^2 + y^2 + (2az)^2$ के रूप में लिखा जा सकता है, जहाँ $x, y, a$ गैर-ऋणात्मक पूर्णांक हैं और $z$ एक $P_{18}$-संख्या है। ऐसे निरूपणों की संख्या $\gg m^{1/2-\epsilon}$ है।

  • सुधार: यह बनर्जी [1] के एक परिणाम में महत्वपूर्ण सुधार है, जिन्होंने $P_{118}$-संख्या प्राप्त की थी।

• उपप्रमेय (Corollary) 1.1: प्रमेय 1.3 के प्रत्यक्ष परिणाम के रूप में, शोध पत्र दिखाता है कि पर्याप्त बड़े पूर्णांकों को $m = x^2 + y^2 + 2^{2a} + (2bz)^2$ के रूप में निरूपित किया जा सकता है जहाँ $z$ एक $P_{18}$-संख्या है।

महत्व
शोध पत्र का दावा है कि वह वर्गों के लगभग-अभाज्य के योग के रूप में पूर्णांकों के निरूपण के लिए अत्याधुनिक सीमाओं (state-of-the-art bounds) में सुधार करता है। भारित छलनी मापदंडों को परिष्कृत करके और वाइबेल के वितरण अनुमानों का लाभ उठाकर, लेखक इन निरूपणों में चरों के लिए आवश्यक अभाज्य गुणनखंडों की संख्या को सफलतापूर्वक कम करने में सफल होते हैं। $P_{72}$ से $P_{67}$ (और संबंधित मामले में $P_{118}$ से $P_{18}$) तक की कमी "लगभग-अभाज्य" और वास्तविक अभाज्य के बीच के अंतर को कम करके, वास्तविक अभाज्य के वर्गों के योग के रूप में पूर्णांकों को निरूपित करने के व्यापक अनुमान की प्रभावकारिता को प्रदर्शित करती है। यह कार्य "लग-लग अभाज्य" (almost-primes) से वास्तविक अभाज्य की ओर के अंतर को कम करके, उन्हें वर्गों के योग के रूप में निरूपित करने के व्यापक अनुमान की दिशा में योगदान देता है।