2025-11-10T03:03:00.007980

Topological Sequence Entropy of co-Induced Systems

Leonard
Let $G$ be a discrete, countably infinite group and $H$ a subgroup of $G$. If $H$ acts continuously on a compact metric space $X$, then we can induce a continuous action of $G$ on $\prod_{H\backslash G}X$ where $H\backslash G$ is the collection of right-cosets of $H$ in $G$. This process is known as the co-induction. In this article, we will calculate the maximal pattern entropy of the co-induction. If $[G:H] < +\infty$ we will show that the $H$ action is null if and only if the co-induced action of $G$ is null. Also, we will discuss an example where $H$ is a proper subgroup of $G$ with finite index where the maximal pattern entropy of the $H$ action is equal to the co-induced action of $G$. If $[G:H] = +\infty$ we will show that the maximal pattern entropy of the co-induction is always $+\infty$ given the $H$-system is not trivial.
academic

सह-प्रेरित प्रणालियों की सांस्थितिक अनुक्रम एंट्रॉपी

मूल जानकारी

  • पेपर ID: 2409.10745
  • शीर्षक: सह-प्रेरित प्रणालियों की सांस्थितिक अनुक्रम एंट्रॉपी
  • लेखक: Dakota M. Leonard
  • वर्गीकरण: math.DS (गतिशील प्रणालियाँ)
  • प्रकाशन समय: सितंबर 2024 (arXiv v2: 16 जनवरी 2025)
  • पेपर लिंक: https://arxiv.org/abs/2409.10745

सारांश

मान लीजिए GG एक असतत गणनीय अनंत समूह है और HH, GG का एक उपसमूह है। यदि HH एक सघन मीट्रिक स्पेस XX पर निरंतर कार्य करता है, तो GG के ∏H\GX\prod_{H\backslash G}X पर एक निरंतर कार्य को प्रेरित किया जा सकता है, जहाँ H\GH\backslash G, GG में HH के दाएँ सहसमुच्चय का समुच्चय है। इस प्रक्रिया को सह-प्रेरण (co-induction) कहा जाता है। यह पेपर सह-प्रेरित प्रणालियों की अधिकतम पैटर्न एंट्रॉपी की गणना करता है। जब [G:H]<+∞[G:H] < +\infty हो, तो यह सिद्ध करता है कि HH की कार्रवाई शून्य है यदि और केवल यदि GG की सह-प्रेरित कार्रवाई शून्य है। जब [G:H]=+∞[G:H] = +\infty हो, तो यह सिद्ध करता है कि जब तक HH-प्रणाली गैर-तुच्छ है, सह-प्रेरित की अधिकतम पैटर्न एंट्रॉपी हमेशा +∞+\infty होती है।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

  1. सांस्थितिक गतिशील प्रणालियों का एंट्रॉपी सिद्धांत: 1965 में Adler और अन्य द्वारा सांस्थितिक एंट्रॉपी की शुरुआत के बाद से, एंट्रॉपी सिद्धांत गतिशील प्रणालियों को अलग करने के लिए एक महत्वपूर्ण अपरिवर्तनीय बन गया है। निर्धारक प्रणालियों (सांस्थितिक एंट्रॉपी शून्य) के लिए, अधिक सूक्ष्म अपरिवर्तनीयों की आवश्यकता होती है।
  2. अनुक्रम एंट्रॉपी का विकास: Goodman ने 1974 में Z\mathbb{Z}-प्रणालियों के लिए सांस्थितिक अनुक्रम एंट्रॉपी की शुरुआत की, और Huang और Ye ने 2011 में अधिकतम पैटर्न एंट्रॉपी को आगे बढ़ाया, जो किसी भी समूह कार्रवाई पर लागू होता है।
  3. सह-प्रेरण निर्माण की महत्ता: सह-प्रेरण उपसमूह कार्रवाई से बड़े समूह कार्रवाई के निर्माण की एक महत्वपूर्ण विधि है, जो Ornstein समूहों, माप-सैद्धांतिक एंट्रॉपी गुणों आदि के अध्ययन में महत्वपूर्ण अनुप्रयोग है।

