A Fibonacci theorem for Collatz trajectories via modular graph structure

Sintesi Tecnica: Un Teorema di Fibonacci per le Traiettorie di Collatz tramite Struttura di Grafo Modulare

Enunciato del Problema
Il documento affronta la dinamica della mappa di Collatz accelerata $T(n)$, definita come $n/2$ per $n$ pari e $(3n+1)/2$ per $n$ dispari. Sebbene la congettura di Collatz postuli che tutti i numeri interi positivi raggiungano infine il ciclo $1 \leftrightarrow 2$, non esiste alcuna prova. Il documento si concentra su una specifica proprietà strutturale delle traiettorie: la frequenza con cui gli interi dispari evitano la classe di resto $4 \pmod 6$ durante le loro iterazioni iniziali. Nello specifico, investiga il conteggio degli interi dispari $n \in \{1, \dots, 2^m\}$ le cui orbite sotto $T$ non visitano il vertice $4$ nel grafo modulare durante i passi $2, \dots, m$.

Metodologia
L'autore utilizza un framework di codifica duale, analizzando la dinamica di Collatz simultaneamente attraverso lenti binarie e modulari, collegate da specifiche biiezioni e simmetrie strutturali.

1. Codifica Binaria e Residuo Correttivo:
   Il documento utilizza la codifica di parità $C_m(n) = (c_1, \dots, c_m)$, dove $c_i = T^{i-1}(n) \pmod 2$. Uno strumento algebrico chiave è il "residuo correttivo" $R(C_m(n))$, definito tale che $T^m(n) = (3^s n + R)/2^m$, dove $s$ è il peso di Hamming della codifica. Il documento stabilisce che $R$ dipende esclusivamente dalla codifica binaria, permettendo l'analisi di $T^m(n)$ interamente a livello di stringhe binarie senza riferimento al valore intero specifico $n$.

2. Codifica Modulare e Costruzione del Grafo:
   La dinamica è codificata anche modulo 6 tramite un grafo diretto $G$ con vertici $\{0, 1, 2, 3, 4, 5\}$. Le transizioni sono determinate dalla parità dell'iterante corrente. L'autore costruisce una biiezione $\Psi_m: \{1, \dots, 6 \cdot 2^m\} \to \mathcal{P}_m(G)$, che mappa gli interi in cammini diretti di lunghezza $m$ in $G$. Questa biiezione condivide proprietà strutturali (biettività, periodicità e antisimmetria) con la mappa di codifica binaria $\Phi_m$.

3. Teoria Spettrale dei Grafi:
   L'analisi si concentra sul sottografo $G' = G[\{1, 2, 4, 5\}]$, che è l'unico componente fortemente connesso assorbente per le orbite degli interi dispari (dopo il passo 2). Il documento investiga le proprietà spettrali di $G'$ e dei suoi sottografi ottenuti rimuovendo specifici vertici. Il meccanismo centrale si basa sul gap spettrale tra il pieno sottografo effettivo $G'$ e il sottografo $H_4$ (ottenuto rimuovendo il vertice 4).

Contributi Chiave e Risultati

• Conteggio Esatto di Fibonacci (Teorema 4.7):
  Il risultato primario è un conteggio esatto di interi dispari che evitano una specifica classe di resto. Per ogni $m \ge 1$, esattamente $F(m+1)$ interi dispari in $\{1, \dots, 2^m\}$ hanno orbite che evitano la classe di resto $4 \pmod 6$ durante i passi $2, \dots, m$. Qui, $F(m+1)$ è l'$(m+1)$-esimo numero di Fibonacci. Questo conteggio è derivato dal raggio spettrale del sottografo di evitamento $H_4$, che è la sezione aurea $\phi = (1+\sqrt{5})/2$.

• Tasso di Decadimento Esponenziale (Corollario 4.9):
  La proporzione di tali interi decade esponenzialmente al tasso $(\phi/2)^m$. Questo tasso è precisamente il rapporto tra il raggio spettrale del sottografo di evitamento $\rho(H_4) = \phi$ e il raggio spettrale del pieno sottografo effettivo $\rho(G') = 2$.

• Teorema del Cammino Modulare (Teorema 4.1):
  Il documento caratterizza l'azione dello spostamento $+2^m$ sulle codifiche modulari. Dimostra che per un intero $n$, i livelli del cammino modulare $i$ sono preservati sotto tale spostamento se e solo se $2^{i-1} \nmid n$. Se $2^{i-1} \mid n$, il cammino si sposta di $+2$ o $+4 \pmod 6$ a seconda della parità di $m+i$. Questa rigidità implica che i cicli di lunghezza $m$ in progressioni aritmetiche con differenza $2^m$ sono separati da almeno $6 \cdot 2^m$.

• Indispensabilità del Vertice e Gerarchia Spettrale (Teorema 4.15):
  Il documento dimostra che nessun vertice nel sottografo effettivo $G'$ è dispensabile. La rimozione di qualsiasi singolo vertice $v \in \{1, 2, 4, 5\}$ riduce strettamente il raggio spettrale al di sotto di 2. I raggi spettrali risultanti formano una gerarchia stretta:
  $$\rho(H_2) = 1 < \rho(H_5) = \sqrt{2} < \rho(H_4) = \rho(H_1) = \phi < \rho(G') = 2$$
  Questa gerarchia governa i tassi di decadimento esponenziale delle traiettorie che evitano ciascun rispettivo vertice.

• Vincoli sui Cicli Positivi (Corollari 4.17 & 4.19):
  Sulla base della gerarchia spettrale, il documento prova che ogni ciclo positivo di $T$ deve visitare la classe di resto $2 \pmod 6$. Inoltre, utilizzando le identità di conservazione del flusso all'interno di $G'$, viene dimostrato che il vertice 2 deve rendere conto di più del $18\%$ ($> m(1-\log_3 2)/2$) dei passi in qualsiasi ciclo positivo di lunghezza $m$.

Significato e Rivendicazioni
Il documento sostiene di fornire una spiegazione strutturale per l'apparizione dei numeri di Fibonacci nelle traiettorie di Collatz, distinta dalle precedenti enumerazioni combinatorie di permutazioni. La connessione deriva da un argomento spettrale su un grafo modulare, dove la sezione aurea appare come l'autovettore di Perron–Frobenius del sottografo di evitamento.

L'autore sottolinea che il conteggio di Fibonacci è esatto e incondizionato, non un'approssimazione, guidato dal gap spettrale $\phi/2 < 1$. Il lavoro introduce una nuova biiezione modulare $\Psi_m$ e le sue proprietà strutturali, che non sono presenti nella letteratura precedente. Sebbene il documento non risolva la congettura di Collatz, esso stabilisce vincoli rigorosi sulla distribuzione dei residui nei cicli ipotetici, provando specificamente che il residuo 2 è inevitabile e deve costituire una parte significativa della lunghezza di qualsiasi ciclo. Il documento conclude identificando questioni aperte riguardanti l'effettività di tali limiti (porre un limite alla prima occorrenza del residuo 4) e se tutti i vertici di $G'$ siano visitati da cicli non banali.