From some Pisot numerations to topological groups

तकनीकी सारांश: कुछ पिसोट (Pisot) संख्यात्मक प्रणालियों से टोपोलॉजिकल समूहों तक

समस्या विवरण
$p$-adic पूर्णांकों का योगात्मक समूह, $\mathbb{Z}_p$, शास्त्रीय रूप से परिमित समूहों $\mathbb{Z}/p^n\mathbb{Z}$ के व्युत्क्रम सीमा (inverse limit) के रूप में या आधार-$p$ विस्तारों के तहत प्राकृतिक संख्याओं $\mathbb{N}$ के टोपोलॉजिकल पूर्णता (topological completion) के रूप में निर्मित किया जाता है। इस निर्माण का एक प्रमुख गुण यह है कि इसमें 'कैरी' (carries) सख्ती से बाईं ओर प्रसारित होते हैं, जो गैर-आर्किमिडियन असमानता $\nu_p(x+y) \geq \min(\nu_p(x), \nu_p(y))$ को संतुष्ट करते हैं।

यह शोध पत्र पिसोट संख्यात्मक प्रणालियों (Pisot numeration systems) के लिए एक समान टोपोलॉजिकल समूह के निर्माण को संबोधित करता है। ऐसी प्रणालियों में, आधार $p$ की घातों को एक अनुक्रम $(u_n)_{n \geq 0}$ द्वारा प्रतिस्थापित किया जाता है, जो एक रैखिक पुनरावृत्ति (linear recurrence) द्वारा उत्पन्न होता है जिसका अभिलक्षणिक बहुपद (characteristic polynomial) एक पिसोट संख्या $\beta$ का न्यूनतम बहुपद है ($\beta$ एक बीजगणिक पूर्णांक $>1$ है जिसके संयुग्मी (conjugates) इकाई डिस्क के भीतर स्थित होते हैं)। आधार-$p$ प्रणालियों के विपरीत, पिसोट संख्यात्मक प्रणालियाँ (जैसे ज़ेकेनडॉर्फ/फाइबोनैकी) "गैर-मानक" कैरी प्रसार प्रदर्शित करती हैं, जहाँ कैरी बाएं और दाएं दोनों दिशाओं में जा सकते हैं। फलस्वरूप, शास्त्रीय $p$-adic मूल्यांकन गुण विफल हो जाते हैं, और परिणामी समूह संरचना एक शून्य-आयामी टोपोलॉजी वाला प्रोफाइनाइट समूह नहीं होता है। लेखक एक ऐसा समूह $\mathbb{Z}_U$ परिभाषित करने का प्रयास करते हैं जो इन प्रणालियों के लिए $\mathbb{Z}_p$ के अनुरूप हो और इसके टोपोलॉजिकल ढांचे को स्पष्ट कर सके।

कार्यप्रणाली
लेखक निम्नलिखित चरणों के माध्यम से समूह $\mathbb{Z}_U$ का निर्माण करते हैं:

1. भागफल (Quotients) के माध्यम से समूह निर्माण:

   • मान लीजिए $G$ घटक-वार योग (component-wise addition) के अंतर्गत परिबद्ध पूर्णांक-मान वाले अनुक्रमों $(g_n)_{n \geq 0}$ का अबेलियन समूह है।
   • प्रतिनिधित्व किए गए पूर्णांक के सामान्यीकृत $U$-विस्तार में पहले गैर-शून्य अंक के क्रम के आधार पर एक "छद्म-मूल्यांकन" (pseudo-valuation) $\nu_U$ को परिभाषित किया गया है।
   • शून्य संरक्षण (Zero preservation) की अवधारणा पेश की गई है: एक संख्यात्मक प्रणाली $U$ शून्य सुरक्षित रखती है यदि एक स्थिरांक $K_c$ मौजूद है जिससे किसी भी अनुक्रम $g$ के लिए (जिसके प्रविष्टियाँ परिबद्ध हैं), $\nu_U(g) \geq \text{ord}(g) - K_c$ हो। यह स्थिति सुनिश्चित करती है कि कैरी दाईं ओर बहुत दूर तक प्रसारित न हों।
   • एक उपसमूह $H_U \subset G$ को उन अनुक्रमों $g$ के सेट के रूप में परिभाषित किया गया है जहाँ उपसर्गों (prefixes) का मूल्यांकन अनंत की ओर अग्रसर होता है।
   • $U$-adic पूर्णांकों का समूह भागफल $\mathbb{Z}_U := G/H_U$ के रूप में परिभाषित किया गया है।