अनुसंधान प्रेरणा

  1. सैद्धांतिक पूर्णता: हालांकि यह ज्ञात है कि सह-प्रेरण सांस्थितिक एंट्रॉपी को संरक्षित करता है (amenable समूहों के लिए), अधिकतम पैटर्न एंट्रॉपी का व्यवहार अभी तक व्यवस्थित रूप से अध्ययन नहीं किया गया है।
  2. समूह संरचना और गतिशील गुणों का संबंध: उपसमूह सूचकांक [G:H][G:H] कैसे सह-प्रेरित प्रणाली के एंट्रॉपी गुणों को प्रभावित करता है, यह खोजना।
  3. स्थानीय एंट्रॉपी सिद्धांत का अनुप्रयोग: IN-टुपल सिद्धांत का उपयोग करके नए विश्लेषण उपकरण प्रदान करना।

मुख्य योगदान

  1. परिमित सूचकांक स्थिति का पूर्ण लक्षण वर्णन: जब [G:H]<+∞[G:H] < +\infty हो, तो यह सिद्ध किया गया है कि मूल प्रणाली शून्य प्रणाली है यदि और केवल यदि सह-प्रेरित प्रणाली शून्य प्रणाली है (प्रमेय 3.3)।
  2. केंद्रीय उपसमूहों के लिए सटीक सूत्र: जब H⊆Z(G)H \subseteq Z(G) और [G:H]<+∞[G:H] < +\infty हो, तो सटीक संबंध htop∗(XHG,G)=[G:H]htop∗(X,H)h^*_{top}(X^G_H, G) = [G:H]h^*_{top}(X,H) स्थापित किया गया है (प्रमेय 3.4)।
  3. गैर-केंद्रीय उपसमूहों के लिए प्रतिउदाहरण: अर्ध-प्रत्यक्ष गुणनफल समूह G=Z⋊Z/2ZG = \mathbb{Z} \rtimes \mathbb{Z}/2\mathbb{Z} का एक ठोस उदाहरण बनाया गया है, जो दिखाता है कि जब H⊈Z(G)H \not\subseteq Z(G) हो तो उपरोक्त सूत्र सत्य नहीं है।
  4. अनंत सूचकांक का पूर्ण लक्षण वर्णन: जब [G:H]=+∞[G:H] = +\infty हो, तो यह सिद्ध किया गया है कि जब तक मूल स्पेस गैर-तुच्छ है, सह-प्रेरित प्रणाली की अधिकतम पैटर्न एंट्रॉपी अवश्य +∞+\infty होती है (प्रमेय 3.14)।

विधि विवरण

कार्य परिभाषा

दिया गया सांस्थितिक गतिशील प्रणाली (X,H,α)(X,H,\alpha) और समूह GG जिसमें HH शामिल है, सह-प्रेरित प्रणाली (XHG,G,αH\G)(X^G_H, G, \alpha^{H\backslash G}) की अधिकतम पैटर्न एंट्रॉपी htop∗(XHG,G)h^*_{top}(X^G_H, G) और मूल प्रणाली की अधिकतम पैटर्न एंट्रॉपी htop∗(X,H)h^*_{top}(X,H) के बीच संबंध का विश्लेषण करना।

मुख्य निर्माण: सह-प्रेरित प्रणाली

1. स्पेस निर्माण

  • XH,αG:={f∈XG:f(hg)=αh(f(g)),∀h∈H,∀g∈G}X^G_{H,\alpha} := \{f \in X^G : f(hg) = \alpha_h(f(g)), \forall h \in H, \forall g \in G\} को परिभाषित करें
  • दाएँ सहसमुच्चय विघटन G=⨆θ∈H\GHθG = \bigsqcup_{\theta \in H\backslash G} H\theta के माध्यम से, समरूपी स्पेस XHG=∏θ∈H\GXX^G_H = \prod_{\theta \in H\backslash G} X प्राप्त करें

2. समूह कार्रवाई परिभाषा

g0∈Gg_0 \in G और f∈XHGf \in X^G_H के लिए: αg0H\G(f)(Hg)=αs(Hg)g0s(Hgg0)−1f(Hgg0)\alpha^{H\backslash G}_{g_0}(f)(Hg) = \alpha_{s(Hg)g_0s(Hgg_0)^{-1}}f(Hgg_0) जहाँ s:H\G→Gs: H\backslash G \to G एक निश्चित अनुभाग है।

