[論文レビュー] Random products of matrices: a dynamical point of view

Tien‐Cuong Dinh, Lucas Kaufmann+1 more|arXiv (Cornell University)|May 21, 2019

Geometry and complex manifolds参考文献 9被引用数 4

ひとこと要約

本稿は、正則力学を用いてSL₂(ℂ)における確率的行列積を研究し、有限一階モーメント条件の下で、転送作用素がソボレフノルムにおいて定常測度へ指数的収束することを確立する。また、前向き軌道の指数的速さでの均等分布を証明し、第二モーメント条件の下でノルムコサイクルの中心極限定理の新たな証明を提示する。さらに、定常測度の正則性についても応用を示す。

ABSTRACT

We study random products of matrices in SL_2(C) from the point of view of holomorphic dynamics. For non-elementary measures with finite first moment we obtain the exponential convergence towards the stationary measure in Sobolev norm. As a consequence we obtain the exponentially fast equidistribution of forward images of points towards the stationary measure. We also give a new proof of the Central Limit Theorem for the norm cocycle under a second moment condition, originally due to Benoist-Quint, and obtain some general regularity results for stationary measures.

研究の動機と目的

• SL₂(ℂ)行列の確率的積を正則力学の道具を用いて分析すること。
• 有限一階モーメント条件の下で、転送作用素がソボレフノルムにおいて定常測度へ指数的収束することを確立すること。
• 任意の点の前向き像が定常測度へ指数的速さで均等分布することを証明すること。
• 第二モーメント条件の下で、ノルムコサイクルの中心極限定理の新たな証明を与えること。
• モーメント条件の下で定常測度の正則性特性を確立すること。

提案手法

• 群作用の積分を伴う、$ \mathbb{P}^1 \times \mathbb{P}^1 $ 上の一般化された対応 $ f_\mu $ を用いる。
• 作用素 $ f^*_\mu $ を $ f^*_\mu(\varphi)(x) = \int_G \varphi(g \cdot x) \, d\mu(g) $ で定義し、$ \mathcal{C}^\beta $ やソボレフ空間上のテスト関数に作用させる。
• 収束の定量的評価に、ソボレフノルム $ \|\cdot\|_{W^{1,2}} $ を用い、転送作用素が定常測度 $ \nu $ へ収束することを測る。
• カルタン分解を用いて解析を対角行列に還元し、$ \|\partial\theta_g\|_{L^2} $ および $ \|\theta_g\|_{W^{1,2}} $ の明示的計算を可能にする。
• もし $ g^n h^n $ が無限に多くの $ n $ に対してloxodromicでなければ、$ g $ と $ h $ は共通の不動点を持つことを示す補題を用いて、指数的減衰を証明する。
• 補題A.7を用いて $ \theta_g $ の微分の $ L^2 $-ノルムを評価し、$ \|\theta_g\|_{W^{1,2}} \lesssim 1 + \log\|g\| $ を得る。

実験結果

リサーチクエスチョン

• RQ1 どのようなモーメント条件の下で、転送作用素がソボレフノルムにおいて定常測度へ指数的速さで収束するか？
• RQ2 非初等的測度の下で、任意の点の前向き像が定常測度へどの程度の速さで均等分布するか？
• RQ3 正則力学とソボレフ推定を用いて、ノルムコサイクルの中心極限定理を再証明できるか？
• RQ4 有限一階または第二モーメント条件の下で、定常測度がどのような正則性特性を有するか？
• RQ5 繰り返し積 $ g_n \cdots g_1 $ が十分大きな $ n $ に対してloxodromicであるための条件は何か？これにより、エルゴディシティーや混合性が保証される。

主な発見

• 非初等的 $ \mu \in \mathrm{PSL}_2(\mathbb{C}) $ で一階モーメントが有限のとき、転送作用素は $ W^{1,2} $-ノルムにおいて定常測度 $ \nu $ へ指数的速さで収束する。
• 任意の点 $ a \in \mathbb{P}^1 $ の前向き像は、$ \int (\log\|g\|)^{1+\epsilon} \, d\mu(g) < \infty $ の下で、$ \gamma^{\beta n} $ の指数的速さで定常測度 $ \nu $ へ均等分布する。この収束は $ a $ に一様である。
• 第二モーメント条件 $ \int \|g\|^\alpha \, d\mu(g) < \infty $（ある $ \alpha > 0 $）の下で、ノルムコサイクルの中心極限定理の新たな証明が得られる。この結果は元々Benoist-Quintによって示された。
• モーメント条件の下で定常測度 $ \nu $ が正則であることが示され、$ \|\theta_g\|_{W^{1,2}} \lesssim 1 + \log\|g\| $ の定量的制御が得られる。
• 証明により、もし $ g^n h^n $ が無限に多くの $ n $ に対してloxodromicでなければ、$ g $ と $ h $ は共通の不動点を持つことになるが、これは非初等性により排除される。
• 微分の $ L^2 $-ノルムは $ \lesssim (\log\|g\|)^{1/2} $ で有界であり、これによりソボレフ推定が可能となり、その後続する収束結果が得られる。