A Fibonacci theorem for Collatz trajectories via modular graph structure

Technische Samenvatting: Een Fibonacci-stelling voor Collatz-trajecten via Modulaire Graafstructuur

Probleemstelling
Het artikel behandelt de dynamica van de versnelde Collatz-afbeelding $T(n)$, gedefinieerd als $n/2$ voor even $n$ en $(3n+1)/2$ voor oneven $n$. Hoewel de Collatz-conjectuur stelt dat alle positieve gehele getallen uiteindelijk de cyclus $1 \leftrightarrow 2$ bereiken, bestaat er geen bewijs voor. Het artikel richt zich op een specifieke structurele eigenschap van trajecten: de frequentie waarmee oneven gehele getallen de residu klasse $4 \pmod 6$ vermijden tijdens hun initiële iteraties. Specifiek wordt het aantal oneven gehele getallen $n \in \{1, \dots, 2^m\}$ onderzocht waarvan banen onder $T$ de vertex 4 in de modulaire graaf niet bezoeken tijdens stappen $2, \dots, m$.

Methodologie
De auteur maakt gebruik van een duaal-coderingskader, waarbij de Collatz-dynamica gelijktijdig door zowel binaire als modulaire lenzen wordt geanalyseerd, verbonden door specifieke bijenjecties en structurele symmetrieën.

1. Binaire Codering en Correctieve Residu:
   Het artikel maakt gebruik van de pariteitscodering $C_m(n) = (c_1, \dots, c_m)$, waarbij $c_i = T^{i-1}(n) \pmod 2$. Een cruciaal algebraïsch instrument is het "correctieve residu" $R(C_m(n))$, gedefinieerd zodanig dat $T^m(n) = (3^s n + R)/2^m$, waarbij $s$ de Hamming-gewicht van de codering is. Het artikel stelt vast dat $R$ uitsluitend afhangt van de binaire codering, waardoor de analyse van $T^m(n)$ volledig kan worden uitgevoerd op het niveau van binaire strings zonder referentie naar de specifieke integer waarde $n$.

2. Modulaire Codering en Graafconstructie:
   De dynamica wordt ook gecodeerd modulo 6 via een gerichte graaf $G$ met vertices $\{0, 1, 2, 3, 4, 5\}$. De transities worden bepaald door de pariteit van de huidige iteratie. De auteur construeert een bijenjectie $\Psi_m: \{1, \dots, 6 \cdot 2^m\} \to \mathcal{P}_m(G)$, die gehele getallen afbeeldt op gerichte paden van lengte $m$ in $G$. Deze bijenjectie deelt structurele eigenschappen (bijenjectiviteit, periodiciteit en antisymmetrie) met de binaire codering $\Phi_m$.

3. Spectrale Graaftheorie:
   De analyse richt zich op de subgraaf $G' = G[\{1, 2, 4, 5\}]$, wat de unieke absorberende sterk samenhangende component is voor oneven trajecten (na stap 2). Het artikel onderzoekt de spectrale eigenschappen van $G'$ en de subgrafen verkregen door specifieke vertices te verwijderen. Het kernmechanisme berust op de spectrale kloof tussen de volledige effectieve subgraaf $G'$ en de subgraaf $H_4$ (verkregen door vertex 4 te verwijderen).

Belangrijkste Bijdragen en Resultaten

• Exacte Fibonacci-telling (Stelling 4.7):
  Het primaire resultaat is een exacte telling van oneven gehele getallen die een specifieke residu vermijden. Voor elk $m \ge 1$ zijn er exact $F(m+1)$ oneven gehele getallen in $\{1, \dots, 2^m\}$ waarvan de banen de residu klasse $4 \pmod 6$ vermijden tijdens stappen $2, \dots, m$. Hier is $F(m+1)$ het $(m+1)$-de Fibonacci-getal. Deze telling wordt afgeleid van de spectrale radius van de vermijdende subgraaf $H_4$, die de gouden ratio $\phi = (1+\sqrt{5})/2$ is.

• Exponentiële Afname-snelheid (Corollary 4.9):
  Het aandeel van dergelijke getallen neemt exponentieel af met de snelheid $(\phi/2)^m$. Deze snelheid is precies de ratio van de spectrale radius van de vermijdende subgraaf $\rho(H_4) = \phi$ tot de spectrale radius van de volledige effectieve subgraaf $\rho(G') = 2$.

• Modulair Pad-stelling (Theorem 4.1):
  Het artikel karakteriseert de werking van de verplaatsing $+2^m$ op modulaire coderingen. Het bewijst dat voor een geheel getal $n$, de modulaire padniveaus $i$ behouden blijven onder deze verplaatsing indien en slechts indien $2^{i-1} \nmid n$. Indien $2^{i-1} \mid n$, verschuift het pad met $+2$ of $+4 \pmod 6$ afhankelijk van de pariteit van $m+i$. Deze rigiditeit impliceert dat cycli van lengte $m$ in rekenkundige progressies met verschil $2^m$ gescheiden worden door ten minste $6 \cdot 2^m$.

• Vertex Onmisbaarheid en Spectrale Hiërarchie (Theorem 4.15):
  Het artikel demonstreert dat geen enkele vertex in de effectieve subgraaf $G'$ onmisbaar is. Het verwijderen van een enkele vertex $v \in \{1, 2, 4, 5\}$ reduceert de spectrale radius strikt onder 2. De resulterende spectrale radii vormen een strikte hiërarchie:
  $$\rho(H_2) = 1 < \rho(H_5) = \sqrt{2} < \rho(H_4) = \rho(H_1) = \phi < \rho(G') = 2$$
  Deze hiërarchie reguleert de exponentiële afnamesnelheden van trajecten die respectievelijk elke vertex vermijden.

• Restricties op Positieve Cycli (Corollaries 4.17 & 4.19):
  Op basis van de spectrale hiërarchie bewijst het artikel dat elke positieve cyclus van $T$ de residu klasse $2 \pmod 6$ moet bezoeken. Verder wordt, gebruikmakend van flow-conserveringsidentiteiten binnen $G'$, aangetoond dat vertex 2 meer dan $18\%$ ($> m(1-\log_3 2)/2$) van de stappen in elke positieve cyclus van lengte $m$ moet beslaan.

Betekenis en Claims
Het artikel claimt een structurele verklaring te bieden voor het verschijnen van Fibonacci-getallen in Collatz-trajecten, die verschilt van eerdere combinatorische enumeraties van permutaties. De connectie ontstaat uit een spectraal argument op de modulaire graaf, waarbij de gouden ratio verschijnt als de Perron–Frobenius eigenwaarde van de vermijdende subgraaf.

De auteur benadrukt dat de Fibonacci-telling exact en onvoorwaardelijk is, en geen benadering, gedreven door de spectrale kloof $\phi/2 < 1$. Het werk introduceert een nieuwe modulaire bijenjectie $\Psi_m$ en haar structurele eigenschappen, die niet aanwezig waren in de eerdere literatuur. Hoewel het artikel de Collatz-conjectuur niet oplost, stelt het rigoureuze restricties vast op de distributie van residuen in hypothetische cycli, specifiek bewijzend dat residu 2 onvermijdelijk is en een aanzienlijk deel van de lengte van elke cyclus moet uitmaken. Het artikel concludeert door openstaande vragen te identificeren met betrekking tot de effectiviteit van deze grenzen (het begrenzen van de eerste voorkomst van residu 4) en of alle vertices van $G'$ worden bezocht door niet-triviale cycli.