तकनीकी नवाचार बिंदु

1. IN-टुपल का समूह-सैद्धांतिक लक्षण वर्णन

प्रस्ताव 3.1: जब [G:H]<+∞[G:H] < +\infty हो, तो INk(X,G)=INk(X,H)IN_k(X,G) = IN_k(X,H)।

इस परिणाम का प्रमाण परिमित सूचकांक स्थिति का चतुराई से उपयोग करता है: सहसमुच्चय विघटन और कबूतर-छिद्र सिद्धांत के माध्यम से, GG के स्वतंत्र समुच्चय को HH के स्वतंत्र समुच्चय में परिवर्तित करता है।

2. सह-प्रेरित प्रणाली IN-टुपल की संरचना

लेम्मा 3.2: जब [G:H]<+∞[G:H] < +\infty हो, तो INk(XHG,G)⊆∏θ∈H\GINk(X,H)IN_k(X^G_H, G) \subseteq \prod_{\theta \in H\backslash G} IN_k(X,H)

3. Neumann प्रमेय का अनुप्रयोग

Neumann के समूह-सैद्धांतिक परिणाम का उपयोग करें (प्रस्ताव 3.12): यदि समूह GG को परिमित संख्या में उपसमूहों के सहसमुच्चय से ढका जा सकता है, तो कम से कम एक उपसमूह का परिमित सूचकांक है। यह अनंत सूचकांक स्थिति के लिए एक महत्वपूर्ण उपकरण प्रदान करता है।

प्रायोगिक सेटअप

निर्माणात्मक उदाहरण: Tan-Ye-Zhang प्रणाली

पेपर एक ठोस Z\mathbb{Z}-प्रणाली (X1,Z,T)(X_1, \mathbb{Z}, T) का विस्तार से निर्माण करता है, जहाँ htop∗(X1,Z)=log⁡(2)h^*_{top}(X_1, \mathbb{Z}) = \log(2)।

निर्माण के मुख्य बिंदु:

  1. आधार स्पेस: AA इकाई वृत्त पर Z\mathbb{Z} का एक बिंदु सघनीकरण है
  2. प्रेरक निर्माण: प्रेरक रूप से पैरामीटर {n0k,n1k,…,nkk}\{n^k_0, n^k_1, \ldots, n^k_k\} और कूद संख्या js,qk,ps,qkj^k_{s,q}, p^k_{s,q} का चयन करके
  3. सूक्ष्म नियंत्रण: पड़ोस प्रणाली Uk(ai)U^k(a_i) के माध्यम से बिंदुओं के वितरण को नियंत्रित करके

अर्ध-प्रत्यक्ष गुणनफल समूह उदाहरण

G=Z⋊ψZ/2ZG = \mathbb{Z} \rtimes_\psi \mathbb{Z}/2\mathbb{Z} पर विचार करें, जहाँ ψ(x)(n)=−n\psi(x)(n) = -n:

  • सिद्ध करें कि htop∗((X1)ZG,G)=log⁡(2)=htop∗(X1,Z)h^*_{top}((X_1)^G_\mathbb{Z}, G) = \log(2) = h^*_{top}(X_1, \mathbb{Z})
  • दिखाएँ कि htop∗((X1)ZG,G)≠[G:Z]⋅htop∗(X1,Z)=2log⁡(2)h^*_{top}((X_1)^G_\mathbb{Z}, G) \neq [G:\mathbb{Z}] \cdot h^*_{top}(X_1, \mathbb{Z}) = 2\log(2)

प्रायोगिक परिणाम

मुख्य परिणाम

1. परिमित सूचकांक स्थिति

  • शून्य प्रणाली समतुल्यता (प्रमेय 3.3): (XHG,G,αH\G)(X^G_H, G, \alpha^{H\backslash G}) एक शून्य प्रणाली है ⇔\Leftrightarrow (X,H,α)(X,H,\alpha) एक शून्य प्रणाली है
  • केंद्रीय उपसमूह सूत्र (प्रमेय 3.4): जब H⊆Z(G)H \subseteq Z(G) हो, तो htop∗(XHG,G)=[G:H]htop∗(X,H)h^*_{top}(X^G_H, G) = [G:H]h^*_{top}(X,H)

