Missing digits and sums of two prime squares

तकनीकी सारांश: लुप्त अंक और दो अभाज्य वर्गों का योग

समस्या विवरण
यह शोध पत्र विश्लेषणात्मक संख्या सिद्धांत के दो विशिष्ट क्षेत्रों के मिलन की जांच करता है: आधार-$g$ विस्तार में लुप्त अंकों वाले पूर्णांक और दो अभाज्य वर्गों के योग के रूप में पूर्णांकों का प्रतिनिधित्व। विशेष रूप से, लेखक $X = g^k$ तक के उन पूर्णांकों के समुच्चय $A(X)$ का अध्ययन करते हैं जिनका आधार-$g$ विस्तार एक निश्चित अंक $b$ ($0 \le b < g$) को छोड़ देता है। प्राथमिक उद्देश्य $A(X)$ के उस उपसमुच्चय की गणना और एसिम्प्टोटिक व्यवहार (asymptotic behavior) निर्धारित करना है जिसे $n = p^2 + q^2$ के रूप में लिखा जा सकता है, जहाँ $p, q$ अभाज्य संख्याएँ हैं।

अध्ययन दो मुख्य मात्राओं पर केंद्रित है:

1. प्रतिनिधित्वों की भारित गणना (weighted count), जिसे प्रतिनिधित्वों पर वॉन मांगोल्ट फलन (von Mangoldt function) के योग द्वारा परिभाषित किया गया है: $r_2(n) = \sum_{a^2+b^2=n} \Lambda(a)\Lambda(b)$।
2. प्रतिनिधित्वों की भारहीन गणना (unweighted count), जिसे अभाज्य युग्मों की संख्या द्वारा परिभाषित किया गया है: $r^*(n) = \#\{(p, q) \in \mathbb{P}^2 : p^2 + q^2 = n\}$।

कार्यप्रणाली (Methodology)
यह शोध पत्र हार्डी-लिटलवुड सर्कल मेथड (Hardy–Littlewood circle method) और सीव सिद्धांत (sieve theory) के संयोजन का उपयोग करता है, जो लुप्त अंकों वाले अभाजों (Maynard [14]) और दो अभाज्य वर्गों के योग (लेखक [17]) के लिए उपयोग की गई तकनीकों को अनुकूलित करता है।

1. भारित योगों के लिए सर्कल मेथड (प्रमेय 1.1):
   लुप्त अंक समुच्चय पर $r_2(n)$ के औसत के लिए प्रमाण सर्कल मेथड का उपयोग करता है। इकाई अंतराल (unit interval) को मेजर आर्क्स (major arcs - छोटे हरों वाले परिमेय संख्याओं के पास) और माइनर आर्क्स (minor arcs) में विभाजित किया गया है।

• मेजर आर्क्स: मेजर आर्क्स के विश्लेषण में समाधानों के स्थानीय घनत्व (local density) को समझने के लिए सिंगुलर सीरीज़ का मूल्यांकन शामिल है, जहाँ $u, v$ मॉड्यूल के साथ सह-अभाज्य (coprime) हैं। एक प्रमुख नवीनता एक स्थानीय कारक $S(b, g)$ का व्युत्पinden है जो लुप्त अंक $b$ और आधार $g$ के अभाज्य गुणनखंडन पर निर्भर करता है।
• माइनर आर्क्स: लेखक लुप्त अंक के सूचक फलन (indicator function) के मजबूत फूरियर क्षय गुणों (Fourier decay properties) (जो मेनेड [14] में स्थापित किए गए हैं) को अभाजों के घातांकीय योग अनुमानों (exponential sum estimates) (लेम्मा 2.4) के साथ जोड़कर माइनर आर्क्स के योगदान को सीमित करते हैं।

2. द्वितीय क्षण (Second Moment) और सीव विधियाँ (Theorem 1.4):
   $r^*(n)$ के अनवेटेड फलन का अध्ययन करने के लिए, यह शोध पत्र $\sum (r^*(n)^2 - 2r^*(n))$ का विश्लेषण करता है, जो ऑफ-डायगोनल समाधानों $p_1^2 + q_1^2 = p_2^2 + q_2^2$ को गिनता है।

• $\mathbb{Z}[i]$ में गुणनखंडन: लेखक [17] से एक विचार को अनुकूलित करते हुए $p_1^2 + q_1^2 = p_2^2 + q_2^2$ को गॉसियन पूर्णांकों (Gaussian integers) में $(a+ib)(c+id) = (a-ib)(c-id)$(इकाइयों तक) के रूप में गुणनखंडित करते हैं। यह समस्या को ऐसे समाधानों को गिनने में बदल देता है जहाँ रैखिक रूप$a, b, c, d$ अभाज्य हैं।
• सीव और सर्कल मेथड हाइब्रिड: प्राइमैलिटी (primality) की स्थिति को एक अपर बाउंड सीव (upper bound sieve) (लेम्मा 2.11) का उपयोग करके शिथिल किया जाता है ताकि "रफ" (rough) पूर्णांकों की अनुमति दी जा सके। परिणामी योग का विश्लेषण फिर सर्कल मेथड का उपयोग करके किया जाता है। महत्वपूर्ण रूप से, इस द्वितीय क्षण समस्या के लिए मेजर आर्क्स को बहुत पतली चौड़ाई ($\exp(O(\log X)^{1/2})$) के साथ परिभाषित किया गया है, जिसके लिए माइनर आर्क्स को संभालने के लिए परिष्कृत घातांकीय योग अनुमानों (लेम्मा 2.10) की आवश्यकता होती है।

मुख्य परिणाम

