Gap spectra and densities of slow Fibonacci walks

Technische Samenvatting: Gap-spectra en dichtheden van trage Fibonacci-wandelingen

Probleemstelling
Dit artikel onderzoekt de structurele eigenschappen van "trage Fibonacci-wandelingen" (slow Fibonacci walks), een concept geïntroduceerd door Chung, Graham en Spiro [4]. Voor elk geheelal $n \ge 2$ bestaat er een unieke canonieke representatie $n = aF_t + bF_{t-1}$ met $1 \le a \le b \le F_t$ en $t \ge 2$. Een geheelal $n$ wordt geclassificeerd als een "down-integer" als $t$ even is en een "up-integer" als $t$ oneven is. Deze classificaties verdelen de gehele getallen $\ge 2$ in twee verzamelingen, $D$ (down) en $U$ (up).

De studie richt zich op de gap-spectra van deze verzamelingen. Voor een vaste vertraging (lag) $\ell \ge 1$ is het $\ell$-de gap-spectrum $D_\ell$ (respectievelijk $U_\ell$) gedefinieerd als de verzameling verschillen $\{d_{k+\ell} - d_k\}$ (respectievelijk $\{u_{k+\ell} - u_k\}$) tussen de elementen in de geordende sequenties van $D$ en $U$. Chung, Graham en Spiro stelden vast dat $D_1 = U_1$ en $D_2 = U_2$, wat leidde tot de vermoeden dat $D_\ell = U_\ell$ voor alle $\ell \ge 1$. Bovendien stelden zij de vraag om de asymptotische dichtheden te bepalen van de verfijnde voorkomstverzamelingen $D_\ell(m) = \{d_k : d_{k+\ell} - d_k = m\}$ en $U_\ell(m)$, waarbij specifiek werd gevraagd of deze verzamelingen natuurlijke dichtheden bezitten.

Methodologie
De auteurs maken gebruik van een combinatie van getaltheoretische analyse, dynamische systementheorie en meetkundige meettheorie.

1. Canonieke Representatie en Faseanalyse: Het artikel gebruikt de unieke canonieke representatie van gehele getallen om een "fase"-variabele $\varepsilon_n$ te definiëren. Voor een geheelal $n$ met canonieke index $t$, wordt $\varepsilon_n$ afgeleid van het breukdeel van $\phi n$ (waarbij $\phi = (1+\sqrt{5})/2$). De lidmaatschap van $n$ in $D$ of $U$ wordt bepaald door of $\varepsilon_n$ valt binnen specifieke intervallen gedefinieerd door $\alpha = 1/(1+\phi^2)$ en $\beta = \phi/\sqrt{5}$.
2. Meetkundige Mapping: De auteurs definiëren een afbeelding $L$ van de ruimte van genormaliseerde canonieke coëfficiënten naar een driehoekig domein $T$. Zij tonen aan dat de distributie van canonieke coëfficiënten convergeert naar een uniforme distributie op dit domein. Dit maakt het mogelijk om het probleem van het tellen van gaten (gaps) te vertalen naar een probleem van het meten van de Lebesgue-maat van specifieke regio's binnen de driehoek $T$, gedefinieerd door rotatiemappen $x \mapsto \{x + \phi^{-1}\}$.
3. Rotatiedynamica: De kern van de dichtheidsanalyse berust op de dynamica van de rotatie $R(x) = \{x + \phi^{-1}\}$ op de eenheidscirkel. De auteurs analyseren de "eerste terugkeertijden" van deze rotatie naar specifieke intervallen $[0, \theta)$. Door de partiële sommen van deze terugkeertijden te karakteriseren, bepalen zij welke gap-sequenties mogelijk zijn.
4. Asymptotische Tellersfuncties: Om de dichtheidsvragen aan te pakken, construeren de auteurs een continue, multiplicatief $\phi^4$-periodieke functie $P_{\ell,m}$. Zij bewijzen dat de genormaliseerde telfuncties voor $D_\ell(m)$ en $U_\ell(m)$ convergeren naar deze functie (met een faseverschuiving voor $U$) naarmate $X \to \infty$.

Belangrijkste Bijdragen en Resultaten

• Resolutie van de Gap-spectrum Vermoeden:
  Het artikel bevestigt het vermoeden $D_\ell = U_\ell$ voor $\ell=3$, waarbij wordt bewezen dat $D_3 = U_3 = \{3, 4, 5, 6, 7, 8, 10, 11, 13\}$. Echter, het weerlegt het vermoeden voor $\ell=4$. De auteurs tonen aan dat $D_4 = \{5, 6, 7, 8, 10, 11, 13, 16, 18\}$, terwijl $U_4 = D_4 \cup \{9\}$. Specifiek komt de gap-waarde 9 voor in $U$, maar nooit in $D$ (d.w.z. $D_4(9) = \emptyset$ terwijl $U_4(9) = \{8\}$).

• Karakterisering van Dichtheden:
  De auteurs bieden een volledige karakterisering van de dichtheden van de verfijnde verzamelingen $D_\ell(m)$ en $U_\ell(m)$.

  • Natuurlijke Dichtheid: Zij bewijzen dat natuurlijke dichtheden bestaan indien en slechts indien de bijbehorende periodieke functie $P_{\ell,m}$ constant is. Voor het geval $\ell=1$ tonen zij aan dat voor elke $m \in D_1 = \{1, 2, 3, 5\}$, de verzamelingen $D_1(m)$ en $U_1(m)$ een positieve ondergrens-dichtheid hebben maar geen natuurlijke dichtheid.
  • Logaritmische Dichtheid: Het artikel bewijst dat de logaritmische dichtheden van $D_\ell(m)$ en $U_\ell(m)$ altijd bestaan en gelijk zijn voor elke $\ell, m$.
  • Exacte Waarden: Voor $\ell=1$ leiden de auteurs exacte formules af voor de logaritmische dichtheden $d_m = \delta_{\log}(D_1(m)) = \delta_{\log}(U_1(m))$. Deze waarden worden uitgedrukt in termen van $\phi$ en logaritmen van $\sqrt{5}$ en $\phi$.

• Asymptotische Formule:
  Stelling 1.4 stelt vast dat voor grote $X$, het aantal elementen in $D_\ell(m) \cap [1, X]$ gegeven wordt door $X \cdot P_{\ell,m}(\lambda_X) + o(X)$, waarbij $\lambda_X$ afhankelijk is van de Fibonacci-schaal. Deze formule laat zien dat de distributie van gaten niet uniform is, maar oscilleert volgens de periodieke functie $P_{\ell,m}$.

Betekenis
Het artikel lost specifieke openstaande vragen op die door Chung, Graham en Spiro zijn gesteld over de symmetrie van gap-spectra in trage Fibonacci-wandelingen. Door aan te tonen dat het vermoeden $D_\ell = U_\ell$ faalt voor $\ell=4$, benadrukt het werk de subtiele asymmetrieën in de distributie van down- en up-integers die niet zichtbaar zijn bij lagere vertragingen (lags). Bovendien verheldert de rigoureuze bepaling van dichtheden het asymptotische gedrag van deze verzamelingen, waarbij wordt aangetoond dat hoewel natuurlijke dichtheden vaak ontbreken vanwege het oscillerende gedrag dat inherent is aan de Fibonacci-schaal, logaritmische dichtheden een stabiele en gelijke maat bieden voor beide verzamelingen. De methodologie om canonieke representaties te koppelen aan rotatiedynamica op de cirkel biedt een robuust kader voor het analyseren van soortgel_{ijke recursieve sequenties.