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

Resumo Técnico: Infinitos Buracos nos Lócus de Conectividade para Sistemas de Funções Iteradas Afins Colineares

Enunciado do Problema
Este artigo investiga a topologia dos lócus de conectividade para uma família específica de sistemas de funções iteradas (IFS) afins. Os sistemas são definidos por $n$ aplicações colineares no plano complexo com translações igualmente espaçadas. Especificamente, para um inteiro $n \ge 2$, o IFS é dado por $f_t(z) = t + z/c$, onde $t$ percorre o conjunto $A_n = \{-n+1, -n+3, \dots, n-1\}$. O lócus de conectividade $M_n$ é o conjunto de parâmetros $c \in \mathbb{C} \setminus \mathbb{D}$ (onde $\mathbb{D}$ é o disco unitário aberto) para os quais o atrator $E(c, n)$ é conexo.

Embora o caso $n=2$ (duas aplicações) tenha sido estudado anteriormente por Calegari, Koch e Walker, que provaram a existência de infinitos "buracos" (componentes conexas limitadas do complemento do lócus) acumulando-se em um ponto de renormalização, o status de $M_n$ para $n \ge 3$ era uma conjectura em aberto. Este artigo visa provar que, para todo $n \ge 2$, o lócus $M_n$ contém infinitos buracos.

Metodologia e Estrutura
Os autores empregam uma combinação de teoria de raízes aritméticas e técnicas geométricas de "captura finita" derivadas de um preprint companheiro [4].

1. Formulação Aritmética: O lócus de conectividade $M_n$ é caracterizado como o fechamento das raízes de polinômios cujos coeficientes não principais pertencem ao intervalo inteiro $D_n = \{-n+1, \dots, n-1\}$. Esta equivalência baseia-se em um critério de "ponto marcado": $c \in M_n$ se, e somente se, $2c$ pertence ao atrator de diferença $E(c, N)$, onde $N = 2n-1$.
2. Armadilha Geométrica e Enclausuramento: A prova utiliza uma "armadilha" canônica $C_0(c)$ (um paralelogramo aberto centrado em 0) e um "enclausuramento fechado" $E_{enc}(c, N)$.
   • Certificação de Interior: Se um parâmetro $c$ permite que uma órbita inversa finita de $2c$ caia dentro da armadilha $C_0(c)$, então $c$ pertence ao interior de $M_n$.
   • Certificação de Exterior: Se uma árvore inversa finita de $2c$ torna-se vazia (ou seja, nenhuma órbita inversa admissível permanece dentro do enclausuramento), então $c \notin M_n$.
3. Construção de Testemunha de Laço: Para provar a existência de um buraco, os autores constroem uma "testemunha de laço" $(\Gamma, c^*)$. Esta consiste em uma curva de Jordan $\Gamma \subset M_n$ e um parâmetro testemunha $c^*$ dentro do componente limitado de $\Gamma$ tal que $c^* \notin M_n$. A existência de tal par implica que um buraco existe dentro de $\Gamma$.

Contribuições Principais e Construção
O núcleo do artigo é a construção de uma "família estacionária" de buracos para $n \ge 3$.

• Paralelogramos Fantasmas: Os autores definem um "paralelogramo fantasma" de profundidade $m$ como uma quíntupla de palavras $(d^{(1)}, d^{(2)}, d^{(3)}, d^{(4)}; w)$ onde as quatro palavras de canto são admissíveis (pertencem ao alfabeto $A_N$), mas a palavra do ponto médio $w$ é inadmissível (contém um dígito ímpar, portanto não está em $A_N$).
• Configuração Base: Para cada $n \ge 3$, uma configuração específica de quatro palavras admissíveis de comprimento 18 é construída. Sua palavra do ponto médio $w_1$ possui um dígito ímpar na 10ª posição, tornando-a uma palavra fantasma. As fronteiras das quatro cartas correspondentes formam uma curva de Jordan $\Gamma_{n,1}$ em $M_n$.
• Transporte Estacionário: Um operador de renormalização $R$ é definido que mapeia palavras de comprimento $m$ para comprimento $m+3$. Este operador preserva a relação do ponto médio e a propriedade "fantasma" (o primeiro dígito ímpar desloca-se, mas permanece ímpar). Ao iterar este operador, os autores geram uma sequência infinita de paralelogramos fantasmas de profundidade crescente $m_k = 3k + 15$.
• Parâmetros Testemunha: Para cada nível $k$, a palavra do ponto médio $w_k$ define um polinômio $W_{w_k}(c)$. Os autores provam que, dentro de uma "caixa testemunha" $B_n$, existe uma raiz única $c_{n,k}$ de $W_{w_k}$.
  • Utilizando o teorema de Rouché e limites algébricos explícitos, eles mostram que $c_{n,k}$ está dentro da curva de Jordan $\Gamma_{n,k}$ formada pelas fronteiras das quatro cartas admissíveis no nível $k$.
  • Eles provam adicionalmente que $c_{n,k}$ não está em $M_n$ porque sua árvore inversa torna-se vazia em uma profundidade finita (especificamente, $T_{m_k-1}(c_{n,k}) = \emptyset$).

Resultados

1. Infinitos Buracos: Para todo $n \ge 2$, o lócus de conectividade $M_n$ possui infinitos buracos.
   • Para $n=2$, o resultado segue da inversão do parâmetro e do trabalho conhecido de Calegari–Koch–Walker.
   • Para $n \ge 3$, o resultado é provado através da construção da sequência infinita de buracos disjuntos $(\Gamma_{n,k}, c_{n,k})$ para $k$ ímpar.
2. Ponto de Acúmulo Algébrico: A sequência de parâmetros testemunha $c_{n,k}$ converge para um ponto limite único $\xi_n$ quando $k \to \infty$.
   • Este limite $\xi_n$ é o único zero de um polinômio explícito de grau 13, $Q_n(c)$, dentro da caixa testemunha $B_n$.
   • $\xi_n$ reside na fronteira de $M_n$ ($\xi_n \in \partial M_n$) e é um número algébrico de grau no máximo 13.
   • Cada vizinhança de $\xi_n$ contém infinitos buracos distintos de $M_n$.

Significado e Alegações
O artigo afirma resolver uma conjectura sobre a topologia dos lócus de conectividade para IFS afins colineares com mais de duas aplicações.

• Generalização: Ele estende o fenômeno conhecido de "infinitos buracos" do caso de duas aplicações ($n=2$) para todos os $n \ge 3$.
• Mecanismo: Diferente do caso $n=2$, onde o mecanismo está ligado à geometria específica de duas aplicações, o artigo demonstra um mecanismo "estacionário" baseado no transporte de uma "vacância fantasma" (uma carta central ausente devido a uma palavra do ponto médio inadmissível). Este mecanismo é uniforme para todos os $n \ge 3$.
• Certificação: As provas dependem de certificados algébricos exatos (verificações de sinal, contagem de raízes e verificações de não intersecção) em vez de inspeção visual, garantindo que os buracos sejam rigorosamente estabelecidos.
• Ponto Limite: A identificação de um ponto de fronteira algébrico canônico $\xi_n$ onde esses buracos se acumulam fornece uma descrição estrutural precisa do comportamento de renormalização para estes sistemas.

O artigo não propõe novas aplicações ou configurações experimentais; sua contribuição é estritamente teórica, avançando a compreensão da topologia fractal dos espaços de parâmetros em sistemas de funções iteradas.