Adaptive Search in Collatz Exponent-Code Space via 2-adic and 3-adic Constraints

Sintesi Tecnica: Ricerca Adattiva nello Spazio dei Codici di Esponente Collatz tramite Vincoli 2-adici e 3-adici

Enunciato del Problema
Il documento affronta la congettura di Collatz, la quale postula che la traiettoria di ogni intero positivo $n$ sotto la mappa $T(n) = n/2$ (se pari) o $T(n) = 3n+1$ (se dispari) raggiunga infine 1. Invece di testare ampi intervalli di interi di partenza, gli autori investigano uno spazio di ricerca simbolica definito da codici di esponente finiti della mappa accelerata di Collatz.

La mappa accelerata sugli interi dispari è definita come $C(n) = (3n+1)/2^{v_2(3n+1)}$, dove $v_2(m)$ è l'esponente della massima potenza di 2 che divide $m$. Una traiettoria $x_{k+1} = C(x_k)$ genera una sequenza di esponenti $a_{k+1} = v_2(3x_k + 1)$. La sequenza $(a_1, \dots, a_k)$ costituisce un codice di esponente. Il problema centrale è determinare se esiste un codice "simile a un controesempio" — uno che imiti il comportamento di un'orbita divergente o non convergente — soddisfacendo specifiche condizioni di compatibilità attraverso i domini reale, 2-adico e 3-adico.

Metodologia: La Diagnostica 2–3–∞
Gli autori propongono un framework diagnostico simbolico che valuta i codici di esponente finiti basandosi su tre metriche, collettivamente denominate diagnostica 2–3–∞:

1. Deriva Reale ($d_k$): Misura lo scostamento dell'esponente medio dalla soglia critica $\alpha = \log_2 3$. Il codice è critico se $A_k/k \approx \alpha$ (dove $A_k = \sum a_i$), garantendo che il fattore moltiplicativo $3^k/2^{A_k}$ rimanga vicino all'unità.
   $$d_k = |A_k/k - \alpha|$$
2. Rappresentante di Partenza 2-adico ($\rho_r$): Determina il residuo di partenza forzato $r_k$ modulo $2^{A_k}$ richiesto per realizzare il codice. Per un'orbita genuina generata da un intero fisso $n$, $r_k$ deve infine essere uguale a $n$. La diagnostica misura il tasso di crescita di questo residuo:
   $$\rho_r(k) = \frac{\log(1 + r_k)}{k}$$
3. Rappresentante di Termine 3-adico ($\rho_M$): Determina il residuo di termine forzato $M_k$ modulo $3^k$. Per un'orbita genuina, il termine deve soddisfare il limite di crescita reale $x_k + 1 \leq (n+1)(3/2)^k$. La diagnostica misura l'incompatibilità con questo limite:
   $$\rho_M(k) = \frac{\log(1 + M_k/(3/2)^k)}{k}$$

Contributo Teorico
Il documento dimostra il Teorema 1, stabilendo una condizione necessaria per ogni codice di esponente infinito generato da un intero positivo $n$: i tassi dei residui devono tendere asintoticamente a zero.
$$\lim_{k \to \infty} \rho_r(k) = 0 \quad \text{e} \quad \lim_{k \to \infty} \rho_M(k) = 0$$
Di conseguenza, il Corollario 2 afferma che se un codice infinito presenta $\liminf \rho_r(k) > 0$ o $\liminf \rho_M(k) > 0$, esso non può essere generato da alcun intero positivo fisso. Ciò implica che un codice di controesempio valido deve simultaneamente raggiungere una deriva reale quasi critica mantenendo tassi di residuo 2-adico e 3-adico evanescenti.

Approccio Sperimentale
Gli autori confrontano tre strategie per generare codici di lunghezza finita per $k \in \{100, 200, 400\}$ con un budget di valutazione fisso ($N_{eval} = 1000k$):

1. Codici Critici Casuali: Campiona $a_i \in \{1, 2\}$ con probabilità calibrate per produrre un valore medio atteso di $\log_2 3$.
2. Codici Critici Meccanici: Utilizza una costruzione deterministica basata sulla parte frazionaria di $i(\log_2 3 - 1) + \theta$ per distribuire uniformemente gli esponenti.
3. Ricerca Evolutiva Adattiva: Una strategia evolutiva in cui i codici sono genomi. La funzione di fitness minimizza un punteggio composito $S = d_k + \rho_r(k) + \rho_M(k)$. La ricerca impiega selezione, crossover, mutazione, riparazione della deriva (per mantenere medie critiche) e iniezione di blocchi meccanici.

Risultati
Gli esperimenti indicano che, sebbene la ricerca adattiva migliori i compromessi per codici di lunghezza finita rispetto ai baseline, essa non riesce ad avvicinarsi al regime asintotico necessario:

• Tassi di Residuo: In tutti i metodi e lunghezze, $\rho_r$ rimane nell'intervallo $[0.95, 1.08]$ e $\rho_M$ in $[0.54, 0.68]$.
• Trend: I tassi non tendono a zero all'aumentare di $k$. Per $k=400$, la ricerca adattiva produce un punteggio di $1.73838$, solo marginalmente migliore del campionamento critico casuale ($1.73653$) e peggiore dei codici meccanici in termini di deriva, sebbene i codici meccanici presentino tassi di residuo più elevati.
• Conclusione degli Esperimenti: L' "ostruzione diagnostica" persiste; nessun metodo riesce a costruire codici che soddisfino simultaneamente i requisiti di deriva reale quasi critica e di residui 2-adici e 3-adici evanescenti.

Significato e Rivendicazioni
Il documento dichiara esplicitamente che il suo contributo non è un metodo di verifica della congettura di Collatz. Al contrario, offre un framework diagnostico simbolico per sondare le strutture di ostruzione all'interno dello spazio dei codici di esponente.

La significatività risiede nel dimostrare che la costruzione di un codice simile a un controesempio non è semplicemente una questione di ottenere una deriva reale critica (cosa facilmente realizzabile), ma di soddisfare simultaneamente rigorose condizioni di compatibilità 2-adica e 3-adica. La persistenza di tassi di residuo positivi attraverso le strategie di ricerca casuale, meccanica e adattiva suggerisce che i vincoli strutturali della mappa di Collatz rendono difficile, se non impossibile, la realizzazione simultanea di queste condizioni per valori di partenza fissi. Gli autori concludono che i lavori futuri dovrebbero concentrarsi sull'esame di lunghezze di codice maggiori e sull'individuazione di limiti inferiori provabili per questi tassi di residuo.