Power and rank-weighted sums in dense finite Sidon sets

तकनीकी सारांश: सघन परिमित सिडन समुच्चयों (Dense Finite Sidon Sets) में घात और रैंक-भारित योग

समस्या विवरण
यह शोध पत्र अंकगणितीय प्रगति (arithmetic progressions) और अवशेष वर्गों (residue classes) के भीतर सघन परिमित सिडन समुच्चयों $S \subset \{1, 2, \dots, n\}$ के वितरण को संबोधित करता है। एक समुच्चय $S$ तब 'सिडन' कहलाता है जब सभी युग्म योग $a+b$ (अक्रमित युग्मों के लिए) भिन्न होते हैं। केंद्रीय समस्या विशिष्ट अवशेष वर्गों $a \equiv r \pmod m$ के भीतर घात योगों $\sum_{a \in S} a^\ell$ और रैंक-भारित योगों $\sum_{i} i^s a_i^\ell$ के लिए बिना शर्त (unconditional) अनंतस्पर्शी सूत्र (asymptotic formulae) स्थापित करना है।

लेखक के पूर्व कार्य [4] ने एक परिकल्पना पर निर्भर करते हुए इन्हें सशर्त (conditionally) रूप से स्थापित किया था, जो लंबी टर्मिनल श्रेणियों में $|S \cap [1, k]|$ के निम्नतम मान (lower bound) के संबंध में थी। जैसा कि बालासुब्रमण्यम और दत्ता [1] द्वारा उल्लेख किया गया है, यह स्थिति सघन सिडन समुच्चयों के अपेक्षित वितरण के साथ शायद ही कभी संगत होती है। इस शोध पत्र का लक्ष्य निश्चित घात योगों और उनके सामान्यीकरणों के लिए इस सशर्त परिकल्पना को हटाकर एक बिना शर्त प्रमाण प्रदान करना है।

कार्यप्रणाली
इस कार्य में प्राथमिक पद्धतिगत परिवर्तन सशर्त घनत्व धारणाओं के स्थान पर चरम सिडन समुच्चयों की फूरियर एकरूपता (Fourier uniformity of extremal Sidon sets) का उपयोग करना है, जो ओर्टेगा और प्रेंडिविल [10] द्वारा स्थापित एक परिणाम है।

1. फूरियर एकरूपता: प्रमाण सिडन समुच्चय के संकेतक फलन (indicator function) के फूरियर रूपांतरण के अनुमान का लाभ उठाता है, विशेष रूप से $\|\widehat{1_S} - \frac{|S|}{n}\widehat{1_{[1,n]}}\|_\infty \ll \Phi(S, n)$, जहाँ $\Phi(S, n)$ आकार $n^{1/2}$ से $|S|$ के विचलन को मापता है।
2. एबेल योग (Abel Summation) और ऑर्थोगोनैलिटी: लेखक परिमित अंकगणितीय प्रगति में $S$ के विसंगति (discrepancy) का अनुमान लगाने के लिए फूरियर ऑर्थोगोनैलिटी का उपयोग करते हैं। अंकगणितीय प्रगति के फूरियर रूपांतरण के मानक अनुमानों के साथ फूरियर एकरूपता सीमा को जोड़कर, वे किसी भी प्रगति में तत्वों की गणना के लिए एक समान त्रुटि पद (uniform error term) प्राप्त करते हैं।
3. भारित योग (Weighted Summation): रैंक-भारित योगों के लिए (जहाँ तत्वों को उनके सूचकांक $i^s$ द्वारा भारित किया जाता है), लेखक सूचकांक $i$ को गणन फलन (counting function) के माध्यम से $a_i$ से जोड़ते हैं। विसंगति अनुमान का उपयोग करते हुए, वे $i \approx \frac{|S|}{n}a_i$ के रूप में $i$ का अनुमान लगाते हैं और एकरूप वितरण गुण को भारित योगों पर लागू करने के लिए एबेल योग का उपयोग करते हैं।
4. 'लगभग-सभी' (Almost-All) परिणाम: त्रुटि पदों में सुधार के लिए, यह शोध पत्र हीथ-ब्राउन [7] द्वारा दिए गए बड़े-अभाज्य-अंतराल (large-prime-gap) अनुमान को शामिल करता है, जिसका उपयोग बालासुब्रमण्यम और दत्ता [1] द्वारा पहले किया गया था। यह अधिकांश पूर्णांकों $n$ के लिए आकार दोष (size defect) $|S| - n^{1/2}$ पर एक तीक्ष्ण (sharper) सीमा प्राप्त करने की अनुमति देता है।

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

• बिना शर्त अवशेष-वर्ग अनंतस्पर्शी (प्रमेय 1 और सह-प्रमेय 2): यह शोध पत्र सिद्ध करता है कि किसी भी परिमित अंकगणितीय प्रगति $P \subset [1, n]$ के लिए, घातों का योग $\sum_{a \in S \cap P} a^\ell$ इस प्रकार संतुष्ट होता है:
  $$\sum_{a \in S \cap P} a^\ell = \frac{|S|}{n} \sum_{a \in P} a^\ell + O(n^\ell \Phi(S, n) \log(2n))$$
  यह परिणाम बिना किसी शर्त के मान्य है, जिससे पिछले विशिष्ट वितरण परिकल्पनाओं पर निर्भरता समाप्त हो जाती है।

