[論文レビュー] Weak containment and Rokhlin entropy

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

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

ひとこと要約

本稿は、群作用およびジョインティングに対して弱包含の新しい概念を導入し、相対的ロフリンエントロピーの不等式を確立することで、ロフリンエントロピーの新たな上界を導出する。弱包含の仮定のもとで、積作用のピンスカー代数が個々のピンスカー代数の積に一致することを証明し、非アーメン群のエントロピー理論における主要な構造的問題を解決する。

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.

研究の動機と目的

• 確率測度を保つ群作用のジョインティングのための弱包含の新しい概念を開発すること。
• この新しい弱包含概念を用いて、相対的ロフリンエントロピーの間の不等式を確立すること。
• 直接積の下でのピンスカー代数の挙動を分析すること。
• 有限索引部分群の制限作用のロフリンエントロピーを研究すること。
• 既知の弱包含およびエントロピーに関する結果を非アーメン群および一般のジョインティングへと拡張すること。

提案手法

• ジョインティングのための弱包含の新しい定義を導入：群作用 $G \curvearrowright(X\times Z,\rho)$ が、群作用 $G\curvearrowright(X,\mu)$ に関して、$G\curvearrowright(X\times Y,\lambda)$ を弱包含するとは、任意の $X$ の有限順序分割 $\alpha$、$Y$ の有限順序分割 $\gamma$、有限集合 $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\times Y,\lambda)$ をジョインティングとして弱包含するならば、任意の $X$ の $G$-不変な部分 $\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))$ が成り立つことを証明する。
• この不等式を用いて、積作用のピンスカー代数を研究し、両因子が弱包含の仮定を満たすとき、$\Pi(\mu\times_{\theta}\nu \mid \mathcal{F}\vee\Sigma) = \Pi(\mu \mid \mathcal{F}) \vee \Pi(\nu \mid \Sigma)$ を示す。
• ソフィックエントロピーおよびロフリンエントロピーの理論を用いて、弱包含および相対エントロピーを用いたロフリンエントロピーの上界を導出する。
• ベルヌーイシフトがすべての自由作用に弱包含されることを利用し、$G\curvearrowright(Y,\nu)$ がすべての自由作用に弱包含されるとき、$\Pi(\mu\times\nu \mid \mathcal{F}\vee\mathcal{B}(Y)) = \Pi(\mu \mid \mathcal{F}) \vee \mathcal{B}(Y)$ を証明する。
• シャノンエントロピーおよび条件付きエントロピーの単調性を用いて、ピンスカー代数に関する分割のエントロピーを等置し、$\sigma$-代数の等式を導く。

実験結果

リサーチクエスチョン

• RQ1 ジョインティングの弱包含は、相対的ロフリンエントロピーの間の不等式を意味するか？
• RQ2 群作用の直接積の下でピンスカー代数はどのように挙動するか？
• RQ3 ジョインティングの弱包含を用いてロフリンエントロピーを上界で抑えられるか？
• RQ4 両因子がそれぞれの安定化型のすべての作用に弱包含されるとき、積作用のピンスカー代数の構造はいかなるものか？
• RQ5 ロフリンエントロピーは有限索引部分群への制限に対してどのように挙動するか？

主な発見

• 弱包含の新しい概念は、非周期的作用に対して不等式 $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)$ が成り立つ。
• 弱包含の仮定のもとで、積作用のピンスカー代数は個々のピンスカー代数の積に一致する。
• 有限索引部分群の制限作用のロフリンエントロピーは、元の作用のロフリンエントロピーによって上から抑えられる。
• すべての $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))$ が成り立つ。これは主な代数的等式を証明する上で鍵となる。