[論文レビュー] Random walks on random coset spaces with applications to Furstenberg entropy

Lewis Bowen|arXiv (Cornell University)|Aug 29, 2010

Topological and Geometric Data Analysis参考文献 25被引用数 7

ひとこと要約

この論文は、非アーベル自由群におけるFurstenbergエントロピー実現問題を、ランダム部分群のコセット空間上のランダムウォークを用いて連続的な族のエルゴド的でμ-定常な作用を構成することで解決する。自由群のランク$r \geq 2$と対称的生成測度$\mu$に対して、$[0, h_{\text{max}}(\mu)]$の任意の値が、あるエルゴド的μ-定常作用のFurstenbergエントロピーとして達成されることを証明し、可能なエントロピー値の完全な区間を確立する。

ABSTRACT

We determine the range of Furstenberg entropy for stationary ergodic actions of nonabelian free groups by an explicit construction involving random walks on random coset spaces.

研究の動機と目的

• 非アーベル自由群のエルゴド的μ-定常作用のためのFurstenbergエントロピー値の全範囲を特定すること。
• ポisson境界や測度保存系を超える明示的な例の構成。
• 非可換群に対して、可能なエントロピー値の集合が区間を含むかどうかという未解決問題の解決。
• 自由群に対して、エントロピースペクトルが連続的であり、$[0, h_{\text{max}}(\mu)]$の全区間を埋めることの確立。

提案手法

• ランク$r \geq 2$の自由群$G$に対して、$G$の部分群$K \subset G$のランダムな選択に基づくコセット空間$K \backslash G$上でのランダムウォークを構築する。
• これらのランダムウォークのポアソン境界を用いて、$\{K_1, \dots, K_n\}$が部分群の共轭類であるとき、$\bigcup_{i=1}^n B_{K_i}$上のμ-定常作用を定義する。
• 被覆空間構成を用いて、コセット空間上の境界力学と普遍被覆（ケイリー図）上の作用を関連付ける。
• 不変ランダム部分群（IRS）とそれらに付随するポアソン境界を用いて、定常作用の空間をパrameter化する。
• 連続性基準と有限台付きエルゴド的測度の稠密性を用いて、エントロピー値が$[0, h_{\text{max}}(\mu)]$に稠密に分布することを示す。
• 境界上のエルゴド的G-不変Borel確率測度の集合がPoulsen単体であるという事実を活用し、経路連結性を示し、エントロピーの補間を可能にする。

実験結果

リサーチクエスチョン

• RQ1 非アーベル自由群に対して、$[0, h_{\text{max}}(\mu)]$の任意の値が、あるエルゴド的μ-定常作用のFurstenbergエントロピーとして実現可能か？
• RQ2 ランダムなコセット空間上のランダムウォークは、全エントロピー区間内で稠密なエントロピー値の集合を生成するか？
• RQ3 このようなランダムウォークのポアソン境界上のエルゴド的定常測度の空間は経路連結か？
• RQ4 自由群の定常作用のためのμ-エントロピーの集合の構造はいかなるものか？

主な発見

• 任意の自由群$G = \langle s_1, \dots, s_r \rangle$（ランク$r \geq 2$）と対称的生成測度$\mu$に対して、Furstenbergエントロピー$h_\mu(X,\eta)$は、あるエルゴド的μ-定常作用に対して、区間$[0, h_{\text{max}}(\mu)]$の任意の値を達成する。
• コセット空間$K_i \backslash G$のポアソン境界の有限和への作用から生じるμ-エントロピーの集合は、$[0, h_{\text{max}}(\mu)]$に稠密である。
• 普遍被覆のポアソン境界上のエルゴド的G-不変Borel確率測度の空間はPoulsen単体であり、$\ell^2$に同相である。
• 構成のn番目の段階における定常測度$\eta_n$のエントロピーは、$\lim_{n \to \infty} h_\mu(\eta_n) = 0$を満たし、エントロピースペクトル全体にわたる連続性を可能にする。
• 構成は、部分群の有限共轭類への作用を通じて、すべてのエントロピー値を実現する。特に、このような類上の一様測度のエントロピーは、部分群構造に関して連続的である。