[論文レビュー] A code space for a generalized IFS

Filip Strobin, Jarosław Swaczyna|arXiv (Cornell University)|Oct 11, 2013

Evolutionary Algorithms and Applications参考文献 11被引用数 17

ひとこと要約

本稿は、一般化反復関数系（GIFS）のための新しいコード空間フレームワークを導入し、古典的IFS理論を高次元系へと拡張する。GIFSの吸引子とそのコード空間の間の位相的対応を確立し、吸引子の連結性が、GIFS写像の下での像集合族の連結性と同値であることを証明する。これにより、古典的IFSを超えたフラクタル吸引子の新たな位相的特徴付けが得られる。

ABSTRACT

We study the concept of a code (or shift) space for a generalized iterated function system (GIFS in short). We prove that relations between GIFSs and their code spaces are analogous to the case of classical IFSs. As an application, we consider the problem of connectedness of attractors of GIFSs. Many of our results are strengthenings of the ones proved recently by Mihail, Miculescu and Secelean, but some are completely new.

研究の動機と目的

• 一般化反復関数系（GIFS）の順序mに対する厳密なコード空間（シフト空間）フレームワークを構築し、古典的IFS理論を拡張すること。
• GIFS吸引子とそのコード空間の間の位相的対応を確立し、古典的IFSの記号的力学を一般化すること。
• 新たに定義されたコード空間と像集合族を用いて、GIFS吸引子の連結性を調査すること。
• GIFS写像の下での像集合族の連結性を用いて、吸引子の連結性を特徴づけること。
• Mihail, Miculescu, Seceleanらの最近の結果を一般化・強化し、新たな位相的洞察を提示すること。

提案手法

• GIFSの順序mに対して、関数インデックスの無限列の集合としてコード空間を定義し、古典的IFS理論におけるフルシフト空間に類似させる。
• コード空間から吸引子への連続な全射を構成し、古典的IFS理論における符号化写像を一般化する。
• コード空間上のシフト写像を用いて、GIFSにおける関数合成の反復的ダイナミクスをモデル化する。
• すべての有限および無限の関数インデックス列の集合を用いて、コード空間に再帰的構造を導入し、$\Omega_k$および$\Omega$で表す。
• コード空間構造に基づく帰納的議論を用いて、集合族$\{f_i(A \times \cdots \times A)\}_{i=1}^n$が連結であることは、吸引子$A$が連結であることと同値であることを証明する。
• 連結なコンパクト集合の和集合および鎖の位相的補題を適用し、弧状連結性と像族の連結性の間の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 一般化IFSの順序mに対して、コード空間をどのように厳密に定義できるか。また、それは吸引子とどのように関係するか。
• RQ2 吸引子の位相的性質（例：連結性）は、GIFS写像の下での像集合の性質をどの程度反映するか。
• RQ3 GIFSの吸引子が連結であることは、その像集合族$\{f_i(A^m)\}_{i=1}^n$が連結であることと同値であるか。
• RQ4 古典的IFS理論における符号化写像を、連続性と全射性を保ちつつGIFSに拡張できるか。
• RQ5 GIFS吸引子が弧状連結であるための条件は何か。また、それはコード空間の構造とどのように関係するか。

主な発見

• GIFSの順序mに対する新しいコード空間が定義され、古典的フルシフト空間を一般化する。また、このコード空間から吸引子への連続な全射が構成された。
• 吸引子$A_{\mathcal{S}}$が連結であることと、族$\{f_1(A_{\mathcal{S}}^m), \dots, f_n(A_{\mathcal{S}}^m)\}$が連結であることとは同値であり、位相的同値性が確立された。
• 吸引子$A_{\mathcal{S}}$が弧状連結であることと連結であることとは同値であり、古典的IFSの結果がGIFS設定へと拡張された。
• 証明はコード空間上の帰納的構成を用い、すべての$k$および$\alpha$に対して、族$\{A_{\alpha \hat{\;} \beta} : \beta \in \Omega_{k+1}\}$が連結のままであることを示した。
• Mihail, Miculescu, Seceleanらの以前の結果を強化し、特に任意の順序$m \geq 2$および非リプシッツ性を有する一般化$\varphi$-収縮へと一般化した。
• 本稿は、システム写像の下での像集合の連結性を用いて、GIFS吸引子の連結性を特徴づける新たな方法を提示した。これは必要十分条件である。