[論文レビュー] 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

ひとこと要約

本稿は、古典的なアーベル的状況ではこのような指数的減衰が発生しない、分割半単純リー群上の確率的ウォークにおける再生定理の指数的誤差項を確立する。主な革新は、Furstenberg測度の射影空間上でのフーリエ減衰を証明することにあり、Bourgain-Dyatlovの最近の研究を一般化し、ノルムおよびコサイクルの両方における再生和の鋭いスペクトルギャップ推定と指数的誤差境界を可能にする。

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.

研究の動機と目的

• 分割半単純リー群上の確率的行列積の再生定理において、古典的なアーベル的結果がこのような減衰を生じない、指数的誤差項を確立すること。
• Bourgain-Dyatlovの1次元設定における測度のフーリエ減衰を、非可約表現に関連する高次元射影空間へ一般化すること。
• ランダム行列積の射影空間上での作用に関するスペクトルギャップ推定を、フーリエ係数の減衰を活用して証明すること。
• 相関の減衰、軌道数え上げ、離散群作用の漸近的解析への応用を対象とする定量的枠組みを提供すること。

提案手法

• フーリエ減衰が中心的な解析的道具である、射影空間上のFurstenberg測度の使用。
• ユニタリ表現におけるL²空間上での行列係数の減衰を制御するためのスペクトルギャップ技術と表現論の応用。
• 群作用に適合した新しいクラスのソボレフノルムの確立により、再生和におけるテスト関数の正則性を制御可能にする。
• ワイル群と根空間分解を用いた旗多様体の幾何構造および恒等元付近での行列作用の振る舞いの分析。
• 旗多様体上のリーマン距離と表現によって誘導される距離構造との等価性の証明。これは局所解析にとって重要である。
• 測度の有限指数的モーメントとザリスキ密度を活用し、正のリャプノフ指数とスペクトルギャップの存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 古典的なアーベル的状況では指数的減衰が発生しないにもかかわらず、分割半単純リー群上の確率的ウォークにおける再生定理で指数的誤差項を確立できるか。
• RQ2 BourgainとDyatlovの1次元結果を高ランクリー群へ一般化するにあたり、射影空間上でのFurstenberg測度のフーリエ減衰はどの程度拡張可能か。
• RQ3 ランダムウォーク作用演算子のスペクトルギャップとFurstenberg測度のフーリエ係数の減衰速度との間にはどのような関係があるか。
• RQ4 再生定理は、時間に関して指数的に小さい誤差項を含むようにどのように精緻化できるか。また、その相関の減衰および数え上げ問題への影響は何か。
• RQ5 射影空間上でのフーリエ減衰の手法は、非アーベル的対称性を示す他の力学系へどのように拡張可能か。

主な発見

• 再生和 $ Rf(x,t) $ および $ R_P f(t) $ に対して、$ \rho > 0 $ がスペクトルギャップに依存する $ O_f(e^{-\rho |t|}) $ のオーダーの指数的誤差項が確立された。
• 射影空間上でのFurstenberg測度のフーリエ係数は指数的に減衰し、BourgainとDyatlovの最近の1次元結果を高ランクリー群へ一般化した。
• ランダムウォークの射影空間上での作用に関するスペクトルギャップが正であることが示され、相関の指数的減衰および再生誤差項の両者にとって不可欠である。
• 誤差項は基点 $ x \in \mathbb{P}V $ に関して一様であり、含まれる定数はテスト関数 $ f \in C_c^2(\mathbb{R}) $ のソボレフノルムと台集合にのみ依存する。
• Boyerの先行研究（多項式誤差項にとどまっていた）を上回り、指数的減衰を達成した。
• この手法は、指数的誤差項が期待されるが、かつては到達不可能であった高ランクラティスにおける軌道数え上げ問題に新たな手段を提供する。