A family of level-transitive groups with positive fixed-point proportion and positive Hausdorff dimension

एक विशाल, अनंत वन की कल्पना करें जहाँ पेड़ की हर शाखा ठीक समान संख्या में छोटी शाखाओं में विभाजित होती है, और यह सिलसिला अनंत तक चलता रहता है। गणित की दुनिया में, इसे एक "नियमित वृक्ष" (regular tree) कहा जाता है, और वहाँ रहने वाले जीव "ऑटोमोर्फिज्म" (automorphisms) के समूह हैं—इन्हें जादुई नर्तकों के रूप में सोचें जो पेड़ की संरचना को तोड़े बिना उसकी शाखाओं को इधर-उधर व्यवस्थित कर सकते हैं। गणितज्ञ इन नर्तकों का अध्ययन करना पसंद करते हैं क्योंकि उनकी चालें अक्सर संख्याओं और समीकरणों के गहरे रहस्य छिपाए रखती हैं। इन नर्तकों के बारे में सबसे बड़ा रहस्य यह पता लगाना है कि कितने नर्तक अंततः हिलना बंद कर देते हैं। विशेष रूप से, गणितज्ञ पूछते हैं कि यदि आप यादृच्छिक रूप से (at random) एक नर्तक चुनते हैं, तो क्या संभावना है कि वे अनंत तक जाने वाले कम से कम एक पथ पर स्थिर हो जाएंगे। इस संभावना को "फिक्स्ड-पॉइंट प्रोपोर्शन" (fixed-point proportion) कहा जाता है। लंबे समय तक, अधिकांश विशेषज्ञों का मानना था कि इन दिलचस्प नर्तकों के समूहों के लिए यह संभावना शून्य थी—अर्थात लगभग कोई भी रुकता नहीं है। हालाँकि कुछ दुर्लभ अपवाद मौजूद थे, लेकिन वे इतने जटिल थे कि कोई उनका सटीक अनुपात नहीं निकाल सका।

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

अनंत वृक्ष का नृत्य

एक अनंत वृक्ष की कल्पना करें जहाँ हर शाखा हमेशा के लिए $d$ नई शाखाओं में विभाजित होती है। अब, नर्तकों के एक समूह की कल्पना करें जो इन शाखाओं को पुनर्व्यवस्थित कर सकते हैं। उन्हें सख्त नियमों का पालन करना चाहिए: यदि वे एक शाखा को हिलाते हैं, तो उन्हें उससे जुड़ी पूरी उप-शाखा (subtree) को भी उसी सुसंगत तरीके से हिलाना होगा। गणितज्ञ इन नर्तकों को "ऑटोमोर्फिज्म" कहते हैं, और उनके द्वारा बनाया गया समूह "वृक्ष पर कार्य करने वाला समूह" (group acting on a tree) कहलाता है।

यह शोध पत्र इस मुख्य प्रश्न पर काम करता है: इनमें से कितने नर्तक कभी हिलना बंद कर देते हैं?

इसे समझने के लिए, पेड़ में नीचे से ऊपर की ओर (एक अनंत पथ) जाने वाले एक विशिष्ट पथ की कल्पना करें। एक नर्तक एक पथ को "फिक्स" (fix) करता है यदि, अपनी हलचल के बाद, वह विशिष्ट पथ पहले जैसा ही दिखाई दे। "फिक्स्ड-पॉइंट प्रोपोर्शन" बस उन नर्तकों का प्रतिशत है जो कम से कम एक अनंत पथ को स्थिर (fix) करते हैं।

