[论文解读] Random walks on random coset spaces with applications to Furstenberg entropy

Lewis Bowen|arXiv (Cornell University)|Aug 29, 2010

Topological and Geometric Data Analysis参考文献 25被引用 7

一句话总结

该论文通过在随机子群的陪集空间上构造随机游走，解决了非交换自由群的Furstenberg熵实现问题，构建了连续族的遍历、μ-平稳作用。证明了对于秩 $ r \geq 2 $ 的自由群与对称生成测度 $ \mu $，区间 $[0, h_{\text{max}}(\mu)]$ 中的每一个值均可作为某个遍历 μ-平稳作用的Furstenberg熵，从而确立了可能熵值的完整区间。

ABSTRACT

We determine the range of Furstenberg entropy for stationary ergodic actions of nonabelian free groups by an explicit construction involving random walks on random coset spaces.

研究动机与目标

• 确定非交换自由群的遍历 μ-平稳作用可能的Furstenberg熵值的完整范围。
• 构造此类作用的显式例子，超越泊松边界和保测度系统。
• 解决非阿贝尔群的可能熵值集合是否包含区间的开放问题。
• 证明对于自由群，熵谱是连续的，并填满整个区间 $[0, h_{\text{max}}(\mu)]$。

提出的方法

• 在自由群 $ G $（秩 $ r \geq 2 $）的随机子群 $ K \subset G $ 的陪集空间 $ K \backslash G $ 上构造随机游走。
• 利用这些随机游走的泊松边界，定义在 $ \bigcup_{i=1}^n B_{K_i} $ 上的 μ-平稳作用，其中 $ \{K_1, \dots, K_n\} $ 是一个共轭类的子群。
• 应用覆盖空间构造，将陪集空间上的边界动力系统与在万有覆盖（凯莱图）上的作用联系起来。
• 使用不变随机子群（IRS）及其相关的泊松边界，对平稳作用的空间进行参数化。
• 利用连续性准则和有限支撑遍历测度的稠密性，证明熵值在 $[0, h_{\text{max}}(\mu)]$ 中稠密。
• 利用遍历 $ G $-不变测度在边界上的集合是 Poulsen 单纯形这一事实，意味着路径连通性，从而实现熵的插值。

实验结果

研究问题

• RQ1 对于非交换自由群，区间 $[0, h_{\text{max}}(\mu)]$ 中的每一个值是否都能实现为某个遍历 μ-平稳作用的Furstenberg熵？
• RQ2 在随机子群的陪集空间上进行的随机游走是否能生成整个熵区间中稠密的熵值集合？
• RQ3 此类随机游走的泊松边界上，遍历平稳测度的空间是否是路径连通的？
• RQ4 自由群的平稳作用的可能 μ-熵集合的结构是什么？

主要发现

• 对于任意秩 $ r \geq 2 $ 的自由群 $ G = \langle s_1, \dots, s_r \rangle $ 与对称生成测度 $ \mu $，Furstenberg熵 $ h_\mu(X,\eta) $ 在某个遍历 μ-平稳作用下可取遍区间 $[0, h_{\text{max}}(\mu)]$ 中的所有值。
• 由作用于陪集空间 $ K_i \backslash G $ 的泊松边界的有限并集所生成的 μ-熵集合在 $[0, h_{\text{max}}(\mu)]$ 中稠密。
• 万有覆盖的泊松边界上，遍历 $ G $-不变博雷尔概率测度的空间是一个 Poulsen 单纯形，与 $ \ell^2 $ 同胚。
• 构造中第 $ n $ 层上平稳测度 $ \eta_n $ 的熵满足 $ \lim_{n \to \infty} h_\mu(\eta_n) = 0 $，从而实现了熵谱上的连续性。
• 该构造通过作用于子群的有限共轭类实现了所有熵值，且此类共轭类上均匀测度的熵在子群结构上是连续的。