Gap spectra and densities of slow Fibonacci walks

Resumo Técnico: Espectros de Lacunas e Densidades de Caminhadas de Fibonacci Lentas

Enunciado do Problema
Este artigo investiga as propriedades estruturais das "caminhadas de Fibonacci lentas", um conceito introduzido por Chung, Graham e Spiro [4]. Para qualquer inteiro $n \ge 2$, existe uma representação canônica única $n = aF_t + bF_{t-1}$ com $1 \le a \le b \le F_t$ e $t \ge 2$. O inteiro $n$ é classificado como um "inteiro descendente" (down-integer) se $t$ for par e um "inteiro ascendente" (up-integer) se $t$ for ímpar. Essas classificações particionam os inteiros $\ge 2$ em dois conjuntos, $D$ (descendente) e $U$ (ascendente).

O estudo foca nos espectros de lacunas (gap spectra) desses conjuntos. Para um atraso (lag) fixo $\ell \ge 1$, o espectro de lacuna $\ell$-ésimo $D_\ell$ (respectivamente $U_\ell$) é definido como o conjunto de diferenças $\{d_{k+\ell} - d_k\}$ (respectivamente $\{u_{k+\ell} - u_k\}$) entre os elementos das sequências ordenadas de $D$ e $U$. Chung, Graham e Spiro estabeleceram que $D_1 = U_1$ e $D_2 = U_2$, o que levou à conjectura de que $D_\ell = U_\ell$ para todo $\ell \ge 1$. Além disso, eles propuseram o problema de determinar as densidades assintóticas dos conjuntos de ocorrência refinados $D_\ell(m) = \{d_k : d_{k+\ell} - d_k = m\}$ e $U_\ell(m)$, perguntando especificamente se esses conjuntos possuem densidades naturais.

Metodologia
Os autores empregam uma combinação de análise teórica dos números, teoria dos sistemas dinâmicos e teoria da medida geométrica.

1. Representação Canônica e Análise de Fase: O artigo utiliza a representação canônica única de inteiros para definir uma variável de "fase" $\varepsilon_n$. Para um inteiro $n$ com índice canônico $t$, $\varepsilon_n$ é derivada da parte fracionária de $\phi n$ (onde $\phi = (1+\sqrt{5})/2$). A pertinência de $n$ em $D$ ou $U$ é determinada por se $\varepsilon_n$ cai dentro de intervalos específicos definidos por $\alpha = 1/(1+\phi^2)$ e $\beta = \phi/\sqrt{5}$.
2. Mapeamento Geométrico: Os autores definem um mapeamento $L$ do espaço de coeficientes canônicos normalizados para um domínio triangular $T$. Eles demonstram que a distribuição dos coeficientes canônicos converge para uma distribuição uniforme neste domínio. Isso permite que o problema de contagem de lacunas seja traduzido em um problema de medir a medida de Lebesgue de regiões específicas dentro do triângulo $T$ definidas por mapas de rotação $x \mapsto \{x + \phi^{-1}\}$.
3. Dinâmica de Rotação: O cerne da análise de densidade baseia-se na dinâmica da rotação $R(x) = \{x + \phi^{-1}\}$ no círculo unitário. Os autores analisam os "tempos de primeiro retorno" desta rotação a intervalos específicos $[0, \theta)$. Ao caracterizar as somas parciais desses tempos de retorno, eles determinam quais sequências de lacunas são possíveis.
4. Funções de Contagem Assintótica: Para abordar as questões de densidade, os autores constroem uma função continuamente $\phi^4$-periódica $P_{\ell,m}$. Eles provam que as funções de contagem normalizadas para $D_\ell(m)$ e $U_\ell(m)$ convergem para esta função (com um deslocamento de fase para $U$) conforme $X \to \infty$.

Principais Contribuições e Resultados

• Resolução da Conjectura do Espectro de Lacunas:
  O artigo confirma a conjectura $D_\ell = U_\ell$ para $\ell=3$, provando que $D_3 = U_3 = \{3, 4, 5, 6, 7, 8, 10, 11, 13\}$. No entanto, refuta a conjectura para $\ell=4$. Os autores mostram que $D_4 = \{5, 6, 7, 8, 10, 11, 13, 16, 18\}$, enquanto $U_4 = D_4 \cup \{9\}$. Especificamente, o valor da lacuna 9 ocorre em $U$, mas nunca em $D$ (ou seja, $D_4(9) = \emptyset$ enquanto $U_4(9) = \{8\}$).

• Caracterização de Densidades:
  Os autores fornecem uma caracterização completa das densidades dos conjuntos refinados $D_\ell(m)$ e $U_\ell(m)$.

  • Densidade Natural: Eles provam que as densidades naturais existem se, e somente se, a função periódica associada $P_{\ell,m}$ for constante. Para o caso $\ell=1$, eles mostram que para cada $m \in D_1 = \{1, 2, 3, 5\}$, os conjuntos $D_1(m)$ e $U_1(m)$ possuem densidade inferior positiva, mas não possuem densidade natural.
  • Densidade Logarítmica: O artigo prova que as densidades logarítmicas de $D_\ell(m)$ e $U_\ell(m)$ sempre existem e são iguais para qualquer $\ell, m$.
  • Valores Exatos: Para $\ell=1$, os autores derivam fórmulas exatas para as densidades logarítmicas $d_m = \delta_{\log}(D_1(m)) = \delta_{\log}(U_1(m))$. Esses valores são expressos em termos de $\phi$ e logaritmos de $\sqrt{5}$ e $\phi$.

• Fórmula Assintótica:
  O Teorema 1.4 estabelece que, para $X$ grande, a contagem de elementos em $D_\ell(m) \cap [1, X]$ é dada por $X \cdot P_{\ell,m}(\lambda_X) + o(X)$, onde $\lambda_X$ depende da escala de Fibonacci. Esta fórmula revela que a distribuição das lacunas não é uniforme, mas oscila de acordo com a função periódica $P_{\ell,m}$.

Significância
O artigo resolve questões específicas levantadas por Chung, Graham e Spiro sobre a simetria dos espectros de lacunas em caminhadas de Fibonacci lentas. Ao demonstrar que a conjectura $D_\ell = U_\ell$ falha para $\ell=4$, o trabalho destaca assimetrias sutis na distribuição de inteiros ascendentes e descendentes que não são aparentes em atrasos menores. Além disso, a determinação rigorosa das densidades esclarece o comportamento assintótico desses conjuntos, mostrando que, embora as densidades naturais frequentemente não existam devido ao comportamento oscilatório inerente à escala de Fibonacci, as densidades logarítmicas fornecem uma medida estável e igual para ambos os conjuntos. A metodologia de ligar representações canônicas à dinâmica de rotação no círculo oferece um arcabouço robusto para analisar sequências de recorrência semelhantes.