दशकों से, गणितज्ञों को लगा कि अधिकांश दिलचस्प समूहों के लिए यह प्रतिशत शून्य था। यह ऐसा था जैसे यह विश्वास करना कि एक विशाल, अराजक नृत्य पार्टी में, कोई भी कभी स्थिर नहीं रहता। हालांकि कुछ ज्ञात अपवाद थे, वे दुर्लभ थे, और उनके लिए सटीक प्रतिशत निकालना लगभग असंभव था। इनमें से कुछ अपवाद "इटरेटेड गैलवाइ ग्रुप्स" (iterated Galois groups) से संबंधित थे, जो उन समूहों के रूप में प्रकट होते हैं जब आप बार-बार बहुपद समीकरणों (जैसे $x^d + 1 = 0$) के समाधानों का अध्ययन करते हैं।

नर्तकों के लिए एक नई फैक्ट्री

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

लेखक इन समूहों का निर्माण दो उपसमूहों, $Q$ और $P$, के उपयोग से करते हैं, जो नृत्य के नियमों की तरह कार्य करते हैं। इन समूहों को $G^P_Q$ के रूप में दर्शाया जाता है। पेपर यह सिद्ध करता है कि यदि आप इन नियमों को सही ढंग से चुनते हैं, तो परिणामी समूह में निश्चित रूप से ऐसे नर्तक होंगे जो रुक जाते हैं।

जादुई सूत्र

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

रेडी अनुमत चालों के सेट $S$ के आधार पर एक विशेष बहुपद, $f_S(x)$, परिभाषित करते हैं। फिक्स्ड-पॉइंट प्रोपोर्शन बस 0 और 1 के बीच की वह सबसे बड़ी संख्या है जो समीकरण $f_S(x) = x$ को हल करती है।

• यदि $S$ में चालें बहुत अराजक (transitive) हैं, तो उत्तर 0 है।
• यदि चालें बहुत प्रतिबंधात्मक हैं (हर चाल कम से कम एक स्थान को स्थिर करती है), तो उत्तर 1 है।
• यदि चालें इनके बीच की हैं, तो उत्तर 0 और 1 के बीच एक विशिष्ट संख्या है, जिसे सटीक रूप से गणना किया जा सकता है।

यह पिछले कार्यों की तुलना में एक बहुत बड़ा सुधार है, जहाँ ऐसी गणनाएँ अक्सर असंभव थीं या केवल शून्य के रूप में ज्ञात थीं।

समूहों का नया परिवार

इस सूत्र का उपयोग करते हुए, रेडी समूहों का एक विशिष्ट परिवार $G^P_Q$ बनाता है, जो $d$ शाखाओं वाले वृक्ष पर कार्य करते हैं (जहाँ $d \ge 3$ और $d \equiv 2 \pmod 4$ नहीं है)। ये समूह हैं:

1. सेल्फ-सिमिलर (Self-similar): वे वैसे ही दिखते हैं चाहे आप पेड़ में कितनी भी गहराई में जाएँ।
2. लेवल-ट्रांसिटिव (Level-transitive): वे किसी भी स्तर पर किसी भी शाखा को उस स्तर की किसी अन्य शाखा में बदल सकते हैं।
3. विशाल (Large): उनका पॉजिटिव हॉसडॉर्फ डायमेंशन है, जिसका अर्थ है कि वे गणितीय अर्थ में "बड़े" हैं।
4. रुकने वाले (Stopping): उनके पास एक पॉजिटिव फिक्स्ड-पॉइंट प्रोपोर्शन है।

पेपर दो विशिष्ट उदाहरणों के लिए इस अनुपात की स्पष्ट गणना करता है।

