Resolution of Erdős Problem #728: a writeup of Aristotle's Lean proof

तकनीकी सारांश: एर्दोश समस्या #728 का समाधान

समस्या विवरण
यह शोध पत्र एर्दोश समस्या #728 के समाधान पर केंद्रित है, जो फैक्टोरियल विभाज्यता (factorial divisibility) के अंतर्गत अंतराल $k := a + b - n$ के अधिकतम संभव आकार की जांच करता है:
$$a! b! \mid n! (a + b - n)!$$
अतिरिक्त बाधाओं के बिना, इस स्थिति में $k$ के अत्यंत बड़े मान वाले सामान्य समाधान मौजूद हैं (उदाहरण के लिए, $a$ और $b$ को बहुत बड़ा लेकर)। समस्या को गैर-तुच्छ (non-trivial) बनाने के लिए, लेखक यह शर्त लागू करते हैं कि $a$ और $b$ चरम सीमाओं से दूर हों, विशेष रूप से $\varepsilon n \le a, b \le (1-\varepsilon)n$ जहाँ $0 < \varepsilon < 1/2$ है। लक्ष्य यह निर्धारित करना है कि इन बाधाओं के तहत $k$ का मान $n$ के सापेक्ष कितना बड़ा हो सकता है।

कार्यप्रणाली और प्रमाण रणनीति
प्रमाण फैक्टोरियल विभाज्यता की स्थिति को द्विपद गुणांकों (binomial coefficients) और $p$-एडिक मूल्यांकन (p-adic valuations) की समस्या में बदलकर आगे बढ़ता है।

1. द्विपद विभाज्यता में न्यूनीकरण (Reduction to Binomial Divisibility):
   $n = 2m$, $b = m$, और $a = m + k$ रखकर, मूल स्थिति इसके समतुल्य है:
   $$\binom{m+k}{k} \mid \binom{2m}{m}$$
   इसके लिए यह दिखाना आवश्यक है कि प्रत्येक अभाज्य संख्या $p$ के लिए, बाएँ पक्ष का $p$-एडिक मूल्यांकन दाएँ पक्ष के $p$-एडिक मूल्यांकन से कम या उसके बराबर है:
   $$\nu_p\left(\binom{m+k}{k}\right) \le \nu_p\left(\binom{2m}{m}\right)$$

