[论文解读] Expansive multiparameter actions and mean dimension

Tom Meyerovitch, Masaki Tsukamoto|arXiv (Cornell University)|Oct 26, 2017

Mathematical Dynamics and Fractals参考文献 9被引用 7

一句话总结

本文通过均值维数理论，将Ma关于扩张同胚的定理推广至多参数作用。证明了若一个$Δ^k$-作用是扩张的，且与一个$Δ^{k-1}$-作用可交换，则后者具有有限均值维数，将Ma的结果从$k=1$推广至高维，同时建立了扩张性与平均拓扑复杂度之间的联系。

ABSTRACT

Mañé (1979) proved that if a compact metric space admits an expansive homeomorphism then it is finite dimensional. We generalize this theorem to multiparameter actions. The generalization involves mean dimension theory, which counts "averaged dimension" of a dynamical system. We prove that if $T:\mathbb{Z}^k imes X o X$ is expansive and if $R:\mathbb{Z}^{k-1} imes X o X$ commutes with $T$ then $R$ has finite mean dimension. When $k=1$, this statement reduces to Mañé's theorem. We also study several related issues, especially the connection with entropy theory.

研究动机与目标

• 将Ma（1979年）关于扩张同胚蕴含有限拓扑维数的定理推广至更高秩的$Δ^k$-作用。
• 解决早期例子中看似矛盾的现象：即无限维空间可容许零熵的扩张$Δ^k$-作用。
• 建立一个利用均值维数衡量动力系统‘平均维数’的框架，尤其适用于扩张作用的情境。
• 阐明高秩系统中扩张性、作用的可交换性与有限均值维数之间的关系。
• 探索均值维数与多参数动力系统中熵理论之间的联系。

提出的方法

• 引入并应用均值维数理论作为拓扑不变量，以量化动力系统的平均复杂度。
• 通过所有群元素上的统一分离条件，定义$Δ^k$-作用的扩张作用。
• 利用$T:Δ^k × X → X$与$R:Δ^{k-1} × X → X$的可交换性，分析轨道结构与分离性质。
• 构造嵌套的集合序列$I_n$，以索引自由变量，从而控制乘积空间中的度量熵与宽度。
• 对度量球应用宽度函数$\mathrm{Widim}_\varepsilon$，并利用$\ell^\infty$-范数来界定度量复杂度的下界。
• 通过在扩张方块$(-N,N)^k$上取极限比值的方式，定义方向性均值维数，以证明复杂度的正性与有限性。

实验结果

研究问题

• RQ1 Ma关于扩张性下有限维数的定理能否从$Δ^1$-作用推广至$k>1$的$Δ^k$-作用？
• RQ2 均值维数在衡量扩张$Δ^k$-作用的复杂度中起什么作用，特别是在拓扑熵为零的情况下？
• RQ3 为何某些无限维空间可容许扩张$Δ^k$-作用？均值维数如何解决这一悖论？
• RQ4 两个作用（$T$与$R$）的可交换性如何约束低秩作用$R$的均值维数？
• RQ5 系统的方向性均值维数与符号表示中自由变量的密度之间是否存在定量关系？

主要发现

• 若$T:Δ^k × X → X$是扩张的，且$R:Δ^{k-1} × X → X$与$T$可交换，则$\mathrm{mdim}(X,R) < \infty$。
• 当$k=1$时，该结果退化为Ma的原始定理：紧致度量空间上的扩张同胚蕴含有限拓扑维数。
• $([0,1]^D)^{Δ^k}$上的移位的均值维数为$D$，而$([0,1]^\mathbb{N})^{Δ^k}$上的移位的均值维数为无穷。
• 在例1.3(1)中，移位$\sigma$的均值维数为2，而$h_\mathbb{Z}$的均值维数为0，说明在无限维系统中也可具有有限均值维数。
• 系统$X × X'$沿直线$L$的方向性均值维数下界为$1/(2\beta)$或$1/2$，取决于方向，证明了复杂度的正性。
• $I_n$的构造确保$|I_n| / (3^n L_0 \cdots L_n) > 1/2$，这意味着自由变量具有正密度，从而支持宽度的下界。