Recurrence Structures, Finite State Decomposition, and Statistical Bias in Collatz Path Sequences

1. Het Probleem

Het artikel richt zich op de Collatz-vermoeden (ook wel het $3n+1$-probleem genoemd). Dit vermoeden stelt dat voor elk positief geheel getal $n$, de iteratie van de afbeelding $C(n)$ uiteindelijk het getal 1 bereikt (of equivalent, een macht van 2). De afbeelding is gedefinieerd als:
$$C(n) = \begin{cases} n/2 & \text{als } n \equiv 0 \pmod 2 \\ 3n+1 & \text{als } n \equiv 1 \pmod 2 \end{cases}$$
Ondanks zijn eenvoudige formulering, weerstaat het probleem sinds 1937 een wiskundig bewijs. Hoewel het computergestemd is geverifieerd voor zeer grote getallen en Tao recentelijk heeft aangetoond dat het voor "bijna alle" gehele getallen geldt (in de zin van logaritmische dichtheid), ontbreekt een structurele verklaring van de dynamica.

2. Methodologie

De auteur kiest voor een structurele benadering in plaats van een directe aanval op het vermoeden. De kernmethodologie bestaat uit de volgende stappen:

• Modulaire Reductie: Het natuurlijke getallenverzameling wordt gepartitioneerd in residueklassen modulo 4. De auteur bewijst dat het vermoeden voor de klassen $1, 2$ en $0 \pmod 4$ triviaal is of leidt tot strikt kleinere getallen. Hierdoor reduceert het probleem zich tot het analyseren van de klasse $C = \{n \in \mathbb{N} : n \equiv 3 \pmod 4\}$.
• Identificatie van Recurrente Vormen: Voor getallen in klasse $C$ wordt aangetoond dat ze na een vaste reeks operaties een vorm aannemen die behoort tot een van zes specifieke residueklassen modulo 9. Deze vormen worden "recurrente vormen" genoemd.
• Finite State Machine (FSM) Modellering: De dynamica tussen deze zes vormen wordt gemodelleerd als een deterministische eindige toestandsmachine (FSM). De toestanden zijn de zes vormen en de overgangen worden bepaald door de pariteit (even/oneven) van de parameter binnen die vorm.
• Koppeling met de Syracuse-afbeelding: De FSM-dynamica wordt geëquivalent gesteld aan de bekende Syracuse-afbeelding (die de iteratie versnelt door opeenvolgende even stappen in één stap te combineren).
• Statistische Analyse: Numerieke experimenten tot $10^8$ worden uitgevoerd om de verdeling van de "terminerende vormen" (de vorm waarin een getal een macht van 2 bereikt) te analyseren.

3. Belangrijkste Bijdragen en Resultaten

A. Reductie tot Klasse $C$ (Stelling 3.2)

Het artikel bewijst dat het Collatz-vermoeden equivalent is aan de stelling dat elke $n \equiv 3 \pmod 4$ uiteindelijk een macht van 2 bereikt. Getallen in de andere klassen ($1, 2, 0 \pmod 4$) dalen altijd na een vaste reeks stappen.

B. De Zes Recurrente Vormen (Stelling 4.3)

De auteur identificeert zes vormen modulo 9 die de cyclus van de paden vormen:

• $a: 9n + 8$
• $b: 9n + 4$
• $c: 9n + 2$
• $d: 9n + 1$
• $e: 9n + 5$
• $f: 9n + 7$

Stelling 4.3 bewijst dat elke macht van 2 ($2^m$) precies in één van deze vormen valt, met een periode van 6 voor de resten modulo 9 ($1, 2, 4, 8, 7, 5$). Dit vormt een compleet raamwerk voor de eindpunten van de Collatz-iteraties.

C. FSM en Gekoppelde Recurrente Systemen (Stelling 5.1 & 6.1)

Er wordt een FSM geconstrueerd met overgangsregels die afhangen van de pariteit van de parameter $n$. Dit leidt tot een systeem van gekoppelde functionele vergelijkingen (Stelling 6.1) dat de evolutie van de parameters beschrijft. Bijvoorbeeld, voor vorm $a$ ($9n+8$):

• Als $n$ even is: overgang naar vorm $b$ met parameter $n/2$.
• Als $n$ oneven is: overgang naar vorm $a$ met parameter $(3n+1)/2$.

D. Equivalentie met Syracuse en Sluitende Formuleringen (Stelling 7.1 & 8.1)

• De dynamica van vorm $a$ (bij oneven $n$) is equivalent aan de Syracuse-afbeelding.
• Voor drie van de zes vormen ($b, d, f$) worden gesloten vormen afgeleid voor de verzameling van machten van 2 die in deze vorm eindigen. Bijvoorbeeld, vorm $d$ bevat alleen machten $2^{6j}$.
• Het artikel stelt dat het Collatz-vermoeden equivalent is aan een dekkingseigenschap: de vereniging van de bereikbaarheidsverzamelingen van de zes vormen moet het gehele natuurlijke getallenverzameling dekken (Stelling 9.2).

E. Statistische Bias (Observatie 10.2 & Conjecture 10.4)

De meest opvallende empirische bevinding is een extreme statistische bias in de terminatie:

• Vorm $a$ ($9n+8$) is verantwoordelijk voor ongeveer 97,6% van alle terminaties.
• Vorm $c$ ($9n+2$) neemt ongeveer 2,4% voor zijn rekening.
• De vormen $b, d, e, f$ hebben een verwaarloosbare frequentie die afneemt als $O(1/N)$ of sneller.

Dit weerlegt de hypothese dat de pariteit van de parameters willekeurig verdeeld zou zijn (wat een verdeling van 1/6 per vorm zou impliceren). De auteur formuleert Conjecture 10.4, die stelt dat de asymptotische frequenties convergeren naar $\alpha \approx 0,9762$ voor vorm $a$ en $1-\alpha$ voor vorm $c$.

4. Betekenis en Implicaties

1. Structurele Decompositie: Het artikel breekt het Collatz-probleem op in een finiet systeem van onderling verbonden recurrenties. Dit biedt een nieuwe, gestructureerde manier om het probleem te benaderen, weg van pure numerieke verificatie.
2. Deterministische Structuur: De extreme bias (97,6% vs 1/6) toont aan dat de Collatz-dynamica verre van willekeurig is. Er zit een diepe, deterministische orde in de manier waarop getallen convergeren.
3. Nieuwe Open Vragen: Het artikel formuleert specifieke open problemen, zoals het vinden van een gesloten vorm voor de verzamelingen $S_a$ en $S_c$, het bewijzen van de dekkingseigenschap van het congruentiestelsel, en het construeren van een Lyapunov-functie op basis van de FSM-dynamica.
4. Complementaire Inzichten: De resultaten vullen het werk van Tao aan; terwijl Tao de dichtheid van convergentie toont, biedt dit artikel de fijne verdeling van die convergentie over de zes modulaire klassen.

Conclusie

Sawon Pratiher presenteert een rigoureuze decompositie van het Collatz-probleem via een Finite State Machine gebaseerd op residueklassen modulo 9. Hoewel het vermoeden nog niet bewezen is, biedt deze structuur een krachtig raamwerk om de dynamica te analyseren. De ontdekking van de overweldigende statistische bias naar vorm $a$ suggereert dat de oplossing mogelijk ligt in het begrijpen van de specifieke mechanismen die deze vorm domineren, in plaats van het behandelen van de iteratie als een stochastisch proces.