2. कुमेर के प्रमेय द्वारा मूल्यांकन विश्लेषण (Valuation Analysis via Kummer's Theorem):
   कुमेर के प्रमेय का उपयोग करते हुए, $\nu_p\left(\binom{2m}{m}\right)$ को आधार $p$ में $m + m$ को जोड़ने पर होने वाले 'कैरी' (carries) की संख्या के रूप में पहचाना गया है। $\nu_p\left(\binom{m+k}{k}\right)$ को क्रमागत ब्लॉक $m+1, \dots, m+k$ के किसी भी पद के अधिकतम मूल्यांकन द्वारा सीमित किया गया है, जिसे $V_p(m, k)$ कहा गया है। मुख्य असमानता जिसे संतुष्ट करना है वह है:
   $$V_p(m, k) \le \kappa_p(m)$$
   जहाँ $\kappa_p(m)$, आधार $p$ में $m+m$ के लिए कैरी की संख्या है।

3. अभाज्य-दर-अभाज्य विश्लेषण (Prime-by-Prime Analysis):
   लेखक $k$ के सापेक्ष अभाज्य $p$ के आकार के आधार पर विश्लेषण को दो श्रेणियों में विभाजित करते हैं:

   • बड़े अभाज्य ($p > 2k$): इस सीमा में, असमानता स्वतः ही संतुष्ट हो जाती है। चूंकि अंतराल की लंबाई $k$, $p/2$ से छोटी है, इसलिए ब्लॉक $m+1, \dots, m+k$ में केवल एक ही संख्या $p$ से विभाज्य हो सकती है। यदि कोई उच्च घात $p^J$ किसी पद को विभाजित करती है, तो $m$ के आधार-$p$ अंक $m$ को दोगुना करने पर कम से कम $J$ कैरी सुनिश्चित करते हैं, जिससे शर्त पूरी होती है।
   • छोटे अभाज्य ($p \le 2k$): यह मुख्य कठिनाई है। लेखक एक संभाव्य गणना तर्क (probabilistic counting argument) का उपयोग करते हैं ताकि एक बड़े अंतराल $[M, 2M]$ में एक ऐसा पूर्णांक $m$ खोजा जा सके जो सभी $p \le 2k$ के लिए साथ में दो शर्तों को पूरा करता हो:
     • कैरी-रिच (Carry-Rich): $m$ का आधार-$p$ विस्तार पहले $L_p$ स्थानों में कई अंक $\ge \lceil p/2 \rceil$ रखता है। यह $m$ को दोगुना करने पर उच्च संख्या में कैरी सुनिश्चित करता है।
     • स्पाइक-फ्री (Spike-Free): ब्लॉक $m+1, \dots, m+k$ में कोई भी पूर्णांक $p$ की असामान्य रूप से उच्च घात से विभाज्य नहीं है (विशेष रूप से, $V_p(m, k)$ को $J_p + t(M)$ से नीचे रखा गया है)।

4. यूनियन बाउंड के माध्यम से अस्तित्व (Existence via Union Bound):
   लेखक उन पूर्णांकों के "खराब" (bad) सेटों को परिभाषित करते हैं जो या तो कैरी की शर्त या स्पाइक की शर्त को विफल करते हैं। बड़े अंकों के वितरण के लिए चेरनोफ बाउंड (Chernoff bounds) और स्पाइक की स्थिति के लिए सरल गणना का उपयोग करते हुए, वे दिखाते हैं कि इन खराब सेटों का कुल माप अंतराल $[M, 2M]$ के आकार से कम है। फलस्वरूप, एक "अच्छा" $m$ अस्तित्व में आता है जो सभी प्रासंगिक अभाज्य संख्याओं के लिए एक साथ विभाज्यता की शर्त को पूरा करता है।

मुख्य परिणाम
यह शोध पत्र प्रमेय 1 (लॉगारिदमिक गैप विंडो) स्थापित करता है:
किसी भी स्थिरांक $0 < C_1 < C_2$ और $0 < \varepsilon < 1/2$ के लिए, अनंत त्रिक $(a, b, n) \in \mathbb{N}^3$ मौजूद हैं कि:

1. $\varepsilon n \le a, b \le (1-\varepsilon)n$
2. $a! b! \mid n! (a + b - n)!$
3. $C_1 \log n < a + b - n < C_2 \log n$

यह निर्माण एक अंतराल $k$ प्रदान करता है जो $n$ के साथ लघुगणकीय (logarithmically) रूप से बढ़ता है। लेखक नोट करते हैं कि वर्तमान प्रमाण $k \asymp \log n$ देता है, लेकिन विधि को और अधिक परिष्कृत करके $k = \exp(c\sqrt{\log n})$ तक विस्तारित किया जा सकता है, हालांकि वर्तमान लेखन लघुगणकीय शासन (logarithmic regime) पर केंद्रित है।

महत्व और दावे

• प्रथम AI-द्वारा हल की गई एर्दोश समस्या: लेखक दावा करते हैं कि यह पहली एर्दोश समस्या है जिसे "पूरी तरह से स्वायत्त रूप से एक AI प्रणाली द्वारा हल किया गया है।" प्रयुक्त प्रणाली GPT-5.2 Pro और हार्मोनिक के थ्योरम प्रूवर "अरस्तू" (Aristotle) का एक संयोजन थी।
• औपचारिक सत्यापन (Formal Verification): प्रमाण को लीन (Lean) थ्योरम प्रूवर में एक औपचारिक प्रमाण के रूप में उत्पन्न किया गया था और बाद में इसे इस लेखन में प्रस्तुत अनौपचारिक गणित में अनुवादित किया गया।
• पद्धतिगत योगदान: यह कार्य केंद्रीय द्विपद गुणांकों के विभाजकों के संबंध में एर्दोश और पोमरेंस की पिछली तकनीकों का विस्तार करता है। "कैरी-पुअर" (कम कैरी वाले) पूर्णांकों या निश्चित अंतराल के आकार पर ध्यान केंद्रित करने वाले पिछले कार्यों के विपरीत, यह प्रमाण $k \asymp \log n$ के बढ़ते आकार के लिए "कैरी-रिच" पूर्णांकों का निर्माण करता है।
• स्वतंत्रता: लेखक नोट करते हैं कि उनके प्रारंभिक कार्य के बाद, कार्ल पोमरेंस ने स्वतंत्र रूप से समान परिणाम प्राप्त किए, और एर्दोश समस्याओं #729 और #401 को हल करने के लिए इस तर्क के संशोधनों का उपयोग किया गया था।

यह शोध पत्र यह दावा नहीं करता है कि इसने समस्या को इसके सबसे सशक्त संभव रूप में हल किया है (अधिक बड़े अंतराल की संभावना को देखते हुए), बल्कि यह एर्दोश द्वारा पूछे गए विशिष्ट लघुगणकीय अंतराल प्रश्न के सफल समाधान का दावा करता है।