A Fibonacci theorem for Collatz trajectories via modular graph structure

Resumo Técnico: Um Teorema de Fibonacci para Trajetórias de Collatz via Estrutura de Grafo Modular

Enunciado do Problema
O artigo aborda a dinâmica do mapa de Collatz acelerado $T(n)$, definido como $n/2$ para $n$ par e $(3n+1)/2$ para $n$ ímpar. Embora a conjectura de Collatz postule que todos os inteiros positivos eventualmente alcançam o ciclo $1 \leftrightarrow 2$, não existe uma prova. O artigo foca em uma propriedade estrutural específica das trajetórias: a frequência com que inteiros ímpares evitam a classe de resíduo $4 \pmod 6$ durante suas iterações iniciais. Especificamente, investiga-se a contagem de inteiros ímpares $n \in \{1, \dots, 2^m\}$ cujas órbitas sob $T$ não visitam o vértice $4$ no grafo modular durante os passos $2, \dots, m$.

Metodologia
O autor emprega um framework de codificação dupla, analisando a dinâmica de Collatz simultaneamente através de lentes binárias e modulares, conectadas por bijeções específicas e simetrias estruturais.

1. Codificação Binária e Resíduo Corretivo:
   O artigo utiliza a codificação de paridade $C_m(n) = (c_1, \dots, c_m)$, onde $c_i = T^{i-1}(n) \pmod 2$. Uma ferramenta algébrica fundamental é o "resíduo corretivo" $R(C_m(n))$, definido tal que $T^m(n) = (3^s n + R)/2^m$, onde $s$ é o peso de Hamming da codificação. O artigo estabelece que $R$ depende exclusivamente da codificação binária, permitindo que a análise de $T^m(n)$ seja conduzida inteiramente ao nível de cadeias binárias sem referência ao valor inteiro específico $n$.

2. Codificação Modular e Construção de Grafo:
   A dinâmica também é codificada módulo 6 via um grafo direcionado $G$ com vértices $\{0, 1, 2, 3, 4, 5\}$. As transições são determinadas pela paridade do iterante atual. O autor constrói uma bijeção $\Psi_m: \{1, \dots, 6 \cdot 2^m\} \to \mathcal{P}_m(G)$, mapeando inteiros para caminhos direcionados de comprimento $m$ em $G$. Esta bijeção compartilha propriedades estruturais (bijetividade, periodicidade e antissimetria) com a codificação binária $\Phi_m$.

3. Teoria Espectral de Grafos:
   A análise foca no subgrafo $G' = G[\{1, 2, 4, 5\}]$, que é o componente fortemente conexo absorvente único para órbitas de inteiros ímpares (após o passo 2). O artigo investiga as propriedades espectrais de $G'$ e de seus subgrafos obtidos pela remoção de vértices específicos. O mecanismo central baseia-se no gap espectral entre o subgrafo efetivo completo $G'$ e o subgrafo $H_4$ (obtido pela remoção do vértice 4).

Contribuições Principais e Resultados

• Contagem Exata de Fibonacci (Teorema 4.7):
  O principal resultado é uma contagem exata de inteiros ímpares que evitam um resíduo específico. Para cada $m \ge 1$, exatamente $F(m+1)$ inteiros ímpares em $\{1, \dots, 2^m\}$ possuem órbitas que evitam a classe de resíduo $4 \pmod 6$ durante os passos $2, \dots, m$. Aqui, $F(m+1)$ é o $(m+1)$-ésimo número de Fibonacci. Esta contagem é derivada do raio espectral do subgrafo de evasão $H_4$, que é a razão áurea $\phi = (1+\sqrt{5})/2$.

• Taxa de Decaimento Exponencial (Corolário 4.9):
  A proporção de tais inteiros decai exponencialmente à taxa $(\phi/2)^m$. Esta taxa é precisamente a razão entre o raio espectral do subgrafo de evasão $\rho(H_4) = \phi$ e o raio espectral do subgrafo efetivo completo $\rho(G') = 2$.

• Teorema do Caminho Modular (Teorema 4.1):
  O artigo caracteriza a ação do deslocamento $+2^m$ sobre codificações modulares. Prova-se que, para um inteiro $n$, os níveis do caminho modular $i$ são preservados sob este deslocamento se, e somente se, $2^{i-1} \nmid n$. Se $2^{i-1} \mid n$, o caminho desloca-se em $+2$ ou $+4 \pmod 6$ dependendo da paridade de $m+i$. Esta rigidez implica que ciclos de comprimento $m$ em progressões aritméticas com diferença $2^m$ são separados por pelo menos $6 \cdot 2^m$.

• Indispensabilidade de Vértice e Hierarquia Espectral (Teorema 4.15):
  O artigo demonstra que nenhum vértice no subgrafo efetivo $G'$ é dispensável. Remover qualquer vértice único $v \in \{1, 2, 4, 5\}$ reduz estritamente o raio espectral abaixo de 2. Os raios espectrais resultantes formam uma hierarquia estrita:
  $$\rho(H_2) = 1 < \rho(H_5) = \sqrt{2} < \rho(H_4) = \rho(H_1) = \phi < \rho(G') = 2$$
  Esta hierarquia governa as taxas de decaimento exponencial de trajetórias que evitam cada respectivo vértice.

• Restrições sobre Ciclos Positivos (Corolários 4.17 & 4.19):
  Com base na hierarquia espectral, o artigo prova que todo ciclo positivo de $T$ deve visitar a classe de resíduo $2 \pmod 6$. Além disso, usando identidades de conservação de fluxo dentro de $G'$, mostra-se que o vértice 2 deve representar mais de $18\%$ ($> m(1-\log_3 2)/2$) dos passos em qualquer ciclo positivo de comprimento $m$.

Significância e Alegações
O artigo afirma fornecer uma explicação estrutural para o aparecimento de números de Fibonacci em trajetórias de Collatz, distinta de enumerações combinatórias anteriores de permutações. A conexão surge de um argumento espectral em um grafo modular, onde a razão áurea aparece como o autovalor de Perron–Frobenius do subgrafo de evasão.

O autor enfatiza que a contagem de Fibonacci é exata e incondicional, não uma aproximação, impulsionada pelo gap espectral $\phi/2 < 1$. O trabalho introduz uma nova bijeção modular $\Psi_m$ e suas propriedades estruturais, que não estão presentes na literatura anterior. Embora o artigo não resolva a conjectura de Collatz, ele estabelece restrições rigorosas sobre a distribuição de resíduos em ciclos hipotéticos, especificamente provando que o resíduo 2 é inevitável e deve constituir uma parte significativa do comprimento de qualquer ciclo. O artigo conclui identificando questões abertas relativas à efetividade desses limites (limitando a primeira ocorrência do resíduo 4) e se todos os vértices de $G'$ são visitados por ciclos não triviais.