[論文レビュー] Birkhoff sum fluctuations in substitution dynamical systems

Elliot Paquette, Y. G. Son|arXiv (Cornell University)|May 6, 2015

Mathematical Dynamics and Fractals参考文献 14被引用数 5

ひとこと要約

本稿は、原始的置換力学系におけるBirkhoff和の中心極限定理を確立し、絶対値が1である固有値（ユニモジュラー固有値）を持つ置換行列の固有関数のうち、コバウンダリーでないものについて、漸近的に正規分布に従うフラクチュエーションを示している。コバウンダリーでないユニモジュラー固有値を持つ固有関数に対しては、正規化されたBirkhoff和は正規分布に収束するが、非ユニモジュラー固有値を持つ固有関数は、カントール集合に台を持つ特異分布に収束する。

ABSTRACT

We consider the deviation of Birkhoff sums along fixed orbits of substitution dynamical systems. We show distributional convergence for the Birkhoff sums of eigenfunctions of the substitution matrix. For noncoboundary eigenfunctions with eigenvalue of modulus 1, we obtain a central limit theorem. For other eigenfunctions, we show convergence to distributions supported on Cantor sets. We also give a new criterion for such an eigenfunction to be a coboundary, as well as a new characterization of substitution dynamical systems with bounded discrepancy

研究の動機と目的

• 原始的置換力学系における固定軌道に沿ったBirkhoff和の分布的フラクチュエーションを分析すること。
• 置換行列の固有関数がコバウンダリーであるかどうかを特定すること。これはBirkhoff和の極限分布に影響を与える。
• 絶対値が1（ユニモジュラー）である固有値を持つ非コバウンダリー固有関数に対して中心極限定理を確立すること。
• 非ユニモジュラー固有値を持つ固有関数の極限分布を特定し、カントール集合に台を持つ特異測度への収束を示すこと。
• スペクトル的性質および再正規化の性質を用いて、与えられた固有関数がコバウンダリーであるかどうかを判定する新しい基準を提示すること。

提案手法

• 置換行列 $ M $ の固有関数 $ f $ に対して、$ S_f( heta^k(w)) = \lambda_f^k S_f(w) $ という再正規化恒等式を用い、異なるスケール間のBirkhoff和を結びつける。
• 正規化されたBirkhoff和 $ Y_N $ を $ Y_N = Z_N + \lambda h(X_1) - \lambda^{N+1}(Ph)(X_N) $ として分解し、$ Z_N $ をマルティンググであると仮定し、マルティンググ中心極限定理を適用する。
• マルティンググ増分の分散 $ \mathbb{E}|h(X_{i+1}) - (Ph)(X_i)|^2 $ を解析し、これが $ (I - P^*P)h = 0 $ であるときにかつそのときに限り0になることを示し、これによりコバウンダリーを特徴付ける。
• Neumann級数展開を用いて $ (I - \overline{\lambda}P^*)^{-1} $ および $ (I - \lambda P)^{-1} $ を導出し、正規化和の極限分散を導出する。
• 非実数固有値 $ \lambda \notin \mathbb{R} $ の場合、極限分布の実部と虚部が独立で同一分布に従い、これにより円対称性が成立することを示す。
• 特にPerron-Frobenius固有値 $ \lambda $ を含む置換行列 $ M $ のスペクトル的性質を用い、中心極限定理における正規化スケーリング $ \log_\lambda N $ を定義する。

実験結果

リサーチクエスチョン

• RQ1 置換力学系における固有関数のBirkhoff和が、どのような条件下で漸近的に正規分布に従うフラクチュエーションを示すか？
• RQ2 置換行列の固有関数がコバウンダリーである条件は何か？ また、これはBirkhoff和の極限分布にどのように影響を与えるか？
• RQ3 非ユニモジュラー固有値を持つ固有関数のBirkhoff和の極限分布は何か？
• RQ4 置換系の再正規化構造は、Birkhoff和における自己相似的フラクチュエーションをどのように導くか？
• RQ5 スペクトル的性質およびマルコフ連鎖の性質を用いて、与えられた固有関数がコバウンダリーであるかどうかを判定する新しい基準を導出可能か？

主な発見

• ユニモジュラー固有値 $ \lambda_f = 1 $ でありコバウンダリーでない固有関数 $ f $ に対して、正規化されたBirkhoff和 $ \frac{S_f(u_{\leq n}) - c_1 \log_\lambda n}{c_2 \sqrt{\log_\lambda n}} $ は、標準正規分布に分布収束する。
• 正規化されたBirkhoff和の極限分散は、$ \mathbb{E}|Z|^2 = \left( (I - \overline{\lambda}P^* - \lambda P + \lambda \overline{\lambda} P^*P)g, g \right)_\pi $ で与えられ、Neumann級数展開を用いて導出された。
• 非ユニモジュラー固有値を持つ固有関数に対しては、Birkhoff和はカントール集合に台を持つ特異測度に分布収束するため、非ガウス的フラクチュエーションを示す。
• 条件 $ \mathbb{E}|h(X_2) - (Ph)(X_1)|^2 = 0 $ が成り立つのは、$ (I - P^*P)h = 0 $ であるときにかつそのときに限り成り立つ。これはコバウンダリーを特徴付けるスペクトル的基準を提供する。
• 非実数固有値 $ \lambda \notin \mathbb{R} $ の場合、極限分布の実部と虚部は独立で同じ分散に従い、これにより円対称性が成立する。
• 本稿では、差分が有界である置換系の新しい特徴付けを提示している。このような系は、絶対値が1であるすべての固有関数がコバウンダリーであるときにかつそのときに限り成立する。