Infinitely many holes in connectedness loci for collinear affine iterated function systems

技术摘要：共线仿射迭代函数系统中存在无穷多空洞

问题陈述
本文研究了一类特定仿射迭代函数系统（IFS）的连通集（connectedness loci）的拓扑结构。这些系统由复平面上具有等间距平移的 $n$ 个共线映射定义。具体而言，对于整数 $n \ge 2$，该 IFS 由 $f_t(z) = t + z/c$ 定义，其中 $t$ 的取值范围为集合 $A_n = \{-n+1, -n+3, \dots, n-1\}$。连通集 $M_n$ 是参数 $c \in \mathbb{C} \setminus \mathbb{D}$（其中 $\mathbb{D}$ 为开单位圆盘）的集合，使得吸引子 $E(c, n)$ 是连通的。

虽然 $n=2$（两个映射）的情况此前已被 Calegari、Koch 和 Walker 研究过，他们证明了在重整化点附近存在无穷多个“空洞”（连通集的补集的有界连通分支），但 $M_n$ 对于 $n \ge 3$ 的状态曾是一个开放猜想。本文旨在证明，对于每个 $n \ge 2$，集合 $M_n$ 包含无穷多个空洞。

方法论与框架
作者结合了算术根理论和源自伴随预印本 [4] 的几何“有限捕获”（finite-capture）技术。

1. 算术表述： 连通集 $M_n$ 被刻画为单项式多项式的根的闭包，其非领先系数位于整数区间 $D_n = \{-n+1, \dots, n-1\}$ 内。这种等价性依赖于一个“标记点”准则：$c \in M_n$ 当且仅当 $2c$ 属于差分吸引子 $E(c, N)$，其中 $N = 2n-1$。
2. 几何陷阱与包围： 证明利用了一个规范的“陷阱” $C_0(c)$（一个以 0 为中心的开平行四边形）和一个“闭包围” $E_{enc}(c, N)$。
   • 内部认证： 如果参数 $c$ 允许 $2c$ 的有限逆轨道落在陷阱 $C_0(c)$ 内部，则 $c$ 位于 $M_n$ 的内部。
   • 外部认证： 如果 $2c$ 的有限逆树变得为空（即不存在剩余的可容许逆轨道），则 $c \notin M_n$。
3. 回路见证构造： 为了证明空洞的存在，作者构造了一个“回路见证”（loop witness）$(\Gamma, c^*)$。它由一条 Jordan 曲线 $\Gamma \subset M_n$ 和位于 $\Gamma$ 有界分量内的见证参数 $c^*$ 组成，且 $c^* \notin M_n$。该对组合的存在意味着 $\Gamma$ 内部存在一个空洞。

核心贡献与构造
本文的核心是为 $n \ge 3$ 构造一个“平稳族”（stationary family）的空洞。

• 幽灵平行四边形（Ghost Parallelograms）： 作者将深度为 $m$ 的“幽灵平行四边形”定义为一个由五个单词组成的五元组 $(d^{(1)}, d^{(2)}, d^{(3)}, d^{(4)}; w)$，其中四个角上的单词是可容许的（属于字母表 $A_N$），但中间单词 $w$ 是不可容许的（包含一个奇数数字，因此不在 $A_N$ 中）。
• 基础配置： 对于每个 $n \ge 3$，构造了一组特定的长度为 18 的四个可容许单词。它们的中间单词 $w_1$ 在第 10 个位置有一个奇数数字，使其成为一个幽灵单词。相应四个图表的边界构成了 $M_n$ 中的一条 Jordan 曲线 $\Gamma_{n,1}$。
• 平稳传输： 定义了一个重整化算子 $R$，它将长度为 $m$ 的单词映射到长度为 $m+3$ 的单词。该算子保持了中间关系和“幽灵”属性（第一个奇数数字发生偏移但仍保持为奇数）。通过迭代该算子，作者生成了一个由深度 $m_k = 3k + 15$ 的幽灵平行四边形组成的无穷序列。
• 见证参数： 对于每个层级 $k$，中间单词 $w_k$ 定义了一个多项式 $W_{w_k}(c)$。作者证明，在特定的“见证框” $B_n$ 内，存在 $W_{w_k}(c)$ 的唯一根 $c_{n,k}$。
  • 利用 Rouché 定理和显式的代数界限，他们证明了 $c_{n,k}$ 位于由层级 $k$ 的四个可容许图表的边界所形成的 Jordan 曲线 $\Gamma_{n,k}$ 内部。
  • 他们进一步证明 $c_{n,k}$ 不在 $M_n$ 中，因为其逆树在有限深度处变为空（即 $T_{m_k-1}(c_{n,k}) = \emptyset$）。

结果

1. 无穷多个空洞： 对于每个 $n \ge 2$，$M_n$ 拥有无穷多个空洞。
   • 对于 $n=2$，该结果通过参数的反转以及 Calegari–Koch–Walker 已有的工作得出。
   • 对于 $n \ge 3$，通过构造无穷序列的互不相交的空洞 $(\Gamma_{n,k}, c_{n,k})$（对于奇数 $k$）证明了该结果。
2. 代数累积点： 见证参数序列 $c_{n,k}$ 趋向于一个唯一的极限点 $\xi_n$。
   • 该极限点 $\xi_n$ 是在见证框 $B_n$ 内的一个显式 13 次多项式 $Q_n(c)$ 的唯一零点。
   • $\xi_n$ 位于 $M_n$ 的边界上（$\xi_n \in \partial M_n$），且是一个次数至多为 13 的代数数。
   • $\xi_n$ 的每个邻域都包含 $M_n$ 的无穷多个不同的空洞。

意义与主张
本文声称解决了关于具有三个及以上映射的共线仿射 IFS 的连通集拓扑结构的猜想。

• 泛化： 它将已知在两个映射情况（$n=2$）下的“无穷多个空洞”现象扩展到了所有 $n \ge 3$ 的情况。
• 机制： 不同于 $n=2$ 情况中与特定双映射几何相关的机制，本文展示了一种基于“幽灵空缺”（由于不可容许的中间单词导致的缺失中心图表）传输的“平稳”机制。这种机制在所有 $n \ge 3$ 中是统一的。
• 认证： 证明依赖于精确的代数证书（符号检查、根计数和非相交验证），而非视觉观察，从而确保了空洞被严谨地确立。
• 极限点： 通过识别一个规范的代数边界点 $\xi_n$（此处是这些空洞累积的地方），为这些系统的重整化行为提供了精确的结构描述。

本文并未提出新的应用或实验设置；其贡献纯粹是理论性的，推进了对迭代函数系统中参数空间分形拓扑结构的理解。