No exact on average additive complements of squares

यहाँ यूचेन डिंग, सासा सैंडर और ज़िहान झांग के शोध पत्र "Cross representations of additive complements of r-th powers" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण और संदर्भ

यह शोध पत्र योगात्मक पूरक (additive complements) के संबंध में योगात्मक संख्या सिद्धांत (additive number theory) के मौलिक प्रश्नों को संबोधित करता है।

• परिभाषाएँ:

  • मान लीजिए $S_r = \{1^r, 2^r, 3^r, \dots\}$ $r$-घातों (r-th powers) का समुच्चय है ($r \ge 2$)।
  • एक उपसमुच्चय $W \subset \mathbb{N}$, $S_r$ का योगात्मक पूरक (additive complement) है यदि प्रत्येक पर्याप्त बड़े पूर्णांक $n$ को $n = w + s$ के रूप में लिखा जा सकता है जहाँ $w \in W$ और $s \in S_r$ है।
  • $f_r(n)$ ऐसे निरूपणों (representations) की संख्या को दर्शाता है: $f_r(n) = \#\{(w, m^r) \in W \times S_r : n = w + m^r\}$।
  • $W(N) = |W \cap [1, N]|$।

• ऐतिहासिक पृष्ठभूमि:

  • एर्डोस (Erdős) (1950 के दशक): उन्होंने वर्ग ($r=2$) के लिए स्थापित किया कि $\liminf_{N\to\infty} W(N)/\sqrt{N} \ge 1$। उन्होंने पूछा कि क्या यह सीमा 1 से काफी अधिक है।
  • मोसर (Moser) और अन्य: उन्होंने निचली सीमा को $1.06$ तक सुधारा, और अंततः सिलरुलुएनो (Cilleruelo), हैब्सिएगर (Habsieger), और बालासुब्रमण्यम-रमाना (Balasubramanian-Ramana) द्वारा $4/\pi$ तक पहुँचाया।
  • बेन ग्रीन की समस्या (2017): क्या वर्गों का एक ऐसा योगात्मक पूरक $W$ मौजूद है जिससे $W(N) \sim \frac{4}{\pi}\sqrt{N}$ हो (अर्थात, सैद्धांतिक निचली सीमा को स्पर्श करता हो)?
  • रुसा की समस्या (Ruzsa's Problem) (2001) / सिलरुलुएनो का अनुमान (1993): क्या एक सटीक औसत पर योगात्मक पूरक (exact on average additive complement) मौजूद है? इसका अर्थ है एक ऐसा सेट $W$ जहाँ निरूपणों की औसत संख्या ठीक 1 हो:
    $$\sum_{n \le N} f_r(n) \sim N \quad \text{जब } N \to \infty.$$
  • पिछले परिणाम: $r=2$ के लिए, चेन और फेंग (2017) तथा डिंग एवं अन्य (2023) ने सिद्ध किया कि $\sum_{n \le N} f_2(n) - N \gg N^{1/4}\log N$ और बाद में $\gg N^{1/2}$। हालाँकि, $r \ge 3$ के लिए, पिछली विधियाँ यह सिद्ध करने में भी विफल रहीं कि योग अनंत की ओर जाता है।

• मुख्य प्रश्न: क्या निरूपणों का योग $\sum_{n \le N} f_r(n)$ $N$ के कितना करीब हो सकता है (अर्थात, क्या "अतिरिक्त" योग छोटा है), या क्या विचलन $\sum f_r(n) - N$ पर एक महत्वपूर्ण निचली सीमा है?

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

लेखक संयोजन गणना (combinatorial counting), एबेल योग (Abel summation), और विश्लेषणात्मक संख्या सिद्धांत (analytic number theory) की तकनीकों के संयोजन का उपयोग करते हैं।

A. प्रमेय 1 (सामान्य $r$-घातों के लिए) का प्रमाण

सामान्य $r$ के लिए प्रमाण विभाजन तर्क (partitioning argument) और एबेल योग सूत्र पर आधारित है।

1. विभाजन (Partitioning): अंतराल $[1, N]$ को $N/2K$ लंबाई के $K$ उप-अंतरालों में विभाजित किया गया है। $W_k$ और $S_k$, क्रमशः $W$ और $S_r$ के $k$-वें अंतराल के साथ प्रतिच्छेदन (intersections) हैं।
2. अंतर समुच्चय (Difference Sets): लेखक उन अंतरों $w - s$ की संख्या का विश्लेषण करते हैं जहाँ $w \in W_k$ और $s \in S_k$ है। वे दिखाते हैं कि ऐसे युग्मों की कुल संख्या बड़ी है।
3. टकराव तर्क (Collision Argument): यदि निरूपणों का योग $N$ के करीब होता, तो "टकराव" (ऐसे जोड़े $(w, s)$ और $(w', s')$ कि $w+s = w'+s'$ जहाँ जोड़े भिन्न हैं) की संख्या कम होती।
4. एबेल योग (Abel Summation): अंतरालों में तत्वों की गणना पर एबेल योग लागू करके, वे समान अंतर वाले युग्मों की संख्या पर एक निचली सीमा प्राप्त करते हैं।
5. विरोधाभास (Contradiction): वे दिखाते हैं कि यदि $\sum f_r(n)$, $N$ के बहुत करीब होता, तो ऐसे टकरावों की संख्या समुच्चयों के घनत्व (density) की व्याख्या करने के लिए अपर्याप्त होती, जिससे एक विरोधाभास उत्पन्न होता। यह योग को $N$ से कम से कम $N^{1-1/r}$ से विचलित होने के लिए मजबूर करता है।

B. प्रमेय 2 (वर्ग, $r=2$ के लिए) का प्रमाण

वर्गों के विशिष्ट मामले के लिए, लेखक गुणात्मक संरचना (multiplicative structure) का लाभ उठाकर एक मजबूत परिणाम प्राप्त करते हैं।

1. फोर्ड का मल्टीप्लिकेटिव टेबल प्रमेय (Ford's Multiplicative Table Theorem): वे फोर्ड के एक गहरे परिणाम का उपयोग करते हैं जो $n \le x$ की उन विशिष्ट पूर्णांकों की संख्या से संबंधित है जिन्हें $n = m_1 m_2$ के रूप में दर्शाया जा सकता है जहाँ $m_i \le \sqrt{x}$ है। इस गणना में $\log N$ और $\log \log N$ की एक विशिष्ट घात शामिल है।
2. मामला विश्लेषण (Case Analysis):
   • मामला I: यदि पहले अंतराल में $W$ का घनत्व उच्च है, तो परिणाम स्वतः सिद्ध हो जाता है।
   • मामला II: यदि पहले अंतराल में घनत्व कम है, तो द्रव्यमान (mass) अन्यत्र वितरित होना चाहिए।
3. अंकगणितीय विशेषताएँ: दूसरे उप-मामले में, वे संरचना $w_i = n^* - m_i^2$ पर आधारित अंतरों का निर्माण करते हैं। इन वर्गों के बीच के अंतरों में $(m_i - m)(m_i + m)$ जैसे पद शामिल होते हैं।
4. लेम्मा 1 का अनुप्रयोग: इन अंतरों को मल्टीप्लिकेटिव टेबल समस्या में मैप करके, वे दिखाते हैं कि उत्पन्न होने वाले विशिष्ट मानों की संख्या फोर्ड बाउंड द्वारा सीमित है। यह सीमा $\sum f_r(n)$ को $N$ से काफी अधिक होने के लिए मजबूर करती है, जिससे सामान्य $r$ के मामले की तुलना में एक अतिरिक्त लघुगणकीय (logarithmic) कारक आता है।

C. प्रमेय 3 (समस्याओं की समानता) का प्रमाण

लेखक सिद्ध करते हैं कि बेन ग्रीन की समस्या (एक ऐसा पूरक $W$ अस्तित्व में है जिससे $W(N) \sim \frac{4}{\pi}\sqrt{N}$) और रुसा की समस्या (एक सटीक औसत पर औसत पूरक का अस्तित्व) वर्गों के लिए समतुल्य हैं।

• वे दिखाते हैं कि यदि एक सटीक औसत पूरक मौजूद है, तो $W(N)$ की वृद्धि दर ठीक $\frac{4}{\pi}\sqrt{N}$ होनी चाहिए।
• इसके विपरीत, यदि वृद्धि दर ठीक $\frac{4}{\pi}\sqrt{N}$ है, तो निरूपणों का औसत योग $N$ नहीं हो सकता (यह $N$ से अधिक होगा), जिसका अर्थ है कि कोई सटीक औसत पूरक मौजूद नहीं है।

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

प्रमेय 1: $r$-घातों के लिए सामान्य निचली सीमा

किसी भी $r$-घातों के योगात्मक पूरक $W$ ($r \ge 2$) के लिए:
$$\sum_{n \le N} f_r(n) - N \gg_r N^{1 - 1/r}$$

• महत्व: यह ज्ञात सीमा को $r=2$ से बढ़ाकर सभी $r \ge 2$ के लिए करता है। यह सिद्ध करता है कि $r \ge 3$ के लिए, निरूपणों का योग अनंत की ओर अवश्य जाएगा, जिससे पिछली विधियों की सीमा का समाधान होता है। निहित स्थिरांक (implied constant) $r$ पर निर्भर करता है।

प्रमेय 2: वर्गों के लिए सुधरा हुआ बाउंड ($r=2$)

वर्गों के लिए, निचली सीमा काफी मजबूत है:
$$\sum_{n \le N} f_2(n) - N \gg N^{1/2} (\log N)^{\delta} (\log \log N)^{3/2}$$
जहाँ $\delta = 1 - \frac{1 + \log \log 2}{\log 2} \approx 0.086$।

• महत्व: यह डिंग, सन, वांग और ज़िया (Ding, Sun, Wang, and Xia) के हालिया परिणाम ($N^{1/2}$ का बाउंड) में एक पॉलीनोगारिदमिक (polylogarithmic) कारक जोड़कर सुधार करता है। यह दर्शाता है कि वर्गों की अंकगणितीय संरचना सामान्य $r$-घातों की तुलना में अधिक सख्त बाधाएं लगाती है।

प्रमेय 3: समस्याओं की समानता

यह शोध पत्र स्थापित करता है कि वर्गों के लिए एक ऐसा योगात्मक पूरक $W$ अस्तित्व में होने की शर्त कि $W(N) \sim \frac{4}{\pi}\sqrt{N}$, एक सटीक औसत योगात्मक पूरक के अस्तित्व के समतुल्य है।

• महत्व: यह क्षेत्र की दो प्रमुख खुली समस्याओं को एकीकृत करता। चूंकि लेखक (प्रमेय 1 और 2 के माध्यम से) सिद्ध करते हैं कि निरूपणों का योग $N$ से काफी अधिक है, इसलिए यह संकेत मिलता है कि वर्गों के लिए कोई सटीक औसत योगात्मक पूरक मौजूद नहीं है। फलस्वरूप, बेन ग्रीन के प्रश्न का उत्तर नकारात्मक रूप में मिलता है: आप "परफेक्ट" स्पर्शोन्मुखी घनत्व $\frac{4}{\pi}\sqrt{N}$ वाला ऐसा पूरक नहीं रख सकते जो ठीक 1 का औसत निरूपण दे।

4. महत्व और प्रभाव

1. सिलरुलुएनो के अनुमान का समाधान (आंशिक): यह शोध पत्र सिलरुलुएनो के इस अनुमान का पुरजोर समर्थन करता है कि $\sum f_r(n) - N$ महत्वपूर्ण रूप से बढ़ता है। विशेष रूप से, यह $r=2$ के लिए एक परिष्कृत बाउंड के साथ और $r \ge 3$ के लिए एक गैर-तुच्छ निचली सीमा के साथ इसे सिद्ध करता है।
2. अस्तित्व संबंधी प्रश्नों का नकारात्मक उत्तर: यह सिद्ध करके कि निरूपणों का योग $N$ से अधिक है (कारक $N^{1-1/r}$ द्वारा), यह शोध पत्र स्पष्ट करता है कि वर्गों के लिए सटीक औसत योगात्मक पूरक मौजूद नहीं हैं। यह रुसा (2001) और बेन ग्रीन (2017) की समस्याओं का नकारात्मक उत्तर देता है।
3. पद्धतिगत प्रगति: योगात्मक पूरक समस्याओं में फोर्ड के मल्टीप्लिकेटिव टेबल परिणामों के सफल अनुप्रयोग ने अनुसंधान के लिए एक नया मार्ग खोल दिया है, जो योगात्मक और गुणात्मक संख्या सिद्धांत को अधिक गहराई से जोड़ता है।
4. इष्टतमता (Optimality): परिणाम बताते हैं कि "सर्वश्रेष्ठ" संभव योगात्मक पूरक (न्यूनतम घनत्व वाले) भी निरूपणों की संख्या में महत्वपूर्ण "अपव्यय" (waste) से ग्रस्त होते हैं, जो उन्हें "सटीक" औसत होने से रोकता है।

संक्षेप में, यह शोध पत्र घातों के योगात्मक पूरकों के घनत्व और निरूपण गणनाओं के बारे में लंबे समय से चले आ रहे प्रश्नों को हल करता है, यह सिद्ध करता है कि वर्गों के लिए पूर्ण दक्षता (सटीक औसत निरूपण) गणितीय रूप से असंभव है और सभी उच्च घातों के लिए मजबूत निचली सीमाएँ स्थापित करता है।