Unbounded logarithmic limsup in Erd\H{o}s problem 684

यह शोध पत्र, जिसका शीर्षक "Unbounded Logarithmic Limsup in Erdős Problem 684" है और इसके लेखक जी हो बे (Ji Ho Bae) हैं, कॉम्बिनेटरियल नंबर थ्योरी (combinatorial number theory) में एक लंबे समय से चले आ रहे अनुमान (conjecture) का निर्णायक नकारात्मक उत्तर प्रदान करता है। यह सिद्ध करता है कि फलन $f(n)$—जो कि वह न्यूनतम $k$ है जिसके लिए $\binom{n}{k}$ का $k$-smooth भाग $n^2$ से अधिक हो जाता है—किसी भी स्थिरांक (constant) $C$ के लिए $C \log n$ द्वारा सीमित नहीं किया जा सकता है।

नीचे इस कार्य का विस्तृत तकनीकी सारांश दिया गया है।

---

1. समस्या: एर्दोश समस्या 684 (Erdős Problem 684)

यह पत्र पॉल एर्दोश द्वारा द्विपद गुणांकों (binomial coefficients) के अभाज्य गुणनखंडन (prime factorization) के संबंध में रखी गई एक समस्या को संबोधित करता है। किसी भी $0 \leq k \leq n$ के लिए, द्विपद गुणांक $\binom{n}{k}$ को इस प्रकार विभाजित किया जा सकता है:
$$\binom{n}{k} = u_k(n) v_k(n)$$
जहाँ $u_k(n)$ एक $k$-smooth भाग है (सभी अभाज्य गुणनखंड $\leq k$) और $v_k(n)$ उन अभाज्य गुणनखंडों वाला भाग है जो $k$ से बड़े हैं।

एर्दोश समस्या 684 फलन $f(n)$ की विकास दर (growth rate) के बारे में पूछती है, जिसे न्यूनतम $k$ के रूप में परिभाषित किया गया है ताकि $u_k(n) > n^2$ हो सके। जबकि यह व्यापक रूप से अनुमानित था कि $f(n) \ll \log n$, बे (Bae) सिद्ध करते हैं कि:
$$\limsup_{n \to \infty} \frac{f(n)}{\log n} = \infty$$

2. कार्यप्रणाली: निर्माण (The Construction)

लेखक एक परिष्कृत "शॉर्ट-मल्टीप्लायर" (short-multiplier) निर्माण का उपयोग उन पूर्णांकों को बनाने के लिए करते हैं जहाँ $k$ के अपेक्षाकृत बड़े मानों के लिए भी $u_k(n)$ छोटा बना रहता है।

A. कुमेर का प्रमेय (Kummer’s Theorem) और कैरी-फ्री अवशेष (Carry-Free Residues)

मुख्य विचार कुमेर के प्रमेय पर आधारित है, जो आधार $p$ में $k$ और $n-k$ को जोड़ने में होने वाले 'कैरी' (carry) की संख्या को $\binom{n}{k}$ को विभाजित करने वाले अभाज्य $p$ की घात से जोड़ता है।
लेखक एक मल्टीप्लायर $t$ और लघुत्तम समापवर्त्य (least common multiple) $L_M = \text{lcm}(1, \dots, M)$ का उपयोग करके $n$ का निर्माण करते हैं:
$$n = t L_M - 1$$
$t$ को सावधानीपूर्वक चुनकर, लेखक यह सुनिश्चित करते हैं कि सभी अभाज्य $p \leq M$ के लिए, जोड़ निम्न अभाज्य-घात स्तरों पर "कैरी-मुक्त" (carry-free) रहे। इससे $u_k(n)$ को छोटा रखने में मदद मिलती है। जब $k > M$ हो, तब $u_k(n)$ को बहुत अधिक बढ़ने से रोकने के लिए, $t$ को विशिष्ट "अपर-टेल" (upper-tail) अवशेष शर्तों को संतुष्ट करना आवश्यक बनाया गया है।

B. QM-बॉक्स और फूरियर रिडक्शन (The QM-Box and Fourier Reduction)

ऐसे मल्टीप्लायर $t$ के अस्तित्व को सिद्ध करने के लिए, समस्या को एक सीव समस्या (sieve problem) में परिवर्तित किया जाता है। लेखक निम्नलिखित को पेश करते हैं:

