🔢 mathematics

Inhomogeneous Approximation by Sums of Roots

यह शोध पत्र स्थापित करता है कि किसी भी वास्तविक $\beta$ और $\epsilon>0$ के लिए, $N$ तक के पूर्णांकों के $k$ $d$ -वें मूलों के योग, श्मिट के सबस्पेस प्रमेय (Schmidt's Subspace Theorem) को एक विषम समांतर स्थानांतरण तर्क (inhomogeneous transference argument) के साथ संयोजित करके, $O(N^{-k/d+\epsilon})$ के त्रुटि आबंध के साथ $\beta$ का सन्निकटन कर सकते हैं, जो पिछले घातांकों में महत्वपूर्ण सुधार करता है, जबकि वर्ग-मूल के मामले के लिए स्पष्ट निर्माण भी प्रदान करता है।

मूल लेखक: Samuel Korsky

प्रकाशित 2026-05-27

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Samuel Korsky

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप दीवार पर एक चलते हुए लक्ष्य को डार्ट से मारने की कोशिश कर रहे हैं, लेकिन आपके पास नियमों का एक बहुत ही अजीब सेट है।

खेल
आपके पास एक लक्ष्य संख्या है, जिसे हम $\beta$ (बीटा) कहेंगे। यह संख्या रेखा पर कोई भी संख्या हो सकती है, जैसे 3.14 या 100.5। आपका लक्ष्य इस लक्ष्य तक यथासंभव करीब पहुँचना है, और इसके लिए आप एक विशिष्ट उपकरण का उपयोग करते हैं: मूलों का योग (sums of roots)।

आप $k$ संख्याएँ चुनने की अनुमति प्राप्त करते हैं (जिन्हें हम $b_1, b_2, \dots, b_k$ कहेंगे)। ये संख्याएँ एक बड़ी सीमा $N$ और 1 के बीच की पूर्णांक (whole numbers) होनी चाहिए। फिर आप इन संख्याओं में से प्रत्येक का $d$ -वाँ मूल (root) लेते हैं (जैसे यदि $d=2$ है तो वर्गमूल, या यदि $d=3$ है तो घनमूल) और उन सभी को जोड़ देते हैं।

प्रश्न यह है: आप अपने लक्ष्य के कितने करीब पहुँच सकते हैं?

पुराना तरीका बनाम नया तरीका
इस शोधपत्र से पहले, गणितज्ञों (विशेष रूप से एक शोधकर्ता अय्यर) के पास इन संख्याओं को खोजने की एक विधि थी। उनकी विधि अच्छी तरह से काम करती थी, लेकिन यह एक ऐसे स्लिंगशॉट (गुलेल) की तरह थी जिसका रबर बैंड थोड़ा ढीला था। वे करीब तो पहुँच सकते थे, लेकिन "निकटता" (त्रुटि) $N$ को बढ़ाने पर अपेक्षाकृत धीरे-धीरे कम होती थी।

सैम्युअल कोर्स्की एक नया, अधिक सटीक स्लिंगशॉट पेश करते हैं। वह यह सिद्ध करते हैं कि आप पहले की तुलना में कहीं अधिक करीब पहुँच सकते हैं।

जादुई ट्रिक: "उपस्थान" (Subspace) और "स्थानांतरण" (Transfer)
कोर्स्की का प्रमाण दो मुख्य विचारों का उपयोग करता है, जिसे वह एक दो-चरणीय जादुई ट्रिक की तरह जोड़ता है:

"नो-गो" ज़ोन (श्मिट का उपस्थान प्रमेय - Schmidt's Subspace Theorem):
कल्पना कीजिए कि आपके पास अलग-अलग अभाज्य संख्याओं (जैसे 2, 3, 5, 7...) का एक समूह है। यदि आप उनके मूलों को एक पूर्ण संख्या से गुणा करते हैं, तो वे आमतौर पर संख्या रेखा पर बहुत विशिष्ट, "अव्यवस्थित" स्थानों पर गिरते हैं, और कभी भी पूर्ण संख्याओं के साथ पूरी तरह से संरेखित (align) नहीं होते हैं। कोर्स्की श्मिट के उपस्थान प्रमेय का उपयोग यह सिद्ध करने के लिए करते हैं कि ये मूल पूर्णांकों के साथ पूरी तरह से मेल खाने के प्रति हठी हैं। वे एक "नो-गो ज़ोन" बनाते हैं जहाँ वे तब तक बहुत करीब होने से इनकार करते हैं जब तक कि आप बहुत बड़ी संख्याओं का उपयोग न करें। यह स्थापित करता है कि ये संख्याएँ कितनी "फैली हुई" हैं।
"स्थानांतरण" (The Transfer - अपूर्ण तर्क):
एक बार जब उन्हें पता चल जाता है कि मूल कितने फैले हुए हैं, तो वह एक "स्थानांतरण" तर्क का उपयोग करते हैं। इसे एक अनुवादक की तरह समझें। वह मूलों के पूर्णांकों से बचने (नो-गो ज़ोन) के बारे में जानकारी को एक गारंटी में बदल देते हैं कि आप उनका एक ऐसा संयोजन पा सकते हैं जो किसी भी लक्ष्य के बहुत करीब पहुँच जाए।

यह ऐसा ही है जैसे यह जानना कि एक विशिष्ट प्रकार का पक्षी एक निश्चित शाखा पर कभी नहीं बैठता। क्योंकि आप जानते हैं कि वे कहाँ नहीं बैठते, इसलिए आप भविष्यवाणी कर सकते हैं कि यदि आप पेड़ को सही तरीके से हिलाते हैं तो वे वास्तव में कहाँ बैठेंगे।

परिणाम: एक बहुत ही सटीक शॉट
यह शोधपत्र सिद्ध करता है कि किसी भी लक्ष्य के लिए, आप अपने नंबर $b_1$ से $b_k$ तक इस प्रकार पा सकते हैं कि लक्ष्य से दूरी अविश्वसनीय रूप से कम हो। विशेष रूप से, त्रुटि लगभग $1/N^{k/d}$ की दर से घटती है।

यह क्यों मायने रखता है: यदि आपके पास जोड़ने के लिए अधिक मूल ( $k$ बड़ा है) हैं, तो आप बहुत उच्च सटीकता के साथ लक्ष्य को हिट कर सकते हैं। यदि मूल "ऊंचे" हैं (जैसे कि दो संख्याओं के योग के बजाय घनमूल), तो यह थोड़ा कठिन है, लेकिन नया सूत्र अभी भी पुराने रिकॉर्ड को पीछे छोड़ देता है।
पकड़ (The Catch): यह प्रमाण "अप्रभावी" (ineffective) है। इसका मतलब है कि कोर्स्की यह सिद्ध कर सकते हैं कि ऐसे नंबर अस्तित्व में हैं और वे बहुत करीब हैं, लेकिन वह आपको उन्हें आसानी से खोजने के लिए कोई विशिष्ट रेसिपी नहीं देते हैं। यह एक द्वीप पर खजाना होने के प्रमाण देने जैसा है बिना उसके मानचित्र निर्देशांक दिए। आप जानते हैं कि वह वहाँ है, लेकिन उसे ढूँढने में लंबा समय लग सकता है।

"परफेक्ट" शॉट (अनुमान/Conjecture)
कोर्स्की इस समस्या का एक "होली ग्रेल" (परम लक्ष्य) संस्करण भी सुझाते हैं। वह अनुमान लगाते हैं कि सही संख्याओं के संयोजन के साथ, आप और भी करीब पहुँच सकते हैं—विशेष रूप से, त्रुटि $1/N^{k - 1/d}$ की दर से घट सकती है।

वह अभी भी सभी मामलों के लिए इसे सिद्ध नहीं कर सकते, लेकिन वह दिखाते हैं कि यह विशिष्ट, सरल परिदृश्यों (जैसे कि 2, 3, या 4 संख्याओं के योग के साथ वर्गमूल) के लिए काम करता है। वह ऐसा इसलिए करते हैं क्योंकि वह सावधानीपूर्वक ऐसी संख्याओं का निर्माण करते हैं जो एक-दूसरे को पूरी तरह से रद्द (cancel) कर देती हैं, जैसे कि तराजू पर वजन को संतुलित करना जब तक कि केवल एक बहुत ही छोटा सा अंश शेष रह जाए।

सारांश में
यह शोधपत्र एक गणितीय विजय यात्रा है। यह दिखाता है कि उच्च-स्तरीय प्रमेय का उपयोग करके, हम यह सिद्ध कर सकते हैं कि मूलों का योग किसी भी लक्ष्य संख्या का बहुत अधिक सटीकता से अनुमान लगा सकता है जितना कि हम पहले जानते थे। भले ही हम हमेशा यह करने के लिए विशिष्ट संख्याएँ आसानी से नहीं ढूँढ सकते (प्रमाण गैर-रचनात्मक है), अब हमें पता है कि हम कितनी निकटता तक पहुँच सकते हैं इसकी सैद्धांतिक सीमा पहले की तुलना में बहुत अधिक सटीक है।

तकनीकी सारांश: मूलों के योग द्वारा असजातीय सन्निकटन (Inhomogeneous Approximation by Sums of Roots)

समस्या विवरण
यह शोध पत्र $d$ -वें मूलों (roots) के योग से संबंधित असजातीय डायोफेंटाइन सन्निकटन (inhomogeneous Diophantine approximation) की समस्या को संबोधित करता है। विशेष रूप से, दिए गए निश्चित पूर्णांकों $d \ge 2$ और $k \ge 1$ , एक वास्तविक लक्ष्य $\beta$ , और एक बड़े आउंड (bound) $N$ के लिए, लक्ष्य ऐसे पूर्णांक $1 \le b_1, \dots, b_k \le N$ खोजने का है जिससे उनके $d$ -वें मूलों के योग की $\beta$ से दूरी न्यूनतम हो:
$\left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\|$
जहाँ $\|x\|$ का अर्थ $x$ की निकटतम पूर्णांक से दूरी है। यह शोध पत्र एक इष्टतम घातांक (exponent) $\gamma$ स्थापित करने का प्रयास करता है ताकि यह दूरी $O(N^{-\gamma})$ द्वारा सीमित हो।

इयर (Iyer, 2025) के पूर्व कार्य ने कम से कम $(k-d+1)/d^2$ का एक प्रभावी असजातीय घातांक और एक अधिक सटीक "फुल-बेसिस" घातांक $\gamma_{k,d} = d^{\lfloor \log_d(k+1) \rfloor - 1}/d$ स्थापित किया था। पिछला मान $\gamma_{k,d}$ केवल तभी $k/d$ प्राप्त करता है जब $k+1$ , $d$ की एक घात (power) हो। यह शोध पत्र सामान्य $k$ और $d$ के लिए, विशेष रूप से उन मामलों में जहाँ $k+1$ , $d$ की घात नहीं है, इन घातांकों में सुधार करने का लक्ष्य रखता है, भले ही इसके लिए प्रभावकारिता (effectivity) का त्याग करना पड़े।

कार्यप्रणाली (Methodology)
मुख्य प्रमेय का प्रमाण दो प्राथमिक घटकों पर आधारित है:

श्मिट के सबस्पेस प्रमेय (Schmidt's Subspace Theorem) के माध्यम से द्वैत निम्नतम सीमा (Dual Lower Bound):
लेखक भिन्न अभाज्य मूलों (distinct prime radicals) से संबंधित रैखिक रूपों के लिए एक द्वैत निम्नतम सीमा स्थापित करने के लिए श्मिट के सबस्पेस प्रमेय का उपयोग करते हैं। भिन्न अभाज्य $p_1, \dots, p_k$ का चयन करके और $\theta_i = p_i^{1/d}$ निर्धारित करके, वे $1, \theta_1, \dots, \theta_k$ की $\mathbb{Q}$ पर रैखिक स्वतंत्रता (जो बेज़िकोटिक का परिणाम है) का आह्वान करते हैं। इससे निम्नलिखित रूप की एक निम्नतम सीमा प्राप्त होती है:
$\max_{1 \le i \le k} \| h \theta_i \| \gg_{d,k,\eta} |h|^{-1/k - \eta}$
किसी भी $\eta > 0$ और गैर-शून्य पूर्णांक $h$ के लिए। यह चरण गैर-प्रभावी (non-effective) है, क्योंकि यह सबस्पेस प्रमेय पर निर्भर करता है।
असजातीय स्थानांतरण (Inhomogeneous Transference):
लेखक द्वैत निम्नतम सीमा को एक असजातीय सन्निकटन परिणाम में बदलने के लिए एक कवरिंग स्थानांतरण तर्क (लेम्मा 3.2) का उपयोग करते हैं। संख्या सिद्धांत की ज्यामिति (विशेष रूप से माहलर के स्थानांतरण सिद्धांत और एक जाली (lattice) के कवरिंग त्रिज्या) का उपयोग करते हुए, वे दिखाते हैं कि यदि द्वैत सीमा $\sigma$ घातांक के साथ बनी रहती है, तो किसी भी लक्ष्य $\beta$ और पैरामीटर $Q$ के लिए, पूर्णांक $q_1, \dots, q_k$ मौजूद होते हैं जहाँ $|q_i| \le Q$ है, ताकि:
$\left\| \sum_{i=1}^k q_i \theta_i - \beta \right\| \ll Q^{-1/\sigma}$
गुणांकों को धनात्मक बनाकर और रेडिकैंड्स (radicands) को $b_i = p_i c_i^d$ (जहाँ $c_i$ , $q_i$ से व्युत्पन्न हैं) के रूप में पुनर्व्याख्या करके, समस्या को $N$ तक सीमित रेडिकैंड्स वाले $d$ -वें मूलों के योग में वापस बदल दिया जाता है।

प्रमुख परिणाम

प्रमेय 1.1 (मुख्य प्रमेय): किसी भी निश्चित $d \ge 2$ , $k \ge 1$ , और $\varepsilon > 0$ के लिए, एक स्थिरांक $C_{d,k,\varepsilon}$ मौजूद है, जिससे प्रत्येक $N \ge 2$ और $\beta \in \mathbb{R}$ के लिए, पूर्णांक $1 \le b_1, \dots, b_k \le N$ मौजूद होते हैं जो निम्नलिखित को संतुष्ट करते हैं:
$\left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\| \le C_{d,k,\varepsilon} N^{-k/d + \varepsilon}$
यह परिणाम $k/d - \varepsilon$ का घातांक प्रदान करता है। यह उन मामलों में इयर के घातांक $(k-d+1)/d^2$ और फुल-बेसिस घातांक $\gamma_{k,d}$ में सुधार करता है जब $k+1$ , $d$ की घात नहीं होता है। विशिष्ट मामले में जहाँ $k+1$ , $d$ की एक घात है, इयर का प्रभावी निर्माण पहले से ही $k/d$ प्राप्त कर लेता है, जबकि यह प्रमेय एक अनिश्चित $\varepsilon$ खो देता है और गैर-प्रभावी है।
अनुमान 1.2 (समान घातांक - Uniform Exponent): लेखक एक अधिक सुदृढ़ अनुमान प्रस्तावित करते हैं कि इष्टतम समान घातांक $k - 1/d$ है। यह सुझाव देता है कि वर्तमान परिणाम $k/d$ अंतिम सीमा नहीं है, बल्कि मुख्य प्रमाण में उपयोग किए गए विशिष्ट बीजगणितीय ढांचे (विरल परिवार के रेडिकैंड्स) का परिणाम है। अनुमान यह है कि:
$\sup_{\beta \in \mathbb{R}/\mathbb{Z}} \min_{1 \le b_1, \dots, b_k \le N} \left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\| \ll_{d,k,\varepsilon} N^{-(k-1/d) + \varepsilon}$
$d=2$ के लिए स्पष्ट निर्माण: खंड 5 में, शोध पत्र वर्ग-मूल के मामले ( $d=2$ ) के लिए $k=2, 3, 4$ के साथ स्पष्ट पूर्णांक-लक्ष्य निर्माण प्रदान करता है। टेलर विस्तार (Taylor expansions) और गुणांक रद्दीकरण (coefficient cancellation) का उपयोग करके, लेखक वर्ग-मूलों के ऐसे योग का निर्माण करते हैं जो एक पूर्णांक को $M^{-(2k-1)}$ के क्रम की त्रुटि के साथ सन्निकटित करते हैं, जहाँ रेडिकैंड्स का आकार $M^2$ है। यह $N^{-(k-1/2)}$ का घातांक देता है, जो इन विशिष्ट मामलों के लिए अनुमानित मान से मेल खाता है।

महत्व और दावे
शोध पत्र दावा करता है कि यह मूलों के योग में असजातीय घातांकों के लिए एक अलग प्रमाण प्रदान करता है, जो इयर के "फुल रेडिकल बेसिस" दृष्टिकोण से हटकर श्मिट के सबस्पेस प्रमेय का उपयोग करने वाले एक सामान्य बीजगणितीय डायोफेंटाइन सन्निकटन ढांचे की ओर स्थानांतरित होता है।

प्राथमिक महत्व उन मामलों में घातांक में सुधार करने में है जहाँ $k+1$ , $d$ की घात नहीं है। लेखक नोट करते हैं कि जबकि उनका परिणाम गैर-प्रभावी (सबस्पेस प्रमेय के कारण) है, यह उन विशिष्ट श्रेणियों में पिछले प्रभावी निर्माणों की तुलना में बेहतर घातांक प्राप्त करता है। शोध पत्र यह भी रेखांकित करता कि उनके सिद्ध घातांक ( $k/d$ ) और अनुमानित इष्टतम घातांक ( $k-1/d$ ) के बीच का अंतर, यह सुझाव देता कि बाद वाले के लिए मुख्य प्रमाण में उपयोग किए गए विरल परिवार से परे रेडिकैंड्स के चयन में अधिक "स्थानीय स्वतंत्रता" (local freedom) का लाभ उठाने की आवश्यकता है। $d=2$ के लिए स्पष्ट निर्माण अनुमानित समान घातांक के समर्थन में साक्ष्य के रूप में कार्य करते हैं।

इसी तरह के और पेपर