A sharp 5/8 bound for an Erd\H{o}s-Sós pairwise-sums problem

तकनीकी सारांश: अर्दोस-सोस (Erdős–Sós) युग्म-योग समस्या के लिए एक तीक्ष्ण 5/8 की सीमा

समस्या विवरण
यह शोध पत्र युग्म-योगों से संबंधित अर्दोस-सोस अनुमान (Erdős–Sós conjecture) के एक विशिष्ट मामले को संबोधित करता है। मान लीजिए कि $f_3(N)$ वह न्यूनतम पूर्णांक है जिससे यह सुनिश्चित होता है कि $\{1, \dots, N\}$ का प्रत्येक उपसमुच्चय $A \subseteq \{1, \dots, N\}$, जिसमें $|A| \geq f_3(N)$ है, उसमें तीन भिन्न तत्व $a, b, c \in A$ मौजूद हैं, जो इस शर्त को पूरा करते हैं कि उनके युग्म योग $a+b$, $a+c$, और $b+c$ सभी $A$ के भीतर निहित हैं। ऐसे सेट को "युग्म-योग त्रिक-मुक्त" (pairwise-sum triple-free) कहा जाता है यदि उसमें ऐसा कोई त्रिक मौजूद न हो। मुख्य समस्या $f_3(N)$ के स्पर्शोन्मुखी व्यवहार (asymptotic behavior) को निर्धारित करना है।

इस कार्य से पूर्व, एक मानक निर्माण $A = [\frac{N}{8}, \frac{N}{4}] \cup [\frac{N}{2}, N]$ ने यह प्रदर्शित किया था कि $f_3(N) \geq \frac{5}{8}N + O(1)$ है। इस शोध पत्र का लक्ष्य इस मिलान वाली ऊपरी सीमा (upper bound) को सिद्ध करना है, जिससे अर्दोस समस्या 865 का समाधान हो सके और सटीक स्पर्शोन्मुखी स्थिरांक (asymptotic constant) स्थापित हो सके।

कार्यप्रणाली (Methodology)
प्रमाण स्व-निहित (self-contained) है और यह कॉम्बिनेटरियल इंडक्शन (combinatorial induction), योगात्मक संख्या सिद्धांत (additive number theory), और एक "फोल्डिंग" (folding) तकनीक के संयोजन पर निर्भर करता है। कार्यप्रणाली निम्नलिखित प्रमुख चरणों के माध्यम से आगे बढ़ती है:

1. फोल्डेड एडिटिव लेम्मा (Lemma 2.1):
   लेखक पहले एक "फोल्डेड" अंतराल पर एक लेम्मा स्थापित करते हैं। $B \subseteq \{1, \dots, m-1\}$ के एक सेट के लिए, जहाँ कोई भी भिन्न युग्म $m$ या $m$ के मॉड्यूल में $B$ के किसी अन्य तत्व के बराबर योग नहीं करता है, यह लेम्मा $B$ के आकार को "टकरावों" (collisions) के सेट $C(B)$ के सापेक्ष सीमित करता है। विशेष रूप से, यह सिद्ध करता है कि $|B| - |C(B)| \leq \frac{m}{4} + 2$ है। प्रमाण परावर्तन समरूपता (reflection symmetry: $B \to -B$) और $|B|$ पर एक इंडक्टिव तर्क का उपयोग करता है, जो दो सबसे छोटे तत्वों के योग के $C(B)$ में होने या न होने के मामलों का विश्लेषण करता है।

2. फोल्डिंग लेम्मा (Lemma 3.1):
   लेखक एक धुरी तत्व (pivot element) $h \in A$ के चारों ओर एक "फोल्डिंग" ऑपरेशन पेश करते हैं। सेट $A$ को $h$ से छोटे तत्वों ($X$) और उन तत्वों के रूप में जो $h+r$ के रूप में हैं जहाँ $r < h$ ($Y$), में विभाजित करके, वे $B_h = X \cap Y$ के प्रतिच्छेदन की संरचना के संबंध में $|A|$ के आकार को जोड़ते हैं। लेम्मा यह प्रदर्शित करता है कि यदि $A$ त्रिक-मुक्त है, तो $|X| + |Y|$ का योग $\frac{5}{4}h - |E \setminus C(B_h)| + 1$ द्वारा सीमित है, जहाँ $E$ अंतराल $[1, h-1]$ में "अंतरालों" (gaps) का प्रतिनिधित्व करता है। यह चरण वैश्विक सेट के आकार को $h$ के मॉड्यूल में स्थानीय योगात्मक गुणों के विश्लेषण में बदलने के समस्या को प्रभावी ढंग से कम करता है।

