[论文解读] Fourier decay, Renewal theorem and Spectral gaps for random walks on split semisimple Lie groups

Jialun Li|arXiv (Cornell University)|Nov 15, 2018

Mathematical Dynamics and Fractals参考文献 31被引用 16

一句话总结

本文在分裂半单李群上的随机游走更新定理中建立了指数型误差项，相较于经典阿贝尔情形下此类指数衰减不成立的情况，这是一个重大改进。关键创新在于证明了在射影空间上福尔斯特纳特测度的傅里叶衰减，推广了布加因-戴亚特洛夫的近期工作，从而实现了对谱间隙的精确估计，并在范数与上循环量的更新和中获得指数型误差界。

ABSTRACT

We establish an exponential error term for the renewal theorem in the context of products of random matrices, which is surprising compared with classical abelian cases. A key tool is the Fourier decay of the Furstenberg measures on the projective spaces, which is a higher dimensional generalization of a recent work of Bourgain-Dyatlov.

研究动机与目标

• 在分裂半单李群上的随机矩阵乘积的更新定理中建立指数型误差项，该情形下经典阿贝尔结果无法实现此类衰减。
• 将布加因-戴亚特洛夫在一维情形下的测度傅里叶衰减结果推广至不可约表示相关的高维射影空间。
• 通过傅里叶系数衰减的性质，证明随机矩阵乘积在射影空间上作用的谱间隙估计。
• 为相关应用提供一个定量框架，涵盖相关性衰减、轨道计数以及离散群作用的渐近分析。

提出的方法

• 将射影空间上的福尔斯特纳特测度作为核心对象，其傅里叶衰减被证明是关键的分析工具。
• 应用谱间隙技术与表示论，控制在射影空间上 $ L^2 $ 单位表示中矩阵系数的衰减。
• 建立一类适应群作用的新索伯列夫范数，以控制更新和中测试函数的正则性。
• 利用韦依群与根空间分解分析旗流形的几何结构，以及矩阵作用在单位元附近的性质。
• 证明旗流形上的黎曼距离与由表示诱导的度量结构之间的等价性，这对局部分析至关重要。
• 利用测度的有限指数矩和扎里斯基稠密性，确保正李雅普诺夫指数与谱间隙的存在。

实验结果

研究问题

• RQ1 尽管在经典阿贝尔情形下此类衰减不成立，是否可在分裂半单李群上的随机游走更新定理中建立指数型误差项？
• RQ2 福尔斯特纳特测度在射影空间上的傅里叶衰减在多大程度上推广了布加因与戴亚特洛夫在一维情形下的结果至高秩李群？
• RQ3 随机游走算子的谱间隙与福尔斯特纳特测度傅里叶系数衰减速率之间存在何种关系？
• RQ4 如何将更新定理细化为包含随时间指数衰减的误差项？其对相关性衰减与计数问题有何影响？
• RQ5 射影空间上傅里叶衰减的方法能否推广至具有非阿贝尔对称性的其他动力系统？

主要发现

• 在更新和 $ Rf(x,t) $ 与 $ R_P f(t) $ 中建立了 $ O_f(e^{-\rho |t|}) $ 量级的指数型误差项，其中 $ \rho > 0 $ 依赖于谱间隙。
• 福尔斯特纳特测度在射影空间上的傅里叶系数实现指数衰减，将布加因与戴亚特洛夫近期的一维结果推广至高秩李群。
• 证明了随机游走作用在射影空间上的谱间隙为正，这对相关性与更新误差项的指数衰减至关重要。
• 误差项在基点 $ x \in \mathbb{P}V $ 上一致成立，隐含常数仅依赖于测试函数 $ f \in C_c^2(\mathbb{R}) $ 的索伯列夫范数与紧支集。
• 本结果优于布耶此前的工作，后者仅获得多项式误差项，而本研究实现了指数衰减。
• 该方法为高秩格中的轨道计数问题提供了新工具，其中指数型误差项虽预期存在，但此前难以企及。