[論文レビュー] The Central Limit Theorem for function systems on the circle

Tomasz Szarek, Anna Zdunik|arXiv (Cornell University)|Mar 30, 2017

Mathematical Dynamics and Fractals参考文献 9被引用数 3

ひとこと要約

本稿は、生成写像の正則性を要しない最小限の仮定の下で、円周上の反復関数系（IFS）に対して中心極限定理（CLT）を確立する。具体的には、半群作用の最小性を仮定し、生成写像の追加の滑らかさを必要としない。証明は、マコフ連鎖におけるMaxwell-Woodroofe条件を用い、エルゴード性と漸近的安定性を保証するためのe-性質を導入することで、任意の初期分布および一般確率ベクトルへとCLTを拡張する。有理数近似を用いて、一般確率ベクトルへの拡張を実現する。

ABSTRACT

The Central Limit Theorem for Iterated Functions Systems on the circle is proved. We study also ergodicity of such systems.

研究の動機と目的

• 最小限の仮定の下で、円周上の反復関数系（IFS）におけるリプシッツ連続観測量に対する中心極限定理（CLT）を確立すること。
• スペクトルギャップを要件としないシステムへとCLTを拡張し、任意の初期分布および一般確率ベクトルを許容すること。
• マコフ作用素のe-性質を用いて、IFSのエルゴード性と漸近的安定性の枠組みを提供すること。
• 既知のエルゴード的結果の代替的証明を、e-性質を用いて提供し、最小の力学的仮定のもとで適用可能なIFSに拡張すること。

提案手法

• IFSによって生成される定常マコフ連鎖におけるCLTの十分条件として、Maxwell-Woodroofe条件を用いる。
• Feller作用素のe-性質を適用し、反復関数の等連続性を保証することで、エルゴード不変測度の分離を示す。
• Cesáro e-性質を用いて、全測度の開集合内に属する任意の初期点に対して、経験測度の弱収束を証明する。
• 一般確率ベクトルの有理数近似を用いて、等確率を持つ記号的拡張を構築し、不変測度とCLTの性質を保存する。
• リプシッツ連続性とe-性質を用いて、異なる初期点からの軌道間の特性関数の差を推定する。
• 有理数確率ベクトルによる近似を用いて、等確率から一般確率へのCLTの拡張を実現し、収束速度の均一なバインディングを維持する。

実験結果

リサーチクエスチョン

• RQ1 リプシッツ連続観測量を伴う反復関数系（IFS）が円周上で中心極限定理を満たす最小限の条件は何か？
• RQ2 スペクトルギャップや写像の追加の正則性を要件としないで、IFSに対してCLTを確立できるか？
• RQ3 マコフ作用素のe-性質をどのように用いて、円周上のIFSのエルゴード性と漸近的安定性を証明できるか？
• RQ4 IFSの枠組みにおいて、一般初期分布および任意の確率ベクトルに対してCLTが有効であるか？
• RQ5 近似技術を用いて、等確率から一般確率へのCLTを拡張できるか？

主な発見

• 生成写像の滑らかさを要件としない唯一の仮定として、半群作用の最小性を仮定するだけで、円周上のIFSに対してリプシッツ連続観測量に対するCLTが成立する。
• Maxwell-Woodroofe条件は、IFSの文脈におけるCLTの十分条件であり、任意の初期分布に対して有効である。
• e-性質により、異なるエルゴード不変測度が互いに素な台を持つことが保証され、これが不変性と安定性の証明の鍵となる。
• Cesáro e-性質が成り立つ限り、全測度の開不変集合の存在を含む弱い条件下で、IFSの漸近的安定性とエルゴード性が導かれる。
• 有理数近似を用いることで、一般確率ベクトルへのCLTが拡張され、近似パrameterに一様に依存しない収束が保証される。
• ホルダー連続観測量に対しても、わずかな修正で証明が成立し、この枠組みの堅牢性が示される。