उदाहरण 1: मॉड्यूलर डांस (The Modular Dance)
लेखक पूर्णांकों (integers modulo $d$) पर आधारित एक समूह का निर्माण करते हैं। फिक्स्ड-पॉइंट प्रोपोर्शन निम्नलिखित निकलता है:
$$\frac{\#\{a \in (\mathbb{Z}/d\mathbb{Z})^\times : a - 1 \in (\mathbb{Z}/d\mathbb{Z})^\times\}}{\Phi(d)}$$
यह $d$ के अभाज्य गुणनखंडों (prime factors) से जुड़े एक गुणनफल के रूप में सरल हो जाता है:
$$\prod_{p|d} \frac{p-2}{p-1}$$
यह सूत्र तब पूरी तरह काम करता है जब $d$ विषम (odd) हो। यदि $d$ सम (even) है, तो अनुपात शून्य है।

उदाहरण 2: बहुपद संबंध (The Polynomial Connection)
सबसे रोमांचक हिस्सा यह है कि यह निर्माण केवल अमूर्त गणित नहीं है। पेपर दिखाता है कि इनमें से एक समूह वास्तव में बहुपद $f(x) = x^d + 1$ का "इटरेटेड गैलवा ग्रुप" है।
इसका अर्थ है कि बहुपद $x^d + 1$ के लिए, इसके जड़ों (roots) के अनंत अनुक्रम की सममिति (symmetry) का एक गणना योग्य, पॉजिटिव फिक्स्ड-पॉइंट प्रोपोर्शन है। पेपर सिद्ध करता है कि $d \ge 3$ (और $d \not\equiv 2 \pmod 4$) के लिए, यह अनुपात है:
$$\prod_{p|d} \frac{p-2}{p-1}$$
यह एक ठोस, स्पष्ट संख्या है जिसे गणितज्ञ अब उपयोग कर सकते हैं, जबकि पहले यह एक रहस्य था।

"असंभव" मामलों के बारे में क्या?

पेपर एक विशिष्ट मामले को भी संबोधित करता है जहाँ $d \equiv 2 \pmod 4$ (जैसे $d=2, 6, 10, \dots$)। लेखक ने इन मानों के लिए इन समूहों को बनाने की कोशिश की लेकिन उन्हें एक "रुकावट" (blockage) मिली। कंप्यूटर सॉफ्टवेयर (GAP) का उपयोग करते हुए, उन्होंने $d=30$ तक के सभी ट्रांसिटिव समूहों की जाँच की और पाया कि कोई भी समूह उन आवश्यक शर्तों को पूरा नहीं करता जो पॉजिटिव फिक्स्ड-पॉइंट प्रोपोर्शन रखने के लिए जरूरी हैं। यह सुझाव देता है कि इन विशिष्ट संख्याओं के लिए, ऐसे समूह शायद अस्तित्व में नहीं हैं, या कम से कम उस तरह से नहीं हैं जिस तरह से लेखक ने उनका निर्माण किया था। पेपर यह साबित नहीं करता है कि वे अस्तित्व में नहीं हैं, लेकिन यह एक बाधा का संकेत जरूर देता है।

निष्कर्ष

यह पेपर उस पहेली को हल करता है जिसे कई गणितज्ञों ने असंभवी माना था: एक बड़े, जटिल समूह के नर्तकों को खोजना जो गैर-शून्य संभावना के साथ रुक जाते हैं, और वास्तव में उस संभावना की गणना करना। यह इन मूल्यों के लिए एक स्पष्ट, सटीक सूत्र प्रदान करता है, जिससे एक अस्पष्ट अवधारणा एक सटीक उपकरण में बदल जाती है। यह उनके अमूर्त समूह सिद्धांत को बहुपद समीकरणों के अध्ययन से सीधे जोड़ता है, यह दिखाते हुए कि $x^d + 1$ की सममिति में एक मापने योग्य "स्टॉपिंग पावर" होती है।

लेखक नए प्रश्न पूछते हैं: क्या हम अपनी इच्छानुसार कोई भी फिक्स्ड-पॉइंट प्रोपोर्शन वाला समूह पा सकते हैं? क्या होता है यदि हम यादृच्छिक रूप से नर्तकों को चुनें? लेकिन फिलहाल, मुख्य उपलब्धि स्पष्ट है: अब हमारे पास इन विशेष समूहों के लिए एक फैक्ट्री है, और हमें पता है कि उनमें से कितने नर्तक नृत्य करना बंद कर देते हैं।