Lower bounds for the Hausdorff dimension of expressible sets

कल्पना कीजिए कि आप एक बहुत ही अजीब, बहुत ही विशिष्ट संख्या बना रहे हैं। आप इसे छोटे-छोटे भिन्नों (fractions) की एक अनंत सूची को जोड़कर बनाते हैं।

इसका सूत्र इस प्रकार है:
$$\text{संख्या} = \frac{1}{d_1 a_1} + \frac{1}{d_2 a_2} + \frac{1}{d_3 a_3} + \dots$$

इस शोध पत्र में, लेखक दो मुख्य सामग्रियों के साथ खेल रहे हैं:

1. "आधार" ($a_n$): ये वे संख्याएँ हैं जो बहुत तेज़ी से विशाल होती जाती हैं। इन्हें ऐसे समझें कि ये आपके भिन्नों के हर (denominators) हैं। ये इतनी तेज़ी से बढ़ती हैं कि भिन्न लगभग तुरंत ही सूक्ष्म (microscopic) हो जाते हैं।
2. "अंक" ($d_n$): ये वे संख्याएँ हैं जिन्हें आप आधार से गुणा करने के लिए चुनते हैं। सबसे सरल संस्करण में, आप कोई भी प्राकृतिक संख्या (1, 2, 3...) चुन सकते हैं। लेकिन इस शोध पत्र में, लेखक आप पर प्रतिबंध लगाते हैं। शायद आप केवल 1 और 10 के बीच की संख्याएँ चुन सकते हैं, या शायद केवल सम संख्याएँ (even numbers) चुन सकते हैं।

मुख्य प्रश्न: आपको किस प्रकार की संख्या प्राप्त होती है?

जब आप इन अनंत भिन्नों को जोड़ते हैं, तो आपको एक वास्तविक संख्या (real number) प्राप्त होती है। लेखक उन सभी संभावित संख्याओं के संग्रह के बारे में जानना चाहते हैं जो आपके नियमों से बनाई जा सकती हैं:

1. क्या यह "अपरिमेय" (Irrational) है? (क्या इसे 1/2 जैसे सरल भिन्न के रूप में लिखा जा सकता है?)
2. क्या यह एक "लियोविले संख्या" (Liouville Number) है? यह एक विशेष, अजीब प्रकार की अपरिमेय संख्या है। लियोविले संख्याएँ "बहुत आसान" होती हैं—यानी उन्हें सरल भिन्नों द्वारा अनुमानित (approximate) करना बहुत सरल होता है। वे इतनी करीब होती हैं कि उन्हें "ट्रांसेंडेंटल" (transcendental) माना जाता है (अर्थात वे किसी बहुपद समीकरण का मूल नहीं हैं)।

लंबे समय तक, गणितज्ञों को पता था कि यदि आपके "आधार" ($a_n$) पर्याप्त तेज़ी से बढ़ते हैं, तो परिणामी संख्या अपरिमेय होगी। लेकिन एक पेच था: यदि वे बहुत अधिक तेज़ी से बढ़ते हैं, तो संख्या एक लियोविले संख्या बन जाएगी।

लेखकों की खोज: "गैप" (Gap) रणनीति

लेखक एक "स्वीट स्पॉट" (सही संतुलन) खोजना चाहते थे। वे यह सिद्ध करना चाहते थे कि यदि आप अपने "अंकों" ($d_n$) के चयन को सही ढंग से सीमित करते हैं, तो आप ऐसी संख्याओं का एक सेट बना सकते हैं जो:

• अपरिमेय हैं (सरल भिन्न नहीं हैं)।
• लियोविले संख्याएँ नहीं हैं (वे अनुमान लगाने के लिए "बहुत आसान" नहीं हैं)।
• ट्रांसेंडेंटल हैं (गणितीय रूप से जटिल हैं)।

इसे करने के लिए, उन्होंने कैंटर सेट्स (Cantor Sets) का उपयोग करते हुए एक चतुर दृश्य ट्रिक का उपयोग किया।

उपमा: निचोड़ने वाला स्पंज (The Squeezing Sponge)
कल्पना कीजिए कि आपके पास एक लंबी छड़ी है (जो सभी संख्याओं का प्रतिनिधित्व करती है)।

1. स्तर 0: आपके पास पूरी छड़ी है।
2. स्तर 1: आप बीच के हिस्सों को काट देते हैं, जिससे केवल कुछ छोटी छड़ें बचती हैं।
3. स्तर 2: आप उन छोटी छड़ों को लेते हैं और उनमें से फिर से बीच के हिस्से काट देते हैं, जिससे और भी सूक्ष्म छड़ें बचती हैं।
4. अनंत तक दोहराएं।

"अभिव्यक्त सेट" (Expressible Set) वह धूल है जो यह प्रक्रिया अनंत तक करने के बाद बचती है।

लेखकों का मुख्य कार्य यह सिद्ध करना था कि जब वे बीच के हिस्सों को काटते हैं (गैप्स), तो बची हुई छड़ें इतनी मोटी हैं कि उनका एक गैर-शून्य "हौसडॉर्फ आयाम" (Hausdorff Dimension) हो।

