Extremal densities for forbidden configurations in $S$-smooth numbers

यहाँ निकोला वेसेलिनोव के शोध पत्र "Extremal Densities for Forbidden Configurations in S-smooth Numbers" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र $S$-smooth संख्याओं के समूह के भीतर एक चरम संय combination (extremal combinatorial) समस्या की जांच करता है।

• परिभाषाएँ: मान लीजिए $S = \{p_1, \dots, p_r\}$ अलग-अलग अभाज्य संख्याओं (primes) का एक परिमित सेट है ($r \ge 2$)। $S$-smooth संख्याओं का सेट, जिसे $M(S)$ द्वारा दर्शाया गया है, उन सभी पूर्णांकों का समूह है जो $p_1^{a_1} \cdots p_r^{a_r}$ के रूप में होते हैं जहाँ $a_i \ge 0$ है।
• वर्जित विन्यास (The Forbidden Configuration): यह समस्या $M(S) \cap [1, X]$ के एक उपसमुच्चय $A$ के अधिकतम आकार को खोजने की खोज करती है जिसमें $\{n, p_1n, \dots, p_rn\}$ जैसा कोई सेट न हो। घातांक स्थान (exponent space) में, यह एक भारित लैट्टिस सिम्प्लेक्स (weighted lattice simplex) में एक "यूनिट कॉर्नर" $\{a, a+e_1, \dots, a+e_r\}$ से बचने के अनुरूप है।
• मुख्य फलन (Key Functions):
  • $\Psi_S(X)$: $X$ तक की $S$-smooth संख्याओं की गणना करने वाला फलन।
  • $F_S(X)$: वर्जित विन्यास से बचने वाले $M(S) \cap [1, X]$ के एक उपसमुच्चय का अधिकतम आकार।
  • $f_S(k)$: पहले $k$ $S$-smooth संख्याओं के एक उपसमुच्चय का अधिकतम आकार जो विन्यास से बचता है।
  • $G_S(N)$: पूर्ण अंतराल $[1, N]$ (गैर-smooth संख्याओं सहित) पर समतुल्य समस्या।

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

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

• ज्यामितीय मानचित्रण (Geometric Mapping): संबंध: समस्या को गुणात्मक पूर्णांकों (multiplicative integers) से एक भारित लैट्टिस सिम्प्लेक्स $\Sigma_S(u) = \{ (a_1, \dots, a_r) \in \mathbb{Z}_{\ge 0}^r : \sum a_i \log p_i \le u \}$ में मैप किया गया है। वर्जित विन्यास $\{n, p_1n, \dots, p_rn\}$ ठीक से इस लैट्टिस में एक "यूनिट कॉर्नर" के अनुरूप है।
• निम्नतम सीमा (Lower Bound - Modular Coloring): एक कलरिंग तर्क का उपयोग किया जाता है। लेखक $\chi(a) \equiv \sum i a_i \pmod{r+1}$ के माध्यम से $\chi: \mathbb{Z}_{\ge 0}^r \to \mathbb{Z}/(r+1)\mathbb{Z}$ को परिभाषित करते हैं। लेम्मा 3.1 सिद्ध करता है कि प्रत्येक यूनिट कॉर्नर में प्रत्येक रंग का ठीक एक बिंदु होता है। सबसे छोटे कलर क्लास को हटाने से, एक वैध उपसमुच्चय प्राप्त होता है, जो कुल आयतन का $\frac{r}{r+1}$ प्रदान करता है।
• उच्चतम सीमा (Upper Bound - Shift Identity): सेटों के बैकवर्ड शिफ्ट्स (backward shifts) से संबंधित एक पहचान (identity) व्युत्पन्न की गई है। एक सेट $A$ और उसके शिफ्ट्स $A^{(i)}$ के बीच प्रतिच्छेदन का विश्लेषण करके, लेखक $A$ के आकार, सिम्प्लेक्स के आकार और बाउंड्री टर्म्स के बीच एक सटीक संबंध स्थापित करते हैं। यह सिद्ध करता है कि ऊपरी सीमा स्पर्शोन्मुख रूप से (asymptotically) निम्नतम सीमा से मेल खाती है।
• पूर्ण अंतरालों के लिए अपघटन (Decomposition for Full Intervals): $[1, N]$ (गैर-smooth संख्याओं सहित) पर समस्या को हल करने के लिए, लेखक एक अद्वितीय अपघटन $n = md$का उपयोग करते हैं जहाँ$d \in M(S)$और$(m, P_S)=1$है। यह समस्या को अलग-अलग घटकों में विभाजित करने की अनुमति देता है, जो प्रत्येक$S$-smooth समस्या के समरूप (isomorphic) है, जिससे घनत्व स्थिरांक $\alpha_S$ प्राप्त करने में सुविधा होती है।
• पुनरावर्ती गणना (Recursive Computation): पेपर $S$-smooth संख्याओं के "रेसिप्रोकल टेल" (reciprocal tail - $X$ से बड़ी $S$-smooth संख्याओं के व्युत्क्रमों का योग) के लिए पुनरावर्ती सूत्रों का उपयोग घनत्व स्थिरांकों के लिए स्पष्ट सीमाएँ गणना करने हेतु करता है।

3. मुख्य परिणाम (Key Results)

A. $S$-Smooth संख्याओं के लिए स्पर्शोन्मुख सूत्र (Asymptotic Formulas)

Theorem 1.1 चरम फलन के स्पर्शोन्मुख व्यवहार को स्थापित करता है:
$$F_S(X) = \frac{r}{r+1}\Psi_S(X) + O_S((\log X)^{r-1})$$
तदनुसार, पहले $k$ smooth संख्याओं के लिए:
$$f_S(k) = \frac{r}{r+1}k + O_S(k^{(r-1)/r})$$
यह पुष्टि करता है कि $S$-smooth संख्याओं के भीतर एक विन्यास-मुक्त सेट का अधिकतम घनत्व ठीक $\frac{r}{r+1}$ है।