2. अनंत सूचकांक स्थिति

प्रमेय 3.14: जब [G:H]=+∞[G:H] = +\infty और XX में कम से कम दो अलग-अलग बिंदु हों:

  • सभी k∈Nk \in \mathbb{N} के लिए INk(XHG,G)=(XHG)kIN_k(X^G_H, G) = (X^G_H)^k
  • htop∗(XHG,G)=+∞h^*_{top}(X^G_H, G) = +\infty

3. ठोस गणना परिणाम

अर्ध-प्रत्यक्ष गुणनफल समूह पर Tan-Ye-Zhang प्रणाली के सह-प्रेरण के लिए:

  • IN2e((X1)ZG,G)≠∅IN^e_2((X_1)^G_\mathbb{Z}, G) \neq \emptyset लेकिन IN3e((X1)ZG,G)=∅IN^e_3((X_1)^G_\mathbb{Z}, G) = \emptyset
  • इसलिए htop∗((X1)ZG,G)=log⁡(2)h^*_{top}((X_1)^G_\mathbb{Z}, G) = \log(2)

तकनीकी लेम्मा का सत्यापन

एक श्रृंखला तकनीकी लेम्मा (लेम्मा 3.7-3.10) के माध्यम से निर्माण की सही्ता को सत्यापित किया गया है, विशेष रूप से:

  • लेम्मा 3.7: Xs∩Uk(aj)X_s \cap U^k(a_j) की सटीक संरचना को चिन्हित करता है
  • लेम्मा 3.8: "समान स्थिति" की अवधारणा स्थापित करता है और इसकी विशिष्टता सिद्ध करता है
  • लेम्मा 3.10: सिद्ध करता है कि (ai,aj)∉IN1((X1)ZG,G)(a_i, a_j) \notin IN_1((X_1)^G_\mathbb{Z}, G), यह एक महत्वपूर्ण नकारात्मक परिणाम है

संबंधित कार्य

सह-प्रेरण सिद्धांत का विकास

  1. Stepin (1975): पहली बार Ornstein समूहों के अध्ययन के लिए सह-प्रेरण का उपयोग किया
  2. Dooley आदि (2008, 2012): amenable समूहों के सह-प्रेरण गुणों का व्यवस्थित अध्ययन, सांस्थितिक एंट्रॉपी के संरक्षण को सिद्ध किया
  3. Hayes (2016): परिणामों को sofic समूहों की sofic एंट्रॉपी तक विस्तारित किया

अनुक्रम एंट्रॉपी सिद्धांत

  1. Goodman (1974): सांस्थितिक अनुक्रम एंट्रॉपी अवधारणा की शुरुआत
  2. Huang-Ye (2009): अधिकतम पैटर्न एंट्रॉपी प्रस्तावित और IN-टुपल के साथ संबंध स्थापित किया
  3. Kerr-Li (2007): स्थानीय एंट्रॉपी सिद्धांत और स्वतंत्रता अवधारणा विकसित की

इस पेपर की स्थिति

यह पेपर पहली बार सह-प्रेरित प्रणालियों की अधिकतम पैटर्न एंट्रॉपी का व्यवस्थित अध्ययन करता है, इस क्षेत्र के महत्वपूर्ण अंतराल को भरता है, विशेष रूप से:

  • परिमित सूचकांक स्थिति को पूरी तरह हल करता है
  • अनंत सूचकांक स्थिति का पूर्ण लक्षण वर्णन देता है
  • गैर-तुच्छ निर्माणात्मक उदाहरण प्रदान करता है

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. सूचकांक की निर्णायक भूमिका: उपसमूह सूचकांक [G:H][G:H] पूरी तरह से सह-प्रेरित प्रणाली की अधिकतम पैटर्न एंट्रॉपी के व्यवहार को निर्धारित करता है
  2. समूह संरचना की महत्ता: क्या उपसमूह केंद्र में है यह एंट्रॉपी के सटीक सूत्र को प्रभावित करता है
  3. स्थानीय एंट्रॉपी सिद्धांत की प्रभावशीलता: IN-टुपल सिद्धांत विश्लेषण के लिए एक शक्तिशाली उपकरण प्रदान करता है

