Ratio of sum of digits functions in two bases

कल्पना कीजिए कि आप एक डिजिटल जासूस हैं जो संख्याओं के भीतर छिपे एक कोड को तोड़ने की कोशिश कर रहे हैं। गणित की दुनिया में, हर संख्या को अलग-अलग "भाषाओं" में लिखा जा सकता है जिन्हें आधार (bases) कहा जाता है। सबसे सामान्य आधार 10 है, जहाँ हम 0 से 9 तक के अंकों का उपयोग करते हैं। लेकिन आप इसे आधार 2 (केवल 0 और 1 का उपयोग करके) या आधार 3 (0, 1, और 2 का उपयोग करके) में भी उतनी ही आसानी से लिख सकते हैं। एक आधार को अलग-अलग तरह के निर्माण ब्लॉकों (building blocks) की तरह समझें: आधार 10 में, एक संख्या ब्लॉकों का एक टॉवर है जहाँ प्रत्येक स्तर 10 की घात (power) को दर्शाता है; आधार 2 में, यह 2 की घातों का एक टॉवर है।

अब, कल्पना कीजिए कि आपके पास एक विशेष उपकरण है जो एक संख्या के टॉवर के सभी ब्लॉकों के कुल मान की गणना करता है। गणितज्ञ इसे "अंकों का योग" (sum of digits) कहते हैं। यदि आप आधार 10 में संख्या 19 लेते हैं, तो यह $1 + 9 = 10$ है। लेकिन यदि आप 19 को आधार 2 में लिखते हैं, तो यह $10011_2$ के रूप में दिखता है, और उन अंकों का योग $1+0+0+1+1 = 3$ है। बड़ा सवाल यह है कि अगर आप दो पूरी तरह से अलग भाषाओं के बीच इन योगों की तुलना करते हैं, तो क्या होता है? यदि आप दो ऐसे आधार चुनते हैं जो एक सरल गणितीय संबंध साझा नहीं करते हैं (जैसे 2 और 3, या 5 और 7), तो क्या उनके अंकों के योग कभी बिल्कुल मेल खाते हैं? क्या वे कभी एक विशिष्ट अनुपात (ratio) तक पहुँचते हैं, जैसे कि एक दूसरे का ठीक दोगुना होना? यह केवल संख्याओं का खेल नहीं है; यह इस बारे में है कि कैसे गणित में यादृच्छिकता (randomness) और व्यवस्था (order) एक साथ सह-अस्तित्व में हैं, जो हमें ब्रह्मांड के सबसे बुनियादी निर्माण खंडों की छिपी संरचना को समझने में मदद करता है।

पास्कल जेलीनेक द्वारा लिखा गया यह शोध पत्र सीधे उसी रहस्य में उतरता है। लेखक दो "स्वतंत्र" आधारों के बीच इन अंक योगों के व्यवहार के बारे में एक शक्तिशाली नया नियम सिद्ध करता है। इससे पहले, हम जानते थे कि इन योगों का अनुपात किसी भी धनात्मक संख्या के बहुत करीब पहुँच सकता है, लेकिन हमें यह नहीं पता था कि क्या वे वास्तव में हर एक परिमेय संख्या (जैसे 1/2, 3/4, या 7/11) को सटीक रूप से प्राप्त कर सकते हैं। जेलीनेक दिखाते हैं कि वे ऐसा करते हैं। वास्तव में, किन्हीं भी दो आधारों के लिए जो गुणात्मक रूप से स्वतंत्र हैं (अर्थात एक दूसरे की घात नहीं है, जैसे 2 और 4), और किसी भी लक्ष्य अनुपात के लिए जिसे आप नाम दे सकते हैं, ऐसे अनंत संख्याएँ मौजूद हैं जहाँ पहले आधार के अंकों का योग दूसरे आधार के अंकों के योग के बराबर होता है।

