Solution of Erd\H{o}s problem $\# 443$

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

आप जिस शोध पत्र के बारे में सुनने जा रहे हैं, वह दिग्गज गणितज्ञ पॉल एर्दोश द्वारा दी गई एक विशिष्ट पहेली पर आधारित है। उन्होंने दो विशेष संग्रहों के बारे में विचार किया। पहला संग्रह एक संख्या $m$ को लेकर, उससे छोटी एक संख्या $k$ (1 से $m$ के आधे तक) चुनकर, और उत्पाद $k(m-k)$ की गणना करके बनाया जाता है। दूसरा संग्रह ठीक यही काम एक अलग संख्या $n$ के साथ करता है। बड़ा सवाल यह था: जैसे-जैसे ये संख्याएँ विशाल होती जाती हैं, वे कितने "साझा मित्र" (वे संख्याएँ जो दोनों सूचियों में दिखाई देती हैं) साझा कर सकती हैं? एर्दोश ने अनुमान लगाया था कि हालांकि साझा मित्रों की संख्या बढ़ेगी, लेकिन यह बहुत धीरे-धीरे बढ़ेगी—इतनी धीमी गति से कि आपके द्वारा चुनी गई किसी भी सूक्ष्म त्रुटि के मार्जिन के लिए, गणना अंततः संख्याओं के आकार से संबंधित एक विशिष्ट गणितीय सूत्र से छोटी होगी। उन्होंने यह भी पूछा था कि क्या साझा मित्रों की यह संख्या बिना रुके कभी भी बढ़ सकती है, या क्या यह एक सीमा (ceiling) तक पहुँच जाएगी।

इस शोध पत्र के लेखक, स्टिन कैम्बी, दशकों पुराने इस रहस्य को सुलझाने वाले एक जासूस की भूमिका निभाते हैं। वह पुष्टि करते हैं कि साझा मित्रों की संख्या वास्तव में 'अनबाउंडेड' (unbounded) है, जिसका अर्थ है कि यदि आप सही $m$ और $n$ चुनते हैं, तो यह जितनी चाहें उतनी बड़ी हो सकती है। इसे सिद्ध करने के लिए, वह एक चतुर तरकीब का उपयोग करते हैं: वह दिखाते हैं कि एक साझा संख्या खोजना, वर्गों के एक विशिष्ट अंतर (difference of squares) को दो छोटे टुकड़ों में तोड़ने का एक तरीका खोजने के समान है। यह समस्या को एक संख्या के "भाजकों" (divisors - यानी निर्माण खंडों) को गिनने में बदल देता है। चूंकि हम जानते हैं कि कुछ संख्याओं के बहुत अधिक भाजक होते हैं, इसलिए कैम्बी सिद्ध करते हैं कि हम हमेशा ऐसे जोड़े $m$ और $n$ पा सकते हैं जो बड़ी संख्या में साझा मित्र पैदा करें।

हालाँकि, यह शोध पत्र इस वृद्धि पर एक सख्त गति सीमा भी लगाता है। कैम्बी प्रदर्शित करते हैं कि भले ही साझा मित्रों की संख्या बहुत बड़ी हो सकती है, लेकिन यह अविश्वसनीय रूप से धीमी गति से बढ़ती है—इतनी धीमी कि यह उस "सूक्ष्म मार्जिन" के अनुमान में फिट बैठती है जो एर्दोश ने दिया था। वह दिखाते हैं कि यह गणना एक ऐसे फलन (function) द्वारा सीमित है जो शामिल संख्याओं के आकार की तुलना में अनिवार्य रूप से "लगभग स्थिर" (almost constant) है। सरल शब्दों में, भले ही आप ओवरलैप को अधिकतम करने के लिए सर्वोत्तम संख्याएँ चुनें, साझा मित्रों की संख्या कभी विस्फोट नहीं करेगी; यह हमेशा शामिल कुल संख्याओं का एक छोटा सा अंश बनी रहेगी।

दिलचस्प बात यह है कि यह शोध पत्र कहानी में एक मोड़ प्रकट करता: यह समस्या वास्तव में कोई नई खोज नहीं थी। लेखक उल्लेख करते हैं कि गणितज्ञ नॉरबर्ट हेग्वारी ने 40 साल पहले इसी समस्या को हल किया था, लेकिन उनका प्रमाण हाल ही में प्रकाशित हुआ है। इसलिए, जबकि यह शोध पत्र एक ताज़ा, स्पष्ट व्याख्या प्रदान करता है और उत्तर की पुष्टि करता है, इस समस्या की "हल की गई" स्थिति वास्तव में उस पहले के, लंबे समय तक छिपे रहे कार्य की है। यह शोध पत्र केवल अनुमान नहीं लगाता; यह एक गणितीय प्रमाण प्रदान करता है, जो दिखाता है कि साझा मित्रों की संख्या वास्तव में कैसे व्यवहार करती है और यह पुष्टि करता है कि यह अनबाउंडेड होने के साथ-साथ उपयोग की जाने वाली संख्याओं के आकार के सापेक्ष आश्चर्यजनक रूप से छोटी भी है।