3. इंडक्टिव अपर बाउंड (Section 4):
   मुख्य प्रमेय को $H$ (जहाँ $N=2H$) पर स्ट्रॉन्ग इंडक्शन (strong induction) द्वारा सिद्ध किया जाता है। प्रमाण अंतराल के निचले आधे भाग के सबसे बड़े तत्व और ऊपरी आधे भाग के सबसे छोटे तत्व के बीच के अंतर के आधार पर दो मामलों में विभाजित होता है:

• केस 1 ($s \leq 4e$): सेट को धुरी $h = q$ (ऊपरी आधे भाग में सबसे छोटा तत्व) के चारों ओर फोल्ड किया जाता है। लेखक दिखाते हैं कि $A$ के निचले और ऊपरी भागों के बीच का अंतराल पर्याप्त संख्या में "लुप्त" तत्वों ($|E \setminus C(B_h)|$) को मजबूर करता है ताकि सीमा संतुष्ट हो सके।
• केस 2 ($s > 4e$): सेट को धुरी $h = p$ (निचले आधे भाग में सबसे बड़ा तत्व) के चारों ओर फोल्ड किया जाता है। यहाँ, बड़ा अंतराल यह संकेत देता है कि सेट का निचला हिस्सा विरल (sparse) है। लेखक निचले खंड पर इंडक्शन हाइपोथेसिस लागू करते हैं और इस निष्कर्ष को फोल्डिंग लेम्मा के साथ जोड़कर सीमा प्राप्त करते हैं।

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

• तीक्ष्ण ऊपरी सीमा (Sharp Upper Bound): यह शोध पत्र सिद्ध करता है कि सभी $N$ के लिए, प्रत्येक उपसमुच्चय $A \subseteq [1, N]$ जिसमें $|A| \geq \frac{5}{8}N + C$ (किसी पूर्ण स्थिरांक $C$ के लिए) है, उसमें एक युग्म-योग त्रिक मौजूद होता है।
• एर्दोस समस्या 865 का समाधान: मौजूदा निचली-सीमा निर्माण के साथ इस नए ऊपरी बाउंड को जोड़कर, यह शोध पत्र स्थापित करता है कि $f_3(N) = \frac{5}{8}N + O(1)$ है। यह पुष्टि करता है कि स्थिरांक $5/8$ सर्वोत्तम संभव है।
• औपचारिकीकरण (Formalization): लेखक नोट करते है कि एक मोटे बाउंड से तीक्ष्ण बाउंड तक की कमी के एक पूर्ववर्ती सशर्त संस्करण को Lean 4/Mathlib में औपचारिक रूप दिया गया है। यह औपचारिकीकरण बिना किसी "sorries" (प्लेसहोल्डर) और बिना किसी अतिरिक्त एक्सिओम के किया गया है, जो न्यूनीकरण चरणों की तार्किक वैधता को सत्यापित करता है।
• परिष्कृत अनुमान: शोध पत्र में स्टाइन कैम्बी (Stijn Cambie) द्वारा सुझाए गए विशिष्ट $N \pmod 8$ के लिए सटीक अधिकतम आकार के संबंध में एक तीक्ष्ण अनुमानित सूत्र का उल्लेख किया गया है, हालांकि प्राथमिक परिणाम अभी भी स्पर्शोन्मुखी $5/8$ बाउंड ही है।

महत्व
यह शोध पत्र $5/8$ की तीक्ष्ण सीमा के स्व-निहित प्रमाण प्रदान करके अर्दोस समस्या 865 को हल करने का दावा करता है। इसका महत्व इस तथ्य में निहित है कि यह ज्ञात निर्माण और इस विशिष्ट युग्म-योग समस्या के लिए सैद्धांतिक ऊपरी सीमा के बीच के अंतर को पाटता है। यह कार्य एक पूर्ण गणितीय प्रमाण के रूप में प्रस्तुत किया गया है, जिसमें Lean में एक औपचारिक न्यूनीकरण के साथ अतिरिक्त कठोरता जोड़ी गई है, जो अनवेरिफाइड धारणाओं पर निर्भर किए बिना कॉम्बिनेटरियल तर्कों की वैधता सुनिश्चित करती है। लेखक स्पष्ट रूप से कहते हैं कि प्रमाण स्व-निहित है और सभी अंतर्निहित स्थिरांक पूर्ण (absolute) हैं।