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

Topological Sequence Entropy of co-Induced Systems

基本信息

论文ID: 2409.10745
标题: Topological Sequence Entropy of co-Induced Systems
作者: Dakota M. Leonard
分类: math.DS (Dynamical Systems)
发表时间: 2024年9月 (arXiv v2: 2025年1月16日)
论文链接: https://arxiv.org/abs/2409.10745

摘要

设 $G$ 是离散可数无穷群， $H$ 是 $G$ 的子群。如果 $H$ 连续作用在紧致度量空间 $X$ 上，则可以诱导出 $G$ 在 $\prod_{H\backslash G}X$ 上的连续作用，其中 $H\backslash G$ 是 $H$ 在 $G$ 中的右陪集集合。这个过程称为余诱导(co-induction)。本文计算余诱导系统的最大模式熵。当 $[G:H] < +\infty$ 时，证明 $H$ 作用为零当且仅当 $G$ 的余诱导作用为零。当 $[G:H] = +\infty$ 时，证明只要 $H$ -系统非平凡，余诱导的最大模式熵总是 $+\infty$ 。

研究背景与动机

问题背景

拓扑动力学系统的熵理论: 自1965年Adler等人引入拓扑熵以来，熵理论成为区分动力学系统的重要不变量。对于确定性系统（拓扑熵为0），需要更精细的不变量来区分。
序列熵的发展: Goodman在1974年为 $\mathbb{Z}$ -系统引入拓扑序列熵，Huang和Ye在2011年进一步提出最大模式熵，适用于任意群作用。
余诱导构造的重要性: 余诱导是从子群作用构造更大群作用的重要方法，在研究Ornstein群、测度论熵性质等方面有重要应用。

研究动机

理论完善: 虽然已知余诱导保持拓扑熵（对可amenable群），但最大模式熵的行为尚未被系统研究。
群结构与动力学性质的关系: 探索子群指数 $[G:H]$ 如何影响余诱导系统的熵性质。
局部熵理论应用: 利用IN-元组理论提供新的分析工具。

核心贡献

有限指数情况的完整刻画: 当 $[G:H] < +\infty$ 时，证明了原系统为零系统当且仅当余诱导系统为零系统（定理3.3）。
中心子群的精确公式: 当 $H \subseteq Z(G)$ 且 $[G:H] < +\infty$ 时，建立了精确关系 $h^*_{top}(X^G_H, G) = [G:H]h^*_{top}(X,H)$ （定理3.4）。
非中心子群的反例: 构造了半直积群 $G = \mathbb{Z} \rtimes \mathbb{Z}/2\mathbb{Z}$ 的具体例子，显示当 $H \not\subseteq Z(G)$ 时上述公式不成立。
无限指数的完全刻画: 当 $[G:H] = +\infty$ 时，证明了只要原空间非平凡，余诱导系统的最大模式熵必为 $+\infty$ （定理3.14）。

方法详解

任务定义

给定拓扑动力学系统 $(X,H,\alpha)$ 和包含 $H$ 的群 $G$ ，分析余诱导系统 $(X^G_H, G, \alpha^{H\backslash G})$ 的最大模式熵 $h^*_{top}(X^G_H, G)$ 与原系统最大模式熵 $h^*_{top}(X,H)$ 的关系。

核心构造：余诱导系统

1. 空间构造

定义 $X^G_{H,\alpha} := \{f \in X^G : f(hg) = \alpha_h(f(g)), \forall h \in H, \forall g \in G\}$
通过右陪集分解 $G = \bigsqcup_{\theta \in H\backslash G} H\theta$ ，得到同构空间 $X^G_H = \prod_{\theta \in H\backslash G} X$

基础空间: $A$ 是 $\mathbb{Z}$ 在单位圆上的一点紧化
归纳构造: 通过归纳选择参数 $\{n^k_0, n^k_1, \ldots, n^k_k\}$ 和跳跃数 $j^k_{s,q}, p^k_{s,q}$
精细控制: 通过邻域系统 $U^k(a_i)$ 控制点的分布

半直积群例子

考虑 $G = \mathbb{Z} \rtimes_\psi \mathbb{Z}/2\mathbb{Z}$ ，其中 $\psi(x)(n) = -n$ ：

证明 $h^*_{top}((X_1)^G_\mathbb{Z}, G) = \log(2) = h^*_{top}(X_1, \mathbb{Z})$
显示 $h^*_{top}((X_1)^G_\mathbb{Z}, G) \neq [G:\mathbb{Z}] \cdot h^*_{top}(X_1, \mathbb{Z}) = 2\log(2)$

零系统等价性（定理3.3）: $(X^G_H, G, \alpha^{H\backslash G})$ 为零系统 $\Leftrightarrow$ $(X,H,\alpha)$ 为零系统
中心子群公式（定理3.4）: 当 $H \subseteq Z(G)$ 时， $h^*_{top}(X^G_H, G) = [G:H]h^*_{top}(X,H)$