[论文解读] 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.

研究动机与目标

• 为阶数为m的广义迭代函数系统（GIFS）建立严格的码空间（移位空间）框架，扩展经典IFS理论。
• 在GIFS吸引子与其码空间之间建立拓扑对应关系，推广经典IFS的符号动力学。
• 利用新定义的码空间和像集族研究GIFS吸引子的连通性。
• 以GIFS映射下像集族的连通性来表征吸引子连通性。
• 推广并强化近期关于GIFS吸引子的研究成果，特别是Mihail、Miculescu和Secelean的工作，同时引入新的拓扑洞见。

提出的方法

• 将阶数为m的GIFS的码空间定义为函数索引的无限序列集合，类比经典IFS理论中的全移位空间。
• 构建从码空间到吸引子的连续满射，推广经典IFS的编码映射。
• 在码空间上使用移位映射来模拟GIFS中迭代函数复合的动力学。
• 利用所有有限和无限函数索引序列的集合，即$\Omega_k$和$\Omega$，在码空间上建立递归结构。
• 通过码空间结构的归纳论证，证明集合族$\{f_i(A \times \cdots \times A)\}_{i=1}^n$连通当且仅当吸引子$A$连通。
• 应用关于紧集并集与链的连通性拓扑引理，建立弧连通性与像集族连通性之间的等价性。

实验结果

研究问题

• RQ1 如何为阶数为m的广义IFS严格定义码空间，其与吸引子的关系是什么？
• RQ2 吸引子的拓扑性质（如连通性）在多大程度上反映了GIFS映射下像集的性质？
• RQ3 当且仅当其像集族$\{f_i(A^m)\}_{i=1}^n$连通时，GIFS的吸引子是否连通？
• RQ4 经典IFS理论中的编码映射能否以保持连续性和满射性的方式推广至GIFS？
• RQ5 何种条件可确保GIFS吸引子为弧连通，其与码空间结构的关系如何？

主要发现

• 定义了阶数为m的GIFS的新码空间，推广了经典全移位空间，并构建了从该码空间到吸引子的连续满射。
• 吸引子$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$及非Lipschitz广义$\varphi$-压缩映射。
• 本文通过系统映射下像集的连通性，为GIFS吸引子的连通性提供了新的表征，该条件既充分又必要。