[論文レビュー] 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エントロピー実現問題を、弱同値類の空間における位相的問題に再定式化する。
• 弱包含とエントロピー不変量を用いた定常的作用の構造的特徴付けを提供する。

提案手法

• 有限分割における相関統計の可測集合による近似を通じて、定常的作用の弱包含を定義する。
• 測度論的推定と三角不等式の議論を用いて、片側および両側弱包含条件の同等性を証明する。
• 有限分割から得られる相関行列の閉包のハウスドルフ距離を用いて、弱同値類に距離を構成する。
• 測度の歪みとラドン＝ニコディム微分に基づく背理法を用いて、エントロピー関数の連続性を証明する。
• ジェンセンの不等式と定常測度の性質を用いて、Furstenbergエントロピーが非負であり、かつ測度保存的である場合に限り0に一致することを保証する。
• 標準的確率空間の構造とボレル＝カンテリ型の議論を活用し、近似における測度差を制御する。

実験結果

リサーチクエスチョン

• RQ1 測度保存的から定常的作用への弱同値性の概念を意味的に拡張することは可能か？
• RQ2 Furstenbergエントロピーは定常的作用の弱同値性に関して不変か？
• RQ3 Furstenbergエントロピーは弱同値類の空間に連続関数として誘導されるか？
• RQ4 エントロピー実現問題は、弱同値類の空間における位相的問題に再定式化可能か？
• RQ5 定常的作用の弱同値類の空間に自然に生じる位相的構造は何か？

主な発見

• 弱同値性は定常的作用に対して適切に定義され、弱同値類の空間に自然なポーランド位相を誘導する。
• Furstenbergエントロピーは弱同値性に関して不変であり、弱同値な作用は同一のエントロピー値を持つ。
• Furstenbergエントロピーは、定義された位相を備えた弱同値類の空間に連続関数として降下する。
• エントロピー実現問題—推移的定常系におけるFurstenbergエントロピーの取り得る値の集合を特定すること—は、弱同値類の位相的構造を通じて研究可能である。
• 連続性の証明は、測度の歪み、ラドン＝ニコディム微分、および閾値以下の測度差のきめ細かな制御を含む背理法に依存する。
• 両側弱包含条件（$\mu(g^a A_i \cap h^a A_j)$ の形の積集合を含むもの）は標準的一方向条件と同等であり、定義の整合性を保証する。