[论文解读] 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 $，通过群作用对当前 $ [\Gamma_\mu] $ 进行积分。
• 应用由 $ f^*_\mu(\varphi)(x) = \int_G \varphi(g \cdot x) \, d\mu(g) $ 定义的转移算子 $ f^*_\mu $，作用于 $ \mathcal{C}^\beta $ 类函数与索伯列夫空间中的测试函数。
• 采用索伯列夫范数 $ \|\cdot\|_{W^{1,2}} $ 量化转移算子对平稳测度 $ \nu $ 的收敛性。
• 利用卡坦分解将分析简化为对角矩阵，从而显式计算 $ \|\partial\theta_g\|_{L^2} $ 与 $ \|\theta_g\|_{W^{1,2}} $。
• 通过一个引理证明指数衰减：若对无穷多 $ n $，$ g^n h^n $ 不是双曲型，则 $ 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 $ 为双曲型，从而保证遍历性与混合性？

主要发现

• 对于具有有限一阶矩的非退化 $ \mu \in \mathrm{PSL}_2(\mathbb{C}) $，转移算子在 $ W^{1,2} $-范数下以指数速度收敛到平稳测度 $ \nu $。
• 在 $ \int (\log\|g\|)^{1+\epsilon} \, d\mu(g) < \infty $ 条件下，任意点 $ a \in \mathbb{P}^1 $ 的前向像集以指数速度 $ \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\| $ 有定量控制。
• 证明表明：若对无穷多 $ n $，$ g^n h^n $ 不是双曲型，则 $ g $ 与 $ h $ 必有公共不动点，但此情况在非退化条件下被排除。
• 对 $ \theta_g $ 的微分的 $ L^2 $-范数有界：$ \lesssim (\log\|g\|)^{1/2} $，从而支持索伯列夫估计与后续的收敛性结果。