[论文解读] Tilings of amenable groups

Tomasz Downarowicz, Dawid Huczek+1 more|arXiv (Cornell University)|Feb 9, 2015

Cellular Automata and Applications参考文献 4被引用 29

一句话总结

本文利用有限种瓷砖形状，构造了任意无限可数阿贝尔群的精确、零熵平铺，每种瓷砖在小群平移下均可任意不变。该构造产生了一个在零维空间上的自由、零熵作用，解决了拓扑动力系统领域长期存在的问题，并为符号扩展和K-理论开辟了新应用。

ABSTRACT

We prove that for any infinite countable amenable group $G$, any $ε> 0$ and any finite subset $K\subset G$, there exists a tiling (partition of $G$ into finite "tiles" using only finitely many "shapes"), where all the tiles are $(K; ε)$-invariant. Moreover, our tiling has topological entropy zero (i.e., subexponential complexity of patterns). As an application, we construct a free action of $G$ (in the sense that the mappings, associated to different from unity elements of $G$, have no fixpoints), on a zero-dimensional space, and which has topological entropy zero.

研究动机与目标

• 解决无限可数阿贝尔群精确平铺（平铺为平移瓷砖的划分）的开放问题，实现任意不变性。
• 确保平铺具有拓扑熵为零，克服以往ε-准平铺熵非零的局限性。
• 构建群在零维空间上的自由作用，且具有零拓扑熵，适用于符号动力系统和轨道等价理论。
• 提供一种系统化、自包含的嵌套平铺序列构造方法，每个平铺是下一个的因子，且熵受控。
• 将Ornstein-Weiss方法的应用范围从准平铺扩展至精确、熵为零且具有良好不变性性质的平铺。

提出的方法

• 从具有较低Banach密度的ε-准平铺出发，紧密遵循Ornstein-Weiss的方法，但采用更精细的密度估计。
• 通过一种新颖的归纳程序修改准平铺，使其互不相交且完全覆盖。
• 迭代地细化平铺，以确保同构性（各层级形状一致）和因子结构（每个平铺是下一个的因子）。
• 通过确保大区域中模式复杂度为亚指数增长，控制每个阶段的拓扑熵。
• 利用最终的零熵平铺序列，通过轨道闭包定义符号系统，确保熵为零且作用自由。
• 对于有限阶元素，利用平铺结构定义一个仅含一种形状（即由该元素生成的循环子群）的子移位，确保群平移下无不动点。

实验结果

研究问题

• RQ1 任何无限可数阿贝尔群是否可被划分为有限个平移瓷砖形状，且每个瓷砖在小群平移下均可任意不变？
• RQ2 能否构造出具有零拓扑熵（而非仅任意小）的此类平铺？
• RQ3 此类平铺是否可用于构建群在零维空间上的自由作用，且具有零拓扑熵？
• RQ4 该构造是否可实现分层结构，使得每个平铺是下一个的因子，且所有平铺共享相同的有限形状集合？
• RQ5 此类平铺的存在是否能推动阿贝尔群作用在符号扩展或K-理论方面的研究进展？

主要发现

• 对于任意无限可数阿贝尔群 $G$，任意有限子集 $K\subset G$，以及任意 $\varepsilon>0$，存在一个将 $G$ 划分为有限个平移瓷砖的平铺，每个瓷砖均为 $(K,\varepsilon)$-不变。
• 所构造的平铺具有拓扑熵为零，意味着大区域中不同模式的数量呈亚指数增长。
• 存在一个群 $G$ 在零维紧致度量空间上的自由作用，且具有零拓扑熵，该作用通过来自平铺的符号系统构造而成。
• 对于每个非单位元群元素 $g$，构造了一个熵为零的符号子移位 $\mathfrak{X}_g$，使得不存在点在 $g$ 平移下保持不变。
• 当 $g$ 具有有限阶时，平铺基于由 $g$ 生成的循环子群，所得到的子移位确保每个瓷砖中至多包含一个中心，从而防止出现不动点。
• 最终系统 $\mathfrak{X} = \prod_{g \neq e} \mathfrak{X}_g$ 是一个在零维空间上的自由、零熵作用，且在可数乘积下熵保持为零。