• प्रमेय 1.1 (भारित औसत): एक पर्याप्त बड़े आधार $g$ के लिए, प्रतिनिधित्वों का भारित योग निम्नलिखित संतुष्ट करता है:
  $$\sum_{n \in A(X)} r_2(n) = S(b, g) \cdot \frac{\pi}{4} \#A(X) + O_A\left(\frac{\#A(X)}{(\log X)^A}\right)$$
  जहाँ स्थानीय कारक $S(b, g) = \frac{g}{g-1}\left(1 - \frac{\rho(b; g)}{\phi^2(g)}\right)$ लुप्त अंक $b$ पर निर्भर करता है। शोध पत्र नोट करता है कि एक दिलचस्प पूर्वाग्रह (bias) है: $S(b, g)$ तब अधिकतम होता है जब $b=0$ हो और $g$ में एक अभाज्य गुणनखंड $p \equiv 3 \pmod 4$ हो, और तब न्यूनतम होता है जब $b=0$ हो और $g$ के सभी अभाज्य गुणनखंड $\equiv 1 \pmod 4$ हों।

• उपप्रमेय 1.3: प्रमेय 1.1 और पार्शियल समेशन (partial summation) का उपयोग करते हुए, शोध पत्र अनवेटेड योग के लिए एक निचला स्तर (lower bound) स्थापित करता है:
  $$\sum_{n \in A(X)} r^*(n) \asymp \frac{\#A(X)}{(\log X)^2}$$

• प्रमेय 1.4 (द्वितीय क्षण सीमा): शोध पत्र ऑफ-डायगोनल योगदान के लिए एक ऊपरी सीमा स्थापित करता है:
  $$\sum_{n \in A(X)} (r^*(n)^2 - 2r^*(n)) \ll \frac{\#A(X)(\log \log X)^4}{\log X}$$
  लेखक स्पष्ट रूप से त्रुटि पद (error term) में $(\log X)^2$ कारक के नुकसान का श्रेय मेजर आर्क्स को पर्याप्त पतला न कर पाने को देते हैं, जो लुप्त अंक सूचक फलन के फूरियर ट्रांसफॉर्म के लिए $L^\infty$ बाउंड्स की कमी से उत्पन्न एक सीमा है।

• प्रमेय 1.6 (प्रतिनिधित्व योग्य पूर्णांकों की संख्या): कॉची-श्वार्ज़ (Cauchy-Schwarz) और मार्कोव (Markov) असमानताओं के माध्यम से प्रथम क्षण (उपप्रमेय 1.3) और द्वितीय क्षण (प्रमेय 1.4) को जोड़कर, शोध पत्र लुप्त अंकों वाले उन पूर्णांकों की संख्या के लिए एक गैर-तुच्छ निचला स्तर प्राप्त करता है जो दो अभाज्य वर्गों का योग हैं:
  $$\frac{\#A(X)}{(\log X)^3 (\log \log X)^4} \ll \#\{n \in A(X) : r^*(n) > 0\} \ll \frac{\#A(X)}{(\log X)^2}$$

महत्व और दावे
यह शोध पत्र "लुप्त अंक" समस्याओं के बढ़ते साहित्य में योगदान देता है, जो एकल अभाजों (Maynard [14]) और तीन अभाजों (Maier–Rassias [12], Leng–Sawhney [10]) से आगे बढ़कर अभाजों के वर्गों की योगात्मक समस्याओं (additive problems) तक विस्तृत होता है।

लेखक निम्नलिखित महत्व का दावा करते हैं:

1. पूर्वाग्रह की खोज (Bias Discovery): स्थानीय कारक $S(b, g)$ का व्युत्पत्ति यह प्रकट करता है कि लुप्त अंक और आधार के अभाज्य गुणनखंडों के आधार पर ऐसे नंबरों के वितरण में एक विशिष्ट अंकगणितीय पूर्वाग्रह होता है।
2. गैर-तुच्छ अस्तित्व (Nontrivial Existence): प्रमेय 1.6 यह सिद्ध करता है कि लुप्त अंकों वाले अनंत पूर्णांक हैं जो दो अभाज्य वर्गों के योग हैं: यह एक निचला स्तर प्रदान करता है, जो हालांकि एसिम्प्टोटिक नहीं है, फिर भी तुच्छ सीमाओं से काफी बेहतर है।
3. पद्धतिगत संश्लेषण (Methodological Synthesis): यह कार्य यह प्रदर्शित करता है कि अंक प्रतिबंधों द्वारा परिभाषित विरल सेटों (sparse sets) पर प्रतिनिधित्व फलनों के द्वितीय क्षण को संभालने के लिए सर्कल मेथड और सीव अनुमानों को मिलाना कितना व्यवहार्य है।

शोध पत्र प्रमेय 1.6 में निचले स्तर की तीक्ष्णता (sharpness) के संबंध में विनम्र बना रहता है। लेखक स्पष्ट रूप से कहते हैं कि अपेक्षित एसिम्प्टोटिक $\sim \frac{\pi}{2} S(b, g) \frac{\#A(X)}{(\log X)^2}$ प्राप्त करना वर्तमान में द्वितीय क्षण अनुमान में $(\log X)^2$ कारक के नुकसान के कारण बाधित है, जो लुप्त अंक सेट के फूरियर ट्रांसफॉर्म के $L^\infty$ बाउंड्स को समझने की सीमाओं का सीधा परिणाम है। यह भी नोट किया गया है कि परिणाम कई लुप्त अंकों के मामलों में भी विस्तारित होते हैं, बशर्ते लुप्त अंकों की संख्या आधार के सापेक्ष पर्याप्त रूप से कम हो।