Gap spectra and densities of slow Fibonacci walks

Resumen Técnico: Espectros de Brechas y Densidades de Caminos de Fibonacci Lentos

Planteamiento del Problema
Este artículo investiga las propiedades estructurales de los "caminos de Fibonacci lentos", un concepto introducido por Chung, Graham y Spiro [4]. Para cualquier entero $n \ge 2$, existe una representación canónica única $n = aF_t + bF_{t-1}$ con $1 \le a \le b \le F_t$ y $t \ge 2$. El entero $n$ se clasifica como un "entero descendente" (down-integer) si $t$ es par y un "entero ascendente" (up-integer) si $t$ es impar. Estas clasificaciones particionan los enteros $\ge 2$ en dos conjuntos, $D$ (descendentes) y $U$ (ascendentes).

El estudio se centra en los espectros de brechas (gap spectra) de estos conjuntos. Para un desfase fijo $\ell \ge 1$, el espectro de brecha $\ell$-ésimo $D_\ell$ (respectivamente $U_\ell$) se define como el conjunto de diferencias $\{d_{k+\ell} - d_k\}$ (respectivamente $\{u_{k+\ell} - u_k\}$) entre los elementos de las sucesiones ordenadas de $D$ y $U$. Chung, Graham y Spiro establecieron que $D_1 = U_1$ y $D_2 = U_2$, lo que llevó a la conjetura de que $D_\ell = U_\ell$ para todo $\ell \ge 1$. Además, plantearon el problema de determinar las densidades asintóticas de los conjuntos de ocurrencia refinados $D_\ell(m) = \{d_k : d_{k+\ell} - d_k = m\}$ y $U_\ell(m)$, preguntando específicamente si estos conjuntos poseen densidades naturales.

Metodología
Los autores emplean una combinación de análisis de teoría de números, teoría de sistemas dinámicos y teoría de la medida geométrica.

1. Representación Canónica y Análisis de Fase: El artículo utiliza la representación canónica única de los enteros para definir una variable de "fase" $\varepsilon_n$. Para un entero $n$ con índice canónico $t$, $\varepsilon_n$ se deriva de la parte fraccionaria de $\phi n$ (donde $\phi = (1+\sqrt{5})/2$). La pertenencia de $n$ a $D$ o $U$ se determina por si $\varepsilon_n$ cae dentro de intervalos específicos definidos por $\alpha = 1/(1+\phi^2)$ y $\beta = \phi/\sqrt{5}$.
2. Mapeo Geométrico: Los autores definen un mapeo $L$ desde el espacio de coeficientes canónicos normalizados hacia un dominio triangular $T$. Demuestran que la distribución de los coeficientes canónicos converge a una distribución uniforme en este dominio. Esto permite que el problema de contar brechas se traslade al problema de medir la medida de Lebesgue de regiones específicas dentro del triángulo $T$ definidas por mapas de rotación $x \mapsto \{x + \phi^{-1}\}$.
3. Dinámica de Rotación: El núcleo del análisis de densidad reside en la dinámica de la rotación $R(x) = \{x + \phi^{-1}\}$ en el círculo unitario. Los autores analizan los "tiempos de primer retorno" de esta rotación a intervalos específicos $[0, \theta)$. Al caracterizar las sumas parciales de estos tiempos de retorno, determinan qué secuencias de brechas son posibles.
4. Funciones de Conteo Asintótico: Para abordar las preguntas de densidad, los autores construyen una función continua, multiplicativamente $\phi^4$-periódica, $P_{\ell,m}$. Prueban que las funciones de conteo normalizadas para $D_\ell(m)$ y $U_\ell(m)$ convergen a esta función (con un desfase de fase para $U$) cuando $X \to \infty$.

Contribuciones Clave y Resultados

• Resolución de la Conjetura del Espectro de Brechas:
  El artículo confirma la conjetura $D_\ell = U_\ell$ para $\ell=3$, probando que $D_3 = U_3 = \{3, 4, 5, 6, 7, 8, 10, 11, 13\}$. Sin embargo, refuta la conjetura para $\ell=4$. Los autores muestran que $D_4 = \{5, 6, 7, 8, 10, 11, 13, 16, 18\}$, mientras que $U_4 = D_4 \cup \{9\}$. Específicamente, el valor de brecha 9 ocurre en $U$ pero nunca en $D$ (es decir, $D_4(9) = \emptyset$ mientras que $U_4(9) = \{8\}$).

• Caracterización de Densidades:
  Los autores proporcionan una caracterización completa de las densidades de los conjuntos refinados $D_\ell(m)$ y $U_\ell(m)$.

  • Densidad Natural: Prueban que las densidades naturales existen si y solo si la función periódica asociada $P_{\ell,m}$ es constante. Para el caso $\ell=1$, muestran que para cada $m \in D_1 = \{1, 2, 3, 5\}$, los conjuntos $D_1(m)$ y $U_1(m)$ tienen una densidad inferior positiva pero no tienen densidad natural.
  • Densidad Logarítmica: El artículo demuestra que las densidades logarítmicas de $D_\ell(m)$ y $U_\ell(m)$ siempre existen y son iguales para cualquier $\ell, m$.
  • Valores Exactos: Para $\ell=1$, los autores derivan fórmulas exactas para las densidades logarítmicas $d_m = \delta_{\log}(D_1(m)) = \delta_{\log}(U_1(m))$. Estos valores se expresan en términos de $\phi$ y logaritmos de $\sqrt{5}$ y $\phi$.

• Fórmula Asintótica:
  El Teorema 1.4 establece que para $X$ grande, el conteo de elementos en $D_\ell(m) \cap [1, X]$ está dado por $X \cdot P_{\ell,m}(\lambda_X) + o(X)$, donde $\lambda_X$ depende de la escala de Fibonacci. Esta fórmula revela que la distribución de las brechas no es uniforme, sino que oscila según la función periódica $P_{\ell,m}$.

Significancia
El artículo resuelve preguntas específicas planteadas por Chung, Graham y Spiro sobre la simetría de los espectros de brechas en los caminos de Fibonacci lentos. Al demostrar que la conjetura $D_\ell = U_\ell$ falla para $\ell=4$, el trabajo resalta asimetrías sutiles en la distribución de los enteros ascendentes y descendentes que no son aparentes en desfases menores. Además, la determinación rigurosa de las densidades clarifica el comportamiento asintótico de estos conjuntos, mostrando que, si bien las densidades naturales a menudo no existen debido al comportamiento oscilatorio inherente a la escala de Fibonacci, las densidades logarítmicas proporcionan una medida estable e igual para ambos conjuntos. La metodología de vincular las representaciones canónicas con la dinámica de rotación en el círculo ofrece un marco robusto para analizar secuencias similares basadas en recurrencias.