🔢 mathematics

Branch iterated Galois groups with positive fixed-point proportion and positive Hausdorff dimension

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

मूल लेखक: Santiago Radi

प्रकाशित 2026-08-12

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Santiago Radi

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

एक ऐसी दुनिया की कल्पना करें जो परमाणुओं से नहीं, बल्कि विकल्पों से बनी है। समूह सिद्धांत (group theory) के रूप में ज्ञात गणित की इस शाखा में, वैज्ञानिक यह अध्ययन करते हैं कि वस्तुएं अपने नियमों को तोड़े बिना कैसे इधर-उधर घूम सकती हैं, जिसे वे "सममिति" (symmetry) और "संरचना" (structure) कहते हैं। इसके लिए एक विशेष रूप से आकर्षक खेल का मैदान "रूटेड ट्री" (rooteded tree) है। एक ऐसे पारिवारिक वृक्ष की कल्पना करें जो कभी समाप्त नहीं होता: यह ऊपर एक एकल पूर्वज से शुरू होता है, और प्रत्येक व्यक्ति के बच्चों की संख्या बिल्कुल समान होती है, और उनके बच्चों की संख्या भी समान होती है, अनंत काल तक। यह एक "रेगुलर रूटेड ट्री" है।

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

दशकों से, गणितज्ञ इन शफलर्स के बारे में दो विशिष्ट चीजों को मापने की कोशिश कर रहे हैं। पहला, वे सभी संभावित शफलर्स के ब्रह्मांड के भीतर कितने "बड़े" या "सघन" हैं? इसे "हाउसरडॉर्फ आयाम" (Hausdorff dimension) कहा जाता है। इसे ऐसे समझें जैसे आप देख रहे हों कि धुएं का एक बादल कमरे में कितनी जगह भरता है; 1 का आयाम मतलब वह कमरे को भर देता है, जबकि 0 का मतलब है कि वह बस एक पतला, अदृश्य धागा है। दूसरा, यह देखना कि ये शफलर्स कितनी बार कम से कम एक शाखा को ठीक वहीं छोड़ देते हैं जहाँ से वह शुरू हुई थी? यह "फिक्स्ड-पॉइंट प्रोपोर्शन" (fixed-point proportion) है। यदि आप ताश की गड्डी को शफल करते हैं, तो एक "फिक्स्ड पॉइंट" वह कार्ड है जो अपनी मूल जगह पर रहता है। एक उच्च अनुपात का अर्थ है कि शफलर बहुत सी चीजों को वैसा ही छोड़ देता है; एक निम्न अनुपात का अर्थ है कि वह एक अराजक मूवर है जो लगभग सब कुछ बदल देता है।

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

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

इसे समझने के लिए, पेड़ को "चुनें अपना साहसिक कार्य" (choose your own adventure) के एक विशाल खेल के रूप में देखें। लेखक एक ऐसा समूह बनाता है जहाँ शफलिंग के नियम बहुत विशिष्ट होते हैं। पेड़ में हर कदम पर नीचे जाते समय, शफलर को अनुमत पैटर्न के एक विशिष्ट सेट से एक चाल चुननी होगी। यह शोध पत्र इन शफलर्स के द्वारा किसी शाखा को अकेला छोड़ने की आवृत्ति की गणना करने के लिए एक चतुर तरीका पेश करता है। यह जानकर कि इन विशिष्ट समूहों के लिए, आप अभाज्य संख्याओं (prime numbers) से जुड़े एक सरल सूत्र का उपयोग करके यह गणना कर सकते हैं कि वे कितनी बार चीजों को अकेला छोड़ते हैं। यदि प्रत्येक चरण में शाखाओं की संख्या ( $d$ ) विषम है, तो गणित गारंटी देता है कि शफलर द्वारा किसी चीज़ को यथावत छोड़ने की संभावना गैर-शून्य है।

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

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

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

तकनीकी सारांश: धनात्मक स्थिर-बिंदु अनुपात (Positive Fixed-Point Proportion) और धनात्मक हौसडॉर्फ आयाम (Positive Hausdorff Dimension) वाले ब्रांच इटरेटेड गैलुआ समूह (Branch Iterated Galois Groups)

समस्या विवरण
यह शोध पत्र अंकगणितीय गतिकी (arithmetic dynamics) और रूटेड ट्री (rooted tree) पर कार्य करने वाले समूहों के सिद्धांत में एक विशिष्ट प्रश्न को संबोधित करता है, जो मूल रूप से जोन्स (2008) द्वारा उठाया गया था। केंद्रीय समस्या एक $d$ -रेगुलर रूटेड ट्री, $\text{Aut}(T)$ के लेवल-ट्रांजिटिव (level-transitive) सबग्रुप्स के हौसडॉर्फ आयाम (Hausdorff dimension) और स्थिर-बिंदु अनुपात (fixed-point proportion - FPP) के बीच संबंध से संबंधित है।