2. टोपोलॉजिकल संरचना और मानचित्रण:

   • $G$ पर एक मीट्रिक टोपोलॉजी को $\beta$ के संयुगीओं द्वारा भारित एक नॉर्म (norm) का उपयोग करके परिभाषित किया गया है, विशेष रूप से $\|g\|_U = \sum |g_n| \gamma^n$, जहाँ $\gamma < 1$ $\beta$ के संयुगीओं का अधिकतम मापांक (modulus) है।
   • एक होमोमोर्फिज्म $\tilde{\Phi}: G \to \mathbb{C}^k \times \mathbb{R}^\ell$ का निर्माण किया गया है, जो एक अनुक्रम को $\beta$ के संयुगीओं के योग में मैप करता है।
   • यह दिखाया गया है कि उपसमूह $H_U$ का $\tilde{\Phi}$ के तहत प्रतिबिंब एक विशिष्ट लैटिस (lattice) $L$ में स्थित है, जो घातों द्वारा उत्पन्न होता है।
   • यह एक निरंतर समूह होमोमोर्फिज्म $\Phi: \mathbb{Z}_U \to (\mathbb{C}^k \times \mathbb{R}^\ell)/L$ को प्रेरित करता है, जहाँ सह-डोमेन एक टॉरस $\mathbb{T}^{d-1}$ है।

3. कंडीशन F के साथ तुल्यता:

   • शोध पत्र संख्यात्मक प्रणाली $U$ के लिए "शून्य संरक्षण" के बीजगणिक गुण और संबंधित $\beta$-संख्यात्मक प्रणाली के लिए कंडीशन F (फ्रौग्नी और सोलियाक द्वारा प्रस्तुत) के बीच एक महत्वपूर्ण कड़ी स्थापित करता है। कंडीशन F के लिए आवश्यक है कि $\mathbb{Z}[\beta] \subset \text{Fin}(\beta)$, जिसका अर्थ है कि $\mathbb{Z}[\beta]$ के प्रत्येक तत्व का एक परिमित $\beta$-विस्तार होता है।
   • लेखक सिद्ध करते हैं कि $U$ शून्य सुरक्षित रखता है यदि और केवल यदि संबंधित $\beta$ कंडीशन F को संतुष्ट करता है।

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

• $\mathbb{Z}_U$ की परिभाषा: यह शोध पत्र $\mathbb{Z}_U$ को एक टोपोलॉजिकल समूह के रूप में प्रस्तुत करता है जो पिसोट संख्यात्मक प्रणालियों के लिए $p$-adic पूर्णांकों का सामान्यीकरण करता है। यह दिखाया गया है कि $\mathbb{Z}_U$ के तत्वों को अंकों के अनंत सामान्यीकृत अनुक्रमों द्वारा दर्शाया जा सकता है।
• टोरस के साथ टोपोलॉजिकल आइसोमोर्फिज्म:
  • प्रमेय 1: यदि $U$ एक पिसोट संख्या $\beta$ (डिग्री $d$) से जुड़ी एक पिसोट संख्यात्मक प्रणाली है और $U$ शून्य सुरक्षित रखता है, तो एक निरंतर समूह एपिमॉर्फिज्म (epimorphism) $\Phi: \mathbb{Z}_U \to \mathbb{T}^{d-1}$ मौजूद है।
  • यूनिमोडुलर मामला: यदि $\beta$ यूनिमोडुलर है (अर्थात $\beta$ का नॉर्म $\pm 1$ है), तो $\Phi$ एक निरंतर समूह आइसोमोर्फिज्म है। इस प्रकार, $\mathbb{Z}_U$ एक $(d-1)$-आयामी टॉरस के टोपोलॉजिकल रूप से आइसोमॉर्फिक है।
