Squarefree numbers in short intervals: explicit and formalized

संख्या रेखा की कल्पना एक अंतहीन, चमकते हुए राजमार्ग के रूप में करें जो क्षितिज तक फैला हुआ है। इस सड़क पर, कुछ संख्याएँ "वर्ग-मुक्त" (squarefree) हैं, जिसका अर्थ है कि वे अद्वितीय निर्माण खंडों से बनी हैं जो कभी दोहराए नहीं जाते; आप उन्हें लेगो (LEGO) ईंटों के एक सेट के रूप में सोच सकते हैं जहाँ किसी भी दो टुकड़ों का रंग एक जैसा नहीं है; आप उनसे एक पूर्ण वर्गाकार मीनार नहीं बना सकते। गणितज्ञ लंबे समय से जानते हैं कि यदि आप राजमार्ग के एक बहुत बड़े हिस्से को देखते हैं, तो ये विशेष संख्याएँ एक अनुमानित लय के साथ दिखाई देती हैं, लगभग हर 10 स्थानों में से 6 स्थान। लेकिन क्या होगा यदि आप ज़ूम इन करें और सड़क के एक बहुत छोटे, सूक्ष्म हिस्से को देखें? क्या वर्ग-मुक्त संख्याएँ अपनी लय बनाए रखती हैं, या वे अराजक और अप्रत्याशित हो जाती हैं? यह "लघु अंतराल में वर्ग-मुक्त संख्याओं" (squarefree numbers in short intervals) का प्रश्न है। यह संख्या सिद्धांत (number theory) के क्षेत्र का एक पहेली है, जो पूर्ण संख्याओं के छिपे हुए पैटर्न का अध्ययन करता है। इसे हल करना हमें गणित की मौलिक संरचना को समझने में मदद करता है, ठीक वैसे ही जैसे एक विशाल दीवार में एक एकल ईंट कैसे फिट होती है, इसे समझना।

इस शोध पत्र में, मयंक पांडे इस पहेली को सुलझाने के लिए एक ज्ञात गणितीय परिणाम को "स्पष्ट" (explicit) और "औपचारिक" (formalized) बनाकर इस पर काम करते हैं। पहले, एक परिणाम मौजूद था जिसने सिद्ध किया था कि ये संख्याएँ लघु अंतरालों में अच्छा व्यवहार करती हैं, लेकिन यह एक शक्तिशाली, जटिल उपकरण (जिसमें "निल-अनुक्रम" (nilsequences) और ग्रीन और ताओ का कार्य शामिल है) पर निर्भर था जो एक 'ब्लैक बॉक्स' की तरह कार्य करता था: इसने कहा कि उत्तर वहाँ है, लेकिन इसने गणना करने के लिए आवश्यक विशिष्ट संख्याएँ नहीं दीं। पांडे का कार्य उस ब्लैक बॉक्स को खोलने, उसके हर गियर और स्प्रिंग को मापने और उसके सटीक आयाम लिखने जैसा है। वह सिद्ध करते हैं कि यदि आप एक शुरुआती बिंदु $X$ चुनते हैं जो $e^{1027/\varepsilon^2}$ (एक आश्चर्यजनक रूप से बड़ी संख्या) के बराबर या उससे अधिक है और $H = X^{1/5 - 2/90935 + \varepsilon}$ की लंबाई वाला एक अंतराल देखते हैं, तो आपको मिलने वाली वर्ग-मुक्त संख्याओं की संख्या अपेक्षित मात्रा के बहुत करीब होगी। विशेष रूप से, वास्तविक गणना और अपेक्षित गणना के बीच का अंतर गारंटीकृत रूप से $10450 \varepsilon H X^{-\varepsilon/1025}$ से अधिक नहीं होगा। यह एक ठोस, गणनीय वादा है, बशर्ते कि अंतराल बहुत छोटा न हो और शुरुआती संख्या बहुत बड़ी हो।

इसे प्राप्त करने के लिए, पांडे को "त्रुटि पदों" (error terms) के एक कठिन परिदृश्य से गुजरना पड़ा, जो गणना में होने वाले छोटे उतार-चढ़ाव हैं। वह समस्या को विभिन्न क्षेत्रों में विभाजित करते हैं। कुछ क्षेत्रों में, इन उतार-चढ़ावों को मानक तकनीकों का उपयोग करके आसानी से नियंत्रित किया जा सकता है, जैसे कि उभारों को सुचारू बनाने के लिए बार-बार अंतरों को घटाना। अन्य, अधिक कठिन क्षेत्रों में, उतार-चढ़ाव जिद्दी होते हैं। मूल शोध पत्र में, इन जिद्दी क्षेत्रों को ऊपर वर्णित "ब्लैक बॉक्स" उपकरण द्वारा संभाला गया था। हालाँकि, पांडे ने भारी काम को मैन्युअल रूप से करने का निर्णय लिया। वह गणितीय अभिव्यक्तियों को धागों की एक उलझी हुई गांठ की तरह मानते हैं। जादू के प्रयोग से इसे सुलझाने के बजाय, वह सावधानीपूर्वक विशिष्ट धागों को खींचकर (जिसे "वैन डेर कॉर्पस डिफरेंसिंग" (van der Corput differencing) विधि कहा जाता है) गांठ को ढीला करते हैं। वह दिखाते हैं कि भले ही धागे अस्त-व्यस्त दिखते हों, वे इस तरह नहीं फंसते कि वे पैटर्न को खराब कर दें। समस्या को छोटे मामलों में विभाजित करके और एक-एक करके उनकी जाँच करके, वह सिद्ध करते हैं कि "उतार-चढ़ाव" उनके विशिष्ट दायरे के लिए इतने छोटे हैं कि उन्हें अनदेखा किया जा सकता है।

यह शोध पत्र स्पष्टता के लिए व्याख्या को सरल बनाने का एक जानबूझकर किया गया विकल्प भी अपनाता है। जबकि कंप्यूटर कोड (Lean 4 में औपचारिक रूप दिया गया) गणित के थोड़े अधिक अनुकूलित और सटीक संस्करण को समाहित करता है, लिखित नोट एक "रफ" (rougher) संस्करण प्रस्तुत करता है जो समझने में आसान है। यह एक छात्र को मुख्य मार्गों को सिखाने के लिए शहर के विस्तृत मानचित्र के बजाय एक सरलीकृत मानचित्र दिखाने जैसा है, न कि सैटेलाइट इमेज देना जिसमें हर एक गली चिह्नित हो। लेखक नोट करते हैं कि यह सरलीकरण अंतिम घातांक (exponent) को थोड़ा कमजोर करता है, लेकिन मुख्य निष्कर्ष ठोस बना रहता है: वर्ग-मुक्त संख्याओं का पैटर्न बहुत छोटे अंतरालों में भी बना रहता है, और अब हमारे पास इसे सिद्ध करने के लिए सटीक संख्याएँ हैं। यह एक कठोर प्रमाण है, कोई अनुमान या सिमुलेशन नहीं, जो पुष्टि करता है कि गणितीय संरचना उतनी ही व्यवस्थित है जितनी कि हमने उम्मीद की थी, भले ही हम इसे सूक्ष्मदर्शी से देख रहे हों।