जोन्स ने अनुमान लगाया था कि यदि एक लेवल-ट्रांजिटिव समूह $G \leq \text{Aut}(T)$ का धनात्मक हौसडॉर्फ आयाम ( $H(G) > 0$ ) है, तो उसका स्थिर-बिंदु अनुपात शून्य ($FPP(G) = 0 $) होना चाहिए। हालांकि बोस्टन (2008) ने बाइनरी ट्री ($ d=2$) पर इस अनुमान का एक प्रति-उदाहरण (counterexample) प्रदान किया था, लेकिन $d > 2$ वाले पेड़ों के लिए ऐसे कोई उदाहरण ज्ञात नहीं थे, न ही ऐसे उदाहरण मिले जो इटरेटेड गैलुआ समूह (arithmetic iterated monodromy groups) के रूप में उभरते हों। यह शोध पत्र विशेष रूप से इस बात की जांच करता है कि क्या नियमित ब्रांच इटरेटेड गैलुआ समूह (regular branch iterated Galois groups) एक साथ धनात्मक हौसडॉर्फ आयाम और धनात्मक स्थिर-बिंदु अनुपात रख सकते हैं।

कार्यप्रणाली (Methodology)
लेखक समूह-सैद्धांतिक निर्माण (group-theoretic construction) और अंकगणितीय गतिकी विश्लेषण के संयोजन का उपयोग करते हैं:

इटरेटेड व्रेथ उत्पादों का सामान्यीकरण (Generalization of Iterated Wreath Products): यह शोध पत्र $S \subseteq \text{Sym}(d)$ के मनमाने उपसमुच्चयों (subsets) के लिए इटरेटेड व्रेथ उत्पादों $W_S$ की परिभाषा का विस्तार करता है। यह इन समुच्चयों के स्थिर-बिंदु अनुपात के लिए एक पुनरावृत्ति संबंध (recurrence relation) स्थापित करता है, जिससे एक विशेषता बहुपद (characteristic polynomial) $f_S(x)$ प्राप्त होता है। यह सिद्ध किया गया है कि FPP इस बहुपद का $[0, 1]$ में सबसे बड़ा स्थिर बिंदु (fixed point) है।
नियमित ब्रांच समूहों ( $G^P_Q$ ) का निर्माण: उपसमूहों $Q \triangleleft P \leq \text{Sym}(d)$ के लिए समूहों का एक नया परिवार, जिसे $G^P_Q$ के रूप में नामित किया गया है, निर्मित किया गया है। इन समूहों में वे ऑटोकॉस्मोरफिज्म (automorphisms) शामिल हैं जहाँ किसी भी वर्टेक्स (vertex) के बच्चों पर क्रिया $P/Q$ के समान कॉसेट (coset) में होती है। शोध पत्र यह सिद्ध करता है कि यदि $Q$ ट्रांजिटिव (transitive) है, तो ये समूह नियमित ब्रांच (और इस प्रकार धनात्मक हौसडॉर्फ आयाम वाले) होते हैं।
FPP की स्पष्ट गणना: विशेषता बहुपद पद्धति का उपयोग करते हुए, लेखक $G^P_Q$ के FPP के लिए एक स्पष्ट सूत्र निकालते हैं, जो $P/Q$ के कॉसेट्स से जुड़े इटरेटेड व्रेथ उत्पादों के औसत के रूप में होता है।
अंकगणितीय यथार्थता (Arithmetic Realization): निर्मित समूहों को यूनिक्रिटिकल बहुपदों $f(x) = x^d + c$ के इटरेटेड गैलुआ समूहों से जोड़ा गया है। एक ट्रांसेंडेंटल तत्व $t$ के प्री-इमेजेस (preimages) पर गैलुआ क्रिया का विश्लेषण करके, लेखक प्रदर्शित करते हैं कि विशिष्ट $K$ और $c$ के चयन के लिए, अंकगणितीय इटरेटेड गैलुआ समूह $G_\infty(K, x^d+c, t)$ निर्मित समूह $G^P_Q$ के आइसोमॉर्फिक (isomorphic) है।

मुख्य योगदान और परिणाम