सीमाएँ

  1. केंद्रीयता शर्त: प्रमेय 3.4 को H⊆Z(G)H \subseteq Z(G) की आवश्यकता है, यह शर्त काफी मजबूत है
  2. निर्माण की जटिलता: प्रतिउदाहरण का निर्माण काफी तकनीकी है, सामान्यीकरण में कठिन हो सकता है
  3. गणना जटिलता: ठोस प्रणालियों के लिए, अधिकतम पैटर्न एंट्रॉपी की गणना अभी भी कठिन है

भविष्य की दिशाएँ

  1. गैर-केंद्रीय उपसमूह: H⊈Z(G)H \not\subseteq Z(G) होने पर एंट्रॉपी संबंध के लिए सामान्य सूत्र खोजना
  2. अन्य एंट्रॉपी अवधारणाएँ: सह-प्रेरण के अन्य एंट्रॉपी अवधारणाओं (जैसे माप एंट्रॉपी, sofic एंट्रॉपी) पर प्रभाव का अध्ययन
  3. अनुप्रयोग विस्तार: परिणामों को ठोस गतिशील समस्याओं में लागू करना

गहन मूल्यांकन

लाभ

  1. सैद्धांतिक पूर्णता: परिमित और अनंत सूचकांक दोनों स्थितियों के लिए पूर्ण लक्षण वर्णन दिया गया है
  2. तकनीकी नवाचार: समूह सिद्धांत (Neumann प्रमेय) और गतिशील सिद्धांत को चतुराई से जोड़ता है
  3. निर्माण की कुशलता: Tan-Ye-Zhang प्रणाली का अनुप्रयोग गहरी तकनीकी अंतर्दृष्टि प्रदर्शित करता है
  4. प्रमाण की कठोरता: प्रत्येक परिणाम के पास पूर्ण कठोर प्रमाण है

कमियाँ

  1. अनुप्रयोग की सीमा: परिणाम मुख्य रूप से सैद्धांतिक हैं, व्यावहारिक अनुप्रयोग सीमित हैं
  2. गणना जटिलता: ठोस प्रणालियों की एंट्रॉपी की गणना के लिए प्रभावी एल्गोरिदम प्रदान नहीं करता है
  3. सामान्यीकरण: कुछ परिणाम (जैसे प्रमेय 3.4) की शर्तें मजबूत हैं, जो प्रयोज्यता को सीमित करती हैं

प्रभाव

  1. सैद्धांतिक योगदान: सह-प्रेरण सिद्धांत के लिए महत्वपूर्ण एंट्रॉपी-सैद्धांतिक लक्षण वर्णन प्रदान करता है
  2. पद्धति-विज्ञान मूल्य: IN-टुपल विधि का सफल अनुप्रयोग संबंधित अनुसंधान के लिए एक उदाहरण प्रदान करता है
  3. भविष्य का अनुसंधान: समूह कार्रवाई की एंट्रॉपी गुणों के आगे अनुसंधान के लिए आधार तैयार करता है

प्रयोज्य परिदृश्य

  1. सैद्धांतिक अनुसंधान: समूह कार्रवाई गतिशील प्रणालियों के सैद्धांतिक विश्लेषण के लिए उपयुक्त
  2. वर्गीकरण समस्याएँ: विभिन्न गतिशील प्रणालियों को अलग करने के लिए उपयोग किया जा सकता है
  3. निर्माण अनुसंधान: विशिष्ट एंट्रॉपी गुणों वाली प्रणालियों के निर्माण के लिए उपकरण प्रदान करता है

संदर्भ

पेपर 35 महत्वपूर्ण संदर्भों को उद्धृत करता है, जो सांस्थितिक गतिशीलता, समूह सिद्धांत, एंट्रॉपी सिद्धांत आदि कई क्षेत्रों के शास्त्रीय और अग्रणी कार्यों को शामिल करते हैं, विशेष रूप से:

  • Adler, Konheim, McAndrew (1965): सांस्थितिक एंट्रॉपी का अग्रणी कार्य
  • Huang, Ye (2009): अधिकतम पैटर्न एंट्रॉपी सिद्धांत
  • Kerr, Li (2007): स्थानीय एंट्रॉपी सिद्धांत और IN-टुपल
  • Dooley, Zhang (2012): सह-प्रेरित प्रणालियों का व्यवस्थित अध्ययन

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