B. पूर्ण अंतराल के लिए घनत्व स्थिरांक (Density Constant)

Corollary 1.2 पूर्ण अंतराल $[1, N]$ पर समस्या को संबोधित करता है। यह एक घनत्व स्थिरांक $\alpha_S$ के अस्तित्व को सिद्ध करता है:
$$G_S(N) = \alpha_S N + O_S((\log N)^r)$$
स्थिरांक को एक अभिसारी श्रेणी (convergent series) के रूप में स्पष्ट रूप से प्रस्तुत किया गया है:
$$\alpha_S = c_S \sum_{k \ge 1} \frac{\Delta f_S(k)}{d_k^{(S)}}$$
जहाँ $c_S = \prod_{p \in S} (1 - 1/p)$, $d_k^{(S)}$ $k$-वीं $S$-smooth संख्या है, और $\Delta f_S(k) \in \{0, 1\}$ यह दर्शाता है कि क्या $k$-वीं smooth संख्या को एक इष्टतम सेट में जोड़ा जा सकता है।

C. गणनीय सीमाएँ (Computable Bounds)

Corollary 1.3 नेस्टेड गणनीय सीमाएँ $L_{S,N} \le \alpha_S \le U_{S,N}$ प्रदान करता है। इन अंतरालों की चौड़ाई $S$-smooth संख्याओं के रेसिप्रोकल टेल द्वारा निर्धारित होती है, जिससे $\alpha_S$ की गणना किसी भी सटीकता तक की जा सकती है।

D. परिमेयता और आवधिकता (Rationality and Periodicity)

Proposition 1.4 परिमेय व्युत्क्रम योगों (rational reciprocal sums) के बारे में एक विरोधाभासी परिणाम प्रस्तुत करता है। यह दिखाता है कि $|S| \ge 2$ के लिए, एक बाइनरी अनुक्रम $(c_k)$ मौजूद है जिससे $\sum c_k / d_k^{(S)}$ परिमेय है, फिर भी अनुक्रम $(c_k)$ अंततः आवधिक (eventually periodic) नहीं है। यह प्रदर्शित करता है कि इस संदर्भ में परिमेयता, मानक बेस-$b$ विस्तार के विपरीत, आवधिकता का संकेत नहीं देती है।

E. शास्त्रीय मामला $S=\{2, 3\}$

3-smooth संख्याओं (avoiding $\{n, 2n, 3n\}$) के विशिष्ट मामले के लिए, पेपर:

• ग्राहम-स्पेंसर-विट्सनहौजन स्थिरांक $\alpha = \alpha_{\{2,3\}}$ को पुनः प्राप्त करता है।
• त्रुटि पद (error term) के लिए एक स्पष्ट टेल फॉर्मूला व्युत्पन्न करता है।
• Proposition 6.2: सिद्ध करता है कि कोई नेस्टेड इष्टतम परिवार (nested optimal family) नहीं है। अर्थात, आप ऐसे सेटों का एक अनुक्रम $A_1 \subset A_2 \subset \dots$ नहीं बना सकते जहाँ $A_k$ पहले $k$ संख्याओं के लिए इष्टतम हो। जैसे-जैसे $k$ बढ़ता है, इष्टतम सेटों की संरचना गैर-एकदिष्ट (non-monotonically) रूप से बदलती है।

4. महत्व और योगदान (Significance and Contributions)

1. स्पर्शोन्मुख समाधान (Resolution of Asymptotics): यह पेपर वर्जित विन्यासों के स्पर्शोन्मुख घनत्व को हल करता है, जो विशिष्ट छोटे अभाज्य सेटों के लिए ज्ञात पिछले परिणामों का सामान्यीकरण करता है।
2. स्पष्ट स्थिरांक (Explicit Constants): यह अस्तित्व प्रमाणों से आगे बढ़कर घनत्व स्थिरांकों की गणना के लिए स्पष्ट श्रेणी प्रतिनिधित्व और पुनरावर्ती एल्गोरिदम प्रदान करता है।
3. संरचनात्मक अंतर्दृष्टि (Structural Insights): यह खोज कि $S=\{2,3\}$ के लिए इष्टतम सेट नेस्टेड परिवार नहीं बनाते हैं, संय combination संख्या सिद्धांत में इष्टतम संरचनाओं की स्थिरता के बारे में सहज धारणाओं को चुनौती देती है।
4. संख्यात्मक संबंध (Number Theoretic Connections): यह कार्य चरम संय combination को smooth संख्याओं के वितरण और व्युत्क्रम योगों के गुणों के साथ जोड़ता है, जो लैट्टिस ज्यामिति और गुणात्मक संख्या सिद्धांत के बीच गहरे संबंधों को प्रकट करता है।
5. गणना ढांचा (Computational Framework): रेसिप्रोकल टेल के लिए पुनरावर्ती सूत्र प्रदान करके, यह पेपर इन घनत्व स्थिरांकों के उच्च-सटीकता वाले संख्यात्मक गणना के लिए एक व्यावहारिक विधि प्रदान करता है, जो पहले कठिन था।

संक्षेप में, वेसेलिनोव का कार्य $S$-smooth संख्याओं के भीतर वर्जित प्रगतियों (progressions) से बचने वाले सेटों के घनत्व को समझने के लिए एक व्यापक ढांचा प्रदान करता है, जो विशिष्ट मामलों के लिए कठोर स्पर्शोन्मुख प्रमाण और गणनीय उपकरण दोनों प्रदान करता है।