[論文レビュー] On dendrites, generated by polyhedral systems and their ramification points

Andrei Tetenov, Mary Samuel+1 more|arXiv (Cornell University)|Jul 7, 2017

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

ひとこと要約

本稿では、ℝᵈ 内の収縮相似変換からなる多面体系の吸引子が、有限次の分岐点を持つデンドリットを形成することを確立している。最大の分岐次数は初期の多面体 P のみに依存する。また、切点集合のハウスドルフ次元が、吸引子がジョルダン曲線でない限り、端点集合のハウスドルフ次元より厳密に小さいことを証明し、ユークリッド空間内の自己相似デンドリットの鋭い幾何学的・位相的特徴付けを提供している。

ABSTRACT

The paper considers systems of contraction similarities in $\mathbb R^d$ sending a given polyhedron $P$ to polyhedra $P_i\subset P$, whose non-empty intersections are singletons and contain the common vertices of those polyhedra, while the intersection hypergraph of the system is acyclic. It is proved that the attractor $K$ of such system is a dendrite in $\mathbb R^d$. The ramification points of such dendrite fave finite order whose upper bound depends only on the polyhedron $P$, and the set of the cut points of the dendrite $K$ is equal to the dimension of the whole $K$ iff $K$ is a Jordan arc.

研究の動機と目的

• ℝᵈ 内の収縮相似変換系によって生成される自己相似デンドリットを特徴づける位相的・幾何的制約を特定すること。
• このような自己相似デンドリットの明示的構成アルゴリズムを同定すること。
• 自己相似デンドリット構造上の写像の距離的および解析的性質を分析すること。
• 分岐点の次数および切点・端点集合のハウスドルフ次元に対する上限を確立すること。

提案手法

• 著者らは、与えられた多面体 P を部分多面体 Pᵢ ⊂ P に写像する ℝᵈ 内の収縮相似変換の系を定義し、共通頂点での交わりが単一の点であり、交差ハイパーグラフがサイクルを持たないものとして、P-多面体的可縮系を定義する。
• 開集合条件および一点交わりの性質を用いて、位相的制御を確保し、重複による複雑さを回避する。
• このような系の吸引子 K は、局所的連結性、唯一の弧的接続性、単純閉曲線の不在というデンドリット条件の同値性により、デンドリットであることが証明される。
• 多インデックス記法と写像 π: I^∞ → K を用いて、点の逆像およびその次数を、頂点および立体角の逆像を通じて分析する。
• 立体角 Ωₖ および頂点近傍を用いた幾何的議論により、特に切点および分岐点において、K 内の点の次数を上限で抑え込む。
• 類似次元推定値と適切な部分系を用いて、ハウスドルフ次元の比較を行い、K がジョルダン曲線でない限り、切点集合の次元が厳密に低下することを示す。

実験結果

リサーチクエスチョン

• RQ1 ℝᵈ 内の多面体系によって生成される自己相似デンドリットを特徴づける位相的・幾何的制約は何か？
• RQ2 このようなデンドリットにおける分岐点の次数の上界は何か？また、初期多面体 P にどのように依存するか？
• RQ3 切点集合のハウスドルフ次元が、全体のデンドリットのハウスドルフ次元と等しくなるのはいつか？
• RQ4 非曲線的デンドリットにおいて、切点集合と端点集合の次元の関係は何か？
• RQ5 初期多面体および相似変換系から、デンドリットの構造をアルゴリズム的に構築できるか？

主な発見

• 可縮 P-多面体的系の吸引子 K は、ℝᵈ 内のデンドリットであり、局所的連結性、唯一の弧的接続性、単純閉曲線の不在といったすべての同値条件を満たす。
• K 内の任意の分岐点の次数は、(nₚ − 1)(⌈θ_F / θ_min⌉ − 1) で上から抑えられる。ここで nₚ は P の頂点数、θ_F は ℝᵈ 内の全立体角である。
• 切点集合 CP(K) は、G_S(γ̂) に等しい。ここで G_S は相似変換によって生成される半群であり、γ̂ は骨格の像である。
• 切点集合のハウスドルフ次元は、dim_H(CP(K)) ≤ dim_H(γ̂) < dim_H(K) を満たす。ただし、K がジョルダン曲線の場合は dim_H(CP(K)) = dim_H(K) である。
• 端点集合 EP(K) のハウスドルフ次元は K と同じであり、dim_H(CP(K)) = dim_H(K) が成り立つのは、K がジョルダン曲線である場合に限る。
• 任意の点 y ∈ K に対して、Ord(y, K) は、y が頂点の像でない場合、nₚ で上から抑えられ、y が頂点の像である場合、(nₚ − 1)(⌈θ_F / θ_min⌉ − 1) で抑えられる。この上限は P のみに依存する。