प्रमेय 1 (मुख्य परिणाम): एक क्षेत्र $K$ (जहाँ $\text{char}(K) \nmid d$ ) पर एक पोस्ट-क्रिटिकली इनफिनिट (post-critically infinite) यूनिक्रिटिकल बहुपद $f(x) = x^d + c$ के लिए, अंकगणितीय इटरेटेड गैलुआ समूह $G_\infty(K, x^d+c, t)$ नियमित ब्रांच है।
- इसका हौसडॉर्फ आयाम स्पष्ट रूप से $H(G) = \frac{\log(d)}{\log(d!)}$ के रूप में गणना किया गया है।
- इसका स्थिर-बिंदु अनुपात निम्न द्वारा दिया गया है:
  $FPP(G) = \frac{\#\{a \in I : a - 1 \in (\mathbb{Z}/d\mathbb{Z})^\times\}}{\Phi(d)}$
  जहाँ $I$ $(\mathbb{Z}/d\mathbb{Z})^\times$ में गैलुआ समूह $\text{Gal}(K(\xi)/K)$ का इमेज (image) है।
- महत्वपूर्ण निष्कर्ष: यदि $K = \mathbb{Q}$ है और $d$ विषम (odd) है, तो स्थिर-बिंदु अनुपात धनात्मक है। विशेष रूप से, $FPP = \prod_{p|d} \frac{p-2}{p-1}$ । यह बाइनरी ट्री के बाहर के पहले उदाहरण प्रदान करता है जहाँ एक लेवल-ट्रांजिटिव समूह में धनात्मक हौसडॉर्फ आयाम और धनात्मक FPP दोनों हैं।
प्रमेय 2 (सामान्य परिवार): यह शोध पत्र $d = 2^n r$ (जहाँ $r$ विषम है) के लिए $Q = C_2^n \times C_r$ के साथ नियमित ब्रांच समूहों का एक व्यापक परिवार निर्मित करता है। ये समूह भी धनात्मक हौसडॉर्फ आयाम प्रदर्शित करते हैं और $d \not\equiv 2 \pmod 4$ के लिए, धनात्मक स्थिर-बिंदु अनुपात प्रदर्शित करते हैं।
प्रमेय 3 (इटरेटेड व्रेथ उत्पादों का स्थिर-बिंदु अनुपात): यह शोध पत्र किसी भी इटरेटेड व्रेथ उत्पाद $W_S$ (जहाँ $S \subseteq \text{Sym}(d)$ ) के FPP की गणना के लिए एक सामान्य एल्गोरिदम प्रदान करता है। यह सिद्ध करता है कि FPP बहुपद $f_S(x)$ का सबसे बड़ा स्थिर बिंदु है जिसकी डिग्री अधिकतम $d-1$ है। यह निर्धारित करता है कि $S$ के तत्वों के ट्रांजिटिविटी और फिक्स्ड-पॉइंट गुणों के आधार पर FPP कब 0, 1, या 0 और 1 के बीच होता है।
अनुमान का समाधान: यह शोध पत्र जोन्स के प्रश्न 1.1 का नकारात्मक उत्तर देता है। यह प्रदर्शित करता है कि "धनात्मक हौसडॉर्फ आयाम होने पर शून्य स्थिर-बिंदु अनुपात" की स्थिति नियमित ब्रांच इटरेटेड गैलुआ समूहों के वर्ग के लिए लागू नहीं होती है जब $d$ विषम हो।

महत्व
यह शोध पत्र दावा करता है कि बाइनरी रूटेड ट्री ( $d=2$ ) के बाहर के पहले उदाहरण प्रदान करता है जहाँ एक लेवल-ट्रांजिटिव समूह में धनात्मक हौसडॉर्फ आयाम और धनात्मक स्थिर-बिंदु अनुपात दोनों हैं। यह सीधे तौर पर उस अनुमान का खंडन करता है कि "बड़े" समूहों (इटरेटेड गैलुआ समूहों के संदर्भ में) के लिए ये गुण परस्पर अनन्य (mutually exclusive) हैं।

इसके अलावा, यह कार्य अमूर्त समूह सिद्धांत (regular branch groups) और अंकगणितीय गतिकी (iterated Galois groups) के बीच के अंतर को पाटता है। इन अंकगणितीय समूहों के लिए FPP की स्पष्ट गणना करके, यह शोध पत्र संख्या सिद्धांत में डायनेमिकल सीक्वेंसों (dynamical sequences) में विभाजित होने वाले अभाज्य संख्याओं (primes) के डिरिचलेट घनत्व (Dirichlet density) को समझने के लिए नए उपकरण प्रदान करता है। समूह $G^P_Q$ का निर्माण और बहुपद $f_S(x)$ का व्युत्पन्न, पेड़ों पर कार्य करने वाले समूहों में स्थिर-बिंदु अनुपातों के विश्लेषण के लिए एक व्यवस्थित ढांचा प्रदान करता है, जो पिछले परिणामों का विस्तार करता है जो विशिष्ट मामलों या सबग्रुप्स तक सीमित थे।

लेखक नोट करते हैं कि जबकि बाइनरी ट्री मामले ( $d=2$ ) को बोस्टन द्वारा पहले ही संबोधित किया जा चुका था, विषम-डिग्री मामला ( $d \geq 3$ ) पिछले साहित्य में एक महत्वपूर्ण बाधा प्रस्तुत करता था, जिसे यह शोध पत्र यूनिक्रिटिकल बहुपदों की विशिष्ट संरचना और साइक्लोटोमिक क्षेत्रों (cyclotomic fields) की अंकगणित का उपयोग करके दूर करता है।

इसी तरह के और पेपर