[论文解读] Subdivision rule constructions on critically preperiodic quadratic matings

Mary Wilkerson|arXiv (Cornell University)|Jan 26, 2016

semigroups and automata theory参考文献 6被引用 6

一句话总结

本文提出了一种基于 Hubbard 树和外射线动力学的有限细分规则构造方法，用于非双曲的临界预周期二次多项式之有理同胚。通过在伪赤道上分配边长以建模同胚的拓扑结构，该方法显式构造了细分规则，能够捕捉此类同胚的动力学，即使在伪赤道不存在的情况下也成立，为现有在非双曲情形下失效的算法提供了一种组合方法替代方案。

ABSTRACT

Mating is an operation that identifies the domains of a polynomial pair in order to obtain a new map on the resulting quotient space. The dynamics of the mating are then dependent on the two polynomials and the manner in which the quotient space was defined, which can be difficult to visualize. This research addresses using Hubbard trees and finite subdivision rules as tools to examine quadratic matings with preperiodic critical points. In many cases, discrete parameter information on such quadratic pairs can be translated into topological information on the dynamics of their mating. The central theorems in this work provide methods for explicitly constructing subdivision rules that model non-hyperbolic matings. We follow with several examples and connections to the current literature.

研究动机与目标

• 开发一种用于建模临界预周期二次多项式非双曲同胚的组合方法。
• 解决现有算法（如 Medusa）在非双曲情形下发散的局限性。
• 提供一种能捕捉此类同胚的拓扑与动力结构的有限细分规则构造方法。
• 探讨伪赤道的作用及其在非若尔当曲线情形下的失效，拓展同胚理论的适用范围。

提出的方法

• 从两个临界预周期二次多项式的 Hubbard 树出发，构造有限细分规则的 1-骨架。
• 利用 Carathéodory 半共轭追踪外射线角度及其着陆点，确保与前向动力学的一致性。
• 基于临界轨道结构导出的后临界点间距，在伪赤道上分配边长。
• 定义一个函数 θ，将后临界点映射到模 1 的外角度，满足 θ(p_i) = θ(p_0) + Σv_k 且 θ(p_i) ≡ θ(E(p_i)) mod 1。
• 应用核心构造生成一个双瓷砖结构，其 1-骨架近似同胚的商空间。
• 分析当赤道被压缩为非若尔当曲线的情形，表明即使没有伪赤道，细分规则依然有效。

实验结果

研究问题

• RQ1 能否为非双曲的临界预周期二次多项式同胚显式构造有限细分规则？
• RQ2 外射线动力学与 Hubbard 树结构如何指导此类同胚中细分规则的构造？
• RQ3 伪赤道在何种条件下存在？当其不存在时，构造方法应如何调整？
• RQ4 细分规则框架能否建模赤道被压缩为非若尔当曲线的同胚？
• RQ5 该方法如何与现有算法（如 Medusa）互补或扩展，以处理非双曲同胚？

主要发现

• 核心构造成功为非双曲同胚生成了有限细分规则，即使伪赤道不是若尔当曲线也成立。
• 对于同胚 f_{1/6} ◯ f_{1/6}，通过边长分配与外角度计算确认了伪赤道，得到 θ(p_0) = 1/6，θ(p_1) = 1/3，θ(p_2) = 2/3，θ(p_3) = 5/6。
• 该方法识别出临界值为满足 θ(p_i) ≡ 2θ(p_j) mod 1 的点，确认 p_0 和 p_3 为临界值。
• 在 f_{1/6} ◯ f_{13/14} 等情形中，由于后临界点的等价关系，赤道被压缩为非若尔当曲线，但细分规则构造依然有效。
• 由构造生成的双瓷砖近似了同胚的商空间，其 1-骨架建模了有理映射的动力学。
• 该方法为计算密集型方法提供了一种组合替代方案，使人们无需计算辅助即可草绘低复杂度同胚的映射行为。