[论文解读] 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。论文进一步证明，割点集的 Hausdorff 维数严格小于端点集的 Hausdorff 维数，除非吸引子为 Jordan 弧，从而对欧氏空间中自相似树状结构提供了精确的几何与拓扑刻画。

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.

研究动机与目标

• 识别由 ℝᵈ 中收缩相似变换系统生成的自相似树状结构的拓扑与几何约束。
• 确定此类自相似树状结构的显式构造算法。
• 分析自相似树状结构上同态的度量与解析性质。
• 建立分支点阶数及割点与端点集 Hausdorff 维数的上界。

提出的方法

• 作者将可收缩的 P-多面体系统定义为在 ℝᵈ 中的收缩相似变换系统，该系统将给定多面体 P 映射到子多面体 Pᵢ ⊂ P，且在公共顶点处交集为单点，交集超图无环。
• 通过使用开集条件与单点交集性质，确保拓扑控制并避免重叠复杂性。
• 通过树状结构条件的等价性（局部连通性、唯一弧连通性、无简单闭曲线）证明此类系统的吸引子 K 为树状结构。
• 论文采用多重指标记号及指标映射 π: I^∞ → K，通过顶点与立体角的逆像分析点的原像及其阶数。
• 利用涉及立体角 Ωₖ 与顶点邻域的几何论证，对 K 中点的阶数（特别是割点与分支点）进行上界估计。
• 通过相似维数估计与适当子系统比较 Hausdorff 维数，证明割点集的维数严格下降，除非 K 为 Jordan 弧。

实验结果

研究问题

• RQ1 由 ℝᵈ 中多面体系统生成的自相似树状结构的拓扑与几何约束是什么？
• RQ2 此类树状结构中分支点阶数的上界是多少？其依赖于初始多面体 P 的何种关系？
• RQ3 何时割点集的 Hausdorff 维数等于整个树状结构的 Hausdorff 维数？
• RQ4 在非弧形树状结构中，割点集与端点集的维数关系如何？
• RQ5 能否从初始多面体与相似变换系统算法化地构造树状结构？

主要发现

• 可收缩 P-多面体系统的吸引子 K 是 ℝᵈ 中的树状结构，满足树状结构的所有等价条件，包括唯一弧连通性与无简单闭曲线。
• K 中任意分支点的阶数上界为 (nₚ − 1)(⌈θ_F / θ_min⌉ − 1)，其中 nₚ 为多面体 P 的顶点数，θ_F 为 ℝᵈ 中的全角。
• 割点集 CP(K) 等于 G_S(γ̂)，即骨架 γ̂ 在由相似变换生成的半群 G_S 下的像。
• 割点集的 Hausdorff 维数满足 dim_H(CP(K)) ≤ dim_H(γ̂) < dim_H(K)，除非 K 为 Jordan 弧，此时 dim_H(CP(K)) = dim_H(K)。
• 端点集 EP(K) 的 Hausdorff 维数与 K 相同，且 dim_H(CP(K)) = dim_H(K) 当且仅当 K 为 Jordan 弧。
• 对于任意点 y ∈ K，若 y 不是顶点的像，则其阶数 Ord(y, K) 上界为 nₚ；若 y 是顶点的像，则其阶数上界为 (nₚ − 1)(⌈θ_F / θ_min⌉ − 1)，且该上界仅依赖于 P。