[论文解读] Weak equivalence of stationary actions and the entropy realization problem

Peter Burton, Martino Lupini+1 more|arXiv (Cornell University)|Mar 16, 2016

Advanced Topology and Set Theory参考文献 26被引用 5

一句话总结

本文引入了可数群的平稳作用的弱等价概念，定义了弱等价类上的自然波兰拓扑，并证明Furstenberg熵在此关系下是连续不变量。关键贡献在于将Furstenberg熵实现问题重新表述为弱等价类空间中的拓扑问题。

ABSTRACT

We introduce the notion of weak containment for stationary actions of a countable group and define a natural topology on the space of weak equivalence classes. We prove that Furstenberg entropy is an invariant of weak equivalence, and moreover that it descends to a continuous function on the space of weak equivalence classes.

研究动机与目标

• 为可数群的平稳作用定义弱等价的概念，推广自保测度作用中的概念。
• 在平稳作用的弱等价类空间上引入自然的波兰拓扑。
• 证明Furstenberg熵在弱等价下不变，并在弱等价类空间上下降为一个连续函数。
• 将Furstenberg熵实现问题重新表述为弱等价类空间中的拓扑问题。
• 通过弱包含和熵不变量对平稳作用提供结构性刻画。

提出的方法

• 通过使用可测集对有限划分上的相关统计量进行逼近，定义平稳作用的弱包含。
• 利用测度论估计和三角不等式论证，证明单边与双边弱包含条件的等价性。
• 利用源自有限划分的相关矩阵的闭包之间的Hausdorff距离，构造弱等价类上的度量。
• 基于测度扭曲和Radon-Nikodym导数的反证法，证明熵函数的连续性。
• 应用Jensen不等式及平稳测度的性质，确保Furstenberg熵非负，且当且仅当作用为保测度时为零。
• 利用标准概率空间的结构和Borel-Cantelli型论证，精确控制逼近中的测度差异。

实验结果

研究问题

• RQ1 能否将弱等价的概念有意义地从保测度作用推广到平稳群作用？
• RQ2 Furstenberg熵在平稳作用的弱等价下是否保持不变？
• RQ3 Furstenberg熵是否在弱等价类空间上诱导出一个连续函数？
• RQ4 能否将熵实现问题重新表述为弱等价类空间中的拓扑问题？
• RQ5 平稳作用的弱等价类空间上自然出现何种拓扑结构？

主要发现

• 弱等价在平稳作用上定义良好，并在弱等价类空间上诱导出自然的波兰拓扑。
• Furstenberg熵在弱等价下不变，即弱等价的作用具有相同的熵值。
• Furstenberg熵在赋予该拓扑的弱等价类空间上下降为一个连续函数。
• 熵实现问题——即确定遍历平稳系统可能的Furstenberg熵值集合——可通过弱等价类的拓扑结构进行研究。
• 连续性证明依赖于涉及测度扭曲、Radon-Nikodym导数以及对测度差异低于阈值的精确控制的反证法。
• 涉及形如 $\mu(g^a A_i \cap h^a A_j)$ 的交集的双边弱包含条件，与标准单边条件等价，确保了定义的鲁棒性。