[論文レビュー] Mixing and Spectral Gap Relative to Pinsker Factors for Sofic Groups

Ben Hayes|arXiv (Cornell University)|Sep 25, 2015

Advanced Operator Algebra Research参考文献 8被引用数 5

ひとこと要約

この論文は、ソフィック群の確率測度を保存する作用が、混合的であり、かつピンスカー因子および外部ピンスカー因子の両方に関してスペクトルギャップを示すことを確立している。これは、非可換群への構造的エントロピー結果の拡張である。$*$-表現の表現論的技法を用いて、$L^\infty$ 空間とソフィック群のクロス積の $*$-表現を分析することで、著者たちは強い混合性およびスペクトルギャップの性質を証明し、拡張エントロピー理論を用いてソフィックエントロピーにおける病理的挙動を解消した。

ABSTRACT

Motivated by our previous results, we investigate structural properties of probability measure-preserving actions of sofic groups relative to their Pinsker factor. We also consider the same properties relative to the Outer Pinsker factor, which is another generalization of the Pinsker factor in the nonamenable case. The Outer Pinsker factor is motivated by extension entropy for extensions, which fixes some of the "pathological" behavior of sofic entropy: namely increase of entropy under factor maps. We show that an arbitrary probability measure-preserving action of a sofic group is mixing relative to its Pinsker and Outer Pinsker factors and, if the group is nonamenable, it has spectral gap relative to its Pinsker and Outer Pinsker factors. Our methods are similar to those we developed in "Polish models and sofic entropy" and based on representation-theoretic techniques. One crucial difference is that instead of considering unitary representations of a group we must consider *-representations of algebraic crossed products.

研究の動機と目的

• 可換な群から非可換なソフィック群への構造的エントロピー結果——特に混合性およびスペクトルギャップの性質——を拡張すること。
• 因子写像によるエントロピーの増加といったソフィックエントロピーにおける病理的挙動を、拡張エントロピーを用いて外部ピンスカー因子を導入することで解消すること。
• 従来の強混合性および完全正エントロピーに関する結果を、正エントロピーを持つ作用に限らない任意の作用へ一般化すること。
• アーベル群の場合にソフィックエントロピーが因子写像に関して不変であることを、動的生成擬距離と超フィルター極限を用いて証明すること。
• ソフィックエントロピー理論を軌道同値性およびフォン・ノイマン代数の剛性と統一するために、非可換力学におけるピンスカー型因子の役割を明確にすること。

提案手法

• 著者たちは、以前の研究で用いられたユニタリ表現の一般化として、$L^\infty$ 空間とソフィック群の代数的クロス積の $*$-表現を用いる。
• ソフィック近似 $\sigma_{i_n}: \Gamma \to S_{d_{i_n}}$ を用いて、有限近似の超フィルター極限を分析し、動的性質を有限集合上の漸近的挙動に翻訳する。
• 重要な推定には、写像間の $L^2$-距離 $\Delta_{X,2}$ および $\Delta_{Y,2}$ が含まれ、超フィルター極限での収束を示すことで、因子写像の整合性を保証する。
• 証明は、因子写像 $\pi$ を近似する写像列 $\phi_n$ および $\psi_n \circ p_n$ を構成し、漸近的可換性および測度保存性を満たすことに依存する。
• 著者たちは、Gelfand-Naimark-Segal 構成を用いて $Y$ を $C(Y)$ のGelfandスペクトルと同一視し、連続関数を用いて擬距離の距離を制御できるようにする。
• 背理法が用いられる：望ましい性質の不成立を仮定すると、ソフィック近似の定義に反する写像列が得られ、$\phi_n$ の選択に矛盾する。

実験結果

リサーチクエスチョン

• RQ1 任意のソフィック群の確率測度保存作用は、群が非可換であっても、そのピンスカー因子に関して混合的であるか？
• RQ2 非可換ソフィック群に対して、ピンスカー因子に関してスペクトルギャップを確立できるか？ また、これは外部ピンスカー因子へも拡張可能か？
• RQ3 拡張エントロピーは、特に非可換設定下で、因子写像によるエントロピーの増加という問題を解消できるか？
• RQ4 群が可換である場合に、ソフィックエントロピーは因子写像に関して不変であるか？ また、これは可換群の古典的エントロピーと一致するか？
• RQ5 クロス積の $*$-表現の表現論的枠組みを用いて、ソフィック設定における強い混合性および混合性の性質を導出できるか？

主な発見

• 任意のソフィック群の確率測度保存作用は、可換性にかかわらず、そのピンスカー因子に関して混合的である。
• 非可換ソフィック群に対しては、このような作用はピンスカー因子に関してスペクトルギャップを示し、不変関数の強い相関除去を示している。
• 拡張エントロピーを用いて定義される外部ピンスカー因子は、因子写像によるソフィックエントロピーの病理的増加を解消し、可換な場合に古典的エントロピーと整合的であることを保証する。
• 本論文では、群が可換である場合に因子作用のソフィックエントロピーが古典的エントロピーに等しいことを証明し、既存理論との整合性を確認した。
• 著者たちは、可換群の場合に拡張エントロピーが古典的エントロピーと一致することを示し、$h_{(\sigma_i),\nu}(Y,\Gamma) = h_\nu(Y,\Gamma)$ が成り立つことを示した。
• 証明は、有限近似の超フィルター極限および測度と擬距離の収束に依存しており、極限において因子写像が保存されることを保証する。