[论文解读] Weak containment and Rokhlin entropy

Brandon Seward|arXiv (Cornell University)|Feb 22, 2016

Advanced Operator Algebra Research参考文献 18被引用 21

一句话总结

本文引入了群作用与叠加（joinings）的弱包含新概念，建立了相对 Rokhlin 熵之间的不等式，从而为 Rokhlin 熵提供了新的上界。证明了在弱包含假设下，乘积作用的 Pinsker 代数等于各独立部分 Pinsker 代数的乘积，解决了非阿贝尔群熵理论中的一个关键结构性问题。

ABSTRACT

We define a new notion of weak containment for joinings, and we show that this notion implies an inequality between relative Rokhlin entropies. This leads to new upper bounds to Rokhlin entropy. We also use this notion to study how Pinsker algebras behave under direct products, and we study the Rokhlin entropy of restricted actions of finite-index subgroups.

研究动机与目标

• 为保测度的群作用的叠加提出一种新的弱包含概念。
• 利用这一新的弱包含概念，建立相对 Rokhlin 熵之间的不等式。
• 分析直接积作用下 Pinsker 代数的行为。
• 研究有限指数子群限制作用的 Rokhlin 熵。
• 将已知的弱包含与熵的结果推广至非阿贝尔群和一般叠加。

提出的方法

• 提出叠加弱包含的新定义：若对任意有限有序划分 $\alpha$ 的 $X$，$\gamma$ 的 $Y$，有限子集 $T\subseteq G$，以及 $\epsilon>0$，存在 $Z$ 的一个划分 $\zeta$，使得 $|\mathrm{dist}_{\rho}(\alpha\vee\zeta^T) - \mathrm{dist}_{\lambda}(\alpha\vee\gamma^T)| < \epsilon$，则称 $G \curvearrowright(X\times Z,\rho)$ 相对于 $G\curvearrowright(X,\mu)$ 弱包含 $G\curvearrowright(X\times Y,\lambda)$。
• 利用该定义证明：若 $G\curvearrowright(X\times Z,\rho)$ 弱包含 $G\curvearrowright(X\times Y,\lambda)$ 作为叠加，则对任意 $G$-不变的 $X$ 的子 $\sigma$-代数 $\mathcal{F}$，有 $h_G(X\times Z,\rho \mid \mathcal{F}\vee\mathcal{B}(Z)) \leq h_G(X\times Y,\lambda \mid \mathcal{F}\vee\mathcal{B}(Y))$。
• 将该不等式应用于研究乘积作用的 Pinsker 代数，证明在两个因子均满足弱包含假设时，有 $\Pi(\mu\times_{\theta}\nu \mid \mathcal{F}\vee\Sigma) = \Pi(\mu \mid \mathcal{F}) \vee \Pi(\nu \mid \Sigma)$。
• 利用索菲克熵与 Rokhlin 熵的理论，基于弱包含与相对熵推导出 Rokhlin 熵的上界。
• 利用伯努利移位弱包含于所有自由作用的事实，证明当 $G\curvearrowright(Y,\nu)$ 弱包含于所有自由作用时，有 $\Pi(\mu\times\nu \mid \mathcal{F}\vee\mathcal{B}(Y)) = \Pi(\mu \mid \mathcal{F}) \vee \mathcal{B}(Y)$。
• 利用香农熵与条件熵的单调性及恒等式，将相对于 Pinsker 代数的划分熵等同起来，从而得出 $\sigma$-代数的相等性。

实验结果

研究问题

• RQ1 叠加的弱包含是否蕴含相对 Rokhlin 熵之间的不等式？
• RQ2 Pinsker 代数在群作用的直接积下如何表现？
• RQ3 能否利用叠加的弱包含来界定 Rokhlin 熵？
• RQ4 当两个因子均弱包含于其稳定子类型的所有作用时，乘积作用的 Pinsker 代数结构如何？
• RQ5 Rokhlin 熵在限制到有限指数子群时表现如何？

主要发现

• 新定义的叠加弱包含意味着对非周期作用有不等式 $h_G(X\times Z,\rho \mid \mathcal{F}\vee\mathcal{B}(Z)) \leq h_G(X\times Y,\lambda \mid \mathcal{F}\vee\mathcal{B}(Y))$。
• 当 $G\curvearrowright(Y,\nu)$ 弱包含于所有自由作用时，有 $\Pi(\mu\times\nu \mid \mathcal{F}\vee\mathcal{B}(Y)) = \Pi(\mu \mid \mathcal{F}) \vee \mathcal{B}(Y)$。
• 对弱包含于其稳定子类型所有作用的非周期作用，有 $\Pi(\mu\times_{\theta}\nu \mid \mathcal{F}\vee\Sigma) = \Pi(\mu \mid \mathcal{F}) \vee \Pi(\nu \mid \Sigma)$。
• 在弱包含假设下，乘积作用的 Pinsker 代数等于各独立部分 Pinsker 代数的乘积。
• 有限指数子群限制作用的 Rokhlin 熵被原作用的 Rokhlin 熵上界控制。
• 对所有 $X$ 的有限划分 $\mathcal{P}$，有等式 $\mathrm{H}_{\mu\times_{\theta}\nu}(\mathcal{P} \mid \Pi_{X\times Y}) = \mathrm{H}_{\mu\times_{\theta}\nu}(\mathcal{P} \mid \Pi_X \vee \mathcal{B}(Y))$ 成立，这是证明主要代数等式的关键。