• शून्य संरक्षण का लक्षण वर्णन: शोध पत्र एक निर्णय प्रक्रिया (decision procedure) प्रदान करता है कि कब एक संख्यात्मक प्रणाली शून्य सुरक्षित रखती है, इसे कंडीशन F से जोड़कर। यह पुष्टि करता है कि मानक $k$-bonacci संख्यात्मक प्रणालियाँ (फाइबोनैकी सहित) शून्य सुरक्षित रखती हैं।
• ज्यामितीय निरूपण: समूह $\mathbb{Z}_U$ को यूक्लिडियन स्पेस (या टॉरस के फंडामेंटल डोमेन) के टाइलिंग के रूप में एक ज्यामितीय प्रतिनिधित्व प्राप्त है। मानचित्र $\Phi$ समूह तत्वों को टॉरस पर बिंदुओं पर भेजता है, जहाँ सामान्यीकृत विस्तारों का प्रतिबिंब एक टाइलिंग (जैसे ट्राइबोनैकी मामले के लिए राउज़ी फ्रैक्टल) बनाता है।

महत्व और दावे

लेखक अपने कार्य को संख्यात्मक प्रणालियों के संरचनात्मक ढांचे को समझने में एक अंतराल को भरने के रूप में देखते हैं। जबकि पिछले कार्यों (जैसे वर्शिक, रिटॉड, विवियर) ने विशिष्ट संख्यात्मक प्रणालियों के पूर्णता या वांग टाइल्स (Wang tiles) के साथ संबंधों का अन्वेषण किया था, यह शोध पत्र स्पष्ट रूप से शून्य संरक्षण को संतुष्ट करने वाली सामान्य श्रेणी के पिसोट संख्यात्मक प्रणालियों के लिए समूह संरचना का निर्माण करता है।

लेखक दावा करते हैं कि:

1. $\mathbb{Z}_U$ का निर्माण "प्राकृतिक संख्याओं के फाइबोनैकी अपघटन" और इसी तरह की प्रणालियों के लिए एक कठोर बीजगणिक ढांचा प्रदान करता है, जो कैरेक्टर थ्योरी से आगे बढ़कर स्पष्ट समूह आइसोमोर्फिज्म तक जाता है।
2. शून्य संरक्षण की स्थिति $\beta$-संख्यात्मक प्रणालियों से टोपोलॉजिकल समूह बनाने के संदर्भ में कंडीशन F का सटीक समानांतर है।
3. $p$-adic पूर्णांकों के विपरीत, जो शून्य-आयामी होते हैं, ये समूह उच्च-आयामी मैनिफोल्ड (टोरी) होते हैं जब अंतर्निहित संख्या यूनिमोडुलर होती है।
4. परिणाम विशिष्ट संख्यात्मक प्रणालियों के लिए हैं न कि केवल प्रतिस्थापन (substitutions) के लिए, हालांकि लेखक नोट करते हैं कि उनके परिणामों को $\beta$-प्रतिस्थापन पर स्थानांतरित किया जा सकता है ताकि यह निष्कर्ष निकाला जा सके कि ऐसे शिफ्ट लगभग ऑटोमॉर्फिक (almost automorphic) हैं (एक परिणाम जिसे भविष्य के कार्य में विस्तृत किया जाएगा)।

शोध पत्र स्पष्ट रूप से सीमाओं को नोट करता है: $\mathbb{Z}_p$ की गुणात्मक संरचना स्वाभाविक रूप से $\mathbb{Z}_U$ तक विस्तारित नहीं होती है क्योंकि मानक पूर्णांक गुणन टोपोलॉजी के अनुकूल नहीं है (यह शून्य को सुरक्षित नहीं रखता है), और वैकल्पिक गुणन (जैसे नूथ का गुणन) वितरण (distributivity) का अभाव रखते हैं। अतः, ध्यान पूरी तरह से योगात्मक टोपोलॉजिकल समूह संरचना पर केंद्रित है।