यह शोध पत्र केवल यह नहीं कहता कि "ऐसा होता है"; बल्कि यह एक कठोर गणितीय प्रमाण प्रदान करता है कि यह अनंत बार होता है। यह यह भी बताता है कि एक निश्चित आकार से नीचे आप ऐसे कितने नंबर पा सकते हैं, इसके लिए एक सूत्र देता है, जिससे पता चलता है कि भले ही वे दुर्लभ हों, लेकिन वे निश्चित रूप से वहां हैं। लेखक सिक्के का दूसरा पहलू भी हल करता है: क्या होगा यदि आधार आपस में संबंधित हैं, जैसे आधार 4 और आधार 16? इस मामले में, शोध पत्र सिद्ध करता है कि अनुपात केवल एक विशिष्ट, सीमित सीमा के भीतर ही हो सकता है, और यह वर्णन करता है कि कौन से अनुपात संभव हैं और कौन से असंभव।

इसे देखने के लिए, दो अलग-अलग प्रकार के पासे (dice) की कल्पना करें। एक पासे के चेहरे 0 से 9 तक (आधार 10) संख्यांकित हैं, और दूसरे के चेहरे 0 से 2 तक (आधार 3) हैं। आप एक संख्या बनाने के लिए कितनी बार रोल करते हैं। "अंकों का योग" बस वह कुल स्कोर है जो आपको मिलता है। जेलीनेक का कार्य इस बात को सिद्ध करने जैसा है कि चाहे आप दोनों पासों के बीच क्या भी स्कोर अनुपात चाहते हों (मान लीजिए, आधार 10 का स्कोर आधार 3 के स्कोर का 1.5 गुना है), रोल का एक अनंत क्रम मौजूद है जो उस सटीक अनुपात को प्राप्त करेगा। वे यह भी सिद्ध करते हैं कि यदि पासे किसी तरह से जुड़े हुए हैं (जैसे कि एक दूसरे का पुन: स्वरूपित संस्करण है), तो आप किसी भी अनुपात को प्राप्त नहीं कर सकते; आप परिणामों के एक विशिष्ट सेट तक ही सीमित हैं।

इसका प्रमाण "अंकगणितीय प्रगति" (arithmetic progressions) के उपयोग में एक उत्कृष्ट प्रदर्शन है। इसे एक संख्या की रेखा के रूप में सोचें जहाँ प्रत्येक चरण का आकार समान होता है, जैसे 5, 10, 15, 20। लेखक दिखाता है कि यदि आप सही शुरुआती बिंदु और सही चरण का आकार चुनते हैं, तो उस रेखा पर अंक योग बहुत ही अनुमानित, लगभग जादुई तरीके से व्यवहार करते हैं। वे सभी संभावित शेषफल (remainders) के माध्यम से समान रूप से वितरित होते हैं, जिससे लेखक को संख्याओं को "ट्यून" करने की अनुमति मिलती है जब तक कि अनुपात लक्ष्य तक सटीक रूप से न पहुँच जाए। यह विधि पिछले कार्यों का विस्तार करती है जो केवल विशिष्ट मामलों (जैसे आधार 2 और आधार 3) के लिए समाधान प्रदान करते थे, इसे एक सामान्य नियम तक ले जाती है जो लगभग किसी भी जोड़ी के लिए काम करता है जिसे आप कल्पना कर सकते हैं।

निर्भर आधारों (जैसे आधार 4 और आधार 16) के मामले में, यह शोध पत्र एक सख्त द्वारपाल (gatekeeper) की तरह कार्य करता है। यह सिद्ध करता है कि आप कोई भी अनुपात प्राप्त नहीं कर सकते। उदाहरण के लिए, यदि आप आधार $b^k$ और आधार $b^\ell$ की तुलना कर रहे हैं, तो अंक योगों का अनुपात $1/(b^\ell - 1)$ और $b^k - 1$ के बीच फंसा हुआ है। लेखक प्रदर्शित करता है कि इस दायरे के भीतर प्रत्येक एकल परिमेय संख्या अनंत बार प्राप्त की जा सकती है, लेकिन इसके बाहर कुछ भी संभव नहीं है। यह हमें क्षेत्र का एक पूर्ण मानचित्र देता है: अब हम जानते हैं कि कौन से अनुपात संभव हैं और कौन से वर्जित हैं, जो दोनों आधारों के बीच के संबंध पर निर्भर करता है।

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