Gap spectra and densities of slow Fibonacci walks

Résumé technique : Spectres de lacunes et densités des marches de Fibonacci lentes

Énoncé du problème
Cet article étudie les propriétés structurelles des « marches de Fibonacci lentes », un concept introduit par Chung, Graham et Spiro [4]. Pour tout entier $n \ge 2$, il existe une représentation canonique unique $n = aF_t + bF_{t-1}$ avec $1 \le a \le b \le F_t$ et $t \ge 2$. L'entier $n$ est classé comme un « entier descendant » (down-integer) si $t$ est pair et comme un « entier montant » (up-integer) si $t$ est impair. Ces classifications partitionnent les entiers $\ge 2$ en deux ensembles, $D$ (descendant) et $U$ (montant).

L'étude se concentre sur les spectres de lacunes de ces ensembles. Pour un décalage fixé $\ell \ge 1$, le $\ell$-ième spectre de lacunes $D_\ell$ (respectivement $U_\ell$) est défini comme l'ensemble des différences $\{d_{k+\ell} - d_k\}$ (respectivement $\{u_{k+\ell} - u_k\}$) entre les éléments des séquences ordonnées de $D$ et $U$. Chung, Graham et Spiro ont établi que $D_1 = U_1$ et $D_2 = U_2$, menant à la conjecture que $D_\ell = U_\ell$ pour tout $\ell \ge 1$. Ils ont également posé le problème de déterminer les densités asymptotiques des ensembles d'occurrence raffinés $D_\ell(m) = \{d_k : d_{k+\ell} - d_k = m\}$ et $U_\ell(m)$, en demandant spécifiquement si ces ensembles possèdent des densités naturelles.

Méthodologie
Les auteurs emploient une combinaison d'analyse de théorie des nombres, de théorie des systèmes dynamiques et de théorie de la mesure géométrique.

1. Représentation canonique et analyse de phase : L'article utilise la représentation canonique unique des entiers pour définir une variable de « phase » $\varepsilon_n$. Pour un entier $n$ de l'indice canonique $t$, $\varepsilon_n$ est dérivée de la partie fractionnaire de $\phi n$ (où $\phi = (1+\sqrt{5})/2$). L'appartenance de $n$ à $D$ ou $U$ est déterminée par le fait que $\varepsilon_n$ tombe dans des intervalles spécifiques définis par $\alpha = 1/(1+\phi^2)$ et $\beta = \phi/\sqrt{5}$.
2. Cartographie géométrique : Les auteurs définissent une application $L$ de l'espace des coefficients canoniques normalisés vers un domaine triangulaire $T$. Ils démontrent que la distribution des coefficients canoniques converge vers une distribution uniforme sur ce domaine. Cela permet de traduire le problème du comptage des lacunes en un problème de mesure de la mesure de Lebesgue de régions spécifiques au sein du triangle $T$, définies par des applications de rotation $x \mapsto \{x + \phi^{-1}\}$.
3. Dynamique de rotation : Le cœur de l'analyse de densité repose sur la dynamique de la rotation $R(x) = \{x + \phi^{-1}\}$ sur le cercle unité. Les auteurs analysent les « temps de premier retour » de cette rotation vers des intervalles spécifiques $[0, \theta)$. En caractérisant les sommes partielles de ces temps de retour, ils déterminent quelles séquences de lacunes sont possibles.
4. Fonctions de comptage asymptotiques : Pour répondre aux questions de densité, les auteurs construisent une fonction $P_{\ell,m}$ continue et multiplicativement $\phi^4$-périodique. Ils prouvent que les fonctions de comptage normalisées pour $D_\ell(m)$ et $U_\ell(m)$ convergent vers cette fonction (avec un déphasage pour $U$) lorsque $X \to \infty$.

Contributions clés et résultats

• Résolution de la conjecture du spectre de lacunes :
  L'article confirme la conjecture $D_\ell = U_\ell$ pour $\ell=3$, prouvant que $D_3 = U_3 = \{3, 4, 5, 6, 7, 8, 10, 11, 13\}$. Cependant, il infirme la conjecture pour $\ell=4$. Les auteurs montrent que $D_4 = \{5, 6, 7, 8, 10, 11, 13, 16, 18\}$, tandis que $U_4 = D_4 \cup \{9\}$. Spécifiquement, la valeur de lacune 9 apparaît dans $U$ mais jamais dans $D$ (c'est-à-dire que $D_4(9) = \emptyset$ alors que $U_4(9) = \{8\}$).

• Caractérisation des densités :
  Les auteurs fournissent une caractérisation complète des densités des ensembles raffinés $D_\ell(m)$ et $U_\ell(m)$.

  • Densité naturelle : Ils prouvent que les densités naturelles existent si et seulement si la fonction périodique associée $P_{\ell,m}$ est constante. Pour le cas $\ell=1$, ils montrent que pour tout $m \in D_1 = \{1, 2, 3, 5\}$, les ensembles $D_1(m)$ et $U_1(m)$ ont une densité inférieure positive mais aucune densité naturelle.
  • Densité logarithmique : L'article prouve que les densités logarithmiques de $D_\ell(m)$ et $U_\ell(m)$ existent toujours et sont égales pour tout $\ell, m$.
  • Valeurs exactes : Pour $\ell=1$, les auteurs dérivent des formules exactes pour les densités logarithmiques $d_m = \delta_{\log}(D_1(m)) = \delta_{\log}(U_1(m))$. Ces valeurs sont exprimées en termes de $\phi$ et de logarithmes de $\sqrt{5}$ et $\phi$.

• Formule asymptotique :
  Le Théorème 1.4 établit que pour de grands $X$, le comptage des éléments dans $D_\ell(m) \cap [1, X]$ est donné par $X \cdot P_{\ell,m}(\lambda_X) + o(X)$, où $\lambda_X$ dépend de l'échelle de Fibonacci. Cette formule révèle que la distribution des lacunes n'est pas uniforme mais oscille selon la fonction périodique $P_{\ell,m}$.

Signification
L'article résout des questions spécifiques posées par Chung, Graham et Spiro concernant la symétrie des spectres de lacunes dans les marches de Fibonacci lentes. En démontrant que la conjecture $D_\ell = U_\ell$ échoue pour $\ell=4$, ce travail met en lumière des asymétries subtiles dans la distribution des entiers descendants et montants qui ne sont pas apparentes aux décalages inférieurs. De plus, la détermination rigoureuse des densités clarifie le comportement asymptotique de ces ensembles, montrant que si les densités naturelles font souvent défaut en raison du comportement oscillatoire inhérent à l'échelle de Fibonacci, les densités logarithmiques fournissent une mesure stable et égale pour les deux ensembles. La méthodologie liant les représentations canoniques à la dynamique de rotation sur le cercle offre un cadre robuste pour analyser des séquences similaires basées sur la récurrence.