[論文レビュー] Continuity of the Lyapunov exponents of random matrix products

Artur Avila, Alex Eskin+1 more|arXiv (Cornell University)|May 10, 2023

Mathematical Dynamics and Fractals被引用数 5

ひとこと要約

この論文は、GL(d, ℝ) や GL(d, ℂ) における確率的行列積のリャプノフ指数の連続性を、行列係数および確率的重みに関して確立する。マーガリス関数、不変カップリング、フラッグ多様体上のマルコフ作用素に基づく独自の帰納的枠組みを用いて、可約な点でさえもリャプノフ指数が連続に変化することを証明し、確率的力学系理論における長年の未解決問題を解決するとともに、従来の無限大や2次元の場合に限限られた結果を拡張する。

ABSTRACT

We prove that the Lyapunov exponents of random products in a (real or complex) matrix group depends continuously on the matrix coefficients and probability weights. More generally, the Lyapunov exponents of the random product defined by any compactly supported probability distribution on $GL(d)$ vary continuously with the distribution, in a natural topology corresponding to weak$^*$-closeness of the distributions and Hausdorff-closeness of their supports.

研究の動機と目的

• GL(d, ℝ) や GL(d, ℂ) における確率的行列積のリャプノフ指数が、行列係数および確率的重みに関して連続であることを確立すること。
• 不変部分空間が存在する（可約な点における）連続性に関する長年の未解決問題を解消すること。
• 従来の無限大系や2次元の場合に限限られた結果を拡張すること。
• 確率測度の弱*位相およびハウスドルフ位相における台の近さに関して、リャプノフ指数の連続性を分析する一般枠組みを構築すること。
• マーガリス関数およびフラッグ多様体上のマルコフ作用素を用いた定量的で帰納的なアプローチを提供し、射影空間上の確率的ウォークの挙動を制御すること。

提案手法

• 不変部分空間の次元に基づく帰納的枠組みを用い、r=1 から r=d へと段階的に進める。
• マーガリス関数（特に垂直角関数および射影関数）を用いて、射影空間およびフラッグ多様体の幾何を分析する。
• フラッグ多様体上の不変カップリングおよびマルコフ作用素を用いて、確率的行列乗算による測度の進化を制御する。
• 摂動を扱い、測度における収束を保証するための安定化およびカットオフ手続きを導入する。
• 異なる帰納段階間の測度を関連付けるために再カップリング技術を用い、不変性および連続性を保持する。
• 測度の弱*収束および台のハウスドルフ近さを用いて、確率分布の空間における自然な位相を定義する。

実験結果

リサーチクエスチョン

• RQ1 元の行列群に真部分空間が存在する（可約な点における）場合でも、リャプノフ指数は連続のままであるか？
• RQ2 GL(d, ℝ) や GL(d, ℂ) において、リャプノフ指数は行列係数および確率的重みに関してどのように連続的に依存するか？
• RQ3 確率測度の弱*収束および台のハウスドルフ近さの下で、リャプノフスペクトルの均一連続性を確立できるか？
• RQ4 可約性が存在する状況において、射影空間およびフラッグ多様体上の確率的ウォークの収束を制御するために必要な幾何学的・力学的道具は何か？
• RQ5 体系的な帰納的手法を用いて、無限大系を超えて連続性の結果を拡張することは可能か？

主な発見

• GL(d, ℝ) や GL(d, ℂ) における確率的行列積のリャプノフ指数は、行列係数および確率的重みに関して連続であり、可約な点でも成り立つ。
• コンパクトに台を持つ任意の確率測度に対して、測度の弱*位相およびハウスドルフ位相における台の近さの下で連続性が成立する。
• 証明により、重複度が1より大きい場合を含む、リャプノフスペクトル全体の連続性が確立された。
• 著者らは、フラッグ多様体上のランダムウォークのダイナミクスに適した連続的マルコフ作用素を構成し、不変測度を保存するとともにスペクトルの連続性を保証した。
• 安定化カップリングおよび制御された摂動を用いることで、次元 r から r+1 への移行を帰納的にうまく処理できた。
• この結果は、定理Aを一般化しており、GL(d) 上の有限離散測度に対して、重み p_i が0に近づく場合を含めても、リャプノフ指数が G^m × Δ_m 上で連続であることを示している。