• $Q_M$-बॉक्स सूत्रीकरण: $Q_M = M!/L_M$ का उपयोग करके अवशेष वर्गों (residue classes) को पैरामीट्राइज़ करने का एक तरीका।
• फूरियर रिडक्शन: $t$ का अस्तित्व एक आवश्यकता में बदल जाता है कि एक निश्चित फूरियर गुणांकों का योग छोटा होना चाहिए।
• एक्सैक्ट डिनोमिनेटर लेम्मा (Exact Denominator Lemma): इसका उपयोग फूरियर विस्तार में "लो-डिनोमिनेटर" मोड को छाँटने के लिए किया जाता है, जिससे लेखक केवल "हाई-डिनोमिनेटर" टॉप-बैंड आवृत्तियों (frequencies) पर ध्यान केंद्रित कर पाते हैं।

C. डायडिक लोकलाइजेशन और "पेटल" शेल (Dyadic Localization and the "Petal" Shell)

कार्यप्रणाली का सबसे तकनीकी हिस्सा एक "डायडिक प्रोडक्ट-शेल" (dyadic product-shell) तक समस्या को स्थानीयकृत करने से संबंधित है। लेखक उन पूर्णांकों पर ध्यान केंद्रित करते हैं जो एक विशिष्ट डायडिक रेंज $(M, CM]$के भीतर अभाज्य संख्याओं की एक विशिष्ट संख्या ($a$ अभाज्य) के उत्पाद हैं। इसे "पेटल" (petal) संरचना कहा जाता है।

3. मुख्य योगदान और विश्लेषणात्मक इनपुट

इस पत्र की सफलता एक कॉम्बिनेटरियल निर्माण को गहरे विश्लेषणात्मक संख्या सिद्धांत (analytic number theory) के साथ जोड़ने पर टिकी है।

• तिमोफीव की विधि (Timofeev’s Method): लेखक तिमोफीव की "लार्ज-$\Omega$ मीन-इन-प्रोग्रेशन" विधि का उपयोग और स्थानीयकरण करते हैं। यह विधि अंकगणितीय प्रगतियों (arithmetic progressions) में कई अभाज्य गुणनखंडों वाले पूर्णांकों के वितरण के लिए अनुमान प्रदान करती है।
• स्थानीयकृत डायडिक अनुमान (Localized Dyadic Estimates): लेखक तिमोफीव के वैश्विक परिणामों को एक बहुत ही पतली, स्थानीयकृत सेट (एक विशिष्ट डायडिक अंतराल में निश्चित संख्या में अभाज्य गुणनखंडों वाले वर्गमुक्त पूर्णांक) के अनुकूल बनाने के लिए कई नए लेम्मा (विशेष रूप से प्रपोजिशन 6 और लेम्मा 7) सिद्ध करते हैं।
• हारमोनिक-हाइट कैप (The Harmonic-Height Cap): लेखक सिद्ध करते हैं कि "हाइट्स" (अवशेषों के मान) इस तरह वितरित होते हैं कि वे इस तरह क्लस्टर (cluster) नहीं होते जो अप्रत्याशित 'कैरी' पैदा कर सकें, जिससे स्मूथ भाग की वृद्धि प्रभावी रूप से "कैप" (cap) हो जाती है।

4. परिणाम

यह पत्र दो प्राथमिक गणितीय परिणाम प्रस्तुत करता है:

1. प्रति-उदाहरणों का अस्तित्व (Existence of Counterexamples): किसी भी निश्चित $C > 1$ के लिए, ऐसे अनंत $n$ मौजूद हैं जहाँ $f(n) > (C - o(1)) \log n$ है।
2. अनबाउंडेडनेस (Unboundedness): जैसे-जैसे $n \to \infty$ होता है, अनुपात $\frac{f(n)}{\log n}$ अनबाउंडेड (unbounded) है।

5. महत्व

यह पत्र कई कारणों से महत्वपूर्ण है:

• एक अनुमान का समाधान: यह द्विपद गुणांकों और अभाज्य वितरण के अध्ययन में एक विशिष्ट, लंबे समय से चले आ रहे प्रश्न को सुलझाता है।
• पद्धतिगत नवाचार (Methodological Innovation): "शॉर्ट-मल्टीप्लायर" निर्माण और "QM-बॉक्स" रिडक्शन उन समस्याओं को संभालने के लिए एक नया टूलकिट प्रदान करते जहाँ एक साथ कई अभाज्य आधारों (prime bases) में 'कैरी' को नियंत्रित करने की आवश्यकता होती है।
• विश्लेषणात्मक उपकरणों का परिशोधन: तिमोफीव की विधि का सफल स्थानीयकरण यह दर्शाता है कि कैसे $\Omega(n)$ के वितरण के वैश्विक परिणामों को अत्यंत पतली अंकगणितीय शैल (arithmetic shells) में "निचोड़ा" जा सकता है, एक ऐसी तकनीक जो संभाव्य संख्या सिद्धांत (probabilistic number theory) के अन्य प्रश्नों पर भी लागू हो सकती है।