[論文レビュー] Non-stationary version of Furstenberg Theorem on random matrix products

Anton Gorodetski, Victor Kleptsyn|arXiv (Cornell University)|Oct 7, 2022

advanced mathematical theories被引用数 1

ひとこと要約

本稿は、確率的行列積に関するFurstenbergの定理の非定常版を確立し、一般性の条件下で、独立で同一分布でないSL(d, R)行列の積のノルムが、非ランダムな列によって記述される漸近的成長を示すほぼ確実な指数的増加を示す。主な貢献は、定常測度に依存しない代わりに、新規の「原子溶解定理」を用いて非定常設定におけるリャプノフ指数の概念を一般化することにある。

ABSTRACT

We prove a non-stationary analog of the Furstenberg Theorem on random matrix products (that can be considered as a matrix version of the law of large numbers). Namely, under a suitable genericity conditions the sequence of norms of random products of independent but not necessarily identically distributed $\SL(d, \mathbb{R})$ matrices grow exponentially fast, and there exists a non-random sequence that almost surely describes asymptotical behaviour of that sequence.

研究の動機と目的

• 独立で同一分布でない設定におけるFurstenbergの古典的定理を、非定常設定に拡張すること。
• i.i.d.ケースを超えた行列積の弱法則大数の定理の基礎的ギャップを埋めること。
• 数学的物理における非定常Andersonモデルのスペクトル的および力学的局在化の理論的基盤を提供すること。
• 非定常状況における定常測度の役割を置き換えるための新技術的ツール「原子溶解定理」を構築すること。

提案手法

• SL(d, R) 上の確率測度のコンパクト集合 K を導入し、同一分布でない分布を許容する。
• 1/n log ||T_n|| の極限として非定常リャプノフ指数を定義し、それが非ランダム列 {L_n} にほぼ確実に収束することを証明する。
• 「原子溶解定理」（定理1.14）を用いて、定常測度に依存せずに行列積の成長を制御する。
• RP^{d-1} 上の射影的作用を分析し、一般性条件を用いて指数的成長を保証する。
• 空間条件がなければ、モーメント条件だけでは不十分であることを示す反例を構成し、仮定の必要性を示す。
• 非定常Andersonモデルにこの枠組みを適用し、スペクトル局在化への適用可能性を示す。

実験結果

リサーチクエスチョン

• RQ1 Furstenbergの定理における確率的行列積の指数的成長は、i.i.d.でない設定に拡張可能か？
• RQ2 独立で同一分布でないSL(d, R)行列の積のノルムが、非ランダムなレートで指数的に成長するための条件は何か？
• RQ3 非定常状況において、定常測度の役割を代替する新しい技術的手段を構築可能か？
• RQ4 1/n log ||T_n|| が非ランダム列にほぼ確実に収束するための最小限の仮定は何か？
• RQ5 この枠組みを用いて、非定常ランダムシュレーディンガー作用素における局在化を証明可能か？

主な発見

• 一般性条件下で、1/n log ||T_n|| は非ランダム列 {L_n} にほぼ確実に収束する。これはi.i.d.ケースの一般化である。
• 古典的Furstenberg定理と同様の非退化性および非コンパクト性条件のもとで、リャプノフ指数は正のまま保たれる。
• 「原子溶解定理」は、非定常積の漸近的挙動を制御する新たなメカニズムを提供し、定常測度への依存を排除する。
• モーメント条件は満たされるが、1/n(log||T_n|| - L_n) → 0 を満たす非ランダム列 {L_n} が存在しない反例が構成され、空間条件の必要性が示された。
• この枠組みは非定常Andersonモデルに適用可能であり、将来のスペクトル的および力学的局在化の証明に役立つ。
• 行列分布が時間とともに変化しても、一般性条件が満たされていれば、漸近的成長率が決定的かつほぼ確実に定まることを示した。