• हौसडॉर्फ आयाम (Hausdorff Dimension): यह मापने का एक तरीका है कि किसी आकार का "आकार" या "खुरदरापन" क्या है। एक रेखा का आयाम 1 होता है। एक बिंदु का आयाम 0 होता है। एक फ्रैक्टल (जैसे हमारे स्पंज की धूल) का आयाम 0.5 हो सकता है।
• यदि आयाम 0 से अधिक है, तो इसका अर्थ है कि वह सेट गणितीय अर्थ में "बड़ा" है।
• यदि आयाम 0 है, तो वह सेट "बहुत छोटा" है (जैसे कि सभी लियोविले संख्याओं का सेट, जो कि आयाम 0 है)।

तीन मुख्य परिणाम

शोध पत्र में आधार ($a_n$) के बढ़ने की गति के आधार पर तीन परिदृश्य प्रस्तुत किए गए हैं:

1. ज्यामितीय वृद्धि (Geometric Growth - "तेज़ लेकिन स्थिर" मामला)
यदि आधार संख्याएँ किसी संख्या की घातों की तरह बढ़ती हैं (जैसे $2^n, 3^n, 4^n$), और आप अपने "अंकों" को एक छोटे, निश्चित सेट तक सीमित करते हैं (जैसे केवल 1, 2, या 3 चुनना), तो लेखकों ने सिद्ध किया कि परिणामी सेट का धनात्मक (positive) आयाम होता है।

• पेच: आधार को आपके द्वारा चुने जाने वाले अंकों की संख्या की तुलना में पर्याप्त तेज़ी से बढ़ना चाहिए। यदि आप बहुत अधिक अंक चुनते हैं, तो "गैप्स" गायब हो जाते हैं, और सेट एक ठोस ब्लॉक (एक अंतराल) बन जाता है, न कि एक फ्रैक्टल धूल।

2. डबल एक्सपोनेंशियल वृद्धि (Double Exponential Growth - "विस्फोटक" मामला)
यदि आधार संख्याएँ अविश्वसनीय रूप से तेज़ी से बढ़ती हैं (जैसे $2^{2^n}$), तो लेखकों ने दिखाया कि आपके अंकों पर बहुत विशिष्ट प्रतिबंधों के बावजूद, परिणामी सेट का अभी भी धनात्मक आयाम होता है।

• यह क्यों मायने रखता है: यह सिद्ध करता है कि जटिल संख्याएँ प्राप्त करने के लिए आपको आधारों के "अनंत" रूप से तेज़ बढ़ने की आवश्यकता नहीं है। आप एक "मध्यम" विस्फोटक वृद्धि के साथ भी एक समृद्ध सेट प्राप्त कर सकते हैं जो लियोविले संख्याएँ नहीं हैं।

3. "धीमा" डबल एक्सपोनेंशियल
उन्होंने विस्फोटक वृद्धि के थोड़े धीमे संस्करण को भी देखा और समान परिणाम पाए, यह सिद्ध करते हुए कि "अच्छी" संख्याओं का सेट अभी भी पर्याप्त बड़ा है।

"तो क्या हुआ?" (बिना तकनीकी शब्दों के)

इस शोध पत्र का सबसे रोमांचक हिस्सा कोरोलरी 5 (Corollary 5) है।

दशकों से, गणितज्ञ जानते थे कि यदि आपके आधार संख्याएँ ($a_n$) पर्याप्त तेज़ी से बढ़ती हैं, तो आपकी संख्याएँ अपरिमेय होंगी। लेकिन वे यह नहीं जानते थे कि वे संख्याएँ "बहुत आसान" (लियोविले) थीं या "बिल्कुल सही"।

लेखकों ने सिद्ध किया कि एर्डोस (Erdős) का प्रसिद्ध 1976 का नियम सटीक (sharp) है।

• यदि आधार संख्याएँ बहुत अधिक तेज़ी से बढ़ती हैं, तो आपको लियोविले संख्याएँ मिलती हैं (आयाम 0)।
• लेकिन यदि वे थोड़ा सा कम (विशेष रूप से, यदि वृद्धि दर बहुत तेज़ी से अनंत तक नहीं फटती है) धीमी गति से बढ़ती हैं, तो आपको संख्याओं का एक ऐसा सेट मिलता है जो लियोविले संख्याएँ नहीं हैं।

निष्कर्ष:
लेखकों ने एक गणितीय "छलनी" (sieve) बनाई। आधारों के बढ़ने की गति और अंशों (numerators) के विकल्पों को सावधानीपूर्वक सीमित करके, उन्होंने सिद्ध किया कि आप अपरिमेय और ट्रांसेंडेंटल, लेकिन लियोविले संख्याएँ नहीं, ऐसी संख्याओं का एक "मोटा" संग्रह बना सकते हैं। उन्होंने दिखाया कि सामान्य अपरिमेय संख्याओं और अजीब लियोविले संख्याओं के बीच की सीमा पहले की तुलना में बहुत अधिक सटीक है।

उन्होंने इसका प्रयोग चिकित्सा, इंजीनियरिंग या वित्त पर नहीं किया। उन्होंने बस संख्याओं की मौलिक प्रकृति के बारे में एक पहेली सुलझाई और यह बताया कि इन विशेष संख्याओं का सेट कितना "बड़ा" है।