Positive Lower Density for Hofstadter's $ab-1$ Problem

संख्याओं के निर्माण का अनंत खेल

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

यह विशिष्ट शोध पत्र एक ऐसी पहेली पर काम करता है जो एक सरल नियम से शुरू होती है: 2 और 3 से शुरुआत करें। फिर, आपके पास पहले से मौजूद किन्हीं भी दो अलग-अलग संख्याओं को लें, उन्हें गुणा करें, और 1 घटा दें। यदि परिणाम एक पूर्ण संख्या (whole number) है, तो उसे अपने संग्रह में जोड़ लें। इसे अनंत बार दोहराएं। प्रश्न, जो महान गणितज्ञ पॉल एर्दोस (जिन्होंने यह पहेली प्रसिद्ध "होफ़स्टैडर के फिगर-फिगर" अनुक्रमों के लेखक से सुनी थी) द्वारा उठाया गया था, यह है कि क्या यह संख्याओं का संग्रह पर्याप्त "सघन" (thick) है। क्या इसकी "धनात्मक निचली घनत्व" (positive lower density) है? सरल शब्दों में, क्या आपके द्वारा उत्पन्न संख्याओं का सेट अंततः संख्या रेखा के एक महत्वपूर्ण, गैर-शून्य प्रतिशत को भर देता है, चाहे आप कितनी भी दूर क्यों न चले जाएँ? लंबे समय तक, कोई नहीं जानता था कि इसका उत्तर हाँ है या ना।

समाधान: संख्याओं के लिए एक यातायात प्रणाली

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

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

लेखक की रणनीति 20 विशिष्ट क्षेत्रों (अंतरालों/intervals) में विभाजित एक मानचित्र का उपयोग करके एक "यातायात नियंत्रण प्रणाली" बनाने की है। वह इन क्षेत्रों को अलग-अलग "गुणकों" (multipliers) (जैसे 2, 3, 5, 9, 14) को सौंपते हैं। जब कोई संख्या एक क्षेत्र में पहुँचती है, तो प्रणाली उसे अगला गुणक उपयोग करने के लिए बताती है। इस प्रमाण की प्रतिभा यह है कि इन गुणकों को कैसे चुना जाता है। लेखक चार अलग-अलग "यातायात पैटर्न" (असाइनमेंट) स्थापित करता है। वर्तमान स्थिति के आधार पर इन पैटर्नों के बीच स्विच करके, वह यह सुनिश्चित करता है कि संख्याएँ अटक न जाएँ या "विशिष्टता" (distinctness) के नियम का उल्लंघन न करें।

इसे "फॉलो द लीडर" के खेल की तरह समझें जहाँ लीडर एक आदर्श संतुलन बनाए रखने की कोशिश कर रहा है। लेखक संख्याओं के "सामग्रियों" (विशेष रूप से अभाज्य संख्याओं 2, 3, 5 और 7 की घातों) को ट्रैक करता है। वह चाहता है कि रेसिपी संतुलित रहे। वह एक फीडबैक लूप का उपयोग करता है: यदि रेसिपी में संख्या 2 बहुत अधिक हो जाती है, तो सिस्टम एक ऐसे पैटर्न में बदल जाता है जो संतुलन बनाने के लिए अधिक 3 या 5 जोड़ता है। यह "ढलान" (slope) के विकास (संख्याएँ कितनी तेजी से बढ़ती हैं) को एक विशिष्ट लक्ष्य पर लॉक रखने में मदद करता है।

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

महत्वपूर्ण रूप से, लेखक यह सिद्ध करते हैं कि ये पथ भले ही उनके अंतर्निहित गणित के कारण ओवरलैप (overlap) हो सकते हैं (सिस्टम सख्त गणितीय अर्थ में "मुक्त" नहीं है), फिर भी वे अलग-अलग हैं। वह ऐसा यह दिखाकर करते हैं कि यदि वे अपने 20-क्षेत्रों वाले मानचित्र पर पथों को पीछे की ओर ट्रेस करते हैं, तो वे बिल्कुल अंत तक एक-दूसरे को नहीं काटते हैं। यह गारंटी देता है कि प्रत्येक पथ एक अद्वितीय अंतिम संख्या उत्पन्न करता है।

अंतिम निष्कर्ष एक गणना तर्क (counting argument) है। लेखक गणना करते हैं कि इस प्रक्रिया के प्रत्येक "चरण" के लिए, वैध पथों की संख्या संख्याओं के विकास की दर के साथ बढ़ती है। वह सिद्ध करते हैं कि एक विशिष्ट बड़ी संख्या $x$ के लिए, 1 से $x$ के भीतर उनके विशेष सेट की मात्रा कम से कम $c \times x$ है, जहाँ $c$ शून्य से अधिक एक स्थिरांक (constant) है। दूसरे शब्दों में, आप चाहे कितनी भी गिनती करें, आपको हमेशा इन संख्याओं की एक निरंतर धारा मिलेगी।

यह शोध पत्र केवल यह सुझाव नहीं देता कि यह संभावित है; यह एक कठोर, चरण-दर-चरण गणितीय प्रमाण प्रदान करता है। यह संभाव्यता (यह दिखाने के लिए कि सिस्टम अपने प्रारंभ पर वापस लौटता रहता है), ज्यामिति (अंतरालों को मैप करने के लिए), और संख्या सिद्धांत (अपने अभाज्य गुणनखंडों को गिनने के लिए) के संयोजन का उपयोग करता है। परिणाम दशकों पुराने प्रश्न का एक निश्चित उत्तर है: सेट विरल (sparse) नहीं है; यह सघन (dense) है, जो संख्या रेखा को एक विश्वसनीय, धनात्मक उपस्थिति के साथ भर देता है।