• अधिकतम सिडन समुच्चय (सह-प्रमेय 3): एक अधिकतम सिडन समुच्चय जहाँ $|S| = S_n = n^{1/2} + O(n^{21/80})$ है, के लिए, यह शोध पत्र अवशेष वर्गों के लिए विशिष्ट अनंतस्पर्शी व्युत्पन्न करता है:
  $$\sum_{\substack{a \in S \\ a \equiv r \pmod m}} a^\ell = \frac{1}{m(\ell+1)} n^{\ell+1/2} + O(n^{\ell+61/160} \log n)$$
  यह विशेष रूप से लेखक के पिछले कार्य [4] में पूछे गए खुले प्रश्न का उत्तर देता है कि क्या अतिरिक्त शर्तों के बिना अवशेष-वर्ग सूत्र वैध है।

• रैंक-भारित योग (प्रमेय 4 और सह-प्रमेय 5): परिणामों को तत्व के रैंक ($i^s a_i^\ell$) द्वारा भारित योगों के लिए सामान्यीकृत किया गया है। एक सिडन समुच्चय $S = \{a_1 < \dots < a_t\}$ के लिए, शोध पत्र स्थापित करता है:
  $$\sum_{\substack{1 \le i \le t \\ a_i \in I \\ a_i \equiv r \pmod m}} i^s a_i^\ell = \frac{t^{s+1}}{n^{s+1}} \sum_{\substack{a \in I \\ a \equiv r \pmod m}} a^{s+\ell} + O(t^s n^\ell \Phi(S, n) \log(2n))$$
  अधिकतम समुच्चयों के लिए, यह $O(n^{\ell+s/2+61/160} \log n)$ का त्रुटि पद देता है।

• 'लगभग-सभी' सुधार (प्रमेय 6): फूरियर एकरूपता दृष्टिकोण को हीथ-ब्राउन के प्राइम-गैप अनुमानों के साथ जोड़कर, शोध पत्र दिखाता है कि $n \le N$ के लिए $O(N^{4/5+\varepsilon})$ पूर्णांकों को छोड़कर, अधिकतम सिडन समुच्चयों के लिए त्रुटि पद को तीक्ष्ण करके प्राप्त किया जा सकता है:
  $$O(n^{\ell+s/2+3/8} \log n)$$
  यह "लगभग-सभी" मामले के लिए पिछले साहित्य में पाए गए त्रुटि पदों में सुधार करता है।

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

1. सशर्त परिकल्पनाओं को हटाना: यह $[4]$ से खुले प्रश्न को हल करता है, जो $|S \cap [1, k]|$ के वितरण पर प्रतिबंधात्मक स्थिति के बिना अनंतस्पर्शी सूत्र सिद्ध करके इसे पूर्ण करता है।
2. एकीकरण: यह प्रदर्शित करता है कि दोनों मानक घात योग और अधिक जटिल रैंक-भारित योग एक ही अंतर्निहित सिद्धांत द्वारा नियंत्रित होते हैं: परिमित अंकगणितीय प्रगति पर सिडन समुच्चय की फूरियर एकरूपता (विसंगति)।
3. पद्धतिगत स्पष्टता: लेखक नोट करते हैं कि यद्यपि ओर्टेगा और प्रेंडिविल के फूरियर एकरूपता परिणामों को देखते हुए प्रमाण अत्यधिक कठिन नहीं हैं, लेकिन इन परिणामों और भारित योगों के अवशेष वर्गों से संबंधित विशिष्ट समस्या के बीच का संबंध तुरंत स्पष्ट नहीं था।

लेखक स्पष्ट रूप से कहते हैं कि प्रमाण चरम सिडन समुच्चयों (ओर्टेगा और प्रेंडिविल [10]) की फूरियर एकरूपता और "लगभग-सभी" परिणामों के लिए हीथ-ब्राउन [7] के प्राइम-गैप अनुमानों पर निर्भर करते हैं। यह शोध पत्र नए अनुप्रयोगों या भविष्य की प्रायोगिक दिशाओं का प्रस्ताव नहीं करता है बल्कि सिडन समुच्चयों के वितरण की सैद्धांतिक समझ को परिष्कृत करने पर केंद्रित है। लेखक यह भी प्रकट करते हैं कि ओर्टेगा और प्रेंडिविल के परिणामों की प्रयोज्यता की पहचान करने और रैंक-भारित योगों तथा 'लगभग-सभी' प्रमेयों के सामान्यीकरण को तैयार करने में OpenAI Codex ने सहायता की, हालांकि लेखक अपने प्रमाणों के लिए पूर्ण रूप से उत्तरदायी हैं।