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

Resumen Técnico: Infinitos Agujeros en los Loci de Conexión para Sistemas de Funciones Iteradas Afines Colineales

Planteamiento del Problema
Este artículo investiga la topología de los loci de conexión para una familia específica de sistemas de funciones iteradas (IFS) afines. Los sistemas están definidos por $n$ aplicaciones colineales en el plano complejo con traslaciones igualmente espaciadas. Específicamente, para un entero $n \ge 2$, el IFS está dado por $f_t(z) = t + z/c$ donde $t$ recorre el conjunto $A_n = \{-n+1, -n+3, \dots, n-1\}$. El locus de conexión $M_n$ es el conjunto de parámetros $c \in \mathbb{C} \setminus \mathbb{D}$ (donde $\mathbb{D}$ es el disco unitario abierto) para los cuales el atractor $E(c, n)$ es conexo.

Mientras que el caso $n=2$ (dos aplicaciones) fue estudiado previamente por Calegari, Koch y Walker, quienes demostraron la existencia de infinitos "agujeros" (componentes conexas acotadas del complemento del locus) acumulándose en un punto de renormalización, el estatus de $M_n$ para $n \ge 3$ era una conjetura abierta. Este artículo tiene como objetivo demostrar que para cada $n \ge 2$, el locus $M_n$ contiene infinitos agujeros.

Metodología y Marco de Trabajo
Los autores emplean una combinación de teoría de raíces aritméticas y técnicas geométricas de "captura finita" derivadas de un preimpreso compañero [4].

1. Formulación Aritmética: El locus de conexión $M_n$ se caracteriza como el cierre de las raíces de polinomios cuyos coeficientes no principales pertenecen al intervalo entero $D_n = \{-n+1, \dots, n-1\}$. Esta equivalencia depende de un criterio de "punto marcado": $c \in M_n$ si y solo si $2c$ pertenece al atractor de diferencia $E(c, N)$, donde $N = 2n-1$.
2. Trampa Geométrica y Encierro: La demostración utiliza una "trampa" canónica $C_0(c)$ (un paralelogramo abierto centrado en 0) y un "encierro cerrado" $E_{enc}(c, N)$.
   • Certificación de Interior: Si un parámetro $c$ permite que una órbita inversa finita de $2c$ caiga dentro de la trampa $C_0(c)$, entonces $c$ pertenece al interior de $M_n$.
   • Certificación de Exterior: Si un árbol inverso finito de $2c$ queda vacío (es decir, ninguna órbita inversa admisible permanece dentro del encierro), entonces $c \notin M_n$.
3. Construcción de Testigo de Bucle: Para demostrar la existencia de un agujero, los autores construyen un "testigo de bucle" $(\Gamma, c^*)$. Este consiste en una curva de Jordan $\Gamma \subset M_n$ y un parámetro testigo $c^*$ dentro de la componente conexa acotada de $\Gamma$ tal que $c^* \notin M_n$. La existencia de tal par implica que existe un agujero dentro de $\Gamma$.

Contribuciones Clave y Construcción
El núcleo del artículo es la construcción de una "familia estacionaria" de agujeros para $n \ge 3$.

• Paralelogramos Fantasma: Los autores definen un "paralelogramo fantasma" de profundidad $m$ como una quíntupla de palabras $(d^{(1)}, d^{(2)}, d^{(3)}, d^{(4)}; w)$, donde las cuatro palabras de las esquinas son admisibles (pertenecen al alfabeto $A_N$), pero la palabra media $w$ es inadmisible (contiene un dígito impar, por lo tanto no pertenece a $A_N$).
• Configuración Base: Para cada $n \ge 3$, se construye un conjunto específico de cuatro palabras admisibles de longitud 18. Su palabra media $w_1$ tiene un dígito impar en la décima posición, lo que la convierte en una palabra fantasma. Las fronteras de las cuatro cartas correspondientes forman una curva de Jordan $\Gamma_{n,1}$ en $M_n$.
• Transporte Estacionario: Se define un operador de renormalización $R$ que mapea palabras de longitud $m$ a longitud $m+3$. Este operador preserva la relación de punto medio y la propiedad de "fantasma" (el primer dígito impar se desplaza pero sigue siendo impar). Al iterar este operador, los autores generan una secuencia infinita de paralelogramos fantasma de profundidad creciente $m_k = 3k + 15$.
• Parámetros Testigo: Para cada nivel $k$, la palabra media $w_k$ define un polinomio $W_{w_k}(c)$. Los autores demuestran que, dentro de una "caja de testigo" $B_n$, existe una raíz única $c_{n,k}$ de $W_{w_k}$.
  • Utilizando el teorema de Rouché y cotas algebraicas explícitas, demuestran que $c_{n,k}$ se encuentra dentro de la curva de Jordan $\Gamma_{n,k}$ formada por las fronteras de las cuatro cartas admisibles en el nivel $k$.
  • Además, demuestran que $c_{n,k}$ no está en $M_n$ porque su árbol inverso queda vacío en una profundidad finita (específicamente, $T_{m_k-1}(c_{n,k}) = \emptyset$).

Resultados

1. Infinitos Agujeros: Para cada $n \ge 2$, el locus de conexión $M_n$ tiene infinitos agujeros.
   • Para $n=2$, el resultado se sigue de la inversión del parámetro y el trabajo conocido de Calegari–Koch–Walker.
   • Para $n \ge 3$, el resultado se demuestra mediante la construcción de la secuencia infinita de agujeros disjuntos $(\Gamma_{n,k}, c_{n,k})$ para $k$ impar.
2. Punto de Acumulación Algebraico: La secuencia de parámetros testigo $c_{n,k}$ converge a un punto límite único $\xi_n$ cuando $k \to \infty$.
   • Este límite $\xi_n$ es el cero único de un polinomio explícito de grado 13, $Q_n(c)$, dentro de la caja de testigo $B_n$.
   • $\xi_n$ se encuentra en la frontera de $M_n$ ($\xi_n \in \partial M_n$) y es un número algebraico de grado a lo sumo 13.
   • Cada vecindad de $\xi_n$ contiene infinitos agujeros distintos de $M_n$.

Significado y Reivindicaciones
El artículo afirma resolver una conjetura sobre la topología de los loci de conexión para IFS afines colineales con más de dos aplicaciones.

• Generalización: Extiende el fenómeno conocido de "infinitos agujeros" del caso de dos aplicaciones ($n=2$) a todos los $n \ge 3$.
• Mecanismo: A diferencia del caso $n=2$, donde el mecanismo está ligado a la geometría específica de dos aplicaciones, el artículo demuestra un mecanismo "estacionario" basado en el transporte de un "vacío fantasma" (una carta central faltante debido a una palabra media inadmisible). Este mecanismo es uniforme para todo $n \ge 3$.
• Certificación: Las demostraciones dependen de certificados algebraicos exactos (verificaciones de signo, conteo de raíces y verificaciones de no intersección) en lugar de inspección visual, asegurando que los agujeros estén rigurosamente establecidos.
• Punto Límite: La identificación de un punto de frontera algebraica canónico $\xi_n$ donde estos agujeros se acumulan proporciona una descripción estructural precisa del comportamiento de la renormalización para estos sistemas.

El artículo no propone nuevas aplicaciones o configuraciones experimentales; su contribución es estrictamente teórica, avanzando en la comprensión de la topología fractal de los espacios de parámetros en los sistemas de funciones iteradas.