[论文解读] Finite entropy actions of free groups, rigidity of stabilizers, and a Howe-Moore type phenomenon

Brandon Seward|arXiv (Cornell University)|May 23, 2012

Mathematical Dynamics and Fractals参考文献 13被引用 4

一句话总结

本文研究了有限 f-不变熵的有限生成自由群作用，证明此类作用表现出强烈的结构刚性：在因子中，稳定子要么平凡，要么为有限指数；当空间不可数时，非单位元元素作用具有无限 Kolmogorov–Sinai 熵；对于遍历作用，任意非平凡正规子群仅有有限个遍历分量——与 Howe–Moore 现象相平行。结果基于一个关于 f-不变熵的新公式推导得出，并适用于具有定义良好且有限熵的作用。

ABSTRACT

We study a notion of entropy for probability measure preserving actions of finitely generated free groups, called f-invariant entropy, introduced by Lewis Bowen. In the degenerate case, the f-invariant entropy is negative infinity. In this paper we investigate the qualitative consequences of having finite f-invariant entropy. We find three main properties of such actions. First, the stabilizers occurring in factors of such actions are highly restricted. Specifically, the stabilizer of almost every point must be either trivial or of finite index. Second, such actions are very chaotic in the sense that, when the space is not essentially countable, every non-identity group element acts with infinite Kolmogorov--Sinai entropy. Finally, we show that such actions display behavior reminiscent of the Howe--Moore property. Specifically, if the action is ergodic then there is an integer n such that for every non-trivial normal subgroup K the number of K-ergodic components is at most n. Our results are based on a new formula for f-invariant entropy.

研究动机与目标

• 理解有限 f-不变熵在有限生成自由群作用下的定性动力学后果。
• 研究此类作用中因子内稳定子的结构，特别是其是否平凡或为有限指数。
• 探讨此类作用的混沌行为，尤其是非单位元群元素的 Kolmogorov–Sinai 熵。
• 为具有有限 f-不变熵的遍历作用建立类似 Howe–Moore 的现象。
• 开发并应用一个关于 f-不变熵的新公式，以推导作用及其因子的结构性结果。

提出的方法

• 本文基于群作用下划分的条件熵，提出一个关于 f-不变熵的新公式。
• 利用生成划分及其在群作用下的迭代像，通过凯莱图中半径为 n 的球的极限来计算熵。
• 关键公式涉及香农熵的加权和：$ F_G(X, u,S,eta) = (1-2r) ext{H}(eta) + ext{H}(seta \vee \beta) $，其中 $ r = |S| $，即自由群的秩。
• 作者应用遍历分解技术分析正规子群的遍历分量数量。
• 通过涉及原子测度和熵界度量论论证，限制遍历分量的数量。
• 构造一个反例，利用群的良序和陪集空间上的乘积测度，表明 Howe–Moore 性质不适用于任意子群。

实验结果

研究问题

• RQ1 在具有有限 f-不变熵的作用的因子中，点的稳定子具有何种结构约束？
• RQ2 有限 f-不变熵如何与单个群元素的 Kolmogorov–Sinai 熵相关联？
• RQ3 有限 f-不变熵是否意味着非平凡正规子群的遍历分量数量有限——即是否与 Howe–Moore 性质相一致？
• RQ4 f-不变熵能否用于区分不同类型的群作用，例如 Bernoulli 移位或马尔可夫过程？
• RQ5 有限熵条件在多大程度上限制了自由群在标准概率空间上作用的可能动力学行为？

主要发现

• 对于任意具有有限 f-不变熵的作用的因子，几乎所有点的稳定子在自由群中要么平凡，要么为有限指数。
• 在这些作用中，若空间本质上不可数，则每个非单位元群元素的作用具有无限 Kolmogorov–Sinai 熵。
• 对于具有有限 f-不变熵的遍历作用，任意非平凡正规子群的遍历分量数量有有限上界，该上界依赖于熵和生成划分。
• 遍历分量数量的上界源于熵不等式：$ -(r-1) ext{H}(m) \neq f_G(X, u) - \text{H}\left(\beta\right) $，从而导出分量数量的有限上界。
• 存在具有有限 f-不变熵的遍历作用，但某些无限循环子群具有无限多个遍历分量，表明该上界不适用于任意子群。
• 当且仅当存在具有有限香农熵的生成划分时，f-不变熵才有定义且有限，且其值与生成集或划分的选择无关。